Board hygiene for merged #938 — W5 v2 results + the 3 same-day codex fixes

.claude/board/LATEST_STATE.md

@@ -855,6 +855,7 @@ Membrane consumers can now pull BOTH halves of a render `classid` BBB-safely fro
 | PR | Merged | Title | What it added |
 |---|---|---|---|
 | *gap note* | — | **#781–#925 are NOT in this table** — carried by the dated sections above + `PR_ARC_INVENTORY.md`. Recorded 2026-08-12 (codex P2 on #930) rather than silently reconstructed; the table had stalled at #780. | — |
+| **#938** | 2026-08-12 | W5 v2 RUN lands — B2 REVERSES to genuine FAIL, B3's VOID CONFIRMED at full headline scale, both link families now verified | B2: real diffusion resolved (raw rel-L2 vs unsmoothed input = 0.190), operator's own anisotropy = **1.5251 vs the 1.25 bar** (baseline through the clean 3.35σ mask = 1.0046 — the operator alone contributes ~0.52). `domino.rs` gather-design claim REFUTED at this test point. B3: 99.68 % (family A) / 99.56 % (family B) of the QUALIFYING population's control links land on a pure Fibonacci offset (n_qualifying=4 782 017, out of the headline lattice N=7 651 227 — not a 62k sub-sample) — dominated by the two discovered strides 2584=F(18) / 4181=F(19) respectively. Same-PR fixes for 3 more codex findings: family-B histogram was previously uncomputed (now measured + JSON patched); "four orders of magnitude" corrected to ~1.9 (76.9×); B4 downgraded from verdict to explicit descriptive reading (n=19 was dropped without pre-authorization — B4 stays open). |
 | **#936** | 2026-08-12 | W5 v1 RUN (B2 PASS / B3 VOID / B4 smooth) — ⊘ SUPERSEDED same day, all three verdicts compromised; v2 CODE fix merged in this PR, v2 RUN/results in flight | Codex found 4 real defects: B3 control subsampled at 250k/band (~74 % self-linked at headline, ratio 0.9996 uninformative); B2's fit floor = input σ (8 iters ≈ inert, "resolved" indistinguishable from "untouched"); bump only 1.72σ from the mask edge (analytic truncation ratio 1.2082 ≈ the measured "1.213 asymptote" — likely the MASK, not the operator); 99.38 % Fibonacci-membership figure was chat-only. Fixed same day, code merged HERE (`106ca605`, verified an ancestor of this PR's merge commit — corrects two overclaims caught by codex P2 on PR #937: the fix was described as "landing in a follow-up PR" when it had already landed, and the histogram artifact as "committed" when only the SCRIPT that produces it had landed — the tracked JSON is still v1's until the v2 run completes): full-band control, V-matched iteration scaling, bump moved to 3.35σ clearance + baseline-through-mask computed, offset histogram now computed by the script. The epiphany's MECHANISM survives (sub-cap 99.38 % measurement was never subsampled) but its "does not exist" phrasing was also softened (codex P2 on #937: 99.38 % ≠ 100 %, one N/one construction ≠ universal proof) — only the headline evidentiary number is retracted; the claim is restated at its actual evidentiary scope, not deleted. |
 | **#935** | 2026-08-12 | The validation wave RUNS: T1–T4 + W2s-a executed; `E-A-CONTROL-THAT-CANNOT-LOSE-IS-NO-CONTROL-1` | T2/T3/T4 PASS (68–106× at 200q; tempered 140/140 exact vs golden 124–127/140; 39.0 % naive-rounding collapse). T1 twice-corrected under codex review of its own run: verified-permanent m* = **1.9–2.7× q** (first-crossing 1.0–1.4× was not permanent; q=17: D*(22) back above the ceiling). W2s-a: G1 VOID, G2/G4 FAIL — the CONTROL is degenerate (two translated identical grids are symmetry-uniform, CV ~1e-12; cannot lose any evenness comparison). W5 pre-registered, run in flight at merge. |
 | **#934** | 2026-08-12 | Board hygiene #932/#933 + storm-geography refinement | MIXED. Refinement, each claim measurement-grounded: centering = tempered territory (spiral center structurally sub-floor at any N; shipped `find_center` already exact-register); collision annulus = golden (Go/territory framing); overlay = controlled chaos at 12 B/node; self-description asymmetry (tempered up to q, golden unbounded). Task causes the regime, geography sorts the tasks. Arc entry written one PR late, caught in #935's hygiene pass. |

.claude/board/PR_ARC_INVENTORY.md

@@ -54,6 +54,41 @@
 **Status:** MERGED (`e6e27829`). Branch `claude/jirak-math-theorems-harvest-rfii13`
 → `main`. Doc/plan/board only.
 
