Module insert_dedup_gate_rx 

Compiler pass - pair every synthesized wire::Recv op with a downstream DedupGateRx. First in the RX gate chain (cheap drops for replays).

The gate consumes the Recv’s data output, hashes the wire bytes, and consults [crate::framework::InboundDedup]. On dup it returns an OpError whose detail carries duplicate; on first-arrival the value forwards polymorphically.

Idempotent. Updates the Recv’s RX_CHAIN_HEAD_KEY metadata so subsequent RX passes attach to the gate’s output rather than the Recv’s.

Constants

GATED_KEY

Idempotence stamp on the gated Recv.

Functions

insert_dedup_gate_rx

Insert a DedupGateRx after every synthesized wire::Recv.