board: record #1964–#1967 and OGAR #371; D-LANESOCK-1 shipped

.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:

.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:**

.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)