Merge pull request #371 from AdaWorldAPI/claude/causaledge64-mailbox-rename-soa-v1

plan(causaledge64-mailbox-rename-soa-v1): composition spec + 10 epiphanies + board PREPENDs

Author: AdaWorldAPI

.claude/board/EPIPHANIES.md

@@ -65,6 +65,54 @@ stay as historical references.
 
 ## Entries (reverse chronological)
 
+## 2026-05-14 — E-CE64-MB-1..10: CausalEdge64-mailbox + sparse-rename composition (10 epiphanies)
+
+10 epiphanies from the recursive-fresh-eyes architectural pass culminating in `.claude/plans/causaledge64-mailbox-rename-soa-v1.md`. Branch: `claude/resolve-pr-369-conflicts-ozMXd`. PR #370 in flight. Each epiphany is composition, not invention — every piece had existing plan/spec authoring before this session.
+
+### E-CE64-MB-1 — Universal sparse-rename pattern (CPU-shaped, load-bearing)
+
+Every architectural identity (G = OGIT domain, W = witness palette, style = ThinkingStyle/cognitive primitive/verb, truth = qualia band) renames to a hot-path slot via per-session-ephemeral `AttentionMask` SoA. Cold form lives unbounded in AriGraph / OGIT / contract. Physical form is 2-8 bit slot in CausalEdge64. **Per-session different rename tables = per-session different focus-of-attention.** Same 5-bit G means different domains in different sessions because the rename table differs. Same pattern as CPU register renaming, SSA register allocation, and TLB virtual-to-physical mapping. Closes a class of "type duplication" debt by collapsing 4 TrustTexture copies + 4 ThinkingStyle copies into one canonical field with documented projection lenses. Cross-ref: `.claude/plans/causaledge64-mailbox-rename-soa-v1.md` §2.
+
+### E-CE64-MB-2 — Role-as-mailbox retires Vsa16kF32 as universal carrier
+
+The 47 `LazyLock<RoleKey>` slice catalogue allocations across Vsa16kF32 (~3 MB if all materialized) collapse to 47 typed mailbox kinds (~50 KB). `vsa_bind(role_key, content)` becomes `mailbox::dispatch(content)` — a method call into the role-typed compartment. `vsa_bundle` (Σ across role keys) becomes witness aggregation in AriGraph. `vsa_permute` (positional braiding) becomes the mailbox's `TemporalWindow` lifecycle. Slice geometry (SUBJECT[0..4K) / PREDICATE[4K..8K) / etc.) becomes mailbox identity — no need for 16K float slots when 47 typed mailbox kinds suffice. **Vsa16kF32 retreats to its honest role: single-cycle Markov-bundle carrier for grammar parsing role-binding, dropped at cycle end.** No cumulative state in Vsa16kF32 anywhere. Cumulative state lives in AriGraph SPO-G quads + EdgeColumn CausalEdge64 emissions. Strengthens I-VSA-IDENTITIES iron rule. Cross-ref: §9 E-CE64-MB-2.
+
+### E-CE64-MB-3 — Christmas-tree AriGraph decoration via SPO-G + ghost edges
+
+Compartment epiphanies emit directly to AriGraph as SPO-G quads (G = OGIT domain pointer). Unresolved hole-forms from SPOW tetrahedron emit as ghost edges at Pearl rung 3 (counterfactual) or rung 7 (full-cf). Ghosts hibernate in AriGraph until evidence arrives. **AriGraph IS the long-term memory; the rename table is the working memory.** Eviction-from-working-memory ≠ deletion-from-long-term-memory. The mind always decorates; the tree never resets. New evidence on an evicted domain rebinds a fresh slot, potentially re-evicting another, and the ghost edges in AriGraph immediately reactivate as candidate hole-fills. Cross-ref: `oxigraph-arigraph-cognitive-shader-soa-merge-v1.md` §8 SPOW tetrahedron + §9 Gaussian splat hole-board.
+
+### E-CE64-MB-4 — Ownership-typed compartments make UB a compile error
+
+Each MailboxSoA row owns its delta buffer; BindSpace columns are `Arc`-shared with `BindSpaceView<'_>` zero-copy borrows and CollapseGate as single point of mutation. Cross-compartment communication can only flow as CausalEdge64 emissions (Copy, 8 bytes). The borrow checker **rejects** any code that tries to alias mutable BindSpace columns across compartments. **Race conditions at 200ns cycle speed become compile errors, not runtime bugs.** This is the same property Erlang's "share nothing" actors give you, but enforced statically by Rust's type system rather than dynamically by the runtime.
+
+### E-CE64-MB-5 — Particle/wave duality in Rust semantics (not metaphor)
+
+Particle = the owned compartment row in MailboxSoA (discrete, type-safe, Drop-managed lifecycle bounded by `TemporalWindow`). Wave = the CausalEdge64 emission rippling through EdgeColumn (BindSpace Column D) and decorating AriGraph SPO-G quads (continuous influence, non-local, no shared mutable state across compartments). **Both fall out of the same single rule: compartments own, AriGraph aggregates, CausalEdge64 crosses.** Not a metaphor — a structural property of the type system. The mailbox is a particle because the borrow checker forces it; the witness is a wave because AriGraph SPO-G quads + ghost edges make non-local influence the only cross-compartment path.
+
+### E-CE64-MB-6 — The gRPC service shape IS the ractor message protocol
+
+`crates/cognitive-shader-driver/src/grpc.rs` (LAB-ONLY behind `--features grpc`) defines `Dispatch(DispatchRequest) -> CrystalResponse` over tonic. **That IS the ractor mailbox handler shape.** Same Request/Response pair, same typed payload (`ShaderDispatch` + `CrystalResponse`), same no-shared-state contract. The transport varies: tonic gRPC (Zone-3 boundary), InMemoryMailbox via par-tile (cycle-speed Zone-1), TokioMailbox via existing `CallcenterSupervisor` (Zone-2 µs-ms), SupabaseSubMailbox (Zone-3 egress wrapper). **One protocol, four backings, transport-agnostic.** Reuse, don't invent. The lab-only gRPC service becomes the production ractor protocol simply by adding non-gRPC backings.
+
+### E-CE64-MB-7 — Truth qualia is 2 bits with 4 consumer lenses
+
+`TrustTexture` (Crystalline/Solid/Fuzzy/Murky-or-Dissonant), Wisdom markers, Staunen depth, MUL `GateDecision` (Proceed/Sandbox/Compass) are **four consumer-lens projections of the same 2-bit physical field**. Same byte position in CausalEdge64. Same architectural identity in `lance-graph-contract::mul::TrustTexture`. Different semantic vocabulary per consumer. Consolidates 4 type duplications into one canonical field with documented projection rules. Cross-ref: `.claude/plans/causaledge64-mailbox-rename-soa-v1.md` §2 lens table.
+
+### E-CE64-MB-8 — Σ10 Rubicon dispatching IS the substrate-tier router
+
+The named Σ1-Σ10 tier doctrine from `linguistic-epiphanies-2026-04-19.md` E21 (10 tiers × edge-type STATIC/EMERGENT/TWIG/EPIPHANY × Pearl rung 1-5 × theta repair/growth) finally gets a runtime dispatcher: `SigmaTierRouter` maps incoming compartment-spawn requests to the correct mailbox backing by tier band. Σ1-Σ5 STATIC reflexes → TokioMailbox (Zone 2). Σ6 EMERGENT + Σ7-Σ8 TWIG branching → InMemoryMailbox (Zone 1 cycle-speed). Σ9-Σ10 EPIPHANY → escalate to L4 `lance-graph-planner` strategy registry. **Wires what was previously documented-but-unwired.**
+
+### E-CE64-MB-9 — JIT pipeline closes Gap 3 from THINKING_ORCHESTRATION_WIRING
+
+The "FieldModulation → ScanParams → JitTemplate → Cranelift → KernelHandle" pipeline that exists across 3 repos but was never executed end-to-end: compartment-spawn IS the call site. Spawn message includes style-slot index; AttentionMask resolves to architectural ThinkingStyle; if `KernelHandle` cached, dispatch immediately; if not, JIT-compile via `crates/lance-graph-planner/src/strategy/jit_compile.rs` from YAML descriptor and cache. **End-to-end finally fires.** Gap 1 (Contract Not Consumed) also closes because the 8-bit style slot rename collapses the 12 vs 36 ThinkingStyle copies into one canonical form.
+
+### E-CE64-MB-10 — Plasticity emerges naturally from MailboxSoA columns
+
+Every successful emission increments `plasticity_counters[(role, G)]` co-occurrence bit-counter on the MailboxSoA. Spawn priors next cycle bias toward high-count pairings — Hebbian "fired together wired together." Counterfactual ghosts emit at low-counter slots (synaptic pruning). Pruning triggers (thinking-budget-exhausted, outcome-sufficient, XOR-cancel-with-sibling) fire from existing elevation `should_elevate()` + MUL `GateDecision::Proceed` + CollapseGate XOR-zero. **No new mechanism — just SoA columns + LRU on AttentionMask + bit-counter increment on emission + existing elevation/MUL/CollapseGate composed.** Two clocks naturally separated: fast (per-emission bit-counter) + slow (NARS truth-revise at AriGraph commit).
+
+**Composition gate**: all 10 epiphanies above are realized by the 7-PR composition in `.claude/plans/causaledge64-mailbox-rename-soa-v1.md` §7. None require new architectural authoring — every piece had a named plan or spec before this session. The work is sequencing + the `par-tile` crate apex + the Σ-tier dispatcher.
+
+---
+
 ## 2026-05-13 — DECISION: sprint-7 meta OQ-7-2 + OQ-7-3 resolved — AuditSink trait unification
 
 Post-sprint-7 implementation, Opus meta surfaced a critical cross-impl risk (CC-7-1) and two open questions blocking the sprint-7 PR open:

