diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index 223662f1d..39780f105 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.claude/board/LATEST_STATE.md @@ -1,3 +1,9 @@ +## 2026-09-23 — lance-graph #1271 MERGED (`d90600d`); OGAR #307 and z8run #1 merged + +The "unmerged" section below is now on `main`: `lance-graph-report` (workspace +member) and `lance-graph-report-ogar` (excluded; needs OGAR #307, merged). +Contract inventory unchanged. D-RPT-1..4 shipped; still open: D-RPT-5. + ## 2026-09-23 — ReportPlan + report-as-OGAR-projection (branch `claude/brave-mayer-65y3cy`, unmerged) ### Current Contract Inventory — UNCHANGED (no contract type added; two crates added) diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md index 99edcfb63..fef2f00b6 100644 --- a/.claude/board/PR_ARC_INVENTORY.md +++ b/.claude/board/PR_ARC_INVENTORY.md @@ -1,3 +1,23 @@ +## 2026-09-23 — lance-graph PR #1271 (merged `d90600d`, branch `claude/brave-mayer-65y3cy`, head `d4dd251`, 1 commit) — ReportPlan fold substrate, zero-copy pivot, reports as OGAR projection sources + +- **Added:** `crates/lance-graph-report` (member): `ReportPlan` lowering into + `lance-graph-quack` only (no second evaluator); role-free `PhysicalKey`, so a + pivot rotation is the same `Arc` with a new `View`; dense/sparse + accumulator with no Cartesian allocation; string-free execution core with a + source-fence test; KV/CAM boundary over the contract's `ContentStore`. + `crates/lance-graph-report-ogar` (excluded): `ReportSource` answers OGAR's + `DocObjectSource::grid_of`, so a report is one more addressed object in a + `DocCompose` (Live / Revision; Snapshot falls to the slot fallback). +- **Locked (test-pinned):** execution allocates the same bytes at N and 64·N; + rotation allocates < 64 B (view) / < 256 B (reinterpret); fold does 0 CAM and + 0 KV work. Each falsifier disable-verified. +- **Companions:** OGAR #307 (merged; `SlotOutcome::Grid`); z8run#1 (open). +- **Deferred / open:** D-RPT-5 composite-key group fold + (`ISS-REPORT-NO-COMPOSITE-KEY-GROUP-FOLD`); OGAR `DocRenderer` is still + spec-only; Snapshot has no content-addressed store. +- **Confidence:** high for the fold/pivot contract (oracle-checked, 27 tests); + bench figures are one avx2 run, unrepeated. + ## 2026-09-19 — lance-graph PR #1252 (merged `8545a555`, branch `claude/great-pascal-k96kok`, head `16a0130d`, 5 commits, docs only) Mixed PR (hygiene + rulings), so not exempt under the termination clause. Only diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md index 97e8e2238..fcf1cc501 100644 --- a/.claude/board/STATUS_BOARD.md +++ b/.claude/board/STATUS_BOARD.md @@ -4,10 +4,10 @@ Entry: `entries/2026-09-23-report-plan-zero-copy-pivot-docir-convergence.md`. | D-id | scope | status | gate / falsifier | |---|---|---|---| -| **D-RPT-1** | `crates/lance-graph-report`: ReportPlan → Quack lowering, fold planner, CellSpace + View, KV/CAM boundary, JSON/CSV export | In PR | `tests/{agnostic,zero_copy,string_fence,reference_workload}.rs` | -| **D-RPT-2** | z8run `crates/z8run-lance`: 8 native nodes, handle envelopes, physical-key cache (AdaWorldAPI/z8run#1) | In PR | z8run-lance `tests/nodes.rs` | -| **D-RPT-3** | OGAR `SlotOutcome::Grid` / `grid_of` / typst `emit_grid` (AdaWorldAPI/OGAR#307) | In PR | ogar-doc-ir resolver grid tests | -| **D-RPT-4** | `crates/lance-graph-report-ogar`: ReportSource (DocObjectSource) over any object source; Live/Revision; emit_typst | In PR | `tests/convergence.rs` | +| **D-RPT-1** | `crates/lance-graph-report`: ReportPlan → Quack lowering, fold planner, CellSpace + View, KV/CAM boundary, JSON/CSV export | Shipped | `tests/{agnostic,zero_copy,string_fence,reference_workload}.rs` | +| **D-RPT-2** | z8run `crates/z8run-lance`: 8 native nodes, handle envelopes, physical-key cache (AdaWorldAPI/z8run#1) | Shipped | z8run-lance `tests/nodes.rs` | +| **D-RPT-3** | OGAR `SlotOutcome::Grid` / `grid_of` / typst `emit_grid` (AdaWorldAPI/OGAR#307) | Shipped | ogar-doc-ir resolver grid tests | +| **D-RPT-4** | `crates/lance-graph-report-ogar`: ReportSource (DocObjectSource) over any object source; Live/Revision; emit_typst | Shipped | `tests/convergence.rs` | | **D-RPT-5** | composite-key (multi-lane) group fold primitive in ndarray::simd / mask-risc | Queued | `ISS-REPORT-NO-COMPOSITE-KEY-GROUP-FOLD` | ## D-WFL — CodeRabbit round 3 on `9fd6956d` (2026-09-19): three findings, all valid, all outside the diff