Module rx_chain 

RX-chain head bookkeeping shared by the RX gate-insertion passes.

Each synthesized wire::Recv carries a RX_CHAIN_HEAD_KEY metadata entry naming the currently-effective output that downstream consumers read from. Initial value is the Recv’s own output[0]; each RX gate pass replaces it with the gate’s output. Successive passes consult this to chain themselves in order: Recv → DedupGateRx → PeerHealthGateRx → BackoffGateRx.

Constants

RX_CHAIN_HEAD_KEY

Metadata key on a wire::Recv carrying its current RX-chain head.

Functions

rx_chain_head

Current RX-chain head for recv - the output name downstream consumers read from. Defaults to recv.output[0] when no gate has yet been inserted.

set_rx_chain_head

Set the RX-chain head metadata on recv to new_head.