No Argument for the World A Control-Theoretic Audit of RLHF's Missing Runtime Loop — and the Verification Architecture That Closes It Without an Oracle
| Published | 17 August 2026 · version 2.0 · preprint, open access |
|---|---|
| DOI (v2.0) | 10.5281/zenodo.21989191 |
| DOI (v1.0) | 10.5281/zenodo.20277919 · 19 May 2026 · different title |
| OpenAlex | W7161717308 · primary topic: Explainable Artificial Intelligence |
| Object audited | The training architecture of seven frontier language models |
| Method | Structural argument from the reward function, plus a bounded survey of the 2024–2026 literature with a stated cutoff |
| Governing constraint | No oracle — the system controls for agreement between a claim and an independently obtained record, never for the claim being true |
- An RLHF reward function takes a prompt and a response. It takes no argument for the state of the world, so where truth is not recoverable from the text the objective cannot distinguish a true claim from a plausible false one.
- Across the peer-reviewed and preprint literature to August 2026, no inner-loop method was found that removes — rather than reduces, delays, or relocates — the preference for a fluent unverifiable assertion over a calibrated abstention. The cutoff is stated, and counter-evidence is reported at full strength.
- The seven-model elicitation study from version 1 is withdrawn as evidence and retained as a specimen, after an objection from Bruce Nevin about corpus contamination. A smaller claim, and one that does not depend on the reports being true.
- Reference Signal Engineering is specified under one constraint: no oracle. Double-entry bookkeeping, neither record privileged, and claims without an independent channel marked unchecked rather than passed through.
Eleven named limitations in §10. The architecture is unevaluated — specified, not tested. One premise carries the diagnosis, the latent-space gap is unresolved, the field evidence is a single favourable case, and several citations were unverified at time of writing and are marked as such.