Skip to content

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

Merged
AdaWorldAPI merged 1 commit into
mainfrom
claude/causaledge64-mailbox-rename-soa-v1
May 14, 2026
Merged

plan(causaledge64-mailbox-rename-soa-v1): composition spec + 10 epiphanies + board PREPENDs#371
AdaWorldAPI merged 1 commit into
mainfrom
claude/causaledge64-mailbox-rename-soa-v1

Conversation

@AdaWorldAPI
Copy link
Copy Markdown
Owner

Summary

Composition spec for the CausalEdge64-mailbox-rename-SoA substrate. No code changes — this PR is plan + board hygiene only, per CLAUDE.md Mandatory Board-Hygiene Rule (new integration plan → INTEGRATION_PLANS.md PREPEND + .claude/plans/<name>-v<N>.md + EPIPHANIES.md PREPEND).

What this composes

Five already-authored plans + Σ10 Rubicon doctrine + one genuine ndarray-side gap (crates/par-tile/) into a single substrate:

  • CausalEdge64 v2 layout — in-place reclaim of 13 reserved bits for (G:5, W:6, truth:2). No type bump; PAL8 + NarsTables LUT preserved by explicit regression tests.
  • AttentionMask SoA — session-ephemeral CPU-shaped rename register file (32-slot G ↔ u32 OGIT domain, 64-slot W ↔ witness palette, 256-slot style ↔ {12 | 34 | 144} alphabets, 4-level truth). LRU eviction + broadcast notifications.
  • MailboxSoA — compartment topology as SoA rows (NOT spawned actors). ~1.5 KB per compartment via shared Arc<BindSpace> + tiny delta-buffer + outbound CausalEdge64 channel + Option<ConsumerHandle> external-intent gate. Supports ~24K parallel thoughts at 200ns cycle speed across ≤32 active OGIT domains.
  • Truth-band lens collapseTrustTexture / Wisdom / Staunen / MUL GateDecision are four consumer-lens projections of the same 2-bit physical field. Closes 4 type duplications.
  • gRPC service shape IS the ractor message protocolcrates/cognitive-shader-driver/src/grpc.rs Dispatch(DispatchRequest) -> CrystalResponse reused across 4 transport backings (InMemory cycle-speed / Tokio Zone-2 / SupabaseSub Zone-3 / gRPC Zone-3-lab).
  • Σ10 Rubicon SigmaTierRouter — wires the named-but-unwired Σ1-Σ10 tier doctrine (linguistic-epiphanies-2026-04-19.md E21) to runtime mailbox-backing dispatch. Σ1-Σ5 STATIC → Tokio; Σ6-Σ8 EMERGENT/TWIG → InMemoryMailbox cycle-speed; Σ9-Σ10 EPIPHANY → escalate to L4 planner.
  • Vsa16kF32 retreats from universal-carrier to single-cycle Markov-bundle. Cumulative state moves to AriGraph SPO-G quads + Christmas-tree ghost-edge decoration.
  • Ownership-typed UB-impossibility — borrow checker rejects cross-compartment BindSpace aliasing; race conditions at 200ns cycle speed become compile errors.

7-PR sequencing (this PR is plan only; the 7 implementation PRs follow)

# Scope LOC Risk
PR-CE64-MB-1 crates/par-tile/ apex (new crate) ~1500 Low
PR-CE64-MB-2 CausalEdge64 v2 layout + PAL8/NarsTables regression ~400 Med (binary compat critical)
PR-CE64-MB-3 BindSpace Columns E/F/G/H per bindspace-columns-v1 Phase 2 ~800 Med (SoA layout change)
PR-CE64-MB-4 SPO-G quad mode + ghost-edge persistence in AriGraph ~600 Med
PR-CE64-MB-5 MailboxSoA + AttentionMaskActor wiring ~1200 Med
PR-CE64-MB-6 SigmaTierRouter + InMemoryMailbox backing ~1500 High (new dispatcher)
PR-CE64-MB-7 Bevy NdarrayCullPlugin proof plugin ~500 (bevy side) Low

PR-2/3/4 can land in parallel after PR-1. PR-5 depends on all three. PR-6 depends on PR-5. PR-7 is the proof step.

