Skip to content

plan: cognitive-substrate-convergence-v1 (i4 mantissa + gapless baton + active inference) #380

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AdaWorldAPI merged 1 commit into from
May 16, 2026
Merged

plan: cognitive-substrate-convergence-v1 (i4 mantissa + gapless baton + active inference) #380

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
82 changes: 82 additions & 0 deletions .claude/board/INTEGRATION_PLANS.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,85 @@
## 2026-05-15 — cognitive-substrate-convergence-v1 (CSV — i4 mantissa + gapless baton + active inference)

**Status:** Active (PROPOSAL — awaits OQ-CSV-1..6 ratification before sprint-11 D-CSV-* spawn)
**Confidence:** HIGH on architecture; MED on i4-16D qualia per-dim assignment (OQ-CSV-1); HIGH on i4-mantissa NARS (PR-LL-1 already shipped equivalent in `nars_dispatch.rs`); HIGH on gapless-baton model
**Plan file:** `.claude/plans/cognitive-substrate-convergence-v1.md` (~46 KB, 18 sections)
**Predecessors:** `causaledge64-mailbox-rename-soa-v1` (PR #372), `neurosymbolic-rlvr-causal-curriculum-v1` (PR #373), PR-LL-1 (PR #375)

### Scope

Locks the architectural decisions made during sprint-10 + the post-sprint-10 cross-session A2A discussion (2026-05-15) before context dilution. Consolidates 7 design questions that converge into ONE substrate: CausalEdge64 v2 layout + QualiaColumn quantization + CollapseGate wire format + WitnessCorpus pointer + MUL evaluation + Σ-tier Rubicon orchestration + thinking-engine ↔ SoA reunification.

### The five compressions

1. **Encoding** — signed i4 mantissa family across NARS / Qualia / ThinkingAtom / direction
2. **Wire format** — discrete `Vec<(u16, CausalEdge64)>` baton tuples between mailboxes (no analog `Vsa16kF32` envelope)
3. **Addressing** — i4 payload IS its own CAM key (content = address; 16¹⁶ ≈ 1.8×10¹⁹ unique states)
4. **Temporal axis** — structural (chain-position + AriGraph anchor), not stored in edge
5. **Cycle driver** — entropy-driven (free-energy gradient), not request-driven

### Final CausalEdge64 v2 bit layout (plan §6)

```text
[0:23] S/P/O palette indices (3 × u8)
[24:39] NARS frequency + confidence (2 × u8)
[40:42] Causal mask (3b — Pearl 2³, IS the rung axis; counterfactual at 0b111 SPO)
[43:45] Direction triad (3b)
[46:49] Inference mantissa (4b SIGNED — direction × rule)
[50:52] Plasticity flags (3b)
[53:58] W slot (6b — discourse corpus root handle) ← NEW
[59:60] Truth-band lens (2b — 4 lens states incl. "13% ambiguous direction") ← NEW
[61:63] Spare (3b — sprint-12+ probe headroom)
Total 64b zero unused
```

### 12 deliverables (D-CSV-1..D-CSV-12) across sprints 11-13

| Phase | D-id | Title | Sprint | LOC | Risk |
|---|---|---|---|---|---|
| A | D-CSV-1 | `causal-edge` v2 layout per §6 | 11 | ~250 | LOW |
| A | D-CSV-2 | `QualiaI4_16D` type + f32 ↔ i4 migration helpers | 11 | ~180 | LOW |
| A | D-CSV-3 | InferenceType signed-mantissa expansion + absorb PR-LL-1 variants into canonical edge enum | 11 | ~120 | MED |
| A | D-CSV-4 | `CollapseGateEmission` wire format spec + impl | 11 | ~150 | LOW |
| B | D-CSV-5 | QualiaColumn `[f32; 18]` → `QualiaI4_16D` (5a sibling-column / 5b cutover) | 11 | ~400 | HIGH |
| B | D-CSV-6 | `WitnessCorpus` (CAM-PQ-indexed) replaces `SpoWitnessChain<32>` | 11 | ~600 | HIGH |
| B | D-CSV-7 | MailboxSoA integration: W-slot + plasticity accumulator + apply_edges | 11 | ~350 | MED |
| C | D-CSV-8 | MUL evaluation in integer SIMD (i4 × i4 → i8 products) | 12 | ~500 | MED |
| C | D-CSV-9 | 8-channel ↔ SPO-palette transcoder (Option R-3) at L3 commit | 12 | ~180 | LOW |
| C | D-CSV-10 | Σ-tier Rubicon-resonance dispatch in SigmaTierRouter | 12 | ~250 | MED |
| D | D-CSV-11 | Vertical streaming structs in ndarray (qualia.history, inference.trajectory, splat.evolve) | 13+ | ~700 | HIGH |
| D | D-CSV-12 | Splat shader op fleet on i4 substrate (splat_gaussian, score_*, emit_if_epiphany) | 13+ | ~800 | MED |

Total: ~4,480 LOC across 12 PRs. Cross-spec patches to sprint-10 W2/W3/W4/W5/W6/W7/W10/W11 specs estimated ~870 LOC (bundled into one sprint-11 prep PR).

### What this locks (vs prior plan)

- **Resolves sprint-10 meta-review CSI-1** (`.claude/board/sprint-log-10/meta-review.md`) with the definitive v2 bit layout per §6
- **Resolves dual-CausalEdge64 finding (E-META-7)** via Option R-3 transcoder at L3 commit boundary
- **Locks the i4 substrate family** unifying qualia + NARS mantissa + ThinkingAtom + direction into one quantization vocabulary
- **Locks gapless-baton wire format** — no analog envelope between mailboxes; `Vsa16kF32` narrows to intra-tier Markov + crystal carrier + grammar bind/unbind testing
- **Locks MailboxSoA semantics** as spatial-temporal meaning accumulators, not channels
- **Locks Σ-tier Rubicon-resonance orchestration** — F-gradient driver, not request-response
- **Locks active-inference cycle driver** — "can't stop thinking" per CLAUDE.md doctrine; entropy-of-state IS the dispatch trigger

### Open questions (6) requiring user ratification

1. **OQ-CSV-1** — Qualia 16D per-dim assignment (BLOCKS D-CSV-2): proposed layout in plan §7.2 needs `qualia-engineer` agent cross-check
2. **OQ-CSV-2** — W-slot width 6 vs 8 bits (BLOCKS D-CSV-1): 6=64 corpora generous, 8=256 corpora for multi-tenant SaaS
3. **OQ-CSV-3** — Spare bits reserved vs pre-allocated (non-blocking): default reserved
4. **OQ-CSV-4** — QualiaColumn migration phasing (BLOCKS D-CSV-5): default sibling-then-cutover (lower risk)
5. **OQ-CSV-5** — Pre-computed Magnitude (Staunen×Wisdom) column vs on-demand (non-blocking): default on-demand
6. **OQ-CSV-6** — Σ10 Rubicon threshold Jirak-derived vs hand-tuned (BLOCKS D-CSV-10 sprint-12): hand-tuned acceptable per `I-NOISE-FLOOR-JIRAK` if TECH_DEBT documented

### Cross-references

- 12 sprint-10 specs at `.claude/specs/` (W1-W12); 11 require small spec patches per plan §12
- 8 sprint-10 knowledge docs at `.claude/knowledge/causal-edge-64-*.md`, `spo-*.md`, `ogit-*.md`, `cognitive-shader-driver-*.md`, `splat-*.md`
- Meta-review at `.claude/board/sprint-log-10/meta-review.md` — CSI-1 resolved by this plan's §6
- PR #375 PR-LL-1 — Intervention/Counterfactual variants already in `nars_dispatch.rs`, this plan absorbs them into canonical edge enum
- PR #379 — 4-branch retirement (orphan sweep) cleared the pre-condition

---

## 2026-05-14 — neurosymbolic-rlvr-causal-curriculum-v1 (LL-CURRICULUM)

**Status:** Active (PROPOSAL — curriculum landed, 5-PR roadmap ratification pending §7 OQs)
Expand Down
64 changes: 64 additions & 0 deletions .claude/board/STATUS_BOARD.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -416,6 +416,70 @@ Plan path: `.claude/plans/causaledge64-mailbox-rename-soa-v1.md`.

---

## cognitive-substrate-convergence-v1 — i4 mantissa + gapless baton + active inference

Active integration plan. Authored 2026-05-15 (cross-session A2A discussion).
Plan path: `.claude/plans/cognitive-substrate-convergence-v1.md`.
Consolidates sprint-10 architectural decisions before context dilution.

### Phase A — Substrate primitives (sprint-11)

| D-id | Title | Status | PR / Evidence |
|---|---|---|---|
| D-CSV-1 | `causal-edge` crate v2 layout (signed mantissa, W-slot, lens, drop temporal) | **Queued** | blocked on OQ-CSV-1 + OQ-CSV-2 user ratification |
| D-CSV-2 | `QualiaI4_16D` type in `lance-graph-contract::qualia` + f32↔i4 migration helpers | **Queued** | blocked on OQ-CSV-1 (per-dim assignment) |
| D-CSV-3 | InferenceType signed-mantissa expansion (absorbs PR-LL-1 Intervention/Counterfactual into canonical edge enum) | **Queued** | depends on D-CSV-1 |
| D-CSV-4 | `CollapseGateEmission` wire format spec + impl per plan §8 | **Queued** | depends on D-CSV-1 |

### Phase B — Storage & dispatch path (sprint-11)

| D-id | Title | Status | PR / Evidence |
|---|---|---|---|
| D-CSV-5 | QualiaColumn migration `[f32; 18]` → `QualiaI4_16D` (5a sibling column + 5b cutover) | **Queued** | blocked on OQ-CSV-4 phasing decision |
| D-CSV-6 | `WitnessCorpus` (CAM-PQ-indexed) replaces `SpoWitnessChain<32>` | **Queued** | depends on D-CSV-4; elevates CAM-PQ wiring to Wave 3 hard prerequisite |
| D-CSV-7 | MailboxSoA integration: W-slot referencing + per-row plasticity accumulator + apply_edges | **Queued** | depends on D-CSV-1, D-CSV-4 |

### Phase C — Reasoning path (sprint-12)

| D-id | Title | Status | PR / Evidence |
|---|---|---|---|
| D-CSV-8 | MUL evaluation in integer SIMD: DK/TrustTexture/FlowState/GateDecision consume i4 qualia + signed mantissa | **Queued** | depends on D-CSV-2 + D-CSV-3 |
| D-CSV-9 | 8-channel ↔ SPO-palette transcoder (Option R-3) at thinking-engine L3 commit boundary | **Queued** | depends on D-CSV-3 |
| D-CSV-10 | Σ-tier Rubicon-resonance dispatch in `SigmaTierRouter`: ΔF + resonance threshold → Σ10 commit | **Queued** | depends on D-CSV-7 + D-CSV-8; blocked on OQ-CSV-6 (Jirak-derived threshold) |

### Phase D — Streaming infrastructure (sprint-13+)

| D-id | Title | Status | PR / Evidence |
|---|---|---|---|
| D-CSV-11 | Vertical streaming structs in ndarray: `QualiaStream`, `InferenceStream`, `SplatFieldStream` + `par_*` rayon variants | **Queued** | new ndarray surface; coordinate with upstream PR #116 hpc-extras gap |
| D-CSV-12 | Splat shader op fleet (`splat_gaussian`, `score_hole_closure`, `replay_coherence`, `emit_if_epiphany`) as methods on `Think` carrier | **Queued** | depends on D-CSV-11 |

### Open-question gates (block specific D-CSV-* spawns)

| Gate | Blocks | Recommendation |
|---|---|---|
| **OQ-CSV-1** Qualia 16D per-dim assignment | D-CSV-2, D-CSV-5 | Ratify proposed §7.2 layout with `qualia-engineer` agent cross-check against `thinking-engine/src/qualia.rs` |
| **OQ-CSV-2** W-slot width 6 vs 8 bits | D-CSV-1 | Default 6 (= 64 active corpora); promote to 8 if multi-tenant SaaS demands |
| **OQ-CSV-4** QualiaColumn migration phasing | D-CSV-5 | Default sibling-column-then-cutover (lower risk; 1 extra PR worth it) |
| **OQ-CSV-6** Σ10 Rubicon threshold derivation | D-CSV-10 (sprint-12) | Hand-tuned acceptable for sprint-11/12 with TECH_DEBT note per `I-NOISE-FLOOR-JIRAK`; principled Jirak derivation deferred to VAMPE coupled-revival sprint-13+ |

### Cross-spec patches (one bundled prep PR pre-sprint-11)

| Spec | Patch | LOC |
|---|---|---|
| `pr-ce64-mb-2-causaledge64-v2.md` (W2) | §3 bit layout → plan §6; OQ-LAYOUT-1 resolved; signed-mantissa rationale | ~150 |
| `pr-ce64-mb-2-pal8-nars-regression.md` (W3) | Tests parameterized on v2 layout; mantissa roundtrip + lens 4-state | ~80 |
| `pr-ce64-mb-3-bindspace-efgh.md` (W4) | QualiaColumn migration step (D-CSV-5) cross-ref | ~40 |
| `pr-ce64-mb-4-arigraph-spo-g.md` (W5) | `SpoWitnessChain<32>` → `WitnessCorpus`; `W5-INV-CHAIN-ORDER` invariant; W-slot semantics | ~300 |
| `pr-ce64-mb-5-mailbox-soa-attentionmask.md` (W6) | `g_slot_at_drop` field (CSI-2); spatial-temporal accumulator semantics | ~50 |
| `pr-ce64-mb-6-sigma-tier-router.md` (W7) | Σ10 Rubicon-resonance threshold; integer-SIMD MUL path | ~120 |
| `sprint-10-pr-dep-graph.md` (W10) | PR-J1-INT4-32D-ATOMS + CAM-PQ wiring elevated to Wave 3 hard dep | ~50 |
| `sprint-10-test-plan.md` (W11) | Refresh test counts for v2; i4-roundtrip + signed-mantissa-product tests | ~80 |

**Total spec-patch LOC:** ~870. Bundle into `gov: sprint-10 specs patch for cognitive-substrate-convergence-v1` PR.

---

## Update protocol

When a deliverable ships:
Expand Down
Loading