pub static HC_DECODE_WS_DISPATCHES: AtomicU64
Engagement counter for the workspace walk — the receipt the gate and any box A/B arm must show (engagement lines are receipts, never inferred).