|
| 1 | +## 2026-08-12 — lance-graph #944 (MERGED) — `substrate-comfort-zones-v1` §2 rebuilt: horse race → CROSS-SWAP transfer matrix |
| 2 | + |
| 3 | +- **Added.** A rebuilt §2 for `.claude/plans/substrate-comfort-zones-v1.md` |
| 4 | + — a **4×4 donor × target transfer matrix** per geometry arm, |
| 5 | + `M[D][T]` = read regime `T`'s field through regime `D`'s codebook. |
| 6 | + Primary metric **Spearman `ρ`** (structure preservation); the quantity |
| 7 | + the hypothesis concerns is the derived **transfer loss** |
| 8 | + `L[D][T] = ρ[T][T] − ρ[D][T]`. RMSE/bias in Pa retained per cell as |
| 9 | + evidence the swap genuinely hurt — never the verdict. |
| 10 | +- **Why the rebuild.** Operator ruling, two messages: the method is |
| 11 | + *cross-swap and hypothesis testing, under the premise that the model |
| 12 | + CAPTURES the phenomenon but is NOT calibrated*; and *in science you hold |
| 13 | + variables constant to test the others — constancy is relative, so the |
| 14 | + design deliberately manufactures strong correlation differences, on the |
| 15 | + assumption those differences are fit to evaluate the hypothesis.* Against |
| 16 | + that premise v1's §2 was wrong **in kind**: it raced four calibration |
| 17 | + arms on RMSE, but a deliberately wrong calibration produces bad error BY |
| 18 | + DEFINITION — so `CAL-ABS-FOREIGN` is the measurement CONDITION, not a |
| 19 | + competitor that might lose. Racing a condition guarantees the answer. |
| 20 | +- **Collapsed.** `CAL-ABS-OWN` / `CAL-ABS-FOREIGN` stop being two arms — |
| 21 | + they are the **diagonal and off-diagonal of ONE arm's matrix**. Splitting |
| 22 | + them was the tell the design was still a race. |
| 23 | +- **The sharp consequence.** The dynamic arms (`CAL-RANK`, `CAL-FISHERZ`) |
| 24 | + have **no donor at all**, so their rows are flat and `L ≡ 0` **by |
| 25 | + construction** — which IS the property under test, not an artifact: a |
| 26 | + substrate carrying no absolute anchor cannot have that anchor be wrong. |
| 27 | + **C2 therefore requires BOTH halves**: that it hold exactly, AND that the |
| 28 | + identical code path be proven able to produce a NON-flat row (the |
| 29 | + can-it-DIFFER gate W5 already paid for once). |
| 30 | +- **Two NEW bars, for the second operator message.** **C1b** MEASURES |
| 31 | + constancy (`separation = between-box range / mean within-box σ ≥ 3`) |
| 32 | + instead of claiming it — below that, "held constant" is a label on a box, |
| 33 | + not a condition. **C1c** gives the suitability ASSUMPTION a falsifier: |
| 34 | + the regimes must differ in autocorrelation decay and rank-distribution |
| 35 | + shape, not merely in `\|∇p\|`; a null there **VOIDS** the reading rather |
| 36 | + than weakening it (the spread would have been manufactured on the wrong |
| 37 | + axis). |
| 38 | +- **Pre-registered before it could be explained away.** `L` is NOT |
| 39 | + guaranteed non-negative — a box whose own min/max is set by one outlier |
| 40 | + spreads its 256 levels badly, so a donor with a wider range can |
| 41 | + legitimately beat the diagonal. Recorded as informative, with the |
| 42 | + consequence stated: `ρ[T][T]` would then not be a valid reference for |
| 43 | + that box's `L̄[T]`, and C3's trend must be re-read against the |
| 44 | + best-available cell with the substitution said out loud. |
| 45 | +- **Caught by REVIEW, not by the author (CodeRabbit, same PR).** §2.3's |
| 46 | + summary passage still named the *foreign-donor* comparison as "the |
| 47 | + operator's hypothesis" while C4, `STATUS_BOARD` and the |
| 48 | + `INTEGRATION_PLANS` entry all correctly scored against the diagonal — |
| 49 | + **two incompatible verdict criteria, the weaker one holding the |
| 50 | + headline**, i.e. the swapped cell establishing merit, the exact tautology |
| 51 | + the rebuild existed to delete. Mechanism: §2.3 was written before C4 was |
| 52 | + sharpened and the sharpening was not propagated backwards. Fixed in |
| 53 | + `1756c518`, correction note kept beside the passage. |
| 54 | +- **Locked (unchanged by the rebuild).** The §1 regime ladder and its three |
| 55 | + preflight corrections (R1 CALM 10.2 → R2 OCEAN 14.9 → R3 ACTIVE 43.8 → |
| 56 | + R4 STORM 95.6, 9.3× range; elev σ ≤ 150 m admissibility; speed is not the |
| 57 | + discriminator); the exactly-equal sample budget; the geometry axis; the |
| 58 | + C0 control gate; the store-the-operands output contract; §5's non-claims. |
| 59 | + The scaffold was sound — the question was inverted. |
| 60 | +- **Deferred.** Everything measurable. **D-CZ-1, the control-losability |
| 61 | + smoke test, is still Queued and still gates every later cell.** D-CZ-2, |
| 62 | + 2b, 2c, 3..7 Queued. Zero code, zero probe runs, zero fetches in this PR |
| 63 | + — pre-registration only. |
| 64 | +- **Docs.** `EPIPHANIES.md` `E-A-HORSE-RACE-IS-NOT-A-CROSS-SWAP-1`; |
| 65 | + `INTEGRATION_PLANS.md` revision entry (same file, NOT a v2 — a |
| 66 | + pre-registration sharpened while every deliverable was still Queued, |
| 67 | + which is precisely when a design may change); `STATUS_BOARD.md` D-CZ rows |
| 68 | + re-cut with the old→new mapping recorded (C2→C4, C3→C3-reshaped, C4→C5, |
| 69 | + C5→C6, plus new C1b/C1c). Both append-only files suffix-verified. |
| 70 | +- **Honest scope.** No measured result was reinterpreted — only D-CZ-0 (the |
| 71 | + regime preflight) was DONE and it is untouched. v1's framing is preserved |
| 72 | + in place as §2's correction note, not deleted. |
| 73 | +- **Confidence.** `[H]` on the methodological finding — the reasoning is |
| 74 | + airtight GIVEN the premise, but the premise ("the model captures the |
| 75 | + phenomenon") is an assumption this plan does not test. `[G]` on nothing: |
| 76 | + this PR measures nothing. |
| 77 | + |
1 | 78 | ## 2026-08-12 — lance-graph #942 (MERGED) — the "mean" qualifier fix + `substrate-comfort-zones-v1` (the operator's calibration-vs-regime hypothesis, made falsifiable) |
2 | 79 |
|
3 | 80 | - **Added.** `.claude/plans/substrate-comfort-zones-v1.md` — the operator's |
|
0 commit comments