Merge pull request #1177 from AdaWorldAPI/claude/bindspace-soa-wiring-plan-2026-09

plan: the BindSpace→MailboxSoA migration, re-derived from the tree

Author: AdaWorldAPI

.claude/board/INTEGRATION_PLANS.md

@@ -1,3 +1,47 @@
+## 2026-09-05 — `bindspace-mailbox-soa-wiring-v1` (MEASURED, ready-to-execute)
+
+`.claude/plans/bindspace-mailbox-soa-wiring-v1.md`. The BindSpace → MailboxSoA
+migration re-derived from the CURRENT tree (`9f8aa779`, #1174) rather than from
+the three design-stage plans that precede it. Headline: **the migration is far
+more built than the board records, and is blocked on nothing.**
+
+`BackingStoreWrite` (`backing.rs:164-314`) already carries 9 write methods with
+BOTH arms real — no `todo!()`, no no-op — and has **zero callers outside its own
+test module**; `driver.rs` never names it. The read shim beside it
+(`BackingStore`, 6 methods) IS wired. `tests/w2_differential.rs` holds 4 real
+bit-identity equivalence tests. All of it sits behind `mailbox-thoughtspace`,
+which **no workflow builds** — so the equivalence harness and every `Mailbox`
+write arm have zero CI coverage and can rot silently.
+
+The blocker that looked real is settled: the `Vsa16kF32` cycle plane is *"NEVER
+migrated"* by design (`mailbox_soa.rs:140`), its dispatch value is computed
+transiently (`driver.rs:367/372`, never read from storage), and its ONE
+production reader (`engine_bridge.rs:412`) is already gated out under the
+feature with the trade recorded in-source as a documented loss.
+
+Corrects three board facts: `COMPONENT-MAP.md:108` rules retirement *"(W7)"* —
+**no W7 exists** (`INTEGRATION-PLAN.md` runs W0–W6) and the retirement has no
+D-id; the parity gate is at `:1361` not `:1145`; and there are **two** parity
+tests, the second (`:1480`) covering `content`, the heaviest plane.
+
+Sequencing only supersedes FOUR prior plans, the closest a **stranded
+council-hardened namesake**: `origin/claude/bindspace-mailbox-soa-wiring-plan`
+carries a `bindspace-mailbox-soa-wiring-v1.md` dated 2026-06-17 (3-brutal-critic
+pass applied) that is **not on main** and sits 2770 commits divergent — found only
+by a push collision on the branch name; nothing on the board points at it. Its
+P0/P1 findings are all CLOSED in today's tree (content_row `:680`; the W1c
+populated-count `:217` + prefilter clamp `backing.rs:79`), and its binding
+operator constraints — *two paths step by step; never delete the old before the
+new is tested; CausalEdge64 dedup precise; delete BindSpace LAST* — are carried
+forward in §7. Also supersedes `bindspace-mailbox-soa-dependency-map-v1`,
+`bindspace-singleton-to-mailbox-soa-v1`, `bindspace-mailbox-soa-w3-w4a-impl-v1`
+— all three predate `backing.rs` (#844, 2026-07-24); none is superseded in
+content. Their cited in-flight branch is 0-ahead/1204-behind and carries no
+relevant files.
+
+M0 is one CI line, with exact precedent at `rust-test.yml:158-173`. Retirement
+(M4) stays proof-gated and explicitly NOT NOW, per guardrails §1 rule 8 and the
+§2 footgun row naming both *"add new writers to it"* and *"remove it"*.
 ## 2026-09-05 — `nexgen-mask-histogram-thresholds-v1` (PROPOSAL) — lives under `.claude/nexgen/plans/`
 
 `.claude/nexgen/plans/nexgen-mask-histogram-thresholds-v1.md`. D-NXG-1..12. The

.claude/board/STATUS_BOARD.md

@@ -1,3 +1,28 @@
+## bindspace-mailbox-soa-wiring-v1 (D-ids minted 2026-09-05 with the plan)
+
+`.claude/plans/bindspace-mailbox-soa-wiring-v1.md`. The BindSpace→MailboxSoA
+cutover, re-derived from the tree rather than from the four prior plans. The
+shim is built and unwired: `BackingStoreWrite` (`backing.rs:164-314`) carries 9
+write methods with both arms real and **zero callers outside its own test
+module**, and everything mailbox-side sits behind `mailbox-thoughtspace`, which
+no workflow builds — so 4 bit-identity equivalence tests and every Mailbox write
+arm have zero CI coverage.
+
+Ids are minted in the plan body AND here, deliberately: a board-only mint is
+invisible to `supersession_index.py`'s coverage column, which is the root cause
+`ISS-PLAN-TRACKING-IS-UNENFORCED` (#1156) names and the D-PRLR section below
+records against itself.
+
+| D-id | deliverable | status |
+|---|---|---|
+| D-BSW-0 | Put the feature under CI in **BOTH** configurations — `--features mailbox-thoughtspace` AND `--features with-engine,mailbox-thoughtspace` (plan §4 M0). One job is NOT the deliverable: `dispatch_busdto` and `busdto_bridge_test.rs` are `with-engine`-gated (`engine_bridge.rs:280`), so a mailbox-only job compiles neither and stays green while the paired configuration breaks. Today the 4 `w2_differential` bit-identity tests and every `BackingStoreWrite` Mailbox arm have ZERO coverage. Precedent `rust-test.yml:158-173`. Falsifier: test count strictly increases in each configuration and the 4 tests appear by name | Queued (plan `bindspace-mailbox-soa-wiring-v1` §4) |
+| D-BSW-1 | Wire `BackingStoreWrite` (`backing.rs:164-314`, 9 methods, both arms real) into the driver write path — it has zero callers outside its own test module. Adds a caller, not a capability | Queued (blocked on D-BSW-0) |
+| D-BSW-2 | Route the production BindSpace writers through the shim — **eight sites, not five**: `engine_bridge` `write_qualia_observed:490` / `write_qualia_17d:548` (direct), `persist_cycle:784` (edge+meta; cycle write is the documented loss), `ingest_codebook_indices:58` (composed last); plus the three `serve.rs` handlers `encode_handler:607` (direct `set_content`), `:139` and `:639` (via `Arc::get_mut`). `dispatch_busdto:281` is **excluded pending a decision** — its `qualia_f32` tenant has no MailboxSoA equivalent (plan §4). All eight must land BEFORE D-BSW-3 or dispatch reads the mailbox while `/v1/shader/encode` writes the singleton | Queued (blocked on D-BSW-1) |
+| D-BSW-3 | Populate `mailboxes` from a production path — today the only `with_mailbox` caller is `tests/w2_differential.rs:277`, so a feature-on build still takes the singleton fallback (`driver.rs:217`) | Queued (blocked on D-BSW-2) |
+| D-BSW-4 | BindSpace retirement — **NOT NOW, proof-gated**. Guardrails §2 names both directions as footguns ("add new writers to it; remove it"); §1 rule 8: retirement is never a worker task. Needs a wave and a D-id parent first — no W7 exists | BLOCKED (deliberate) |
+
+---
+
 ## nexgen-mask-histogram-thresholds-v1 (PROPOSAL, 2026-09-05)
 
 `.claude/nexgen/plans/nexgen-mask-histogram-thresholds-v1.md`. Nothing built;

.claude/board/SUPERSESSION-INDEX.md

@@ -14,7 +14,7 @@
 ## What this table says
 
 **`BindSpace` is the shape of the problem.** Marked RETIRE, and simultaneously the
-most-referenced symbol here: **68 crate files, 45 plans, 41 of them blind.**
+most-referenced symbol here: **68 crate files, 46 plans, 41 of them blind.**
 That is a programme, not a cleanup.
 
 **`GateState` is the sharpest case: 1 plan names it and *every one* is blind.**
@@ -52,15 +52,15 @@ coverage instead.
 | `A2AMessage` | BLOCKED | — | 2 | 1 | 0 |
 | `StepMask` | BLOCKED | — | 3 | 9 | 4 |
 | `commit_to_l4` | BLOCKED | — | 2 | 2 | 0 |
-| `dispatch_busdto` | BLOCKED | — | 3 | 6 | 5 |
-| `persist_cycle` | BLOCKED | — | 10 | 6 | 5 |
+| `dispatch_busdto` | BLOCKED | — | 3 | 7 | 5 |
+| `persist_cycle` | BLOCKED | — | 10 | 7 | 5 |
 | `CognitiveMarkers` | REPURPOSE | `Commit` | 1 | 0 | 0 |
 | `DominoCascade` | REPURPOSE | `Commit` | 7 | 1 | 0 |
 | `GateDecision` | REPURPOSE | — | 25 | 27 | 24 |
 | `GateState` | REPURPOSE | — | 14 | 1 | 1 |
 | `MergeMode` | REPURPOSE | — | 8 | 13 | 12 |
 | `ResonanceDto` | REPURPOSE | `PerturbationDto` | 2 | 12 | 7 |
-| `BindSpace` | RETIRE | — | 68 | 45 | 41 |
+| `BindSpace` | RETIRE | — | 68 | 46 | 41 |
 | `CollapseGateEmission` | RETIRE | — | 5 | 13 | 12 |
 | `ThinkingStyle` | RETIRE-toward-contract | — | 51 | 28 | 24 |