|
54 | 54 | **Status:** MERGED (`e6e27829`). Branch `claude/jirak-math-theorems-harvest-rfii13` |
55 | 55 | → `main`. Doc/plan/board only. |
56 | 56 |
|
| 57 | +## 2026-08-12 — lance-graph #935 (MERGED) — the validation wave RUNS: T1–T4 + W2s-a executed, four more defects caught, one new epiphany |
| 58 | + |
| 59 | +- **Added.** `golden_vs_tempered_probe.py`/`.json` (T1–T4 executed against |
| 60 | + the pre-registered bars — committed with bars BEFORE running, then run, |
| 61 | + then corrected under review, per the standing discipline) and |
| 62 | + `sunflower_pairing_probe.py`/`.json` (W2s-a executed: headline |
| 63 | + N=F(17)²=2 550 409 per lattice + the G4 floor sweep to n=19, |
| 64 | + N≈17.5M). `spiral_adi_probe.py` (W5) committed pre-registered; its RUN |
| 65 | + was still in flight at merge time — results land in a follow-up PR. |
| 66 | + EPIPHANIES: **`E-A-CONTROL-THAT-CANNOT-LOSE-IS-NO-CONTROL-1`**. |
| 67 | +- **Locked — the verdicts, honestly split.** **T2 PASS** (golden 68–106× |
| 68 | + ahead at m=200q, all 10 q — exposed to none of the four bugs, since it |
| 69 | + was always a single fixed-point comparison). **T3 PASS** (tempered |
| 70 | + 140/140 by exact integer arithmetic; golden 124–127/140 across 5 |
| 71 | + phases). **T4 PASS** (39.0 % naive-rounding collapse rate). **T1 |
| 72 | + twice-corrected**: the verified-permanent crossover is **1.9–2.7× q**, |
| 73 | + not the first-drafted ~1.0–1.4× — golden needs roughly TWO tempered |
| 74 | + cycles before its lead is durable. **W2s-a: G1 VOID (its own |
| 75 | + pre-registered escape hatch), G2/G4 FAIL — and the FAIL is a fact about |
| 76 | + the CONTROL, not the golden lattice**: two identically-constructed grids |
| 77 | + differing only by translation are symmetry-uniform in cross-nearest- |
| 78 | + neighbour distance (CV ≈ 1.6e-12 vs golden's 0.368, invariant under four |
| 79 | + center offsets, diagnosed by a 0.1 s smoke test BEFORE the 2.55M run, |
| 80 | + then run as-specified so the record shows the specified control failing |
| 81 | + rather than a quiet redesign). |
| 82 | +- **Locked — the epiphany.** A control that cannot lose is as vacuous as a |
| 83 | + test that cannot fail; the falsifiability rule's can-it-fire doctrine |
| 84 | + extends to CONTROL ARMS. Two instances in one afternoon: the symmetric |
| 85 | + grid (cannot lose any evenness comparison) and T1's first-crossing m* |
| 86 | + (an implicit never-reverses claim with no machinery to check it — |
| 87 | + codex's reproduced counterexample: q=17 reported m*=21, D*(22) back |
| 88 | + above the ceiling). Corollaries banked: *a control must be able to |
| 89 | + lose* (check for symmetry/degeneracy/construction-identity before |
| 90 | + pre-registering); *"permanently" is a suffix claim needing verification |
| 91 | + with a STATED scope* (checkpoint counts now reported beside every m*); |
| 92 | + *smoke-test the control's losability cheaply before paying for the full |
| 93 | + run*. |
| 94 | +- **Fixed in-flight (codex on this very PR's run results).** (P2) the |
| 95 | + useful-range floor used `q//2` where the spec says `⌈q/2⌉` — every odd q |
| 96 | + admitted one sub-range prefix; single shared helper now. (P1) m* was a |
| 97 | + first-crossing search reported as permanent — replaced by |
| 98 | + `verified_permanent_crossover` with sampled-suffix verification. Also a |
| 99 | + self-caught commit-message falsity: one commit claimed "D-GVT-T1 row |
| 100 | + updated" when only D-W2sA had been edited — caught by checking the |
| 101 | + message's claims against the tree right after pushing, fixed in the next |
| 102 | + commit with the discrepancy named. |
| 103 | +- **Deferred.** W5's run result (in flight at merge). W6 (needs ~40 WB2 |
| 104 | + chunks — next fetch-bearing step). An honest evenness falsifier for |
| 105 | + W2s-a (offset/rotation-varied or spacing-mismatched control). The G4 |
| 106 | + note that 3-in-3.15M near-ties at n=19 reflect the fixed 1e-6 tolerance |
| 107 | + meeting large-N sampling density, not a mechanism failure. |
| 108 | +- **Confidence.** High on every number (all from committed scripts + |
| 109 | + JSONs); the T1 crossover figure specifically carries a three-revision |
| 110 | + history, each widening, documented in the plan rather than smoothed. |
| 111 | + |
| 112 | +**Status:** MERGED (`a378136a`). Branch `claude/jirak-math-theorems-harvest-rfii13` |
| 113 | +→ `main`. Probes + results + board — zero product code. |
| 114 | + |
| 115 | +## 2026-08-12 — lance-graph #934 (MERGED) — board hygiene for #932/#933 + the storm-geography refinement (entry written late, from #935's post-merge pass) |
| 116 | + |
| 117 | +- **Added.** Arc entries + shipped rows for #932/#933, and the plan's |
| 118 | + §Synthesis **storm-geography refinement** (operator, paraphrased), each |
| 119 | + claim grounded in an existing measurement: (1) **centering is tempered |
| 120 | + territory** — a golden lattice's center is structurally sub-floor at any |
| 121 | + N (`√(r²N) → 0`), and the shipped `find_center` is already an exact grid |
| 122 | + argmin + quadratic sub-grid fit, now stated as doctrine (never sample |
| 123 | + the center from the spiral whose center is its own worst data); (2) **the |
| 124 | + collision annulus is golden territory** — territory-gain/Go framing, |
| 125 | + addresses self-describing outward; (3) **overlaying collision lattices = |
| 126 | + controlled chaos at near-zero storage** — aperiodic yet fully |
| 127 | + deterministic from two center coordinates, a node costs exactly its |
| 128 | + 12-byte facet; (4) **the self-description asymmetry in one sentence** — |
| 129 | + tempered self-describes exactly up to q, golden for every k indefinitely. |
| 130 | + Demarcation kept: the TASK causes the regime, the geography merely sorts |
| 131 | + the tasks. |
| 132 | +- **Hygiene note.** This entry itself was written one PR late — #934 merged |
| 133 | + and the operator's "run tests to validate" directive rightly took |
| 134 | + priority; the omission was caught during #935's post-merge hygiene pass |
| 135 | + and is recorded here rather than backdated. |
| 136 | + |
| 137 | +**Status:** MERGED (`96dc5bfe`). Doc/plan/board only. |
| 138 | + |
57 | 139 | ## 2026-08-12 — lance-graph #933 (MERGED) — 4 codex fixes on #932 + golden-vs-tempered-stride-v1 (head-vs-gut, made falsifiable) |
58 | 140 |
|
59 | 141 | - **Added.** `.claude/plans/golden-vs-tempered-stride-v1.md` — standalone, |
|
0 commit comments