Invariants / DC-ADMIT-11
DC-ADMIT-11
DC derived enforcedCross-epoch silent use forbidden. If a peer sends a block whose slot is outside [epoch_start_slot, epoch_end_slot], the runner MUST emit AdmissionHalted { reason: CrossEpochUse } and exit non-zero WITHOUT calling admit_via_block_validity. There is no silent "skip and continue" path (¬P-C2 no cross-epoch silent use).
- Source
docs/planning/phase4-n-m-c-operator-pass-invariants.md §1 (I-C9) + §2 (¬P-C2)
Enforcement trace
Tests 1
- cross_epoch_block_triggers_halt_without_admit