.claude/board/INTEGRATION_PLANS.md

@@ -35,6 +35,49 @@
 - **Confidence** — **mutable**: Working / Partial / Broken — see PR #N
 
 
+---
+
+## causaledge64-mailbox-rename-soa-v1 — CausalEdge64 mailbox + sparse-rename SoA composition (authored 2026-05-14)
+
+- **Plan:** `.claude/plans/causaledge64-mailbox-rename-soa-v1.md`
+- **Author + date:** main thread (Opus 4.7 1M), 2026-05-14, branch `claude/resolve-pr-369-conflicts-ozMXd`.
+- **Status:** Active (draft, pre-execution).
+- **Scope:** Compose 5 already-authored plans + Σ10 Rubicon doctrine + 1 genuine ndarray-side gap into a single substrate where ractor mailboxes carry CausalEdge64 emissions, share BindSpace via zero-copy views, communicate cross-compartment via SPOW witnesses persisted to AriGraph SPO-G quads, and rename architectural identities (OGIT domain / witness palette / thinking style / truth) into 5-8 bit physical slots via session-ephemeral `AttentionMask` rename SoA. Result: ownership-typed reasoning compartments with compile-time UB-impossibility, ~1.5 KB per compartment, supporting ~24K parallel thoughts at 200ns cycle speed across ≤32 active OGIT domains.
+- **Deliverables (immutable, 9 D-ids across 7 PRs):**
+  - D-CE64-MB-1 — CausalEdge64 v2 layout extension (G:5, W:6, truth:2 reclaim from reserved 13 bits) in `crates/causal-edge/`
+  - D-CE64-MB-2 — PAL8 round-trip regression test (v1 ↔ v2 binary compat)
+  - D-CE64-MB-3 — NarsTables LUT regression test (key-bearing bits 0-50 unchanged)
+  - D-CE64-MB-4 — `AttentionMask` SoA + LRU eviction + broadcast notifications in `crates/par-tile/`
+  - D-CE64-MB-5 — `AttentionMaskActor` ractor singleton wrapping rename tables
+  - D-CE64-MB-6 — Property tests for rename round-trip + LRU + eviction broadcast
+  - D-CE64-MB-7 — `MailboxSoA<N>` + lifecycle methods (`push_row`, `dispatch_cycle`, `drop_row`) in `crates/par-tile/`
+  - D-CE64-MB-8 — `BindSpaceView<'_>` with row-range + column-mask filter (zero-copy borrow into shared `Arc<BindSpace>`)
+  - D-CE64-MB-9 — Property tests for spawn-dispatch-prune + XOR-cancel + plasticity counter + intent gate strictness
+- **PR sequencing (7 PRs):**
+  - PR-CE64-MB-1: `par-tile` crate apex (~1500 LOC, new crate, no consumers yet)
+  - PR-CE64-MB-2: CausalEdge64 v2 layout (~400 LOC, binary compat critical)
+  - PR-CE64-MB-3: BindSpace Columns E/F/G/H per `bindspace-columns-v1` Phase 2 (~800 LOC)
+  - PR-CE64-MB-4: SPO-G quad mode + ghost-edge persistence in AriGraph per `ogit-g-context-bundle-v1` D-OGIT-G-1 (~600 LOC)
+  - PR-CE64-MB-5: MailboxSoA + AttentionMaskActor cross-crate wiring (~1200 LOC)
+  - PR-CE64-MB-6: SigmaTierRouter + cycle-speed InMemoryMailbox backing + Σ10 Rubicon dispatcher (~1500 LOC, new dispatcher, replaces ad-hoc paths)
+  - PR-CE64-MB-7: Bevy `NdarrayCullPlugin` proof plugin (~500 LOC bevy side)
+- **Composes (deps):** `bindspace-columns-v1` (Phase 2 implementation) · `oxigraph-arigraph-cognitive-shader-soa-merge-v1` (SPOW §8 + Gaussian splat §9 + 64²/256²/4096² planes) · `ogit-g-context-bundle-v1` (D-OGIT-G-1 SPO-G u32 slot) · `pr-g2-ractor-supervisor` (Tokio shape shipped #366 S7-W3) · `pr-j-1-int4-32d-atoms` (cold-start K-NN fallback) · `thought-cycle-soa-awareness-integration-v1` (AwarenessPlane16K / GrammarMarkovLens64 / ReasoningWitness64 / ThoughtCycleSoA factoring) · `tetrahedral-epiphany-splat-integration-v1` (Gaussian splat integration) · `jc-pillars-runtime-wiring-v1` (JC Pillar 10/11 math kernels).
+- **Doctrine anchors:** Σ10 Rubicon Tier Architecture (`linguistic-epiphanies-2026-04-19.md` E21 — 10 tiers × edge-type × Pearl rung × theta mode); VSA switchboard three-layer architecture (`.claude/knowledge/vsa-switchboard-architecture.md`); lab-vs-canonical-surface (`.claude/knowledge/lab-vs-canonical-surface.md` — Wire DTO Zone 3 only); encoding-ecosystem (`.claude/knowledge/encoding-ecosystem.md` — palette/CAM-PQ/HHTL cascade roles).
+- **Closes / unblocks:**
+  - PR #355 deferred Tier B: FIX-4 (codebook_index bit-collision via 256² PaletteSemiring binning), FIX-5 (`trust_below_floor` wiring test via Column H landing), per-row `BindSpace.context_ids` for `driver.rs:311` (Column H = `TypeColumn: EntityTypeId u16`).
+  - `THINKING_ORCHESTRATION_WIRING.md` Gap 1 (Contract Not Consumed — 12 vs 36 ThinkingStyle) via AttentionMask 8-bit-slot rename collapse.
+  - `THINKING_ORCHESTRATION_WIRING.md` Gap 3 (JIT pipeline never executed end-to-end) — compartment-spawn consumes `KernelHandle` from `lance-graph-planner::strategy::jit_compile`.
+  - `THINKING_ORCHESTRATION_WIRING.md` Gap 4 (Elevation not connected to execution) — SigmaTierRouter IS the runtime elevation policy.
+  - TD-INT4-32D-ATOMS-6 (cold-start proximity) — OQ-4 K-NN fallback path.
+  - TD-THINKING-ENGINE-UNWIRED-1 (582 KB cognitive substrate dormant) — `BindSpaceView` references resolve thinking-engine encode/decode + lens stack on demand.
+  - Type-duplication debt (TrustTexture 4 copies, ThinkingStyle 4 copies) — via lens-collapse + 8-bit-slot rename.
+- **Iron rule compliance:** I-SUBSTRATE-MARKOV preserved (Vsa16kF32 retreats to single-cycle Markov bundle; cumulative state moves to AriGraph SPO-G + CausalEdge64); I-NOISE-FLOOR-JIRAK noted as σ-threshold OQ at sign-off; I-VSA-IDENTITIES strengthened (Vsa16kF32 no longer universal-carrier means content-bundling temptation is removed); I1 preserved (CollapseGate single point of mutation); method-on-carrier discipline preserved (no new free functions).
+- **Open design questions (OQ-1 through OQ-8 in §11):** Σ-tier banding policy (OQ-1), ghost-edge NARS decay vs fixed-rung (OQ-2), plasticity granularity (OQ-3), INT4-32D cold-start wiring (OQ-4), rayon vendor decision (OQ-5), Vsa16kF32 final residence (OQ-6), AwarenessColumn sizing (OQ-7), SpoWitness shape variants (OQ-8).
+- **Confidence (2026-05-14):** Pre-execution. Architecture is composition of named-and-reviewed pieces, not new invention. Risk concentrates in §3 CausalEdge64 bit-layout reclaim (must not break PAL8 serialization or NarsTables LUT layout — explicit regression tests D-CE64-MB-2 + D-CE64-MB-3 gate the merge).
+- **Cross-PR refs:** PR #355 (Pillar 0 + cascade columns SHIPPED), PR #366 (sprint-7 + Tokio ractor shape SHIPPED), PR #369 (Tier-A close + lance_cache schema bump SHIPPED), PR #370 (schema versioning + cfg(miri) bypasses + Miri sweep — in-flight on `claude/resolve-pr-369-conflicts-ozMXd` branch).
+- **Blast radius (§10):** New code in 5 crates (par-tile NEW + causal-edge / cognitive-shader-driver / lance-graph-supervisor / lance-graph::arigraph extensions). Zone 3 surface (postgrest / drain / grpc / supabase-realtime) completely unchanged. `lance-graph-callcenter` Zone-2 surface unchanged except `CallcenterSupervisor` gains `SigmaTierRouter` sub-actor. **Supabase realtime transcode logic complemented, not retired.**
+- **Recursive-eyes acknowledgments:** 3rd pair (bevy session — diamond dep graph + Slice↔Plane bridge + NdarrayCullPlugin proof-first); 4th pair (semantic naming over shape, `MultiLaneColumn` already named, 5-Layer Stack already named); 5th pair (Vsa16kF32 single-purpose correction, two-shape ractor framing, INT4-32D as North Star); 6th pair (ephemeral BindSpace + role-as-mailbox + space-time-collapse + external-intent gate + Ractor-SoA + Think-as-reference); 7th pair (CausalEdge64-as-emission-carrier + truth-collapse + 24K parallel thoughts via 32-slot session-ephemeral sparse rename + 12/34/144 hot-context pattern + zone-naming clarification).
+
 ---
 
 ## 2026-05-13 — Status correction: `super-domain-rbac-tenancy-v1` Tier A nearly complete; follow-up PR + Tier B+ harvest