From 4b1fdb910d72460ab2907a739c2cc35d40c9848a Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 21 Oct 2026 13:17:52 +0000 Subject: [PATCH] =?UTF-8?q?board:=20#1653=20and=20#1658=20closeout=20?= =?UTF-8?q?=E2=80=94=20PR=5FARC=20entries,=20LATEST=5FSTATE?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01VncKoyG6JkpsoqhqTGTv3f --- .claude/board/LATEST_STATE.md | 4 ++++ .claude/board/PR_ARC_INVENTORY.md | 14 ++++++++++++++ 2 files changed, 18 insertions(+) diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index 5f203008e..19d06de90 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.claude/board/LATEST_STATE.md @@ -1,3 +1,7 @@ +## 2026-10-21 — main after #1658 (merged `1bbb5418`) + +- **On main:** #1655, #1656, #1657, #1658 (D-RU-4 co-addressed join in crepe-plan-probe; correctness measured, FAILED GATE on speed under the no-ms rule). Contract inventory: unchanged (lab crates only). + ## 2026-10-21 — D-CMR-2b measured: no win on whole extents; short runs pay per-run cost (in PR) - **lance-graph-benches (lab example only, no library change):** `examples/pred_scratch_probe.rs`. On whole extents and 40k-row runs a fused compare-and-count fold does not beat today's tiled `execute_extent`. On `set_lower`'s run shape with 200-row runs, per-run `execute_extent` is 2.5–4× slower than the fold; compiling once cuts it by only 5–18 %. Remedy (fewer edge-tile passes, a run-batched entry point, or a short-run fold) not decided, not built. Entry `entries/2026-10-21-d-cmr-2b-scratch-probe.md`. Contract inventory: unchanged. diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md index d3ef73a8e..4501d8841 100644 --- a/.claude/board/PR_ARC_INVENTORY.md +++ b/.claude/board/PR_ARC_INVENTORY.md @@ -1,3 +1,17 @@ +## 2026-10-21 — lance-graph PR #1658 (merged `1bbb5418`, branch `ccr-d3ce1263-ied9yh`, head `faa0837c`) — D-RU-4 / U4: co-addressed join operator over one `JoinDomain` + +- **Added:** `crepe_plan_probe::coaddressed::{CoTable, CoSide, CoEval, CoCost, CoRefusal, eval, plan_rels, layout_key, VALUE_LANE}`; `mork_pathmap_probe::join::Side::{values, offsets}` (read-only); `examples/coaddressed.rs` plus CI step; entry `2026-10-21-u4-coaddressed-join.md`. +- **Locked:** per-side `Rel`s run at query time over one table laid out without restrictions. Each side projects onto its slots with `GroupReduce Count` keyed by its own non-decreasing slot lane, and the slot planes are combined with a relalg `And`. Answers are folds (`distinct_centers`, `bag_count`, `matching`); `bindings` was replaced by `matching` in `1d1c0b77` after #1657. `CoTable` fields are private (Codex P2), and no program has a foreign hop. +- **Deferred / open:** the speed gate. Every benchmark arm ran in milliseconds, which is a failed gate under the no-ms P0 rule, so timings are withdrawn. Open: fold each side's `Rel` into the projection terminal and sink into a plane, a restriction on the center, factorization through two domains. +- **Confidence:** correctness measured. Parity with the star path and a counting nested-loop oracle; 5 disables, each red on its target test; CI green. Speed: FAILED GATE. + +## 2026-10-21 — lance-graph PR #1653 (merged `d1a18b9e`, branch `ccr-d3ce1263-ied9yh`, head `2bfacf94`) — D-RU-3 / U3: cross-rule CSE in crepe-plan-probe + +- **Added:** `crepe_plan_probe::cse::{Layout, SharedStars, Group, prepare_shared, evaluate_shared, execute_shared, witness, CseRefusal, SharedReport}`; `native::tuples_over_mask` (since removed by #1657); `examples/rule_cse.rs` plus CI step; entry `2026-10-21-u3-cross-rule-cse.md`. +- **Locked:** rules that share a side share one table (`Layout::Components`, union-find over `SideKey`s). Shared parts become `set_program` lets. A witness refuses a plan or table it was not built for. +- **Deferred / open:** `share`'s subset search cost; factorization and a shared BIND; the entry's timings are ms results and fall under the no-ms rule (EXO-110). +- **Confidence:** correctness measured against crepe, ascent and the reference; 7 disables red. Speed: the reported ms timings are a failed gate under the later no-ms rule. + ## 2026-10-21 — lance-graph PR #1654 (merged `d754128`, branch `claude/eager-albattani-iufugq`, head `ac147d9`) — D-RA-2: relalg's symbolic answers from `contract::set_rules`; #1651 closeout - **Added:** `set_rules::Rule::{EmptyMeasure, CountAll}` (catalogue 8 rules); test `experiment_e_no_universe_refuses_the_range_rules`; entry `2026-10-21-d-ra-2-relalg-symbolic-repoint.md`. Also the #1651 board closeout (D-CMR-6 Shipped, PR_ARC #1651).