Requirement-Bound Verified Commissioning: A Frozen Four-Billion-Parameter Local Model as a Candidate Generator under an External Acceptance Layer with Verification and Release Authority
A frozen four-billion-parameter model proposes commissioning plans, but a sealed external gate decides every release.
The paper describes an acceptance protocol for sensor-coordinate and polarity binding in mechatronic commissioning, separating a frozen four-billion-parameter local model from release authority. Plans are released only when an external gate can derive the required facts under a sealed grammar. On 144 tasks fixed before evaluation, fabricated ready plans were committed on 21 of 22 routed unanswerable tasks and all were rejected, while the same 83 releases were reproduced without model calls. No false release occurred in that benchmark, although one was later recorded among 146 releases, and incorrect user answers were released in 169 of 431 pairings.
- A frozen 4B local model proposes plans; an external gate authorizes release.
- All 21 fabricated ready plans on routed unanswerable tasks were rejected.
- No false release among 83 benchmark releases; one occurred later.
- Incorrect user answers were released in 169 of 431 remaining pairings.
From the original article
1 min read at arxiv.orgAn acceptance protocol is developed for sensor-coordinate and polarity binding in mechatronic commissioning. Candidate generation is separated from release authority. Requirements unsupported by a deterministic parser are routed to a frozen local language model with four billion parameters.
By Mehmet Iscan · arxiv.org
A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.