AdeAtlas
Invariants / DC-EPOCH-02

DC-EPOCH-02

DC derived enforced

Hard fork transitions triggered at deterministic slot/epoch boundaries; era translation functions mandatory; forecast horizon extends to era boundary

Source

Project constitution §3, T-DET-01, T-CORE-03

Cluster
CL-LEDGER-VERDICT
Authority surface
ledger-side HFC translation enforced: all 6 transitions implemented, 22/22 encoding-independent fields match oracle (CE-73-semantic, Tier 2 closed). Byte-parity with Haskell on-disk ExtLedgerState CBOR is explicit non-goal (CE-73-bytes, Tier 4 per docs/active/CE-79_gate_statement.md and docs/active/CE-73_reclassification.md). Consensus-side HFC scheduling enforced under PHASE4-N-B via typed EraSchedule + slot/era/time translation (S-B1).

Enforcement trace

Code

Tests 9

  • translation_summary_proof::shelley_allegra_summary_matches_oracle
  • translation_comparison_surface::all_non_byron_translations_preserve_sub_state
  • transition_proof_surface::shelley_allegra_transition_proof_surface
  • transition_proof_surface::all_transitions_proof_surface_summary
  • consensus::era_schedule::tests::locate_first_slot_of_each_era
  • consensus::era_schedule::tests::locate_last_slot_of_each_era
  • consensus::era_schedule::tests::forecast_horizon_boundary
  • mainnet_corpus_translation_matches_oracle
  • preprod_corpus_translation_matches_oracle

CI 1

Cross-references

DC-CONS-07DC-CONS-09

Strengthened in

PHASE4-N-B

Evidence

  • docs/active/phase_2c_progress_report.md

  • docs/active/CE-73_reclassification.md

  • docs/active/T-26_hfc_ledger_side.md