docs(board): D-ONNX-RELALG-CAP S0 — ONNX intake onto existing surfaces + board reconciliation

.claude/board/FRUITS.md

@@ -18,9 +18,9 @@ _none open_
 | High-signal | 2026-10-23 — Lumpability as the closure check: a palette composes under an operation only if its cells are lumpable for it, and purity measures that | Open | `IDEAS.md` |
 | High-signal | 2026-10-23 — One replay that checks proof, receipt and commit witness together | Open. | `IDEAS.md` |
 | High-signal | 2026-10-23 — OGAR #357's first kill test (TLAC-P01) is now buildable from real guards | Open. | `IDEAS.md` |
-| High-signal | 2026-10-23 — The five unrun D-DRMC probes: X6, X7, X8, X16, X18 | Open | `IDEAS.md` |
+| High-signal | 2026-10-23 — The five unrun D-DRMC probes: X6, X7, X8, X16, X18 | Open — amended 2026-10-23: X8 is partially measured. L1 (#1740) keyed a certified recipe on its semantics and guarded the binding on each run, reusing it on fresh frames with refusals for a wrong ABI, another order and another chain. X8's own falsifier (two certified bindings for one key in `egglog-r2il-probe`, where the first falls back today) was not run. X6, X7, X16 and X18 remain unrun. | `IDEAS.md` |
 | Low-hanging | 2026-10-23 — The MeTTa four-binding case can run against the D-MPS-9 oracle | Open. | `IDEAS.md` |
-| Heavy | 2026-10-23 — A certified-compiler boundary for DR64: typed relational statements, egglog laws with checked proofs, a lowering check | Open | `IDEAS.md` |
+| Heavy | 2026-10-23 — A certified-compiler boundary for DR64: typed relational statements, egglog laws with checked proofs, a lowering check | Open — amended 2026-10-23 (D-ONNX-RELALG-CAP S0): "none exists" is stale for one law. `relcomp::certify_reassociation` issues a `RecipeCertificate` for associativity of Boolean-Distinct composition over a DR64 chain (#1707), and L1 executed such certificates on fresh frames (#1740, `entries/2026-10-23-drmc-l1-x8-fresh-frame-result.md`). The single-operand recipe path still ends in `NoCertifiedCompiler`. Still open: a checker independent of egglog (none exists; egglog checks its own proof internally), a law token that selects rewrites, laws beyond associativity, rebinding beyond the same shape, and the typed statement language. | `IDEAS.md` |
 
 ## engineering debt
 

.claude/board/IDEAS.md

@@ -285,7 +285,7 @@ deduplicated set where MeTTa returns a bag.
 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
+**Status:** Open — amended 2026-10-23 (D-ONNX-RELALG-CAP S0): "none exists" is stale for one law. `relcomp::certify_reassociation` issues a `RecipeCertificate` for associativity of Boolean-Distinct composition over a DR64 chain (#1707), and L1 executed such certificates on fresh frames (#1740, `entries/2026-10-23-drmc-l1-x8-fresh-frame-result.md`). The single-operand recipe path still ends in `NoCertifiedCompiler`. Still open: a checker independent of egglog (none exists; egglog checks its own proof internally), a law token that selects rewrites, laws beyond associativity, rebinding beyond the same shape, and the typed statement language.
 
 ## 2026-10-23 — The five unrun D-DRMC probes: X6, X7, X8, X16, X18
 
@@ -294,7 +294,7 @@ After X15, `dr-math-binding-probe` admits a recipe only through an opaque `Recip
 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
+**Status:** Open — amended 2026-10-23: X8 is partially measured. L1 (#1740) keyed a certified recipe on its semantics and guarded the binding on each run, reusing it on fresh frames with refusals for a wrong ABI, another order and another chain. X8's own falsifier (two certified bindings for one key in `egglog-r2il-probe`, where the first falls back today) was not run. X6, X7, X16 and X18 remain unrun.
 
 ## 2026-09-07 — SPOG-aware bakes: one artifact per G, and the crosswalk as a chain of masked equality sweeps (PROBE-CROSSWALK-MASK-1)
 

.claude/board/INTEGRATION_PLANS.md

@@ -1,3 +1,7 @@
+## 2026-10-23 — d-onnx-relalg-cap-capstone-1750-v1 — ONNX intake onto existing lance-graph surfaces (capstone S0, #1750) → `.claude/plans/d-onnx-relalg-cap-capstone-1750-v1.md`
+
+**Status:** PROPOSAL, S0 docs only; nothing implemented. The pipeline "ONNX graph → RelAlg polyfill → Cartesian projection → native execution" is false as stated: relalg is a single-table integer selection with Count/Sum/Min/Max/Keep, so it receives only the integer selection/aggregate island; numeric ops route to existing ndarray kernels; Gather/Scatter, control flow and `ai.onnx.ml` are typed refusals. The ONNX `ModelProto` stays the only graph (D-RA-2 = A; no new AST, primitive or executor). The original DR64³ master plan was not found on `main` or 833 branches and is recorded as an OPEN documentation dependency. S1 is blocked on the operator naming one target model and the protobuf fork coordinates. Entry `2026-10-23-d-onnx-relalg-cap-s0-capstone-1750.md`. #1744's S0 (below) kept the base path; the native-first correction (#1753) governs where they differ.
+
 ## 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`.

.claude/board/STATUS_BOARD.md

@@ -1,3 +1,16 @@
+## D-ONNX-CAP — ONNX intake onto existing lance-graph surfaces (2026-10-23)
+
+PROPOSAL, docs only. Plan `.claude/plans/d-onnx-relalg-cap-capstone-1750-v1.md`; entry `entries/2026-10-23-d-onnx-relalg-cap-s0-capstone-1750.md` (#1750; #1744's S0 below kept the base path). ONNX `ModelProto` stays the only graph; relalg receives only the integer selection/aggregate island; no new primitive, AST or executor.
+
+| D-id | scope | status | gate / falsifier |
+|---|---|---|---|
+| **D-ONNX-CAP-S0** | announcement, corrected routing, coverage matrix (opset 28, 226 names), open points, housekeeping | Shipped (docs, #1750) | no claim of "ONNX-compatible", float certification or DR64³ existence |
+| **D-ONNX-CAP-S1** | standalone probe crate: decode `onnx.proto` (v1.23.2), classify every node or refuse it with a typed reason | Blocked (operator: one target model; protobuf fork coordinates). ⊘ D-NFC A2 (#1753): this is the optional external-file conformance adapter; it blocks no native work | every node of the target model gets a route or a typed refusal; none silently dropped |
+| **D-ONNX-CAP-S2** | integer island through existing relalg + one nonlinear op on an existing ndarray kernel | Queued (after S1) | island answers equal an independent reference; float ops measured, never certified |
+| **D-ONNX-CAP-S3** | DR64³ lab probe over the existing R∘S chain; DR256³ separate | Blocked (original DR64³ plan not found; OPEN doc dependency) | no new identity, no CausalEdge64 change |
+| **D-ONNX-CAP-S4** | Palette256 + cognitive methods as typed methods | Queued | not claimed as equivalence |
+| **D-ONNX-CAP-S5** | export + native codegen evaluation | Queued | LLVM/JIT documented only; separate decisions |
+
 ## 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.
@@ -14,7 +27,7 @@ Lab only (`crates/dr-math-binding-probe`). Charter and probes: #1700, #1707, #17
 
 | D-id | scope | status | gate / falsifier |
 |---|---|---|---|
-| **EXP-DRMC-L1** | a D-DRMC-5 reassociation certificate issued on one frame executes on an independently issued frame without egglog | MEASURED (#1740 `c42140b7`; `entries/2026-10-23-drmc-l1-x8-fresh-frame-result.md`); certificate holds egglog's `ProofStore` + `ProofId` (follow-up PR) | zero egglog calls on the hit path, equal to an independent oracle at densities 0/4/32/63; wrong ABI, other order, other length refused; D1-D3 red |
+| **EXP-DRMC-L1** | a D-DRMC-5 reassociation certificate issued on one frame executes on an independently issued frame without egglog | MEASURED (#1740 `c42140b7`; `entries/2026-10-23-drmc-l1-x8-fresh-frame-result.md`); certificate holds egglog's `ProofStore` + `ProofId` (#1742 `801c8b1f`) | zero egglog calls on the hit path, equal to an independent oracle at densities 0/4/32/63; wrong ABI, other order, other length refused; D1-D3 red |
 | **EXP-DRMC-L2** | distributivity plus a false ∩ variant | Held (behind the ProofRef agreement with CC1, EXO-50 07-07e) | — |
 
 ## D-RFT / D-QSP — ClassView × Quack semantic substrate (2026-10-21)

.claude/board/entries/2026-10-23-d-onnx-relalg-cap-s0-capstone-1750.md

@@ -0,0 +1,26 @@
+# 2026-10-23 — E-D-ONNX-RELALG-CAP-S0-1: the ONNX → RelAlg → DR64³ pipeline is false as stated; integer island only
+
+**Status:** OPEN — PROPOSAL, S0 docs-only. Nothing implemented. Read at `origin/main` `59538865`; ndarray `1ecbccb`; ONNX tags v1.23.2 (opset 28, IR 14) and v1.17.0 (opset 22, IR 10).
+
+Plan: `.claude/plans/d-onnx-relalg-cap-capstone-1750-v1.md` (#1750's S0; #1744's S0 is at `d-onnx-relalg-cap-v1.md`).
+
+## Central finding
+
+1. **The pipeline "ONNX graph → RelAlg polyfill → Cartesian projection → native execution" is false as stated.** `lance-graph-relalg` is a single-table Boolean selection over `i32`/`u32` lanes with Count/Sum/Min/Max/Keep (`crates/lance-graph-relalg/src/ir.rs:34-112`). It has no tensors, floats, lane-to-lane arithmetic or nonlinear functions. The contract refuses IEEE and Bag by name (`set_rules.rs:44,465-472,581-586`).
+2. **Corrected routing:** the ONNX `ModelProto` stays the only graph. An intake classifier sends each node to one of: a relalg integer selection/aggregate island, an R2IL/mask-risc terminal, an existing ndarray kernel, or a typed refusal. Gather/Scatter, control flow and `ai.onnx.ml` are refusals. D-RA-2 = A is respected: no tensor node, no second AST, no new executor.
+3. **Zero new mathematical primitives.** Of 226 opset-28 names: directly 1, compositionally 93, kernel 91, external 4, unsupported/unknown 37, polyfill 0. About 16 can reach relalg.
+4. **DR64³ plan not found.** `git grep` over `main` and 833 remote branches returned 0 files. Recorded as an OPEN documentation dependency; no stages reconstructed. What exists: DR64 `BoundDr64`, DR256 paging in `dir-rmap-probe`, and the R∘S chain. "64³ Explore → 256³ Validate → Certified Method → 64³ Reuse" is invalid as one track.
+5. **Corrections to the fact base:** `mish_f32` exists (`ndarray/src/hpc/linalg/activations_ext.rs:168`); the "no shared relational AST" line is at `INTEGRATION_PLANS.md:16`, not `ISSUES.md:16`.
+6. **Certification scope:** only egglog-proved associativity of Boolean-Distinct composition over DR64 (`relcomp.rs:421`, #1707), reuse proven same-shape only (#1740), no checker independent of egglog.
+
+## Not claimed
+
+No "ONNX-compatible" label; no "semantic preservation" at S1; no float certification; no DR64³ existence or speed; no Gather on the substrate path; no LLVM AOT path. Full list: plan section 11.
+
+## Next gate
+
+Before S1 the operator must provide: (1) **one target model** to drive the op list; (2) **AdaWorldAPI protobuf fork coordinates** (or confirmation that none exists). Without the second, the session stops and asks; there is no crates.io fallback.
+
+## Open points
+
+19 registered in plan section 9 (OP-1 … OP-19): BLOCKED OP-3, OP-6, OP-7; the rest OPEN, OP-13 CLOSED (runtimes as oracle arms only).

.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.
 
-454 entries, 2026-08-06 .. 2026-10-23.
+455 entries, 2026-08-06 .. 2026-10-23.
 
 | date | entry id | finding | file |
 |---|---|---|---|
@@ -38,6 +38,7 @@ exactly one of them, never both.
 | 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 | `E-D-ONNX-RELALG-CAP-S0-1` |  | [2026-10-23-d-onnx-relalg-cap-s0-capstone-1750.md](2026-10-23-d-onnx-relalg-cap-s0-capstone-1750.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) |