diff --git a/.claude/board/INTEGRATION_PLANS.md b/.claude/board/INTEGRATION_PLANS.md index 30543ccea..230edb4c1 100644 --- a/.claude/board/INTEGRATION_PLANS.md +++ b/.claude/board/INTEGRATION_PLANS.md @@ -1,3 +1,12 @@ +## 2026-10-26 — index catch-up: thirteen plans merged without an index row (#1779–#1784, #1794–#1799, #1802) + +- D-NAM leaves (EXO-152): `d-nam-1-native-method-crosswalk-spec-v1` (#1779), `d-nam-2-onnx-tflite-leaf-dto-v1` (#1780), `d-nam-3-mlir-sql-relalg-normalization-v1` (#1781), `d-nam-4-quack-soa-dr-native-recipes-v1` (#1782), `d-nam-5-reverse-dto-certification-gates-v1` (#1783), `d-nam-palette-native-lut-capstone-v1` (#1784). Capstone `d-nam-native-algebra-dto-capstone-v1` (#1778) is already indexed. +- DT64 leaves: `d-dt64-1-predicate-catalogue-source-crosswalk-v1` (#1794), `d-dt64-2-iam-odoo-sap-source-admission-v1` (#1795), `d-dt64-3-directed-dr-projection-falsifiers-v1` (#1796), `d-dt64-4-edge-thoughtgit-hypothesis-time-v1` (#1797), `d-dt64-5-native-method-onnx-timeseries-v1` (#1798); `d-dt64-quack-borrowed-binding-seam-v1` (#1799) is a non-authoritative pointer to the canonical `d-dt64-q0-borrowed-quack-binding-seam-v1`. +- `d-onnx-frontend-intake-bakeoff-capstone-v1` (#1802), D-ONNX-INTAKE-0. + +**Status:** all PROPOSAL / SPEC / docs only, read from each plan's own header; nothing authorized. #1779 also ships a static crosswalk JSON and a fail-closed validator (`tools/d_nam_validate_crosswalk.py`), not a native mapping. +**Confidence:** index row only. + ## 2026-10-26 — D-DT64 64-slot versioned DTO adapter / holographic relational projections → `.claude/plans/d-dt64-holographic-predicate-capstone-v1.md` **Status:** DESIGN ONLY, six draft docs PRs. **Board:** [D-DT64-0](entries/2026-10-26-dt64-holographic-interface.md) and [STATUS_BOARD](STATUS_BOARD.md). **Stages:** [DT64-1 #1794](https://github.com/AdaWorldAPI/lance-graph/pull/1794) predicate/source catalogue, [DT64-2 #1795](https://github.com/AdaWorldAPI/lance-graph/pull/1795) IAM/Odoo/SAP/EXO DTO authority, [DT64-3 #1796](https://github.com/AdaWorldAPI/lance-graph/pull/1796) directed DR projections, [DT64-4 #1797](https://github.com/AdaWorldAPI/lance-graph/pull/1797) edge×edge and Thought-Git temporal hypotheses, [DT64-5 #1798](https://github.com/AdaWorldAPI/lance-graph/pull/1798) native method/ONNX/time series. [EXO-50](https://linear.app/exo-red/issue/EXO-50) is append-only handoff; all these are independent docs-only branches and **NOT** production PRs or measured probes. diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index 9c197c9db..53ecd0586 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.claude/board/LATEST_STATE.md @@ -1,3 +1,11 @@ +## 2026-10-26 — main after #1803 (merged `13e37026`) + +- Code on main since #1759: `crates/drf-focus-probe` (D-DRF P1/P2, writeback W1–W4/W6–W8, budget, churn, TLB, DRAV-AV1; workspace-excluded, no CI job) and, from #1792, D-NFR-1 falsifier tests only (`cognitive-shader-driver/tests/escaped_reuse.rs`, `lance-graph-planner/tests/horizon_is_not_a_snapshot.rs`, `soa-view-probe/tests/falsifiers.rs`). No production source changed. DR256 global-mask labs (#1790, #1791, #1792 P2) and D-TFLP 6.5 probes (#1800, #1801, #1803) are lab evidence, production impact none. +- One registered FAIL: D-DQM P1 chunk-touched predictor (#1789); locality is not predictable, so no strategy policy may claim it (#1792 amendment A). +- Docs-only families: D-NAM (#1778–#1784, EXO-152), DT64 (#1794–#1799, canonical seam D-DT64-Q0), D-DTM-1 (#1777), D-DRAV-1 (#1775), D-TFLP-0 (#1785), D-DQM (#1787, #1788), D-ONNX-INTAKE-0 (#1802), D-SAG-6 (#1760). +- Cross-cutting blocker named by D-DTM-1, DT64-1/-4 and D-RMAP-1A: EXO-148 (`DurableRef` / `ThoughtCommitId` do not exist). +- Per-PR records: `PR_ARC_INVENTORY.md` catch-up #1772–#1803. + ## 2026-10-26 — main after #1792 (merged `30ca36ec0`) - D-DQM: Lance 13 crosswalk and pre-registered probes (#1788); P1 chunk-touched byte predictor FAILED (#1789). diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md index 82ee6db75..e3d3cd1bc 100644 --- a/.claude/board/PR_ARC_INVENTORY.md +++ b/.claude/board/PR_ARC_INVENTORY.md @@ -1,3 +1,130 @@ + + +## 2026-10-26 — lance-graph PR #1803 (merged `13e37026`, branch `claude/d-tflp-compact-evidence`, head `63e8ced3`) — probes(D-TFLP 6.5): compact softmax data files, drop the run record + +- **Added:** `.claude/probes/source-behavior-v1/` fixtures and certificate runs (no crate). +- **Confidence:** LAB evidence, compacted; production impact none. + +## 2026-10-26 — lance-graph PR #1802 (merged `e1ceceec`, branch `docs/d-onnx-frontend-intake-bakeoff-20261026`, head `1f515d07`) — docs(D-ONNX-INTAKE-0): Burn onnx-ir vs Tract cold frontend capstone + +- **Added:** docs only: plan `d-onnx-frontend-intake-bakeoff-capstone-v1.md`, CC handoff prompt, entry `2026-10-26-onnx-frontend-intake-bakeoff.md`. +- **Confidence:** PROPOSAL; no importer, no test run. Bears on OP-ONNX-2 (importer choice), still OPEN. + +## 2026-10-26 — lance-graph PR #1801 (merged `f1ff647f`, branch `claude/d-tflp-codec8-admission`, head `01ef5077`) — probes(D-TFLP 6.5): Codec8 semantic admission + DT64/Quack/D-NAM handoff + +- **Added:** probe files under `.claude/probes/`; entry `2026-10-26-d-tflp-65-landing.md`. +- **Confidence:** MEASURED (lab), docs and probes only; no crate, ABI or kernel change. + +## 2026-10-26 — lance-graph PR #1800 (merged `7d485dcb`, branch `claude/d-tflp-softmax-evidence`, head `26666aa0`) — probes(D-TFLP 6.5): softmax fixture replay + certified preparation gate + +- **Added:** probe files under `.claude/probes/`. +- **Confidence:** MEASURED (lab); production impact none. + +## 2026-10-26 — lance-graph PR #1799 (merged `7b3cba7e`, branch `research/dt64-predicate-holographic-capstone-20261026`, head `6c769223`) — docs(DT64-0): versioned DTO predicate adapter capstone, staged PR board, EXO-50 gates + +- **Added:** docs only: capstone `d-dt64-holographic-predicate-capstone-v1.md`, D-DT64-Q0 seam `d-dt64-q0-borrowed-quack-binding-seam-v1.md` (canonical), entry `2026-10-26-dt64-holographic-interface.md`, STATUS_BOARD/INTEGRATION_PLANS rows. +- **Confidence:** DESIGN; blockers named in the entry include EXO-46, EXO-148, EXO-152, NFR-OP-2. + +## 2026-10-26 — lance-graph PR #1798 (merged `ccee8bf5`, branch `research/dt64-native-onnx-methods-20261026`, head `64c20a87`) — docs(DT64-5): native DTO behavior and ONNX/time-series lowering gates + +- **Added:** docs only: `d-dt64-5-native-method-onnx-timeseries-v1.md`. +- **Confidence:** ENGINEERING PLAN; D-NAM/EXO-152 authoritative for the method crosswalk. + +## 2026-10-26 — lance-graph PR #1797 (merged `2b6ecf1d`, branch `research/dt64-thoughtgit-temporal-20261026`, head `ee58fe05`) — docs(DT64-4): edge dependencies, Thought-Git hypothesis, temporal projections + +- **Added:** docs only: `d-dt64-4-edge-thoughtgit-hypothesis-time-v1.md`. +- **Confidence:** RESEARCH PLAN; durable Thought-Git replay waits on EXO-148 (`thought_commit` OPEN). + +## 2026-10-26 — lance-graph PR #1796 (merged `30299d2d`, branch `research/dt64-inverted-dr-projections-20261026`, head `81e34a8a`) — docs(DT64-3): directed DR inverse projections and falsifiers + +- **Added:** docs only: `d-dt64-3-directed-dr-projection-falsifiers-v1.md`. +- **Confidence:** GATED PLAN. + +## 2026-10-26 — lance-graph PR #1795 (merged `4a3ef346`, branch `research/dt64-source-adapters-20261026`, head `2426e801`) — docs(DT64-2): source-admitted IAM / Odoo / SAP DTO mappings + +- **Added:** docs only: `d-dt64-2-iam-odoo-sap-source-admission-v1.md`. +- **Confidence:** SPECIFICATION. + +## 2026-10-26 — lance-graph PR #1794 (merged `c2f2466a`, branch `research/dt64-catalogue-mappings-20261026`, head `db7b90dc`) — docs(DT64-1): 64 typed predicate mappings for IAM / Odoo / SAP + +- **Added:** docs only: `d-dt64-1-predicate-catalogue-source-crosswalk-v1.md`. +- **Confidence:** DESIGN; 64 candidate mappings, not a registry. + +## 2026-10-26 — lance-graph PR #1787 (merged `87b2899b`, branch `docs/d-dqm-duckdb-quack-landing-zone-20261026`, head `ebe057f2`) — docs(quack): audit DuckDB vector techniques against DR landing zones + +- **Added:** docs only: `duckdb-dr-quack-machine-room-reuse-v1.md`. +- **Confidence:** PROPOSAL; follow-ups #1788 (crosswalk) and #1789 (P1 probe, FAIL). + +## 2026-10-26 — lance-graph PR #1786 (merged `aed0cadc`, branch `docs/virtual-associative-fold-syndrome-scratchpad-20261025`, head `e08d4839`) — docs(brainstorm): virtual associative folds, comma syndromes, emergency Pickaxe + +- **Added:** `.claude/ideas/` scratchpad + `IDEAS.md` row. +- **Confidence:** IDEA. + +## 2026-10-26 — lance-graph PR #1785 (merged `841491c7`, branch `docs/d-tflp-palette-polyfill-20261025`, head `8d480420`) — docs(D-TFLP-0): TFLite models on the native polyfill, int8 codes as Palette256 + +- **Added:** docs only: `d-tflp-tflite-palette-polyfill-capstone-v1.md`, entry `2026-10-25-d-tflp-0-tflite-palette-polyfill.md`. +- **Confidence:** PROPOSAL; D-TFLP-1..8 NOT RUN. + +## 2026-10-25 — lance-graph PR #1784 (merged `18fbe43a`, branch `docs/d-nam-palette-native-lut-capstone-20261025`, head `08088da2`) — docs(D-NAM-PZL): palette-native LUT lowering and capstone alignment (S0) + +- **Added:** docs only: `d-nam-palette-native-lut-capstone-v1.md`, CC prompt. +- **Confidence:** PROPOSAL; PZL-0..5 NOT RUN. + +## 2026-10-25 — lance-graph PR #1783 (merged `fb7a4ae5`, branch `docs/d-nam-5-bidirectional-conformance-20261025`, head `21f447df`) — spec(D-NAM-5): conditional reverse DTO and cross-dialect conformance closure + +- **Added:** docs only: `d-nam-5-reverse-dto-certification-gates-v1.md`. +- **Confidence:** SPEC. + +## 2026-10-25 — lance-graph PR #1782 (merged `9e9dae5d`, branch `docs/d-nam-4-native-bind-recipe-20261025`, head `5cd4a6e1`) — spec(D-NAM-4): Quack/SoA/DR prepared binding to existing R2IL/ndarray recipes + +- **Added:** docs only. +- **Confidence:** SPEC. + +## 2026-10-25 — lance-graph PR #1781 (merged `ae58ec84`, branch `docs/d-nam-3-mlir-relalg-20261025`, head `1844b5d4`) — spec(D-NAM-3): MLIR indexing and SQL/RelAlg lawful method normalization + +- **Added:** docs only: `d-nam-3-mlir-sql-relalg-normalization-v1.md`. +- **Confidence:** SPEC. + +## 2026-10-25 — lance-graph PR #1780 (merged `bd776751`, branch `docs/d-nam-2-onnx-tflite-dto-20261025`, head `9c5eef04`) — spec(D-NAM-2): ONNX/TFLite leaf DTO adapters, BOOL and quantization contracts + +- **Added:** docs only. +- **Confidence:** SPEC. + +## 2026-10-25 — lance-graph PR #1779 (merged `538bc171`, branch `docs/d-nam-1-method-normalization-20261025`, head `3bb5977d`) — spec(D-NAM-1): versioned native method DTO crosswalk and normalization gates + +- **Added:** `.claude/specs/d-nam-method-crosswalk-v1.json` + `tools/d_nam_validate_crosswalk.py` (fail-closed validator). +- **Confidence:** SPEC + static tooling; no native mapping, no certification. + +## 2026-10-25 — lance-graph PR #1778 (merged `96b4b282`, branch `docs/d-nam-0-capstone-20261025`, head `c1c81ff0`) — docs(D-NAM-0): capstone for native algebra method × external DTO dialects + +- **Added:** docs only: `d-nam-native-algebra-dto-capstone-v1.md`, CC prompt, STATUS_BOARD/INTEGRATION_PLANS rows. +- **Confidence:** PROPOSED; Linear EXO-152. + +## 2026-10-25 — lance-graph PR #1777 (merged `7eb62a57`, branch `docs/d-dtm-1-reasoning-interchange-20261025`, head `11b5cbc4`) — docs(D-DTM-1): distributed thought-delta reasoning interchange capstone and PR map + +- **Added:** docs only: `d-dtm-1-distributed-thought-delta-reasoning-interchange-v1.md`, CC prompt. +- **Confidence:** S0 documentation; P1–P8 not approved; EXO-148 named as blocker. + +## 2026-10-25 — lance-graph PR #1776 (merged `5a7cae35`, branch `lab/drav-av1-membership-20261025`, head `c5fe8ba1`) — lab(drav-av1): map-only membership mask over a bound DR64 map + +- **Added:** `crates/drf-focus-probe`; entry `2026-10-25-drav-av1-membership.md`. +- **Confidence:** MEASURED (lab); A3 NOT RUN. + +## 2026-10-25 — lance-graph PR #1775 (merged `e71760a3`, branch `docs/dr-address-first-value-demand-20261025`, head `59bd0104`) — docs(D-DRAV-1): address-first DR map and demand-driven value residency + +- **Added:** docs only: `d-dr-address-first-value-demand-v1.md`, entry `2026-10-25-d-drav-1-address-first-value-demand.md`. +- **Confidence:** PROPOSAL. + +## 2026-10-25 — lance-graph PR #1774 (merged `b4702b71`, branch `lab/drf-tlb-probe-20261025`, head `2c6894a5`) — lab(drf-tlb): gather cost against distinct pages touched + +- **Added:** `crates/drf-focus-probe/examples/tlb_probe.rs`; entry `2026-10-25-drf-tlb-probe.md`. +- **Confidence:** MEASURED (lab), PARTLY EXPLAINED. + +## 2026-10-25 — lance-graph PR #1772 (merged `c9177272`, branch `lab/drf-churn-policy-20261025`, head `020a8771`) — lab(drf-churn): measure MRU against LRU under focus churn + +- **Added:** `crates/drf-focus-probe`; entry `2026-10-25-drf-churn-policy.md`. +- **Confidence:** MEASURED (lab); neither order wins both workloads, default stays LRU. + ## 2026-10-26 — lance-graph PR #1792 (merged `30ca36ec0`, branch `claude/dr256-where-capstone`, head `2971b870`) — D-DR256-WHERE: capstone, DR64³ inventory, P2 Quack-path lab, evidence reconciliation, D-NFR-1 ownership correction diff --git a/.claude/plans/d-onnx-relalg-cap-v1.md b/.claude/plans/d-onnx-relalg-cap-v1.md index 837553123..16b6914a3 100644 --- a/.claude/plans/d-onnx-relalg-cap-v1.md +++ b/.claude/plans/d-onnx-relalg-cap-v1.md @@ -169,7 +169,7 @@ The 64³ Explore → 256³ Validate → Certified Method → 64³ Reuse progress | ID | Question | Owner | Dependency | Evidence | Falsifier | Decision | Status | |---|---|---|---|---|---|---|---| | OP-ONNX-1 | Home for value maths (arithmetic, MatMul, Exp/Tanh/Mish): relalg cannot take it without a new IR | operator | none | opusA §2; D-RA-2 `.claude/plans/d-relalg-unified-v1.md`; `crates/lance-graph-relalg/src/lib.rs` | any proposal adding value-producing nodes to `Rel` | none | ANSWERED 2026-10-24: D-NFC §4 (#1753) + `lance-graph-onnx` (#1754) | -| OP-ONNX-2 | Importer dependency (options A-E) | operator | OP-ONNX-1 for scope | §5 above | S1 reads real ONNX bytes | none | OPEN | +| OP-ONNX-2 | Importer dependency (options A-E) | operator | OP-ONNX-1 for scope | §5 above | S1 reads real ONNX bytes | none | OPEN; 2026-10-26: #1802 (D-ONNX-INTAKE-0) proposes Burn `onnx-ir` vs Tract as competing cold frontends, docs only, no choice made | | OP-ONNX-3 | DR64³/DR256³ original plan missing | operator | none | §6 negative search (BRIEF) | the plan is located | none | OPEN | | OP-ONNX-4 | Does bit-position scanning in one co-addressed frame violate ADMISSION B / D-RU-6? | operator | none | `relcomp.rs`; `compose.rs`; `qr.rs`; `.claude/board/ISSUES.md` | a ruling | none | OPEN | | OP-ONNX-5 | Independent proof checker; none exists | plan owner | #1741 P-J4 | `.claude/board/entries/2026-10-23-drmc-l1-x8-fresh-frame-result.md` | a replay checker that rejects a tampered proof | none | OPEN |