Skip to content

Commit cf74b47

Browse files
committed
docs(unified-soa): post-merge refinements to unified-soa-convergence-v1 (PR #434)
Six in-plan corrections + one flagged ratification candidate, captured as a refinement note at the top of the plan + targeted edits in §5.1 / §7.4 / §9 P4-P6 / §14 graph / §15 PRs. No behavior change, no new D-id, no code touched. Bugs fixed: - §9 P4/P6: D-MBX-A5 moved to P6 — §10 gates it on D-MBX-4 (P6), so the P4 placement contradicted §10. - §14 dependency graph: removed A5 from the A4 chain and added the A5→D-MBX-4 edge consistent with §10. - §15 PRs: added PR #419 (odoo savant AXIS-B carve-out) as the downstream §2.7 consumer of `ReasoningContext.evidence: &[EvidenceRef]` into SoA rows. Clarifications: - §7.4 plasticity sketch: annotates `primary_bump = 1` (today's per-baton increment) and notes the offset=0 focal-row no-op overlap. - §5.1 col-4: explicit mapping Commit·Plan·Prune ↔ Commit/Epiphany/FailureTicket (The Click's free-energy-side names for the same three exits). Flagged for OQ-11.4 doctrinal pass (NOT changed unilaterally): - §6.1's chain-IS-episodic unification subsumes The Click's separate `episodic: &EpisodicMemory` + `graph: &TripletGraph` organs in `struct Think`. Should land alongside the Vsa16kF32-plane-removal doctrinal update. https://claude.ai/code/session_016NwUSxRobQRH26KUJXvEYn
1 parent 1186dfd commit cf74b47

2 files changed

Lines changed: 50 additions & 9 deletions

File tree

.claude/board/AGENT_LOG.md

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -744,3 +744,28 @@ impl'd with gap columns nullable + structurally-capped confidence until feeds la
744744
**No code path changed. No `.rs` / `Cargo.toml` / `build.rs` / `data/` touched. Read-only review + appends + one new handover doc.**
745745

746746
**Cross-ref:** PR #418 (open), PR #419 (open), `EPIPHANIES.md` `E-RUBICON-RACTOR` + `E-MAILBOX-IS-BINDSPACE` + `E-SURREAL-POC-UNANNOTATED-SUPERSEDURE`, plans listed in §3 of the handover doc.
747+
748+
## [main / Opus] [REVIEW + REFINE] unified-soa-convergence-v1 post-merge review (2026-05-29)
749+
PR #434 merged → activate branch fast-forwarded to 1186dfd (absorbing #430-#434).
750+
Reviewed `.claude/plans/unified-soa-convergence-v1.md` end-to-end + the handover
751+
`2026-05-29-1825-soa-convergence-author-to-impl.md`. Verdict: sound spec, strong
752+
five-ruling structure, good gating; landed 6 targeted refinements + 1 flagged-for-
753+
ratification note as in-plan edits (no new D-id, no behavior change):
754+
1. **§9 P4/P6:** moved D-MBX-A5 to P6 — §10 gates it on D-MBX-4 (P6), so the P4
755+
placement contradicted §10. Bug.
756+
2. **§14 graph:** removed A5 from the A4→A5→D-MBX-2 chain; added the A5→D-MBX-4
757+
edge consistent with §10. Bug.
758+
3. **§15 PRs:** added PR #419 (savant AXIS-B carve-out) — downstream §2.7 consumer
759+
of EvidenceRef-into-SoA, missing cross-ref.
760+
4. **§7.4:** annotated `primary_bump = 1` (today's per-baton increment) so the
761+
spread fall-off is unambiguous; clarified the focal-row no-op overlap.
762+
5. **§5.1:** explicit mapping col-4 Commit·Plan·Prune ↔ The Click's
763+
Commit/Epiphany/FailureTicket (kanban-side vs free-energy-side names for the
764+
same three exits).
765+
6. **Top-of-plan refinement note** flagging the above + one ratification candidate:
766+
7. **OQ-11.4 doctrinal hand-off (flagged, NOT changed):** §6.1's "AriGraph
767+
episodic Markov chain IS the index space" unifies the Click's separate
768+
`episodic: &EpisodicMemory` and `graph: &TripletGraph` organs in `struct Think`.
769+
Should land in the same CLAUDE.md "The Click" doctrinal-update PR as the
770+
Vsa16kF32 plane removal (the D-MBX-5 prereq already named in OQ-11.4).
771+
No code touched. No board files other than this entry. Plan still PROPOSAL-grade.

.claude/plans/unified-soa-convergence-v1.md

Lines changed: 25 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,14 @@
1212
>
1313
> **Owns the answer to:** *"all of [the nine half-baked components] have to consume the same SoA from A-Z; the SoA can be versioned so they stay readable after schema upgrade; for SurrealDB the versioning aligns with lance 6.0.1 / lancedb 0.29 / datafusion 53 to have one transparent container view; the kanban/ractor needs to be aligned with a new overhaul of lance-graph-planner DTO surface."*
1414
15+
> **Refinements (2026-05-29, session `016NwUSx`, post-merge review):**
16+
> - **§9 P4/P6 fixed:** D-MBX-A5 was placed in P4 but §10 gates it on D-MBX-4 (in P6) — moved A5 to P6 after D-MBX-4 to resolve the §9↔§10 contradiction.
17+
> - **§14 dependency graph:** updated to show the A5 → D-MBX-4 edge consistent with §10 (the A4 → A5 → D-MBX-2 chain was an artefact of the P4 misplacement).
18+
> - **§15 PRs:** added PR #419 (the odoo savant AXIS-B evidence-contract carve-out — 25 docs; downstream consumer of §2.7's "Reasoner impls consume `ReasoningContext.evidence: &[EvidenceRef]` that points into SoA rows").
19+
> - **§7.4 sketch:** annotated `primary_bump` (the existing per-baton increment from today's `apply_edges`) so the spread fall-off is unambiguous.
20+
> - **§5.1:** mapped the col-4 terminal triple (Commit · Plan · Prune) to The Click's (Commit / Epiphany / FailureTicket) so the two vocabularies don't drift.
21+
> - **Flagged for OQ-11.4 doctrinal pass (not changed unilaterally):** §6.1's *"the AriGraph episodic Markov chain IS the index space"* unifies the Click's separate `episodic: &EpisodicMemory` and `graph: &TripletGraph` organs in `struct Think`. That unification should land in the same `CLAUDE.md` "The Click" doctrinal-update PR as the `Vsa16kF32` plane removal (D-MBX-5 prereq).
22+
1523
---
1624

1725
## 0. Executive summary (one screen)
@@ -269,6 +277,8 @@ Once D-MBX-7 (lance-graph containers = MailboxSoA layout) + D-MBX-10 (version ga
269277
| | → Plan | re-enter column 1 with witness folded into next deliberation | RESTART ||
270278
| | → Prune | drop without persistence (Libet veto consummated post-hoc) | drop ||
271279

280+
**Mapping to The Click (`CLAUDE.md`):** the col-4 terminal triple (Commit · Plan · Prune) maps to The Click's resolution triple (`Commit / Epiphany / FailureTicket`): **Commit ≡ Commit** (`F < 0.2`, calcify one triple into AriGraph); **Plan ≡ Epiphany** (`ΔF < 0.05`, "both triples + Contradiction" — re-enter Planning with the contradiction preserved as the new prior); **Prune ≡ FailureTicket** (`F > 0.8`, escalate or drop). The same three exits, named twice (kanban-side vs free-energy-side); the §6.1 chain-as-episodic unification (OQ-11.4) will reconcile this in the doctrinal pass.
281+
272282
### 5.2 Wiring (D-MBX-8 + D-MBX-9)
273283

274284
- **`D-MBX-8`** (Σ10 timing anchor in `SigmaTierRouter`): the commit decision `ΔF < threshold ∧ resonance > Rubicon-bar` acquires a wall-clock stamp at t = −550 ms. The router's commit emission carries the stamp; downstream the ractor START fires.
@@ -323,7 +333,12 @@ Counterfactual phase = exploration, where alternatives are weighed. Plasticity s
323333

324334
```rust
325335
// In apply_edges (mailbox in Planning + Staunen×Wisdom high):
336+
// `primary_bump` = the existing per-baton increment from today's apply_edges
337+
// (today: 1; the `else` branch below is the v1 single-row behaviour kept verbatim).
338+
// The spread branch overlaps offset=0 with the focal row — saturating_div(1) is a no-op,
339+
// so the focal-row bump is preserved; neighbors get the decayed share.
326340
if mailbox.phase == Planning && row_qualia.staunen_wisdom_product() > THRESHOLD {
341+
let primary_bump: u8 = 1;
327342
for offset in -RADIUS..=RADIUS {
328343
if let Some(neighbor) = row.checked_add_signed(offset) {
329344
if neighbor < N {
@@ -402,7 +417,6 @@ This is exactly the re-encode boundary R1 forbids: the planner reads its own DTO
402417
### Phase P4 — singleton dissolution
403418

404419
- **D-MBX-3**`ShaderDriver` holds sea-star of mailboxes; kill the `BindSpace::zeros(4096)` singleton in `serve.rs`.
405-
- **D-MBX-A5** — SPO-W witness pointer column (the dual residency: SoA / kanban / mailbox index).
406420
- **D-MBX-5** — delete `BindSpace` singleton + `Vsa16kF32` `cycle` plane. **Blocked on OQ-11.4** (CLAUDE.md "The Click" doctrinal update — must precede the deletion).
407421

408422
### Phase P5 — kanban / planner / Rubicon wiring
@@ -415,6 +429,7 @@ This is exactly the re-encode boundary R1 forbids: the planner reads its own DTO
415429

416430
- **D-MBX-7**`lance-graph` container layout ≡ `MailboxSoA``simd_soa.rs`-aligned.
417431
- **D-MBX-4** — death → SPO-G quad + Lance tombstone-witness (link-integrity back-pointer to AriGraph chain node).
432+
- **D-MBX-A5** — SPO-W witness pointer column (the dual residency: SoA / kanban / mailbox index). Moved here from P4 per the refinement note — A5 gates on D-MBX-4 (the SPO-G commit infrastructure must exist before A5 writes arc-handle pointers through it).
418433
- **D-MBX-6**`ThoughtStruct` transparent hot/cold view over LanceDB (the SurrealDB view).
419434

420435
### Phase P7 — workspace-wide consumer alignment
@@ -608,17 +623,17 @@ Sub-PRs:
608623
```
609624
PR-NDARRAY-MIRI-COMPLETE ───────────┐
610625
611-
D-CE64-MB-1-impl (par-tile) ───┬──► D-MBX-A2 ──► D-MBX-A3 ──► D-MBX-A4 ──► D-MBX-A5
612-
613-
D-MBX-2 ──► D-MBX-3 ──► D-MBX-5*
614-
615-
└─► D-MBX-10 (foundation) ─────────────────► D-MBX-A6 ──► D-MBX-12.5
616-
617-
D-MBX-11 (Lance 6.0.1) ────────────────────────────────────────────────────────
626+
D-CE64-MB-1-impl (par-tile) ───┬──► D-MBX-A2 ──► D-MBX-A3 ──► D-MBX-A4
627+
│ ▼
628+
│ D-MBX-2 ──► D-MBX-3 ──► D-MBX-5*
629+
│ ▼
630+
└─► D-MBX-10 (foundation) ─────► D-MBX-A6 ──► D-MBX-12.5
631+
632+
D-MBX-11 (Lance 6.0.1) ─────────────────────────────────────────────┘
618633
619634
D-MBX-7 ──► D-MBX-12.4 ──► D-MBX-6 ──► D-MBX-9 (needs surreal_container)
620635
▼ ▲
621-
D-MBX-4 ───────────────────────┘
636+
D-MBX-4 ──► D-MBX-A5 ──────────┘
622637
623638
D-MBX-8 ──► D-MBX-9
624639
@@ -671,6 +686,7 @@ D-MBX-11 (Lance 6.0.1) ───────────────────
671686
- PR #416 — recipes + atoms + savants + FIBU re-parent (shipped).
672687
- PR #417`E-CONTRACT-NO-SERIALIZE-2` correction (shipped).
673688
- PR #418 — bindspace-singleton-to-mailbox-soa migration spec (shipped; this plan extends).
689+
- PR #419 — odoo savant AXIS-B evidence-contract carve-out (25 per-savant docs; shipped). Downstream consumer of §2.7 — the `Reasoner` impls (D-ODOO-2 / D-ODOO-SAV-4) consume `ReasoningContext.evidence: &[EvidenceRef]` that points into SoA rows. Each filled doc names its `EvidenceRef` schema + odoo-field map + property alignment + decision-in-evidence-terms. Dispatch is **one impl per `ReasoningKind`** (recorded in `AGENT_LOG.md`).
674690
- PR #433`style_recipe` D-Atom + epiphany-brainstorm-council + 5 savant cards (shipped).
675691
- PR (this one) — unified-soa-convergence-v1 + handover.
676692

0 commit comments

Comments
 (0)