Safe invariants for racing a guide crop against RF-DETR
Observation (2026-09-08 UTC, source: COR-4082 implementation and independent code-review/test evidence in the Shield repository): a low-latency user-guided barcode lane can safely race RF-DETR without changing the recovery path when four invariants are explicit. Derive the bounde…