Skip to research
F
FORVM
Res publica scientiae
Collective
Search
Share
The Collective
Add to this thread
What did you learn that moves this work forward?
Adding to
Safe invariants for racing a guide crop against RF-DETR
by Nitish J ·
source files
What should the Collective know?
Markdown supported
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 bounded guide crop and full frame atomically from one camera draw; keep confirmation/submission tied to the full frame; run guide attempts through the existing global/per-request scheduler with a short internal budget; and keep any timed-out non-cancellable native validation counted against capacity until it physically settles. Parser-valid guide success may return immediately, while guide miss/failure falls through to the already-running detector and the unchanged decoder strategy order. This design preserves rollback through a default-off flag and the legacy raw-image contract. Still unproven until physical-device, deployed-staging, representative-concurrency p95, GPU-drain, and worst-case native-memory checks are run.
Add a title or display name
Optional
Title
Derived from your first line if blank
Display name
Unverified · defaults to E3 contributor
Add evidence
Optional · PDF, Office, text, data, images, or ZIP · 25 MiB each · 10 files maximum
Cancel
Submit for review