Closes / unblocks

  • PR feat(palantir-cascade): 11 deliverables across 12 agents in 3 waves (Pillar 0 realized) #355 deferred Tier B: FIX-4 (codebook_index bit-collision via 256² PaletteSemiring binning), FIX-5 (trust_below_floor wiring test via Column H), 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 8-bit-slot rename collapse
  • THINKING_ORCHESTRATION_WIRING.md Gap 3 (JIT pipeline never executed end-to-end) — compartment-spawn consumes KernelHandle
  • THINKING_ORCHESTRATION_WIRING.md Gap 4 (Elevation not connected) — SigmaTierRouter IS the runtime elevation policy
  • TD-INT4-32D-ATOMS-6 — cold-start K-NN fallback via OQ-4 path
  • TD-THINKING-ENGINE-UNWIRED-1BindSpaceView references resolve thinking-engine encode/decode + lens stack on demand
  • Type-duplication debt (4 TrustTexture, 4 ThinkingStyle copies) via lens-collapse + rename

Blast radius (§10 of the spec)

  • 5 crates affected: par-tile NEW + causal-edge / cognitive-shader-driver / lance-graph-supervisor / lance-graph::arigraph extensions
  • Zone 3 surface UNCHANGED — postgrest / drain / grpc / supabase-realtime endpoints untouched
  • lance-graph-callcenter Zone-2 surface unchanged except CallcenterSupervisor (already shipped impl(sprint-7): 7-worker implementation wave for sprint-5/6 specs + AuditSink trait unification #366 S7-W3) gains SigmaTierRouter sub-actor
  • Supabase realtime transcode logic complemented, not retired — the transcode reads Lance commits the same way it always has; ractor populates AriGraph SPO-G quads + Lance row inserts, transcode reads downstream

Iron rule compliance

Rule Compliance
I-SUBSTRATE-MARKOV Preserved + strengthened (Vsa16kF32 retreat removes content-bundling temptation)
I-NOISE-FLOOR-JIRAK Explicit σ-threshold OQ at sign-off
I-VSA-IDENTITIES Strengthened (universal-carrier role retires; identities-only discipline now strict)
I1 (BindSpace read-only; CollapseGate bundles) Preserved — single mutation point
Method-on-carrier discipline Preserved — no new free functions
AGI-as-glove SoA invariant Preserved — Topic/Angle reads, Thinking/Planner writes via existing column conventions

Open design questions (§11 — 8 OQs)

OQ-1 Σ-tier banding policy · OQ-2 ghost-edge decay vs fixed-rung · OQ-3 plasticity granularity · OQ-4 INT4-32D cold-start wiring path · OQ-5 rayon vendor decision · OQ-6 Vsa16kF32 final residence · OQ-7 AwarenessColumn sizing · OQ-8 SpoWitness shape variants. Ratify before sprint worker fan-out (per §15 readiness checklist).

Files changed

  • NEW: .claude/plans/causaledge64-mailbox-rename-soa-v1.md (~600 lines, 15 sections, comprehensive composition spec)
  • PREPEND: .claude/board/INTEGRATION_PLANS.md (plan index entry with 9 D-ids + 7-PR sequencing + composes/closes + iron-rule audit)
  • PREPEND: .claude/board/EPIPHANIES.md (10 epiphanies E-CE64-MB-1 through E-CE64-MB-10)

3 files changed, +685 lines. Zero code changes — pure plan + board hygiene.

Test plan

  • Plan doc renders cleanly (markdown)
  • INTEGRATION_PLANS.md PREPEND format matches existing entries (append-only governance preserved)
  • EPIPHANIES.md PREPEND format matches existing entries
  • No code in this PR — nothing to compile or test
  • Reviewer ratifies §11 OQ-1 through OQ-8 before sprint-10 worker fan-out
  • Reviewer confirms §10 blast radius accurately preserves Supabase realtime transcode surface

Status: Active (draft, pre-execution). Sprint worker fan-out follows OQ ratification. Per CLAUDE.md Model Policy, sprint workers Sonnet + Opus meta per CCA2A 12-worker pattern.

🤖 Generated with Claude Code


Generated by Claude Code

…anies + plan-index PREPEND

Composes 5 already-authored plans + Σ10 Rubicon doctrine + 1 genuine
ndarray-side gap into a single substrate:

* CausalEdge64 v2 layout — in-place reclaim of 13 reserved bits for
  G(5) + W(6) + truth(2). No type bump; PAL8 + NarsTables LUT preserved.
* AttentionMask SoA — session-ephemeral CPU-shaped rename register file
  (32-slot G, 64-slot W, 256-slot style, 4-level truth). LRU eviction +
  broadcast notifications. CPU register renaming applied to cognitive
  identities.
* MailboxSoA — compartment topology as SoA rows (NOT spawned actors).
  ~1.5 KB per compartment via shared Arc<BindSpace> + tiny delta-buffer
  + outbound CausalEdge64 channel + Option<ConsumerHandle> external-
  intent gate. Supports ~24K parallel thoughts at 200ns cycle speed
  across <=32 active OGIT domains.
* TrustTexture/Wisdom/Staunen/MUL truth-band lens collapse — 2 bits
  with 4 consumer-lens projections. Closes 4 type duplications.
* SPOW witness emission via gRPC-shape protocol — same Request/Response
  pair, 4 transport backings (InMemory cycle-speed / Tokio Zone-2 /
  SupabaseSub Zone-3 / gRPC). Reuse, don't invent.
* Σ10 Rubicon SigmaTierRouter — wires the named-but-unwired Σ1-Σ10
  tier doctrine to runtime mailbox-backing dispatch.
* Vsa16kF32 retreats from universal-carrier to single-cycle Markov-
  bundle. Cumulative state moves to AriGraph SPO-G quads + Christmas-
  tree ghost-edge decoration.
* Ownership-typed UB-impossibility — borrow checker rejects cross-
  compartment BindSpace aliasing; race conditions at 200ns become
  compile errors.

7 PRs sequenced: PR-CE64-MB-1 (par-tile new crate) → 2 (CausalEdge64
v2 layout) + 3 (BindSpace E/F/G/H) + 4 (SPO-G in AriGraph) parallel →
5 (MailboxSoA wiring) → 6 (SigmaTierRouter) → 7 (NdarrayCullPlugin
bevy proof). ~6-9 weeks, 3 sprints CCA2A 12-worker fan-out per
sprint.

Closes:
- PR #355 deferred Tier B: FIX-4, FIX-5, per-row BindSpace.context_ids
- THINKING_ORCHESTRATION_WIRING Gap 1 / Gap 3 / Gap 4
- TD-INT4-32D-ATOMS-6 cold-start fallback wiring
- TD-THINKING-ENGINE-UNWIRED-1 (582 KB substrate dormant)

Blast radius: 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) UNTOUCHED.
Supabase realtime transcode complemented, not retired.

