Invariants / DC-ADMIT-08

DC-ADMIT-08

DC derived enforced

Lagging is evidence-state only: AgreementVerdict::Lagging means the local admitted chain is a prefix of the comparison target (peer's announced chain) up to the peer's announced slot. It MUST NOT be treated as success / healthy / live-ready / consensus-equivalent by any caller. CI grep (ci_check_lagging_is_evidence_only.sh) forbids:

Lagging matched as part of a success-result pattern (Ok(Lagging), Lagging=>true, etc.) outside the verdict reducer and its tests;
Any caller passing a Lagging verdict into a "ready" / "healthy" / "live" predicate.

Source: docs/planning/phase4-n-m-b-admission-invariants.md §1 (I-B1) + §2 (¬P-B8)

Enforcement trace

Code

crates/ade_node/src/admission/verdict.rs

Tests 2

ade_node::admission::verdict::tests::verdict_lagging_when_peer_ahead_of_our_slot
ade_node::admission::verdict::tests::verdict_lagging_when_peer_tip_is_origin

CI 1

ci_check_lagging_is_evidence_only.sh

Cross-references