Constant UBFT_VERIFY_LATENCY_CYCLES 

pub const UBFT_VERIFY_LATENCY_CYCLES: f64 = 734.0;

Checks that the planner component agrees with measurement and behaves sensibly as the budget grows. Isolated verify latency of the uBFT service with its certificate already checked: native simulation (tests/ubft_blocks.rs, instant Ed25519 model, header handshake to verdict: 732–736 cycles; the verify core alone is VERIFY_LATENCY_MEASURED).