Skip to content

board: #1659 closeout — PR_ARC entry, LATEST_STATE #1665

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AdaWorldAPI merged 1 commit into from
Oct 21, 2026
Merged

board: #1659 closeout — PR_ARC entry, LATEST_STATE #1665

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions .claude/board/LATEST_STATE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
## 2026-10-21 — main after #1659 (merged `1c161533`)

- **On main:** #1659 (zero-copy joins in mork-pathmap-probe / crepe-plan-probe; ClassView × DR IAM probe; hypothesis-atomization guardrails; coresearch exploration map). Contract inventory: unchanged (lab crates and board only). One FAILED GATE carried: no-pruning arms at n = 50 000.

## 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).
Expand Down
8 changes: 8 additions & 0 deletions .claude/board/PR_ARC_INVENTORY.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,11 @@
## 2026-10-21 — lance-graph PR #1659 (merged `1c161533`, branch `ccr-0455e606-wmtsor`, head `79e31661`) — zero-copy joins: relations are lanes, a side is an index map; ClassView × DR IAM probe; guardrails; coresearch map

- **Added:** `mork_pathmap_probe::{Lane, RelationView}` (two refcounted `ScalarBuffer<u32>` lanes); `join::{Run, rows}`; `Side::{positions, lane}`; `JoinExec::{bag_count, matching, for_each_answer}`; `JoinDomain` dense rank (presence mask + per-word running count); `crepe_plan_probe::native::Store::from_rows`; `dir-rmap-probe/tests/classview_dr.rs` + `examples/classview_dr_cost.rs`; `.claude/knowledge/hypothesis-atomization-guardrails.md` (G1–G11) + `.claude/agents/hypothesis-atomizer.md`; entries `2026-10-21-zero-copy-join-index-map.md`, `2026-10-21-classview-dr-iam.md`, `2026-10-21-coresearch-classview-algebra-polyfill.md`.
- **Removed:** `Side::values()` (a slot-order copy of the non-key column, added by #1658); `JoinExec::answers`. #1658's `coaddressed` now runs its restriction over the relation lane in place and reads each side row through `positions()`.
- **Locked:** values stay in the relation's lanes; preparation builds only the index map `$i`; answers are folds. ClassView × DR: a class's `compute_dag` names the behavior, a DR table maps the target to a compiled fold.
- **Deferred / open:** the no-pruning ablation arms at n = 50 000 exceed the µs budget (counting-sort scatter, ~10 ns/row); candidate fix is key-ordered sealed lanes (`OrderedLaneWitness`), a write-path decision. Coresearch map: operator to pick adopt-now probes and the `ClassView::semantics` bridge.
- **Confidence:** measured. fmt, clippy `-D warnings`, release tests green in both lab crates after the rebase onto #1658; disable runs red on their targets; CI green on `79e31661` (14 checks).

## 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`.
Expand Down
Loading