Invariants / DC-CONS-08
DC-CONS-08
DC derived enforcedslot_to_time(EraSchedule, SystemStart, SlotNo) is a pure function; no BLUE consensus path may consult the wall clock to derive a slot or UTC instant for an authoritative decision.
- Source
Project constitution §3, CN-CONS-05, DC-CORE-01
Enforcement trace
Tests 8
- consensus::era_schedule::tests::slot_to_time_monotone_increasing
- consensus::era_schedule::tests::slot_to_time_overflow_returns_structured_error
- consensus::era_schedule::tests::determinism_across_runs
- consensus::era_schedule::tests::locate_first_slot_of_each_era
- consensus::era_schedule::tests::locate_last_slot_of_each_era
- consensus::era_schedule::tests::locate_before_system_start_errors
- mainnet_corpus_translation_matches_oracle
- preprod_corpus_translation_matches_oracle