docs(v3): planner-SoA reality audit — type-level real, wiring-level dormant; 3 deltas

KanbanMove already unifies mailbox/witness/libet/exec at the contract
level; supervisor + core + symbiont WIRED; planner crate is the gap
(zero SoA-view refs, zero classid awareness, GATE-1 false friend).
W2b gains real-owner integration probe; M15 upgraded to blocking
before any planner->kanban emission.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MLBnPuScZy6w9di2QEjsXM

Author: claude

.claude/board/EPIPHANIES.md

@@ -1,3 +1,8 @@
+## 2026-07-02 — E-V3-PLANNER-SOA-AUDIT-1: planner SoA is TYPE-LEVEL reality, wiring-level dormant — the gap is exactly the planner boundary
+**Status:** FINDING (grep-verified inventory, file:line cites in AGENT_LOG; answers operator "is the planner SoA already reality?")
+
+The unified coupling EXISTS at the contract level: KanbanMove (kanban.rs:151) already carries mailbox + witness_chain_position + libet_offset_us + exec:ExecTarget in one <=16B Copy struct, and KanbanColumn::advance_on_gate consumes contract mul::GateDecision. WIRED: supervisor KanbanActor (contract types verbatim, zero duplication), lance-graph core SoA reads (mailbox_scan.rs, markov_soa.rs, scheduler.rs — real generic MailboxSoaView consumers), symbiont POC owner. DORMANT: (a) planner emission — style_strategy.rs is an honest pass-through ("faking a KanbanMove would be theatre"), batch_writer is the W1e todo! skeleton; (b) KanbanActor integration — only ever spawned over its own TestBoard, NEVER over the production MailboxSoA<N> (mailbox_soa.rs:786). ABSENT: (c) lance-graph-planner never references MailboxSoaView/Owner AT ALL (zero grep hits; depends only on contract); (d) OGAR/classid awareness in planner + supervisor — zero hits both; (e) planner mul/gate.rs GateDecision {Proceed,Sandbox,Compass} is a FALSE FRIEND of contract mul::GateDecision {Flow,Hold,Block} (GATE-1/M15) — the planner's gate never reaches advance_on_gate. Consequences folded into the plan: W1b closes (a); W2b gains a spawn-over-real-MailboxSoA<N> integration probe for (b); W2 gains a classid-awareness wiring item for (c)+(d) — MailboxSoaView ALREADY exposes class_id, wire don't invent; M15 rename upgraded to blocking-before-W2 (the collision would silently route the wrong gate into the kanban arc).
+
 ## 2026-07-02 — E-V3-KANBAN-SESSION-1: graph-flow SessionStorage backed by the mailbox kanban board = the replayable langgraph handler
 **Status:** FINDING (operator direction + Fable-5 synthesis; M25 + W3b sharpening in .claude/v3/)
 

.claude/v3/INTEGRATION-PLAN.md

@@ -196,3 +196,23 @@ replayable langgraph handler." Folded as:
   the bench worker reports rig's provider/store traits.
 - W1e status: probes landed RED (probe-first honored); KanbanMove/KanbanColumn
   already shipped in contract kanban.rs — the skeleton consumes them, zero mints.
+
+### Addendum-4 2026-07-02 — planner-SoA reality audit (operator question) → 3 wiring deltas
+
+Verdict: **type-level reality, wiring-level dormant.** KanbanMove already
+unifies mailbox/witness/libet/exec; supervisor + lance-graph core + symbiont
+are WIRED; the planner crate is the gap (zero MailboxSoaView references,
+zero classid awareness, style_strategy pass-through, mul-gate false friend).
+Deltas:
+1. **W2b += integration probe**: spawn KanbanActor over the REAL
+   MailboxSoA<N> (today: TestBoard-only — proven mechanics, unproven
+   integration).
+2. **W2 += classid-awareness wiring**: planner reads class_id through
+   MailboxSoaView (the getter already exists — wire, don't invent);
+   supervisor likewise if move-routing needs read modes.
+3. **M15 upgraded to BLOCKING-before-W2**: planner mul/gate.rs
+   GateDecision{Proceed,Sandbox,Compass} vs contract
+   mul::GateDecision{Flow,Hold,Block} — rename the planner-local one
+   BEFORE any planner->kanban emission lands, or the wrong gate routes
+   into advance_on_gate silently.
+Full inventory with file:line cites: E-V3-PLANNER-SOA-AUDIT-1 + AGENT_LOG.