Merge pull request #607 from AdaWorldAPI/claude/jirak-math-theorems-harvest-rfii13

Split location (helix Place) from impulse permeability (BF16 buffer) — the conflation, measured + fixed

Author: AdaWorldAPI

.claude/board/AGENT_LOG.md

@@ -1,3 +1,9 @@
+## 2026-06-24 (cont.⁴¹) — north-star: Substrate Unification Thesis + falsification ladder (zoom-out, doc-only)
+
+**Main thread (Opus), operator-directed ("zoom out — you have a vast open horizon but look at the shoes").** Stopped picking the next probe; wrote the substrate's north-star as a falsifiable thesis so the four converging sessions share ONE map instead of four nail-hammers. NEW `.claude/knowledge/substrate-unification-thesis.md` (READ BY: any session touching canonical_node / cascade key / place-buffer / codecs / "substrate" proposals). **Thesis (§0):** one 512-byte node, read N ways, IS every classical layer at once (PK / index / retrieval / inference / measurement), all the same prefix-and-table arithmetic — historic if true, "merely fast" if not; the program is deciding which. **Reframes captured:** (1) verification = proof-of-code (lossless containment / exact ancestry), NOT calibration (ICC/Berry-Esseen apply to the continuous embedding underneath, not the deterministic address on top — the seam is the centroid boundary); (2) every "improve" reduced to split-a-conflated-axis-pair → the mandate is "find the orthogonal basis + prove each axis a faithful code." **Basis (§2):** identity (helix place, ICC→1.0) ⊥ structure (part_of:is_a) ⊥ dynamics (BF16 buffer, ICC 0.51) ⊥ truth (NARS↔SL↔Beta bijection) ⊥ composition (semiring=retrieval-IS-inference) — five readings of one node, each anchored to a built artifact / measured number / cited theorem (SDM=attention 2111.05498, GNN=semiring-DP 2203.15544, PQ 1102.3828, CogNGen 2204.00619 as counterweight). **Self-reference (§3):** the ketchup = observer=observed (AGI threshold + measurement hazard); fix = split frozen-ruler (identity) from live-rubber (dynamics), same move cognition makes. **Falsification ladder (§4, ordered, each with a KILL):** F-code (prove it's a code) → F-1 (4⁴ vs flat-256 fidelity) → F-collapse (does the address beat a learned index/head? — the deciding gate, CogNGen the live counterweight) → F-update (RUM re-class cost → product class) → F-basis (does the split-program close?). **§6 states what kills the whole thesis up front** (keeps "better substrate" ✓ separate from "collapses the stack" `[H]`). Honest: thesis `[H]`, per-axis instances individually graded; convergence across 4 sessions is the strongest *evidence* but must be tested adversarially (shared blind spots vs shared truth). Doc-only, zero code, no collision. Rides a PR on jirak.
+## 2026-06-24 (cont.⁴⁰) — location/impulse-permeability split: helix Place + BF16 buffer; conflation MEASURED + fixed
+
+**Main thread (Opus), operator-directed (Socratic).** Operator diagnosed that `cascade_key`'s `place` (V1/V2/V3) is derived from the LIVE spectral embedding = the Laplacian impulse-response — so **location was conflated with impulse permeability** ("the substrate became the ketchup effect it measures"). Verified with the certified battery (`icc_a1`/`cronbach_alpha`/`spearman` vs `effective_resistance`): a probe REFUTED my clean interior/boundary hypothesis — ALL 24 buses flip their absolute cell under any line trip (absolute-octet ICC 0.14), because the spectral frame rotates (Davis-Kahan); only relative geometry survives (pairwise-distance α 0.98). Root cause = a category error (location ⊕ permeability fused), not just an unfixed gauge. **Fix shipped** (new `perturbation-sim/src/place_buffer.rs`, zero-dep): `helix_place(index, n)` = the helix **Place** convention (equal-area √u golden-spiral → 24-bit Morton → 3 place octets), a pure function of `(index,n)` that NEVER reads the grid → location is deterministic + perturbation-invariant by construction (inlined; `crates/helix` is canonical but pulls mandatory ndarray, disproportionate). Plus `BufferResidue` (8× BF16 conductance = the 3×3 Moore-stencil impulse permeability, the operator's `[3×3]` Umspannwerk model) + `f32_to_bf16`/`bf16_to_f32`. **Measured split** (`examples/location_buffer_split.rs`): conflated spectral place ICC 0.14 / ρ-vs-R_eff 0.46 → **helix LOCATION ICC 1.00 / ρ −0.08** (stable identity, orthogonal to dynamics ✓) and **BF16 BUFFER ICC 0.51** (responsive — its motion is the ketchup signal ✓). Honest correction: my predicted "buffer ρ-vs-R_eff high" was a metric-shape error (node-summary vs pairwise coupling) — buffer's role is its motion, not a pairwise ρ; corrected in the docs. **+3 tests** (location determinism+graph-independence, bf16 round-trip, buffer-moves-under-perturbation), clippy `-D warnings` + fmt clean. This restores the location ⊥ permeability orthogonality #509/#511 measured (`Spearman(λ₂,inertia)≈0`) that `cascade_key` had re-fused. EPIPHANIES `E-LOCATION-PERMEABILITY-CONFLATION`. Rides a PR on jirak.
 ## 2026-06-23 (cont.³⁹) — V3 (part_of:is_a) 8:8 tile for the electric grid + q2 V1/V2→V3 consumer-awareness
 
 **Main thread (Opus), operator-directed.** Operator: read q2 `OGAR_CONSUMER_INTEGRATION.md` + `V3_SOA_WIRING.md`, check which lance-graph/OGAR consumers need the V1/V2→V3 (`part_of:is_a`) bump, focus first on representing the Spain electric grid better with V3. **Access:** pygithub/api.github.com is org-app-gated (403) — but `raw.githubusercontent.com` + `GH_TOKEN` works (different host, dodges the gate); fetched both docs that way. **V3 insight:** each 16-bit HHTL tier is an 8:8 split — high byte = `part_of` (PLACE/where, mereology), low byte = `is_a` (TISSUE/what, taxonomy); high-byte chain prefix-routes containment, low-byte chain prefix-routes type; `EdgeBlock` in-family = `part_of` siblings = `connected_to`. V3 needs **no layout change** (interpretation of the locked 3×u16). **Consumer-awareness (reported):** lance-graph `canonical_node` (no 8:8 accessor — additive opportunity); my `cascade_key` #605 (V1/V2 spatial-only → bumped here); `contract::soa_graph`/`graph_render`; **live blocker** q2 `osint-bake/fma.rs` calls `NodeGuid::new_v2(...LEAF...)` — a 7-group API that does NOT exist in `canonical_node` (the doc flags it as `I-LEGACY-API-FEATURE-GATED`; V3 sidesteps it — 6-group-compatible). Did NOT touch that gate (other session's OGAR/contract surface) — flagged only. **Shipped (`perturbation-sim/src/cascade_key.rs`, additive to #605):** `IsaPath {class,kind,sub}` (the is_a low-byte chain) + `CascadeKeyV3 {heel,hip,twig}` (each tier `(place<<8)|tissue`) + `place_chain`/`tissue_chain`/`part_of_distance`/`is_a_distance`/`to_guid_tiers` + `cascade_keys_v3(grid, alive, &[IsaPath])` (place = 24-bit Morton spectral cell, 3 octets; tissue = is_a taxonomy). For the grid: `part_of` prefix = "which region blacked out", `is_a` prefix = "all generators/loads" — two orthogonal queries on ONE key (V1/V2 spatial-only couldn't). **+4 V3 tests (9 total green):** 8:8 packing, axis-independence, blackout part_of-locality + is_a separability (source vs sink distinct class bytes), isa-count guard. Example `spain_cascade.rs` extended with the V3 dual-query (source/sink roles read off the is_a byte). clippy `-D warnings` clean, fmt-clean. EPIPHANIES `E-V3-PART-OF-IS-A-TILE`. Rides a PR on jirak.

