Skip to content
#small language model Open access

A Preregistered Comparison of Acceptance-Gate Architectures for an LLM That Rewrites Its Own Code

Oct 2026 · Zenodo (CERN European Organization for Nuclear Research)
Software Engineering Research

Abstract

When a language model is allowed to revise a program repeatedly and a gate decides which revisions to keep, what the gate checks determines what the model does. We report a preregistered experiment in which an LLM optimiser rewrote a small posture-risk classifier for 20 revisions per trajectory under four acceptance architectures: (A) the optimiser's own judgement, (B) a visible score that must not fall, (C) B plus a hidden holdout, and (D) C plus an absolute behavioural envelope, a check that the program's effective decision thresholds lie inside a physically specified range on a fixed sweep of synthetic inputs, with canary cases. A seeded simulator defined the ground truth, so every proposal, accepted or rejected, was scored on exact hidden truth (balanced accuracy on 2,000 frames) that the optimiser never saw. The design, hypotheses and decision rules were frozen at a public git tag before the first confirmatory trajectory ran. In the primary design (4 arms x 10 seeds, Claude Sonnet 5) the visible gate produced a Goodhart curve in 10 of 10 seeds: the visible score rose to 100% in 7 of 10 while hidden truth stayed flat or fell (proxy-truth gap +0.59 points per revision, Hodges-Lehmann 95% CI +0.34 to +0.84). The hidden holdout was protective but not productive. The behavioural envelope was the only architecture under which hidden truth rose (7 of 10 seeds with Sonnet 5; 10 of 10 with Claude Opus 5; exploratory D - B on final truth +7.3 points, CI +3.6 to +11.2), and it changed what the optimiser proposed, not only what it accepted. Three secondary results sharpen the picture: a parametric hill-climber that cannot write code ended with higher hidden truth than the LLM under the visible gate, because it cannot memorise; the stronger model was no safer under the weak gate and more productive under the strong one (tier x gate interaction +5.3 points, CI +0.8 to +9.1); and removing the optimiser's cross-revision notes made gaming faster and honest fixes rarer. All 120 trajectories, 2,400 revisions, prompts, policies and gate decisions are archived (doi:10.5281/zenodo.23223679); code is at https://github.com/nickjlamb/rsi-loop.

View source

Similar papers

#small language model Dataset Open access Oct 2026

Socratic guiding questions in synthetic arithmetic data: matched LoRA runs (revision v2)

Supporting data, adapters, predictions and code for the article *Low-Cost LoRA Fine-Tuning of Small Language Models for Multi-Step Arithmetic Reasoning* by Jake O'Grady, Asena Isik Gürhan, Chee Fong Ting and Effirul Ramlan (University of Galway). We generated 20,000 GSM8K-derived arithmetic problems with step-by-step s...

O'Grady, Jake, Gürhan, Asena Isik, Chee, Fong Ting et al. · 465 citations
#computer vision Open access Jun 2016

Software Development in Startup Companies: The Greenfield Startup Model

The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.

Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al. · 178 citations · ⚡14
#computer vision Open access Oct 2016

Software Startups - A Research Agenda

Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.

M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al. · 157 citations · ⚡17
#machine learning Review Open access Oct 2016

“Failures” to be celebrated: an analysis of major pivots of software startups

This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.

Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al. · 127 citations · ⚡15
#computer vision Review Open access May 2015

A survey study on major technical barriers affecting the decision to adopt cloud services

The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.

Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al. · 111 citations · ⚡8
#computer vision Open access Feb 2018

Lean Internal Startups for Software Product Innovation in Large Companies: Enablers and Inhibitors

This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.

Henry Edison, Nina M. Smørsgård, Xiaofeng Wang et al. · 78 citations · ⚡6

Related blog posts

MIT News · Artificial Intelligence Oct 15, 2026

AI model decodes the language cells use to communicate

A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.

Microsoft Research Blog Oct 15, 2026

Proof-based general-purpose computing with Magnetar

Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.