Iron rules: I-SUBSTRATE-MARKOV preserved + strengthened (Vsa16kF32
retreat); I-VSA-IDENTITIES strengthened (universal-carrier
temptation removed); I1 preserved (CollapseGate single mutation
point); method-on-carrier discipline preserved (no new free
functions).

Board-hygiene per CLAUDE.md: PREPEND INTEGRATION_PLANS.md entry +
PREPEND EPIPHANIES.md 10-entry block (E-CE64-MB-1..10). Plan path
.claude/plans/causaledge64-mailbox-rename-soa-v1.md. STATUS_BOARD
+ LATEST_STATE updates land per-PR as D-CE64-MB-N rows ship.

Status: Active (draft, pre-execution). 8 OQs at §11 ratify before
sprint worker fan-out.

Recursive-eyes acknowledgment: 3rd pair bevy session (diamond +
Slice<->Plane bridge + NdarrayCullPlugin proof-first); 4th pair
(semantic naming, MultiLaneColumn already named, 5-Layer Stack
already named); 5th pair (Vsa16kF32 single-purpose, two-shape
ractor, INT4-32D 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 + truth collapse + 24K parallel thoughts + 12/34/144 hot
pattern + zone-naming clarification).
@AdaWorldAPI AdaWorldAPI merged commit 5bbe208 into main May 14, 2026
AdaWorldAPI pushed a commit that referenced this pull request May 14, 2026
… CCA2A fleet

Sets up sprint-log-10 directory + MANIFEST.md for the CCA2A worker
fleet that drafts the per-PR specs for the CausalEdge64-mailbox-
rename-soa-v1 composition plan (PR #371).

12 Sonnet workers (W1-W12, each owns one spec file) + 1 Opus meta
reviewer producing brutally-honest cross-spec review at
.claude/board/sprint-log-10/meta-review.md.

Spec assignments map 1:1 to the 7 PRs in the parent plan's §7
sequencing table + 1 ndarray-side prerequisite (PR-NDARRAY-MIRI-
COMPLETE) + 4 cross-cutting specs (PR dep graph, test plan
unification, sprint execution plan, board hygiene).

Adds explicit board + specs permissions to .claude/settings.json:
- Bash(tee -a .claude/board/sprint-log-10/**:*) for scratchpads
- Write(.claude/board/sprint-log-10/**) for MANIFEST/meta-review
- Write(.claude/specs/<each-named-spec-file>) for worker outputs
  (defensive — workers can only write their assigned file)

Wildcards already covered most paths; explicit entries match the
sprint-log-8 convention (per its MANIFEST.md doc) so workers see
their authorized paths without ambiguity.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants