Merge pull request #1730 from AdaWorldAPI/claude/eager-albattani-iufugq-coresearch

board: co-research rows and fruits — T-CLOSURE crumbs, T-ADMISSION, G-2026-10-23-4, 12 open fruits

Author: AdaWorldAPI

.claude/board/BREADCRUMBS.md

@@ -41,6 +41,90 @@ Coordination happens in Linear (`CC: Thread` label `Breadcrumb`, milestone
 
 ## Crumbs
 
+### Trail T-ADMISSION — what may be built before execution, under what witness, and what may never be promoted from it?
+Six crumbs (BC-2026-10-23-7 … -12) from six sources: a decision record, two
+probe reviews, a co-research map and two plan rows.
+**Shared shape (candidate, not adopted):** each crumb has (1) something built
+before execution (coordinates, a projection, a slot table, a recipe), (2) a
+witness naming who issued it and against which version, and (3) a promotion
+that is refused (evidence → premise, census → qualification, replay → proof,
+hidden gather → co-addressed read).
+**Kill:** two crumbs whose witnesses need incompatible semantics; that makes
+the trail a RHYME only.
+**Rhymes-with trail:** T-CLOSURE (its refusals `BagNeedsMultiplicity` and
+`Complement` under K3 may be the same refused promotion seen from the algebra side).
+**Verdict:** RHYME, 2026-10-23; naming attempt open. Linear EXO-135.
+
+### BC-2026-10-23-12 — D-CMR-5's preimage is a projection built in preparation and witnessed by version
+**Observation:** the lawful design for `f⁻¹(S)` is a co-addressed tile fold
+over a version-witnessed projection of `f`, built in preparation by a
+sequential same-table scan.
+**Receipt:** STATUS_BOARD row D-CMR-5; `entries/2026-10-21-d-cmr-5-rescope.md`.
+**Rhymes-with:** BC-2026-10-23-7, BC-2026-10-23-11
+**Cluster:** RHYME (trail T-ADMISSION, Linear EXO-135)
+
+### BC-2026-10-23-11 — D-RU-6's slot assignment must be argued as an attested frozen-codebook lookup
+**Observation:** the recursion driver stays Queued/Lab until its slot
+assignment is shown to be an attested lookup in a frozen codebook under
+ADMISSION B.
+**Receipt:** STATUS_BOARD row D-RU-6.
+**Rhymes-with:** BC-2026-10-23-7, BC-2026-10-23-12
+**Cluster:** RHYME (trail T-ADMISSION, Linear EXO-135)
+
+### BC-2026-10-23-10 — Palette256 puts its property in evidence accounting plus a decision gate
+**Observation:** the co-research map found the property in evidence
+accounting and a decision gate, not in the encoding; where the evidence stamp
+lives is open (G5).
+**Receipt:** `entries/2026-10-22-coresearch-pal256-evidence-probes.md`.
+**Rhymes-with:** BC-2026-10-23-8
+**Cluster:** RHYME (trail T-ADMISSION, Linear EXO-135)
+
+### BC-2026-10-23-9 — a recipe certificate only a certified compiler may issue; none exists for DR64
+**Observation:** after X15, recipe admission in `dr-math-binding-probe` ends in
+`NoCertifiedCompiler`; a replay capsule is evidence, not the issuing authority.
+**Receipt:** `entries/2026-10-22-coresearch-drmc-stack.md` § Applied, lance-graph #1703.
+**Rhymes-with:** BC-2026-10-23-8
+**Cluster:** RHYME (trail T-ADMISSION, Linear EXO-135)
+
+### BC-2026-10-23-8 — evidence nominates, a separate validator admits
+**Observation:** D-DRMC X7: no conversion from a `PopulationReport` to a law
+premise may exist; a population-derived premise can at most be a named,
+undischarged hypothesis.
+**Receipt:** `entries/2026-10-22-coresearch-drmc-stack.md` (X7, probe not run).
+**Rhymes-with:** BC-2026-10-23-9, BC-2026-10-23-10
+**Cluster:** RHYME (trail T-ADMISSION, Linear EXO-135)
+
+### BC-2026-10-23-7 — preparation may establish coordinates; it may not conceal a relational gather
+**Observation:** ADMISSION B separates preparation (coordinates) from
+execution (co-addressed sets) and forbids an unaccounted gather in either.
+**Receipt:** `entries/2026-10-20-six-decisions.md`, lance-graph #1640.
+**Rhymes-with:** BC-2026-10-23-11, BC-2026-10-23-12
+**Cluster:** RHYME (trail T-ADMISSION, Linear EXO-135)
+
+### BC-2026-10-23-6 — Boolean composition is admitted only within compatible domains
+**Observation:** D-DRMC-5 admits `BooleanCompose` only over two-valued
+Distinct operands with compatible ClassView domains and refuses commutation.
+Closure here is "closed within a sort"; this counts as a T-CLOSURE crumb only
+if sort typing is accepted as closure. Same probe, near-miss counterexample:
+14 association orders give the same relation (closed and correct) at
+6 414–15 310 row-ORs, so closure decides correctness, not cost.
+**Receipt:** lance-graph #1707, `entries/2026-10-22-drmc-5-assoc-probe.md`.
+**Rhymes-with:** BC-2026-10-23-4, BC-2026-10-23-5
+**Cluster:** RHYME (trail T-CLOSURE, Linear EXO-132)
+
+### BC-2026-10-23-5 — two-valued rewrites break on a carrier that holds NULL
+**Observation:** `set_algebra::normalize` (De Morgan, lane covers) is sound on
+{T, F} only. On nullable lanes the carrier is {T, F, U} and the rewrites turn
+UNKNOWN into TRUE. Extending the carrier to Kleene K3 closed it;
+`Complement` and `RelationalDifference` still refuse under `ThreeValued`.
+**Receipt:** lance-graph #1668, `entries/2026-10-21-d-rft-0-kleene-normalization.md`;
+`cargo +1.99.0 run --release -p lance-graph-contract --example k3_pg_parity`:
+two-valued `normalize` wrong on 474 of 2000 expressions against PostgreSQL
+16.14, `normalize_kleene` equal on 2000/2000. Same shape in #1686 / #1687
+(`bool_or`/`bool_and` read NULL as FALSE).
+**Rhymes-with:** BC-2026-10-23-1, BC-2026-10-23-4
+**Cluster:** RHYME (trail T-CLOSURE, Linear EXO-132)
+
 ### BC-2026-10-23-4 — the same join is right under Distinct and wrong under Bag
 **Observation:** D-RFT-1's composition gives the right answer under Distinct
 (set semantics) and the wrong one under Bag unless multiplicity is carried as
@@ -87,3 +171,11 @@ must refit the carrier.
 **Kill:** a closed carrier on which the composition still fails.
 **First probe:** TORQUE row T-2026-10-23-1 (EXO-129).
 **Verdict:** RHYME, 2026-10-23.
+**Evidence appended 2026-10-23 (session_013z2e1YXkm6o6HNrDn5BPWA):** crumbs
+BC-2026-10-23-5 (K3 NULL, independent of the palette and DR256 lines) and
+BC-2026-10-23-6 (sort-closed composition, weaker). Naming attempt, HYPOTHESIS,
+not adopted: a rewrite or composition is sound only when the carrier is closed
+under every operation it assumes; otherwise snap (lossy, P-S2), extend the
+carrier (K3, Bag multiplicity) or refuse (`Complement` under K3,
+`BagNeedsMultiplicity`). Scope limiter from BC-2026-10-23-6: closure decides
+correctness, not cost. Proposed regrade RHYME → NAMED left to the trail owner.

.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: 1. Closed: 0.
+Open: 14. Closed: 0.
 
 ## discovery torque
 
@@ -14,13 +14,29 @@ Open: 1. Closed: 0.
 
 ## innovation debt
 
-_none open_
+| tier | row | status | ledger |
+|---|---|---|---|
+| High-signal | 2026-10-23 — The five unrun D-DRMC probes: X6, X7, X8, X16, X18 | 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` |
 
 ## engineering debt
 
-_none open_
+| tier | row | status | ledger |
+|---|---|---|---|
+| Low-hanging | TD-STATUS-BOARD-ROWS-MISSING-FOR-OCT-PLANS-1 (2026-10-23) — OPEN | — | `TECH_DEBT.md` |
 
 ## blocker
 
-_none open_
+| tier | row | status | ledger |
+|---|---|---|---|
+| 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` |
+| High-signal | ISS-SUPERVISOR-DISPATCH-CAPACITY-DRAIN — Health-only dispatch, unread mailbox capacity, unbounded drain (2026-10-23) | OPEN. **Basis:** VERIFIED-IN-CODE (`crates/lance-graph-supervisor/src/supervisor.rs:203-213` DispatchToG handles only `ConsumerEnvelope::Health`, else `DispatchNotImplemented`; `:42` `mailbox_capacity`, `:389` `spawn_linked` of a `StubConsumerActor` with no capacity; `crates/lance-graph-callcenter/src/drain.rs:97` `mpsc::unbounded_channel()`). | `ISSUES.md` |
+| High-signal | ISS-D-CGW-4-PROMOTION-GATE — the counterfactual verdict is computed but promotes nothing (2026-10-23) | OPEN. **Basis:** VERIFIED-IN-CODE (`crates/lance-graph-planner/src/pearl.rs:259-263` `counterfactual_verdict` calls `Reaction::verdict`; callers found only in `pearl.rs` tests `:747-815`; STATUS_BOARD row D-CGW-4 Queued). | `ISSUES.md` |
+| High-signal | ISS-DURABLEREF-THOUGHTCOMMITID — the two identity types four plans depend on do not exist (2026-10-20) | OPEN. **Basis:** VERIFIED-IN-CODE (`DurableRef` and `ThoughtCommitId` appear in `crates/` only in doc comments, `mork-pathmap-probe/src/rmap.rs:70` and `:690`). | `ISSUES.md` |
+| High-signal | ISS-BF16-POLYFILL-PER-ELEMENT-ALLOC — ndarray's BF16 16×16 polyfill allocates per output element (2026-10-20) | OPEN. **Basis:** VERIFIED-IN-CODE (`ndarray/src/simd_ops.rs`, `bf16_tile_gemm_16x16`) and MEASURED (D-RMAP-2 §5a: a 256 × 256 `A·A` takes about 19 ms, about 0.9 GMAC/s, on an AVX-512 host without AMX or `avx512_bf16`). | `ISSUES.md` |
+| Heavy | ISS-RECURSION-DRIVER — no lawful (co-addressed, non-gather) recursion driver exists (2026-10-20) | OPEN. **Basis:** VERIFIED-IN-CODE (`STATUS_BOARD.md` D-RA-4 row: "VIOLATION — GATHER. DO NOT BUILD"). | `ISSUES.md` |
+| Heavy | ISS-RETRACTION-PROVENANCE — per-derived-cell provenance for selective retraction is undecided (2026-10-20) | OPEN. **Basis:** VERIFIED-IN-CODE (no source bitset or read-provenance plane in `crates/`). | `ISSUES.md` |
+| Heavy | ISS-GATHER-HOP-1616 — the merged `OutgoingHop` reads positions taken from another lane's values (2026-10-19) | BLOCKED (quarantined). GATHER-DECISION recorded 2026-10-20 (`entries/2026-10-20-six-decisions.md` §1): `OutgoingHop` stays quarantined; it closes only by a rewrite as a co-addressed read. Was: BLOCKED (quarantined; waits on GATHER-DECISION). **Basis:** VERIFIED-IN-CODE (`crates/lance-graph-mask-risc/src/graph_hop.rs`: two `MaskOp::Gather` over `frontier[sources[i]]` and `visible[targets[i]]`, then `ScatterOrU32` by `targets[i]`). | `ISSUES.md` |
 

.claude/board/GOLDSTAUB.md

@@ -30,6 +30,25 @@ Each entry: `**Claim:**`, `**Receipt:**`, `**Scope:**`, `**Date:**`.
 
 ## Entries
 
+### G-2026-10-23-4 — count invocation and allocation boundaries before optimizing a fold
+**Claim:** The mask work inside a fold costs a few nanoseconds; a slow fold
+usually measures how often execution crosses a boundary per answer (an
+invocation, a compile, an allocation). Report boundaries per answer before
+naming a lever; change the algebra or the kernel only after that count is minimal.
+**Receipt:** `cd crates/dir-rmap-probe && cargo run --release --example rft1_cost`
+(lance-graph #1688, `entries/2026-10-21-d-rft-1-cost-breakdown.md`): one
+`count_and(3)` invocation 54–70 ns against 2.2–2.8 ns for the same AND, AND,
+popcount in `ndarray::simd`; 2769 invocations per pass predict 87 % of the
+measured time. #1685 removed the boundaries: 310 µs → 11.8–12.4 µs, PostgreSQL
+lane parity unchanged. Same pattern for allocations: ndarray
+`bf16_tile_gemm_16x16` makes 2 + 256 heap allocations per 16×16 call
+(`src/simd_ops.rs:593-608`, ISS-BF16-POLYFILL-PER-ELEMENT-ALLOC). Linear EXO-134.
+**Scope:** folds over mask-risc, r2il and `ndarray::simd` in lance-graph and its
+probes; not cold, out-of-fold compile phases.
+**Date:** 2026-10-23
+**Open:** `count_and(1)` costs more per invocation than `count_and(3)`
+(95–121 vs 54–70 ns) in every run; unexplained.
+
 ### G-2026-10-23-1 — on synthetic data, the world construction can decide a probe's verdict before it runs
 **Claim:** A probe whose verdict depends on the data distribution (evidence
 LUT vs geometry LUT, shadow-mask salience) decides nothing on synthetic data,

.claude/board/IDEAS.md

@@ -87,6 +87,22 @@ Agents filter by `@`-mention or domain to see what's theirs.
 
 (Prepend new ideas here with today's date. Format:)
 
+## 2026-10-23 — A certified-compiler boundary for DR64: typed relational statements, egglog laws with checked proofs, a lowering check
+
+`[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).
+**Fruit:** Heavy
+**Status:** Open
+
+## 2026-10-23 — The five unrun D-DRMC probes: X6, X7, X8, X16, X18
+
+`[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.
+**Fruit:** High-signal
+**Status:** Open
+
 ## 2026-09-07 — SPOG-aware bakes: one artifact per G, and the crosswalk as a chain of masked equality sweeps (PROBE-CROSSWALK-MASK-1)
 
 `[P1 @simd-savant @kernel-membrane-warden @layer-boundary-warden domain:medcare/mask D-NXG-2 D-NXG-12]`