AdeAtlas
Invariants / DC-CINPUT-02a

DC-CINPUT-02a

DC derived enforced

PROJECTION EQUIVALENCE. The recovered SeedEpochConsensusInputs projects deterministically to the leadership-consumed PoolDistrView (the full LedgerView surface: total_active_stake, pool_active_stake, pool_vrf_keyhash, active_slots_coeff; single-epoch — off-epoch queries return None) via PoolDistrView::from_seed_epoch_consensus_inputs, EQUIVALENT to the prior operator-bundle projection (pool_distr_view_from_consensus_inputs) for the seed epoch; and recovered eta0 (from chain_dep) drives leader_vrf_input identically. The projection is a pure BLUE field map (A2 already merged stake + VRF keyhash). This rule covers the PROJECTION only; producer CONSUMPTION of the projected recovered surface is deferred to PHASE4-N-F-C (CE-A-4b).

Source

docs/clusters/PHASE4-N-F-A/cluster.md; A4-projection-pooldistr-vrf.md

Cluster
PHASE4-N-F-A
Introduced in
PHASE4-N-F-A

Enforcement trace

Code

Tests 4

  • recovered_surface_projects_pooldistrview_and_expected_vrf_input
  • projection_maps_recovered_fields_onto_ledgerview_surface
  • projection_two_runs_identical
  • projection_off_epoch_returns_none

CI 0

no CI script — gap

Cross-references

CN-CINPUT-01DC-CINPUT-01

Strengthened in

PHASE4-N-F-C