From 337e6d4c5d47d667614014400a00ccfdd23f0132 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 6 Nov 2026 08:57:32 +0000 Subject: [PATCH] board: record #1964-#1967 and OGAR #371; D-LANESOCK-1 shipped Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01XAqKMMJzKZrYnckXRC8x2U --- .claude/board/LATEST_STATE.md | 7 +++++++ .claude/board/PR_ARC_INVENTORY.md | 11 +++++++++++ .claude/board/STATUS_BOARD.md | 2 +- 3 files changed, 19 insertions(+), 1 deletion(-) diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index 077d89eb1..fd6c33ec7 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.claude/board/LATEST_STATE.md @@ -1,3 +1,10 @@ +## 2026-11-06 — main after #1964–#1967 (merged `9ca5daa`), OGAR #371 + +- OGAR `ogar_dir_core::correspond::Output::entra_mailbox`: the fold's sole Entra→EXO row ordinal (`NO_ROW` for none or several). `Ruler::from_fold` reads it instead of re-merging. +- dir-sim `tests/ordinal_chain_lab.rs` (test-only): hybrid AD/Entra/EXO coordinates bound from OGAR's fold under a dt64 `dr::Frame`; one Quack program selecting over the six Ruler planes (oracle parity, 0 hot allocations, ~0.4–0.8 µs per 64K-slot pass over prepared planes; cold correspondence ~43–52 ms reported separately). +- dt64 `lane` module (D-LANESOCK-1): `LaneSource`, `CoordSpace`, `LaneAddr`, `RouteAt`, `LaneRequest`, `LaneBinding`, `LaneRefusal`, `BindStore::bind_lanes`. Route and frame checked as a pair; a lane in another row order than the selection refuses (`CoordinateSpace`). Spec: `.claude/plans/d-lanesock-dr-dt64-lane-socket-v1.md` (#1966). +- No admission changed: Gather ban, ADMISSION B, NotASide, OP-14, DRISA M1/M2, D4/S-INGRESS. + ## 2026-11-02 — main after #1932 and #1933 (merged `d1b3ea59f`), ruff #135/#136 - Codegraph coverage gate: diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md index 504c6c7c4..9afc60770 100644 --- a/.claude/board/PR_ARC_INVENTORY.md +++ b/.claude/board/PR_ARC_INVENTORY.md @@ -1,3 +1,14 @@ +## 2026-11-06 — lance-graph PRs #1964–#1967 (merged `9ca5daa`), with OGAR #371 — hybrid ordinal chain, Ruler-plane selection, DR × DT64 lane socket + +- **Added:** + - #1964: the ordinal-chain lab reads the EXO ordinal from OGAR's fold (OGAR #371) and witnesses coordinates with `dr::FrameStore`; lab clippy step in `dir-sim-persist.yml`. + - #1965: batch selection over the six `fold_aligned` planes with one Quack program per pass. + - #1966: D-LANESOCK spec. + - #1967: dt64 `lane` module (`LaneSource`, `BindStore::bind_lanes`, `LaneBinding::check/lane`) plus 8 dt64 tests and 4 lab tests. +- **Locked (measured):** oracle parity over multi-word seeded populations with ten fault classes; zero hot allocations at 64K slots; socket check + borrow 34–140 ns; each refusal guard disable-verified red-then-green. +- **Not done:** no cross-coordinate-space mapping is admitted (`CoordinateSpace` refuses); frame revisions are caller-supplied, not derived from a source receipt; dir-sim `CloudMailboxes::from_fold` still selects per row and `with_exchange_guids` is a second GUID search. +- **Confidence:** CI green on every merged head; disable runs recorded in each PR body. + ## 2026-11-02 — lance-graph PR #1933 (merged `d1b3ea59f`, branch `claude/clone-repositories-71a5sw`) — A10 probes + admission probe, NNUE triangle baseline, S5 erratum, #1931 record - **Added:** diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md index 5466a20fc..95d017a44 100644 --- a/.claude/board/STATUS_BOARD.md +++ b/.claude/board/STATUS_BOARD.md @@ -3,7 +3,7 @@ | D-id | Deliverable | State | | --- | --- | --- | | D-LANESOCK-0 | normative spec: socket, joint version witness, refusals | Shipped (#1966) | -| D-LANESOCK-1 | `LaneSource` + `BindStore::bind_lanes` + falsifiers in lance-graph-dt64 and the dir-sim lab | In PR | +| D-LANESOCK-1 | `LaneSource` + `BindStore::bind_lanes` + falsifiers in lance-graph-dt64 and the dir-sim lab | Shipped (#1967) | ## D-CGMM — Lazy Codegraph fact/demand + MeTTa class-method scratch (2026-11-04)