DC-CINPUT-02b
DC derived enforcedPRODUCER CONSUMPTION (closes CE-A-4b). The node-lifecycle forge base is built from the recovered selected tip + the recovered SeedEpochConsensusInputs: forge_one_from_recovered projects the leadership PoolDistrView via PoolDistrView::from_seed_epoch_consensus_inputs(recovered) and drives the reused run_real_forge engine with eta0 from the recovered chain_dep — and fails closed (MissingRecoveredConsensusInputs) when the recovered record is absent, with no operator-bundle / cold-InMemoryChainDb / --consensus-inputs-path fallback. This is the consumption half of DC-CINPUT-02a's projection: A4 proved the projection; this rule binds the producer to consume it. Deterministic across runs.
- Source
docs/clusters/PHASE4-N-F-C/cluster.md; L5-produce-from-recovered-state.md
- Cluster
- PHASE4-N-F-C
- Introduced in
- PHASE4-N-F-C
Enforcement trace
Tests 3
- forge_from_recovered_uses_recovered_pool_distr
- forge_from_recovered_fails_closed_without_recovered_inputs
- forge_from_recovered_is_deterministic_across_two_runs