D-CODEGRAPH-0 gap map and slice A evidence; D-DQM M1 timing arms; dt64/xlog CI lines

.claude/board/FRUITS.md

@@ -4,7 +4,7 @@ Generated by `.claude/tools/fruits_index.py --write`. Do not hand-edit:
 add or change a `**Fruit:**` line on the ledger row and regenerate.
 CI fails when this file is stale.
 
-Open: 34. Closed: 1.
+Open: 35. Closed: 1.
 
 ## discovery torque
 
@@ -43,6 +43,7 @@ _none open_
 | tier | row | status | ledger |
 |---|---|---|---|
 | High-signal | ISS-SOURCE-ROOT-AGENT-OR-REPORT — is a source root the observer or one report? (2026-10-31) | OPEN (operator decision). **Basis:** VERIFIED-IN-CODE (`crates/xlog-relcomp-probe/tests/provenance.rs` `root()` hashes the observer and the report's facts; `unrelated_sources_never_collapse_to_one_root` pins that one observer with two different reports gives two roots). | `ISSUES.md` |
+| High-signal | ISS-RECIPE-LOCO-VOCABULARY-EXISTS-TWICE — two `impl Vocabulary` claim the same 34 op bytes and disagree (2026-10-26) | OPEN (latent). **Basis:** VERIFIED-IN-CODE (OGAR `crates/ogar-loco/src/nars.rs:133-175`, read at OGAR `68cb29b`; lance-graph `crates/lance-graph-ogar/src/recipe_vocab.rs:134-185`, read at `main` `87b2899b`). | `ISSUES.md` |
 | High-signal | ISS-SIX-DECISIONS-NOT-EXECUTED-ACTION-GATE — `commit` still fails open where the decision says fail closed (2026-10-23) | OPEN. **Basis:** VERIFIED-IN-CODE (`crates/lance-graph-contract/src/action.rs:266` `pub fn commit`, `:328` `pub fn commit_via`; read at `main` `19c1324a`). | `ISSUES.md` |
 | High-signal | ISS-SIX-DECISIONS-NOT-EXECUTED-FLOAT-REFS — the fold path still pulls OGAR `main` into the default build (2026-10-23) | OPEN. **Basis:** VERIFIED-IN-CODE (`crates/lance-graph/Cargo.toml:58` unconditional `lance-graph-r2il`; `crates/lance-graph-r2il/Cargo.toml:19-20` OGAR `branch = "main"`; no `fold` feature in any `crates/*/Cargo.toml`, 39 manifests read in full by a Haiku scout, `:51-58` re-read). | `ISSUES.md` |
 | High-signal | ISS-SIX-DECISIONS-NOT-EXECUTED-WIRE50-ISA-LEGACY — CE64 50..52 presence and the 46..49 legacy reading have no code (2026-10-23) | OPEN. **Basis:** VERIFIED-IN-CODE (`Option<Maturation3>` only in `crates/lance-graph-planner/tests/maturation_ladder.rs`, EXPERIMENTAL; no `ISA_LEGACY` / `legacy_opcode` / `LegacyRead` in `crates/`, scout over the named patterns; `causal-edge/src/edge.rs` has `fn activation(self) -> i8`). | `ISSUES.md` |

.claude/board/INTEGRATION_PLANS.md

@@ -1,3 +1,8 @@
+## 2026-11-02 — D-CODEGRAPH-0: a resident Codegraph, Charon → ruff → lance-graph + crai-rs → `.claude/plans/d-codegraph-0-resident-codegraph-v1.md`
+
+**Status:** PROPOSED; slice A (ruff Charon intake) started. **Board:** [entry](entries/2026-11-02-d-codegraph-0-gap-map.md), [STATUS_BOARD](STATUS_BOARD.md) D-CODEGRAPH-0. Kythe semantic facts + R2IL executable semantics + DT64/DR binding. Gap map G1–G9: no Charon intake in ruff, no Kythe producer in Rust, no `ref/call` edges, no Rust-body → R2IL lowering, no resident or incremental store, closure capped at 64 per tile, body anchor open, ruff sink unmerged. Slices A (intake) → B (resident, incremental) → C (queries, diagnostics, bodies) → D (MCP) → E (token measurement).
+**Confidence:** gap map read from `main` of four repos; rust-analyzer oracle measured on the fixture; no intake run yet.
+
 ## 2026-11-01 — D-STAUNEN-5: resident recursive plasticity → `.claude/plans/d-staunen-5-resident-recursive-plasticity-v1.md`
 
 **Status:** PROPOSED, plan only. **Board:** [STATUS_BOARD](STATUS_BOARD.md) D-STAUNEN-5. First closed learning loop on the XLOG-on-cube foundation: one binary relation, its transitive closure as the prediction, a declared set of dormant candidate edges. A novel stimulus (an observed pair the closure misses) licenses one activation, under the contract of Atlas's `update_mask` (fixed mask shape, 0/1, atomic between sequences, regrowth clears history, needs committed state) plus a generation guard; Atlas is the contract source, not the executor. The delta stays in the cube as `ndarray::simd` mask words. Two competing policies (H1 parsimony, H2 novelty × eligibility) are scored on held-out pairs from a hidden graph; later evidence consolidates or reverts each update, and a selector learns which policy to use. Also records the xlog-cube coverage order (projection composition, mask filters, resident execution, computed columns, F100, N-ary gated) and that 140/230 measures admission, not checked answers.

.claude/board/ISSUES.md

@@ -27,6 +27,25 @@
 - **What closes it:** the cause, from rust-analyzer's source, then either a
   fix upstream or a documented limit on the exporter.
 
+## ISS-RECIPE-LOCO-VOCABULARY-EXISTS-TWICE — two `impl Vocabulary` claim the same 34 op bytes and disagree (2026-10-26)
+
+**Status:** OPEN (latent). **Basis:** VERIFIED-IN-CODE (OGAR `crates/ogar-loco/src/nars.rs:133-175`, read at OGAR `68cb29b`; lance-graph `crates/lance-graph-ogar/src/recipe_vocab.rs:134-185`, read at `main` `87b2899b`).
+**Fruit:** High-signal
+
+- Both map recipe `id` to `FnIndex(DOMAIN_FLOOR + id - 1)` and both
+  `impl Vocabulary` over that range. They disagree on two columns:
+  `nars.rs:142-147` gives `Datapath` recipes arity 2 and `Gate` / `Control`
+  arity 1, with no value codebook; `recipe_vocab.rs:142-144` gives every recipe
+  arity 1 (its doc: a second operand "would be a value with no source"), and
+  `:171-176` declares `CB_ATTENTION_FOCUS`.
+- Latent today: `NarsVocabulary` has no consumer outside its own file, and
+  `lance-graph-ogar` is excluded from the workspace. It pulls `ogar-loco` at
+  `branch = "main"` (`lance-graph-ogar/Cargo.toml:140`), so both meet the next
+  time that crate resolves against a newer OGAR.
+- **What closes it:** an operator ruling on the arity (revision (f) Q7), then
+  one implementation delegating to the other. The change spans OGAR and
+  lance-graph. Ledger: `.claude/research/2026-10-recovery/LEDGER-REVISION-2026-10-26f.md` S1.
+
 ## ISS-FISHERZ-ENCODE-SATURATES-SILENTLY — out-of-family cosines encode to the edge code with no flag (2026-10-23)
 
 **Status:** OPEN. **Basis:** VERIFIED-IN-CODE (`crates/bgz-tensor/src/fisher_z.rs:67`, `i8_val.clamp(-128.0, 127.0) as i8`, read at `main` `8f610a85`) + MEASURED.

.claude/board/STATUS_BOARD.md

@@ -231,6 +231,18 @@ Plan: `.claude/plans/d-soc-fence-v1.md`. Plan only; nothing runs yet.
 
 **Evidence boundaries:** D-SAG-6 #1760 merged docs; Math Foundry #1693/#1694 E1 lab merged; D-NFC #1753 native-first; #1775 D-DRAV draft / AV1–AV12 NOT RUN; MORK oracle with unresolved production licence/allocator; EXO-148 stable durable types unresolved. No complete distributed reasoning implementation or measured AI/data-center scaling claim.
 
+## D-CODEGRAPH-0 — resident Codegraph: Charon → ruff → lance-graph + crai-rs (2026-11-02)
+
+Plan: [d-codegraph-0-resident-codegraph-v1.md](../plans/d-codegraph-0-resident-codegraph-v1.md). Entry: [gap map](entries/2026-11-02-d-codegraph-0-gap-map.md).
+
+| D-id | scope | status | gate / falsifier |
+|---|---|---|---|
+| **D-CODEGRAPH-0-A** | ruff `ruff_charon`: LLBC → Kythe facts with a witness status per call, for one real crate | LANDED on ruff `claude/clone-repositories-71a5sw` (`53c6711a84`): calls byte-identical to `llbc_calls.py` on the fixture and `mask-risc`; receipt conserved (16,149); Kythe `/xrefs` 3/3 call pins | rust-analyzer oracle (`sag-ra-probe GRAPH=1`) and rustc on `fixtures/codegraph`; `POSSIBLE` never counted as a confirmed caller |
+| **D-CODEGRAPH-0-B** | resident rows via the ruff sink; per-file digests; incremental invalidation | QUEUED | clean import == incremental import |
+| **D-CODEGRAPH-0-C** | callers / callees / impact / diagnostics; tiled closure; body → R2IL design check | QUEUED | each guard disable-verified; unused import proven only without macros, traits, globs, re-exports |
+| **D-CODEGRAPH-0-D** | local stdio MCP over C | QUEUED | only after B and C gates |
+| **D-CODEGRAPH-0-E** | token measurement with and without the Codegraph | QUEUED | same revision, questions, model; nothing claimed before measured |
+
 ## D-SAG-6 — Rust Codegraph → Mathematics → Logic → Tracert (2026-10-24)
 
 **Status: S0 PROPOSAL / DOCS ONLY.** Plan: [d-sag-6-rust-codegraph-math-logic-tracert-v1.md](../plans/d-sag-6-rust-codegraph-math-logic-tracert-v1.md). Agent prompt: [d-sag-6-rust-codegraph-logic-tracert-claude-code.md](../prompts/d-sag-6-rust-codegraph-logic-tracert-claude-code.md). Coordination: [EXO-50](https://linear.app/exo-red/issue/EXO-50/agent-message-bus-gpt-xgrok-ccsession-id). Continuation of D-SAG / D-DRMC / Ascent-BYODS, **not** a revived SoftwareGraph, separate registry, runtime or new proof authority. Parallel #1759 only reconciles existing board status.

.claude/board/entries/2026-10-26-dqm-m1-timed-arm.md

@@ -0,0 +1,49 @@
+# 2026-10-26 — D-DQM-M1: timed arm in both differential halves; exit gate NOT met
+
+**Status:** MEASURED (both arms ran); M1 exit gate open. No performance claim.
+
+Plan: `.claude/plans/duckdb-dr-quack-machine-room-reuse-v1.md` M1.
+
+## What landed
+
+- `tests/duckdb/timing.py` (DuckDB arm): reuses `oracle.load` and
+  `oracle.encode`; parity first, then `t_prepare_ns` (PREPARE alone) and
+  `t_execute_ns` (EXECUTE + fetchall), median of `--reps`, `SET threads`.
+  `oracle.py` only gained `load(con)`; `cases.tsv` regenerates byte-identical.
+- `duckdb_differential.rs` (Quack arm): `QUACK_DIFF_TIMED_REPS` (default 0,
+  so the default run is unchanged: METRIC lines diffed identical before and
+  after). When set, METRIC gains `t_compile_or_bind_ns`, `t_execute_ns`,
+  `timed_reps`; every rep asserts the same answer as the untimed run.
+
+## Run (same machine, 4 cores, load 0.2, x86-64-v3 default config)
+
+```
+QUACK_DIFF_TIMED_REPS=101 cargo test --release -p lance-graph-quack \
+  --test duckdb_differential -- --nocapture --test-threads=1     # 39 pass, 1 ignored
+python -I crates/lance-graph-quack/tests/duckdb/timing.py --threads 1 --reps 101
+                                                                 # 38/38 parity=OK, DuckDB 2.0.0
+```
+
+- Quack, 34 timed cases: bind 56–1201 ns, execute 440–7899 ns (median of 101).
+- DuckDB, 38 cases: prepare 449–1714 µs, execute 437–3251 µs. Reported, not
+  gated (D-DQM's reference-arm exception).
+- 27 cases pair by name; 7 Quack-only (avg split into sum and count, two
+  k-program variants, the ordered-view join); 11 DuckDB-only (the avg and
+  having cases go through `run_group_avg` / `run_group_having`, which build
+  no CaseMetrics and are untimed).
+
+## Why the exit gate is not met (so no ratio is quoted)
+
+The gate asks for identical measured boundaries. They are not:
+
+1. DuckDB's execute includes the Python call and fetchall conversion; Quack's
+   includes clearing its out-buffer and the per-rep answer check.
+2. Quack's bind includes lowering plus `Scratch` allocation; DuckDB's prepare
+   is parse/bind/plan.
+3. `run_scalar`'s bind rep re-runs only `Scratch::for_program`, not the
+   caller's lowering; `run_group` times separate scratches.
+4. No oracle checksum in the METRIC line yet.
+
+OPEN: a DuckDB execute measured without the Python boundary (C API or a
+server-side loop) or a stated FFI floor; time the avg/having helpers;
+align the `run_scalar` bind boundary; add the checksum field.

.claude/board/entries/2026-10-26-ledger-revision-1727-1784.md

@@ -0,0 +1,34 @@
+# 2026-10-26 — Recovery ledger revised against #1727–#1784 and ndarray #368–#376
+
+**Status:** WORKING-MODEL (research document; no code changed).
+
+`.claude/research/2026-10-recovery/LEDGER-REVISION-2026-10-26f.md` maps 61
+first-parent commits (`main` at `18fbe43a`) and 8 ndarray PRs (`master` at
+`195844bd`) onto revision (e)'s open list, and folds in the open list a session
+carried from 2026-09-18. OGAR had no merges in the window.
+
+- **Main finding:** the five unexecuted rulings of 2026-10-20 are still
+  unexecuted; no PR in the window touched them (re-read: `action.rs:266, 517`,
+  `lance-graph/Cargo.toml:58`, `supervisor.rs:203-212`), while about 22 plan
+  files were added (K30).
+- **Closed (C73–C84):** the D-DRF focus-lease lab arc (P1, P2, G, W1, W3, W4,
+  W8, churn, TLB); D-DRAV-AV1; `lance-graph-onnx` with ULP-bounded Tanh/Exp
+  over ndarray; ndarray numerics on every backend (#368–#376); D-NFR-6;
+  D-MPF-1; D-DRMC L1; thought-git squash; EXO-129 (torque killed); the new
+  board ledgers; catch-ups through #1758; the bgz-tensor Fisher-Z
+  decomposition (the clamp itself stays open).
+- **From the 2026-09-18 list:** 64k slab, ndarray #317's two corrections, the
+  semantic DuckDB differential, door 1 (facet register compare) and door 3
+  (`pack<const L>`) are closed; Mississippi Queen is closed as rejected by
+  measurement (Tern2 replaced it); the hop is reframed (one hop exists three
+  ways, multi-hop is the RECURSION row); the duplicate 34-recipe vocabulary is
+  open and latent; two doc items are excluded (frozen prose, dated entry).
+- **Links:** K26 (D-DRF W8's budget and ndarray #376 already implement the
+  lane-fold capstone's points 10 and 9), K27 (D-DRF-1 is a fifth admission
+  instance and the first called an exception), K28 (ndarray → ONNX is the one
+  cross-repo seam wired end to end), K29 (the hop and RECURSION are one item),
+  K30.
+
+OPEN: Q1–Q6 of revision (e); Q7 the recipe-op arity (S1); Q8 where the D-DRF-1
+zero-copy exception is written; Q9 which capstone governs the ONNX /
+native-method membrane.