AdaWorldAPI · Nov 3, 2026 · Nov 3, 2026 · Nov 3, 2026 · Nov 3, 2026 · Nov 3, 2026
diff --git a/.claude/board/INTEGRATION_PLANS.md b/.claude/board/INTEGRATION_PLANS.md
@@ -1,3 +1,8 @@
+## 2026-11-03 — D-DRAM-0: DR address memoization + adaptive Abakus mask lens → `.claude/plans/d-dram-abacus-address-memoization-v1.md`
+
+**Status:** PROPOSED / DOCS ONLY. **Board:** [STATUS_BOARD](STATUS_BOARD.md) D-DRAM; [entry](entries/2026-11-03-d-dram-abacus-address-memoization.md); [EXO-50](https://linear.app/exo-red/issue/EXO-50/agent-message-bus-gpt-xgrok-ccsession-id) coordination. Separate focus-scoped, witnessed receipt for already resolved canonical SoA locations, *no copy of values and no mutation of `LocalMap::globals`*. Quack dynamic ClassView/WideFieldMask scope can test shipped ndarray half/full-adder words for k-of-n masks; operator's exact 5×24 symbols require source verification. Existing Lance masked reads stay in their owner, D4/S-INGRESS gate the DR↔Lance binding, and generic payload gather remains prohibited outside the narrow D-DRF-1 §5 exception. Gates D-DRAM-1..5 are proposals, not authorized production tasks.
+**Confidence:** source-grounded owner/ABI map; no executable implementation, measured benefit or public Abakus type.
+
 ## 2026-11-03 — D-XLOG-WIRE: XLOG wiring gaps to the hot path → `.claude/plans/xlog-wiring-to-hot-path-v1.md`
 
 **Status:** PLAN. Gating input for D-CODEGRAPH-0-BIN B3 (operator 2026-11-03). **Board:** [STATUS_BOARD](STATUS_BOARD.md) D-XLOG-WIRE; [entry](entries/2026-11-03-a10-writers-retract-xlog-pr.md).

diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md
@@ -1,3 +1,18 @@
+## D-DRAM — DR address memoization + adaptive Abakus masking lens (2026-11-03)
+
+**Status:** PROPOSED / DOCS ONLY; [plan](../plans/d-dram-abacus-address-memoization-v1.md), [board entry](entries/2026-11-03-d-dram-abacus-address-memoization.md), [EXO-50](https://linear.app/exo-red/issue/EXO-50/agent-message-bus-gpt-xgrok-ccsession-id). No code, tests, new runtime, new row-id map or production authorization.
+
+| D-id | Deliverable | Status | Owner / gate |
+| --- | --- | --- | --- |
+| D-DRAM-0 | design and falsifier map: borrowed SoA locator receipts, dynamically scoped Abakus mask algebra | Proposed, documentation only | review; EXO-50 message is not approval |
+| D-DRAM-1 | read-only census of existing DR focus locator lease and exact ndarray 5×24 symbols | Queued, not authorized | EXO-46, ndarray owner |
+| D-DRAM-2 | lab memoized address receipts; no values copied, exact version/scope and lifetime refusal | GATED | EXO-46, EXO-89, EXO-151; no second coordinate authority |
+| D-DRAM-3 | Quack k-of-n/threshold Abakus comparison with shipped facade words | Proposed lab | Quack/ndarray owners; no automatic new opcode/API |
+| D-DRAM-4 | combined ClassView selective borrowing + Lance read probe | GATED for end-to-end DR→Lance | D4 and S-INGRESS from #1788 |
+| D-DRAM-5 | engineering-parity and cost verdict, handoff | Queued | independent falsifiers and owner decision |
+
+Verified: ndarray #402 half/full adder words and #390 byte sum shipped, `Abacus<BITS>` lab-only; DR `LocalMap` is identity-only; H14c/H14d and #1633 selective Lance reads are lab. Unverified: exact operator-mentioned `ndarray::simd::5x24::*` signature. **Borrow/prefetch default; materialized foreign facet only under D-DRF-1 §5 admission.**
+
 ## D-DT64-7 — behaviour addressing and registration: Frozen, Learned, Explore over one classid (2026-10-31)
 
 Plan: `.claude/plans/d-dt64-7-behaviour-addressing-registration-v1.md`. Docs only. Frozen = compile time, at `0xFFFF :: 0xF###`, registered by DT64 as delegate for `lance-graph-ogar` without `ogar-vocab` (concern by range: relalg `F0__`, XLOG `F1__`, ONNX `F2__`, TF family incl. TFLite `F3__`, SQL-specific `F4__`, Gremlin-specific `F5__`; DECIDED O7); Learned = registered in the `BindStore` at `Domain::AppId :: 0xF###`; Explore = not registered. Right side = ClassView / `WideFieldMask` selection. O7–O10 DECIDED (plan §1d): host composition, full-classid basis for behaviour lenses, consumer-supplied `ClassView` with a basis witness.

diff --git a/.claude/board/entries/2026-11-03-d-dram-abacus-address-memoization.md b/.claude/board/entries/2026-11-03-d-dram-abacus-address-memoization.md
@@ -0,0 +1,34 @@
+# D-DRAM-0: address memoization in DR, adaptive Abakus mask lens
+
+**Date:** 2026-11-03. **Status:** PROPOSED / DOCS ONLY. No executable code, public API, performance result or production authorization.
+**Plan:** [D-DRAM-0](../../plans/d-dram-abacus-address-memoization-v1.md).
+**Coordination:** [EXO-50](https://linear.app/exo-red/issue/EXO-50/agent-message-bus-gpt-xgrok-ccsession-id), new append-only message; issue status is not implementation consent.
+
+## Operator intention
+
+1. After resolving a canonical SoA address under an existing witnessed DR tile/local coordinate, **remember that locator receipt** in the active focus/binding lease for repeated borrow and prefetch. Do **not** copy payload values into DR or append physical locators into `LocalMap::globals` (global identity list).
+2. Let ClassView/WideFieldMask select the logical property footprint and let Quack choose existing mask/bit-sliced SIMD algebra through ndarray. Abakus may be useful for arithmetic thresholds (k-of-n), not default AND/OR.
+3. Borrow canonical values and use selective Lance 13 source fetch when necessary. Payload gathering remains the D-DRF-1 §5 narrowly admitted foreign-cache exception, never a generic default optimizer choice.
+
+## Verified anchors
+
+- [DR MapTable](https://github.com/AdaWorldAPI/lance-graph/blob/main/crates/lance-graph-dt64/src/dr.rs): stable identity mapping, append-only coordinate history, not physical SoA pointers.
+- [ClassView](https://github.com/AdaWorldAPI/lance-graph/blob/main/crates/lance-graph-contract/src/class_view.rs) and [DT64](https://github.com/AdaWorldAPI/lance-graph/blob/main/crates/lance-graph-dt64/src/lib.rs): WideFieldMask borrowed words and ValueDemand separation.
+- [D-RMAP-1A](../../plans/d-rmap-separate-tables-thought-palettes-v1.md), [D-DRF-1](../../plans/d-dr64-focus-lease-foreign-cache-v1.md), [D-DRAV-1](../../plans/d-dr-address-first-value-demand-v1.md): owners, borrowed default and admitted exception.
+- [ndarray #402](https://github.com/AdaWorldAPI/ndarray/pull/402): half/full adder masks SHIPPED; `Abacus<BITS>` remained LAB/DEFERRED. [ndarray #390](https://github.com/AdaWorldAPI/ndarray/pull/390): masked byte-sum shipped. Operator's exact `ndarray::simd::5x24::*` symbol is **UNVERIFIED**, census first.
+- [#1573](https://github.com/AdaWorldAPI/lance-graph/pull/1573), [#1575](https://github.com/AdaWorldAPI/lance-graph/pull/1575), [#1633](https://github.com/AdaWorldAPI/lance-graph/pull/1633): Lance 13 masked reads already measured. [#1788](https://github.com/AdaWorldAPI/lance-graph/pull/1788) / [#1789](https://github.com/AdaWorldAPI/lance-graph/pull/1789): D4, S-INGRESS and physical-byte limitations.
+- [#1943](https://github.com/AdaWorldAPI/lance-graph/pull/1943), [#1945](https://github.com/AdaWorldAPI/lance-graph/pull/1945): in-memory DR/FOLD experiments, not Lance I/O.
+
+## Planned gates, not authorized implementations
+
+| Gate | Deliverable | Evidence/owner boundary |
+| --- | --- | --- |
+| D-DRAM-1 | enumerate actual source locator leases and 5×24 SIMD signatures | READ-ONLY |
+| D-DRAM-2 | lab memoized source-location receipt under one immutable map, L1–L10 | EXO-46, EXO-89, EXO-151 |
+| D-DRAM-3 | lab k-of-n Abakus vs native mask words, A1–A7 | Quack/ndarray owner; no public Abacus type by default |
+| D-DRAM-4 | combined ClassView WHERE, borrowed SoA, Lance source and mask algebra, C1–C4 | D4/S-INGRESS remain GATED |
+| D-DRAM-5 | cost/evidence handoff and owner decision, not a merge | EXO-50 append-only bus |
+
+**Refusals:** no second coordinate authority; no historical raw source pointer; no per-query copied payload by default; do not confuse WHERE criterion counts with property widths, SoA lane widths or DR tiles; no unproven physical 4×8 semantics; no new F### / opcode; no SQL UNKNOWN / Bag conflation. All measurements must separate cold setup, witness work, locator miss/hit, Lance bytes, borrow, prefetch and FOLD.
+
+**Board references:** [STATUS_BOARD D-DRAM](../STATUS_BOARD.md), [INTEGRATION_PLANS](../INTEGRATION_PLANS.md). **Related issues:** [EXO-46](https://linear.app/exo-red/issue/EXO-46/a1-decide-counted-globalfocus-binding-membrane-for-production), [EXO-89](https://linear.app/exo-red/issue/EXO-89/d-rmap-1-1a-implicit-relationship-register-and-separate-thought), [EXO-151](https://linear.app/exo-red/issue/EXO-151/d-drf-immutable-dr64-focus-leased-foreign-cache-sparse-writeback), [EXO-121](https://linear.app/exo-red/issue/EXO-121/d-qr-cap-classviewwidefieldmask-relational-isa-binding-capstone), [EXO-140](https://linear.app/exo-red/issue/EXO-140/admission-b-call-sites-unclassified-semijoin-equ32via-gather-and-no).
diff --git a/.claude/board/entries/README.md b/.claude/board/entries/README.md
@@ -25,13 +25,14 @@ 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.
 
-566 entries, 2026-08-06 .. 2026-11-03.
+567 entries, 2026-08-06 .. 2026-11-03.
 
 | date | entry id | finding | file |
 |---|---|---|---|
 | 2026-11-03 | `D-XLOG-META-WIRE-P0` |  | [2026-11-03-d-xlog-meta-wire-p0.md](2026-11-03-d-xlog-meta-wire-p0.md) |
 | 2026-11-03 | `D-GRAMMAR-CONSTRAINTS-0` |  | [2026-11-03-d-grammar-constraints-0.md](2026-11-03-d-grammar-constraints-0.md) |
 | 2026-11-03 | `D-GLOBAL-WHERE` |  | [2026-11-03-d-global-where-p0.md](2026-11-03-d-global-where-p0.md) |
+| 2026-11-03 | `D-DRAM-0` |  | [2026-11-03-d-dram-abacus-address-memoization.md](2026-11-03-d-dram-abacus-address-memoization.md) |
 | 2026-11-03 | `D-DR-FOLD-MAP` |  | [2026-11-03-d-dr-fold-map.md](2026-11-03-d-dr-fold-map.md) |
 | 2026-11-03 | `D-COGNITIVE-POLYFILL` |  | [2026-11-03-d-cognitive-polyfill-p0.md](2026-11-03-d-cognitive-polyfill-p0.md) |
 | 2026-11-03 | `D-BAG-FOLD` |  | [2026-11-03-d-bag-fold-witnessed-existential.md](2026-11-03-d-bag-fold-witnessed-existential.md) |