1\section{Results}\label{sec:results}23All numbers in this section are generated from result files by \texttt{scripts/make\_tables.py} and are indexed4in \texttt{results/claim\_registry.csv} with their run identifiers. Unless stated otherwise, ``loss'' is the5teacher-forced cross-entropy on the answer span of the synthetic suite (nats per token), ``$b$'' a forced budget6applied to every position with uniformly random actions, and relative changes are with respect to the frozen7backbone (budget 0) of the same run.89\subsection{Learnability and the bootstrap problem (Phase 4)}\label{sec:results-learnability}10With the readout initialised at zero, as prescribed, the editor did not learn at all in 700 steps on the frozen112.1M-parameter backbone: validation loss was identical at every budget (0.4144, 0.4143, 0.4143, 0.4146, 0.4164)12and the trainable gradient norm stayed at 0.01--0.02. The cause is a scale mismatch: the backbone residual stream13has root-mean-square 5.6 while the difference of the two attention reads has root-mean-square 0.06, so $U$ must14grow by two orders of magnitude before any edit can move a logit, and until it does the editor receives no15gradient. Three remedies were compared under the identical recipe (Figure~\ref{fig:learnability}): the fixed16scale $s$ alone (zero $U$), $s$ with $U\sim\mathcal N(0,0.2^2)$, and $s$ with $U\sim\mathcal N(0,0.5^2)$. Only17the non-zero initialisations learned within 2,000 steps (dev-iid loss $-1.4\,\%$ at budgets 1--2 for18$\sigma=0.2$); with $\sigma=0.5$ the budget-8 loss was worse than the backbone throughout, and a learning rate19of $3\times10^{-3}$ with $w=128$ collapsed to inert edits (every budget exactly equal to budget 0, gradient20norm 0.00). The deliberate-overfitting test passed: on 64 items at budget 8 the frozen-backbone model reached a21training loss of 0.0024 in 200 steps through the workspace path alone while the held-out loss rose, confirming22that the gradient path and the capacity exist. Failure mode 13.1 of the proposal is therefore confirmed, and23$U\sim\mathcal N(0,0.2^2)$ with $s=\rms(H)$ is used for every adapter below, including the baselines.2425\begin{figure}[t]\centering26\includegraphics[width=\textwidth]{../results/figures/learnability_bootstrap.pdf}27\caption{Stage B bootstrap on the frozen tiny backbone (dev-iid answer-span loss under random forced actions,28budgets 0--8). Left: zero-initialised $U$ with the scale $s$; middle and right: $U\sim\mathcal N(0,\sigma^2)$ with29$\sigma=0.2$ and $0.5$. Budget 0 is the frozen backbone (identical in all panels).}30\label{fig:learnability}31\end{figure}3233\subsection{Sparse editor versus global recurrence and dense writes (H1, H2)}\label{sec:results-matrix}34Table~\ref{tab:seedmatrix} reports the pre-registered decisive comparison on the second tiny backbone35(5.6M parameters, char-level): \vtwoprismeseeds{} independent adapter seeds for the sparse editor,36\vtwogrseeds{} for the global-recurrence adapter and \vtwodenseseeds{} for the dense sixteen-slot editor, all37trained with the same forced-budget recipe for 3,000 steps. H1 is supported in its weak form: random sparse38edits reduce the held-out answer-span loss by \vtwoprismegainbone{}\,\% (budget 1), \vtwoprismegainbtwo{}\,\%39(budget 2) and \vtwoprismegainbfour{}\,\% (budget 4), with seed standard deviations below 0.002 nats, and40raise dev-iid exact match from \vtwoprismeembzero{}\,\% to \vtwoprismeembtwo{}\,\%. The effect is not41specific to sparse local writes, however: the global-recurrence adapter---one shared block rewriting the whole42latent, parameter-matched, same bootstrap---reduces the loss by \vtwogrgainbone{}\,\%, \vtwogrgainbtwo{}\,\% and43\vtwogrgainbfour{}\,\% at the same budgets and reaches \vtwogrembtwo{}\,\% exact match, i.e.\ it is at least as44good at every budget and better at budget 8, where the sparse editor's gain shrinks to \vtwoprismegainbeight{}\,\%.45Dense writes answer the second half of H2 directly: rewriting all sixteen slots at every action with the same46editor weights (\vtwodenseseeds{} seeds) lowers the loss by \vtwodensegainbone{}, \vtwodensegainbtwo{} and47\vtwodensegainbfour{}\,\% at budgets 1, 2 and 4---slightly \emph{more} than the sparse one-or-two-slot writes at48every budget, at roughly eight times the editor arithmetic---and gives the same exact match within noise49(Table~\ref{tab:stats}). Sparse local writing therefore buys nothing in quality at this scale; its only potential50advantage is cost, and Section~\ref{sec:results-latency} shows that this advantage does not materialise in51measured latency either. None of the adapters improves the held-out template, depth or compose regimes by more52than one point (H6).53Figure~\ref{fig:frontier} places the same runs on the quality-versus-analytic-cost plane: the global adapter is54both cheaper per step (one block at width $w$ over the whole latent costs less than two shared blocks with slot55re-keying for two lanes) and better at every budget, so it dominates the sparse editor along the entire frontier;56H4 is refuted at this scale for the comparison the proposal considered most important.57\input{tables/seed_matrix.tex}58\begin{figure}[t]\centering59\includegraphics[width=0.72\textwidth]{../results/figures/frontier_v2.pdf}60\caption{Quality versus analytic extra operations per token at the tiny scale (five adapter seeds, mean $\pm$ SD),61random forced budgets $b\in\{0,1,2,4,8\}$, context 160. Costs from \texttt{prisme/flops.py}; the sparse editor's62cost is the average of single and pair actions.}63\label{fig:frontier}64\end{figure}6566\subsection{Oracle opportunity and the structure of intervention gains (Phase 5)}\label{sec:results-oracle}67Figure~\ref{fig:labels} and Table~\ref{tab:controller} summarise the counterfactual labels collected with the68fixed editor on a stream the editor never trained on (\labelstrainnstates{} and \labelscalibnstates{} exhaustive-audit69states in the training and calibration partitions). Three facts shape everything downstream.70First, the exhaustive one-step oracle finds real value: choosing the best of the 24 actions, or stopping when71none helps, gains \labelscaliboracle{} nats per state on calibration against \labelscalibrandom{} for a random72action; rolled out greedily on dev-iid it lowers the loss by \routingoraclebone{}\,\% with73\routingoracleeditsone{} edits per token at budget 1 and by \routingoraclebeight{}\,\% with74\routingoracleeditseight{} edits per token at budget 8 (Table~\ref{tab:routing}). The two-action oracle gains75\oracletwostep{} nats against \oracleonestep{} for one step, and ``greedy first action then best second'' recovers76almost all of it, so myopia of the one-step rule is not the binding constraint at this scale.77Second, most of the variance of the gains is between states, not between actions: \labelscalibwithin{}\,\% of78the variance of the audited gains is within-state (action identity), the rest is the state's mean gain;79\labelscaliballpos{}\,\% of states have all 24 actions positive and \labelscaliballneg{}\,\% have all 2480negative. Decomposing the oracle, a perfect continue/stop decision with a random action captures81\labelscalibstoponly{} of the \labelscaliboracle{} nats; the choice of \emph{which} slot captures the rest.82Third, opportunity is concentrated where the backbone is uncertain and is dangerous there: in states above the83median base loss the oracle gains \labelscaliboraclehigh{} nats while a random action loses84\labelscalibrandomhigh{}; in the top decile of base loss the oracle gains \labelscalibtopdecoracle{} and a85random action loses \labelscalibtopdecrandom{} nats, with only \labelscalibfracposhigh{}\,\% of actions helpful86(\labelscalibfracposlow{}\,\% in the lower half, where all gains are negligible).8788\begin{figure}[t]\centering89\includegraphics[width=\textwidth]{../results/figures/labels_analysis.pdf}90\caption{Counterfactual labels (calibration partition, editor-unseen stream). Left: fraction of positive gains by91number of edits already applied. Middle: variance decomposition of the exhaustive 24-action audit. Right: mean92gain per state of a random action, of a perfect continue/stop decision with a random action, and of the93one-step oracle.}94\label{fig:labels}95\end{figure}9697\subsection{Learned routing versus reference routers (H2, H3)}\label{sec:results-routing}98Table~\ref{tab:routing} compares, on dev-iid with the same editor, the frozen backbone, random, round-robin and99fixed-pair schedules at budgets 1--8, entropy and norm-change routers over a threshold grid, the learned value100controller at its locked penalty and along a $\lambda$ grid, and the diagnostic oracles. Three results follow.101(i) Spatial selection does not matter for fixed schedules: at budget 1 random, round-robin and fixed-pair give102\routingrandombone{}, \routinguniformbone{} and \routingpairbone{}\,\% respectively, within the paired103bootstrap noise of one another; more edits hurt (\routingrandombeight{}\,\% at budget 8). H2 is not supported.104(ii) The learned controller is worse than not routing: at its calibration-selected penalty105($\lambda=\routingctrllambda$) it edits \routingctrlledits{} times per token and \emph{raises} the dev-iid loss by106\routingctrllocked{}\,\%; every smaller $\lambda$ is worse still, although the same controller had lowered the107calibration loss by 1.1\,\% (Table~\ref{tab:controller}). The reference routers do no better: the best entropy108threshold gives \routingentropybest{}\,\% and the best norm-change threshold \routingnormbest{}\,\%. H3 is109refuted at this scale.110(iii) The mechanism of the failure is visible in the labels. With backbone-residual and entropy features the111controller predicts the \emph{sign} of a gain with \ctrlhentsignacc{}\,\% accuracy (chance 50\,\%) and finds112the states with opportunity, which are the high-loss states; but in exactly those states a wrong action costs113more than the right action gains (\labelscalibtopdecrandom{} versus \labelscalibtopdecoracle{} nats in the top114decile), and the controller's ranking of actions within a state is close to chance (top-1 agreement with the115oracle 7--8\,\% against 4.2\,\% for a uniform guess; captured fraction of the oracle opportunity $\le 5\,\%$).116The pre-registered null ``an oracle can find beneficial edits, but the learned controller cannot predict117them'' is the outcome at this scale.118(iv) The result replicates across adapter seeds on the second backbone (Table~\ref{tab:routingseeds}):119over \vtwoctrlseeds{} seeds the locked controller changes the dev-iid loss by \vtwoctrlrel{}\,\% (SD120\vtwoctrlrelsd{}) while editing a small fraction of tokens, the best fixed schedule lowers it by121\vtwobestfixedrel{}\,\% and the greedy oracle by \vtwooraclerel{}\,\%; the controller beats the frozen backbone122on \vtwoctrlbetter{} of \vtwoctrlseeds{} seeds and never approaches the fixed schedules at any cost.123(v) Adding within-state ranking losses (pairwise on the logged candidates, listwise on the exhaustive audits;124Appendix~\ref{app:failures}) did not change the picture: the locked policy edits 0.07 tokens and matches125budget 0 (0.4333 vs 0.4334), and every smaller penalty is worse.126\input{tables/routing.tex}127\input{tables/controller.tex}128\input{tables/routing_seeds.tex}129130\subsection{Token loss versus task success}\label{sec:results-reasoning}131Exact match of free greedy generation moves with the loss on dev-iid but by less than the pre-registered132minimum effect of three points (Table~\ref{tab:stats}): the sparse editor gains $+1.9$ points at budget 2133(95\,\% $t$-interval over five seeds $[+1.6,+2.2]$; every per-seed paired item bootstrap excludes zero), global134recurrence gains $+1.9$ at budget 2 and $+2.3$ at budget 8, and the paired difference between the two systems135at budget 2 is $+0.1$ points $[-0.5,+0.7]$---a null---while at budget 1 global recurrence is ahead by $0.6$136points $[0.3,0.9]$. Transitions are two-sided: at budget 2 the sparse editor turns \vtwoprismetransplus{}137items per thousand from wrong to right and \vtwoprismetransminus{} from right to wrong138(Table~\ref{tab:emfamilies}); gains concentrate in \textsf{fsm} and \textsf{bind}, \textsf{excl} does not move.139No adapter changes the held-out regimes by more than a point, and the compose family stays at 2--3\,\%.140\input{tables/stats.tex}141142\subsection{Pre-registered primary outcome on the locked test regimes}\label{sec:results-test}143The test streams (seed 9) were unsealed on 2026-10-30 after the pre-registration was frozen144(Appendix~\ref{app:prereg}); every system was evaluated once, at budget 0 and at forced random budget 2, on 1,000145stratified items per regime (Table~\ref{tab:test}). The pre-registered primary outcome---pooled exact match over146the iid, template and depth regimes at budget 2 versus the frozen backbone---is $\testprismebtwovsbzero$ points147for the sparse editor (95\,\% $t$-interval over \testprismebtwovsbzeron{} seeds148$[\testprismebtwovsbzerolo,\testprismebtwovsbzerohi]$), far below the pre-registered minimum effect of three149points; against the global-recurrence adapter the paired difference is $\testprismevsgr$ points150$[\testprismevsgrlo,\testprismevsgrhi]$ and against the dense editor $\testprismevsdense$ points151$[\testprismevsdenselo,\testprismevsdensehi]$. The compose regime stays at 4--5\,\% for every system. By the152decision rule fixed in advance, the architecture does not advance: it neither exceeds the strongest matched153baseline by three points at comparable cost nor reduces cost at non-inferior quality.154\input{tables/test.tex}155156\subsection{Latency and memory}\label{sec:results-latency}157Table~\ref{tab:latency} gives measured batch-1 and batch-8 decode latencies for the tiny model on the158development laptop (Apple M5 Max, fp32, PyTorch 2.15, MPS). Budget 0 costs \latencybzero{} ms per token; each159executed single-slot edit adds about 2.3 ms, so eight edits cost seven times the backbone although their160analytic operation count is only 4.2 times; the dense sixteen-slot write at budget 8 is \emph{not} slower than161eight sparse writes (17.3 vs 19.3 ms), and one controller evaluation adds 2.9 ms even when it stops immediately.162At this scale the per-action host dispatch and kernel-launch overhead dominates the arithmetic, exactly as the163proposal's failure mode 13.6 anticipated; Section~\ref{sec:results-pilot} repeats the measurement at 103M, where164the arithmetic is 60 times larger per token.165\input{tables/latency.tex}166167\subsection{The 103M pilot on web text (Phase 8)}\label{sec:results-pilot}168\input{sections/results_pilot}169170\subsection{Larger configurations}171The 459M and 1.18B configurations were instantiated on the meta device for exact parameter accounting172(Table~\ref{tab:configs}) and the 459M operation table was reproduced (Table~\ref{tab:ops}); neither was173trained. No scaling claim is made (H7 untested).174