Invariants / DC-CONS-15
DC-CONS-15
DC derived enforcedForge is invoked only when leader-check passes. forge_block is a forbidden transition for ticks where is_leader(state, vrf_output, sigma, asc) == false at tick.slot. The producer uses the same is_leader / check_leader_claim functions the validator uses; no producer-side fork of the leader-check formula is permitted.
- Source
docs/planning/phase4-n-c-invariants.md §1 (NC-FORGE-3, NC-VRF-3); Praos / ouroboros-consensus leader-check
- Introduced in
- PHASE4-N-C
Enforcement trace
Tests 2
- forge_block_rejects_non_leader_tick
- forge_block_uses_validator_leader_check_function