What a speculative decoder gives away for free

- DATED NOTE 2026-10-18 (prior art for the identity; the cold read of that date, docs/PUBLIC_CUT_PLAN.md 15.8): the identity this erratum rests on, that the final-norm state is the lm_head input, so the full logits are its image under the lm_head matrix and, that matrix having full column rank (the check this erratum's payload records), the state follows from them, is the setting of the published softmax-bottleneck work: Finlayson, Ren and Swayamdipta, "Logits of API-Protected LLMs Leak Proprietary Information" (arXiv 2403.09539, 2024), which shows the logits confined to a linear subspace of dimension equal to the hidden size, and Carlini et al., "Stealing Part of a Production Language Model" (arXiv 2403.06634, 2024), which recovers the embedding projection layer up to symmetries from API access; Finlayson, Ren and Swayamdipta do not claim recovery of the state, and Carlini et al. recover the projection rather than a state; the state's recovery follows from the identity here. Both fetched on 2026-10-18 and added to docs/PRIOR_ART.md (its 2026-10-18 additions). The record already concedes the order of events in docs/IDEAS.md line 247 ("textbook prior art (Finlayson 2024, Carlini 2024) that nobody in the lane applied": Stage R ran and Stage A was frozen before the identity was applied). This note places that concession against the literature; the erratum's text stands as written. [withheld: docs/IDEAS.md, docs/PUBLIC_CUT_PLAN.md not in this repository; see WITHHELD.md]

- DATED NOTE 2026-10-18 (the first free baseline and the routing literature; the cold read of that date, docs/PUBLIC_CUT_PLAN.md 15.8): the free baseline of F-15 and F-17 left token ids out "as non-ordinal" (tools/run_probes.py line 196, a frozen instrument). At S3, where the stream is OLMoE's router address stream, the absorption this finding measured once hashed predicted-token ids (TOK) and the z-scored h_a block entered the baseline together is consistent with two published analyses of MoE routing: OpenMoE (Xue et al., arXiv 2402.01739, 2024) reports routing decisions that depend mainly on the routed input token's ID with little regard to context (TOK holds predicted ids, so of the two only OLMoE's output-id sentence bears on TOK directly), and OLMoE (Muennighoff et al., arXiv 2409.02060, 2024), the paper of the base model behind S3's checkpoint (OLMoE-1B-7B-0125-Instruct, docs/METHOD.md line 269; the paper's section 5.4 analyses OLMoE-1B-7B), reports vocabulary specialization of its experts, later layers specializing on predicted output token IDs. Consistent with, not predicted by: the re-test added TOK and the standardized hz block in one arm, so the share of the absorption due to token ids alone was not isolated, and at S1 the stream is top-32-of-512 weight-slot occupancy at the down_proj inputs of a dense Llama (docs/GLOSSARY.md, the telemetry-sources entry), where the routing literature does not apply. Both papers fetched on 2026-10-18 and added to docs/PRIOR_ART.md. Categorical features are routinely one-hot or hash encoded; the exclusion was a design choice the re-test revisited, and the labels stand as written. The probing-practice references added the same day (Pimentel et al. 2020; Hewitt and Liang 2019; Xu et al. 2020) bear on the readers: untuned, scored on top-1 accuracy, and at F-15 and F-17 on raw inputs (this finding's reader reads z-scored h_a); the K-2 word is scoped to the registered reader throughout, and those references name what a stronger reader would be. [withheld: docs/PUBLIC_CUT_PLAN.md not in this repository; see WITHHELD.md]

- dated note (2026-10-18): what the fp32 contract pins is the dtype alone. The archive header's model block carries id, snapshot and dtype (src/amber/real/archive.py line 39, MODEL_FIELDS) and the capture arm adds device, quantization and batch (src/amber/real/capture.py lines 89-95, Arm); matmul precision, the attention implementation, the torch and transformers versions and the GPU architecture are recorded in the capture's meta.json (capture.py's docstring) and in no archive, so a decoder on another stack is bound by nothing in the file. The bf16 and fp16 failure rates in this title are properties of this PyTorch stack at these settings, not of the formats: ts_zip evaluates its model in BF16 and states that the result "does not depend on the exact GPU or CPU model nor on the number of configured threads" (bellard.org/ts_zip, fetched 2026-10-18; docs/PRIOR_ART.md, 2026-10-18 additions). The counts stand; the dtype pin is a measurement of this stack, not a contract that binds another.

- dated note (2026-10-18, second, after the critic's recompute of the same day): the note above misstates the scope of the two rates. P4's archives were encoded on cuda fp32 (experiments/P4_PROTOCOL.md line 18) and the bf16 and fp16 decoders read those fp32-encoded archives, so the 84% and 28.5% are cross-dtype figures, a property of the dtype difference between encoder and decoder under this stack; the phrase "not of the formats" is withdrawn. What ts_zip's page bears on is a same-dtype contract, bf16 at both ends with deterministic kernels, which P4 did not measure. The header's model block binds a decoder to nothing beyond id, snapshot and dtype; "bound by nothing in the file" above reads with that qualification.

**Dated note (2026-10-18)**: the figures in this Observation rest on the cost model's placeholder inputs, the 2 MB/s decode rate among them (docs/audits/2026-10-18-image-audit/README.md, item B3). With any decode rate the record measured in that placeholder's place, lsp1 costs more than zstd -19 even with packing free, so the free-packing branch ("wins by 23%") does not survive measured inputs; the verdict that the standalone thesis loses survives every input set the audit's refuters tried, and the reason given for it, the 92% share, does not. The Observation stands as written.

**Dated note (2026-10-18)**: the bf16 and fp16 failure rates in this title are a property of amber's PyTorch inference stack at its settings (one GPU architecture, batch 1, the Hugging Face model code), not of the numeric formats. ts_zip evaluates its model in BF16 and states that the result "does not depend on the exact GPU or CPU model nor on the number of configured threads" (bellard.org/ts_zip, fetched 2026-10-18; quoted under PA-4 in docs/02-prior-art.md). F-16's counts stand; the sentence "bf16 decoders fail 84% of archives" reads with that scope, and the cross-GPU open question above is the one ts_zip's engineering answers for its own model.

**Dated note (2026-10-18, second, after the critic's recompute of the same day)**: the note above misstates the scope of the two rates. amber's P4 archives were encoded on cuda fp32 (amber experiments/P4_PROTOCOL.md line 18) and the bf16 and fp16 decoders read those fp32-encoded archives, so the 84% and 28.5% are cross-dtype figures, a property of the dtype difference between encoder and decoder under that stack; "not of the numeric formats" is withdrawn. What ts_zip's page bears on is a same-dtype contract, bf16 at both ends with deterministic kernels, which P4 did not measure and which the cross-GPU open question above would need.

- regime: synthetic concept-HMM v0, default WorldConfig; gamma=4; 16k positions; oracle policies Dated clause 2026-10-16: steering mechanism argmax, run_simulation's parameter default; the script passes no steer_mech, so D-10's posterior default did not apply (numbers unaffected; DECISIONS.md D-10, dated note).

- regime: synthetic concept-HMM v0, default WorldConfig except rho; disagreement-gated beta=2.5; gamma=6; 14k positions; analytic per-position acceptance (unconditional, D-9) Dated clause 2026-10-16: steering mechanism argmax, run_simulation's parameter default; the script passes no steer_mech, so D-10's posterior default did not apply (numbers unaffected; DECISIONS.md D-10, dated note); one seed (200) per curve.

DATED ERRATUM 2026-10-16 (image audit 2026-10-15, section B item 5; docs/audits/2026-10-15-image-audit/f4_seeds.py reruns e04's protocol at seeds 200 to 209, the seed-200 run reproducing the committed payload to 1e-12): "(net harmful at every offset)" at rho=0.6 is not supported at offset 1. The stale-minus-vanilla analytic acceptance at offset 1 reads -0.0039, +0.0001, -0.0015, -0.0012, -0.0003, -0.0022, +0.0047, +0.0010, +0.0029, +0.0057 across the ten seeds, mean +0.0005 (SE 0.0010), negative on 5 of 10, and the committed seed-200 value is the most negative of the ten. Offsets 2 to 6 are negative on 10 of 10 (means -0.0121 / -0.0194 / -0.0228 / -0.0259 / -0.0267), and offset 1 at rho 0.75 and 0.9 is positive on 10 of 10 (means +0.0097 / +0.0174), so the decay curve and the rule of thumb stand; the offset-1 sign at rho 0.6 is seed noise. Every e04 curve is one seed (200); the mechanism is argmax (the dated clause on the regime line).

- regime: synthetic concept-HMM v0, hardened telemetry (support_gain=0.5, support_noise=0.5, background_noise=0.25, top_n=16), n_slots swept; disagreement-gated beta=2.5; gamma=4; 12k positions; sidecar = softmax regression on slot multi-hot Dated clause 2026-10-16: steering mechanism argmax, run_simulation's parameter default; the script passes no steer_mech, so D-10's posterior default did not apply (numbers unaffected; DECISIONS.md D-10, dated note).

DATED ERRATUM 2026-10-16 (image audit 2026-10-15, section B item 5; docs/audits/2026-10-15-image-audit/e07_ledger.py reruns e07's three arms with the bonus token priced, the correction bits reproducing the committed payload to four places): the v0 ledger omits the bonus token the verifier emits when a whole block is accepted, a term that is not arm-invariant: 0.0628 / 0.0654 / 0.0684 bonus tokens per emitted token on vanilla / free-causal / fresh-hint at 5.54 / 5.52 / 5.57 bits each, 0.348 / 0.361 / 0.381 unpriced bits per emitted token. With it priced the savings read 0.0862 (free-causal) and 0.1291 (fresh hint) bits per emitted token against the committed 0.0997 and 0.1621, so the committed figures are 16% and 26% high and the TOTAL break-even budget of 0.162 bits/token is overstated by about a quarter; the dense hint's loss reads about 26:1 on the fuller ledger (20:1 as committed). Direction and shape stand; the accept/reject indicator stream stays unpriced as caveated (its sign depends on the coding convention).

- DATED NOTE 2026-10-16 (image audit 2026-10-15, section B item 3; docs/audits/2026-10-15-image-audit/replay_c1.py and replay_c1_seed6.py with their JSON outputs; NON-CRITERION, no label moves): the frozen Stage-C heads ran live with NO support clip. HeadScorer applies only the [0, 1] output clip, and the exported weights carry TRAIN moments but no TRAIN support, so the standardization pathology F-22 (iii) records for Stage R, which Stage I was shielded from by predict_clipped, reached the live scorer here; this entry said nothing about it. The audit's read-only replay of the logged decisions from the gitignored per-prompt byproduct arrays (not reproducible from the committed tree) matches every logged stop_pos / extend decision of the seed-3 verdict arms: 17,185 of 17,185 consulted blocks on arm 6 (C3, free features) and 17,616 of 17,616 on arm 7 (C4, telemetry). Standardized inputs on the consulted decision path reach |z| 17,531 (arm 6) and 122,318 (arm 7); 111 / 120 consulted blocks exceed |z| 100 at offset 1. The honest exposure measure is the counterfactual TRAIN-support clip (the DR-1 form): it changes 41 decisions on arm 6 (0.24% of consulted blocks) and 41 on arm 7 (0.23%), in both directions; the voided seed-2 arms read 41 / 30 of 16,970 / 17,257, and the OQ-20 seed-6 arms 42 / 47 of 17,157 / 17,602. A first-order estimate of the direct tokens/call effect is at most 0.0119 / 0.0116 (41 decisions times at most five drafted tokens, a stop at position 1 against an extension to six, over the consulted calls; the rest of a changed prompt's trajectory is not priced; probable, not rerun), far inside the C4-vs-C3 interval -0.081846 [-0.132484, -0.035567] and the vs-vanilla straddle, so CONVERSION-MODE NULL stands as read. Rule recorded in docs/LESSONS.md: a scorer that runs live carries its TRAIN support clip, pinned at the freeze, not only in diagnostics.

- WHAT DID NOT SURVIVE — THE MAGNITUDES (critic B2): Standardizer.from_moments floors only exactly-zero sd, and rare mass512 buckets carry TRAIN sd down to ~1e-7. Two oq15 TEST prompts (orig 140, 37) put mass into such buckets and produce standardized inputs of 26,662 and 14,082; ridge at 1e5 cannot guard an unbounded input, and EVERY trained arm lands 4-8x worse than the mean predictor on those clusters (per-cluster MSE triv/tel/free/noise 0.969 / 5.760 / 8.265 / 8.084 and 0.975 / 3.495 / 4.704 / 4.529; 9.4% + 5.4% of pooled TEL SSE). Consequences, critic-recomputed: (i) TEL-vs-TRIVIAL pooled +0.10701 [-0.06983, +0.22088] — the honest deployable margin against a perfectly-shrunk baseline is NOT CI-clear at the registered pooled estimand (k3 +0.2163 [+0.2037, +0.2287] clear; oq15 -0.0002 [-0.3557, +0.2238]); TEL beats trivial in 81/84 clusters with median per-cluster gain +0.2243 (k3) / +0.2251 (oq15), the three losers being exactly the pathology prompts (140, 37, 206). (ii) The registered deltas are pathology-INFLATED, not deflated: the critic's UNREGISTERED drop-two diagnostic (quoted only as such) gives delta_noise +0.1327 [+0.1278, +0.1373], delta_free +0.1569 [+0.1504, +0.1629], TEL-vs-TRIVIAL +0.2162 [+0.2050, +0.2263], label still PASS — label robust, magnitudes ~a quarter pathology. (iii) Stage I (F-20) shared the standardization and was shielded by predict_clipped's [0,1] clip; the unbounded target removed the shield. (dated note 2026-10-16: the live Stage-C heads of F-21 ran with no support clip either; F-21's dated note of the same date records the replayed exposure, 41 changed decisions per arm under a counterfactual TRAIN-support clip) 4,063 TEST cells exceed 20 sd over the 657 free-feature columns (6,212 over the full TEL design) — the pathology is widespread at lower magnitude. The DR-1 clip is an OUT-OF-SUPPORT guard, not an sd floor: only 425 of those 6,212 cells lie outside TRAIN support, the clip changes 446 TEST cells in total, and ~5,800 in-support >20-sd cells remain (post-clip max |z| 204.1, ~sqrt(n_train)).

- finding: MECHANICAL LABELS: S1 ABSORBED (horizon OFF3-ABSORBED); S3 ABSORBED — both at the registered reader at the registered budget, both preconditions met on every harvest (reader validity: min gate-cell accuracy minus floor +0.0468 / +0.0393 at S1, +0.0272 / +0.0207 at S3; Mf gate CI upper +0.0475 / +0.0432 / +0.0298 / +0.0241; leak rider: shuffled fplus 0.5733 / 0.5681 / 0.5792 / 0.5851 against committed shuffled (a) 0.5889 / 0.5871 / 0.5799 / 0.5858, shuffled fplus_b 0.5740 / 0.5706 / 0.5787 / 0.5845, both legs pass on all four). (i) THE GATE, S1: D at L1/off2/mlp256 +0.0002 [-0.0012, +0.0015] (per seed +0.0017 / -0.0006 / -0.0007) primary, +0.0012 [-0.0003, +0.0028] (+0.0016 / +0.0013 / +0.0007) replication — fails all three conditions on the primary and two on the replication; Mt beside it +0.0034 [+0.0021, +0.0048] (+0.0036 / +0.0051 / +0.0016) and +0.0033 [+0.0012, +0.0052] (+0.0043 / +0.0015 / +0.0040) — CI-clear positive on both harvests, below the +0.005 materiality floor at the point on both, its replication upper +0.0052 a hair above the floor; Mn, the shift twin's own gain, +0.0033 [+0.0018, +0.0049] and +0.0020 [-0.0000, +0.0041]. Linear off2 D (reported) +0.0009 [-0.0006, +0.0024] / +0.0012 [-0.0002, +0.0026]; off3 mlp256 D -0.0004 [-0.0011, +0.0002] / +0.0005 [-0.0012, +0.0022] with Mt +0.0010 [+0.0002, +0.0020] / +0.0024 [+0.0002, +0.0047] — every one of the six S1 D rows has its CI95 upper below +0.005 (max +0.0028), the registered ABSORBED condition, and the offset-3 horizon reads OFF3-ABSORBED by the same rule. S3: D +0.0003 [-0.0013, +0.0020] (-0.0003 / +0.0019 / -0.0007) primary, +0.0001 [-0.0019, +0.0021] (+0.0010 / +0.0002 / -0.0009) replication; Mt +0.0033 [+0.0013, +0.0054] (+0.0038 / +0.0023 / +0.0038) and +0.0013 [-0.0008, +0.0035] (+0.0026 / +0.0023 / -0.0010) — CI-clear on the primary only, below the floor on both; Mn +0.0030 [+0.0014, +0.0046] and +0.0012 [-0.0004, +0.0026]. Linear off2 D +0.0015 [+0.0001, +0.0029] (+0.0004 / +0.0002 / +0.0039) primary — CI-POSITIVE-IMMATERIAL, and 78% of its point is the shift twin's own linear COST (Mn linear -0.0012 [-0.0027, +0.0003]; Mt linear only +0.0003 [-0.0009, +0.0016]) — and +0.0010 [-0.0003, +0.0024] replication (dated note 2026-10-16: the primary's descriptive qualifier is seed-sensitive, reading [-0.0013, +0.0042] / [-0.0009, +0.0039] / [-0.0008, +0.0047] under the three seed-inclusive approximations of docs/audits/2026-10-15-image-audit/seed_var_out.json, so CI-POSITIVE is lost under all three and IMMATERIAL stands; and the percentile cluster bootstrap covers about 0.939 at 30 clusters, docs/audits/2026-10-15-image-audit/coverage_out.json, so its lower bound +0.0001 sits inside the bootstrap's own shortfall while its upper +0.0029 reads about +0.0030 under a t-for-z correction; no label moves); the four S3 D uppers are +0.0029 / +0.0020 / +0.0024 / +0.0021. So the licensed sentence at both sources is "no MATERIAL (+0.005) equal-dims margin at the registered reader", never "no margin": aligned telemetry still adds about +0.003 over the full free baseline at the mlp256 gate (Mt), CI-clear on three of the four harvests, and nothing beyond the equal-dims twin (D). (ii) THE FREE BASELINE MOVED: Mf = fplus - (a) at the gate +0.0369 [+0.0266, +0.0475] / +0.0330 [+0.0223, +0.0432] (S1) and +0.0253 [+0.0208, +0.0298] / +0.0176 [+0.0101, +0.0241] (S3), larger than F-15's and F-17's entire telemetry margins over (a) at that cell; and the full free baseline ALONE beats the committed (a)+(b) telemetry arm at mlp256 — Mc +0.0112 [+0.0061, +0.0165] / +0.0130 [+0.0059, +0.0204] (S1), +0.0052 [+0.0019, +0.0084] (S3 primary; the S3 replication ties, +0.0009 [-0.0046, +0.0056]); at linear Mc is -0.0000 [-0.0079, +0.0090] / +0.0037 [-0.0035, +0.0123] (S1) and +0.0006 [-0.0026, +0.0038] / -0.0042 [-0.0088, -0.0000] (S3) — on the S3 replication the registered reader given 4753 free dims scores below the committed 1681-dim (a)+(b) linear probe, the reader-scope caveat with teeth. Gate-cell accuracies (fplus / fplus_b / fplus_n per seed; floors 0.5914 / 0.5897 / 0.5803 / 0.5865): S1 primary 0.6454 0.6381 0.6475 / 0.6490 0.6433 0.6490 / 0.6473 0.6438 0.6497; S1 replication 0.6290 0.6403 0.6347 / 0.6332 0.6418 0.6387 / 0.6316 0.6405 0.6380; S3 primary 0.6083 0.6094 0.6075 / 0.6121 0.6117 0.6113 / 0.6124 0.6099 0.6119; S3 replication 0.6072 0.6113 0.6084 / 0.6098 0.6137 0.6074 / 0.6088 0.6135 0.6083. The committed (a) mlp256 cells at those cells were 0.6062-0.6071 / 0.5967-0.5990 (S1) and 0.5824-0.5844 / 0.5914 (S3). (iii) THE TWIN WAS NOT INERT, AND THE CORRECTED TWIN READ: the S1 critic recompute found what the registration had not anticipated — the shift twin reads a position 17 tokens ahead of the anchor, whose forward pass has consumed the label token (the offset-2 label sits at a+1) for 93.7% (S1) / 93.5% (S3) of anchors, and it gains CI-clear over the base on both primary gates (Mn above), about as much as the aligned block, so D = Mt - Mn sits at zero by subtraction; F-16 had named that channel only as one that "could only make M2n an UNDERestimate", which is true under SURVIVES and runs toward the null under a kill. At S3 the dependence is confined to the primary harvest (the replication's Mn and both its Mt uppers sit below the floor); at S1 the ABSORBED-versus-NOT-SHOWN call on the replication rides on D specifically (with an inert twin D would equal Mt, whose upper +0.0052 is above the floor). At S1 the corrected twin read TWIN-ROBUST — D_r +0.0002 [-0.0009, +0.0014] primary (seeds +0.0013 / -0.0016 / +0.0008), +0.0013 [-0.0002, +0.0028] replication (seeds +0.0029 / +0.0009 / -0.0001); Mn_r +0.0032 [+0.0016, +0.0050] / +0.0020 [+0.0002, +0.0037]; T +0.0000 [-0.0012, +0.0013] / +0.0000 [-0.0016, +0.0019] (TWIN-INFORMATION-NOT-SHOWN) — so the registered null does not depend on the shift twin and the consequences act exactly as pinned. DATED NOTE 2026-10-16 (seed sensitivity; docs/audits/2026-10-15-image-audit/seed_var.py, as in F-25's note of the same date; NON-CRITERION, no label moves): the S1 corrected twin's CI-clear Mn_r reads [-0.0006, +0.0071] / [-0.0003, +0.0068] / [+0.0001, +0.0071] on the primary (per seed +0.0023 / +0.0067 / +0.0007) and [-0.0007, +0.0047] / [+0.0003, +0.0037] / [-0.0008, +0.0052] on the replication (per seed +0.0013 / +0.0006 / +0.0041) under the three seed-inclusive approximations (normal combination / interaction-corrected method of moments / prompt x seed pigeonhole bootstrap), so CI-clear is seed-sensitive at S1, lost under two of the three on each harvest with all six per-seed points positive; the S3 primary Mn_r stays CI-clear under all three. TWIN-ROBUST and every D of this entry stand: the largest D upper under the three approximations is +0.0042 / +0.0039 / +0.0047, below the +0.005 floor. On the primary and replication the corrected twin itself gains CI-clear over the base while T's CI includes zero, so the label-consumption mechanism is WITHDRAWN for both harvests: the shift twin's gain is matched by a prompt-independent block, which under the pinned reading means a same-marginal sparse block of these dims yields about Mt at this reader — the strongest form of the null, under which Mt stops being evidence of telemetry information (the registered reading of one construction, not a measurement of every block); D_r remains the matched comparison. At S3 the corrected twin read TWIN-ROBUST — D_r +0.0000 [-0.0014, +0.0014] primary (seeds +0.0010 / +0.0001 / -0.0009), +0.0008 [-0.0014, +0.0029] replication (seeds +0.0019 / +0.0009 / -0.0006); Mn_r +0.0033 [+0.0015, +0.0050] / +0.0005 [-0.0012, +0.0022]; T -0.0003 [-0.0021, +0.0015] / +0.0007 [-0.0005, +0.0018] (TWIN-INFORMATION-NOT-SHOWN) — so the registered null does not depend on the shift twin and the consequences act exactly as pinned. On the primary the corrected twin itself gains CI-clear over the base while T's CI includes zero, so the label-consumption mechanism is WITHDRAWN for that harvest: the shift twin's gain is matched by a prompt-independent block, which under the pinned reading means a same-marginal sparse block of these dims yields about Mt at this reader — the strongest form of the null, under which Mt stops being evidence of telemetry information (the registered reading of one construction, not a measurement of every block); D_r remains the matched comparison. On the replication the mechanism is neither withdrawn nor supported (Mn_r and T straddle zero). NET AT THIS READER, a gate-cell (mlp256) statement: the three sparse blocks measured — the aligned telemetry, the same row's telemetry 17 positions ahead, and a different prompt's telemetry at the same anchor index — add +0.0005..+0.0034 over the full free baseline (Mt / Mn / Mn_r: CI-clear for all three on both primaries, on the S1 replication for the aligned block and, by +0.0002, the prompt-level twin, and for none on the S3 replication), and the aligned block carries no MATERIAL margin beyond either twin at this power (D and D_r points +0.0000..+0.0013 with every upper at or below +0.0029; the S1 replication's D and D_r lowers are -0.0003 and -0.0002, so "nothing" is not licensed); a helpful twin lowers D_r below Mt by the identity D_r = Mt - Mn_r, which is the matched comparison, not dilution. The pinned reading extends the one prompt-independent construction to any same-marginal sparse block of these dims — a registered reading, not a measurement. The S1 replication's helps trigger is CI-clear by +0.0002 only, and its seed-0 cell reproduces the disclosed second smoke cell bit-exactly (a fresh training under the fresh-state pin; the F-18 accidental determinism check again — so the 0.0027 gap between the two smoke cells was the construction change, not CUDA jitter, a dated note on the block's SMOKE CONTACT sentence). Not re-examined at the corrected twin, which ran the gate cell only: the S1 offset-3 rows that carry OFF3-ABSORBED (the shift twin is CI-clear positive there, Mn off3 +0.0015 [+0.0005, +0.0025] / +0.0019 [+0.0000, +0.0038]), the S1 linear rows (replication Mt linear +0.0032 [+0.0010, +0.0055], upper above the floor, ABSORBED riding on D linear +0.0012 [-0.0002, +0.0026]) and the S3 primary linear row — those legs rest on the registered twin only. At linear capacity none of the blocks adds (S3 primary Mt linear +0.0003 [-0.0009, +0.0016], Mn linear -0.0012 [-0.0027, +0.0003]; S1 primary Mt linear -0.0002 [-0.0017, +0.0014]), so the +0.003 is mlp256-specific, consistent with a dims-or-optimization effect rather than telemetry content. The per-cluster correlations recorded in the twin payloads (aligned gain against twin gain, +0.58..+0.76) are a shared-subtrahend artifact — the three deltas share the fplus probe — and license nothing: cross-seed the correlations collapse to about +0.1 and a same-subtrahend control sits at +0.49 (critic-recomputed on the S3 primary; no committed artifact records it); the twin block's descriptive "shared row-level content" reading of them is withdrawn by dated note. The twin diagnostic's own pinned prediction FAILED in every part: branch (TWIN-ROBUST at both sources, predicted S1 TWIN-DEPENDENT), Mn_r sign (+0.0032 / +0.0033 CI-clear on the primaries, predicted near zero or slightly negative) and T (about zero everywhere, predicted +0.002..+0.003 on the S1 primary) — ROBUST arrived through a non-inert twin, not through the near-inert premise the block allowed for; the future-context mechanism the diagnostic was registered to price is withdrawn under its own pinned reading where the corrected twin helps CI-clear (both S1 harvests, the S3 primary), and is neither withdrawn nor supported on the S3 replication, where Mn, Mn_r and T all straddle zero. A weak free channel both twins share — the anchor's position — was measured by the critic on both primaries and is negligible (a position-only predictor gains nothing over the floor; no committed artifact records it). The S3 primary linear D row keeps its CI-positive-immaterial qualifier. (iv) THE READER: best VAL epochs on the h_a-bearing arms were 0-2 at every gate cell on every harvest (S1 primary 0 / 2 / 1 for all three arms; S1 replication 2 / 0 / 1; S3 primary fplus 1 1 1, fplus_b 1 0 1, fplus_n 1 1 1; S3 replication fplus 0 1 0, fplus_b 1 1 1, fplus_n 0 1 1; every S1 off3 cell 0) against 9-24 for the committed (a) mlp256 cells and 2-11 for (b)/(c) — the effective reader on these arms is one to three AdamW passes, a fact the registration disclosed from the smoke and both labels are scoped to. The dense standardized hz block dominates the input norm (per-anchor L2 about 65 against at most about 11 for the 128-hot slots block and about 6 for TOK on S1; critic-recomputed, no committed artifact records it), the one mechanism by which this reader could return a null a stronger reader would not — the stronger-reader residual, named under both labels as registered. (v) THE PREDICTION FAILED ON BOTH SOURCES: the pinned honest prediction was S1 SURVIVES-FULL-FREE with D +0.005..+0.012 and Mt positive but smaller than D, S3 SPLIT or NOT-SHOWN with ABSORBED "unlikely at this power". S1 read ABSORBED, the registered "what would surprise" branch; Mt exceeded D on every harvest; and S3's ABSORBED arrived because the D CIs are half the width of the Phase-3 (b)-(a) CIs (the twins share 82-86% of their dims plus the seeded init and batch order) and because the non-inert twin pushed D to zero by subtraction — not a power story. The registered parenthetical for the S1 surprise ("the S1 margin was nonlinear-free information all along") is quoted as pre-registered text, not asserted: the reader-handicap reading is equally consistent with the data. CONSEQUENCES EXECUTED (dated, per the pinned rules; never rewrites): F-15 and F-17 receive dated errata scoped to the re-tested cells (S1 L1 offsets 2-3; S3 L1 offset 2 — L2 / L3 and the further offsets stand against the 657-summary proxy and are untested against the full free baseline); K-2 receives a dated STATUS line per source; F-16 and F-18 receive dated "moot" notes. ABSORBED at BOTH sources, twin-robust at both: the existence layer is NOT SHOWN anywhere at the registered reader; K-2's 2026-09-05 STATUS salvage line ("the negative results and the method", docs/WHY_THIS_DIES.md K-2 STATUS 2026-09-05) is all that stands; scorecards get dated STATUS lines, never rewrites.

- DATED NOTE 2026-10-16 (support-number artifacts; lever 2 of docs/PUBLIC_CUT_PLAN.md section 14.2, the rider of the S1 READER RE-TEST REGISTRATION in docs/BLUEPRINT.md; NON-CRITERION, no label moves; the three "no committed artifact records it" clauses above stay as written): the three support figures are regenerated by committed scripts under docs/audits/2026-10-16-f24-support/ (each with its header pins set before the rerun and its output beside it; README.md there has the table): (1) corr_control.py reproduces the twin payloads' pooled per-cluster correlations to 0.0 on all four harvests and reads, on the S3 primary, the cross-seed Mt_i against Mn_r_j mean +0.1127 (the six ordered seed pairs -0.189..+0.511; within-seed mean +0.7837) and the same-subtrahend control +0.4815 under the construction the script names (Mt_i against acc(fplus_j) - acc(fplus_i), j != i); the record does not say which construction the critic used, and a second reading, pooled Mn against Mn_r, reads +0.4671 there, so "+0.49" is approximated by the first (+0.48 at two decimals) and within 0.03 by the second, and the first is the committed definition from this date; the recorded range "+0.58..+0.76" quoted in (iii) above covers the two S1 harvests and the S3 primary, the S3 replication's recorded values being +0.4062 / +0.4500 (the twin OUTCOME in docs/BLUEPRINT.md lists all four pairs; a dated correction, the sentence above stays as written); (2) position_only.py reads the per-index majority predictor at the gate cell equal to the constant majority predictor at every anchor index on both primaries (no index predicts a non-majority class; gain over the floor 0.0 exactly; floors 0.591381 / 0.580311 reproduced to 1e-12), the strongest form of "gains nothing" for one predictor (position jointly with the blocks is not what it measures); (3) input_norms.py reads, over the 61,030 S1 primary test anchors, the per-anchor L2 medians hz 65.21 (p10 57.27, p90 68.93, max 72.36), slots 11.14 (max 11.3137, sqrt(128) by construction), TOK 5.66 (max 5.6569, sqrt(32)) and (a) 2.23, with the hz moments sha equal to this entry's payload's; every pin held (numpy 2.3.5). [withheld: docs/PUBLIC_CUT_PLAN.md not in this repository; see WITHHELD.md]

- DATED NOTE 2026-10-16 (image audit 2026-10-15, section B items 2 and 4; NON-CRITERION, no label moves at the registered estimator): (i) every interval of this entry is, like F-24's and F-25's, a prompt-cluster bootstrap over counts summed across three train seeds (per_seed_margin and n_seeds 3 in the payloads), so it is conditional on those three trained probes; the audit's seed-inclusive brackets (docs/audits/2026-10-15-image-audit/seed_var_out.json) cover F-24, its corrected twin and F-25 only, so no row of this entry is bracketed, the SURVIVES-STRONGER cells included. (ii) The nearest label-deciding bound to the +0.005 floor anywhere in the record is this entry's RN at L1 replication gate D +0.003206 [+0.001563, +0.004951] (results/real/readers_s3_r.json; primary +0.003035 [+0.001564, +0.004548]). The percentile cluster bootstrap covers about 0.939 at 30 clusters (docs/audits/2026-10-15-image-audit/coverage_out.json), and a t-for-z correction of the upper half-width (2.0452 / 1.96) carries that upper to +0.005026, at which the frozen rule (every D upper below +0.005 for ABSORBED) reads NOT-SHOWN for RN at L1 instead of ABSORBED (fed through the frozen tools/run_fullfree_coarse.py source_label: ABSORBED as registered, NOT-SHOWN with the scaled upper). The registered estimator is the percentile bootstrap, so the label stands as registered and is disclosed here as coverage-sensitive; the final S3 word K-2-ISOLATED does not change.

**Status**: acted on (TP-8). Harvested into sideband at e74cbd78e17d7a9065ea7cf7ab6e526174bc47b2 (branch `espalier-trial`): `docs/DECODE_CONTRACTS.md` (the value contract's grid crossings beside amber's order-contract mismatches, every number generated from pinned commits), a dated addition to `docs/METHOD.md` section 6 (F-14's 114.5x pack-rate error), and dated notes in sideband's OQ-7, BLUEPRINT T-A, GLOSSARY and ECOSYSTEM saying that this repository's byproduct economics were never measured and its runtime never built. F-19's "no further findings will be appended" is amended by this entry, which is the last. Repository parked 2026-10-11.

- STAGE REPLAY (2026-10-10; OQ-20, the cross-seed replay of the two conversion-verdict legs and their mechanism-matched free legs at seed 6; NON-CRITERION for F-19, F-21 and this entry; registered 2026-10-09 in docs/BLUEPRINT.md, "SEED-REPLAY OF THE CONVERSION-VERDICT LEGS REGISTRATION", frozen at b6d3701): THE STAGE WORDS: SPREAD-COVERED over R2 (K3 MUTUAL-COVERAGE / REPRODUCES, OQ15 MUTUAL-COVERAGE / REPRODUCES) and FREE-SPREAD-COVERED over R6 (K3 MUTUAL-COVERAGE / REPRODUCES, OQ15 MUTUAL-COVERAGE / REPRODUCES); said in words: each verdict's vs-vanilla leg and its mechanism-matched free leg, replayed at seed 6 under the frozen policies, reads inside the verdict seed's CI95 with the verdict's delta inside the seed-6 CI95, and each cross-seed difference's joint-draw CI95 contains zero (K3 -0.003479 [-0.033416, +0.022758] / -0.003135 [-0.033327, +0.023051]; OQ15 +0.020693 [-0.044830, +0.088277] / -0.028223 [-0.099002, +0.042346]); R2's and R6's CI95 half-widths on OQ15, 0.0666 and 0.0707, both exceed the +0.062 bar, so a cross-seed move the size of the bar is not resolved there, as the registration said it would not be (on K3 they are 0.0281 and 0.0282); the OQ15 vs-vanilla leg changes sign across the seeds (+0.002664 [-0.044719, +0.046727] at seed 3 against -0.018029 [-0.065168, +0.028495] at seed 6) with neither CI clear of zero, which is not the pinned surprise (that needs the seed-6 CI95 clear of zero); on K3 the free leg is nearly the vs-vanilla leg (|R5 - R1| = 0.000231), so the two stage words are not two confirmations there, as the registration said; the only leg whose seed-6 CI95 is clear of zero is OQ15's free leg, negative: the telemetry head sits below the free head at the new seed as at the verdict seed (D-5; no R1 point reads as telemetry help, no bar is cleared, K-3 stays FIRED); the guards held on every leg (margins +0.017778 / +0.060652 vs vanilla, +0.017509 / +0.041583 vs the free arm); no leg clears the bar at seed 6 (BAR-NOT-CLEARED and BAR-NOT-CLEARED-FREE on both); R4 R-CONSISTENT on both; R8 NEAR-IDENTICAL-ARMS on K3 (fixed before any run by the seed-1 count) and DELTA-MOVES / WITHIN-CROSS-SEED-NOISE on OQ15. ONE further seed per vs-vanilla leg and per mechanism-matched free leg; the cross-seed variance stays unestimated; the draft_conf legs and the same-seed null stay unmeasured; NON-CRITERION: no verdict, label or kill status moves. K3 (label, F-19; probe (c) telemetry scheduling (arm 4) against vanilla gamma-4, verdict seed 1): R1 the leg at seed 6 +0.010340 [-0.009288, +0.030521] GUARD-HELD (tokens/call 3.039368 vs 3.029028; drafted-per-emitted 1.312778 vs 1.320556, guard margin +0.017778); R2 MUTUAL-COVERAGE / REPRODUCES: the verdict leg +0.006860 [-0.015024, +0.025572] at seed 1 against +0.010340 [-0.009288, +0.030521] at seed 6, difference -0.003479 [-0.033416, +0.022758], in magnitude 0.17 of the verdict CI's half-width 0.0203 (the joint-draw CI95 half-width 0.0281; the seed-6 CI's 0.0199); R3 BAR-NOT-CLEARED; R4 R-CONSISTENT (the committed pair 0-1 r 0.4232 inside both new pairs' CI95: pair 0-6 r 0.4145 [0.2924, 0.5210], cross-seed null delta +0.002995 [-0.036426, +0.043831] (half-width 0.0401); pair 1-6 r 0.4036 [0.2857, 0.5172], cross-seed null delta -0.008601 [-0.048635, +0.031754] (half-width 0.0402); the pairs share runs, not independent replications); R5 the free leg at seed 6 (probe (c) telemetry scheduling (arm 4) minus probe (a) free scheduling (arm 3)) +0.010109 [-0.009724, +0.030422] GUARD-FREE-HELD (free arm tokens/call 3.029259, drafted-per-emitted 1.320287, guard margin +0.017509); R6 MUTUAL-COVERAGE / REPRODUCES: the verdict free leg +0.006974 [-0.014909, +0.025690] at seed 1 against +0.010109 [-0.009724, +0.030422] at seed 6, difference -0.003135 [-0.033327, +0.023051], in magnitude 0.15 of the verdict CI's half-width 0.0203 (the joint-draw CI95 half-width 0.0282); R7 BAR-NOT-CLEARED-FREE; R8 NEAR-IDENTICAL-ARMS: the free arm minus vanilla differs on 1 prompt at seed 1 and 3 at seed 6 in (n_emitted, n_blocks), below the pinned 10, so no label and no reading (only the counts are reported; the registration suppressed the label and reading for this case because the seed-1 leg's CI95 upper bound is exactly 0.0). OQ15 (replication, F-21; C4 head_tel (arm 7) against vanilla gamma-4, verdict seed 3): R1 the leg at seed 6 -0.018029 [-0.065168, +0.028495] GUARD-HELD (tokens/call 2.998372 vs 3.016401; drafted-per-emitted 1.275432 vs 1.326084, guard margin +0.060652); R2 MUTUAL-COVERAGE / REPRODUCES: the verdict leg +0.002664 [-0.044719, +0.046727] at seed 3 against -0.018029 [-0.065168, +0.028495] at seed 6, difference +0.020693 [-0.044830, +0.088277], in magnitude 0.45 of the verdict CI's half-width 0.0457 (the joint-draw CI95 half-width 0.0666; the seed-6 CI's 0.0468); R3 BAR-NOT-CLEARED; R4 R-CONSISTENT (the committed pair 2-3 r 0.4172 inside both new pairs' CI95: pair 2-6 r 0.4700 [0.3512, 0.5776], cross-seed null delta +0.009348 [-0.030631, +0.046660] (half-width 0.0386); pair 3-6 r 0.4736 [0.3691, 0.5698], cross-seed null delta -0.008126 [-0.044525, +0.030495] (half-width 0.0375); the pairs share runs, not independent replications); R5 the free leg at seed 6 (C4 head_tel (arm 7) minus C3 head_free (arm 6)) -0.053623 [-0.107526, -0.002448] GUARD-FREE-HELD (free arm tokens/call 3.051995, drafted-per-emitted 1.307015, guard margin +0.041583); R6 MUTUAL-COVERAGE / REPRODUCES: the verdict free leg -0.081846 [-0.132484, -0.035567] at seed 3 against -0.053623 [-0.107526, -0.002448] at seed 6, difference -0.028223 [-0.099002, +0.042346], in magnitude 0.58 of the verdict CI's half-width 0.0485 (the joint-draw CI95 half-width 0.0707); R7 BAR-NOT-CLEARED-FREE; R8 DELTA-MOVES / WITHIN-CROSS-SEED-NOISE: the free arm minus vanilla +0.084510 [+0.041028, +0.126063] at seed 3 against +0.035594 [-0.009909, +0.082906] at seed 6, difference +0.048916 [-0.011070, +0.110568] (the two arms differ on 210 / 210 prompts; a description, no bar, no guard, no surprise, no consequence beyond this line; docs/IDEAS.md rank 9 stays as open as it was). REGIME AND EVIDENCE: REAL MODELS — the Llama-3.1-8B-Instruct NF4 target with the Llama-3.2-1B-Instruct bf16 draft, temperature 1.0, 256 new tokens, the HF adapter (acceptance-valid only, D-9), one RTX 3080 Ti, seed 6 on the two 210-prompt verdict populations, the readouts a CPU recompute on the committed summaries; the six registered seed-6 runs of tools/run_k3_arms.py from a clean clone of the launch commit b6d3701 (every meta carries the bare commit, seed 6, one run_id, no resume; the pinned replay check PASSED on all six arms before any run, results/real/oq20_replay_check_stdout.txt its stdout and results/real/oq20_driver.log the launch driver's log; the environment capture after the last run equals the one before the first, results/real/oq20_env_capture_before_runs.txt and results/real/oq20_env_capture_after_runs.txt, sha256 f9bea69f380e... each), results/real/k3_seed6_arm1, k3_seed6_arm4, k3_seed6_arm3, oq15c_seed6_arm1, oq15c_seed6_arm7, oq15c_seed6_arm6 (five sidecars each, committed at c62f03d) beside the committed verdict runs and the F-27 payloads; the CPU readouts results/real/seed_replay_k3.json and seed_replay_oq15.json with their .state.jsonl, from the clean tree at c62f03d by tools/run_seed_replay.py (0b00f8dfd4cf as frozen; --conclude-from reproduces both payloads from the summaries on disk; the precondition held, 93 checks on K3 and 94 on OQ15); the critic's recompute (sideband-critic, opus, 2026-10-10: an independent parse of the per-prompt rows, the two sideband.stats estimators cross-checked against its own bootstrap under the same draws, every precondition re-verified from the metas, the policy files and the clone, both --conclude-from runs repeated in a fresh clone of the sidecars' commit) matched both payloads at a maximum absolute discrepancy of 0.0 over, by its own leaf count, 206 numeric leaves and 100 label and boolean leaves, confirmed K-3's R8 count (1 differing prompt at seed 1, 3 at seed 6) and found no leakage, pairing, regime or kill-criterion objection; its landing round was NO-GO on one blocking item outside the payloads, the frozen test file's pre-run assertions (the block's DATED AMENDMENT), with its advisories applied in these texts; its text round (same day) found one sign artifact and one false gloss in the generated sentences, both corrected by regeneration, and 0 misquoted numerals of 431; landing test tests/test_seed_replay_landing.py; tests/test_seed_replay.py amended at the landing by a dated line (48aec0c0590e; the block's DATED AMENDMENT); the block's OUTCOME scores both predictions. CONSEQUENCES EXECUTED (2026-10-10): this line; dated notes in docs/NOISE_FLOOR.md, README's "What is NOT measured" bullet, docs/REPORT.md's single-seed limitation and docs/FINDINGS_INDEX.md's F-27 row; NON-CRITERION notes in F-19's and F-21's status cells; the OUTCOME under OQ-20; the tool joins the frozen closure. Dated note 2026-10-16: the seed-6 arms replayed the same unclipped Stage-C heads; a counterfactual TRAIN-support clip changes 42 / 47 of their 17,157 / 17,602 consulted decisions (F-21's dated note of the same date; docs/audits/2026-10-15-image-audit/replay_c1_seed6.json). [withheld: docs/IDEAS.md not in this repository; see WITHHELD.md]

- E4 [CORRECTED; UNRECOMPUTABLE under the pinned rule, decided by the E4 amendment, 2026-10-10, written after the first dry run showed the float64 miss (instrument's float32 mean)] amber v0 0.4738 ties AC-under-draft 0.4723 bits/token (within 0.0015) (FINDINGS.md:59): the all-rows tie reproduces (amber 0.4738 vs AC-under-draft 0.4723 bits/token) and is a mixture: concatenated, non-looped rows (75 rows, 16958 tokens) amber 0.8929 vs AC 0.8094 (+0.0835); looped rows (125, 32000) 0.2515 vs 0.2937 (-0.0422). The per-archive direction depends on the loop rule: across the 39 grid settings the sign split holds at 39, while amber's per-archive rate on non-looped rows runs from -4.8% to +7.8% against AC (positive at 18), so no per-archive direction is stated.

- E7 [CONFIRMED; UNRECOMPUTABLE under the pinned rule, decided by the E7 amendment, 2026-10-10, written after the first dry run could not load the tokenizer offline (loaded from the cached snapshot dir)] zstd-19 on the full text per archive: 7.28 bits per generated token (FINDINGS.md:80, OPEN_QUESTIONS.md:31): reproduces (7.2805 bits per generated token with zstandard 0.25.0, tokenizer snapshot 4e20de36); the per-archive text includes decoded special-token literals (200 of 200 archives carry <\|begin_of_text\|>, 14 carry <\|end_of_text\|>, 3610 B in all); without them 6.75.

- E13 [CORRECTED; UNRECOMPUTABLE under the pinned rule, decided by the E13 amendment, 2026-10-10, written after the fetched pages were read (citation_abstract instead of citation_title)] PMATIC is arXiv 2601.17684 (docs/PRIOR_ART.md:10): PMATIC is arXiv 2601.10678, "Synchronizing Probabilities in Model-Driven Lossless Compression" (Adler, Aviv; Tang, Jennifer; page sha256 a1ee3e4a2e0e); the cited id is arXiv 2601.17684, "A Model-Driven Lossless Compression Algorithm Resistant to Mismatch" (Hu, Cordelia; Tang, Jennifer; page sha256 b227437a106e), a different paper that is relevant prior art in its own right (re-identify the citation, do not remove it); pages saved under results/errata_web/.

- status (2026-10-04; HORIZON READ at the R2 encoding (K-6 lead-time pricing), the post-hoc diagnostic registered as the dated amendment "OQ-9 STAGE-1 HORIZON READ REGISTRATION" in docs/BLUEPRINT.md before any readout of it ran, frozen at b41d3f3; both runs from the clean tree at 5e0e2a9 (the next commit, a memory row); evidence results/real/prefetch_horizon_s3.json (primary) and results/real/prefetch_horizon_s3_r.json (replication), each with .meta.json and .state.jsonl; instrument tools/run_prefetch_horizon.py, which imports the frozen R2 tool and refuses a modified one; tests/test_prefetch_horizon.py, tests/test_prefetch_horizon_landing.py): LABEL LEAD-TIME-ABSORBED on the primary (H-ABSORBS / H-ABSORBS / H-ABSORBS at horizons 2, 3, 4; H-ABSORBS at horizon 1, R2's cell reproduced); the replication AGREES on the stage label and on every per-horizon label (a SEED replication on the same prompts; the primary's label is the label); no floor straddle, no reader guard and no free_h grid edge at any label horizon on either harvest, so the pinned cross-harvest closure condition holds. PROVENANCE: launched under the operator's words "all approved" (2026-10-04, to the proposed order: push the lane, the retroactive handoff, the primary then the replication, the landing lane); both runs from the clean tree at 5e0e2a9 (tracked status empty), the commit after the freeze commit b41d3f3 that added the session's memory row and nothing else (the eight files hashed at the freeze unchanged), sequential, instrument cc6a7fb0bc50..., the frozen chain at its shas, the replay source the pinned snapshot (sha d8e5770a2d88...), encoding prev_table with k and every R2 arm's lambda at horizon 1 taken from the committed R2 payloads; REPRODUCE EXACT against the R2 union rows (54,720 / 54,720 rows compared, 0 missing, 0 extra, 0 mismatches on hits or needed) and the identity on the four horizon-1 cells (D_eq^H, D_add^H, the anchor, free_h - free_r2 equal to R2's to 1e-12) on both; the horizon-1 RESELECT on val matches R2's on both (k = 128); 161,280 / 161,280 state rows; runtimes 2,940.3 / 1,842.0 s of elapsed time (per horizon 641.3 / 625.8 / 654.4 / 957.3 and 481.0 / 433.3 / 452.6 / 432.1; the replay 15.7 / 15.0 s of it); --conclude-from reproduces both payloads exactly; the test positions per horizon 59,285 / 59,045 / 58,805 / 58,565 and 29,825 / 29,705 / 29,585 / 29,465, the covered share 0.9013 / 0.9012 / 0.9011 / 0.9009 and 0.8582 / 0.8578 / 0.8573 / 0.8566 (the unseen-key share 0.0988 / 0.0989 / 0.0991 and 0.1422 / 0.1427 / 0.1434 at horizons 2, 3, 4). HORIZON 1 (H-ABSORBS; k = 128 on both, interior): D_eq^H (history_bigram_r2 - free_h, 3073 against 3073) +0.0111 [+0.0078, +0.0150] / +0.0106 [+0.0068, +0.0153] (NOT-SHOWN), D_add^H (history_all_h - free_h) +0.0172 [+0.0139, +0.0210] / +0.0162 [+0.0126, +0.0206] (NOT-SHOWN), the dilution anchor +0.0061 [+0.0057, +0.0064] / +0.0056 [+0.0052, +0.0060] (NOT-SHOWN), free_h - free_r2 +0.0438 [+0.0397, +0.0483] / +0.0450 [+0.0407, +0.0500] (NOT-SHOWN); ABT (history_tok - free_tok, the ADDRESS-BEYOND-TOKEN form at this horizon) +0.1033 [+0.0927, +0.1146] / +0.1074 [+0.0953, +0.1207] (SIGNAL); the twin's D_eq (history_tok - FREE_BIGRAM) +0.0609 [+0.0514, +0.0712] / +0.0659 [+0.0547, +0.0788] (SIGNAL) and D_add (HISTORY_BIGRAM - FREE_BIGRAM) +0.0661 [+0.0569, +0.0762] / +0.0705 [+0.0592, +0.0834] (SIGNAL); D_eq^R2 (history_tok_r2 - free_r2) +0.0493 [+0.0425, +0.0577] / +0.0506 [+0.0433, +0.0594] (NOT-SHOWN / SIGNAL) and D_add^R2 (history_bigram_r2 - free_r2) +0.0549 [+0.0480, +0.0631] / +0.0556 [+0.0483, +0.0645] (SIGNAL); h_only - free_tok -0.0051 [-0.0132, +0.0036] / +0.0035 [-0.0058, +0.0137] (NOT-SHOWN), h_only - history -0.0009 [-0.0082, +0.0057] / +0.0010 [-0.0072, +0.0078] (NOT-SHOWN), h_only - history_tok -0.1083 [-0.1129, -0.1039] / -0.1038 [-0.1090, -0.0992] (NEGATIVE); the label cells by scope: covered +0.0086 [+0.0059, +0.0121] / +0.0085 [+0.0055, +0.0125] (NOT-SHOWN) and +0.0147 [+0.0121, +0.0181] / +0.0141 [+0.0112, +0.0180] (NOT-SHOWN), fallback +0.0343 [+0.0213, +0.0465] / +0.0231 [+0.0131, +0.0342] (NOT-SHOWN) and +0.0399 [+0.0279, +0.0514] / +0.0286 [+0.0195, +0.0386] (NOT-SHOWN); ARMS at B = 16, pooled (primary / replication): marginal 0.4250 / 0.4312, history 0.8068 / 0.8060, free_tok 0.8110 / 0.8035, history_tok 0.9143 / 0.9109, FREE_BIGRAM 0.8534 / 0.8449, HISTORY_BIGRAM 0.9194 / 0.9155, free_r2 0.8732 / 0.8719, history_tok_r2 0.9225 / 0.9225, history_bigram_r2 0.9281 / 0.9275, h_only 0.8059 / 0.8071, free_h 0.9169 / 0.9169, history_all_h 0.9342 / 0.9331; lambda per arm (primary / replication where they differ): marginal 0.1, history 1000, free_tok 10, history_tok 10, FREE_BIGRAM 10, HISTORY_BIGRAM 10, free_r2 1, history_tok_r2 1, history_bigram_r2 1, h_only 100000, free_h 1, history_all_h 1; lambdas at a grid end on both harvests: free_replay (0.1), replay_cur (0.1), h_only (100000), marginal (0.1) (R2's taken lambdas carry no flag in this payload and are read against the grid's ends 0.1 and 100000; the marginal is val-selected here); B = 8 / 32 readings disagreeing with B = 16's on the label cells: none on either harvest; REPRODUCE EXACT, the identity held and the RESELECT matched on both (the horizon-1 arms are R2's readers and these cells are R2's cells). HORIZON 2 (H-ABSORBS; k = 128 on both, interior): D_eq^H (history_bigram_r2 - free_h, 3073 against 3073) +0.0034 [-0.0008, +0.0084] / +0.0024 [-0.0021, +0.0080] (NOT-SHOWN), D_add^H (history_all_h - free_h) +0.0178 [+0.0138, +0.0223] / +0.0153 [+0.0113, +0.0203] (NOT-SHOWN), the dilution anchor +0.0144 [+0.0135, +0.0152] / +0.0130 [+0.0120, +0.0140] (NOT-SHOWN), free_h - free_r2 +0.0677 [+0.0631, +0.0723] / +0.0683 [+0.0634, +0.0739] (SIGNAL); ABT (history_tok - free_tok, the ADDRESS-BEYOND-TOKEN form at this horizon) +0.1018 [+0.0912, +0.1132] / +0.1033 [+0.0910, +0.1171] (SIGNAL); the twin's D_eq (history_tok - FREE_BIGRAM) +0.0789 [+0.0693, +0.0889] / +0.0828 [+0.0713, +0.0955] (SIGNAL) and D_add (HISTORY_BIGRAM - FREE_BIGRAM) +0.0800 [+0.0705, +0.0899] / +0.0831 [+0.0717, +0.0958] (SIGNAL); D_eq^R2 (history_tok_r2 - free_r2) +0.0692 [+0.0614, +0.0784] / +0.0695 [+0.0613, +0.0797] (SIGNAL) and D_add^R2 (history_bigram_r2 - free_r2) +0.0711 [+0.0633, +0.0801] / +0.0707 [+0.0624, +0.0808] (SIGNAL); h_only - free_tok +0.0307 [+0.0226, +0.0392] / +0.0370 [+0.0288, +0.0461] (NOT-SHOWN), h_only - history +0.0110 [+0.0038, +0.0175] / +0.0130 [+0.0041, +0.0208] (NOT-SHOWN), h_only - history_tok -0.0711 [-0.0760, -0.0666] / -0.0663 [-0.0725, -0.0610] (NEGATIVE); the label cells by scope: covered +0.0002 [-0.0034, +0.0047] / -0.0001 [-0.0038, +0.0049] (NOT-SHOWN) and +0.0148 [+0.0115, +0.0188] / +0.0132 [+0.0099, +0.0178] (NOT-SHOWN), fallback +0.0333 [+0.0173, +0.0486] / +0.0172 [+0.0067, +0.0272] (NOT-SHOWN) and +0.0455 [+0.0318, +0.0582] / +0.0282 [+0.0197, +0.0368] (NOT-SHOWN); ARMS at B = 16, pooled (primary / replication): marginal 0.4254 / 0.4315, history 0.6680 / 0.6664, free_tok 0.6482 / 0.6424, history_tok 0.7500 / 0.7456, FREE_BIGRAM 0.6712 / 0.6629, HISTORY_BIGRAM 0.7512 / 0.7460, free_r2 0.6862 / 0.6830, history_tok_r2 0.7554 / 0.7525, history_bigram_r2 0.7573 / 0.7538, h_only 0.6790 / 0.6794, free_h 0.7539 / 0.7514, history_all_h 0.7717 / 0.7667; lambda per arm (primary / replication where they differ): marginal 0.1, history 1000, free_tok 10, history_tok 10, FREE_BIGRAM 10, HISTORY_BIGRAM 10, free_r2 1, history_tok_r2 1, history_bigram_r2 1, h_only 100000 / 10000, free_h 1, history_all_h 1; lambdas at a grid end: marginal (0.1), h_only (100000) on the primary, marginal (0.1) on the replication; B = 8 / 32 readings disagreeing with B = 16's on the label cells: none on either harvest. HORIZON 3 (H-ABSORBS; k = 128 on both, interior): D_eq^H (history_bigram_r2 - free_h, 3073 against 3073) +0.0016 [-0.0032, +0.0070] / +0.0002 [-0.0052, +0.0063] (NOT-SHOWN), D_add^H (history_all_h - free_h) +0.0173 [+0.0129, +0.0223] / +0.0135 [+0.0093, +0.0187] (NOT-SHOWN), the dilution anchor +0.0158 [+0.0148, +0.0166] / +0.0134 [+0.0117, +0.0149] (NOT-SHOWN), free_h - free_r2 +0.0740 [+0.0682, +0.0800] / +0.0736 [+0.0667, +0.0805] (SIGNAL); ABT (history_tok - free_tok, the ADDRESS-BEYOND-TOKEN form at this horizon) +0.1006 [+0.0890, +0.1127] / +0.0996 [+0.0863, +0.1141] (SIGNAL); the twin's D_eq (history_tok - FREE_BIGRAM) +0.0831 [+0.0728, +0.0940] / +0.0849 [+0.0726, +0.0983] (SIGNAL) and D_add (HISTORY_BIGRAM - FREE_BIGRAM) +0.0830 [+0.0728, +0.0937] / +0.0842 [+0.0721, +0.0975] (SIGNAL); D_eq^R2 (history_tok_r2 - free_r2) +0.0743 [+0.0655, +0.0839] / +0.0734 [+0.0641, +0.0845] (SIGNAL) and D_add^R2 (history_bigram_r2 - free_r2) +0.0755 [+0.0668, +0.0852] / +0.0737 [+0.0644, +0.0847] (SIGNAL); h_only - free_tok +0.0743 [+0.0659, +0.0831] / +0.0774 [+0.0691, +0.0868] (SIGNAL), h_only - history +0.0064 [-0.0003, +0.0122] / +0.0072 [-0.0015, +0.0142] (NOT-SHOWN), h_only - history_tok -0.0263 [-0.0322, -0.0212] / -0.0221 [-0.0294, -0.0159] (NEGATIVE); the label cells by scope: covered -0.0030 [-0.0067, +0.0016] / -0.0037 [-0.0075, +0.0011] (NOT-SHOWN) and +0.0138 [+0.0104, +0.0180] / +0.0106 [+0.0075, +0.0148] (NOT-SHOWN), fallback +0.0433 [+0.0188, +0.0683] / +0.0231 [+0.0057, +0.0412] (NOT-SHOWN) and +0.0499 [+0.0290, +0.0710] / +0.0309 [+0.0175, +0.0449] (NOT-SHOWN); ARMS at B = 16, pooled (primary / replication): marginal 0.4259 / 0.4320, history 0.5951 / 0.5944, free_tok 0.5272 / 0.5241, history_tok 0.6278 / 0.6237, FREE_BIGRAM 0.5448 / 0.5388, HISTORY_BIGRAM 0.6278 / 0.6230, free_r2 0.5584 / 0.5561, history_tok_r2 0.6327 / 0.6295, history_bigram_r2 0.6340 / 0.6298, h_only 0.6015 / 0.6015, free_h 0.6324 / 0.6296, history_all_h 0.6497 / 0.6431; lambda per arm (primary / replication where they differ): marginal 0.1, history 1000, free_tok 10, history_tok 10, FREE_BIGRAM 10, HISTORY_BIGRAM 10, free_r2 1, history_tok_r2 1, history_bigram_r2 10, h_only 100000 / 10000, free_h 10, history_all_h 10; lambdas at a grid end: marginal (0.1), h_only (100000) on the primary, marginal (0.1) on the replication; B = 8 / 32 readings disagreeing with B = 16's on the label cells: none on either harvest. HORIZON 4 (H-ABSORBS; k = 128 on both, interior): D_eq^H (history_bigram_r2 - free_h, 3073 against 3073) -0.0002 [-0.0052, +0.0056] / -0.0023 [-0.0075, +0.0039] (NOT-SHOWN), D_add^H (history_all_h - free_h) +0.0149 [+0.0105, +0.0198] / +0.0104 [+0.0062, +0.0154] (NOT-SHOWN), the dilution anchor +0.0151 [+0.0138, +0.0164] / +0.0128 [+0.0111, +0.0142] (NOT-SHOWN), free_h - free_r2 +0.0752 [+0.0681, +0.0824] / +0.0741 [+0.0665, +0.0824] (SIGNAL); ABT (history_tok - free_tok, the ADDRESS-BEYOND-TOKEN form at this horizon) +0.0942 [+0.0823, +0.1069] / +0.0923 [+0.0784, +0.1074] (SIGNAL); the twin's D_eq (history_tok - FREE_BIGRAM) +0.0808 [+0.0701, +0.0920] / +0.0814 [+0.0684, +0.0954] (SIGNAL) and D_add (HISTORY_BIGRAM - FREE_BIGRAM) +0.0806 [+0.0698, +0.0917] / +0.0809 [+0.0681, +0.0947] (SIGNAL); D_eq^R2 (history_tok_r2 - free_r2) +0.0742 [+0.0639, +0.0852] / +0.0713 [+0.0604, +0.0837] (SIGNAL) and D_add^R2 (history_bigram_r2 - free_r2) +0.0750 [+0.0647, +0.0860] / +0.0718 [+0.0609, +0.0841] (SIGNAL); h_only - free_tok +0.0862 [+0.0768, +0.0958] / +0.0879 [+0.0790, +0.0980] (SIGNAL), h_only - history +0.0032 [-0.0033, +0.0088] / +0.0034 [-0.0047, +0.0100] (NOT-SHOWN), h_only - history_tok -0.0080 [-0.0141, -0.0027] / -0.0043 [-0.0124, +0.0023] (NEGATIVE / NOT-SHOWN); the label cells by scope: covered -0.0050 [-0.0087, -0.0002] / -0.0060 [-0.0098, -0.0011] (NEGATIVE) and +0.0112 [+0.0079, +0.0155] / +0.0079 [+0.0047, +0.0122] (NOT-SHOWN), fallback +0.0431 [+0.0164, +0.0689] / +0.0196 [+0.0042, +0.0373] (NOT-SHOWN) and +0.0483 [+0.0264, +0.0693] / +0.0254 [+0.0134, +0.0390] (NOT-SHOWN); ARMS at B = 16, pooled (primary / replication): marginal 0.4260 / 0.4321, history 0.5586 / 0.5583, free_tok 0.4757 / 0.4738, history_tok 0.5698 / 0.5661, FREE_BIGRAM 0.4890 / 0.4847, HISTORY_BIGRAM 0.5696 / 0.5656, free_r2 0.5004 / 0.4995, history_tok_r2 0.5746 / 0.5708, history_bigram_r2 0.5755 / 0.5713, h_only 0.5618 / 0.5617, free_h 0.5757 / 0.5736, history_all_h 0.5906 / 0.5840; lambda per arm (primary / replication where they differ): marginal 0.1, history 1000, free_tok 10, history_tok 10, FREE_BIGRAM 10, HISTORY_BIGRAM 100, free_r2 10, history_tok_r2 10, history_bigram_r2 10, h_only 100000 / 10000, free_h 10, history_all_h 10; lambdas at a grid end: marginal (0.1), h_only (100000) on the primary, marginal (0.1) on the replication; B = 8 / 32 readings disagreeing with B = 16's on the label cells: none on either harvest. TREND (nested, different position sets; a description, no reading): D_add^H at horizons 1..4 +0.0172 / +0.0178 / +0.0173 / +0.0149 on the primary and +0.0162 / +0.0153 / +0.0135 / +0.0104 on the replication (the points at horizon 4 below those at horizon 2 on both, the assistant's surprise item; a description on nested position sets, no reading); D_eq^H +0.0111 / +0.0034 / +0.0016 / -0.0002 and +0.0106 / +0.0024 / +0.0002 / -0.0023, with zero inside the CI95 at horizons 2, 3 and 4 on both harvests (at horizon 1, R2's cell, it is CI-positive); free_h - free_r2 +0.0438 / +0.0677 / +0.0740 / +0.0752 and +0.0450 / +0.0683 / +0.0736 / +0.0741, larger at each later horizon on both; h_only - free_tok -0.0051 / +0.0307 / +0.0743 / +0.0862 and +0.0035 / +0.0370 / +0.0774 / +0.0879 (CI-positive at horizons 2, 3 and 4 on both). The horizon-matched ABT against stage 1's committed cell at the same horizon (a description; stage 1's positions include t = 0 and its one-token table is not horizon-matched): horizon 2 +0.1018 / +0.1033 against stage 1's +0.1027 / +0.1035 (below / below); horizon 3 +0.1006 / +0.0996 against stage 1's +0.1005 / +0.0995 (above / above); horizon 4 +0.0942 / +0.0923 against stage 1's +0.0933 / +0.0912 (above / above); the horizon-matched free_tok against stage 1's one-token table: horizon 2 0.6482 / 0.6424 against 0.6449 / 0.6402 (above / above); horizon 3 0.5272 / 0.5241 against 0.5303 / 0.5276 (below / below); horizon 4 0.4757 / 0.4738 against 0.4804 / 0.4796 (below / below); history against stage 1's: horizon 2 0.6680 / 0.6664 against 0.6677 / 0.6661; horizon 3 0.5951 / 0.5944 against 0.5950 / 0.5943; horizon 4 0.5586 / 0.5583 against 0.5586 / 0.5584. SAID IN WORDS, beside the labels: no floor straddle, no reader guard and no free_h grid edge at any horizon on either harvest, and no NEGATIVE reading on a label cell on ALL (the label scope); NEGATIVE readings, every one said in words: D_eq^H on COVERED at horizon 4 on both harvests; h_only - free_tok on COVERED at horizon 1 on both harvests; h_only - history on FALLBACK at horizons 1, 3, 4 on both harvests and horizon 2 on the primary only; h_only - history_tok on ALL at horizons 1, 2, 3 on both harvests and horizon 4 on the primary only; h_only - history_tok on COVERED at horizons 1, 2, 3 on both harvests; h_only - history_tok on FALLBACK at horizons 1, 2, 3, 4 on both harvests; no B = 8 / 32 reading disagrees with B = 16's on a label cell; h_only is not above history_tok at any horizon; no FALLBACK-scope label cell reads SIGNAL; the lambda grid edges fall on REPORTED arms only: the marginal at the grid's lower edge at every horizon on both harvests (a bias-only arm); h_only at the upper edge on the primary at every horizon (its lambda 100000 / 10000, primary / replication, at horizons 2..4: the grid's upper edge on the primary, interior on the replication; at horizon 1 both carry R2's 100000, the upper edge); and at horizon 1, on both harvests, R2's taken lambdas at a grid end, free_replay (0.1) and replay_cur (0.1), h_only (100000), and the val-selected marginal (0.1) at the lower edge (said as the registration requires: a grid-edge lambda on any arm at any horizon); the horizon-matched ABT sits below stage 1's committed cell at horizon 2 and above it at horizons 3 and 4 on both harvests, by at most 0.0011 (a description); the primary's unseen-key CI95 contains the floor on 5 of the six fallback label cells, the replication's on none (the fallback cells are reported, not label cells: the label reads ALL); the RESELECT at horizon 1 matches R2's on both. THE PINNED SENTENCE, in its words with the numbers beside the slots (primary / replication): "with the forward's final-norm state at the address block's width and two tokens' smoothed routing profiles in the free arm, no material margin (at or above +0.05) of the address block over the equal-dims free block (horizon 2 +0.0034 [-0.0008, +0.0084] / +0.0024 [-0.0021, +0.0080]; horizon 3 +0.0016 [-0.0032, +0.0070] / +0.0002 [-0.0052, +0.0063]; horizon 4 -0.0002 [-0.0052, +0.0056] / -0.0023 [-0.0075, +0.0039]) and none of the address stream over the free arm (horizon 2 +0.0178 [+0.0138, +0.0223] / +0.0153 [+0.0113, +0.0203]; horizon 3 +0.0173 [+0.0129, +0.0223] / +0.0135 [+0.0093, +0.0187]; horizon 4 +0.0149 [+0.0105, +0.0198] / +0.0104 [+0.0062, +0.0154]) is shown at horizon 2, 3 or 4, as at horizon 1 (R2): at this reader the address stream is not shown to add a material hit-rate margin over free information at any horizon 1..4 (lead time counted in forwards; no latency priced; NON-CRITERION; K-2 is untouched; K-6 stays UNTESTED and this is its lead-time datum); the stage-2 strike stands, PREFETCH-HEADROOM (which does not depend on this margin) stands, and OQ-9's prefetch half closes at this reader" (every one of the six label readings NOT-SHOWN by the rule; CI-positive below the floor for D_add^H at every horizon on both, for D_eq^H at horizon 1 only) — with the per-horizon FALLBACK readings of the two label cells beside it, as pinned (horizon 2: D_eq^H +0.0333 [+0.0173, +0.0486] / +0.0172 [+0.0067, +0.0272] (NOT-SHOWN), D_add^H +0.0455 [+0.0318, +0.0582] / +0.0282 [+0.0197, +0.0368] (NOT-SHOWN; the primary's CI95 containing the floor); horizon 3: D_eq^H +0.0433 [+0.0188, +0.0683] / +0.0231 [+0.0057, +0.0412] (NOT-SHOWN; the primary's CI95 containing the floor), D_add^H +0.0499 [+0.0290, +0.0710] / +0.0309 [+0.0175, +0.0449] (NOT-SHOWN; the primary's CI95 containing the floor); horizon 4: D_eq^H +0.0431 [+0.0164, +0.0689] / +0.0196 [+0.0042, +0.0373] (NOT-SHOWN; the primary's CI95 containing the floor), D_add^H +0.0483 [+0.0264, +0.0693] / +0.0254 [+0.0134, +0.0390] (NOT-SHOWN; the primary's CI95 containing the floor); the unseen-key share 0.0988 / 0.0989 / 0.0991 and 0.1422 / 0.1427 / 0.1434), and the COVERED readings (horizon 2: D_eq^H +0.0002 [-0.0034, +0.0047] / -0.0001 [-0.0038, +0.0049] (NOT-SHOWN), D_add^H +0.0148 [+0.0115, +0.0188] / +0.0132 [+0.0099, +0.0178] (NOT-SHOWN); horizon 3: D_eq^H -0.0030 [-0.0067, +0.0016] / -0.0037 [-0.0075, +0.0011] (NOT-SHOWN), D_add^H +0.0138 [+0.0104, +0.0180] / +0.0106 [+0.0075, +0.0148] (NOT-SHOWN); horizon 4: D_eq^H -0.0050 [-0.0087, -0.0002] / -0.0060 [-0.0098, -0.0011] (NEGATIVE), D_add^H +0.0112 [+0.0079, +0.0155] / +0.0079 [+0.0047, +0.0122] (NOT-SHOWN); NEGATIVE readings among the label cells, said in words: D_eq^H on COVERED at horizon 4 on both harvests). NON-CRITERION: no label of F-26, the twin, the stratified read or R2 moves; this read is NOT a rung on the horizon-1 margin (R2 closed that ladder) and no free-baseline rung is registered at any horizon; the address-beyond-free motivation struck at horizon 1 stays struck at horizons 2, 3 and 4; F-26's post-hoc reading (2) (the address margin over the one-token free arm holding across horizons 1..4) is reproduced here as a description (the horizon-matched ABT above) and does not carry over to the free arm R2 built: against free_h no material margin of the address stream is shown at any horizon, while free_h - free_r2 grows with the horizon (numbers above; a description, no mechanism claimed); no wall-clock, bytes or latency sentence (D-9; K-5 / K-6 stay UNTESTED: lead time is counted in forwards). PREDICTIONS SCORED by the registration's SCORING rule under five conventions, named here and applied to both lists alike: (i) every range and every modal label is scored HELD / FAILED, a modal label on its label word alone; (ii) a clause that carries an explicit probability ('about p', '(p)') is calibration and is not scored, whatever it predicts (among them the assistant's (9) and the critic's 1, the 'no reader guard (about 0.93)' half of its 9 and its 13; what they predicted is stated beside the labels above); (i) applies before (ii): a modal label is one the clause calls modal or the most likely label of a stated distribution over the stage label (the assistant's (6), the critic's 12), while a reading word such as SIGNAL with a probability beside it is not a modal label and falls under (ii) (the critic's 6); (iii) a clause is scored on the primary harvest, the label harvest, unless it names the replication; (iv) a directional header claim ('falls', 'rises') is scored as a bool on the points; (v) 'about half' is read as 0.40..0.60 and 'within' as a closed interval. THE ASSISTANT'S, 23 of 34 clauses HELD: (1) REPRODUCE EXACT on both, the identity holds, the horizon-1 RESELECT matches R2's on both -> HELD; (2) every arm's hit rate falls with the horizon (the eleven arms beside the marginal, horizons 1..4, strictly) -> HELD; (2) history_all_h at j = 2 in 0.80..0.86 -> +0.7717 FAILED; (2) history_all_h at j = 3 in 0.70..0.78 -> +0.6497 FAILED; (2) history_all_h at j = 4 in 0.64..0.72 -> +0.5906 FAILED; (2) the marginal in 0.42..0.44 at every horizon -> HELD; (2) free_h within 0.03 of history_all_h at j = 2 -> +0.0178 HELD; (2) free_h within 0.05 of history_all_h at j = 4 -> +0.0149 HELD; (2) h_only above free_tok at every j >= 2 -> HELD; (2) h_only - free_tok at j = 4 in +0.02..+0.10 -> +0.0862 HELD; (3) D_eq^H at j = 2 in +0.00..+0.03 -> +0.0034 HELD; (3) D_eq^H at j = 3 in +0.00..+0.04 -> +0.0016 HELD; (3) D_eq^H at j = 4 in +0.00..+0.05 -> -0.0002 FAILED; (3) D_eq^H NOT-SHOWN modal at every horizon -> HELD; (4) D_add^H rises with j -> FAILED; (4) D_add^H at j = 2 in +0.015..+0.035 -> +0.0178 HELD; (4) D_add^H at j = 3 in +0.02..+0.05 -> +0.0173 FAILED; (4) D_add^H at j = 4 in +0.02..+0.06 -> +0.0149 FAILED; (4) D_add^H NOT-SHOWN modal at j = 2 and 3 -> HELD; (5) the anchor in +0.00..+0.02 and CI-positive at every horizon -> HELD; (5) free_h - free_r2 CI-positive and growing with j -> HELD; (5) free_h - free_r2 at j = 4 in +0.06..+0.15 -> +0.0752 HELD; (5) no reader guard at any horizon -> HELD; (6) STAGE LEAD-TIME-ABSORBED modal -> HELD; (7) ABT at j = 2 below stage 1's cell by 0.01..0.04 -> +0.0009 FAILED; (7) ABT at j = 3 below stage 1's cell by 0.01..0.04 -> -0.0001 FAILED; (7) ABT at j = 4 below stage 1's cell by 0.01..0.04 -> -0.0009 FAILED; (7) ABT SIGNAL at every horizon -> HELD; (8) k at j >= 2 interior and no larger than 128 -> HELD; (8) free_r2's lambda interior at every horizon -> HELD; (8) h_only's lambda at the grid's upper edge (the primary; the replication's 100000 / 10000 at horizons 2..4 is interior, said in words) -> HELD; (10) 30..50 minutes on the primary (49.0 min) -> HELD; (10) about half on the replication (scored as 0.40..0.60 of the primary; 0.6265) -> FAILED; (10) 150,000 to 175,000 state rows per harvest (161,280 / 161,280) -> HELD. Surprise list: 2 fired (D_add^H falling from j = 2 to j = 4 (the primary); the horizon-matched ABT above stage 1's at some j >= 2 (the primary, horizons 3, 4, by +0.0001 / +0.0009)). THE CRITIC'S, 23 of 34 clauses HELD: 2. history at j = 2, 3, 4 within 0.004 of stage 1's committed cells -> HELD; 3. the marginal in 0.420..0.432 on the primary at every horizon -> HELD; 3. the marginal in 0.426..0.437 on the replication at every horizon -> HELD; 4. horizon-matched free_tok above stage 1's at every j >= 2 -> FAILED; 4. free_tok at j = 2 in 0.66..0.71 -> +0.6482 FAILED; 4. free_tok at j = 3 in 0.55..0.61 -> +0.5272 FAILED; 4. free_tok at j = 4 in 0.50..0.56 -> +0.4757 FAILED; 5. history_all_h at j = 2 in 0.765..0.82 -> +0.7717 HELD; 5. history_all_h at j = 3 in 0.65..0.715 -> +0.6497 FAILED; 5. history_all_h at j = 4 in 0.59..0.66 -> +0.5906 HELD; 6. ABT at j = 2 in +0.06..+0.095 -> +0.1018 FAILED; 6. ABT at j = 3 in +0.055..+0.095 -> +0.1006 FAILED; 6. ABT at j = 4 in +0.045..+0.09 -> +0.0942 FAILED; 6. ABT below stage 1's cell at every j >= 2 -> FAILED; 7. D_eq^H at j = 2 in +0.000..+0.030 -> +0.0034 HELD; 7. D_eq^H at j = 3 in +0.000..+0.035 -> +0.0016 HELD; 7. D_eq^H at j = 4 in -0.005..+0.035 -> -0.0002 HELD; 7. D_eq^H NOT-SHOWN modal at every horizon -> HELD; 8. D_add^H at j = 2 in +0.012..+0.035 -> +0.0178 HELD; 8. D_add^H at j = 3 in +0.012..+0.038 -> +0.0173 HELD; 8. D_add^H at j = 4 in +0.010..+0.040 -> +0.0149 HELD; 8. D_add^H NOT-SHOWN modal -> HELD; 8. D_add^H(4) - D_add^H(2) within 0.012 -> -0.0029 HELD; 9. the anchor in +0.003..+0.015 and CI-positive at every j >= 2 -> FAILED; 9. free_h - free_r2 in +0.025..+0.07 and CI-positive at every j >= 2 -> FAILED; 10. h_only - history at j = 4 in -0.04..+0.01 -> +0.0032 HELD; 11. k at j >= 2 in {128, 512} modal -> HELD; 11. free_r2's lambda interior everywhere -> HELD; 11. h_only's lambda 1e4 or 1e5 at every j >= 2 -> HELD; 12. STAGE LEAD-TIME-ABSORBED modal -> HELD; 14. exactly 161,280 state rows per harvest -> HELD; 14. the covered share at j >= 2 within -0.012..0.000 of j = 1's on both -> HELD; 15. 35..60 minutes on the primary (49.0 min) -> HELD; 15. the replication 0.45..0.75 of the primary (0.6265) -> HELD. Surprise list: 1 fired (horizon-matched free_tok below stage 1's at some j >= 2 (the primary, horizons 3 and 4)). The critic's 'D_eq^H NEGATIVE at any horizon' is read on ALL, the label scope, where it does not fire; on the COVERED scope D_eq^H reads NEGATIVE at horizon 4 on both harvests (said above). Critic recompute (2026-10-04, recompute mode, an independent numpy script over the two state files and the committed R2 state files, dispatched at 17:48 local and read before the first edit): GO at maximum absolute discrepancy 0.0 over 75,816 payload values (both harvests), 1,188 identity values and 218,880 REPRODUCE integer comparisons, the selections and every label and flag re-derived with 0 mismatches; the record in the block's OUTCOME. CLEAN-CLONE RERUN (the landing condition under CONSEQUENCES (iv); started at 17:47 local in a scratch clone, in parallel with the recompute critic, whose GO came at 18:04; its failure branch pinned at 18:11, before its state file was read at 18:38): the primary rerun from a fresh clone of the freeze commit b41d3f3 (the clone's own tool, R2 payload and state file, all -text; the gitignored harvest shards copied from the main tree and checked by the tool against the committed metas and the R2 record; the replay from the cache) to the clone's own results path, 3,017.5 s of elapsed time on the same box and BLAS (scipy-openblas 0.3.30; the landing tests ran beside it): BYTE-IDENTICAL state file (sha256 e768ca7a68db..., the registered primary's), and the conclusion, the k and lambda val tables, the selections, the hidden block's spectrum, the replay probe, the strata counts and the coverage records all equal; the provenance differs in the commit it attests (b41d3f3, the freeze itself), the paths and the timings only — so the val tables that decide k and every lambda, which no committed row recomputes, reproduce on this box from the freeze commit, and the pinned failure branch was not needed. Both predictions scored in the block's OUTCOME, with the recompute record.

- status (2026-10-03; GENERALISING FREE BASELINE (R2), the post-hoc diagnostic registered as the dated amendment "OQ-9 STAGE-1 GENERALISING FREE BASELINE REGISTRATION (R2)" in docs/BLUEPRINT.md before any readout of it ran, both runs from the clean freeze commit 2fe5926; evidence results/real/prefetch_r2_s3.json (primary) and results/real/prefetch_r2_s3_r.json (replication), each with .meta.json and .state.jsonl; instrument tools/run_prefetch_r2.py, which imports the frozen stratified tool and refuses a modified one; tests/test_prefetch_r2.py, tests/test_prefetch_r2_landing.py): LABEL R2-FALLBACK-SURVIVES / H-ABSORBS on the primary; the replication AGREES on both questions (a SEED replication on the same prompts; the primary's label is the label). PROVENANCE: both runs from the clean freeze commit 2fe5926 (tracked status empty), sequential, instrument eaf671fdb9d6..., the frozen chain at its shas, the replay source the pinned snapshot (sha d8e5770a2d88...), encoding prev_table and the twin's lambdas from the committed stratified payloads; REPRODUCE EXACT against the stratified state rows (76,464 / 77,328 rows, 0 mismatches) and the identity on the three D_eq cells held; 161,424 / 163,248 state rows; runtimes 648.5 / 323.3 s of elapsed time (the replay 11.4 / 11.2 s of it); --conclude-from reproduces both payloads exactly; the test positions 59,285 / 29,825, the unseen-key share 0.0987 / 0.1418, the covered share 0.9013 / 0.8582. THE FREE ENCODING: the twin's count tables with the model's own routers replayed on the token's normalised input embedding as the Dirichlet prior of each key's row, one weight k selected on val jointly with lambda from {0, 2, 8, 32, 128, 512, inf}; SELECTION: k = 128 on both harvests (interior; the k val table's best rises from k = 0 to k = 128 and falls at 512 and inf; in occurrence units k = 128 is 16 virtual train occurrences per gate, so a key seen five times in train still reads 0.7619 replay; the selection margin over k = 32 is 1.3e-04 / 8.4e-04 of pooled val hit rate — the thinnest of the k and lambda selections in the primary run, re-derived by --conclude-from from the val tables in the meta but recomputable from no committed row; on the replication these lambda selections are thinner than the replication's own k margin (8.4e-04), by the same runner-up gap: h_only 1.3e-04, history_tok_r2 4.1e-04, history_all_h 7.5e-04, history_bigram_r2 8.2e-04), free_r2's lambda 1 / 1 (interior); GRID EDGES on three REPORTED arms, said in words: free_replay and replay_cur at lambda 0.1 / 0.1 (the grid's lower edge) and h_only at lambda 100000 / 100000 (the upper edge: the hidden block alone wants more regularisation than the grid offers, which bounds h_only's point, not free_h's — free_h's lambda 1 / 1 and history_tok_r2's 1 / 1 are interior). B = 8 / 32 readings that disagree with B = 16's on the four label cells, said in words: primary gate_eq_r2|B=32|fallback: NOT-SHOWN; gate_eq_r2|B=8|all: SIGNAL (+0.0262 [+0.0203, +0.0325]; +0.0671 [+0.0609, +0.0739]); replication gate_eq_r2|B=32|fallback: NOT-SHOWN; gate_eq_r2|B=32|all: NOT-SHOWN (+0.0232 [+0.0169, +0.0303]; +0.0156 [+0.0125, +0.0196]); no limit arm above free_r2 on test pooled; replay_zerofit 0.5675 / 0.5707 above stage 1's RECENCY_16 0.5197 / 0.5155 (the comparator does not fire; the position sets differ, stage 1's j = 1 positions including t = 0). SHRINKAGE (free_r2 - FREE_BIGRAM) on the unseen-key positions +0.1971 [+0.1697, +0.2266] / +0.1822 [+0.1557, +0.2167] (SIGNAL; per stratum cur-unseen +0.2604 [+0.2433, +0.2771] / +0.2608 [+0.2425, +0.2778] (SIGNAL), prev-unseen +0.0585 [+0.0488, +0.0691] / +0.0473 [+0.0401, +0.0544] (SIGNAL / NOT-SHOWN), both-unseen +0.4895 [+0.4194, +0.5142] / +0.4402 [+0.3582, +0.4684] (SIGNAL)), on the covered positions +0.0004 [-0.0005, +0.0013] / +0.0013 [+0.0004, +0.0023] (NOT-SHOWN; per stratum covered-1 +0.0164 [+0.0111, +0.0210] / +0.0136 [+0.0049, +0.0217] (NOT-SHOWN), covered-2-4 +0.0029 [-0.0008, +0.0070] / -0.0002 [-0.0036, +0.0031] (NOT-SHOWN), covered-5+ -0.0011 [-0.0016, -0.0006] / +0.0004 [-0.0003, +0.0011] (NEGATIVE / NOT-SHOWN)), pooled +0.0198 [+0.0146, +0.0260] / +0.0270 [+0.0200, +0.0361] (NOT-SHOWN); the gain-to-margin ratio 1.0161 / 1.0464 of the stratified read's unseen-key margin (+0.1940 / +0.1741, reproduced here as +0.1940 [+0.1596, +0.2280] / +0.1741 [+0.1390, +0.2154]) — a ratio of the free arm's gain to the old margin, not a share of the margin closed. D_eq^R2 (history_tok_r2 - free_r2): on the unseen-key positions +0.0732 [+0.0623, +0.0834] / +0.0662 [+0.0559, +0.0773] (SIGNAL, no floor straddle; per stratum cur-unseen +0.0674 [+0.0558, +0.0791] / +0.0593 [+0.0489, +0.0716] (SIGNAL), prev-unseen +0.0720 [+0.0636, +0.0805] / +0.0681 [+0.0591, +0.0792] (SIGNAL), both-unseen +0.1006 [+0.0760, +0.1133] / +0.0882 [+0.0554, +0.1011] (SIGNAL)), pooled +0.0493 [+0.0425, +0.0577] / +0.0506 [+0.0433, +0.0594] (NOT-SHOWN / SIGNAL by the rule, the CI95 straddling the floor on both — the one label-bearing reading on which the harvests differ, a seed-level difference at the floor's edge on a cell the label does not read when the unseen-key gate is SIGNAL), on the covered positions (0.9013 / 0.8582 of the test positions) +0.0467 [+0.0402, +0.0547] / +0.0480 [+0.0411, +0.0564] (NOT-SHOWN; covered-1 +0.0586 [+0.0488, +0.0706] / +0.0598 [+0.0483, +0.0737] (SIGNAL), covered-5+ +0.0449 [+0.0385, +0.0525] / +0.0461 [+0.0398, +0.0536] (NOT-SHOWN)); the union D_add^R2 (history_bigram_r2 - free_r2) pooled +0.0549 [+0.0480, +0.0631] / +0.0556 [+0.0483, +0.0645] (SIGNAL, the CI95 containing the floor on both) and on the unseen keys +0.0764 [+0.0653, +0.0868] / +0.0696 [+0.0591, +0.0810] (SIGNAL); the twin's OWN address arm against the generalising free block (history_tok - free_r2, the reported co-reading) pooled +0.0411 [+0.0348, +0.0487] / +0.0390 [+0.0323, +0.0473] (NOT-SHOWN) and on the unseen keys -0.0031 [-0.0165, +0.0093] / -0.0081 [-0.0226, +0.0070] (NOT-SHOWN): without the smoothed current-token block no margin of the address arm over the generalising free arm is shown on the unseen keys — the surviving margin is the address block's over the free block when both carry the same encoding; what the smoothed current-token block adds to the address arm (history_tok_r2 - history_tok) +0.0083 [+0.0069, +0.0098] / +0.0116 [+0.0100, +0.0133] pooled and +0.0764 [+0.0715, +0.0814] / +0.0742 [+0.0689, +0.0801] on the unseen keys (no handicap: both CI-positive). The arithmetic on the unseen keys, exact in the paired deltas: the stratified read's located +0.1940 [+0.1596, +0.2280] / +0.1741 [+0.1390, +0.2154] equals the twin-arm co-reading plus the SHRINKAGE, and what remains against the generalising free block, +0.0732 [+0.0623, +0.0834] / +0.0662 [+0.0559, +0.0773], equals the co-reading plus what the smoothed block adds to the address arm; the rest, +0.1207 / +0.1080, is the free arm's gain net of the address arm's gain from the same encoding (the SHRINKAGE less history_tok_r2 - history_tok on the unseen keys), not a share of the margin closed. Q2, the stored final-norm state (clipped, z-scored and reduced to 1024 principal directions on train) in the free arm: D_eq^H (history_bigram_r2 - free_h, 3073 against 3073) +0.0111 [+0.0078, +0.0150] / +0.0106 [+0.0068, +0.0153] (NOT-SHOWN, CI-positive below the floor, no straddle), D_add^H (history_all_h - free_h) +0.0172 [+0.0139, +0.0210] / +0.0162 [+0.0126, +0.0206] (NOT-SHOWN, CI-positive below the floor, no straddle), the dilution anchor +0.0061 [+0.0057, +0.0064] / +0.0056 [+0.0052, +0.0060]; what H adds to the free arm (free_h - free_r2) +0.0438 [+0.0397, +0.0483] / +0.0450 [+0.0407, +0.0500]; h_only - free_tok -0.0051 [-0.0132, +0.0036] / +0.0035 [-0.0058, +0.0137] (NOT-SHOWN on both; the primary's point below zero, the replication's above); h_only - history_tok -0.1083 [-0.1129, -0.1039] / -0.1038 [-0.1090, -0.0992] (NEGATIVE: the pinned flag, h_only ABOVE history_tok, does not fire on either harvest). ARMS at B = 16, j = 1, pooled (primary / replication): free_tok 0.8110 / 0.8035, FREE_BIGRAM 0.8534 / 0.8449, history_tok 0.9143 / 0.9109, HISTORY_BIGRAM 0.9194 / 0.9155; free_r2 0.8732 / 0.8719, history_tok_r2 0.9225 / 0.9225, history_bigram_r2 0.9281 / 0.9275, free_backoff 0.8682 / 0.8645, free_replay 0.8644 / 0.8656, replay_cur 0.8216 / 0.8241, replay_zerofit 0.5675 / 0.5707, h_only 0.8059 / 0.8071, free_h 0.9169 / 0.9169, history_all_h 0.9342 / 0.9331; on the unseen-key positions FREE_BIGRAM 0.6018 / 0.6428, history_tok 0.7958 / 0.8169, free_r2 0.7989 / 0.8250, history_tok_r2 0.8721 / 0.8911, free_replay 0.8043 / 0.8282, h_only 0.7064 / 0.7459, free_h 0.8409 / 0.8715. The family's ends against the table: free_backoff - FREE_BIGRAM +0.0149 [+0.0109, +0.0196] / +0.0195 [+0.0141, +0.0268], free_replay - FREE_BIGRAM +0.0111 [+0.0051, +0.0181] / +0.0207 [+0.0129, +0.0308]; the selected k over each end: free_r2 - free_backoff +0.0050 [+0.0034, +0.0068] / +0.0074 [+0.0055, +0.0097], free_r2 - free_replay +0.0088 [+0.0075, +0.0099] / +0.0063 [+0.0049, +0.0076]; the replay alone: replay_cur - free_tok +0.0106 [+0.0046, +0.0177] / +0.0205 [+0.0129, +0.0303], replay_zerofit - free_tok -0.2435 [-0.2583, -0.2274] / -0.2328 [-0.2491, -0.2145]. Said in words (the tool's limit-arm flag reads ALL only): on the unseen-key positions the pure replay reads above the selected k — free_r2 - free_replay -0.0054 [-0.0081, -0.0026] / -0.0032 [-0.0066, +0.0001] (NEGATIVE / NOT-SHOWN). REPLAY AGREEMENT on test (no fit): REPLAY(tokens[t-1]) against S[t] pooled 0.4003 / 0.4033, at gate 0 0.2403 / 0.2416 (the lowest gate on both), the maximum 0.5096 / 0.5150 at gate 10, gate 15 0.3147 / 0.3188; chance 8 / 64 = 0.125. The embedding-only replay is a weak proxy at gate 0, where F-26's GATE-0 NOTE records two unresolved readings (routing on the previous token through layer 0's attention, or the stored gate-0 slot lagging one forward) and a low embedding-only agreement fits both. HIDDEN BLOCK: 292,946 / 147,676 train positions, kept-variance share 0.7952 / 0.7970, the 1,024th and 1,025th eigenvalues 0.6015 / 0.6017 and 0.6011 / 0.6016 (a near tie at the cut: a different BLAS could swap the last directions, which touches the H arms only — and the H arms have no earlier rows to reproduce, so REPRODUCE cannot cover them). THE PINNED SENTENCES, in their words: Q1 — "against a free encoding that is never at the marginal (the model's own routers replayed on the token embedding as the prior of the smoothed count tables, k = 128), the address block still adds a material margin over the equal-dims free block on the unseen-key positions (+0.0732 [+0.0623, +0.0834] / +0.0662 [+0.0559, +0.0773], SIGNAL on both; pooled +0.0493 [+0.0425, +0.0577] / +0.0506 [+0.0433, +0.0594], NOT-SHOWN / SIGNAL by the rule with the CI95 straddling the +0.05 floor on both — said in words), while the encoding recovers +0.1971 [+0.1697, +0.2266] / +0.1822 [+0.1557, +0.2167] of hit rate there (the gain-to-margin ratio 1.0161 / 1.0464): the located margin is NOT shown to be table sparsity at this encoding and the coverage caveat stands as a scoped limitation, not a retraction, at this reader (B = 16, j = 1)"; Q2 — "with the hidden block in the free arm, no material margin of the address block over the equal-dims free block (+0.0111 [+0.0078, +0.0150] / +0.0106 [+0.0068, +0.0153]) and none of the address stream over the free bigram plus the hidden block (+0.0172 [+0.0139, +0.0210] / +0.0162 [+0.0126, +0.0206]) is shown: at this reader the forward's own final-norm state (at 1024 of 2048 directions, keeping 0.7952 / 0.7970 of the train variance) plus two tokens' smoothed routing profiles show no material address margin (NON-CRITERION; K-2 is untouched — this is a prefetch hit-rate reader, not the K-2 reader); stage 2's address-beyond-free motivation is struck (PREFETCH-HEADROOM, which does not depend on this margin, stands)". THE STRIKE APPLIES by the pinned condition: neither Q2 CI95 contains the floor on either harvest, the replication agrees on Q2, and the READER GUARD did not fire on either (free_h - free_r2 +0.0438 [+0.0397, +0.0483] / +0.0450 [+0.0407, +0.0500], the dilution anchor +0.0061 [+0.0057, +0.0064] / +0.0056 [+0.0052, +0.0060], both CI-positive); beside the strike, as pinned: D_add^H on the unseen-key positions +0.0399 [+0.0279, +0.0514] / +0.0286 [+0.0195, +0.0386] (NOT-SHOWN; the primary's CI95 containing the floor), and D_eq^H there +0.0343 [+0.0213, +0.0465] / +0.0231 [+0.0131, +0.0342] (NOT-SHOWN, no straddle); on the both-unseen stratum (672 / 422 positions, a stratum that draws 0.3482 / 0.5379 of its positions from one test prompt, prompt 13, by the stratified read) D_eq^H +0.0859 [+0.0340, +0.1002] / +0.0721 [+0.0261, +0.0926] and D_add^H +0.0868 [+0.0424, +0.1001] / +0.0709 [+0.0299, +0.0895] read SIGNAL / SIGNAL by the rule with every CI95 containing the floor — said beside the strike as the registration requires; the strike reads the pooled cells only. LAST RUNG, as pre-committed: R2 closes the free-baseline ladder under this finding (one-token table -> free bigram -> stratified read -> generalising baseline with the hidden arm); no further free-baseline rung is registered on this margin; the next move is the write-ups or stage 2 under its own registration — and with its address-beyond-free motivation struck, stage 2 would need a motivation of its own; Q1's survival is no such motivation (a reroute around a fired strike). SCOPING NOTE (2026-10-03, a dated note, not a rewrite): LAST RUNG's pinned SURVIVES wording, 'against the free arms this registration builds', is NOT attached to Q1 — Q1's partner is free_r2 alone, and against free_h, the strongest free arm this registration builds, Q2 reads H-ABSORBS; Q1's label reads 'against the generalising free block', nothing wider. Said in words beside the labels: the pooled Q1 reading +0.0493 [+0.0425, +0.0577] / +0.0506 [+0.0433, +0.0594] reads NOT-SHOWN / SIGNAL by the rule with the CI95 straddling the floor on both — the one label-bearing reading on which the harvests differ, said in words; the three reported-arm grid edges; the B = 8 / 32 disagreements above; D_add^H's unseen-key CI containing the floor on the primary; the both-unseen Q2 cells SIGNAL with the floor inside every CI; h_only below history_tok on both. NON-CRITERION: F-26's labels, the twin's SURVIVES and the stratified read's labels stand as computed; F-26's sentence "nothing in this landing reads ADDRESS-BEYOND-TOKEN as context information in the address stream beyond free information or as support for the sideband premise" STANDS; no kill status or regime moves; no wall-clock, bytes or latency sentence (D-9; K-5 / K-6 stay UNTESTED). The coverage caveat's standing after this rung: on the unseen-key positions the address block's margin over the generalising free block is material and the located margin is NOT shown to be table sparsity at this encoding (Q1), while no material margin (at or above +0.05) of the address block over the equal-dims free block, nor of the address stream over the free bigram plus the hidden block, is shown (both readings CI-positive below the floor) once the free arm holds the forward's own final-norm state beside the smoothed bigram (Q2) — the first is a reading against free_r2, the second against the strongest free arm this registration builds; both are hit-rate readings at linear readers on these harvests. CLEAN-CLONE RERUN (the recompute critic's named check, run after its GO): the primary rerun from a fresh clone of the freeze commit (core.autocrlf=false; the harvest directory pointed at the main tree's shards; the stratified payload the clone's own; the replay from the cache) to a scratch path, 673.5 s of elapsed time on the same box and BLAS (scipy-openblas 0.3.30): BYTE-IDENTICAL: the state file (sha 7d43c9678090), the conclusion, the k and lambda val tables, the selections, the hidden block's spectrum, the replay probe and the replay agreement all reproduce exactly — so the thinnest of the k and lambda selections in the primary run, the k selection's margin, and the val tables the committed rows cannot recompute are reproducible on this box. Both predictions scored in the block's OUTCOME; critic recompute: GO at maximum absolute discrepancy 0.0 over 74,366 values (37,183 per harvest), the record in the block's OUTCOME.)

- status (2026-10-02; STRATIFIED COVERAGE READ, the post-hoc diagnostic registered as the dated amendment "OQ-9 STAGE-1 STRATIFIED COVERAGE READ REGISTRATION" in docs/BLUEPRINT.md before any readout of it ran, both runs from the clean freeze commit fea2431; evidence results/real/prefetch_strat_s3.json (primary) and results/real/prefetch_strat_s3_r.json (replication), each with .meta.json and .state.jsonl; instrument tools/run_prefetch_strat.py, which imports the frozen twin tools/run_prefetch_bigram.py and refuses a modified one; tests/test_prefetch_strat.py, tests/test_prefetch_strat_landing.py): LABEL FALLBACK-LOCATED / PT-SURVIVES on the primary; the replication AGREES on both questions (a SEED replication on the same prompts; the primary's label is the label). PRECONDITION REPRODUCE EXACT on both: the stratified rows summed over the six coverage strata reproduce every one of the twin's 12,960 committed state rows to the integer, and the pooled D_eq equals the twin's committed D_eq (+0.0609 [+0.0514, +0.0712] / +0.0659 [+0.0547, +0.0788]), CI included. Both gates STRADDLE the +0.05 floor on both harvests, so the pinned straddle sentences apply and neither branch is claimed. On the twin's bigram positions at B = 16, j = 1, PRIMARY / REPLICATION — Q1 (COVERAGE): on the COVERED positions (both token keys seen in train; 0.9013 / 0.8582 of the test positions) D_eq^COV +0.0463 [+0.0398, +0.0541] / +0.0481 [+0.0411, +0.0564] (NOT-SHOWN / NOT-SHOWN: CI-positive below the floor, the CI95 containing it); on the FALLBACK positions (at least one key unseen; 0.0987 / 0.1418) D_eq^FB +0.1940 [+0.1596, +0.2280] / +0.1741 [+0.1390, +0.2154] (SIGNAL / SIGNAL); per unseen stratum, current key unseen (0.0436 / 0.0636) +0.1861 [+0.1662, +0.2033] / +0.1736 [+0.1533, +0.1936], previous key unseen (0.0438 / 0.0641) +0.1209 [+0.1071, +0.1340] / +0.1113 [+0.0979, +0.1258], both unseen (0.0113 / 0.0141) +0.5068 [+0.4069, +0.5300] / +0.4613 [+0.3354, +0.5115]; PT GAIN on the unseen-key positions +0.0805 [+0.0657, +0.0959] / +0.0805 [+0.0572, +0.1106]. Q2 (p_t), with the forward's stored output-distribution summaries (mass16 ++ mass64 ++ entropy / ln V, 81 coordinates) in BOTH arms, on ALL positions: D_eq^PT = history_tok_pt - free_bigram_pt +0.0532 [+0.0455, +0.0619] / +0.0565 [+0.0480, +0.0664] (SIGNAL / SIGNAL, the CI95 containing the floor), D_add^PT = history_bigram_pt - free_bigram_pt +0.0583 [+0.0506, +0.0669] / +0.0609 [+0.0525, +0.0709] (SIGNAL / SIGNAL), the dilution anchor history_bigram_pt - history_tok_pt +0.0051 [+0.0048, +0.0054] / +0.0044 [+0.0041, +0.0047]; PT GAIN on ALL +0.0089 [+0.0066, +0.0118] / +0.0121 [+0.0077, +0.0183] (NOT-SHOWN / NOT-SHOWN), on COVERED +0.0011 [+0.0008, +0.0014] / +0.0008 [+0.0004, +0.0011], on the current-key-unseen positions +0.1118 [+0.0956, +0.1276] / +0.1110 [+0.0930, +0.1277]; the asymmetric replacement read D_pt = history_tok - free_bigram_pt +0.0520 [+0.0442, +0.0608] / +0.0539 [+0.0455, +0.0636] (reported); pt_only 0.6032 / 0.6066, free_bigram_pt 0.8623 / 0.8570, history_tok_pt 0.9155 / 0.9135, history_bigram_pt 0.9205 / 0.9179 against history_tok 0.9143 / 0.9109 and FREE_BIGRAM 0.8534 / 0.8449. Q2 BY SCOPE (reported): on COVERED D_eq^PT +0.0455 [+0.0390, +0.0532] / +0.0475 [+0.0407, +0.0557] (NOT-SHOWN / NOT-SHOWN, the floor inside the CI) and D_add^PT +0.0512 [+0.0447, +0.0589] / +0.0525 [+0.0457, +0.0608] (SIGNAL / SIGNAL, the floor inside the CI); on FALLBACK D_eq^PT +0.1231 [+0.1058, +0.1382] / +0.1110 [+0.0950, +0.1261] and D_add^PT +0.1229 [+0.1060, +0.1371] / +0.1119 [+0.0960, +0.1271] — on COVERED D_eq^PT reads NOT-SHOWN / NOT-SHOWN and D_add^PT SIGNAL / SIGNAL by the rule, both with the floor inside the CI (the twin's D_add on covered likewise SIGNAL / SIGNAL, +0.0520 / +0.0531); the equal-dims margin is indicated on the unseen-key positions, while the union's margin is not confined there (D_add^PT reads SIGNAL on COVERED as well); PT-SURVIVES inherits the coverage caveat and is never read as 'the address block beats free p_t information' on the covered positions. IN THE PINNED WORDS (the straddle variants, both harvests): Q1 — "the address block's equal-dims margin on the positions whose token keys the train tables saw reads NOT-SHOWN by the rule with a CI95 that straddles the +0.05 floor, while a material margin is shown on the positions with at least one unseen key (the current-token table blind in both arms, the free previous-token table blind, or both): the location is indicated, not settled, at this power, at this reader (B = 16, j = 1)"; Q2 — "with the forward's own output-distribution summaries (mass16, mass64, entropy) in both arms, both Q2 readings are SIGNAL by the rule while at least one CI95 straddles the +0.05 floor: the twin's verdict with p_t is not settled at this power, at this reader (B = 16, j = 1)". So the coverage caveat is neither retired nor confirmed at this power: its location is INDICATED on the unseen-key positions, where at least one free table is blind and the address block's margin is large, while on the covered positions the equal-dims margin sits just below the floor with the floor inside its CI. By the point identity the covered positions carry +0.0417 / +0.0412 of the pooled +0.0609 / +0.0659 (0.686 / 0.626 of the margin), so 'indicated on the unseen-key positions' is a statement about per-position materiality, not about where most of the pooled margin accrues: most of it accrues on the covered positions, below the floor per position. And with p_t's summaries in the baseline on both sides the twin's two readings both read SIGNAL, the equal-dims one with the floor inside its CI, so the twin's verdict with p_t is not settled at this power either. SAID IN WORDS, as pinned: the pt_only arm's lambda sits at the grid's lower edge (0.1) on both harvests (a reported-only arm; its 81-coordinate design is the smallest and its hit rate is far below free_tok); the covered split by the smaller key's train occurrences — one occurrence (0.0529 / 0.0665 of positions) D_eq +0.0658 [+0.0573, +0.0750] / +0.0683 [+0.0579, +0.0808] (SIGNAL / SIGNAL), two to four (0.0976 / 0.1346) +0.0552 [+0.0472, +0.0645] / +0.0503 [+0.0417, +0.0610] (SIGNAL / SIGNAL), five or more (0.7508 / 0.6571) +0.0438 [+0.0374, +0.0514] / +0.0456 [+0.0390, +0.0536] (NOT-SHOWN / NOT-SHOWN) — reported readouts whose readings differ from the covered union's: the union's reading is the well-covered keys', and the sparse-key strata read at or above the floor; the union stands as the gate; the both-unseen stratum (0.0113 / 0.0141; 27 / 29 of the 30 prompts) draws 0.3482 / 0.5379 of its positions from one test prompt (prompt 13); without that prompt the stratum reads +0.4907 / +0.3672 (the critic's unregistered leave-one-prompt-out, scratch, not evidence); the reported budgets DISAGREE with the label budget's readings and are said so: at B = 8 D_eq^COV +0.0642 [+0.0585, +0.0708] / +0.0672 [+0.0612, +0.0747] (SIGNAL / SIGNAL, no straddle), where Q1 would read COVERED-MATERIAL, and at B = 32 D_eq^COV +0.0136 [+0.0109, +0.0169] / +0.0145 [+0.0115, +0.0182] with D_eq^PT +0.0184 [+0.0147, +0.0225] / +0.0200 [+0.0159, +0.0251] and D_add^PT +0.0197 [+0.0160, +0.0239] / +0.0213 [+0.0171, +0.0264] all CI-positive below the floor, where Q2 would read PT-ABSORBS — on positions where the twin's own pooled margin was already CI-positive below the floor (+0.0261 / +0.0287; no material margin is shown there); the stage-2 strike is pinned to the label budget, which reads PT-SURVIVES, so no stage-2 sentence follows; where the margin sits is budget-dependent, and 'indicated, not settled' is the honest wording. At B = 16, D_eq^PT and D_pt agree on every scope's reading on both harvests; both match D_eq's per-scope readings except on the replication's two-to-four stratum, where D_eq reads SIGNAL (+0.0503) and D_eq^PT / D_pt read NOT-SHOWN (+0.0489 / +0.0484). 'The replication agrees' is seed robustness only: both harvests read the same 30 test prompts, and prompt 13 is the largest contributor to both-unseen on both. NON-CRITERION: F-26's labels and the twin's SURVIVES stand as computed; F-26's sentence 'nothing in this landing reads ADDRESS-BEYOND-TOKEN as context information in the address stream beyond free information or as support for the sideband premise' STANDS; no kill status or regime moves; no wall-clock, bytes or latency sentence (D-9; K-5 / K-6 stay UNTESTED). NEXT RUNG (unrun, unregistered): a free baseline whose encoding handles unseen and sparse keys (smoothed, hashed or embedding tables, the R2 of the plan of record), so the margin is read against a free arm that is never at the marginal and never a single train sample; and F-24's full-free block ((a) ++ TOK ++ z-scored h_a, stored in these harvests, F-23) as the stronger free arm for the p_t question — PT-SURVIVES says nothing about it. Runtimes 175.7 / 91.9 s of elapsed time; 110,448 / 111,696 state rows; critic recompute: see the block's OUTCOME.)

- status (2026-10-01; FREE-BIGRAM TWIN, the post-hoc diagnostic registered as the dated amendment "OQ-9 STAGE-1 FREE-BIGRAM TWIN REGISTRATION" in docs/BLUEPRINT.md before any readout of it ran, both runs from the clean freeze commit d55e62f; evidence results/real/prefetch_bigram_s3.json (primary) and results/real/prefetch_bigram_s3_r.json (replication), each with .meta.json and .state.jsonl; instrument tools/run_prefetch_bigram.py, which imports the frozen stage-1 instrument and refuses a modified one; tests/test_prefetch_bigram.py, tests/test_prefetch_bigram_landing.py): LABEL SURVIVES on the primary; the replication AGREES on the label and on both readings (a SEED replication on the same prompts; the primary's label is the label). On the bigram positions (t >= 1) at B = 16, j = 1 — PRIMARY: re-measured ADDRESS-BEYOND-TOKEN +0.1033 [+0.0927, +0.1146] against the committed +0.1032 (gap +0.0001; precondition HELD); FREE_BIGRAM = free_bigram_b (encoding prev_table) 0.8534 against free_tok 0.8110 and history_tok 0.9143; HISTORY_BIGRAM = history_bigram_b 0.9194; BIGRAM GAIN +0.0424 [+0.0407, +0.0441] (NOT-SHOWN); D_eq = history_tok - FREE_BIGRAM +0.0609 [+0.0514, +0.0712] (SIGNAL); D_add = HISTORY_BIGRAM - FREE_BIGRAM +0.0661 [+0.0569, +0.0762] (SIGNAL); the free previous token accounts for 0.4104 of the re-measured margin (point ratio); largest per-gate gain at gate 0 (+0.2201; next gate 1 +0.0890); gate 0 gain +0.2201, share of the summed gain 0.3245, cap 0.0203; per-gate gains min +0.0130 max +0.2201; REPORTED BUDGETS, in words as pinned: at B = 8 D_eq +0.0755 [+0.0677, +0.0838] (SIGNAL) and D_add +0.0837 [+0.0762, +0.0918] (SIGNAL); at B = 32 D_eq +0.0261 [+0.0194, +0.0336] and D_add +0.0275 [+0.0208, +0.0349] are CI-positive BELOW the floor (NOT-SHOWN by the rule, both; the label would read FREE-HISTORY at B = 32), as F-26's own margin was not material at B = 32 (+0.0405 / +0.0434). REPLICATION: re-measured ADDRESS-BEYOND-TOKEN +0.1074 [+0.0953, +0.1207] against the committed +0.1072 (gap +0.0002; precondition HELD); FREE_BIGRAM = free_bigram_b (encoding prev_table) 0.8449 against free_tok 0.8035 and history_tok 0.9109; HISTORY_BIGRAM = history_bigram_b 0.9155; BIGRAM GAIN +0.0414 [+0.0398, +0.0430] (NOT-SHOWN); D_eq = history_tok - FREE_BIGRAM +0.0659 [+0.0547, +0.0788] (SIGNAL); D_add = HISTORY_BIGRAM - FREE_BIGRAM +0.0705 [+0.0592, +0.0834] (SIGNAL); the free previous token accounts for 0.3858 of the re-measured margin (point ratio); largest per-gate gain at gate 0 (+0.2161; next gate 1 +0.0860); gate 0 gain +0.2161, share of the summed gain 0.3261, cap 0.0206; per-gate gains min +0.0111 max +0.2161; REPORTED BUDGETS, in words as pinned: at B = 8 D_eq +0.0817 [+0.0722, +0.0926] (SIGNAL) and D_add +0.0886 [+0.0793, +0.0993] (SIGNAL); at B = 32 D_eq +0.0287 [+0.0208, +0.0390] and D_add +0.0300 [+0.0221, +0.0404] are CI-positive BELOW the floor (NOT-SHOWN by the rule, both; the label would read FREE-HISTORY at B = 32), as F-26's own margin was not material at B = 32 (+0.0405 / +0.0434). PINNED SENTENCE: "the address block adds a material margin over an equal-dims free bigram block and the address stream adds a material margin over the free bigram at this reader (B = 16, j = 1)". IN THE PINNED WORDS: the address block adds +0.0609 [+0.0514, +0.0712] over an equal-dims free bigram block and +0.0661 [+0.0569, +0.0762] over the free bigram at this reader; the critic's bigram objection is answered at THIS ENCODING (two additive 1024-dim train tables), not for previous-token information in general. COVERAGE CAVEAT (a caveat on the interpretation; the mechanical label is not contested): on the test bigram positions the current-token key has no train count at a share 0.0549 (previous-token key 0.0551; either 0.0987; both 0.0113; token-only counts). F-26's HARD BOUND (D_eq - f) / (1 - f), which needs only that D_eq at a fallback position is at most 1, gives the D_eq on positions where BOTH keys are covered at least -0.0419 here (f the either-unseen share; with the current-token share alone, +0.0063), so the bound does NOT establish a material margin on covered keys. The critic's UNREGISTERED val-only stratified diagnostic at this landing (readers re-fit exactly as the instrument fits them and read at the payload's selected lambdas on the VAL bigram positions; pooled val reproduces the payload's val table to six decimals; test rows not read; re-run by the assistant with identical output; scratch only, NOT evidence) reads D_eq +0.0454 where both keys have a train count (0.9115 of val) — BELOW the floor — against +0.1844 where the current token is unseen, +0.1190 where the previous token is unseen and +0.4491 where both are; D_add +0.0511 on the covered positions. On the TEST rows (state-row arithmetic joined to token-only coverage): per-prompt D_eq tracks the per-prompt fallback share (r 0.787 with the current-token share, 0.817 with either key unseen); the fifteen prompts at or below the median share pool to D_eq +0.0429 against +0.0793 above it; D_eq is at or above the floor on 16 of 30 prompts (positive on 30; range +0.0313..+0.1431; F-26's margin cleared the floor on 30 of 30). READING: the material part of the surviving pooled margin sits where the free tables are blind — positions whose token key the train tables never saw: every fallback stratum on val reads D_eq +0.1190..+0.4491 against +0.0454 on covered positions. The diagnostic LOCATES the margin; it does not identify the mechanism. At unseen PREVIOUS tokens the location is consistent with the registered identity qualification (S[t] is the routing of the forward tokens[t-1] fed); at unseen CURRENT tokens — the largest stratum — S[t] was computed before tokens[t] was sampled and cannot expose that token's identity: it can carry only the forward's PREDICTION of the token (information the output distribution p_t holds, free under D-5; the harvest's stored mass16 / mass64 / entropy summaries of p_t were never in the prefetch free baseline — stage 1 read them only in the reported-only front-loading arm) or context. SURVIVES therefore holds at THIS ENCODING on the pooled positions as registered, and F-26's sentence 'nothing in this landing reads ADDRESS-BEYOND-TOKEN as context information in the address stream beyond free information or as support for the sideband premise' STANDS unchanged. NEXT RUNG (unrun, unregistered; this CORRECTS the rung the registration named): the STRATIFIED covered-against-fallback read of D_eq on the TEST split at the selected lambdas, with a free arm built from the harvest's mass16 / mass64 / entropy beside it (the critic's cheapest experiment: Bigram.fit plus a per-position mask, about 75 / 45 s of elapsed time on val) — its branches are pinned at that rung's own registration, not here; in outline, covered-position D_eq SIGNAL on the primary would retire this caveat and NOT-SHOWN would make its materiality a coverage effect at this encoding; the pair-keyed (true bigram) table named at registration has WORSE coverage and would move D_eq by this very location effect, so it is not the next rung; a longer free history (tokens[t-2]) shares the problem unless its encoding handles unseen keys; on the replication the same diagnostic reads covered-position D_eq +0.0472 (0.8634 of val), the hard bound -0.0128, r 0.804, the floor cleared on 17 of 30 prompts. TWIN-EXEMPTION ANCHORS: free_all - FREE_BIGRAM +0.0017 [+0.0015, +0.0020] and HISTORY_BIGRAM - history_tok +0.0052 [+0.0049, +0.0054], CI-clear positive — above the priced range's upper end (-0.0045..+3e-5) by about two orders of magnitude, one order below the floor rather than two (F-24's corrected twin helped the same way); the readings are unaffected (D_add - D_eq equals the second anchor exactly), the price was wrong; replication +0.0016 [+0.0014, +0.0019] and +0.0046 [+0.0043, +0.0049]. GATE-0 NOTE (the critic's; an unresolved alternative, not a finding): the statistics read here put gate 0 one forward behind gates 1-15 — its best key is tokens[t-1] where the others' is tokens[t]; in the stage-1 payload the intra-forward reader at gate 1, which reads gate 0 of the same stored forward, scores 0.6676, below the one-token table at gate 1 (0.7658) and below the previous forward's full routing (0.7422) — which 'gate 0 routes on the previous token' and 'the stored gate-0 slot lags one forward' predict equally well; neither leaks future information, gate 0's own D_eq is +0.0014 (its stage-1 margin +0.2208 almost fully absorbed), so the surviving D_eq sits at gates 1-15 and the label is unaffected; gate 0 contributes 0.0138 of the pooled gain +0.0424; replication gate 0 D_eq +0.0084, contribution 0.0135. NON-CRITERION: the mechanical labels of this finding (stage label, four readings) were computed on the registered arms and stand as computed; this line changes nothing in them and adds the standing of the sideband sentence at this encoding: the margin over the one-token table survives the free previous token at equal dims on the pooled positions, with the coverage caveat; the finding's 'nothing reads this as context or as support for the sideband premise' stands; D_add is never read as context; no wall-clock, bytes or latency sentence follows (D-9; K-5 / K-6 stay UNTESTED; runtimes are elapsed time of the instrument process (time.time), not latency numbers). PREDICTIONS SCORED: HEADLINE: both pinned modal expectations put D_eq below material; it read SIGNAL on the pooled positions, with the CI lower +0.0014 / +0.0047 above the floor, and below the floor on covered positions in the unregistered diagnostic (COVERAGE CAVEAT). THE CRITIC'S (2026-09-15): 'the margin drops to or below the +0.05 floor' -> D_eq +0.0609 [+0.0514, +0.0712] / +0.0659 [+0.0547, +0.0788] (SIGNAL / SIGNAL): FAILED / FAILED; 'driven by gate 0' -> argmax gate 0 / 0: HELD / HELD under the pinned argmax rule (a near-certain sub-clause given the committed per-gate margins, so it carries little weight); gate 0 contributes 0.0138 / 0.0135 of the pooled gain +0.0424 / +0.0414 against its cap 0.0203 / 0.0206 (share of the summed gain 0.3245 / 0.3261): the two halves of that prediction were close to incompatible — a drop to the floor needed at least 0.053 of pooled gain and gate 0 could supply at most 0.020 — an error the registration recorded before the run; the reading that gate 0 alone could not have carried a drop to the floor is correct. THE ASSISTANT'S (2026-10-01): (1) encoding (b) prev_table -> prev_table / prev_table: HELD / HELD; (2) FREE_BIGRAM 0.84..0.88 -> 0.8534 / 0.8449: HELD / HELD; (3) BIGRAM GAIN +0.03..+0.07 -> +0.0424 [+0.0407, +0.0441] / +0.0414 [+0.0398, +0.0430]: HELD / HELD; (4) gate 0 the largest gain, at least twice the next gate's and at least a quarter of the summed gain -> HELD (gate 0 +0.2201, 2.47x gate 1 +0.0890; share 0.3245) / HELD (gate 0 +0.2161, 2.51x gate 1 +0.0860; share 0.3261); (5) each of gates 1-15 between 0 and +0.04 -> FAILED / FAILED: 3 / 3 of 15 gates exceed +0.04 (gates 1, 2, 4 / 1, 2, 4; range +0.0130..+0.0890 / +0.0111..+0.0860); (6) D_eq +0.03..+0.08, NOT-SHOWN or a SIGNAL at the floor's edge -> +0.0609 [+0.0514, +0.0712] / +0.0659 [+0.0547, +0.0788] (SIGNAL / SIGNAL): HELD / HELD on the range; 'at the floor's edge' was never quantified — the CI lower sits +0.0014 / +0.0047 above the floor; (7) D_add +0.05..+0.09 SIGNAL -> +0.0661 [+0.0569, +0.0762] / +0.0705 [+0.0592, +0.0834] (SIGNAL / SIGNAL): HELD / HELD; (8) label COMPLEMENTARY most likely, SURVIVES the alternative -> SURVIVES / SURVIVES: MODAL MISSED; the named alternative occurred (not rounded to held — the F-26 'MISSED-HIGH, not rounded' precedent); (9) replication agrees on the label -> HELD; (10) precondition gap under 0.003 -> +0.0001 / +0.0002: HELD / HELD; (11) every lambda interior -> grid edges none / none: HELD / HELD. WOULD-SURPRISE LIST (primary / replication): D_eq at or above +0.10: no / no; D_eq NEGATIVE: no / no; D_add NOT-SHOWN: no / no; encoding (a) selected: no / no; largest gain not at gate 0: no / no; precondition gap above 0.005: no / no. CRITIC RECOMPUTE (2026-10-01): the sideband-critic recomputed every table (27 per harvest, pooled and per-gate, with CIs), every delta (30 per harvest) and every label field from the two state files with its own parser and bootstrap, re-deriving the FREE_BIGRAM encoding and all nine lambdas from the val tables: max abs discrepancy 0.0 over 1,993 numeric values on each harvest; the tool's --conclude-from exits 0 on both; 446 numbers quoted in the landing texts checked against the payloads and metas with 82 named-cell bindings, 0 misquotes; the sha bindings (instrument working copy = HEAD = both payloads = the landing test's pin; the frozen parent at 8529532d4d78; the twelve shard metas = the state headers = the bytes on disk; the committed cells on disk and at HEAD), the split (30 test prompts), the pairing (per-(prompt, gate) trials identical across all nine arms at every budget), the position counts (one anchor per row dropped, equal to the committed j = 2 counts) and the freeze-to-run timing (freeze 13:34:00, primary 13:34:18 to 13:38:37, replication 13:38:38 to 13:41:01, every landing edit after 13:42) confirmed; leakage none found. THREE BLOCKING objections, applied as one batch: a guard test that went red once the payload existed (fixed in the test, never in the instrument); the pinned B = 32 reading not said in words (now said, with B = 8); the COVERAGE CAVEAT above, which the SURVIVES texts had shipped without (now carried on every text with the hard bound, the critic's unregistered diagnostic named as such and re-run by the assistant with identical output, and the next rung corrected). Advisories applied: the prediction scoring's units (gate 0's contribution against its cap, not the share), '3 of 15 gates', the CI-lower distances, 'MODAL MISSED', the plain headline; the twin-exemption anchors outside their priced range; the gate-0 alignment alternative recorded; the landing test's comment, fail-on-missing and gate-0 pin; the count words in CLAUDE.md and SHARP_EDGES; 'elapsed time' for the runtime. Nothing declined. SECOND PASS (the same day, a scoped text check of the batch): 659 numbers and 122 named-cell bindings checked, 0 misquotes; the three blockers confirmed closed; every 'context' / 'premise' occurrence a negation; ONE BLOCKING objection the batch had introduced, applied: the caveat's READING asserted a mechanism — an identity channel — that the diagnostic never measured, and misapplied it at unseen CURRENT tokens, where S[t] predates the token and can carry only the forward's prediction of it (free as p_t) or context; the READING now locates the margin without naming its mechanism, and the next rung gains a free arm from the stored p_t summaries. Advisories applied: the 'can only inflate D_eq' deduction replaced by the measured strata; the hard bound recomputed for the both-covered set (either-unseen share); 'coverage artefact' replaced by 'materiality a coverage effect' with the branch deferred to that rung's registration; 'opposite sign' replaced by 'above the priced range'; 'every statistic' by 'the statistics read here'; the replication's duplicated caveat paragraph trimmed to its numbers; the two remaining 'CPU time' phrases. Nothing declined. Full outcome: the OUTCOME paragraph of the amendment block in docs/BLUEPRINT.md.

| F-26 | 2026-09-15 | OQ-9 STAGE 1 (the prefetch half; NON-CRITERION, a K-6 datum): on the OLMoE S3 harvests the router address stream is a prefetch source with headroom over the recency cache (HISTORY +0.2867 / +0.2901) and a material margin over the free input token alone (ADDRESS-BEYOND-TOKEN +0.1032 [+0.0926, +0.1146] / +0.1072 [+0.0952, +0.1206] at B = 16 of 64, j = 1; below the +0.05 floor at B = 32, j = 1); INTRA-FORWARD +0.4861 / +0.4816; DRAFT ceiling (horizon 2) +0.1556 / +0.1545; stage PREFETCH-HEADROOM, the seed replication agrees on every label | stands (NON-CRITERION; K-6 stays UNTESTED; prior art occupies every cell); DATED STATUS 2026-10-01: the equal-dims free-bigram twin reads SURVIVES at that encoding (D_eq +0.0609 [+0.0514, +0.0712] / +0.0659 [+0.0547, +0.0788]; D_add +0.0661 / +0.0705; below the floor at B = 32, j = 1) with the coverage caveat (covered-key D_eq +0.0454 / +0.0472 on val in an unregistered diagnostic), read neither as context nor as support for the sideband premise; the stratified test-split read is the named, unregistered next rung; DATED STATUS 2026-10-16 (derived-ledger levelling, image audit 2026-10-15 section B item 6; the entry's status lines are the record): the stratified test-split read ran on 2026-10-02 as a registered post-hoc diagnostic (FALLBACK-LOCATED / PT-SURVIVES), the generalising free baseline R2 on 2026-10-03 (R2-FALLBACK-SURVIVES / H-ABSORBS, stage 2's address-beyond-free motivation STRUCK) and the horizon read on 2026-10-04 (LEAD-TIME-ABSORBED; OQ-9's prefetch half closes at this reader); the ladder is closed |

| F-25 | 2026-09-14 | [read under the 2026-09-07 rider amendment after the registered rider fired at S1 L3 (raw leg 2 +0.0132 against the 0.01 band); diagnostic branch AMENDABLE, mechanism TWIN-MATCHED; a post-hoc reroute around a fired kill condition: the leg that fired was replaced after the fire by a twin-referenced dependence-excess leg whose S1 seed-0 values at both spaces were known from the diagnostic payload when the amendment was written; it is a fresh test only at the other three harvests; the E leg sees every non-causal block the raw leg sees (the twin lacks it) and is sharper under a drifted reader; what it drops (prediction-marginal drift and twin-shared position information) are non-leaks; S1 diagnostic X_raw at seed 0 +0.0006, the registered statistic, twin-referenced, would also have passed] OQ-18 COARSE-LABEL FULL-FREE RE-TEST at L2 / L3, both sources, both harvests: S1 L2 ABSORBED; S1 L3 NOT-SHOWN; S3 L2 ABSORBED; S3 L3 SPLIT (every L3 label read at the L3 group lens (S1: one mega-group of 455/510 concepts including all 165 zero-degree concepts, the next group 10; S3: two mega-groups of 268 and 193 = 461/510 including all 20 zero-degree concepts)) at the registered reader with the corrected twin; prediction 3/4 held | stands; registered-reader scope; consequences executed on F-15 / F-17 / F-16 / F-18 / K-2 as pinned; DATED NOTE 2026-10-05 (F-28, STAGE LENS): through a balanced lens at S3 L3 the same cell reads ABSORBED with D +0.0019 [+0.0006, +0.0032] / +0.0004 [-0.0011, +0.0018], Mt +0.0042 [+0.0025, +0.0061] / +0.0021 [+0.0002, +0.0041] and Mn_r +0.0023 [+0.0010, +0.0038] / +0.0017 [-0.0000, +0.0035] (OFF3-ABSORBED, OFF4-ABSORBED) — the corrected twin point-positive on both harvests, CI-clear on the primary only at this lens, where it cost -0.0031 / -0.0067 at the lopsided one; the SPLIT at the lopsided lens stands as registered; DATED NOTE 2026-10-05 (F-28, STAGE READERS): the S3 L3 cell under the stronger readers — at the lopsided lens R-N (hz-rescaled) SURVIVES-STRONGER (EQUAL-DIMS-ONLY: Mt -0.0041 [-0.0063, -0.0018] / -0.0015 [-0.0055, +0.0029], Mn_r -0.0121 [-0.0141, -0.0100] / -0.0144 [-0.0173, -0.0116]; the fire is the twin's larger cost) (D +0.0080 [+0.0062, +0.0097] / +0.0130 [+0.0095, +0.0169]), R-T (two-tower) ABSORBED (D +0.0012 [-0.0003, +0.0026] / +0.0008 [-0.0006, +0.0023]; Mt +0.0011 [-0.0004, +0.0024] / -0.0019 [-0.0034, -0.0004]; Mn_r -0.0001 [-0.0015, +0.0014] / -0.0027 [-0.0045, -0.0009]); at the balanced lens R-N (hz-rescaled) NOT-SHOWN (D +0.0040 [+0.0025, +0.0054] / +0.0045 [+0.0027, +0.0061]; Mn_r -0.0046 [-0.0062, -0.0031] / -0.0071 [-0.0087, -0.0056]), R-T (two-tower) ABSORBED (D +0.0015 [+0.0003, +0.0027] / +0.0013 [-0.0002, +0.0028]); K-2 at S3 L3 stays OPEN at the registered reader (the SPLIT stands as registered); the K-2 word at S3 K-2-ISOLATED (from the R-N (hz-rescaled) cell at the lopsided L3; L1 itself ABSORBED under both readers); DATED NOTE 2026-10-09 (F-28, STAGE READERS-LONG): the S3 L3 cell under the longer-budget reader — at the lopsided lens R-L (longer budget) SURVIVES-STRONGER (EQUAL-DIMS-ONLY: Mt +0.0023 [+0.0008, +0.0038] / +0.0031 [+0.000336, +0.0058], Mn_r -0.0028 [-0.0043, -0.0011] / -0.0023 [-0.0045, -0.000098]; the fire is inflated by the twin's own cost) (D +0.005107 [+0.0034, +0.0069] / +0.005410 [+0.0034, +0.0078]); at the balanced lens R-L (longer budget) ABSORBED (D +0.0015 [+0.000220, +0.0029] / +0.0005 [-0.0007, +0.0018]; Mn_r +0.0010 [-0.000028, +0.0020] / +0.0012 [-0.000403, +0.0029]); K-2 at S3 L3 stays OPEN at the registered reader (the SPLIT stands as registered); the FINAL K-2 word at S3 over both reader stages K-2-ISOLATED |

- [read under the 2026-09-07 rider amendment after the registered rider fired at S1 L3 (raw leg 2 +0.0132 against the 0.01 band); diagnostic branch AMENDABLE, mechanism TWIN-MATCHED; a post-hoc reroute around a fired kill condition: the leg that fired was replaced after the fire by a twin-referenced dependence-excess leg whose S1 seed-0 values at both spaces were known from the diagnostic payload when the amendment was written; it is a fresh test only at the other three harvests; the E leg sees every non-causal block the raw leg sees (the twin lacks it) and is sharper under a drifted reader; what it drops (prediction-marginal drift and twin-shared position information) are non-leaks; S1 diagnostic X_raw at seed 0 +0.0006, the registered statistic, twin-referenced, would also have passed] DATED ERRATUM (2026-09-14; F-25, OQ-18): at L2 (offsets 2-3) the phrase "beyond the strongest free baseline" is corrected to "beyond the 657-summary PROXY of the free baseline; NOT beyond the full free baseline at the registered reader at the registered budget (OQ-18; every D CI95 upper below +0.005 on both harvests)" (F-25). Gate D +0.0011 [-0.0001, +0.0023] / +0.0006 [-0.0007, +0.0020] (per seed +0.0004 / -0.0002 / +0.0031 / +0.0003 / +0.0003 / +0.0012) with Mt +0.0015 [-0.0007, +0.0038] / +0.0022 [+0.0001, +0.0041] and Mn_r +0.0004 [-0.0019, +0.0025] / +0.0016 [-0.0004, +0.0035] beside it; linear off2 D +0.0016 [+0.0006, +0.0025] / +0.0022 [+0.0003, +0.0039]; horizons off3: OFF3-ABSORBED. The claim against the proxy stands as written; the L1 verdict (F-24) is untouched.

- [read under the 2026-09-07 rider amendment after the registered rider fired at S1 L3 (raw leg 2 +0.0132 against the 0.01 band); diagnostic branch AMENDABLE, mechanism TWIN-MATCHED; a post-hoc reroute around a fired kill condition: the leg that fired was replaced after the fire by a twin-referenced dependence-excess leg whose S1 seed-0 values at both spaces were known from the diagnostic payload when the amendment was written; it is a fresh test only at the other three harvests; the E leg sees every non-causal block the raw leg sees (the twin lacks it) and is sharper under a drifted reader; what it drops (prediction-marginal drift and twin-shared position information) are non-leaks; S1 diagnostic X_raw at seed 0 +0.0006, the registered statistic, twin-referenced, would also have passed] DATED ERRATUM (2026-09-14; F-25, OQ-18; wording only): at L3 (offsets 2-3) "beyond the strongest free baseline" becomes "beyond the 657-summary proxy; not re-demonstrated against the full free baseline at this power at L3 (OQ-18)" (F-25) at the L3 group lens (S1: one mega-group of 455/510 concepts including all 165 zero-degree concepts, the next group 10). Gate D +0.0010 [-0.0006, +0.0026] / +0.0012 [-0.0015, +0.0040] (per seed -0.0019 / -0.0015 / +0.0065 / +0.0012 / -0.0006 / +0.0031) with Mt +0.0013 [-0.0010, +0.0037] / +0.0028 [-0.0001, +0.0059] and Mn_r +0.0003 [-0.0019, +0.0026] / +0.0015 [-0.0013, +0.0044] beside it; linear off2 D -0.0028 [-0.0052, -0.0005] / +0.0029 [-0.0007, +0.0063]; horizons off3: OFF3-NOT-SHOWN. K-2 is OPEN at the full-free level at L3; no kill is claimed.

- [read under the 2026-09-07 rider amendment after the registered rider fired at S1 L3 (raw leg 2 +0.0132 against the 0.01 band); diagnostic branch AMENDABLE, mechanism TWIN-MATCHED; a post-hoc reroute around a fired kill condition: the leg that fired was replaced after the fire by a twin-referenced dependence-excess leg whose S1 seed-0 values at both spaces were known from the diagnostic payload when the amendment was written; it is a fresh test only at the other three harvests; the E leg sees every non-causal block the raw leg sees (the twin lacks it) and is sharper under a drifted reader; what it drops (prediction-marginal drift and twin-shared position information) are non-leaks; S1 diagnostic X_raw at seed 0 +0.0006, the registered statistic, twin-referenced, would also have passed] DATED NOTE (2026-09-14; F-25, OQ-18): the mechanism reading is moot for the S1 L2 margin at the registered reader (ABSORBED by the full free baseline; every D CI95 upper below +0.005 on both harvests); not rewritten.

- [read under the 2026-09-07 rider amendment after the registered rider fired at S1 L3 (raw leg 2 +0.0132 against the 0.01 band); diagnostic branch AMENDABLE, mechanism TWIN-MATCHED; a post-hoc reroute around a fired kill condition: the leg that fired was replaced after the fire by a twin-referenced dependence-excess leg whose S1 seed-0 values at both spaces were known from the diagnostic payload when the amendment was written; it is a fresh test only at the other three harvests; the E leg sees every non-causal block the raw leg sees (the twin lacks it) and is sharper under a drifted reader; what it drops (prediction-marginal drift and twin-shared position information) are non-leaks; S1 diagnostic X_raw at seed 0 +0.0006, the registered statistic, twin-referenced, would also have passed] DATED ERRATUM (2026-09-14; F-25, OQ-18): at L2 (offsets 2-3) the phrase "beyond the strongest free baseline" is corrected to "beyond the 657-summary PROXY of the free baseline; NOT beyond the full free baseline at the registered reader at the registered budget (OQ-18; every D CI95 upper below +0.005 on both harvests)" (F-25). Gate D +0.0018 [+0.0008, +0.0030] / +0.0003 [-0.0009, +0.0013] (per seed +0.0010 / +0.0024 / +0.0021 / -0.0001 / -0.0002 / +0.0011) with Mt +0.0021 [+0.0007, +0.0034] / +0.0018 [-0.0000, +0.0036] and Mn_r +0.0003 [-0.0011, +0.0015] / +0.0015 [-0.0002, +0.0031] beside it; linear off2 D +0.0010 [+0.0002, +0.0017] / +0.0002 [-0.0009, +0.0014]; horizons off3: OFF3-ABSORBED. acc(fplus, mlp256) - floor per seed +0.0329 / +0.0333 / +0.0340 (primary), +0.0265 / +0.0294 / +0.0305 (replication). The claim against the proxy stands as written; the L1 verdict (F-24) is untouched.

- [read under the 2026-09-07 rider amendment after the registered rider fired at S1 L3 (raw leg 2 +0.0132 against the 0.01 band); diagnostic branch AMENDABLE, mechanism TWIN-MATCHED; a post-hoc reroute around a fired kill condition: the leg that fired was replaced after the fire by a twin-referenced dependence-excess leg whose S1 seed-0 values at both spaces were known from the diagnostic payload when the amendment was written; it is a fresh test only at the other three harvests; the E leg sees every non-causal block the raw leg sees (the twin lacks it) and is sharper under a drifted reader; what it drops (prediction-marginal drift and twin-shared position information) are non-leaks; S1 diagnostic X_raw at seed 0 +0.0006, the registered statistic, twin-referenced, would also have passed] DATED STATUS (2026-09-14; F-25, OQ-18): at L3 (offsets 2-4) the claim against the proxy stands; against the FULL free baseline it is OPEN — SPLIT, the gate fired on the replication harvest only at the L3 group lens (S3: two mega-groups of 268 and 193 = 461/510 including all 20 zero-degree concepts): Gate D +0.0041 [+0.0026, +0.0055] / +0.0053 [+0.0019, +0.0091] (per seed +0.0025 / +0.0033 / +0.0064 / +0.0029 / +0.0071 / +0.0059) with Mt +0.0010 [-0.0012, +0.0030] / -0.0014 [-0.0041, +0.0016] and Mn_r -0.0031 [-0.0053, -0.0010] / -0.0067 [-0.0090, -0.0042] beside it; linear off2 D +0.0073 [+0.0050, +0.0095] / +0.0049 [+0.0022, +0.0078]; horizons off3: OFF3-SURVIVES, off4: OFF4-NOT-SHOWN. No relabeling either way; a third harvest is the only resolution and is not authorized.

- [read under the 2026-09-07 rider amendment after the registered rider fired at S1 L3 (raw leg 2 +0.0132 against the 0.01 band); diagnostic branch AMENDABLE, mechanism TWIN-MATCHED; a post-hoc reroute around a fired kill condition: the leg that fired was replaced after the fire by a twin-referenced dependence-excess leg whose S1 seed-0 values at both spaces were known from the diagnostic payload when the amendment was written; it is a fresh test only at the other three harvests; the E leg sees every non-causal block the raw leg sees (the twin lacks it) and is sharper under a drifted reader; what it drops (prediction-marginal drift and twin-shared position information) are non-leaks; S1 diagnostic X_raw at seed 0 +0.0006, the registered statistic, twin-referenced, would also have passed] DATED NOTE (2026-09-14; F-25, OQ-18): the mechanism reading is moot for the S3 L2 margin at the registered reader (ABSORBED by the full free baseline; every D CI95 upper below +0.005 on both harvests); not rewritten.

- amendment: [read under the 2026-09-07 rider amendment after the registered rider fired at S1 L3 (raw leg 2 +0.0132 against the 0.01 band); diagnostic branch AMENDABLE, mechanism TWIN-MATCHED; a post-hoc reroute around a fired kill condition: the leg that fired was replaced after the fire by a twin-referenced dependence-excess leg whose S1 seed-0 values at both spaces were known from the diagnostic payload when the amendment was written; it is a fresh test only at the other three harvests; the E leg sees every non-causal block the raw leg sees (the twin lacks it) and is sharper under a drifted reader; what it drops (prediction-marginal drift and twin-shared position information) are non-leaks; S1 diagnostic X_raw at seed 0 +0.0006, the registered statistic, twin-referenced, would also have passed] RIDER REPORT under the amendment (leg 1 passed and the amended leg 2 passed at all eight harvest x space cells; the REGISTERED raw leg 2 is REPORTED, never halting): S1 L2 raw +0.0024, amended dE_br +0.0005 [-0.0001, +0.0011]; S1 L3 raw +0.0132 (ABOVE the band), amended dE_br +0.0026 [-0.0004, +0.0054]; S1_r L2 raw +0.0105 (ABOVE the band), amended dE_br -0.0005 [-0.0011, +0.0002]; S1_r L3 raw -0.0024, amended dE_br -0.0017 [-0.0046, +0.0012]; S3 L2 raw -0.0001, amended dE_br +0.0001 [-0.0000, +0.0002]; S3 L3 raw +0.0020, amended dE_br +0.0007 [-0.0021, +0.0038]; S3_r L2 raw +0.0014, amended dE_br +0.0001 [-0.0000, +0.0001]; S3_r L3 raw -0.0007, amended dE_br +0.0007 [-0.0023, +0.0040]. At S1 L3, the cell the reroute was written around, the amended pass is NOT a CI-clear null: dE_br +0.0026 has upper +0.0054, at or above the +0.005 materiality floor, the only cell of eight where that holds; it passes because its lower bound -0.0004 is below zero. The diagnostic's pooled seeds 0-2 at that cell read dE_br +0.0018 [-0.0004, +0.0039] (upper below the floor, lower below zero): a power statement, not an exclusion. The registered raw leg is above its 0.01 band at TWO cells: S1 L3 (+0.0132, the fire that stopped the registered run) and S1_r L2 (+0.0105). COUNTERFACTUAL, stated as one: the frozen instrument was never run on the S1 replication; its grid trains a space's shuffled cells first and its rider raises SystemExit on a leg-2 fail before that space's first unshuffled cell, and the retrained shuffled rows in the committed state files reproduce the frozen runs' accuracies exactly (all 18 retrained rows across S1, S3 and S3_r equal their frozen rows' test_acc, max abs diff 0.0; S1 L3 seed 0 dE_br +0.0026 = the diagnostic's), so under the frozen rider the S1 replication WOULD HAVE halted at L2 and OQ-18 would have had NO S1 label. The amended leg at S1_r L2 reads dE_br -0.0005 [-0.0011, +0.0002] with the aligned arm's own dependence excess over fplus -0.0009: raw up, dependence down — prediction-marginal drift, one of the two non-leak mechanisms the amendment named (the S1 L3 fire itself read TWIN-MATCHED); this is the one place the reroute is exercised as a FRESH test, and the registered statistic fired there on drift alone. DIRECTION OF THE REROUTE, for the record: the registered instrument would have read no S1 label; the amendment enabled reading a kill-extension (S1 L2 ABSORBED, K-2 FIRED at L2) and a NOT-SHOWN, not a survival. RUNS: S1 primary resumed from the fired run's committed state file (resumed_cells 30, retrained_shuffled_rows 6); S1 replication fresh (resumed_cells 0); S3 primary and replication resumed from their frozen-instrument runs (resumed_cells 69 / 69, retrained_shuffled_rows 6 / 6) with the frozen-instrument payloads preserved, NEVER concluded, as results/real/fullfree_coarse_s3.rider_v1.json (sha 8fc04f277c72...) and fullfree_coarse_s3_r.rider_v1.json (sha 33e73c080f94...). ATTESTATION: all four payloads record HEAD 3ec1064-dirty over exactly the one licensed tracked modification (the S1 state file's own append), git_status_licensed true; amended instrument sha aafd3ae84998... importing the frozen instrument byte-identical (sha 5efa7063767b...); labels read only through the amended --conclude-from, which refuses v1 payloads and unlicensed attestations. PROCESS NOTE (disclosed, not omitted): before the S1 conclude ran, a key-scrubbed print of the S1 primary payload's rider block overran into the S1 L2 gate row (its fire flag and D margins were seen); no label string and no v1 payload were read; the labels, the conclude step and the pinned texts are mechanical and unaffected.

- source: results/real/fullfree_coarse_s1.json, fullfree_coarse_s1.json.state.jsonl, fullfree_coarse_s1_r.json, fullfree_coarse_s1_r.json.state.jsonl, fullfree_coarse_s3.json, fullfree_coarse_s3.json.state.jsonl, fullfree_coarse_s3_r.json, fullfree_coarse_s3_r.json.state.jsonl (sha-header bound to their harvests; committed with this finding); tools/run_fullfree_coarse_amended.py (the amended instrument, sha aafd3ae84998..., importing tools/run_fullfree_coarse.py byte-identical at its frozen sha) and tests/test_fullfree_coarse_amended.py (the committed amended payloads reproduce their own conclusion, resume plan, attestation and v1 preservation; the frozen test file skips amended payloads by a dated note); results/real/fullfree_coarse_s3.rider_v1.json, fullfree_coarse_s3_r.rider_v1.json (frozen-instrument payloads, preserved, never concluded); results/real/oq18_rider_diag_s1.json + state file and docs/OQ18_RIDER_DIAGNOSTIC.md (the fire's diagnostic); results/real/oq18_rider_poscontrol_s1.json + state file and docs/OQ18_RIDER_POSCONTROL.md (the positive control); docs/BLUEPRINT.md dated amendment bullet (2026-09-07 / 2026-09-13); docs/BLUEPRINT.md OQ-18 registration and OUTCOME blocks; the committed Phase-3 state files for the paired linear cells (results/real/probes_s1{,_replication}.json.state.jsonl, probes_s3{,_replication}.json.state.jsonl).

- finding: [read under the 2026-09-07 rider amendment after the registered rider fired at S1 L3 (raw leg 2 +0.0132 against the 0.01 band); diagnostic branch AMENDABLE, mechanism TWIN-MATCHED; a post-hoc reroute around a fired kill condition: the leg that fired was replaced after the fire by a twin-referenced dependence-excess leg whose S1 seed-0 values at both spaces were known from the diagnostic payload when the amendment was written; it is a fresh test only at the other three harvests; the E leg sees every non-causal block the raw leg sees (the twin lacks it) and is sharper under a drifted reader; what it drops (prediction-marginal drift and twin-shared position information) are non-leaks; S1 diagnostic X_raw at seed 0 +0.0006, the registered statistic, twin-referenced, would also have passed] MECHANICAL LABELS per (source, space), both harvests, registered reader at the registered budget: S1 L2 ABSORBED; S1 L3 NOT-SHOWN; S3 L2 ABSORBED; S3 L3 SPLIT (every L3 label read at the L3 group lens (S1: one mega-group of 455/510 concepts including all 165 zero-degree concepts, the next group 10; S3: two mega-groups of 268 and 193 = 461/510 including all 20 zero-degree concepts)). S1 L2: ABSORBED. Gate D +0.0011 [-0.0001, +0.0023] / +0.0006 [-0.0007, +0.0020] (per seed +0.0004 / -0.0002 / +0.0031 / +0.0003 / +0.0003 / +0.0012) with Mt +0.0015 [-0.0007, +0.0038] / +0.0022 [+0.0001, +0.0041] and Mn_r +0.0004 [-0.0019, +0.0025] / +0.0016 [-0.0004, +0.0035] beside it; linear off2 D +0.0016 [+0.0006, +0.0025] / +0.0022 [+0.0003, +0.0039]; horizons off3: OFF3-ABSORBED. DATED NOTE 2026-10-16 (image audit 2026-10-15, section B item 2; docs/audits/2026-10-15-image-audit/seed_var.py rebuilds every interval of this entry from the committed state files to 1e-12 and brackets each with three seed-inclusive approximations; NON-CRITERION, no label moves): every interval here is a prompt-cluster bootstrap over counts summed across the three train seeds, so it is conditional on the three trained probes per arm, and the registered all-seeds rule protects the fire direction only. The deciding row of S1 L2 ABSORBED, the replication's linear off2 D +0.0022 [+0.0003, +0.0039] (per seed +0.0050 / +0.0009 / +0.0006), reads [-0.0012, +0.0055] under the finder's normal combination of the bootstrap and seed SEs, [-0.00065, +0.00498] under an interaction-corrected method of moments (that upper stays just below the floor) and [-0.0002, +0.0064] under a prompt x seed pigeonhole bootstrap: its upper reaches the +0.005 floor under two of the three, so S1 L2 ABSORBED is seed-sensitive at that row; the S3 L2 D uppers stay below the floor under all three (largest +0.0032 / +0.0030 / +0.0035) and the S3 L3 replication gate cell's D lower stays above zero under all three (+0.0009 / +0.0017 / +0.0006; SPLIT stands); the primary S3 L3 Mn_r -0.0031 [-0.0053, -0.0010], on which the post-hoc "same shape" sentence below rests, reads [-0.0075, +0.0014] / [-0.0071, +0.0010] / [-0.0072, +0.0010], its upper above zero under all three (the replication's stays below zero), and the off3 and off4 Mt rows were not bracketed. Three seeds give two degrees of freedom: the component is bracketed, not measured; measuring it needs a newly registered multi-seed run. S1 L3: NOT-SHOWN at the L3 group lens (S1: one mega-group of 455/510 concepts including all 165 zero-degree concepts, the next group 10). Gate D +0.0010 [-0.0006, +0.0026] / +0.0012 [-0.0015, +0.0040] (per seed -0.0019 / -0.0015 / +0.0065 / +0.0012 / -0.0006 / +0.0031) with Mt +0.0013 [-0.0010, +0.0037] / +0.0028 [-0.0001, +0.0059] and Mn_r +0.0003 [-0.0019, +0.0026] / +0.0015 [-0.0013, +0.0044] beside it; linear off2 D -0.0028 [-0.0052, -0.0005] / +0.0029 [-0.0007, +0.0063]; horizons off3: OFF3-NOT-SHOWN. S3 L2: ABSORBED. Gate D +0.0018 [+0.0008, +0.0030] / +0.0003 [-0.0009, +0.0013] (per seed +0.0010 / +0.0024 / +0.0021 / -0.0001 / -0.0002 / +0.0011) with Mt +0.0021 [+0.0007, +0.0034] / +0.0018 [-0.0000, +0.0036] and Mn_r +0.0003 [-0.0011, +0.0015] / +0.0015 [-0.0002, +0.0031] beside it; linear off2 D +0.0010 [+0.0002, +0.0017] / +0.0002 [-0.0009, +0.0014]; horizons off3: OFF3-ABSORBED. acc(fplus, mlp256) - floor per seed +0.0329 / +0.0333 / +0.0340 (primary), +0.0265 / +0.0294 / +0.0305 (replication). S3 L3: SPLIT at the L3 group lens (S3: two mega-groups of 268 and 193 = 461/510 including all 20 zero-degree concepts). Gate D +0.0041 [+0.0026, +0.0055] / +0.0053 [+0.0019, +0.0091] (per seed +0.0025 / +0.0033 / +0.0064 / +0.0029 / +0.0071 / +0.0059) with Mt +0.0010 [-0.0012, +0.0030] / -0.0014 [-0.0041, +0.0016] and Mn_r -0.0031 [-0.0053, -0.0010] / -0.0067 [-0.0090, -0.0042] beside it; linear off2 D +0.0073 [+0.0050, +0.0095] / +0.0049 [+0.0022, +0.0078]; horizons off3: OFF3-SURVIVES, off4: OFF4-NOT-SHOWN. PREDICTION CHECK (pinned before the smokes): S1 L2 predicted ABSORBED, read ABSORBED (held); S1 L3 predicted NOT-SHOWN, read NOT-SHOWN (held); S3 L2 predicted ABSORBED, read ABSORBED (held); S3 L3 predicted SURVIVES-FULL-FREE, read SPLIT (FAILED) — 3 of 4 held. SUB-CLAUSES of the pinned prediction, scored: S1 L2 gate D within +/-0.003 of zero HELD (+0.0011 / +0.0006); every D upper below the floor HELD; Mt +0.002..+0.006 FAILED on the primary (+0.0015) and HELD on the replication (+0.0022). S1 L3 gate D point below +0.005 with at least one D upper at or above it HELD. S3 L3 SURVIVES at off2 with D +0.005..+0.020 on both harvests and Mt positive FAILED (read SPLIT: primary D +0.0041, replication Mt -0.0014); OFF3-NOT-SHOWN or OFF3-SURVIVES HELD (OFF3-SURVIVES); OFF4-ABSORBED FAILED (OFF4-NOT-SHOWN: replication off4 D +0.0035 [+0.0009, +0.0064]). Mf CI-clear positive at every gate cell HELD (lowers S1 L2 +0.0371, S1 L3 +0.0804, S1_r L2 +0.0350, S1_r L3 +0.0724, S3 L2 +0.0268, S3 L3 +0.0830, S3_r L2 +0.0219, S3_r L3 +0.0765). S3 L3 SPLIT was named in advance among the outcomes that would surprise. PROVENANCE: fullfree_coarse_s1.json: git 3ec10645a8e1, 60 trained cells, resumed 30, hz moments == committed OQ-17 True; fullfree_coarse_s1_r.json: git 3ec10645a8e1, 60 trained cells, resumed 0, hz moments == committed OQ-17 True; fullfree_coarse_s3.json: git 3ec10645a8e1, 69 trained cells, resumed 69, hz moments == committed OQ-17 True; fullfree_coarse_s3_r.json: git 3ec10645a8e1, 69 trained cells, resumed 69, hz moments == committed OQ-17 True. PRECONDITIONS AND RIDERS: fullfree_coarse_s1.json L2: rider PASS, reader valid, min gate acc - floor +0.0115, Mf upper +0.0557, Mf_x +0.0477, best epochs {'fplus': [0, 0, 1], 'fplus_b': [0, 1, 1], 'fplus_r': [0, 1, 1], 'a': [9, 12, 22]}; fullfree_coarse_s1.json L3: rider PASS, reader valid, min gate acc - floor +0.0643, Mf upper +0.0946, Mf_x +0.0961, best epochs {'fplus': [2, 2, 4], 'fplus_b': [2, 2, 2], 'fplus_r': [0, 2, 2], 'a': [15, 29, 29]}; fullfree_coarse_s1_r.json L2: rider PASS, reader valid, min gate acc - floor +0.0074, Mf upper +0.0527, Mf_x +0.0433, best epochs {'fplus': [0, 1, 1], 'fplus_b': [1, 1, 1], 'fplus_r': [1, 1, 1], 'a': [9, 12, 14]}; fullfree_coarse_s1_r.json L3: rider PASS, reader valid, min gate acc - floor +0.0646, Mf upper +0.0931, Mf_x +0.0912, best epochs {'fplus': [1, 2, 2], 'fplus_b': [1, 1, 2], 'fplus_r': [1, 2, 2], 'a': [16, 25, 29]}; fullfree_coarse_s3.json L2: rider PASS, reader valid, min gate acc - floor +0.0015, Mf upper +0.0366, Mf_x +0.0311, best epochs {'fplus': [1, 1, 1], 'fplus_b': [1, 1, 1], 'fplus_r': [1, 1, 1], 'a': [14, 19, 19]}; fullfree_coarse_s3.json L3: rider PASS, reader valid, min gate acc - floor +0.1087, Mf upper +0.1005, Mf_x +0.1153, best epochs {'fplus': [1, 1, 1], 'fplus_b': [1, 1, 1], 'fplus_r': [1, 1, 1], 'a': [19, 22, 25]}; fullfree_coarse_s3_r.json L2: rider PASS, reader valid, min gate acc - floor +0.0016, Mf upper +0.0325, Mf_x +0.0270, best epochs {'fplus': [1, 1, 1], 'fplus_b': [1, 1, 2], 'fplus_r': [1, 1, 2], 'a': [6, 7, 11]}; fullfree_coarse_s3_r.json L3: rider PASS, reader valid, min gate acc - floor +0.1042, Mf upper +0.0956, Mf_x +0.1038, best epochs {'fplus': [1, 1, 1], 'fplus_b': [1, 2, 2], 'fplus_r': [1, 2, 2], 'a': [21, 23, 29]}. CONSEQUENCES EXECUTED per the pinned rules, dated, never rewrites: the per-space bullets on F-15 / F-17, the K-2 STATUS block, the F-16 / F-18 notes where ABSORBED, the scorecard cells, the REPORT / README notes, the OQ-18 OUTCOME texts.

| F-24 | 2026-09-06 | OQ-17 FULL-FREE EXISTENCE RE-TEST: F-15 and F-17 margins ABSORBED by the full free baseline ((a) ++ hashed token ids ++ z-scored h_a) at the registered reader at the pinned L1 offset-2 cells of both sources — gate D S1 +0.0002 [-0.0012, +0.0015] / +0.0012 [-0.0003, +0.0028], S3 +0.0003 [-0.0013, +0.0020] / +0.0001 [-0.0019, +0.0021], every D upper below +0.005, Mt about +0.003 beside it; prediction failed on both sources; corrected twin TWIN-ROBUST (S1) / TWIN-ROBUST (S3) | stands (criterion-bearing for F-15 / F-17 through the pinned OQ-17 consequence rules; critic-recomputed three times); DATED NOTE 2026-10-05 (F-28, STAGE READERS): the S3 L1 kill re-tested under the hz-rescaled and two-tower readers — R-N (hz-rescaled) ABSORBED (D +0.0030 [+0.0016, +0.0045] / +0.0032 [+0.0016, +0.004951]; Mt -0.0016 [-0.0033, +0.0001] / -0.0005 [-0.0022, +0.0014]; Mn_r -0.0046 [-0.0063, -0.0028] / -0.0037 [-0.0052, -0.0020]), R-T (two-tower) ABSORBED (D +0.0006 [-0.0002, +0.0014] / +0.0007 [-0.0002, +0.0015]; Mt +0.0026 [+0.0009, +0.0041] / +0.0009 [-0.0006, +0.0024]; Mn_r +0.0020 [+0.0005, +0.0035] / +0.0002 [-0.0009, +0.0014]); the K-2 word at S3 K-2-ISOLATED (from the R-N (hz-rescaled) cell at the lopsided L3; L1 itself ABSORBED under both readers); the registered-reader kill stands as a statement about that reader; DATED NOTE 2026-10-09 (F-28, STAGE READERS-LONG): the S3 L1 kill re-tested under the longer-budget reader — R-L (longer budget) ABSORBED (D +0.0012 [+0.000250, +0.0022] / +0.0015 [-0.000044, +0.0032]; Mt +0.0017 [+0.000095, +0.0032] / +0.0023 [+0.0010, +0.0038]; Mn_r +0.000487 [-0.0011, +0.0020] / +0.0008 [-0.0005, +0.0021]); the FINAL K-2 word at S3 over both reader stages K-2-ISOLATED (from the R-L (longer budget) and R-N (hz-rescaled) cells at the lopsided L3; L1 itself ABSORBED under all three readers); the registered-reader kill stands as a statement about that reader; DATED NOTE 2026-10-17 (F-29, S1 READER RE-TEST): the S1 gate cell re-tested under the hz-rescaled, two-tower and longer-budget readers — R-N (hz-rescaled) ABSORBED (D +0.0026 [+0.0008, +0.0043] / +0.0022 [+0.000497, +0.0039]); R-T (two-tower) ABSORBED (D +0.000339 [-0.000377, +0.0011] / +0.0011 [+0.000363, +0.0019]); R-L (longer budget) ABSORBED (D +0.000382 [-0.0009, +0.0016] / -0.000044 [-0.0014, +0.0013]); the S1 word K-2-NOT-OVERTURNED-AT-S1 (under readers R-N, R-T and R-L at S1; one more family of readers, not K-2's universal); F-24's own S1 words stand as the registered reader's |

- DATED ERRATUM (2026-09-06; F-24, OQ-17): the phrase "beyond the strongest free baseline" in this finding's title and text is corrected to "beyond the 657-summary PROXY of the free baseline; NOT beyond the full free baseline at the registered reader at the registered budget at the pinned cells L1 offsets 2-3 (OQ-17, F-24; every D CI95 upper below +0.005 on both harvests)" — L2 / L3 and the further offsets stand against the proxy and are untested against the full free baseline; the claim against the proxy stands as written. Gate D +0.0002 [-0.0012, +0.0015] / +0.0012 [-0.0003, +0.0028] with Mt +0.0034 [+0.0021, +0.0048] / +0.0033 [+0.0012, +0.0052] beside it. The registered equal-dims twin was found NON-INERT after the fact (it reads the same row 17 positions ahead, beyond the label position for about 94% of anchors; Mn +0.0033 [+0.0018, +0.0049] on the primary harvest, CI-clear, and +0.0020 [-0.0000, +0.0041] on the replication, straddling), so the label carries the corrected-twin reading: TWIN-ROBUST — D_r +0.0002 [-0.0009, +0.0014] primary (seeds +0.0013 / -0.0016 / +0.0008), +0.0013 [-0.0002, +0.0028] replication (seeds +0.0029 / +0.0009 / -0.0001); Mn_r +0.0032 [+0.0016, +0.0050] / +0.0020 [+0.0002, +0.0037]; T +0.0000 [-0.0012, +0.0013] / +0.0000 [-0.0016, +0.0019] (TWIN-INFORMATION-NOT-SHOWN). On the primary and replication the corrected twin itself gains CI-clear over the base while T's CI includes zero, so the label-consumption mechanism is WITHDRAWN for both harvests: the shift twin's gain is matched by a prompt-independent block, which under the pinned reading means a same-marginal sparse block of these dims yields about Mt at this reader — the strongest form of the null, under which Mt stops being evidence of telemetry information (the registered reading of one construction, not a measurement of every block); D_r remains the matched comparison. The consequences act exactly as pinned; the null reproduces at a prompt-independent twin at the gate cell. The corrected twin ran the offset-2 mlp256 gate cell only, so the offset-3 leg of this scope and the linear rows rest on the registered shift twin.

- DATED NOTE (2026-09-06; F-24): the shift-17 equal-dims twin used here as the noise control is NOT inert under a null direction — it reads a position whose forward pass has consumed the label token for about 94% of anchors and gains CI-clear over the base at the OQ-17 gate on the primary harvest (Mn +0.0033 [+0.0018, +0.0049]; replication +0.0020 [-0.0000, +0.0041], straddling); the "could only make M2n an UNDERestimate" caveat holds under SURVIVES only. The mechanism reading of this finding is moot for the L1 offsets 2-3 margin at the registered reader (a margin below the materiality floor and not beyond the equal-dims twin has no mechanism to price); the histogram-level rejection of topic-state as an explanation of the PROXY margin is untouched. Not rewritten.

- DATED ERRATUM (2026-09-06; F-24, OQ-17): the phrase "beyond the strongest free baseline" in this finding's title and text is corrected to "beyond the 657-summary PROXY of the free baseline; NOT beyond the full free baseline at the registered reader at the registered budget at the pinned cells L1 offset 2 (OQ-17, F-24; every D CI95 upper below +0.005 on both harvests)" — L2 / L3 and the further offsets stand against the proxy and are untested against the full free baseline; the claim against the proxy stands as written. Gate D +0.0003 [-0.0013, +0.0020] / +0.0001 [-0.0019, +0.0021] with Mt +0.0033 [+0.0013, +0.0054] / +0.0013 [-0.0008, +0.0035] beside it. The registered equal-dims twin was found NON-INERT after the fact (it reads the same row 17 positions ahead, beyond the label position for about 94% of anchors; Mn +0.0030 [+0.0014, +0.0046] on the primary harvest, CI-clear, and +0.0012 [-0.0004, +0.0026] on the replication, straddling), so the label carries the corrected-twin reading: TWIN-ROBUST — D_r +0.0000 [-0.0014, +0.0014] primary (seeds +0.0010 / +0.0001 / -0.0009), +0.0008 [-0.0014, +0.0029] replication (seeds +0.0019 / +0.0009 / -0.0006); Mn_r +0.0033 [+0.0015, +0.0050] / +0.0005 [-0.0012, +0.0022]; T -0.0003 [-0.0021, +0.0015] / +0.0007 [-0.0005, +0.0018] (TWIN-INFORMATION-NOT-SHOWN). On the primary the corrected twin itself gains CI-clear over the base while T's CI includes zero, so the label-consumption mechanism is WITHDRAWN for that harvest: the shift twin's gain is matched by a prompt-independent block, which under the pinned reading means a same-marginal sparse block of these dims yields about Mt at this reader — the strongest form of the null, under which Mt stops being evidence of telemetry information (the registered reading of one construction, not a measurement of every block); D_r remains the matched comparison. On the replication the mechanism is neither withdrawn nor supported (Mn_r and T straddle zero). The consequences act exactly as pinned; the null reproduces at a prompt-independent twin at the gate cell. The corrected twin ran the mlp256 gate cell only; the linear row keeps its CI-positive-immaterial qualifier.

- DATED NOTE (2026-09-06; F-24): the shift-17 equal-dims twin used here as the noise control is NOT inert under a null direction — it reads a position whose forward pass has consumed the label token for about 94% of anchors and gains CI-clear over the base at the OQ-17 gate on the primary harvest (Mn +0.0030 [+0.0014, +0.0046]; replication +0.0012 [-0.0004, +0.0026], straddling); the "could only make M2n an UNDERestimate" caveat holds under SURVIVES only. The mechanism reading of this finding is moot for the L1 offset 2 margin at the registered reader (a margin below the materiality floor and not beyond the equal-dims twin has no mechanism to price); the histogram-level rejection of topic-state as an explanation of the PROXY margin is untouched. Not rewritten.

| F-23 | 2026-09-05 | OQ-16 CLOSED BY DATED ERRATUM (TARGET-FREE): the anchor state h_a is an exact linear function of the anchor's full next-token distribution, free under D-5; Stage-A telemetry arms struck pre-GPU; no partition branch claimed | stands (terminal for OQ-16; critic-recomputed) |

- regime: MATHEMATICAL IDENTITY, numerically checked on REAL byproduct rows (Llama-3.1-8B-Instruct lm_head, untied and bias-free, read from the cached bf16 checkpoint as float32; 48 pinned rows = the first 4 blocks of the first 3 prompts of each of the four registered vanilla gamma-4 verdict runs, every npz sha-bound to its committed summary; CPU compute on the GPU box — the tool needs the cached weights and the gitignored raws; CI imports the module through tests/test_ha_identity.py, where torch and safetensors load lazily, and never runs it; the identity is generic to any linear unembedding of full column rank with vocab > d, tied or untied, and is measured here on one model). CLAIM: h_a (the final-norm output at the anchor, the registered Stage-R target) is determined by the anchor's logits, and therefore by the anchor's full next-token distribution p — the quantity D-5 names as the mandatory free baseline ("steering from the target's distribution at the last verified position, which every speculative decoder computes anyway"). W_U @ h reproduces the logged argmax 48/48 and the logged top-32 ids at 0.9948 mean overlap (min 0.969; max top-1 probability gap 0.0206 against the values logged by the live bf16 lm_head of the NF4-loaded verifier); the least-squares inverse from the float32 logits recovers h_a at median relative error 2.5e-8 (max 3.2e-8), the float32 rounding floor (from float64 logits 1.9e-14); closed-form least-squares recovery from only the top-k (id, log-prob) pairs of the recomputed logits (not the logged float16 pairs) reaches median per-row R^2 +1.0000 at k = 4097, +0.506 at 2048, +0.216 at 512, +0.078 at 128, +0.014 at 32 (median cosines 1.000 / 0.711 / 0.465 / 0.280 / 0.123) — a per-row R^2 about the row's own mean in raw h space from a prior-free solve, NOT Stage-R's standardized pooled-MSE R^2 and not comparable to the ridge arms' +0.258 / +0.324; the top-k recovery uses log-probabilities only with the log-partition as an extra unknown, so p alone, not the logits, determines h_a. CONDITIONING: W_U has full column rank (singular values 1.453 .. 94.5, condition 65); the all-ones vector, the softmax's free direction, lies 99.2% inside col(W_U), yet the augmented system [W_U, -1] has smallest singular value 1.451, so nothing is weakly determined; from bfloat16-rounded full log-probabilities with logZ unknown, h_a recovers to median relative error 3.5e-03 (max 6.9e-03). WHAT STANDS: every Stage-R and DR-1..DR-4 readout as pinned (F-22) — the gates were run against their registered arms and recomputed bit-exact. WHAT FALLS: their meaning for the lane. The registered FREE arm (657 anchor summaries; R^2 +0.083) and the DR-2/DR-4 token encodings (FREETOK +0.258, FREETOK2 +0.255) were lossy proxies for the free information D-5 names, from which the target follows exactly (R^2 1.000); the stream's reconstruction (TEL +0.253; UNION +0.324) is therefore K-2's "lossy copy of information the decoder already has", with no hashing caveat and no further comparator needed — "beyond p" is priced at this target: nothing is. The Stage-A telemetry arms (F = FREETOK reconstruction, T = UNION reconstruction) are struck pre-GPU: a host that computes p for rejection sampling can inject h_a itself with at most one least-squares solve against the cached lm_head (a 4096 x 128256 matvec plus a precomputed 4096 x 4096 inverse; this harness holds h_a directly through its final-norm catch). "Free" is D-5's convention; D-1's premise never priced shipping p or h_a to a disaggregated drafter (K-6 territory, not settled here). The oracle arm O (true h_a) is thereby the DEPLOYABLE free-actuator arm — SD^2-lite from the verifier's own distribution — whose V-vs-O readout sits outside the K-3 kill text and this lane's claim; it needs its own registration if run (label FREE-ACTUATOR WIN / NULL; a WIN is an SD^2 configuration result, not a sideband result). WHAT IT DOES NOT TOUCH, AND WHY: the existence results F-15/F-17 concern future-position concepts at offsets 2-3, which the anchor's p does not determine; but their free arm (a) is the same 657-summary proxy, so "beyond p?" arises there too, and the record's answer is the OQ-6 h-probe row of the same grids (margins_h_vs_a in results/real/probes_s1{,_replication}.json and probes_s3{,_replication}.json): under the identity a linear probe on h_a is a linear probe on the full logit vector, the strongest linear free-p baseline, and at the pinned L1 offset-2 cells it adds nothing over (a) — h-a margin S1 +0.0009 [-0.0087, +0.0107] primary, -0.0012 [-0.0112, +0.0090] replication; S3 -0.0026 [-0.0071, +0.0021], -0.0042 [-0.0093, +0.0015] — against c-a margins +0.0163 / +0.0141 (S1) and +0.0147 / +0.0173 (S3), and sits below (a) at offsets 3-4 on all four grids (offset-3 h-a -0.0205 / -0.0399 / -0.0111 / -0.0173). The K-2 margins are therefore not linear-logit information and F-15/F-17 stand; a NONLINEAR-in-p free baseline at the registered mlp256 capacity was never run and is the unrun K-2 comparator (not authorized here). The topic controls F-16/F-18 and the conversion nulls F-19/F-21 stand on their own. The only reconstruction target where telemetry could carry non-free information is h at FUTURE anchors (OQ-16's own anticipatory variant, never run); the fold-back-#2 hard stop forbids a third arc without the user's explicit exception. CLASSIFICATION: no partition branch is claimed. The limbo clause's condition is met (a Stage A never run after a PASS) and its rule, "neither limbo may ever be re-labeled a null", is honored; the catch-all is not invoked because the branch it would name (RECONSTRUCTION-CEILING NULL, "Stage-R leg 1 fails") is contradicted by the measured leg-1 pass; the disposition is the partition's own VOID precedent (no branch claimed, a dated note, the lane stops in practice under the fold-back-#2 hard stop). The lane is CLOSED BY DATED ERRATUM, mechanism TARGET-FREE; STAGE-R PASS stands as the mechanical outcome of its gate; the DR-3 OUTCOME's "reopens the Stage-A telemetry question" sentence is superseded. The lane ENDS. DISCLOSURE: the target was chosen for logging convenience (model.norm, one hook) rather than SD^2's mid-layer read (layers 3, L/2, L-2), which no identity of this kind ties to p (many-to-one; how much of those states p predicts is unmeasured); the free arm was built from the existing probe_input summaries rather than from D-5's definition; three diagnostics priced "beyond FREETOK's encoding" while the closed-form free comparator was one linear solve away. The observation came from the 2026-09-05 creative-lens adversarial pass over the gathered data (contrarian lens), reproduced by that pass's verifier, by an operator scratch check and by the committed tool; CRITIC RECOMPUTE ROUND (2026-09-05, before this commit): an independent implementation (float64 QR inverse; SVD least squares for the top-k solves; log-probabilities only) reproduced the forward numbers exactly, the full-logit inverse to 8 significant figures and every k < 4097 number to 7 or more digits; it exposed the first draft's k = 4097 row (median +0.9999, min 0.9988) as an artifact of an ill-conditioned normal-equations solve with a 1e-8 ridge, replaced by the committed SVD solve, and confirmed full column rank and the augmented-system conditioning above; it also blocked three sentences of the first draft — a "mechanical" catch-all classification against the limbo clause, an unargued "does not touch F-15/F-17", and a "standardized R^2" label — all rewritten before the commit. ATTESTATION: results/real/oq16_ha_identity.json carries git_commit 8542ef5-dirty; at run time the tracked dirt was this commit's own documentation and registration text, the tool and its test were untracked, and every input is sha-bound (lm_head shard sha256 and the twelve npz sha256s in the file).

| F-21 | 2026-09-04 | OQ-15 Stage C CONVERSION-MODE NULL: telemetry head ties vanilla (+0.002664) and loses CI-clear to the free head (-0.081846 [-0.132484, -0.035567]) | stands (terminal for OQ-15); dated note 2026-10-10 (OQ-20, NON-CRITERION): replayed at seed 6 under the frozen policies the vs-vanilla leg reads -0.018029 [-0.065168, +0.028495] GUARD-HELD and the free leg (arm 7 minus arm 6) -0.053623 [-0.107526, -0.002448] GUARD-FREE-HELD; R2 MUTUAL-COVERAGE / REPRODUCES, R6 MUTUAL-COVERAGE / REPRODUCES (the differences' CI95 half-widths 0.0666 / 0.0707 above the +0.062 bar: a bar-sized move unresolved); one further seed; the verdict stands as computed |

| F-22 | 2026-09-04 | OQ-16 Stage R PASS (linear reconstruction of the anchor hidden state h_a), magnitudes pathology-inflated; FREETOK (a free hashed encoding of p's top-32 token ids) beats TEL (the telemetry arm), UNION (TEL plus FREETOK) beats FREETOK +0.065180 [+0.062411, +0.067705]; "beyond p" unpriced after DR-4; Stage A frozen and unrun | qualified; superseded-in-part (dated notes inside the entry) |

- DR-1 / DR-2 POST-GATE DIAGNOSTICS (registered with pinned labels and honest predictions AFTER the gate was read and BEFORE running; NON-CRITERION — they cannot reclassify the branch; instrument extension: a FEATURE-SUPPORT CLIP to the TRAIN [min, max] per feature, trivial-baseline rows and a REPORTED tel_vs_trivial in every run, and the equal-dims FREETOK arm = FREE ++ 2048-dim multi-hot of the anchor's top-32 next-token ids hashed mod 2048, deployment-free information from the same verify forward; the INVARIANCE LEG requires the extended tool at modes OFF to reproduce the registered numbers bit-exact). INVARIANCE LEG: holds on every gate-bearing field — all twelve deltas/CIs, the gate, per-population values, test MSEs, chosen lambdas, VAL tables, cosines, per-coordinate quartiles, and all 1,512 registered state rows are bit-identical; the REPORTED trivial MSE differs by ONE ULP (0.9900697257801255 registered vs 0.9900697257801256 extended; 1.1e-16 — the amendment accumulates trivial SSE per cluster before summing, the registered code kept a running scalar; the critic's own from-raws recompute had landed on ...259 for the same reason) and two of the three R^2 values (free, tel) inherit that last digit exactly (noise is bit-identical; both recompute bit-exact from the extended trivial). Explained per the pin; the diagnostics stand. The extended tool's tel_vs_trivial for the REGISTERED configuration reproduces the critic's number bit-exact: +0.10701294951277318 [-0.06983322605482828, +0.22087590283869973]; k3 +0.2163 [+0.2037, +0.2287]; oq15 -0.0002 [-0.3557, +0.2238]. DR-1 (support clip ON; pinned label): DEPLOYABLE-MARGIN CONFIRMED — tel_vs_trivial +0.250784 [+0.239316, +0.261616]; k3 +0.2484 [+0.2309, +0.2657]; oq15 +0.2532 [+0.2364, +0.2677] (the populations now agree — the pathology was the entire k3/oq15 asymmetry). Under the clip: TEST MSE free 0.9084 / tel 0.7393 / noise 0.9010 vs trivial 0.9901 -> R^2 +0.083 / +0.253 / +0.090; delta_noise +0.161692 [+0.153035, +0.170259] (stale points -0.000805 / -0.001043 / -0.000840 / -0.001285 / -0.000738 — the control tightens to sd 0.00022); delta_free +0.169079 [+0.160250, +0.177775]; gate label under the clip STAGE-R PASS (REPORTED — cannot reclassify); chosen lambdas free/tel 1e4 (INTERIOR, the first non-edge selections of the lane), noise 1e5 (edge); TEL centered-cosine median 0.502, per-coordinate R^2 quartiles [+0.208, +0.236, +0.271]. Grid edge under the clip is PARTIAL: free/tel/freetok live at 1e4 (interior) but noise-live and all 20 stale cells at 1e5 (lambda_grid_edge_selected true in the DR payload); the 3-sd bar under the clip is negative (-0.000274, all five stale points negative) — trivially cleared, noted. The registered run's magnitudes were pathology-DEFLATED for TEL (0.883 -> 0.739) and its baselines pathology-INFLATED; the honest picture is a linear R^2 of about a quarter of the anchor state from the address stream. Honest prediction (CONFIRMED expected): landed. DR-2 (FREETOK arm, equal dims, deployment-free; pinned label): TOKEN-IDENTITY-NOT-EXCLUDED — tel_vs_freetok = MSE(FREETOK) - MSE(TEL) = -0.004792 [-0.007192, -0.002600], CI-CLEAR NEGATIVE: the free next-token-identity arm reconstructs h_a slightly BETTER than telemetry (FREETOK test MSE 0.7345, R^2 +0.258, cosine median 0.513, per-coordinate quartiles [+0.219, +0.243, +0.274]; k3 -0.0066 [-0.0097, -0.0036]; oq15 -0.0030 [-0.0063, +0.0003]). freetok_vs_free +0.173871 [+0.164704, +0.182838] — a coarse hashed encoding of which 32 tokens p favors reaches a margin over FREE at least as large as telemetry's (delta_free under the clip +0.169). DESIGN LIMIT (critic blocker, wording corrected pre-commit): DR-2 compares TEL against FREETOK, not TEL++TOK against FREETOK, so it licenses "the telemetry margin is not evidence of information beyond what p already reveals at this readout" — NOT "the margin is composed of token identity" (FREETOK beats TEL in only 59/84 clusters; the two encodings could carry partly different information netting to a tie). DR-3 below is the registered resolver. freetok_vs_trivial +0.255576 [+0.244307, +0.266421]. Under stale targets TEL still edges FREETOK by ~+0.0098 (prompt-level slot statistics exceed prompt-level token statistics), so the block-aligned advantage of FREETOK over TEL is ~0.015. Honest prediction ("a large residual token share would be surprising"): the surprising side landed — a free encoding matches or exceeds the telemetry margin, recorded against the prediction. DR-3 ADDENDUM (dated 2026-09-04; registered pre-run in commit 2ec789f, run after; NON-CRITERION; pinned label): TELEMETRY-BEYOND-P — UNION (TEL ++ TOK, 4753 dims) beats FREETOK by union_vs_freetok +0.065180 [+0.062411, +0.067705] (k3 +0.0639 [+0.0597, +0.0680]; oq15 +0.0665 [+0.0629, +0.0697]) and beats its equal-dims alignment-destroyed anchor UNIONNOISE (NOISE ++ TOK) by +0.078089 [+0.075624, +0.080368] — both legs CI-clear on both populations. MAGNITUDE, carried as pinned: 37.5% of the free margin (freetok_vs_free +0.173871), ABOVE the pre-run "would surprise" line of a quarter — the surprising side landed a second time, recorded against the prediction. Under stale targets the union edges FREETOK by ~+0.0100 (prompt-level slot statistics); the stale-netted remainder ~+0.055 (heuristic — live and stale lambdas differ) leaves the +2048-dim dilution UNPAID and is a LOWER BOUND on the block-aligned addition, not the addition (critic blocker, corrected pre-commit); the dilution-priced estimate is the anchor readout union_vs_unionnoise +0.078 (conservative: its stale variants sit at -0.0026..-0.0030). Mutually consistent decomposition: block-aligned ~+0.081, prompt-level ~+0.010, dilution ~-0.026, net +0.065. Mirror: union_vs_tel +0.069971 [+0.067058, +0.072830] — p adds on top of telemetry about what telemetry adds on top of p; the two are overlapping but NOT redundant views. UNION R^2 +0.324 (test MSE 0.66931; cosine median 0.579; per-coordinate quartiles [+0.279, +0.307, +0.342]) vs FREETOK +0.258 and UNIONNOISE +0.245 (MSE(UNIONNOISE) - MSE(FREETOK) = +0.013 is dilution net of the shifted block's ~+0.013 prompt-level gain; gross dilution ~0.026 per +2048 dims here, ~5x F-16's scale — a calibration note for any Stage-A freeze). Lambdas interior at 1e4 for all arms but noise. The four shared arms reproduce the DR-1/DR-2 run bit-identically inside the six-arm invocation. WHAT THIS CORRECTS IN THE SECTIONS ABOVE AND BELOW: DR-2's licensed sentence ("not evidence of information beyond p") was the TEL-vs-FREETOK reading; DR-3 is the direct test — the S1 stream DOES carry block-aligned, dilution-priced information about the anchor state beyond FREETOK's 2048-bin hashed encoding of p's top-32 support, small in absolute terms (+0.065 standardized MSE) but CI-tight and replicating across two disjoint prompt populations. QUALIFIER (critic blocker): the anchor destroys all block-aligned slot information, so it cannot separate slot information that is a function of p's EXACT top-32 (identity lost to the ~62-ids-per-bin hash, value-to-id pairing lost) from information beyond p — "beyond p" is unpriced until an equal-dims better-token-encoding comparator (DR-4 candidate: FREE ++ TOK(hash A) ++ TOK(salted hash B) at 4753 dims, or a rank-paired TOK) is registered and run. The K-2 sentence stands with that qualifier: most of what telemetry reconstructs is a lossy copy of what p reveals; between a third and a half of its margin is not, depending on whether dilution is priced (union_vs_freetok / delta_free = 0.0652/0.1691 = 38.5% raw; union_vs_unionnoise / delta_free = 46% dilution-priced). WHAT IT DOES NOT LICENSE: any conversion-level claim — whether that R^2 increment (+0.066 of R^2; +0.065 of standardized MSE) buys acceptance at matched budget through an SD^2-style injection is Stage A's question, unmeasured, with two conversion nulls on this lane against it. DR-4 ADDENDUM (dated 2026-09-05; registered pre-run in commit c2181b1, run 10.9 s after; NON-CRITERION; the lane's LAST reconstruction-level diagnostic; pinned label; critic-recomputed bit-exact incl. a clean-worktree byte-identical re-run): COMPARATOR-TOOTHLESS — the equal-dims comparator FREETOK2 = FREE ++ TOK_A ++ TOK_B (2048 salted-hash bins valued by top_p; 4753 dims = UNION's) is CI-CLEAR WORSE than FREETOK at the registered readout: freetok2_vs_freetok -0.003085 [-0.004984, -0.001280] (k3 -0.003521 [-0.006788, -0.000549]; oq15 -0.002658 [-0.004983, -0.000447]; FREETOK2 wins 37/84 clusters). The teeth clause fails, so union_vs_freetok2 +0.068265 [+0.065783, +0.070556] (k3 +0.067390; oq15 +0.069122) is REPORTED, not labelling — identically union_vs_freetok minus freetok2_vs_freetok; it licenses one direction: at equal dims a value-paired second-hash encoding of p closes NONE of the DR-3 gap (union beats FREETOK2 in 84/84 clusters, min +0.036). FREETOK2 R^2 +0.255 vs FREETOK +0.258; freetok2_vs_free +0.170786 [+0.160740, +0.180599]; tel_vs_freetok2 -0.001707 [-0.004334, +0.000628] (straddle). Pinned magnitudes: 1.047 of the DR-3 margin (the surprising side (ii) fired mechanically and VACUOUSLY — the comparator is worse than FREETOK, so 'surviving' measures its loss) and -0.018 of the free margin. Honest prediction (teeth at +0.02..+0.05): FAILED ON SIGN, recorded against. CAVEAT (critic blocker; heuristic, not a registered readout): the teeth readout is UNANCHORED — no alignment-destroyed TOK_B twin was registered, so it charges the block its +2048-dim dilution; in the committed val_mse table FREETOK2 beats FREETOK at lambda 1e5 (0.77768 vs 0.79394) and the live-minus-stale-mean VAL gap is positive at every lambda (+0.047 at 1e-2 ... +0.031 at 1e4, +0.020 at 1e5), so the live -0.0031 is consistent with a block-aligned contribution of order +0.02..+0.03 offset by dilution of the same order at the selected lambda 1e4 — and equally with less. LICENSED: in a shared-lambda ridge TOK_B does not net a positive margin over FREETOK at either arm's VAL-optimal lambda; its block-aligned contribution is not separable from dilution under the registered readout. NOT licensed: 'extracts nothing', 'saturated', 'pure dilution' (the stale variants sit at lambda 1e5, where dilution is an order smaller). The anchored test (FREETOK ++ alignment-destroyed TOK_B) would resolve it but is a DR-5 under the fold-back-#2 hard stop — run only if the user authorizes an exception in those words. Dated erratum to the registration: TOK_B is sparse like TOK_A, with heavy-tailed values (median nonzero 0.022; 4.7% float16 underflow), not 'dense-valued'. The six DR-3 arms reproduce bit-identically (3108/3108 shared state rows); the -dirty meta is attested moot by the clean-worktree re-run. WHAT IT MEANS: DR-4 did NOT deliver the basis the registration said a Stage-A telemetry test NEEDS; 'beyond p' stays UNPRICED; the pre-registered recommendation stands (treat as NOT confirmed for the Stage-A decision) and Stage A, if run, proceeds on the user's decision with that on the table; FREETOK stays the Stage-A free comparator; a Stage-A telemetry WIN could only ever be licensed as 'converts beyond FREETOK, the strongest free encoding tested, at the actuator', never 'beyond p'.

- WHAT OQ-16 ACTUALLY ANSWERED (the ledger's literal question — "what fraction of SD^2's vector survives reconstruction from the address stream?"): linearly, about a quarter (R^2 ~0.25, median direction cosine ~0.50 in standardized space, with the support clip) — and a free encoding of the output distribution's top-32 token identities, which the same verify forward hands over anyway, recovers at least as much (CI-clear). At this readout the telemetry margin is therefore not evidence of information beyond what p already reveals; whether telemetry adds anything ON TOP of p is DR-3's question. (DATED NOTE 2026-09-04: DR-3 answered it — see the DR-3 ADDENDUM in the DR block above; this sentence, the "ties a free encoding of p" phrase, and the K-2 location below are SUPERSEDED in the addendum's qualified sense: the stream adds beyond FREETOK's hashed encoding of p, CI-clear; "beyond p" itself is unpriced pending DR-4.) Located against the kill criteria: this is K-2's "a lossy copy of information the decoder already has" at the reconstruction level; it does not re-fire K-2 (that verdict was on future-concept probes at offsets >= 2, F-15, a different target). This is the OQ-6 h-probe story from the other side: extracting FROM h under a cheap budget lost to telemetry (committed), and reconstructing TOWARD h from telemetry ties a free encoding of p. - FORMAL STATE + STAGE-A DECISION INPUTS: by the pinned partition, Stage R is a PASS (the registered FREE arm was probe_input's 657 dims; FREETOK was not a registered baseline and DR-2 is NON-CRITERION) and Stage A (SD^2-style draft-side injection of the reconstructed vector) is AUTHORIZED and USER-GATED; nothing runs from this finding, and the lane hard-stops after Stage A regardless of its outcome. HONEST WEIGHT for that decision, in the registration's own words: DR-2's TOKEN-IDENTITY-NOT-EXCLUDED label is carried into the Stage-A cost decision and mandates FREETOK (or a stronger token-identity encoding) as a free comparator in any actuator economics. With DR-3 in view (the addendum above): a Stage-A telemetry test now HAS a reconstruction-level basis — the UNION reconstruction is CI-clear better than the FREETOK one (R^2 +0.324 vs +0.258), so the Stage-A telemetry claim pinned for the freeze is UNION-vs-FREETOK at the actuator, both free-augmented (the STAGE-A FREEZE landed 2026-09-05 in docs/BLUEPRINT.md, pre-GPU, critic-gated twice: SD^2-style up-projection injection with a frozen drafter and a rank-512 zero-initialised adapter; arms vanilla / oracle_h (TRUE h_a, the actuator ceiling, D-2-named) / free_inject = FREETOK / tel_inject = UNION on the fresh 210-prompt data/prompts_oq16_verdict.jsonl population (mechanical paraphrase refusal against all four committed sets, 0 overlaps); ladder A0 (oracle vs vanilla at the unchanged E6 +0.062 bar) before A1 (the free-actuator readout F-vs-V and the telemetry verdict T-vs-V AND T-vs-F); each rung user-launched; DR-4's COMPARATOR-TOOTHLESS label and its pinned recommendation are carried into the user's A1 decision); a TEL-vs-FREETOK actuator test would have none (TEL is CI-clear slightly worse than FREETOK). Two conversion nulls on this lane (F-20/F-21) remain the closest precedents, and whether a +0.065 standardized-MSE increment in the reconstructed vector moves acceptance at matched budget is unmeasured — no probability is licensed either way. What Stage A could also measure is whether an SD^2-style injection of a FREE reconstruction converts at all (a different question, outside the K-3 kill text's telemetry claim, and not authorized by this partition without its own registration). Mandatory Stage-A freeze elements pinned by this finding: the support clip (or an sd floor) on every live feature — an actuator injecting a 5.76-MSE reconstruction on an out-of-support prompt is worse than nothing (critic A3); a lambda family containing the trivial predictor; the pairwise-selected-budget check (F-21); and — DR-2 having landed TOKEN-IDENTITY-NOT-EXCLUDED — the FREETOK arm (or a stronger token-identity encoding) as a mandatory free comparator in the actuator economics. What the pass says: a linear map from the address stream recovers the anchor state's direction at median cosine ~0.5 in standardized space and beats the free features in every test cluster; what it does not say: that the recovered subspace is the steering-relevant one (Stage A's question), that the margin survives raw-h-space injection (the standardized/raw distinction is pinned), or that any of this converts to tokens/call at matched budget (two nulls on this lane say the conversion bar is high).

| F-19 | 2026-09-03 | K-3 Attempt #1 NULL: telemetry block scheduling +0.006860 [-0.015024, +0.025572] tokens/call vs a +0.062 bar | stands (K-3 fired); erratum-noted; dated note 2026-10-04 (F-27): the val-selected +0.059725 sits at the 0.8840 percentile of the n = 30 cross-seed seed-noise null on this population (exceeded by 0.1160 of pooled draws), a single draw; the val comparison was same-seed (seed 0), different-policy, on a different prompt set and a max over 32 search evals, none modeled; dated note 2026-10-10 (OQ-20, NON-CRITERION): replayed at seed 6 under the frozen policies the vs-vanilla leg reads +0.010340 [-0.009288, +0.030521] GUARD-HELD and the free leg (arm 4 minus arm 3) +0.010109 [-0.009724, +0.030422] GUARD-FREE-HELD; R2 MUTUAL-COVERAGE / REPRODUCES, R6 MUTUAL-COVERAGE / REPRODUCES (the free leg nearly the vs-vanilla leg, abs(R5 - R1) = 0.000231: not two confirmations); one further seed; the verdict stands as computed |

- KILL TEXT: this is K-3 firing exactly as registered — probe margins (F-15/F-17 existence, both real) did not convert to acceptance-side throughput through this actuator at this pair/scale. Per the FOLD-BACK COUNT AMENDMENT (2026-09-02, critic-gated; it WIDENED the kill text's original single fold-back to the structured two-lane sequence, a dated pre-verdict-read change disclosed in its own text): fold-back #1 = OQ-15 (outcome-supervised acceptance head; its arc registration must pin the exhaustive terminal-outcome partition before running); an information-ceiling null there skips OQ-16 and stops the lane; a conversion-mode null hands off to OQ-16 (vector reconstruction -> SD^2 injection); hard stop after #2 or the skip. SALVAGE per the kill doc: the per-offset gating rules and staleness map stand; the byproduct logs (per-block telemetry + outcomes + anchor states + analytic acceptance, ALL arms, BOTH seeds, ~10 runs x 210 prompts) are the OQ-15/OQ-16 training data, collected for free by the registered amendment. No wall-clock claims (D-9); no acceptance-rate claims beyond the labeled tokens/call estimand.

| F-17 | 2026-09-01 | K-2 survived at S3: MoE router expert ids beat the free baseline at offset 2, pinned replication +0.0173 [+0.0133, +0.0221] | stands against the 657-summary PROXY; DATED ERRATUM 2026-09-06 (F-24): ABSORBED by the full free baseline at the registered reader at the pinned cells L1 offset 2, TWIN-ROBUST at the corrected twin; mechanism qualified by F-18; DATED 2026-09-14 (F-25, OQ-18 at the registered reader): L2 ABSORBED (F-25); L3 SPLIT at the L3 group lens (replication fired; F-25); DATED LENS NOTE 2026-10-05 (F-28, STAGE LENS; OQ-13 (ii)): through the BALANCED L3 lens (16 groups of 31 or 32, results/real/concept_groups_olmoe_balanced_v1.json) the (c) - (a) linear off2 margin reads +0.0221 [+0.0187, +0.0258] / +0.0195 [+0.0160, +0.0232], 0.307 / 0.267 of the recorded +0.0721 / +0.0730 — LENS-SURVIVES (the margin exists under a size-capped partition); against the committed L1 (+0.0147 / +0.0173) and L2 (+0.0206 / +0.0207) margins the growth over L2 is NOT-SETTLED on both harvests (combined L3-GROWTH-NOT-SETTLED; P's CI contains L2's margin; not like-for-like across label spaces), so the "coarser claim" sentence is not written; off3 (+0.0419 / +0.0364) and off4 (+0.0207 / +0.0227) are not re-read at the balanced lens; the recorded-lens number stands regardless |

| F-18 | 2026-09-01 | The S3 margin is not prefix-topic state at the histogram level; about 1/10 of the L3 margin is topic-shaped | stands; erratum-noted; dated note 2026-09-06 (F-24): the mechanism reading is moot for the S3 L1 off2 margin at the registered reader; the L3 statements are untouched; dated note 2026-09-14 (F-25): mechanism reading moot at L2 at the registered reader |

- caveats: NON-CRITERION: this prices F-17's signal; it cannot amend F-17's verdict. "M2/M2n fire 6/6" is true ONLY under a CI-positive reading — 5/6 rows clear the +0.005 floor in each family, and L1/off3 is CI-positive-immaterial in both (M2 +0.002069 [+0.000503, +0.003900]; M2n +0.002631 [+0.001169, +0.004487]) — F-17's L1/off3 profile again; the replication M2n at L1/off3 is the one non-reproducing row, CI-crossing with one negative seed (+0.000883 [-0.002524, +0.003312], per-seed +0.00201/-0.00030/+0.00094) — the weaker tail, disclosed as at F-17. DATED ERRATUM (2026-09-01) to the instantiation block's disclosure (3), which reads "Dims differ from S1's 560/3266": the recorded t dim is 560, IDENTICAL to S1 (the OLMoE alphabets merge to the same 511/16); only the slots block differs (1024 vs S1's 2048), and the "3266" half inherits F-16's own 3266->3265 erratum — the block text stands, corrected here per the erratum convention. The payloads' registered/conclusion.rule strings date the P1 template (2026-08-31), not this instantiation (2026-09-01) — the same cosmetic residue class F-17 disclosed for decision.rule. The (atn) reading carries VERBATIM from F-16: the shifted-slots arm could in principle carry aligned-equivalent signal, a channel whose bias could only make M2n an UNDERestimate — SURVIVES rides on M2 and is unaffected. PROMPT-TOKEN RESIDUAL as registered: (t) omits prompt tokens (the harvest stores generated tokens only); a failure would have deflated a fortiori, survival leaves the prompt-augmented prefix control as the formally open residual and the cheapest next experiment if mechanism language is ever contested. HISTOGRAM FAMILY ONLY: richer prefix representations (sequence models over the prefix, k-NN/embedding similarity) fall under the residual, not this rejection; any richer control is a new registration. Offsets {2,3} ran verbatim per the template although F-17 establishes L1 signal at off2 only — off3 rows reported, no cell swap, conclusion weight on the pinned primary cell. Linear probes only (registered economy); 30-cluster power; L3 mega-group lens (two groups carry ~461/510 of the concept mass — F-17 carry-forward); glue-majority floors compress all margins in every space (F-17 carry-forward). No acceptance or wall-clock claims; K-3 untouched — this says the S3 signal is real and not derivable from emitted tokens at this family level, not that it converts.

| F-15 | 2026-08-31 | K-2 survived at S1: weight-slot telemetry beats the free baseline at offsets 2-3, pinned replication +0.0141 [+0.0081, +0.0203] | stands against the 657-summary PROXY; DATED ERRATUM 2026-09-06 (F-24): ABSORBED by the full free baseline at the registered reader at the pinned cells L1 offsets 2-3, TWIN-ROBUST at the corrected twin; mechanism qualified by F-16; DATED 2026-09-14 (F-25, OQ-18 at the registered reader): L2 ABSORBED (F-25); L3 NOT-SHOWN at the L3 group lens (F-25) |

| F-16 | 2026-08-31 | The S1 margin is not prefix-topic state at the histogram level; passes the equal-dims noise control | stands; erratum-noted; dated note 2026-09-06 (F-24): the shift-17 equal-dims twin is NOT inert under a null direction, and the mechanism reading is moot for the S1 L1 off2-3 margin at the registered reader; dated note 2026-09-14 (F-25): mechanism reading moot at L2 at the registered reader |