W5 RUN — B2 PASS (280× margin), B3 structurally VOID (locality IS Fibonacci membership, 99.38 % verified), B4 smooth with no knee

.claude/board/EPIPHANIES.md

@@ -1,3 +1,75 @@
+## 2026-08-12 — E-ON-A-GOLDEN-LATTICE-LOCALITY-IS-FIBONACCI-MEMBERSHIP-1
+
+**Status:** FINDING `[G]` — W5 RUN (`spiral_adi_probe.py`/`.json`) + a
+targeted verification measurement, both committed.
+
+**The claim.** On a Vogel/golden lattice, a *local* non-Fibonacci control
+for stride-structure experiments **does not exist** — not "is hard to
+build," does not exist. Locality and Fibonacci-family membership are the
+same property, by the three-distance theorem: a point's near neighbours in
+physical space are exactly the points at convergent-denominator index
+offsets, and for the golden angle the convergent denominators ARE the
+Fibonacci numbers.
+
+**How three successive control designs discovered this by failing
+differently.** W5's B3 control went through three generations, each
+correcting the last: (1) strides 12/18 — wrong SCALE (connects points
+nowhere near each other); (2) strides 1500/2600 — magnitude-matched but
+still wrong scale in disguise (angular residues 0.05/0.11 vs the true
+pair's 0.00028/0.00017 — two to three orders larger); (3) the
+distance-matched shuffled-neighbour control — picks, per point, the REAL
+nearest lattice neighbour closest in physical distance to the true partner,
+excluding that partner. Generation 3 is the strongest possible local
+control — and the RUN shows it changes nothing: anisotropy ratio
+control/fib = **0.9996** (B3 bar: ≥1.5 → **VOID** by its own
+pre-registered rule).
+
+**The diagnosis, then the verification — in that order.** The suspicion:
+generation 3's "non-Fibonacci" partners are themselves Fibonacci-offset
+points, because on this lattice there is nothing else nearby to pick.
+Measured directly (N=62 208, family-A control links): **99.38 % of the
+control's links have a Fibonacci |Δk|** — top offsets 233, 987, 610
+(all Fibonacci) and 1220 (= 2·610). The control never left the family.
+The three-generation arc is therefore not a story of bad control design
+but a **constructive proof sketch of the impossibility**: wrong-arithmetic
+⟹ wrong-scale on a golden lattice, in both directions, because the
+three-distance theorem couples the two.
+
+**Consequences.**
+- **W5's B3 question ("does the smoothing depend on the strides being
+  Fibonacci?") is unanswerable BY A LOCAL CONTROL on this lattice** — and
+  that is the honest verdict, not a probe defect. What CAN be said: the
+  ADI smoothing quality is governed by local step geometry, and on a
+  golden lattice, having correct local step geometry and being
+  Fibonacci-linked are the same thing.
+- **Companion to `E-A-CONTROL-THAT-CANNOT-LOSE-IS-NO-CONTROL-1` (below,
+  same day): that entry's failure mode is a control that cannot LOSE;
+  this one's is a control that cannot DIFFER.** Both carry zero
+  information when they "work" — and both were caught only because the
+  runs happened and the results were interrogated instead of banked.
+- A genuine falsifier for the Fibonacci-dependence question would have to
+  leave locality: e.g. compare against a DIFFERENT lattice (jittered
+  grid, Halton) with its own natural neighbour structure under the same
+  stencil — deferred, scoped as a different experiment, not a fourth
+  control generation on the same lattice.
+
+**The positive results this run also delivered (recorded here since B3's
+VOID would otherwise overshadow them):** **B2 PASS** at the headline
+N=7 651 227 — iso-fit error **0.00053** against the 0.15 bar (≈280×
+margin), anisotropy 1.213 vs the 1.25 bar: two Fibonacci-stride
+tridiagonal sweeps DO approximate an isotropic 2D diffusion, which is the
+load-bearing half for the domino.rs spiral-ADI design. **B4**: smooth
+monotone improvement across the floor sweep (iso 0.44 → 0.0001 from n=8
+to n=19, N=52.4M), **no knee at n=17** — on this metric the operator's
+17/21 floor reads as a comfortable safety margin, per the pre-registered
+two-sided reading. Honest residual: the anisotropy asymptotes at **~1.213
+across three decades of N** (1.28/1.22/1.213/1.213 at n=12/14/17/19) —
+an N-independent, structural ~21 % second-moment anisotropy of the
+operator/geometry itself (band-restricted chains on polar geometry), not
+a resolution artifact; it passes the 1.25 bar but does not tend to 1.0,
+and any future tightening of that bar below ~1.22 would need this
+mechanism addressed first.
+
 ## 2026-08-12 — E-A-CONTROL-THAT-CANNOT-LOSE-IS-NO-CONTROL-1
 
 **Status:** FINDING `[G]` — both instances measured this session, committed

.claude/board/LATEST_STATE.md

@@ -855,6 +855,8 @@ 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. | — |
+| **#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. |
 | **#933** | 2026-08-12 | 4 codex fixes on merged #932 + `golden-vs-tempered-stride-v1` (head-vs-gut plan) | MIXED. Fixes: W5 bump sub-floor despite "fixed" N (local index = √(r²N), not √N → N=3·F(17)², bump r=0.75, bands 1–2 excluded); tie test redefined per-source (d1/d2 ratio); 17-TET sign convention unified; B3 control distance-matched (residue arithmetic exposed 1500/2600 as wrong-scale in disguise). Plan: T1 crossover at m≈q across 8 q; T2 golden 68–106× ahead at m=200q; T3 tempered fills q/q by proof vs golden 124/140 at q=140; T4 naive φ-rounding collapses at 39 % of q∈[8,300). "Best stride" declared metric-dependent (3 metrics → 3 different winners at q=17). |
 | **#932** | 2026-08-12 | Golden-ratio index floor (≥17/21) + temperament mechanism; W5/W2s-a re-specced before any worker ran | Merged BEFORE its own 4 review findings could be addressed (fixed in #933). Floor: F-convergents behave like φ only from n≈17–21 (err 1.5e-4 → 1.8e-7 → 3.7e-9); emergent parastichy pair ≈ √N ⇒ N ≳ F(17)². Mechanism: temperament — coprime closure + distributed comma (12 fifths miss by +23.46 ct; 17-TET fifth exact by construction, +3.93 ct/fifth spread) = D-QUANTGATE's anti-moiré dither. `E-THE-GOLDEN-STEP-IS-THE-WRONG-STEP-AT-SMALL-Q-1` + `ISS-HELIX-GOLDEN-STEP-LABEL`. Chat-register quotes paraphrased out of all committed artifacts (12 sites). |
 | **#930** | 2026-08-12 | #929 hygiene → grew into an open-review sweep of #920–#930 + report §10 (product-lead program) + `weather-w-probes-v1` (Sonnet worker briefs) | MIXED (started as pure hygiene, corrected its own description twice per the #927 lesson). Sweep found 3 ledger figures wrong (R² "5th decimal" claim, "10 probes" undercount, "+13/−0,+10/−0,+0/−0" audit figures) and replaced the append-only audit itself (zero-deletions → suffix check, both halves measured, the new check correctly flags this very PR). §10 = measurement standard + dipole vector-sum model incl. stranded-storm regime + corridor α + queue-and-bow + sunflower/spiral-ADI substrate. Worker briefs W5/W2s-a/W6 ready; CT-F17 gated on W6 + independent adversarial audit. See sweep entry, `.claude/board/PR_ARC_INVENTORY.md` for the correction table — the figures in #928's/#929's rows below are SUPERSEDED by that entry, not edited in place. |

.claude/board/PR_ARC_INVENTORY.md

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

.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: Vogel N=4096, iso ≤0.15 & aniso ≤1.25, non-Fibonacci stride control ≥1.5× | 1 | Queued | domino.rs gather design; [H] flags §10.5 |
+| D-W5 | Spiral-ADI anisotropy (final spec: N=3·F(17)²=7.65M, bump r=0.75, distance-matched control) | 1 | **RUN — B2 PASS (iso 0.00053 vs 0.15, aniso 1.213 vs 1.25); B3 VOID structurally (control links are 99.38 % Fibonacci — three-distance theorem: locality IS family membership, `E-ON-A-GOLDEN-LATTICE-LOCALITY-IS-FIBONACCI-MEMBERSHIP-1`); B4 smooth, NO knee at n=17 (floor = safety margin on this metric, per the pre-registered second branch)** | domino.rs gather design UNBLOCKED by B2; honest residual: structural ~21 % aniso asymptote flagged for any bar below 1.22 |
 | 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 |

.claude/plans/weather-w-probes-v1.md

@@ -272,6 +272,52 @@ verdicts: {B2, B3, B4}}`.
 
 ---
 
+### RUN, 2026-08-12 (`spiral_adi_probe.py` / `.json`) — B2 PASS, B3 VOID (structurally, with the diagnosis verified), B4 smooth with no knee
+
+| bar | verdict | measured |
+|---|---|---|
+| **B2 ISO** (headline N=7 651 227) | **PASS** | iso-fit rel-L2 **0.00053** vs the 0.15 bar (≈280× margin); anisotropy **1.2134** vs the 1.25 bar |
+| **B3 CONTROL** | **VOID** (its own pre-registered rule) | ratio control/fib = **0.9996** vs the ≥1.5 bar — the distance-matched control smooths identically |
+| **B4 floor sweep** | run in full, n=8..19 (n=21 NOT RUN per budget, recorded) | iso 0.4405 → 0.1004 → 0.0245 → 0.0057 → 0.00053 → 0.0001; aniso 6.55 → 1.65 → 1.28 → 1.223 → 1.2134 → 1.2129 |
+
+**B3's VOID is structural, and the diagnosis was VERIFIED before being
+written down** (`E-ON-A-GOLDEN-LATTICE-LOCALITY-IS-FIBONACCI-MEMBERSHIP-1`):
+measured at N=62 208, **99.38 % of the control's links have a Fibonacci
+|Δk|** (top offsets 233, 987, 610, plus 1220 = 2·610). On a Vogel lattice
+the near neighbours ARE the Fibonacci-offset points (three-distance
+theorem: physical proximity ⟺ convergent-denominator index offset), so a
+distance-matched local control CANNOT leave the family — the third control
+generation didn't fail at its job, it proved the job impossible. The
+Fibonacci-dependence question is unanswerable by any local control on this
+lattice; a genuine falsifier must change the lattice (jittered grid /
+Halton under the same stencil), deferred as its own experiment.
+
+**B4's two-sided pre-registered reading lands on the second branch:** the
+curve improves smoothly and monotonically from n=8 through n=19 with **no
+knee at n≈17** — on this metric the index floor is a **safety margin, not
+a mechanism**, exactly the outcome the §0 rule said must be reported
+plainly if measured. (The floor retains its independent justification from
+the convergent-error ladder and the T1/T2/T3/T4 duel results; what this
+sweep shows is that the ADI smoothing quality specifically does not
+exhibit a threshold at the floor.)
+
+**Honest residual, flagged for any future bar-tightening:** anisotropy
+asymptotes at **~1.213 across three decades of N** (n=12→19) — an
+N-independent structural ~21 % second-moment anisotropy of the
+band-restricted polar chain geometry itself, not a resolution artifact.
+It passes the 1.25 bar; a future bar below ~1.22 would need this
+mechanism addressed first, not more points.
+
+**Two implementation notes a rerun should know:** the qualifying-band rule
+(inner radius ≥ r_floor) resolves to **bands 4–8**, and the brief's older
+"bands 3–8" label is off-by-one against its own parenthetical (the rule
+wins). Discovery found the expected emergent pairs per band —
+[2584, 4181] = F(18)/F(19) in the qualifying bands at the headline N, with
+the inner (excluded) bands showing the lower-index transition exactly as
+the parastichy-index arithmetic predicts.
+
+---
+
 ## §2 BRIEF W2s-a — golden two-lattice pairing on REAL lat/lon geometry (Sonnet, zero fetch)
 
 **File:** `sunflower_pairing_probe.py`. **Seed:** 20260812. **No network.**