Invariants / DC-CONS-09
DC-CONS-09
DC derived enforcedConsensus-derived queries for slots beyond the ledger-view safe zone return OutsideForecastRange, never guessed values. The bound is derived from era history + safe zone + HFC schedule, not encoded as a magic constant in caller code.
- Source
Project constitution §3, DC-EPOCH-02
Enforcement trace
Tests 5
- consensus::era_schedule::tests::forecast_horizon_boundary
- mainnet_corpus_translation_matches_oracle
- preprod_corpus_translation_matches_oracle
- consensus::leader_schedule::tests::query_returns_outside_forecast_range_for_far_future
- corpus_rejects_out_of_forecast_horizon