+## 2026-08-12 — lance-graph #938 (MERGED) — the W5 v2 RUN lands (B2 FAIL / B3 VOID confirmed) — and three more codex findings fixed same day, in the same PR
+
+- **Added.** `spiral_adi_probe.json` v2 (headline N=7 651 227, full-band
+  control, V-matched iterations, bump at 3.35σ mask clearance, BOTH link
+  families histogrammed) + a third dated update to
+  `E-ON-A-GOLDEN-LATTICE-LOCALITY-IS-FIBONACCI-MEMBERSHIP-1`. See the
+  RUN-results entry immediately below for the full B2/B3/B4 findings —
+  this entry adds only what changed AFTER that entry was first written,
+  same PR, same day.
+- **Locked — three more codex findings, fixed same day the RUN entry was
+  drafted, before merge.** (1) The control-link histogram covered only
+  family A (`if fam == 0`) while the ADI sweep uses BOTH stride families
+  every iteration — fixed: `build_control_links` now histograms both;
+  **family B independently measured at 99.56 % Fibonacci-offset rate**,
+  dominated by 4181=F(19), the OTHER member of the discovered pair
+  `[2584, 4181]` — exactly the mechanism's own prediction (each family's
+  near-neighbour scale IS its own discovered stride). The committed JSON
+  was patched via a targeted regeneration of just the histogram (the
+  fib/control/aniso results are independent of this fix and were not
+  rerun) — the number now has a committed, reproducible artifact behind
+  it. (2) "Four orders of magnitude apart" for the two tested N (62 208
+  and 4 782 017) was an arithmetic error: the true ratio is 76.9× ≈ **1.9
+  orders of magnitude**. (3) B4 was reported as satisfying its own
+  pre-registered bar (`n ∈ {8,10,12,14,17,19}`, only `n=21`
+  pre-authorized to drop) when v2 additionally dropped `n=19` under the
+  V-matched cost function — downgraded from a verdict to an explicit
+  DESCRIPTIVE reading over `n=8..17` only; B4 stays open until `n=19`
+  either runs or the bar is formally amended.
+- **Confidence.** High on B2/B3's core verdicts (unaffected by any of the
+  three fixes — all three corrected supporting evidence or scope
+  statements, not the pass/fail logic itself). B4 explicitly NOT settled.
+
+**Status:** MERGED (`f80cdb03`). Branch `claude/jirak-math-theorems-harvest-rfii13`
+→ `main`. Probe + docs — zero product code.
+
 ## 2026-08-12 — the W5 v2 RUN lands: B2 genuinely FAILS, B3's VOID is CONFIRMED at full headline scale (results of the fix committed in #936/`106ca605`; PR pending)
 
 - **Added.** `spiral_adi_probe.json` v2 (headline N=7 651 227, full-band

.claude/board/STATUS_BOARD.md

@@ -25,7 +25,7 @@ Wave 1 = parallel, no operator gate beyond go-ahead; gated rows named.
 
 | D-id | Deliverable | Wave | Status | Feeds |
 |---|---|---|---|---|
-| D-W5 | Spiral-ADI anisotropy (v2, full-band control, V-matched iterations, bump 3.35σ from mask) | 1 | **v2 RUN COMPLETE — B2 FAIL (real diffusion now resolved: aniso 1.5251 vs 1.25 bar, baseline through the clean mask = 1.0046, operator contributes ~0.52 anisotropy); B3 VOID CONFIRMED at full headline scale (99.68 % of 4.78M qualifying links land on a pure Fibonacci offset — stronger than the earlier 62k-point check, not weaker)** | domino.rs gather-design claim REFUTED at this test point (v1's "unblocked" was the same inert-operator artifact that also drove B2's false PASS); `E-ON-A-GOLDEN-LATTICE-LOCALITY-IS-FIBONACCI-MEMBERSHIP-1` strengthened, third dated update |
+| D-W5 | Spiral-ADI anisotropy (v2, full-band control, V-matched iterations, bump 3.35σ from mask) | 1 | **B2 FAIL / B3 VOID CONFIRMED / B4 INCOMPLETE** — B2: real diffusion resolved, aniso 1.5251 vs 1.25 bar, clean baseline 1.0046, operator contributes ~0.52. B3: family A 99.68 % + family B 99.56 % (both link families, QUALIFYING population n=4.78M out of the headline lattice N=7.65M, not the 62k sub-sample) land on a pure Fibonacci offset — dominated by the two discovered strides 2584=F(18)/4181=F(19) respectively. B4: downgraded to a DESCRIPTIVE reading over n=8–17 only — n=19 was dropped without pre-authorization, bar not satisfied, stays open | domino.rs gather-design claim REFUTED at this test point (v1's "unblocked" was the same inert-operator artifact that also drove B2's false PASS); `E-ON-A-GOLDEN-LATTICE-LOCALITY-IS-FIBONACCI-MEMBERSHIP-1` strengthened, third dated update; B4's n=19 remains an open follow-up |
 | D-W2sA | Golden-vs-grid pairing on real cos-lat metric (zero-ties G1, CV G2) | 1 | **RUN — G1 VOID, G2/G4 FAIL (control degenerate: two identical translated grids are symmetry-uniform, CV ~1e-12 — cannot lose any evenness comparison; diagnosed via smoke test, run as-specified, `E-A-CONTROL-THAT-CANNOT-LOSE-IS-NO-CONTROL-1`)** | honest falsifier for evenness DEFERRED (offset/rotation-varied or spacing-mismatched control); §10.5 properties 1–3 untouched |
 | D-W6 | Two-component deconvolution (geo + bow, global lstsq, 38 eqs / 2 params; B3 = stranded stratification via v_rel) | 1 | Queued | dipole vector-sum identification; F17 gate |
 | D-W2sB | α-window sweep β∈[0.85,1.15] | gated (W2s-a) | Queued | corridor α discriminator |