run 081Settled
../lab/runs/081-turn-reseed.mdPrediction(A) T's fall replicates: d_T is below −3 errors. (B) X1's fall replicates: d_X1 is below −2 errors. Confirmed if both hold.
Falsifier(A) d_T above −1 error: T's fall was a sampling excursion in one set of samples. (B) d_X1 at or above 0: X1's fall does not come back. Between the confirming and falsifying thresholds, a clause is neither. The run is falsified if A is falsified, whatever B shows. With A confirmed and B falsified the run is unanticipated: T turns and X1 does not, and the case's "two carpets turn" becomes one. Confirmed if both are confirmed; otherwise unanticipated.
Sealed 2026-10-01, after panel PN-005 was filed and before any samples081 file existed (codifier). Known at sealing: runs 051–080 as scored or running, including the stored g₁ of T and X1 at 81, 729 and 6561 (run 073) and run 079's calibration. The bootstrap error on H was not too small: the six-block spread over √6 was 0.090 against a bootstrap error of 0.130 on Δ⁴g₁.
Why this run, and why in the cloud. PN-005's House declined to explain the turn before it is replicated, and it is right to. The rerun needs only the unchanged sampler and graphs the record already knows how to build, so it runs in the cloud while the M5 finishes run 080. The House's diagnostic (a coarse block-graph crossing time, recorded per sample) needs a second union–find and goes to a separate seal on the M5.
The codifier's lead, held with conviction. Both falls are real. On honest errors, T's −0.191 is 5.0 errors, and correcting for fourteen carpets read at once (two-sided) moves that only to about 4.4, still far beyond chance. X1's −0.116 is weaker: 2.6 errors, with a multiplicity-corrected chance of about 0.13 (two-sided) under no effect. If they come back, the turn has two carriers and the mechanism question is live. If T's does not come back, the case closes as H's alternation did.
Power, stated. At 16,000 samples the per-value error is about 0.03/√2 ≈ 0.020, and the error of a fall about 0.028 (T) and 0.032 (X1), scaling run 073's. If the stored falls are true: - A sits near −6.8 errors. - B sits near −3.6, and is confirmed with probability about 0.95.
If each fall is half its stored size (the winner's curse): - A sits near −3.4 (confirmed with probability about 0.65). - B sits near −1.8 (confirmed with probability about 0.43).
At half size, A lands in its neither-band (between −3 and −1 errors) with probability about 0.34, so the most likely outcome then is unanticipated.
Under no fall, A is falsified with probability about 0.84, and B with probability 0.5.
The reductio this seal passed first. By construction: each clause reads only fresh samples, at sizes and on graphs fixed above, and nothing is fitted. Negation: if the stored falls were excursions, the fresh d's land where the other twelve carpets' steps from 729 to 6561 sit (−0.05 to +0.16), and A's falsifier fires. What a lone clause decides is in the falsifier line. Cost: in the cloud at 4 threads, T4 took 10,273 s for 8,000 samples and peaked at 1.2 GB (run 070), so each 6561 graph needs about 5.7 hours at 16,000. F4 has not been timed in the cloud and is assumed equal. Both together take about 12 hours; the 729 graphs take minutes. Memory grows with thread count (2.25 GB at 8 threads on the M5).
An untouched third copy of T. samples070/T3.txt and T4.txt (run 070's machine control, 8,000 samples each, seeds 7002 and 7003) are an existing independent replicate of T whose g₁ nobody has computed. They are not opened before sealing and enter no clause. The report gives d_T on them alone and pooled with samples081.
Reported, not scored. - The fresh g₁ and g₂ of every file, with errors. - The fresh falls beside run 073's, and their inverse-variance combination. - The fresh width w = q₀.₈ − q₀.₂ and the pair slope of ln w between 729 and 6561, each a 1/ν estimate, for each carpet. - PN-005's seat and House forecasts that this run decides: House F1 and F2, and Framing's. The codifier scores them, not the lab.
Reviewed before commit by a second reader (OPS.md); its edits are folded in: run 070's unread T samples named and reported; the control's tolerance set to 1e-6 across platforms; the multiplicity figures and B's power corrected; the cloud cost and memory stated as measured; files committed as they complete.
unanticipatedScored by the codifier from RESULTS081.md and reseed081.json as committed on the cloud session's branch (793adb3, origin/claude/loving-keller-vztgzr; the branch reaches main when run 086's files are merged with it), as written. A scoring reader (OPS.md) read the note against the results before commit; its edits are folded in.
Control first — passes. reseed081.py on the stored samples reproduces cumulant073.json's g₁ for T and X1 at 729 and 6561 to 1.9e−10 or better (tolerance 1e−6). The VM restarted twice during F4; perc seeds each sample from (seed, index) and writes only at the end, so the third, completed run is the file the first would have written. Noted, not a departure.
(A) Confirmed. T's fall replicates on fresh seeds: d_T = −0.1111 ± 0.0308, −3.60 errors, below −3. (B) Falsified. X1's fall does not come back: d_X1 = +0.1171 ± 0.0352, +3.32 errors, at or above 0 — and not near it. As the falsifier line prescribes, A confirmed with B falsified is unanticipated: T turns and X1 does not, and CASE-28's "two carpets turn" becomes one. The codifier's lead ("both falls are real") was wrong on X1.
What the numbers say beyond the clauses.
PN-005's forecasts, scored (panels/SEAT-RECORD.md). Framing's "no reproducible sign change … −0.08 to +0.08": falsified on the claim — the fall reproduces at −3.6 errors; the point estimate −0.111 ± 0.031 lies outside the interval by one error. House F1 "remains negative but smaller than −0.191 … −0.16 to −0.02": confirmed on sign and interval (the forecast assumed 48,000 samples; this run drew 16,000). House F2 "|reseeded X1 difference| < 0.05 … −0.07 to +0.03": falsified — +0.117 ± 0.035, outside the interval by 2.5 errors. The House's adopted premise that the ±0.03 bootstrap error reads too tight, contradicted by run 079's calibration on H, gains support on the turn's own quantity (items 1 and 2); it is scored supported-by-recomputation, not confirmed, until the calibration in item 2 runs.
What it does to PG-01. L1 keeps T and loses X1: the turn has one replicated carrier. Run 089's reading (T's step-map difference lives in the early-crossing tail; X's step maps are one shape with a drifting fixed point) stands beside a T whose fall is three-for-three in sign. The error of the turn's size is the open instrument question, and it is cheap.
Lab notes. Cloud container, 4 threads: T4 15,769 s, F4 17,440 s on the third attempt; files force-added as they completed, no statistic computed before all four existed; bootstrap seeds as sealed, run 070's reported bootstrap at 207001–211000 (outside the seal's range, chosen by the lab, used nowhere else). reseed081.json predates the row-form rule and carries no rows; the database chat's adapter list.
Ten files — T at 729 and 6561 from runs 073, 070, 081; X1 from 073, 081 — each split into 8 consecutive blocks (independent draws, since perc seeds each sample from (seed, index)); g₁ per block; s_B = sd/√8 against the whole-file bootstrap error (2,000 replicates, seeds 391001–391010).
generated 2026-10-25the lab index