From e08a5e33dec86839a3199d7d6a15e1a3e1df907d Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 23 Sep 2026 18:26:41 +0000 Subject: [PATCH 1/2] board: record lance-graph #1271 merge (arc entry, LATEST_STATE, D-RPT statuses) Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01DCEP2fZdHYdMCtcEVcTpS2 --- .claude/board/LATEST_STATE.md | 6 ++++++ .claude/board/PR_ARC_INVENTORY.md | 20 ++++++++++++++++++++ .claude/board/STATUS_BOARD.md | 6 +++--- 3 files changed, 29 insertions(+), 3 deletions(-) diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index 223662f1d..1fafa1115 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 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. Still open: z8run#1 (D-RPT-2), 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..c1d5294ab 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-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) | 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-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 From 35b45e68af381310c6f0cba2e11bcc926f97e613 Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 23 Sep 2026 18:27:11 +0000 Subject: [PATCH 2/2] =?UTF-8?q?board:=20z8run#1=20merged=20=E2=80=94=20D-R?= =?UTF-8?q?PT-2=20shipped?= 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_01DCEP2fZdHYdMCtcEVcTpS2 --- .claude/board/LATEST_STATE.md | 4 ++-- .claude/board/STATUS_BOARD.md | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index 1fafa1115..39780f105 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.claude/board/LATEST_STATE.md @@ -1,8 +1,8 @@ -## 2026-09-23 — lance-graph #1271 MERGED (`d90600d`); OGAR #307 merged +## 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. Still open: z8run#1 (D-RPT-2), D-RPT-5. +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) diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md index c1d5294ab..fcf1cc501 100644 --- a/.claude/board/STATUS_BOARD.md +++ b/.claude/board/STATUS_BOARD.md @@ -5,7 +5,7 @@ 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 | 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) | In PR | z8run-lance `tests/nodes.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` |