Invariants / DC-PUMP-01

DC-PUMP-01

DC derived enforced

Wire pump emits AdmissionPeerEvent::{Block, TipUpdate, Disconnected} only. It MUST NOT synthesize AgreementVerdict values or any validity claim. The verdict remains the GREEN reducer's sole output (memory [[feedback-evidence-reducers-are-green-not-authority]] + ¬P-C3 no RED-derived verdicts).

Source: docs/planning/phase4-n-m-c-operator-pass-invariants.md §1 (I-C6) + §2 (¬P-C3)

Enforcement trace

Code

crates/ade_runtime/src/admission/wire_pump.rs

Tests 3

admission::wire_pump::tests::pump_emits_tip_update_and_request_next_on_intersect_found_no_block_fetch
admission::wire_pump::tests::pump_emits_tip_update_on_intersect_not_found
admission::wire_pump::tests::rollforward_drives_block_fetch_then_request_next

CI 2

Cross-references

Strengthened in