.claude/board/EPIPHANIES.md

@@ -28,6 +28,13 @@ discipline is the same: pull-first, edit-narrow, push-thin.
 
 **Source-of-finding:** OGAR #126 CI failure 2026-06-23 (`ogar-fma-skeleton`
 referencing `class_ids::BONE`).
+## 2026-06-24 — E-LOCATION-PERMEABILITY-CONFLATION — the address became the ketchup yield it measures; split helix-Place (location) from BF16-buffer (permeability)
+
+**Status:** FINDING (measured). **Confidence:** the split is shipped + measured on one grid; the orthogonality re-verification across a sweep is the open follow-up.
+
+`cascade_key`'s `place` (V1/V2/V3) is a quantization of the **live spectral embedding**, which IS the Laplacian impulse-response (effective resistance / Fiedler). So **location was conflated with impulse permeability**: the place-cell exhibits yield-stress (stable, then sudden flip across a centroid boundary) **isomorphic to the cascade it measures** — the instrument became the phenomenon. Diagnostic (certified battery vs `effective_resistance`): under any single line-trip, the absolute place cell flips for **every** bus (octet ICC 0.14) because the spectral frame rotates (Davis-Kahan); only relative geometry survives (pairwise α 0.98). This is a **category error** (location ⊕ permeability fused), and it re-broke the orthogonality #509/#511 measured (`Spearman(λ₂, inertia) ≈ 0`).
+
+The fix is two orthogonal axes (the canon's key/value split done right): **LOCATION = helix Place** (equal-area √u golden-spiral by a stable index — pure geometry, never reads the Laplacian → deterministic, perturbation-invariant); **PERMEABILITY = BF16 buffer residue** (8× conductance = the 3×3 Moore-stencil per Umspannwerk — the responsive axis where the ketchup yield is the *signal*). Measured: location ICC **0.14→1.00**, location ρ-vs-R_eff **0.46→≈0** (it is *not* the dynamics — correct demotion), buffer ICC **0.51** (it moves — the dynamics live here). Honest fence: "buffer ρ-vs-R_eff high" was a metric-shape error (node-summary vs pairwise coupling); the buffer's role is its motion, not a pairwise ρ. Deeper statistical consequence: a frozen palette-256 codebook (the gauge-fix) confines the weak-dependence to the *boundary-margin* set (margin-vs-‖E‖ per Davis-Kahan), not a global σ noise floor — but `cascade_key` re-derives the frame per call, so it is still in the floating/weakly-dependent regime until the codebook is frozen. Ref: AGENT_LOG cont.⁴⁰, `perturbation-sim/src/place_buffer.rs` + `examples/location_buffer_split.rs`; helix `Place/Residue` codec; #509/#511/#513 `inertia_buffer`/`INERTIA_SLOT`.
 
 ## 2026-06-24 — E-CLASSID-FMA-PATIENT-COLLISION — `CLASSID_FMA = 0x0901` aliased OGAR `patient`; retargeted to the Anatomy domain `0x0A01`