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

docs(substrate): §8 strong form — the substrate as a full-stack compiler

Author: AdaWorldAPI

.claude/board/AGENT_LOG.md

@@ -1,3 +1,7 @@
+## 2026-06-24 (cont.⁴²) — strong form §8: the substrate as a full-stack compiler (thesis capstone, doc-only)
+
+**Main thread (Opus), operator-directed ("Holy Grail" → "continue") + cross-session feedback.** Appended **§8 "The strong form — the substrate as a full-stack compiler"** to `substrate-unification-thesis.md` (the doc shipped cont.⁴¹). §0–§7 read ONE node five ways; §8 asks: what if the VALUE SLAB itself is homogeneous in the key's algebra and `classid` is a schema pointer? Then the 512-byte node becomes a *compilation unit*: data → index → schema → view. **§8.1 homogeneous facet** `[H]` — carve value as N×16-byte facets, each a `(part_of:is_a)` cascade (`facet_classid(4) | 6×(8:8)=12`); a NEW `ValueSchema::Homogeneous` ALONGSIDE the existing `ValueTenant` columns → layout-preserving, no `ENVELOPE_LAYOUT_VERSION` bump (vs a key re-carve = canon-level). **Conflation trap named up front:** not every facet is part_of:is_a — scalars (susceptance/price/timestamp) aren't hierarchical, forcing them into 8:8 is the §1 split-error in reverse; honest form = scalar facets carry PQ codes, `facet_classid` discriminates codec-per-facet, **gated on F-1** (faithful centroids) + F-code (lossless). **§8.2 classid dual-dispatch** `[H]` — one radix lookup yields BOTH `classid→ReadMode` (codec: place⊕residue = Helix ⊕ CAM-PQ, the OGAR deterministic-phase/stored-magnitude split) AND `classid→ClassView` (schema: rails/AST/ERP, the OGAR `has_function`/`inherits_from` harvest); failure mode = drift between the two tables (`I-LEGACY-API-FEATURE-GATED` in spirit). **§8.3 LEGO** `[S]` — EdgeBlock click across domains via shared OGAR codebook (`canonical_concept_id`); compile = SPO manifest→ClassView, run = SoA under `UnifiedStep`/semiring; bounds: shared-concept lattice only (else adapter bricks at the membrane), structure⊥flow, core-gap extended not hacked; CONJECTURE until `PROBE-OGAR-ADAPTER-UNICHARSET` green. **§8.4 view layer** `[S]` — ClassView→askama, **Redmine as donor** (sharpened by other-session feedback): `Redmine::FieldFormat`→codebook-kind→cell-renderer map (partonomy tile→link/enum, value-quantile→number/gauge, identity→reference), `Query`/`QueryColumn`→ClassView→lenses→cells, `CustomField`/`CustomValue`→customattribute lens per classid. **The one real seam** = askama compile-time vs custom-fields runtime; three reconciliations (codegen / generic-renderer / **hybrid=the answer**: static type-safe shell + dynamic codebook cells = the `jinja<>dynamic classview` arrow), all inside the firewall (build-time codegen-from-manifest = sanctioned "compile types", medcare-rs Iron Rule 7). **Payoff closes the loop:** row/table = the **4th projection** of the node (next to 3D scene/graph/splat — `TorsoMap` three tenants→four); §0's "one object, N readings" reaches the screen. **§8.5** — §8 inherits §4's gates (8.1→F-1+F-code, 8.2→F-collapse, 8.3/8.4→OGAR core-first probe); §8-specific KILL = **homogeneity non-closure** (if facets are irreducibly heterogeneous, §8 reduces to "key is a schema pointer"). Honest line: engineering rungs (§2 axes, #605/#607) shipped & real; the full-stack-compiler reading is a coherent bet whose every load-bearing joint already has a named, un-run probe. Doc-only, zero code, no collision. Rides a fresh PR on jirak (#607 merged → jirak==main).
+
 ## 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.

.claude/board/EPIPHANIES.md

@@ -29,6 +29,39 @@ failure were caught and fixed without compounding drift.
 
 **Closes:** the 11-class cross-axis gap. **Next:** odoo-rs alignment_pin
 tighten + pin bump to OGAR main (5089c1e8 → 597ecb12 family).
+## 2026-06-24 — E-HOMOGENEOUS-FACET-IS-CLASSVIEW-NOT-VARIANT — the §8 homogeneous facet is a `classid → ClassView` reading, NEVER a new `ValueSchema` enum variant
+
+**Status:** FINDING (caught by Codex P2 on PR #610, verified against canon).
+
+The thesis §8.1 + the SoA value-tenant migration plan v1 originally framed the
+homogeneous-facet value as a *new additive* `ValueSchema::Homogeneous` variant
+"alongside" the existing tenants, sold as layout-preserving + no-version-bump.
+**That contradicts a locked guardrail.** Adding a `ValueSchema` enum case is a
+*contract-surface* addition even when the byte layout is untouched, and the
+canon forbids a plan/thesis from minting one:
+
+- `core-first-transcode-doctrine.md:72` — "`classid → ClassView` … **No new
+  layer, no new `ValueSchema` variant.**"
+- `genetic-research-substrate-integration-v1.md:14-16` — the #496 §0
+  anti-invention guardrail + the **#500 no-new-variant contract test**:
+  rows ride `Full` / `Compressed`; specialisation is via `classid → ClassView`
+  mint, not a variant.
+- `ocr-canonical-soa-integration-v1.md:93-102` — "do **NOT** add a 5th
+  `ValueSchema::Ocr` … the rule that holds is **no new enum variant from a
+  plan**."
+
+**Corrected framing (both docs fixed in the same PR):** the homogeneous facet is
+a **ClassView reading that interprets the value bytes of an existing preset** —
+the `ValueSchema` enum AND the 16/16/480 layout both stay untouched, no
+`ENVELOPE_LAYOUT_VERSION` bump, no #500 violation. IF a dedicated preset is ever
+judged necessary, that is an **operator decision lifting #496/#500** with the
+contract test updated in the same change — never a free additive a thesis
+assumes. **Lesson:** "layout-preserving" ≠ "contract-surface-preserving"; an
+enum-variant add is the latter even when the bytes don't move. The default for
+any new value shape is a ClassView reading over `Full`/`Compressed`, not a new
+`ValueSchema` case. (Same PR also softened the §8.3 "no adapter" claim — the
+per-port codebook lookup still mediates; only the bespoke A→B *translation*
+boundary disappears — and tagged a bare markdown fence per CodeRabbit.)
 
 ## 2026-06-23 — E-OGAR-API-EDIT-PULL-FIRST — API-based file edits MUST pull-then-splice; uploading pre-edited local files regresses upstream main
 

.claude/board/INTEGRATION_PLANS.md

@@ -1,3 +1,26 @@
+## 2026-06-24 — soa-value-tenant-migration-v1 (BRIEF; harvest-pending)
+
+Plan: `.claude/plans/soa-value-tenant-migration-v1.md`. NOT the migration —
+the orientation + **harvest brief** + **5+3 sign-off protocol** that produces it.
+4 sessions / 3 phases: P0 (this brief) → P1 (**1 harvest session** returns the
+inventory: per-tenant name / def_site / offset-width / axis / codec / producers /
+consumers / migration_class / layout-preserving? / conflation_risk / gate /
+board_status, + an honest completeness note) → P2 (**2 independent 5+3 sessions**
+sign off, convergence=signal). §2 names WHERE to read (canonical_node.rs ground
+truth → contract SoA columns + SoaEnvelope/#477 → cascade_key/place_buffer/
+INERTIA_SLOT prototypes → producers AND consumers incl. BBB pullers + q2 new_v2
+blocker → LATEST_STATE Contract Inventory) under the **read-not-grep** discipline
+(grep locates, full Read comprehends; pointers are leads, not facts). §3 = the
+per-tenant gates (layout-preserving vs canon-level bump; I-LEGACY-API-FEATURE-GATED
++ field-isolation matrix; the conflation trap incl. scalars-aren't-hierarchical→PQ
+gated on F-1; iron rules; no hot-path serialization; producers⊥consumers). §5
+migration body left a SKELETON (additive `ValueSchema::Homogeneous`+`FacetCascade`
+first → homogenize part_of:is_a tenants → PQ-code scalars after F-1 → KEEP the
+irreducibly-heterogeneous = the honest §8.5 homogeneity-non-closure outcome). §6
+5+3 = savants truth-architect/iron-rule-savant/dto-soa-savant/baton-handoff-auditor/
+container-architect + reviewers brutally-honest-tester/overclaim-auditor/firewall-warden.
+Doc-only. Rides PR on jirak. Cross-ref: substrate-unification-thesis §8.
+
 ## 2026-06-23 — integration-actionhandler-rbac-orchestration-v1 (PLAN; shipped)
 
 Plan: `.claude/plans/integration-actionhandler-rbac-orchestration-v1.md`. The