Skip to content

Commit 8a2f0b8

Browse files
authored
Merge pull request #1805 from AdaWorldAPI/ccr-d3ce1263-ied9yh
board: catch-up #1772–#1803; index 13 unindexed plans; OP-ONNX-2 notes #1802
2 parents 2b5507e + f4dd287 commit 8a2f0b8

4 files changed

Lines changed: 145 additions & 1 deletion

File tree

‎.claude/board/INTEGRATION_PLANS.md‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,12 @@
1+
## 2026-10-26 — index catch-up: thirteen plans merged without an index row (#1779–#1784, #1794–#1799, #1802)
2+
3+
- 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.
4+
- 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`.
5+
- `d-onnx-frontend-intake-bakeoff-capstone-v1` (#1802), D-ONNX-INTAKE-0.
6+
7+
**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.
8+
**Confidence:** index row only.
9+
110
## 2026-10-26 — D-DT64 64-slot versioned DTO adapter / holographic relational projections → `.claude/plans/d-dt64-holographic-predicate-capstone-v1.md`
211

312
**Status:** DESIGN ONLY, six documentation PRs **MERGED** to main (#1794–#1799). **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; these are merged documentation-only design receipts, **NOT** production adapters or a measured DT64→Quack proof.

‎.claude/board/LATEST_STATE.md‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,11 @@
1+
## 2026-10-26 — main after #1803 (merged `13e37026`)
2+
3+
- 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.
4+
- One registered FAIL: D-DQM P1 chunk-touched predictor (#1789); locality is not predictable, so no strategy policy may claim it (#1792 amendment A).
5+
- 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).
6+
- Cross-cutting blocker named by D-DTM-1, DT64-1/-4 and D-RMAP-1A: EXO-148 (`DurableRef` / `ThoughtCommitId` do not exist).
7+
- Per-PR records: `PR_ARC_INVENTORY.md` catch-up #1772–#1803.
8+
19
## 2026-10-26 — main after #1792 (merged `30ca36ec0`)
210

311
- D-DQM: Lance 13 crosswalk and pre-registered probes (#1788); P1 chunk-touched byte predictor FAILED (#1789).

‎.claude/board/PR_ARC_INVENTORY.md‎

Lines changed: 127 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,130 @@
1+
<!-- 2026-10-26 catch-up: #1772–#1803 had no entries. Board-hygiene-only #1773 and #1793 get none (termination clause). Recorded from merge commits, changed files and each PR's own Status line. -->
2+
3+
## 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
4+
5+
- **Added:** `.claude/probes/source-behavior-v1/` fixtures and certificate runs (no crate).
6+
- **Confidence:** LAB evidence, compacted; production impact none.
7+
8+
## 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
9+
10+
- **Added:** docs only: plan `d-onnx-frontend-intake-bakeoff-capstone-v1.md`, CC handoff prompt, entry `2026-10-26-onnx-frontend-intake-bakeoff.md`.
11+
- **Confidence:** PROPOSAL; no importer, no test run. Bears on OP-ONNX-2 (importer choice), still OPEN.
12+
13+
## 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
14+
15+
- **Added:** probe files under `.claude/probes/`; entry `2026-10-26-d-tflp-65-landing.md`.
16+
- **Confidence:** MEASURED (lab), docs and probes only; no crate, ABI or kernel change.
17+
18+
## 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
19+
20+
- **Added:** probe files under `.claude/probes/`.
21+
- **Confidence:** MEASURED (lab); production impact none.
22+
23+
## 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
24+
25+
- **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.
26+
- **Confidence:** DESIGN; blockers named in the entry include EXO-46, EXO-148, EXO-152, NFR-OP-2.
27+
28+
## 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
29+
30+
- **Added:** docs only: `d-dt64-5-native-method-onnx-timeseries-v1.md`.
31+
- **Confidence:** ENGINEERING PLAN; D-NAM/EXO-152 authoritative for the method crosswalk.
32+
33+
## 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
34+
35+
- **Added:** docs only: `d-dt64-4-edge-thoughtgit-hypothesis-time-v1.md`.
36+
- **Confidence:** RESEARCH PLAN; durable Thought-Git replay waits on EXO-148 (`thought_commit` OPEN).
37+
38+
## 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
39+
40+
- **Added:** docs only: `d-dt64-3-directed-dr-projection-falsifiers-v1.md`.
41+
- **Confidence:** GATED PLAN.
42+
43+
## 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
44+
45+
- **Added:** docs only: `d-dt64-2-iam-odoo-sap-source-admission-v1.md`.
46+
- **Confidence:** SPECIFICATION.
47+
48+
## 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
49+
50+
- **Added:** docs only: `d-dt64-1-predicate-catalogue-source-crosswalk-v1.md`.
51+
- **Confidence:** DESIGN; 64 candidate mappings, not a registry.
52+
53+
## 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
54+
55+
- **Added:** docs only: `duckdb-dr-quack-machine-room-reuse-v1.md`.
56+
- **Confidence:** PROPOSAL; follow-ups #1788 (crosswalk) and #1789 (P1 probe, FAIL).
57+
58+
## 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
59+
60+
- **Added:** `.claude/ideas/` scratchpad + `IDEAS.md` row.
61+
- **Confidence:** IDEA.
62+
63+
## 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
64+
65+
- **Added:** docs only: `d-tflp-tflite-palette-polyfill-capstone-v1.md`, entry `2026-10-25-d-tflp-0-tflite-palette-polyfill.md`.
66+
- **Confidence:** PROPOSAL; D-TFLP-1..8 NOT RUN.
67+
68+
## 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)
69+
70+
- **Added:** docs only: `d-nam-palette-native-lut-capstone-v1.md`, CC prompt.
71+
- **Confidence:** PROPOSAL; PZL-0..5 NOT RUN.
72+
73+
## 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
74+
75+
- **Added:** docs only: `d-nam-5-reverse-dto-certification-gates-v1.md`.
76+
- **Confidence:** SPEC.
77+
78+
## 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
79+
80+
- **Added:** docs only.
81+
- **Confidence:** SPEC.
82+
83+
## 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
84+
85+
- **Added:** docs only: `d-nam-3-mlir-sql-relalg-normalization-v1.md`.
86+
- **Confidence:** SPEC.
87+
88+
## 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
89+
90+
- **Added:** docs only.
91+
- **Confidence:** SPEC.
92+
93+
## 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
94+
95+
- **Added:** `.claude/specs/d-nam-method-crosswalk-v1.json` + `tools/d_nam_validate_crosswalk.py` (fail-closed validator).
96+
- **Confidence:** SPEC + static tooling; no native mapping, no certification.
97+
98+
## 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
99+
100+
- **Added:** docs only: `d-nam-native-algebra-dto-capstone-v1.md`, CC prompt, STATUS_BOARD/INTEGRATION_PLANS rows.
101+
- **Confidence:** PROPOSED; Linear EXO-152.
102+
103+
## 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
104+
105+
- **Added:** docs only: `d-dtm-1-distributed-thought-delta-reasoning-interchange-v1.md`, CC prompt.
106+
- **Confidence:** S0 documentation; P1–P8 not approved; EXO-148 named as blocker.
107+
108+
## 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
109+
110+
- **Added:** `crates/drf-focus-probe`; entry `2026-10-25-drav-av1-membership.md`.
111+
- **Confidence:** MEASURED (lab); A3 NOT RUN.
112+
113+
## 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
114+
115+
- **Added:** docs only: `d-dr-address-first-value-demand-v1.md`, entry `2026-10-25-d-drav-1-address-first-value-demand.md`.
116+
- **Confidence:** PROPOSAL.
117+
118+
## 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
119+
120+
- **Added:** `crates/drf-focus-probe/examples/tlb_probe.rs`; entry `2026-10-25-drf-tlb-probe.md`.
121+
- **Confidence:** MEASURED (lab), PARTLY EXPLAINED.
122+
123+
## 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
124+
125+
- **Added:** `crates/drf-focus-probe`; entry `2026-10-25-drf-churn-policy.md`.
126+
- **Confidence:** MEASURED (lab); neither order wins both workloads, default stays LRU.
127+
1128
<!-- 2026-10-26 catch-up: #1788–#1792 (this session's PRs). #1772–#1787 are not recorded here; that gap predates this PR. -->
2129

3130
## 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

‎.claude/plans/d-onnx-relalg-cap-v1.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -169,7 +169,7 @@ The 64³ Explore → 256³ Validate → Certified Method → 64³ Reuse progress
169169
| ID | Question | Owner | Dependency | Evidence | Falsifier | Decision | Status |
170170
|---|---|---|---|---|---|---|---|
171171
| 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) |
172-
| OP-ONNX-2 | Importer dependency (options A-E) | operator | OP-ONNX-1 for scope | §5 above | S1 reads real ONNX bytes | none | OPEN |
172+
| 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 |
173173
| OP-ONNX-3 | DR64³/DR256³ original plan missing | operator | none | §6 negative search (BRIEF) | the plan is located | none | OPEN |
174174
| 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 |
175175
| 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 |

0 commit comments

Comments
 (0)