pub fn verify_warrant(
_cx: &mut Cx,
book: &BridgeBook,
packet: &BridgePacket,
) -> Result<Vec<BridgeObligation>>Expand description
Verifies a packet warrant against the local bridge book.
A warrant miss is a Fetch obligation, never a hard fail or silent accept.