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
Updated
Updated · arxiv.org · Sep 24
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
1 articles · Updated · arxiv.org · Sep 24
Summary
A new protocol for mechatronic commissioning separates candidate generation from release authority using a frozen four-billion-parameter local language model.
The model generates candidate plans, while an external acceptance layer with a deterministic grammar verifies and releases only those plans derivable from requirement text.
This approach demonstrated zero false releases in benchmark tests, highlighting improved traceability and reliability, though coverage and user-answer validation remain important limitations.