AdaWorldAPI · Oct 25, 2026 · Oct 25, 2026
diff --git 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
@@ -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
@@ -1,3 +1,77 @@
+<!-- 2026-10-25 catch-up: #1760–#1771 (#1759 is board hygiene only, no entry). Recorded from merge commits and changed files. -->
+
+## 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 catch-up: #1742–#1758 had no entries. One compact entry per PR, recorded from the merge commit and its changed-file list; Confidence lines carry no measurement beyond what the PR's own board entry records. -->
 
 ## 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
@@ -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
@@ -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
@@ -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