AdaWorldAPI · Oct 23, 2026 · Oct 23, 2026 · Oct 23, 2026 · Oct 23, 2026 · Oct 23, 2026
diff --git a/.claude/board/IDEAS.md b/.claude/board/IDEAS.md
@@ -283,6 +283,7 @@ deduplicated set where MeTTa returns a bag.
 `[P2 domain:dr-math D-DRMC]`
 
 After X15, `dr-math-binding-probe` admits a recipe only through an opaque `RecipeCertificate` that a certified compiler issues; none exists, so every admission ends in `NoCertifiedCompiler` (`entries/2026-10-22-coresearch-drmc-stack.md` § Applied, #1703). The boundary needs three parts: a typed relational statement language over ClassView domains, egglog laws over it whose proofs a checker independent of the producer re-checks, and a check that the lowering preserves the statement. First law: associativity of Boolean relation composition, already measured as a probe (D-DRMC-5, #1707: 14 orders, one relation). Kill: the statement language cannot type the composition D-DRMC-5 already runs. Scope question for the operator: how far the boundary goes (LEDGER-REVISION-2026-10-23e Q2).
+**Amended 2026-10-23 (D-ONNX-RELALG-CAP S0):** "none exists" is scoped too broadly. The single-operand `admit_recipe` path still ends in `NoCertifiedCompiler` (`recipe.rs`). `relcomp::certify_reassociation` (#1707) IS an issuer: it covers associativity of Boolean-Distinct relation composition, egglog-proved, digest-bound (correction #1738), and its certificates re-execute on fresh frames (#1740). Still missing: an independent proof checker; any second law; the multi-binding catalogue; any production path. The egglog dependency floats on `branch = "main"`, and no certificate field names the prover revision.
 **Fruit:** Heavy
 **Status:** Open
 
@@ -291,6 +292,7 @@ After X15, `dr-math-binding-probe` admits a recipe only through an opaque `Recip
 `[P1 domain:dr-math D-DRMC]`
 
 Pre-registered in `entries/2026-10-22-coresearch-drmc-stack.md`, none run. X6: `validity: None` must refuse or report `Unattested`, never silently mean all-known. X7: a compile-fail test that no `PopulationReport` → premise conversion exists. X8: two certified bindings for one key (today the first falls back). X16: a law found on class 1 must not reach class 22 (2 counterexamples) unchecked. X18: a census may veto ACT-R eligibility, never qualify it. Each is one falsifier on an existing crate; X6, X7 and X18 are the cheapest.
+**Amended 2026-10-23 (D-ONNX-RELALG-CAP S0):** one half of X8 has run. #1740 (`c42140b7`, `dr-math-binding-probe/tests/x8_fresh_frame.rs`, 7/7) re-executes a D-DRMC-5 certificate on independently issued fresh frames with 0 egglog calls. The half named above, two certified bindings for one key in the `egglog-r2il-probe` catalogue (whose `insert` overwrites), is untouched: #1740 changes no catalogue file. X6, X7, X16 and X18 are still unrun.
 **Fruit:** High-signal
 **Status:** Open
 

diff --git a/.claude/board/INTEGRATION_PLANS.md b/.claude/board/INTEGRATION_PLANS.md
@@ -1,3 +1,7 @@
+## 2026-10-23 — d-onnx-relalg-cap-v1 — ONNX as an import membrane over the existing substrate → `.claude/plans/d-onnx-relalg-cap-v1.md`
+
+**Status:** PROPOSAL, documentation only (S0). S1..S5 PLANNED, not authorized. The original DR64³ plan was not found; the DR64³ section is a new, labelled proposal. relalg takes only the Boolean/compare/reduce fragment; the home for value maths is OPEN (OP-ONNX-1), and so is the importer dependency (OP-ONNX-2). Entry: `entries/2026-10-23-d-onnx-relalg-cap-s0.md`.
+
 ## 2026-10-23 — catch-up: plans from #1660–#1708 had no index entry
 
 **Status:** INDEX CATCH-UP; no plan status changes. Each status below is the plan's own status line on `main` at `b342d47c`.

diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md
@@ -1,7 +1,7 @@
 ## 2026-10-23 — main after #1741 (merged `59538865`)
 
-- **On main since #1725:** L1 for D-DRMC-5 (#1740): a reassociation certificate executes on a fresh frame without egglog. The Julia e-graphs coresearch map (#1741). #1726–#1739 have no per-PR records yet.
-- **Contract inventory delta:** none; lab crates and board only.
+- **On main since #1725:** Palette256 compose and learned-LUT probes (#1726, #1731), the BREADCRUMBS / TORQUE / GOLDSTAUB ledgers and `fruits_index.py` (#1729), the thought-git squash gate and Probe D (#1736, #1739, lab, `thought-git-probe`), the D-DRMC-5 fresh-frame reuse L1 (#1740, lab, `dr-math-binding-probe`), the "no certified compiler" scope correction (#1738), and coresearch maps (#1737, #1741). Per-PR records: `PR_ARC_INVENTORY.md`.
+- **Contract inventory delta:** none. Every PR in this range is a lab crate, a probe, a ledger or a board entry.
 
 ## 2026-10-23 — main after #1725 (merged `b342d47c`)
 

diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md
@@ -1,5 +1,7 @@
 <!-- 2026-10-23 catch-up: #1660–#1725 had no entries. One compact entry per PR, recorded from the merge commit. Board-hygiene-only PRs (#1664, #1665, #1672, #1678, #1683) get none, per the CLAUDE.md termination clause. -->
 
+<!-- 2026-10-23 catch-up (D-ONNX-RELALG-CAP S0): #1726–#1741, same rule. Hygiene-only, no entry: #1727, #1728, #1730, #1732, #1733, #1734, #1735. -->
+
 ## 2026-10-23 — lance-graph PR #1741 (merged `59538865`, branch `board/coresearch-julia-egraphs-20261023`, head `dcef8cc1`) — board: coresearch map, Julia e-graphs vs egglog/datafrog/Ascent; Lisp vs Prolog for MeTTa
 
 - **Added:** board only.
@@ -14,6 +16,52 @@
 - **Docs:** entries `2026-10-23-drmc-l1-x8-fresh-frame-preregistration.md`, `…-result.md`.
 - **Confidence:** MEASURED (lab).
 
+## 2026-10-23 — lance-graph PR #1739 (merged `9a458cae`, branch `ccr-d3ce1263-ied9yh`, head `52fab2cd`) — thought-git-probe: Probe D (D-TGA-5D), protected readers of a squash
+
+- **Added:** `crates/thought-git-probe` (`src/lib.rs`, new `src/squash.rs`, `tests/protected_readers.rs`, `tests/squash_gate.rs`); the D-TGA-5 squash gate moved into `src/squash.rs`; probe renamed D-TGA-6 -> D-TGA-5D.
+- **Docs:** entry `2026-10-23-d-tga-5d-protected-readers-preregistration.md`.
+- **Locked / deferred:** see the PR body and its board entry; not restated here.
+- **Confidence:** CATCH-UP (2026-10-23): recorded from the merge commit, not re-reviewed.
+
+## 2026-10-23 — lance-graph PR #1738 (merged `05b3516e`, branch `ccr-d3ce1263-ied9yh`, head `dca7c758`) — correction: "no DR64 certificate" scoped to the single-operand admit_recipe path
+
+- **Added:** correction in `crates/dr-math-binding-probe/RECIPE_ADMISSION.md` and in `entries/2026-10-23-coresearch-thought-git-markov.md`: `relcomp::certify_reassociation` (#1707) issues certificates; only `admit_recipe` ends in `NoCertifiedCompiler`. No code.
+- **Locked / deferred:** see the PR body; not restated here.
+- **Confidence:** CATCH-UP (2026-10-23): recorded from the merge commit, not re-reviewed.
+
+## 2026-10-23 — lance-graph PR #1737 (merged `64bd1902`, branch `board/coresearch-thought-git-markov-20261023`, head `38989f66`) — board: /coresearch map — thought-git accumulation as a large Markov chain (CC2 map and gap map)
+
+- **Added:** board only.
+- **Docs:** entries `2026-10-23-coresearch-thought-git-markov-cc2.md`, `2026-10-23-cc2-proof-compiling-gap-map.md`.
+- **Locked / deferred:** see the PR body and its board entry; not restated here.
+- **Confidence:** CATCH-UP (2026-10-23): recorded from the merge commit, not re-reviewed.
+
+## 2026-10-23 — lance-graph PR #1736 (merged `1b87a27e`, branch `ccr-d3ce1263-ied9yh`, head `6ad966d1`) — probe(D-TGA-5): squash the chain of origin into the most-updated lane, gated on contradiction; blame survives
+
+- **Added:** `crates/thought-git-probe/tests/squash_gate.rs`; board IDEAS/FRUITS/STATUS_BOARD rows.
+- **Docs:** entries `2026-10-23-d-tga-5-squash-gate-preregistration.md`, `2026-10-23-coresearch-thought-git-markov.md`.
+- **Locked / deferred:** see the PR body and its board entry; not restated here.
+- **Confidence:** CATCH-UP (2026-10-23): recorded from the merge commit, not re-reviewed.
+
+## 2026-10-23 — lance-graph PR #1731 (merged `55e6777a`, branch `lab/exo129-learned-lut-composition-20261023`, head `e207e5ca`) — probe(EXO-129): a learned 256×256 table does not compose where the codebook is not closed
+
+- **Added:** `crates/bgz-tensor/tests/exo129_learned_lut_probe.rs`.
+- **Docs:** entry `2026-10-23-exo129-learned-lut-preregistration.md`.
+- **Locked / deferred:** see the PR body and its board entry; not restated here.
+- **Confidence:** CATCH-UP (2026-10-23): recorded from the merge commit, not re-reviewed.
+
+## 2026-10-23 — lance-graph PR #1729 (merged `8f610a85`, branch `board/ledgers-torque-goldstaub-20261023`, head `4a3685f1`) — board: BREADCRUMBS / TORQUE / GOLDSTAUB ledgers, amended closeout table, generated FRUITS.md
+
+- **Added:** `.claude/board/{BREADCRUMBS,TORQUE,GOLDSTAUB,FRUITS}.md`; `.claude/tools/append_only_gate.py`, `.claude/tools/fruits_index.py`; `.github/workflows/append-only-gate.yml`; `CLAUDE.md` closeout-table amendment; `.claude/BOOT.md`, `.claude/settings.json`.
+- **Locked / deferred:** see the PR body and its board entry; not restated here.
+- **Confidence:** CATCH-UP (2026-10-23): recorded from the merge commit, not re-reviewed.
+
+## 2026-10-23 — lance-graph PR #1726 (merged `19c1324a`, branch `lab/ps2-pl3-lut-composition-20261023`, head `9f1370b2`) — probe(P-S2): a Palette256 compose table does not survive two hops
+
+- **Added:** `crates/bgz-tensor` (`src/attention.rs`, `tests/p_s2_compose_chain_probe.rs`).
+- **Docs:** entry `2026-10-23-ps2-compose-chain-preregistration.md`.
+- **Locked / deferred:** see the PR body and its board entry; not restated here.
+- **Confidence:** CATCH-UP (2026-10-23): recorded from the merge commit, not re-reviewed.
 
 ## 2026-10-23 — lance-graph PR #1725 (merged `b342d47c`, branch `lab/pd4-refit-base-rate-20261022`, head `57fbec40`) — probe(P-D4): refit the base rate inside each bootstrap draw; the post-hoc gate does not pass
 

diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md
@@ -1,3 +1,13 @@
+## D-ONNX-RELALG-CAP — ONNX as import membrane (2026-10-23)
+
+Plan `d-onnx-relalg-cap-v1.md`, PROPOSAL. Only S0 is in a PR.
+
+| D-id | scope | status | gate / falsifier |
+|---|---|---|---|
+| **D-ONNX-0** | S0 capstone plan, coverage matrix, open-points register OP-ONNX-1..14 | In PR (docs only) | consistent with code at `59538865`; no DR64³ claim |
+| **D-ONNX-1** | S1 intake probe: ONNX-subset reader with typed refusals; Boolean/compare/reduce fragment onto relalg | Queued (not authorized) | onnxruntime differential (a test, not a proof); waits on OP-ONNX-1, OP-ONNX-2 |
+| **D-ONNX-3** | S3 DR64³ R1/R2 contraction probe (new proposal) | Queued (not authorized) | four arms bit-exact; waits on OP-ONNX-4 |
+
 ## D-DRMC — DR × math binding probe, law frontier (2026-10-23)
 
 Lab only (`crates/dr-math-binding-probe`). Charter and probes: #1700, #1707, #1708; L1 in #1740.
@@ -394,8 +404,8 @@ Plan: `.claude/plans/ce64-hypothesis-layers-v1.md`. Plateau: `.claude/knowledge/
 | **D-TGA-2** | Read plane R and status | Queued | a read outside R is never reported stale |
 | **D-TGA-3** | rebase (four masks, no data moved) | Queued | rebase-then-squash == from-scratch re-run on v+1, including a deletion in main (retract then re-derive); disables: no stale re-run, no conflict check, no retraction |
 | **D-TGA-4** | land through the revision gate into the next Lance version (D-HL-8) | Queued | landing a thought that is behind is refused |
-| **D-TGA-5** | squash_into (partial squash) and blame | Shipped (lab, #1736: `crates/thought-git-probe/src/squash.rs` + `tests/squash_gate.rs`, `entries/2026-10-23-d-tga-5-squash-gate-preregistration.md`; most-updated target, contradiction/divergence gate, blame over lanes, P8 Commit-only, 6 disables red) | blame returns original sources after slot reuse (slot reuse not yet covered) |
-| **D-TGA-5D** | Probe D: protected readers of a squash (Final / Intermediate / Contradictions / Divergences / Multiplicity) | In PR (lab: `tests/protected_readers.rs`, `entries/2026-10-23-d-tga-5d-protected-readers-preregistration.md`; 7 tests, 5 disables red) | a protected reader the retained data cannot answer refuses the squash; intermediate reads are never retainable |
+| **D-TGA-5** | squash_into (partial squash) and blame | Shipped (lab, #1736: `crates/thought-git-probe/tests/squash_gate.rs`; the gate moved into `src/squash.rs` in #1739; `entries/2026-10-23-d-tga-5-squash-gate-preregistration.md`; most-updated target, contradiction/divergence gate, blame over lanes, P8 Commit-only, 6 disables red) | blame returns original sources after slot reuse (slot reuse not yet covered) |
+| **D-TGA-5D** | Probe D: protected readers of a squash (Final / Intermediate / Contradictions / Divergences / Multiplicity) | Shipped (lab, #1739 merged `9a458cae`: `crates/thought-git-probe/src/squash.rs` + `tests/protected_readers.rs`, `entries/2026-10-23-d-tga-5d-protected-readers-preregistration.md`; 7 tests, 5 disables red) | a protected reader the retained data cannot answer refuses the squash; intermediate reads are never retainable |
 | **D-TGA-6** | MergeQueue | Queued | independent thoughts == landed by hand in FIFO order; a thought reading another negated lands after it; a cycle through negation refused at enqueue |
 | **D-TGB-0** | thought git basics: fixtures per write-intention outcome, squash-stack and anomaly fixtures, absent-not-zero fixture, from-scratch oracle (`thought-git-basics-v1.md`) | Shipped (lab, #1630; probe `crates/thought-git-probe`, 19 tests; `PREREGISTRATION.md`) | 5 oracle disables verified red-then-green; every signal has a can-fire and a can-stay-silent case on real contract code; the pearl half on edges moves to D-TGB-3 |
 | **D-TGB-1** | slot pool, autonomous: taken by `branch`, freed by `squash`/`discard`/`land` (the write is the Rubicon decision, 2026-10-20) | Shipped (lab, #1630/#1631; `crates/thought-git-probe/src/slots.rs`). Slot pool only: no production land, rebase or persistence (D-TGB-2..5 Queued) | at 63 taken `branch` picks a FIFO or least-used candidate, squashes it along its dependency chain if it has one, else evicts it (DECISIONS 2026-10-20; was: squash unremarkable first, else refuse); stale handles refused; 6 tests |

diff --git a/.claude/board/entries/2026-10-23-d-onnx-relalg-cap-s0.md b/.claude/board/entries/2026-10-23-d-onnx-relalg-cap-s0.md
@@ -0,0 +1,41 @@
+# 2026-10-23 — D-ONNX-RELALG-CAP — S0 result: ONNX as import membrane, DR64³ plan not found
+
+**Status:** S0 documentation; no code. Plan: `.claude/plans/d-onnx-relalg-cap-v1.md`. Read at `origin/main` `59538865`; ONNX facts at upstream commit `0c8af065` (ONNX 1.23.0 = IR 14, ai.onnx opset 28; default domain 203 operators, 155 ops + 48 functions; `ai.onnx.ml` 19).
+
+## What was searched
+
+- The repo for `DR64³`, `DR256³`, `64×64×64`, `64x64x64` (`grep -rIl`).
+- Branches and PRs: branch `ccr-e97e5d58-1bkumg-cartesian12`; GitHub PR search "cartesian".
+- Rust crates for any ONNX dependency (onnx/ort/tract/burn/rten/onnxruntime/wonnx/inkwell/llvm/cranelift) and for `ModelProto`/`GraphProto`/opset in `*.rs`.
+- relalg, R2IL, mask-risc, contract set algebra, `dr-math-binding-probe`, `dir-rmap-probe` (read with file:line).
+
+## What was found
+
+- DR64³ / DR256³ original plan: NOT FOUND. 0 files contain any of the strings. The branch above is CartesianAddress12/Quad8 shader work. 23 "cartesian" PRs, none is a DR64³ plan. The 12-stage PR sequence is not found. The one 18-bit figure in the repo is the "18-bit hot envelope = 262,144" mailbox working set (`.claude/knowledge/delta-card-addressing-integration-map.md`), a working-set size, not an identity. Other 262144 hits are byte counts, CSV values and index spaces.
+- The plan's DR64³ section is a NEW, labelled proposal (R1 chain contraction, R2 triangle), not recovered history. Sizes 32 KiB / 2 MiB are arithmetic only.
+- No ONNX dependency or parser exists in the Rust tree. onnxruntime 1.29.0 is installed in the container's Python; protoc 3.21.12 is installed; `onnx.reference` cannot run without the C++ extension.
+- relalg is single-table Boolean selection plus four I32 aggregates (`crates/lance-graph-relalg/src/ir.rs`). The "mathematical polyfill landing zone" proposal holds only for the Boolean/compare/reduce fragment.
+
+## BLOCKING corrections adopted (opusC)
+
+1. B1: ONNX is an import membrane only; no new AST, no ONNX rewrite pass or interpreter. "Mathematical polyfill landing zone" is dropped.
+2. B2: per-op admission table, default REFUSED; value-derived addressing ops (`Gather*`, `Scatter*`, `NonZero`, `Unique`, `Compress`) refused under ADMISSION B.
+3. B3: no float law admitted; float ops lower as written or are refused.
+4. B4: every stage has a proof-engine column; "certified" only for egglog-proved Boolean-Distinct composition associativity (#1707, reuse #1740); the "256³ Validate" stage is a differential test.
+
+## Open points
+
+- OP-ONNX-1: home for value maths (operator).
+- OP-ONNX-2: importer dependency options A-E (operator).
+- OP-ONNX-3: DR64³/DR256³ original plan missing.
+- OP-ONNX-4: bit-position scan versus D-RU-6 / ADMISSION B.
+- OP-ONNX-5: no independent proof checker.
+- OP-ONNX-6: certificate rebinding beyond #1740 (focus/scope/ABI/geometry).
+- OP-ONNX-7: prover revision not recorded (egglog `branch = "main"`): a certificate-identity gap, not a dependency defect.
+- OP-ONNX-8: onnxruntime int32 `ReduceSum` saturation unexplained.
+- OP-ONNX-9: `dr-mathematical-compiler-v1.md` calls egglog's self-check "independent".
+- OP-ONNX-10: `dr-mathematical-compiler-v1.md` versus D-RA-2.
+- OP-ONNX-11..13: R2 closing-view check placement; `observe_focus` scope omission; refusal granularity and strings in the contract.
+- OP-ONNX-14: which proof object datafrog, Ascent or MeTTa/MORK/PathMap would produce; the operator rule names them, but only egglog produces one here today.
+
+D-ONNX-RELALG-CAP | STATUS: open | OUTCOME: S0 plan and this entry; 4 BLOCKING corrections adopted; DR64³ original plan not found | OPEN: OP-ONNX-1..14
diff --git a/.claude/board/entries/README.md b/.claude/board/entries/README.md
@@ -25,7 +25,7 @@ index row, (3) no duplicate entry id. Checks 1 and 2 are deliberately
 opposite directions; the stranding this convention prevents shows up in
 exactly one of them, never both.
 
-453 entries, 2026-08-06 .. 2026-10-23.
+454 entries, 2026-08-06 .. 2026-10-23.
 
 | date | entry id | finding | file |
 |---|---|---|---|
@@ -37,6 +37,7 @@ exactly one of them, never both.
 | 2026-10-23 | `EXP-DRMC-L1-PREREG` | L1 (CC2 Law Frontier): a certified reassociation reused on a fresh frame (D-DRMC-5 + X8) — pre-registration | [2026-10-23-drmc-l1-x8-fresh-frame-preregistration.md](2026-10-23-drmc-l1-x8-fresh-frame-preregistration.md) |
 | 2026-10-23 | `D-TGA-5D` |  | [2026-10-23-d-tga-5d-protected-readers-preregistration.md](2026-10-23-d-tga-5d-protected-readers-preregistration.md) |
 | 2026-10-23 | `D-TGA-5` |  | [2026-10-23-d-tga-5-squash-gate-preregistration.md](2026-10-23-d-tga-5-squash-gate-preregistration.md) |
+| 2026-10-23 | `D-ONNX-RELALG-CAP` | S0 result: ONNX as import membrane, DR64³ plan not found | [2026-10-23-d-onnx-relalg-cap-s0.md](2026-10-23-d-onnx-relalg-cap-s0.md) |
 | 2026-10-23 | `coresearch-thought-git-markov` |  | [2026-10-23-coresearch-thought-git-markov.md](2026-10-23-coresearch-thought-git-markov.md) |
 | 2026-10-23 | `coresearch-thought-git-markov-cc2` |  | [2026-10-23-coresearch-thought-git-markov-cc2.md](2026-10-23-coresearch-thought-git-markov-cc2.md) |
 | 2026-10-23 | `coresearch-julia-egraphs` |  | [2026-10-23-coresearch-julia-egraphs.md](2026-10-23-coresearch-julia-egraphs.md) |