Invariants / DC-ADMIT-02

DC-ADMIT-02

DC derived enforced

Verdict emitted exactly once per admit-attempt: every successful admit path produces exactly one agreement_verdict JSONL event. Never twice for the same block_hash; never zero for a successful admit. Test pins the property via DeterministicClock replay of a recorded admission run.

Source: docs/planning/phase4-n-m-b-admission-invariants.md §1 (I-B3)

Enforcement trace

Code

crates/ade_node/src/admission/runner.rs

Tests 2

ade_node::admission::runner::tests::run_admission_emits_shutdown_on_signal
admission_replay_equivalence::admission_tip_update_does_not_emit_wal_entry

CI 1

ci_check_admission_runner_closure.sh

Cross-references