diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index 75c5510e4..d1b1fa7d4 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.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. | — | +| **#944** | 2026-08-12 | `substrate-comfort-zones-v1` §2 rebuilt: horse race → CROSS-SWAP transfer matrix | MIXED (plan revision + epiphany + a review-caught correction). Operator ruling: the method is cross-swap under the premise the model CAPTURES the phenomenon but is NOT calibrated — so miscalibration is the measurement CONDITION, not an arm, and RMSE under a deliberately wrong calibration is bad BY DEFINITION. §2 is now a **4×4 donor × target matrix** `M[D][T]`; primary metric Spearman `ρ`; the hypothesis's quantity is the derived **transfer loss** `L[D][T] = ρ[T][T] − ρ[D][T]`. `CAL-ABS-OWN`/`CAL-ABS-FOREIGN` collapse into ONE arm's diagonal/off-diagonal. The dynamic arms have **no donor**, so `L ≡ 0` by construction — the property under test, and **C2 requires BOTH** that it hold exactly AND that `CAL-ABS` be proven non-degenerate through the same code path (the can-it-DIFFER gate W5 paid for). Two NEW bars for the operator's constancy-is-relative point: **C1b** MEASURES constancy (`separation ≥ 3`) instead of claiming it; **C1c** gives the suitability ASSUMPTION a falsifier — regimes must differ in autocorrelation decay + rank-distribution shape, not merely in `\|∇p\|`, and a null there VOIDS the reading. `L < 0` pre-registered as informative (a donor's wider range can legitimately beat an outlier-set diagonal). **CodeRabbit caught the sticky half**: §2.3 still named the FOREIGN comparison as the hypothesis while C4/board scored against the diagonal — two incompatible verdict criteria, the weaker holding the headline; fixed `1756c518`. Fifth instance this arc of a claim consistent with its own operands but inconsistent with a SIBLING claim. Unchanged: the 4-tier regime ladder + its three preflight corrections, equal budget, geometry axis, C0 gate, output contract. **D-CZ-1 (control losability) still Queued and still gates every later cell.** Zero code, zero probe runs, zero fetches. | | **#942** | 2026-08-12 | "mean" qualifier fix + `substrate-comfort-zones-v1` (calibration × regime, made falsifiable) | MIXED. Plan states the operator's hypothesis as an INTERACTION (a poorly-calibrated adaptive substrate does relatively better in strong/turbulent storms than in calm regimes) across **4** held-constant regimes × formula × calibration quality — the preflight SPLIT "flatland" into calm and active tiers: R1 CALM Amazon (`\|∇p\|` 10.2) → R2 OCEAN S-Pacific (14.9) → R3 ACTIVE W-Siberia (43.8) → R4 STORM (95.6), a 9.3× range. "Worse everywhere but least-worse in storms" ≠ "better only in storms", and the plan distinguishes them. D-CZ-0 preflight DONE (sample-composition arithmetic run before the first fetch — it is what forced the 4-way split; units annotated at coefficient definition). **D-CZ-1, the control-losability smoke test, is PRESCRIBED BY the plan but Queued — not yet run**, and gates every later cell. D-CZ-2..6 Queued. Also fixed CodeRabbit's Minor on #941 — #940's 25 %/9 % figures are MEANS over 19 storms, qualifier restored (4th instance this week of scope-lost-in-summary). | | **#940** | 2026-08-12 | W6 lands — vector-sum dipole model VOID by its own anti-vacuity control; stranded stratum empty by CT-F14's filter arithmetic; same-PR sign/units correction round | B0 VOID: single-geo R²=−0.104 (worse than the mean); both controls (permuted P_bow, P_bow rotated 90°) clear the `≤single-geo+0.03` ceiling. B3 stranded (`\|v_storm\|<8 m/s`): n=0 — `displacement_km≥250`/6h implies `\|v_storm\|≥11.57 m/s` for every admitted storm, `E-THE-DISPLACEMENT-FILTER-ATE-THE-STRANDED-STRATUM-1`. Same-PR: codex+CodeRabbit caught a sign-convention bug (`D=-spine(...)`, matching `low_pole_bearing()`'s own flip; verified offline that this leaves R²/B0/B1/B3 unchanged, confirmed on the actual re-run) and a units error (`c_bow` is km⁻¹ not dimensionless; replaced with the dimensionally valid `\|c_bow·P_bow\|` vs `\|D\|` metric — mean-over-19-storms: geo≈25%, bow≈9% of mean `\|D\|`). CT-F17's gate now moot for this model form. | | **#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). | diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md index 19d265f0a..341c004ee 100644 --- a/.claude/board/PR_ARC_INVENTORY.md +++ b/.claude/board/PR_ARC_INVENTORY.md @@ -1,3 +1,80 @@ +## 2026-08-12 — lance-graph #944 (MERGED) — `substrate-comfort-zones-v1` §2 rebuilt: horse race → CROSS-SWAP transfer matrix + +- **Added.** A rebuilt §2 for `.claude/plans/substrate-comfort-zones-v1.md` + — a **4×4 donor × target transfer matrix** per geometry arm, + `M[D][T]` = read regime `T`'s field through regime `D`'s codebook. + Primary metric **Spearman `ρ`** (structure preservation); the quantity + the hypothesis concerns is the derived **transfer loss** + `L[D][T] = ρ[T][T] − ρ[D][T]`. RMSE/bias in Pa retained per cell as + evidence the swap genuinely hurt — never the verdict. +- **Why the rebuild.** Operator ruling, two messages: the method is + *cross-swap and hypothesis testing, under the premise that the model + CAPTURES the phenomenon but is NOT calibrated*; and *in science you hold + variables constant to test the others — constancy is relative, so the + design deliberately manufactures strong correlation differences, on the + assumption those differences are fit to evaluate the hypothesis.* Against + that premise v1's §2 was wrong **in kind**: it raced four calibration + arms on RMSE, but a deliberately wrong calibration produces bad error BY + DEFINITION — so `CAL-ABS-FOREIGN` is the measurement CONDITION, not a + competitor that might lose. Racing a condition guarantees the answer. +- **Collapsed.** `CAL-ABS-OWN` / `CAL-ABS-FOREIGN` stop being two arms — + they are the **diagonal and off-diagonal of ONE arm's matrix**. Splitting + them was the tell the design was still a race. +- **The sharp consequence.** The dynamic arms (`CAL-RANK`, `CAL-FISHERZ`) + have **no donor at all**, so their rows are flat and `L ≡ 0` **by + construction** — which IS the property under test, not an artifact: a + substrate carrying no absolute anchor cannot have that anchor be wrong. + **C2 therefore requires BOTH halves**: that it hold exactly, AND that the + identical code path be proven able to produce a NON-flat row (the + can-it-DIFFER gate W5 already paid for once). +- **Two NEW bars, for the second operator message.** **C1b** MEASURES + constancy (`separation = between-box range / mean within-box σ ≥ 3`) + instead of claiming it — below that, "held constant" is a label on a box, + not a condition. **C1c** gives the suitability ASSUMPTION a falsifier: + the regimes must differ in autocorrelation decay and rank-distribution + shape, not merely in `\|∇p\|`; a null there **VOIDS** the reading rather + than weakening it (the spread would have been manufactured on the wrong + axis). +- **Pre-registered before it could be explained away.** `L` is NOT + guaranteed non-negative — a box whose own min/max is set by one outlier + spreads its 256 levels badly, so a donor with a wider range can + legitimately beat the diagonal. Recorded as informative, with the + consequence stated: `ρ[T][T]` would then not be a valid reference for + that box's `L̄[T]`, and C3's trend must be re-read against the + best-available cell with the substitution said out loud. +- **Caught by REVIEW, not by the author (CodeRabbit, same PR).** §2.3's + summary passage still named the *foreign-donor* comparison as "the + operator's hypothesis" while C4, `STATUS_BOARD` and the + `INTEGRATION_PLANS` entry all correctly scored against the diagonal — + **two incompatible verdict criteria, the weaker one holding the + headline**, i.e. the swapped cell establishing merit, the exact tautology + the rebuild existed to delete. Mechanism: §2.3 was written before C4 was + sharpened and the sharpening was not propagated backwards. Fixed in + `1756c518`, correction note kept beside the passage. +- **Locked (unchanged by the rebuild).** The §1 regime ladder and its three + preflight corrections (R1 CALM 10.2 → R2 OCEAN 14.9 → R3 ACTIVE 43.8 → + R4 STORM 95.6, 9.3× range; elev σ ≤ 150 m admissibility; speed is not the + discriminator); the exactly-equal sample budget; the geometry axis; the + C0 control gate; the store-the-operands output contract; §5's non-claims. + The scaffold was sound — the question was inverted. +- **Deferred.** Everything measurable. **D-CZ-1, the control-losability + smoke test, is still Queued and still gates every later cell.** D-CZ-2, + 2b, 2c, 3..7 Queued. Zero code, zero probe runs, zero fetches in this PR + — pre-registration only. +- **Docs.** `EPIPHANIES.md` `E-A-HORSE-RACE-IS-NOT-A-CROSS-SWAP-1`; + `INTEGRATION_PLANS.md` revision entry (same file, NOT a v2 — a + pre-registration sharpened while every deliverable was still Queued, + which is precisely when a design may change); `STATUS_BOARD.md` D-CZ rows + re-cut with the old→new mapping recorded (C2→C4, C3→C3-reshaped, C4→C5, + C5→C6, plus new C1b/C1c). Both append-only files suffix-verified. +- **Honest scope.** No measured result was reinterpreted — only D-CZ-0 (the + regime preflight) was DONE and it is untouched. v1's framing is preserved + in place as §2's correction note, not deleted. +- **Confidence.** `[H]` on the methodological finding — the reasoning is + airtight GIVEN the premise, but the premise ("the model captures the + phenomenon") is an assumption this plan does not test. `[G]` on nothing: + this PR measures nothing. + ## 2026-08-12 — lance-graph #942 (MERGED) — the "mean" qualifier fix + `substrate-comfort-zones-v1` (the operator's calibration-vs-regime hypothesis, made falsifiable) - **Added.** `.claude/plans/substrate-comfort-zones-v1.md` — the operator's