From 7675755d234c116a893c2a3394e04caff9473d36 Mon Sep 17 00:00:00 2001 From: Claude Date: Sun, 25 Oct 2026 08:32:50 +0000 Subject: [PATCH] board: D-DRF lab arc #1760-#1771 (status rows, plan status, PR arc, latest state); entries index count fix Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01G22yT6htkcdyXsihxxXdrg --- .claude/board/INTEGRATION_PLANS.md | 2 +- .claude/board/LATEST_STATE.md | 8 ++ .claude/board/PR_ARC_INVENTORY.md | 74 +++++++++++++++++++ .claude/board/STATUS_BOARD.md | 10 ++- .claude/board/entries/README.md | 2 +- .../plans/d-dr64-focus-cache-falsifiers-v1.md | 2 +- 6 files changed, 91 insertions(+), 7 deletions(-) diff --git a/.claude/board/INTEGRATION_PLANS.md b/.claude/board/INTEGRATION_PLANS.md index 543c913b3..21d4ffc58 100644 --- a/.claude/board/INTEGRATION_PLANS.md +++ b/.claude/board/INTEGRATION_PLANS.md @@ -13,7 +13,7 @@ Rust HIR/MIR (source/semantic input) and the [AdaWorldAPI/ruff](https://github.c ## 2026-10-24 — d-dr64-focus-lease-foreign-cache-v1 + d-dr64-focus-cache-falsifiers-v1 — immutable DR64 focus, leased foreign cache, sparse writeback → `.claude/plans/d-dr64-focus-lease-foreign-cache-v1.md`, `.claude/plans/d-dr64-focus-cache-falsifiers-v1.md` -**Status:** D-DRF-1 REFERENCE DESIGN / PRE-REGISTRATION ONLY (#1756); DRF-P1..P4 PROPOSED, not authorized. The DR map stays an immutable versioned reference; focus load acquires an ephemeral residency lease; caches are disposable; dirty rows coalesce by canonical destination and go through the existing CycleWriter. DECISION 2026-10-24: the DR64³ foreign-key cache is a scoped exception to the zero-copy law (cost basis, several ontologies, learning into live-generated ONNX), lapsing if DRF-P2 does not measure a whole-run win. Entry `2026-10-24-d-drf-1-focus-lease-foreign-cache.md`. +**Status:** D-DRF-1 REFERENCE DESIGN (#1756). Lab probes run 2026-10-24/25 (#1762–#1771): DRF-P1 green, DRF-P2 break-even measured (A1/A3 NOT RUN), writeback W1–W4/W6–W8 green against the real CycleWriter with a fake WAL; DRF-P3/P4 PROPOSED, not authorized. The DR map stays an immutable versioned reference; focus load acquires an ephemeral residency lease; caches are disposable; dirty rows coalesce by canonical destination and go through the existing CycleWriter. DECISION 2026-10-24: the DR64³ foreign-key cache is a scoped exception to the zero-copy law (cost basis, several ontologies, learning into live-generated ONNX), lapsing if DRF-P2 does not measure a whole-run win. Entry `2026-10-24-d-drf-1-focus-lease-foreign-cache.md`. ## 2026-10-23 — d-nfr-6-soa-borrow-v2 — native operations over the SoaEnvelope borrow, no guard → `.claude/plans/d-nfr-6-soa-borrow-v2.md` diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index 7bc6dcd30..38d5f6665 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.claude/board/LATEST_STATE.md @@ -1,3 +1,11 @@ +## 2026-10-25 — main after #1771 (merged `332b420c`) + +- New lab crate on main: `drf-focus-probe` (#1762, workspace-excluded, no CI job). It carries the D-DRF-1 focus lease + gather (DRF-P1), the focus-vs-direct break-even (DRF-P2, #1763/#1764) and the writeback falsifiers W1–W4, W6–W8 (#1765–#1771). Feature `handoff` hands flushed rows to the real `lance-graph-supervisor` CycleWriter; a fake WAL stands in for Lance. +- Not run: W5 (descriptor-only cast), M1–M2, R1–R7, DRF-P2 A1/A3. Open: eviction policy under churn (#1772 in PR), TLB cost of the 65 536-row build, a real Lance WAL. +- Also on main: D-SAG-6 docs (#1760); fractal virtual-relation probe (#1761). +- **Contract inventory delta:** none (lab crate, probes, docs). +- Per-PR records: `PR_ARC_INVENTORY.md` catch-up #1760–#1771. + ## 2026-10-24 — main after #1758 (merged `0dcaf8b5`) - New crates on main: `lance-graph-onnx` (#1754; ONNX names over existing native functions, `onnx::bounded` Tanh/Exp aliases in #1758), `math-polyfill-probe` (#1752, lab), `soa-view-probe` (#1755, lab). diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md index 21f11888d..d12309f27 100644 --- a/.claude/board/PR_ARC_INVENTORY.md +++ b/.claude/board/PR_ARC_INVENTORY.md @@ -1,3 +1,77 @@ + + +## 2026-10-25 — lance-graph PR #1771 (merged `332b420c`, branch `lab/drf-w6-resample-isolate-20261025`, head `7125af32`) — test(drf-w4/w6): isolate the resampling refusal to changed bytes + +- **Added:** `tests/integration/handoff.rs` (unstaged byte flipped, base held at 0, reconcile control). +- **Docs:** entry `2026-10-25-drf-w4-handoff.md` updated. +- **Confidence:** lab; fixes the Codex P2 on #1767; disable run red. + +## 2026-10-25 — lance-graph PR #1770 (merged `b149ffc1`, branch `lab/drf-w8-budget-20261025`, head `984c2db5`) — lab(drf-w8): evict unpinned foci to a resident budget, LRU first + +- **Added:** `FocusManager::{evict_to_budget, resident_bytes}`, `BudgetReport`, `FOCUS_BYTES`; `tests/integration/budget.rs`. +- **Docs:** entry `2026-10-25-drf-w8-budget.md`. +- **Confidence:** lab; Codex review failed to complete, not re-run. + +## 2026-10-25 — lance-graph PR #1769 (merged `94d254a1`, branch `lab/drf-focuskey-facet-20261025`, head `e6f127cd`) — lab(drf-g): key a focus on its facet too + +- **Added:** `FocusKey::facet`; `Facet: Hash`; facet test + silence twin. +- **Docs:** entry `2026-10-25-drf-focuskey-facet.md`. +- **Confidence:** lab; bug fix (second facet returned the first facet's column). + +## 2026-10-25 — lance-graph PR #1768 (merged `6d62d9e8`, branch `lab/drf-w3-unordered-group-20261025`, head `1f593677`) — lab(drf-w3): check an unordered write against its whole facet group + +- **Added:** `Writeback::flush` group check. +- **Docs:** entry `2026-10-25-drf-w3-ordered-apply.md` updated. +- **Confidence:** lab; fixes the Codex P2 on #1766. + +## 2026-10-25 — lance-graph PR #1767 (merged `79a2c5b6`, branch `lab/drf-w4-handoff-20261025`, head `44794a45`) — lab(drf-w4): hand flushed row images to the real CycleWriter (W4-W7) + +- **Added:** feature `handoff`, `src/handoff.rs` (`RowImage::into_slot(s)`); `tests/integration/handoff.rs` over a fake WAL. +- **Docs:** entry `2026-10-25-drf-w4-handoff.md`. +- **Confidence:** lab; W5 not run; the fake WAL stands in for Lance. + +## 2026-10-25 — lance-graph PR #1766 (merged `e6d15784`, branch `lab/drf-w3-ordered-apply-20261025`, head `960cb72c`) — lab(drf-w3): same-facet writes apply by declared stream position + +- **Added:** `Writeback::stage_at`, ordered apply + conflict refusal. +- **Docs:** entries `2026-10-25-drf-w1-writeback.md`, `-w3-ordered-apply.md`. +- **Confidence:** lab. + +## 2026-10-25 — lance-graph PR #1765 (merged `22bac9d3`, branch `lab/drf-w1-writeback-20261025`, head `8e91f734`) — lab(drf-w1): staged writeback coalesced per canonical row (W1–W3) + +- **Added:** `Writeback`, `Patch`, `RowImage`, `Refusal::Conflict`. +- **Docs:** entry `2026-10-25-drf-w1-writeback.md`. +- **Confidence:** lab; overlapping-facet fix from Codex P2. + +## 2026-10-25 — lance-graph PR #1764 (merged `2bfb2908`, branch `lab/drf-p2-cold-arm-20261024`, head `5c0d240e`) — lab(drf-p2): cold-cache arm; correct the DRAM claim + +- **Added:** `examples/p2_breakeven.rs` cold arm. +- **Docs:** entry `2026-10-24-drf-p2-breakeven.md` corrected. +- **Confidence:** lab; timings reported, not gated. + +## 2026-10-25 — lance-graph PR #1763 (merged `e8aabd95`, branch `lab/drf-p2-cost-20261024`, head `21906968`) — lab(drf-p2): focus vs direct break-even + mis-predict/switch lease falsifier + +- **Added:** `examples/p2_breakeven.rs`; P2 lease test. +- **Docs:** entry `2026-10-24-drf-p2-breakeven.md`. +- **Confidence:** lab; break-even 1–3 folds; A1/A3 not run. + +## 2026-10-25 — lance-graph PR #1762 (merged `62d6c70f`, branch `lab/drf-p1-focus-lease-20261024`, head `cdc20dc3`) — lab(drf-p1): focus lease + gather along the u16 map + +- **Added:** new crate `drf-focus-probe` (workspace-excluded): `FocusManager`, `Focus`, `SealedMap`. +- **Docs:** entry `2026-10-24-drf-p1-focus-lease-probe.md`. +- **Confidence:** lab; L1/G4 disable runs red. + +## 2026-10-25 — lance-graph PR #1761 (merged `eeb9b646`, branch `probe/fractal-virtual-relation-20261024`, head `00a856fa`) — probe(fractal): benchmark virtual 3^n graph relations vs enumeration + +- **Added:** `probes/fractal-virtual-relation/` (C++ probe, measurements, demo). +- **Docs:** README in the probe directory. +- **Confidence:** recorded from the merge commit. + +## 2026-10-25 — lance-graph PR #1760 (merged `4c8f5b92`, branch `docs/d-sag-6-rust-codegraph-logic-tracert-20261024`, head `1840579d`) — docs(D-SAG-6): Rust Codegraph → Mathematics → Logic → Tracert, prompt and board + +- **Added:** docs only. +- **Docs:** plan `d-sag-6-rust-codegraph-math-logic-tracert-v1.md`, prompt, STATUS_BOARD + INTEGRATION_PLANS rows. +- **Confidence:** recorded from the merge commit. + ## 2026-10-24 — lance-graph PR #1758 (merged `0dcaf8b5`, branch `feat/onnx-tanh-alias-20261024`, head `4b3685e8`) — lance-graph-onnx: Tanh and Exp as ULP-bounded aliases (`onnx::bounded`) diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md index 1215fd70e..f875d9e37 100644 --- a/.claude/board/STATUS_BOARD.md +++ b/.claude/board/STATUS_BOARD.md @@ -22,13 +22,15 @@ Plan: `.claude/plans/d-onnx-native-v1.md`. Crate: `crates/lance-graph-onnx` (ALI ## D-DRF — immutable DR64 focus, leased foreign cache, sparse writeback (2026-10-24) -Docs only (#1756). Plans `d-dr64-focus-lease-foreign-cache-v1.md` and `d-dr64-focus-cache-falsifiers-v1.md`. The foreign-key cache is a scoped exception to the zero-copy law (DECISION 2026-10-24, `zero-copy-lens-law.md`). +Docs #1756; lab crate `drf-focus-probe` #1762–#1771 (workspace-excluded, no CI job runs it). Plans `d-dr64-focus-lease-foreign-cache-v1.md` and `d-dr64-focus-cache-falsifiers-v1.md`. The foreign-key cache is a scoped exception to the zero-copy law (DECISION 2026-10-24, `zero-copy-lens-law.md`). | D-id | scope | status | gate / falsifier | |---|---|---|---| -| **D-DRF-1** | reference semantics: geometry, focus lease, lookahead prefetch, foreign-key cache exception, dirty-row writeback, learning overlay | Shipped, docs only (#1756 `06adcbce`) | falsifier matrix G1–G7, L1–L4, P1–P3, M1–M2, W1–W8, R1–R7 pre-registered, NOT RUN | -| **DRF-P1** | two-focus lazy load / lease / prefetch / last-reader eviction | Proposed | L1–L3, P1–P2; stale-map and race fixtures first | -| **DRF-P2** | 64-thought foreign-table A/B/C (direct+prefetch vs gather+reuse vs gather+reuse+writeback) | Proposed | whole-run cost incl. cold build; the foreign-key cache exception lapses if B/C does not win | +| **D-DRF-1** | reference semantics: geometry, focus lease, lookahead prefetch, foreign-key cache exception, dirty-row writeback, learning overlay | Shipped, docs only (#1756 `06adcbce`) | falsifier matrix pre-registered; run so far (lab): G1/G3/G4/G6, L1–L3, P1–P2, W1–W4, W6–W8. NOT RUN: G2/G5/G7, L4, P3, M1–M2, W5, R1–R7 | +| **DRF-P1** | two-focus lazy load / lease / prefetch / last-reader eviction | Shipped, lab (#1762 `62d6c70f`; key gains `facet`, #1769 `94d254a1`) | L1–L3, G1/G3/G4/G6, P1 green; `entries/2026-10-24-drf-p1-focus-lease-probe.md`, `entries/2026-10-25-drf-focuskey-facet.md` | +| **DRF-P2** | 64-thought foreign-table A/B/C (direct+prefetch vs gather+reuse vs gather+reuse+writeback) | Partly measured, lab (#1763 `e8aabd95`, #1764 `2bfb2908`) | break-even 1–3 folds warm and cold; A1/A3 NOT RUN, so the exception's lapse rule is not decided; `entries/2026-10-24-drf-p2-breakeven.md` | +| **DRF-W** | writeback W1–W4, W6–W8: per-row coalesce, conflict refusal, handoff to the real CycleWriter, lost-ack resubmit, no-change cycle, eviction budget | Shipped, lab (#1765–#1768, #1770, #1771; `22bac9d3`…`332b420c`) | W5 (descriptor-only cast) NOT RUN; fake WAL stands in for Lance; `entries/2026-10-25-drf-w1-writeback.md`, `-w3-ordered-apply`, `-w4-handoff`, `-w8-budget` | +| **DRF-CHURN** | eviction victim order under churn (LRU vs MRU) | In PR (#1772) | measured: neither wins both cyclic and phased; default unchanged; `entries/2026-10-25-drf-churn-policy.md` (on #1772) | | **DRF-P3** | relationship cube / slices and typed dirty-row reduction oracle | Proposed | R1–R3, W1–W3; no Bag/NULL/evidence loss | | **DRF-P4** | optional plasticity overlay + ONNX candidate stream | Proposed | R4–R7; base DR revision bit-identical | diff --git a/.claude/board/entries/README.md b/.claude/board/entries/README.md index 1d78456a5..9ac475956 100644 --- a/.claude/board/entries/README.md +++ b/.claude/board/entries/README.md @@ -25,7 +25,7 @@ index row, (3) no duplicate entry id. Checks 1 and 2 are deliberately opposite directions; the stranding this convention prevents shows up in exactly one of them, never both. -470 entries, 2026-08-06 .. 2026-10-25. +471 entries, 2026-08-06 .. 2026-10-25. | date | entry id | finding | file | |---|---|---|---| diff --git a/.claude/plans/d-dr64-focus-cache-falsifiers-v1.md b/.claude/plans/d-dr64-focus-cache-falsifiers-v1.md index bacc3120f..41420cbb3 100644 --- a/.claude/plans/d-dr64-focus-cache-falsifiers-v1.md +++ b/.claude/plans/d-dr64-focus-cache-falsifiers-v1.md @@ -1,6 +1,6 @@ # D-DRF-1 falsification preregistration — lease, prefetch, foreign gather and writeback -**Status:** PRE-REGISTERED, NOT RUN (2026-10-24). Companion to [D-DRF-1](d-dr64-focus-lease-foreign-cache-v1.md). This is a **proposed** lab matrix, not a declaration that a DR focus cache, third relationship axis or ONNX learning stream exists. +**Status:** PRE-REGISTERED (2026-10-24); PARTLY RUN in the lab crate `drf-focus-probe` (2026-10-25): G1/G3/G4/G6, L1–L3, P1–P2, W1–W4, W6–W8 green (#1762–#1771); W5, M1–M2, R1–R7, G2/G5/G7, L4, P3 NOT RUN. Results: `STATUS_BOARD.md` § D-DRF. Companion to [D-DRF-1](d-dr64-focus-lease-foreign-cache-v1.md). This is a **proposed** lab matrix, not a declaration that a DR focus cache, third relationship axis or ONNX learning stream exists. ## 1. All-in decision rule