Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
5fe7bcd
Spec: deepnsm-v2 Cam96 from twelve axes to six pairwise rails
claude Sep 29, 2026
aad3977
Cam96 pairwise spec: separate R3 from the RQ baseline; G6 covers code…
claude Sep 29, 2026
81aa42c
Cam96 pairwise spec: settle rail order as nearest-first
claude Sep 29, 2026
a1066a0
Cam96 pairwise: 5+3 council ratifies v3 (merged reading M)
claude Sep 30, 2026
1a2fccc
cam96 spec: replace tenants.md line cite with a stable anchor
claude Sep 30, 2026
cffacb9
cam96 v3: N_a excludes the needle; decisions on validation; G1 precon…
claude Sep 30, 2026
43073aa
status board: add the D-C96P-8 row the v3 block omitted
claude Sep 30, 2026
cff2703
cam96 v4: Phase-0 council spec (L4 identity facet, 2^3 readings, COCA…
claude Sep 30, 2026
95464b7
cam96 v4: mint D-CPW-* deliverable ids (the D-C96P family never match…
claude Sep 30, 2026
39568bb
cam96 v5: ratified by the second 5+3 council (L4 identity facet, casc…
claude Sep 30, 2026
872ba5a
cam96 v5: retract the embedding-slice half (operator ruling, same day)
claude Sep 30, 2026
7126a83
cam96 v5: correction 2 — [a,b] is a word's 16-bit lexical address, no…
claude Sep 30, 2026
c1bf17f
CausalEdge64 is the ALU register: strike the framings that pulled the…
claude Sep 30, 2026
9ce332f
CausalEdge64: baton is the register between cycles, not a separate wire
claude Sep 30, 2026
99fb5db
CausalEdge64: keep the baton metaphor beside "register"
claude Sep 30, 2026
b0b96d8
v5 §11: the execution socket under the lexical substrate (D-CPW-15, s…
claude Sep 30, 2026
d6c041d
v5 §11R: the socket is an observation contract, not an instruction set
claude Sep 30, 2026
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
2 changes: 1 addition & 1 deletion .claude/agents/dto-soa-savant.md
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@ reduce to one of:
| **FingerprintColumns** | identity (model_name, OGIT URI, codebook entries) | NEVER (read-only) | `Vsa16kF32` identities, `Binary16K`, codebook URIs |
| **QualiaColumn** | `[f32; 18]` per-row qualia (whose perspective) | per-row writes via CollapseGate | persona qualia, archetype dimensions |
| **MetaColumn** | `MetaWord` bits (which style dispatches) | per-row writes | `MetaWord`, thinking-style bits |
| **EdgeColumn** | `CausalEdge64` (why/how, causal composition) | per-row writes via the Baton handoff | `CausalEdge64` v2 layout |
| **EdgeColumn** | `CausalEdge64` (why/how, causal composition) — the ALU register itself, never a reference | per-row writes of the register; the "Baton" is this register passing from one cycle into the next (the inter-mailbox emission wire is tombstoned) | `CausalEdge64` v2 layout |

If the proposed epiphany **cannot** be reduced to one of these four (or
to an EXISTING type that already operates over one of them), it is
Expand Down
52 changes: 52 additions & 0 deletions .claude/board/AGENT_LOG.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,55 @@
## 2026-09-30 (2) — second 5+3 council on D-CPW (Cam96 v4 → v5; spec only, no code)

- Operator-invoked (`go ahead with the v4 Phase-0 spec and run the 5+3`). Phases in order: Phase 0 `-v4.md` (committed `cff27034`, D-ids re-minted `95464b74` after `added-plans-have-dids` failed — the `D-C96P` family never matched the pattern); Phase 1 the five; Phase 2 draft v5 (scratchpad); Phase 3 the three on draft v5 only; Phase 4 fixes; Phase 5 ratified `-v5.md` + this board.
- **The 5 (Read-tool discipline, no cargo/git, own tag-files; S3 wrote its own):**
- prior-art (Opus): 10 — 1 VIOLATES (`TailVariant::V3` is the L1 6-byte tail, "there is no tail"); main prior art `causal-rung-standing-wave-v1` (mask → rails, escalation cascade); `E-PARTOF-ISA-vs-PALETTE256-1`; `palette_lookup` gap = pre-NARS strength.
- iron-rules: 10 — YIELDS-WITH-AP; the `FacetSchema` refusal needs a gate at every read; thresholds unlabelled; L-2 must use `pack_v2` and be gated.
- code-truth: every §2 citation graded (3 CLAIMED nuances); `FacetSchema`'s 2-bit field aliases the domain byte and has no reader; `causal_mask_bits` reaches no distance call; `range`/`disp` loaded nowhere; `Antecedent` resolves to an offset only; `_revised_truth` computed and discarded; emit/inverse disagree on mask bit 2.
- cascade: 8 — `PalettePair=3` contained but the field is unratified; `p64_target_identity_probe.rs:103-113` and `edge_v3_compare.rs:81-108` pin `row%256`; `Cam96` alias needs a newtype; 4-PR split.
- different-views: 10 — G-P vacuous by monotonicity; `P` deterministic from `(a,b)`; `M+` is the Gram sum in z; word-shuffle preserves the unigram histogram; named entities alias rank 0; identity is `(lemma, PoS)`.
- **The 3, on draft v5:**
- overclaim-auditor (Opus): **1 BLOCK** (the L4 code cannot be the instance key: lossy, `(x,n)`/`(x,v)` collide, HHTL routes on key bytes 4..12), 7 P1 (§3.2 is a proposal; six gammas; `Z_SELF` ties at 127; `f = range/range_max` is evidence amount; L-2 revises with a different metric; G-FC vacuous; F7/F8 disagree on Level 1), 6 P2.
- dilution-collapse-sentinel: 0 BLOCK, 5 P1 (`SPO ≡ SO`, `PO ≡ O` in geometry; "spread feeds c" a label; `self_code` is the basin's own higher-rung identity, not a copy; B collapsed; L-2's PoS→subspace map does not exist), 5 P2.
- firewall-warden: **1 BLOCK** (`self_code` meaning change with no refusal gate), 3 P1 (L-3 float representation and gating; G2/G3 rows; TECH_DEBT + plan-file rows), 2 P2.
- **v4 → v5 (ratified):** home = the row's second facet (bytes 16..32), key untouched; `self_code` stays as the basin's identity with a per-class reading + refusal + paired test; `P` back in the score as a similarity of spreads; one shared gamma, `Z_SELF = 127`; L-1 `f` = reading share, `c` from `ln(1+freq)`; L-2 on the triple register with the p64 semiring = `T_0`; §3.2 graded PROPOSAL (D-CPW-12); B rejected; G-FC/G-EDGE re-specified; L-3 split (D-CPW-13); F23 three references + `ReferenceSet` + G-REF + D-CPW-14, measured (3 of 4,264 shared words ordinal-aligned; 116 5k lemmas absent from the 20k; the Tigris academic artifact is a vocabulary carve).
- Operator input mid-council: the three-reference-set ruling; the Tigris bucket checked via the `AWS_*` environment (names only, never values): `lance-graph/codebooks/deepnsm-v2-academic-coca-v1/` fetched to the scratchpad, never into the repo.
- Authorized: D-CPW-1. Queued: D-CPW-2, -6, -7, -9, -14. Rest Blocked.

## 2026-09-30 — 5+3 council on D-C96P (Cam96 → 6 × pairwise; spec only, no code)

- Operator-invoked `/5plus3` on `deepnsm-v2-cam96-pairwise-v1.md`. The phases ran in order:
- Phase 0: orchestrator brief with frozen decisions F1–F9 and per-savant question sets.
- Phase 1: the five savants.
- Phase 2: draft v2.
- Phase 3: the three reviewers, on v2 only.
- Phase 4/5: ratified `-v3.md`.
- **The 5 (read-only, Read-tool discipline):**
- prior-art (opus): 10 findings, e.g. the contract's atanh already exists; FamilyGamma only in bgz-tensor; the 08-11 level-vs-rank entry; ndarray k-means to reuse.
- iron-rules: I-LEGACY VIOLATES on the persisted `self_code` until D-C96P-7; the others YIELD or NA.
- code-truth (general-purpose): every citation CODED; the §8 consumer list incomplete; G2 vacuous by construction; a metric mismatch in G1.
- cascade-impact: about 30 mandatory + 12 follow-up files; a rename breaks tesseract-rs; ordering D-7 before D-8.
- different-views: c₂ likely carries 2–3 bits; the full-shuffle null cannot stay silent; no Voronoi gate.
- Three savants had no write tool; the orchestrator banked their outputs in the scratchpad.
- **The 3, on v2:**
- overclaim-auditor (opus): 2 BLOCK — the loader's raw arrays alias `Cam96`; G1 compared against pinned figures from absent embeddings. Plus 5 P1 and 5 P2.
- dilution-collapse-sentinel: 0 BLOCK, 4 P1, 7 P2 — no decision rule for B/D; spread and relation conflated; F7 had no falsifier; G4 vacuous.
- firewall-warden: 1 BLOCK — no same-commit board-hygiene clause. Plus 2 P2.
- **Operator input mid-council (2026-09-30):** the resonance reading and the segment reading of `[a,b]`, and whether a merge is correct. The orchestrator checked it against `E-PERTURBATION-CONVERGENCE-1`:
- The merge is exact via the triangle identity `t = θ_a/φ`, with excess `ε`.
- A static position must be stored (invariant 1).
- A, B and D are projections of one object.
- **v1 → v2 → v3:**
- The reading was contested (A/B/D) and is resolved as the merge M, with A/B/D as its ablations and a decision table (Q1 confirmation pending).
- Similarity is the exact Gram reconstruction cosine, which equals the baseline metric.
- G1's bar is an in-harness retrained control.
- The loader returns a view, never raw arrays.
- The board-hygiene clause is added.
- The byte-0 unit gate is restored.
- G3 is an ablation against a noise floor; G4 is structural.
- The §6.3 ClassView key is the owning NodeRow classid (verified); the mechanism goes to the envelope auditor.
- Codec-move defects fixed (module-path re-export, E0116).
- Authorized: D-C96P-0 and D-C96P-1 only. Blocked: everything else, on the embeddings (Q4).

## 2026-09-29 — D-LXC-1 plan rewritten with Read (orchestrator, no agents, no code)

- Operator-directed. The council run below read source with shell
Expand Down
99 changes: 98 additions & 1 deletion .claude/board/INTEGRATION_PLANS.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,101 @@
## 2026-09-30 (7) — deepnsm-v2-cam96-pairwise-v5 — §11R: the socket is an observation contract, not an instruction set (revises (6), after #1305) → `-v5.md` §11R

**Status:** revised, spec only. #1305's committed findings decide it:
- a mask is support, not bag (2-hop `count(*)` 4 vs popcount 3);
- a forward chain is the exact support of the terminal only;
- DataFusion counts walks (5 vs trail 4);
- `consumer_semantics()` names five carrier kinds.

The stable socket is therefore population · relation (a population with two index lanes, not a fourth primitive) · step(observation) → answer or `Insufficient`. mask-risc's MASK · TRANSPORT · REDUCE become lowering vocabulary below it. One directed hop lowers to ONE existing mask-risc `Program`, and the five #1305 kinds map onto its five observations exactly at k = 1.

Frozen as law: a carrier crosses a boundary only if sufficient for every promised observation; path semantics is explicit; zero means false only inside a declared `(space, epoch)` domain; rendering is outside computation. Measured violation of the last-but-one: mask-risc's zero fallback plus length-only foreign checks (`ISS-MASK-RISC-ZERO-FALLBACK-IS-NOT-EVALUATED-FALSE`).

The `ScatterOrU32` prohibition is not relaxed; the condition for a future relaxation is recorded. `CausalEdge64` stays above: a value lane, not a relation. Next PR: quack observation types + the existing doc⋈line⋈partner DuckDB oracle.

## 2026-09-30 (6) — deepnsm-v2-cam96-pairwise-v5 — §11: the execution socket under the lexical substrate (D-CPW-15) → `-v5.md` §11

**Status:** ruled, spec only. The socket the lexical/cognitive stack lowers into already exists: `lance-graph-mask-risc`'s IR (`Program`, `Planes`/`LaneRef`/`Foreign`, `Value`/`Out`). `lance-graph-quack` is the DuckDB-shaped surface ABOVE it, not the ABI. The proposed six verbs reduce to three families already in the IR: MASK, TRANSPORT (`Gather` / `ScatterOrU32` / `EqU32Via` / `GroupKey::Via`) and REDUCE (one terminal). SELECT would be the forbidden `SelectionVector`; multi-hop traversal is OPEN. `CausalEdge64` crosses as a borrowed `u64` lane (`edges_raw()`), bit-preserving; its feature-gated layout stays above the line. Firewall: mask-risc depends on `ndarray` only, through `ndarray::simd`. Falsifiers G-SOCK-1..5: exact equality holds because the IR is integer-only. Measured gap: `MatchU64` is exercised only at bits 12–15. Open: Arrow `ListArray` needs a segment view (`ISS-MASK-RISC-HAS-NO-SEGMENT-VIEW`).

## 2026-09-30 (5) — deepnsm-v2-cam96-pairwise-v5 — CORRECTION 3: `CausalEdge64` IS the ALU register → `-v5.md` § ⊘ CORRECTION 3

**Status:** not a reference, lens, record, carrier, or word container. v5's §3.2 lens framing and §3.4 L-2 "triple edge carries needles" wording struck. Same commit: the live doc comments that called it a "baton edge" (`mailbox_soa.rs`, `backing.rs`, contract `cognition/{cascade,advance}.rs`), `dto-soa-savant.md`'s "via the Baton handoff", `docs/GENETIC_RESEARCH_VIA_STACK.md`, a `CausalEdge64` row in the worker-guardrails vocabulary, and a ⊘ note on `deepnsm-v3-convergence-v1.md`'s "1-byte refs" row. Residue left in code: `TD-CE64-REGISTER-FRAMING-RESIDUE-1`.

## 2026-09-30 (4) — deepnsm-v2-cam96-pairwise-v5 — CORRECTION 2: `[a,b]` is a word's 16-bit lexical address, not two poles → `-v5.md` § ⊘ CORRECTION 2

**Status:** the unit of representation is pinned. Six lexical slots per 96-bit payload; each two-byte address resolves to a word's declared reading (lemma + PoS) in an immutable, versioned lexical codebook (`ReferenceSet`); the driver supplies the relational reading, Fisher-z calibrated. Embeddings are an optional comparison instrument, never the runtime intermediary; embedding reconstruction is not an acceptance criterion. The artifact check that forced this: nothing assigns a word two needles (COCA CAM-PQ gives six, bgz17 `nearest` gives one; "(nearest : second-nearest)" was v1's invention). **First regression = G-LEX:** exact lexical address resolution, lemma/PoS survive, no cross-read across codebooks.

## 2026-09-30 (3) — deepnsm-v2-cam96-pairwise-v5 — RETRACTED-IN-PART by operator ruling, same day → `-v5.md` § ⊘ RETRACTION

**Status:** the embedding-slice half of v5 (§3.1–3.3, the word-register half of §3.2, D-CPW-0/3/4/12) is STRUCK. *"We don't want fuzzy embedding of 6 different readings of SPO … no witness … the sentence's deterministic words … no basin identity, superposition of 2 needles … not rails … 6 words each represented as LUT … a word is spatial perturbation LUT."*

**The design:** one calibrated COCA `palette256` codebook; a word = one pair `(a:b)` = two needles superposed = its cell in the 256×256 LUT; a facet's 12 bytes = six words of the sentence; relations = LUT reads between cells (the p64 `CognitiveShader` over the bgz17 semiring, the perturbation field around the cell — `cognitive-shader-driver` is the machine); meaning in the ClassView.

**Kept:** F23 three references + `ReferenceSet` (D-CPW-14), `self_code` as the basin's own identity (D-CPW-7), the COCA prior (D-CPW-9), register-F (D-CPW-13), lemma routing (D-CPW-11), the Fisher-z LUT into the contract (D-CPW-1 — now the representation itself). D-CPW-2 and -10 re-scoped to the word-cell.

**Open:** how the codebook assigns a word its two needles — read from the artifact, not designed in a plan.

## 2026-09-30 (2) — deepnsm-v2-cam96-pairwise-v5 — RATIFIED by the second 5+3 council → `.claude/plans/deepnsm-v2-cam96-pairwise-v5.md`

**Status:** RATIFIED v5. Supersedes `-v4.md` (Phase-0 spec) and v3 §3 / §6.3 / §7 decision table. D-ids re-minted as `D-CPW-*` (the `D-C96P` family never matched the D-id pattern).

**Why a second council:** three operator rulings after v3 — no materialized point and no cosine; the readings are `CausalMask` 2³ projections selected by the rung ladder; the `6×[a,b]` code is a content-blind facet of the 512-byte row — plus the COCA-fixed-points mandate and the three-reference-set ruling.

**What v5 settles.**
- The identity is `[a,b]` = (nearest, second-nearest), two full palette bytes per subspace, in the row's **second facet** (bytes 16..32), read as `NeedlePair` by ClassView election. Not the key (uniqueness), not `self_code` (the basin's own identity, F25).
- Similarity = Fisher-z table reads over the active planes (O, S, and the spread `P` as a similarity of spreads), one shared gamma, `Z_SELF = 127` by address. No slerp, no cosine.
- The masks are an escalation cascade `O → PO → SPO` (a PROPOSAL, D-CPW-12 — `causal_mask_bits` reaches no distance call today). v3's B rejected (a coordinate, not an address); M/M−j carried `t` and survive only as the G-T lane arm.
- COCA levers: `f` = a reading's share among its surface form's readings, `c` from `ln(1+freq)`; triple edges carry the parsed words' subspace-0 needles with the p64 semiring = `T_0`; register-F is routing, not meaning; lemma routing Blocked (no text→loci producer).
- **F23 three references** (COCA4096 / COCA5K_LEMMA / COCA20K_ACAD), `ReferenceSet` in every reading contract, an explicit `(lemma, PoS)` correspondence artifact, gate G-REF. Measured: 3 of 4,264 shared words keep the same ordinal across the 5k and the 20k; 116 5k lemmas are absent from the 20k. The Tigris academic artifact is a vocabulary carve, not a trained codebook.

**Authorized:** D-CPW-1 (codec move). Queued: D-CPW-2, -6, -7, -9, -14. Everything else Blocked on the embeddings (Q3) or on those.

## 2026-09-30 (1) — deepnsm-v2-cam96-pairwise-v3 — RATIFIED by the 5+3 council → `.claude/plans/deepnsm-v2-cam96-pairwise-v3.md`

**Status:** RATIFIED v3. Supersedes `-v1.md` and the council draft `-v2.md`, which are kept as the record.

**The reading.** It is the operator's merge **M**:
- byte 0 = the needle `a`;
- byte 1 = `(j : t)`: the `j`-th fixed neighbour `b` of `a`, and the position `t` along the arc a→b.

It unifies the resonance reading (`r_a`, `r_b`) and the segment reading (`φ = arccos T(a,b)`) through `t = θ_a/φ`. The earlier readings A (2-NN pair), B (Fisher-z values) and D (the table dual) are measured as M's ablations, under a pre-registered decision table.

**Similarity** is the exact reconstruction cosine from Gram cells and norms, which is the baseline metric itself.

**Gating.**
- G1's bar is an in-harness retrained 12-axis control.
- Only D-C96P-0 (the harness) and D-C96P-1 (the codec move) are authorized.
- The rest waits on the embeddings (Q4) and on operator Q1–Q5.

## 2026-09-29 (3) — deepnsm-v2-cam96-pairwise-v1 — Cam96 from twelve independent axes to six pairwise rails → `.claude/plans/deepnsm-v2-cam96-pairwise-v1.md`

**Status:** SPEC v1, PROPOSAL. No code authorized; `/5plus3` before any wave.

**The problem:** the shipped Cam96 quantizes 12 unrelated 8-d halves and sums
12 distances (`space.rs:195-272`). That is twelve indices, not the
`6 × (u8:u8)` relations the facet plan and the needle/pair entry specify.

**The change:**
- **Rail:** each of 6 subspaces gets ONE 256-centroid codebook, and a rail
becomes `(nearest : second-nearest)` in that codebook. Byte 0 alone is the
48-bit point code. The colon's value is the per-subspace Fisher-z table
cell, i.e. the neighbourhood's spread.
- **Distance:** in z-space, choosing between three candidates by held-out
measurement.
- **Consequences:**
- The Fisher-z codec moves into the contract.
- New artifact magics and a newtype code gate old from new.
- The persisted `EpisodicBasin` self-code needs a read-mode marker first.

**Blocked:** the 96-d embeddings the retrain needs are not in the release.

**Open:**
- where the frequency/PoS header lives, given the classid canon;
- the reconstruct choice for `basin.rs`.

Rail order is settled as nearest-first, because G2 and R3 depend on it.

D-ids `D-C96P-1..8`.

## 2026-09-29 (2) — deepnsm-v2-lexical-evidence-consumer-v1 rewritten against the DeepNSM → DeepNSM-v2 migration → `.claude/plans/deepnsm-v2-lexical-evidence-consumer-v1.md`

**Status:** PROPOSAL (D-LXC-1..10). No code authorized. Supersedes entry (1)
Expand All @@ -21,7 +119,6 @@ first version rested on shell searches and missed the migration documents.
first-wins today) switched to a counted, named selection rule. FSM input stays
one `Pos` per token. Convergence brief for a second session:
`.claude/prompts/deepnsm-v2-lexical-consumer-converge.md`.

## 2026-09-19 (1) — waben-fold-execution-loop-v1 — from the merged folds to one addressed execution loop → `.claude/plans/waben-fold-execution-loop-v1.md`

**Status:** PROPOSAL. No code authorized; this is the grounded implementation
Expand Down
Loading
Loading