AdaWorldAPI · Nov 4, 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-04 — D-DRISA-0: virtual DR registers × Abakus ALU × async data-local cognitive shader
+
+**Status: PROPOSED / DOCS ONLY.** [Architecture](../plans/d-drisa-remote-register-shader-v1.md) · [staged PR charter](../plans/d-drisa-staged-pr-charter-v1.md) · [57 independent falsifiers](../plans/d-drisa-falsifier-matrix-v1.md) · [entry](entries/2026-11-04-d-drisa-0-remote-register-contract.md) · [STATUS_BOARD](STATUS_BOARD.md) D-DRISA · [EXO-153](https://linear.app/exo-red/issue/EXO-153) · [EXO-50](https://linear.app/exo-red/issue/EXO-50) bus. **New hypothesis:** use existing DR frame as data-local virtual register namespace and preexisting Quack/R2IL/mask-risc/ndarray words as the typed ALU, including shipped Abakus half/full adders where arithmetic helps, with a bounded asynchronous remote descriptor and compact result. Do not send raw pointers, transport payloads by default, copy canonical values into DR, or create new global row mappings. Network zero-copy is *not* claimed; Arrow C same-process ABI and optional Flight RPC are distinguished. Nine separately gated PR stages, no production implementation. This does not replace D-DRAM-0/P3 or claim #1950's copied-lane prepared binding as address-only memoization. **D4/S-INGRESS, EXO-46/89/151, security and THOUGHT/WORLD admission remain open.**
+**Confidence:** existing local borrowed-operand instruction surface source-verified; remote/asynchronous contract, economics, result continuation and source leases unimplemented and unmeasured.
+
 ## 2026-11-03 — D-DRAM-P3: P2 open ends integrated with the D-DRAM-0 falsifier map → `.claude/plans/d-dram-p3-integrated-v1.md`
 
 **Status:** PLAN, owned by this session (operator). **Board:** [STATUS_BOARD](STATUS_BOARD.md) D-DRAM-P3-1..8. Credits P2 (#1950) against the pre-registered #1949 gates (L9, L10, C2, C4 measured in the lab; L1/L2/L6/A3/A4 partial). Orders eleven owned items by signal per effort: three need no outside decision (ReadPolicy range count, non-vacuous projection cases, the D-DRAM-1 census). Production and gated items keep their owners; nothing merges automatically.

diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md
@@ -1,3 +1,21 @@
+## D-DRISA — DR remote register + Abakus cognitive shader (2026-11-04)
+
+**Status: D-DRISA-0 PROPOSED / DOCS ONLY.** [Master architecture](../plans/d-drisa-remote-register-shader-v1.md) · [staged PR charter](../plans/d-drisa-staged-pr-charter-v1.md) · [57 falsifiers](../plans/d-drisa-falsifier-matrix-v1.md) · [board entry](entries/2026-11-04-d-drisa-0-remote-register-contract.md) · [EXO-153 owner tracking](https://linear.app/exo-red/issue/EXO-153) · [EXO-50 append-only handoff](https://linear.app/exo-red/issue/EXO-50). **No remote driver, API, copied payload cache, new map or performance measurement is implemented by this plan.**
+
+| D-id | Staged PR / deliverable | Status | Owner / gates |
+| --- | --- | --- | --- |
+| D-DRISA-0 | documented virtual-register contract, ALU semantic map, async state model, staged PR charter and independent oracles | PROPOSED, THIS DOCS PR | EXO-153 and EXO-50 coordinate only, neither admits runtime |
+| D-DRISA-1 | local borrowed-register equivalence, exact frame/scope refusals | FUTURE LAB | DT64 / mask-risc / R2IL, no new ISA |
+| D-DRISA-2 | async loopback lifecycle, bounded queue, cancellation and lease invalidation | FUTURE LAB, security review | runtime/transport owner; no live TCP |
+| D-DRISA-3 | Abakus k-of-n using shipped half/full adders, independent scalar/Boolean oracle | FUTURE LAB | ndarray/Quack owner; U24x5 examples-only |
+| D-DRISA-4 | two-process read-only data-local command vs payload-fetch baseline | FUTURE LAB, transport/security gate | explicit authorization before networking |
+| D-DRISA-5 | optional leased source-location receipt, zero copied payload, prefetch | **BLOCKED** | EXO-46 / EXO-89 / EXO-151 (no production lease host) |
+| D-DRISA-6 | witnessed DR→Lance _rowid authority and mask ingress | **BLOCKED_D4 / S_INGRESS_COPY** | D4 / S-INGRESS / EXO-114, #1633 |
+| D-DRISA-7 | grammar/XLOG/NAL read-only cognitive consumers, limited continuation | GATED | EXO-140 / EXO-73 / EXO-78 / semantic owners |
+| D-DRISA-8 | whole-query/async-fault audit and explicit production ruling | NOT AUTHORIZED | operator and named code/security owners |
+
+**Invariants:** DR retains unique coordinate authority; borrowed canonical SoA is default; local borrow ≠ network zero-copy; receipts store locations, never values; remote method and result mask require scope/source/frame lease; no implicit cross-call scratch-slot survival, F###, second executor or automatic THOUGHT→WORLD promotion. #1950 Q≥2 timing included gathered copied lanes, so is not standalone address-only evidence. #1951 4,096-page rule is a fragmentation proxy, not physical page count. [Integration map](INTEGRATION_PLANS.md) has the full crosswalk.
+
 ## 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.

diff --git a/.claude/board/entries/2026-11-04-d-drisa-0-remote-register-contract.md b/.claude/board/entries/2026-11-04-d-drisa-0-remote-register-contract.md
@@ -0,0 +1,45 @@
+# D-DRISA-0: DR virtual register + Abakus ALU + remote async cognitive shader (pre-registered)
+
+**Date:** 2026-11-04. **Status:** PROPOSED / DOCS ONLY; no executable remote driver, ABI, F###, ISA extension, pointer-transport, source authority or speedup claim. **Operator idea:** eliminate unnecessary hash-table-like lookups and payload transport by executing a typed program *where canonical SoA is already owned*, using a witnessed DR frame as virtual register-address space and Abakus as an optional arithmetic ALU.
+
+**Plan (authoritative):** [D-DRISA-0](../../plans/d-drisa-remote-register-shader-v1.md) · [staged PR charter](../../plans/d-drisa-staged-pr-charter-v1.md) · [57 falsifiers](../../plans/d-drisa-falsifier-matrix-v1.md).
+**Linear:** [EXO-153 program](https://linear.app/exo-red/issue/EXO-153) and [EXO-50 append-only bus](https://linear.app/exo-red/issue/EXO-50).
+
+## Reuse, not reimplementation
+
+- **DR:** existing `lance-graph-dt64::dr::{MapTable,Frame,LocalMap}` owns coordinates, not values. No second global→`_rowid` store.
+- **Lens:** existing `ClassView`, `WideFieldMask` and immutable DT64 `MethodBinding` describe only demanded fields and authorized behavior.
+- **ISA:** Quack/RelAlg/R2IL → mask-risc borrowed `Plane/Scratch/LaneRef` → ndarray SIMD. No new instruction loop, graphics backend or automatic F###.
+- **Abakus:** shipped `half_add_mask` and `full_add_mask` are valid words; #1951's `U24x5`/`Abacus` are examples-only. Arithmetic thresholds are a **candidate**, native AND remains the control.
+- **Source:** use canonical borrowed SoA and optional prefetch at its owner. Remote descriptor and compact result may be transported, but **remote zero-copy is not proven or promised**. Arrow C zero-copy is same-process, not an RPC guarantee.
+- **Continuations:** R2IL scratch slots have epochs. Remote `MaskReceipt` cannot silently outlive its program or become a new global mask store; owner/lifetime decision required.
+- **Epistemic:** grammar and XLOG/NAL polyfills are candidate consumers; THOUGHT remains speculative and WORLD writes require separate hydration/Rubicon admission.
+
+## Staged PR sequence, not existing PRs
+
+| Stage | Deliverable | Status / gate |
+| --- | --- | --- |
+| D-DRISA-0 | docs, board, EXO-153 issue, EXO-50 handoff | THIS PR; research-only |
+| D-DRISA-1 | local borrowed register oracle and source/lifetime refusal | FUTURE LAB |
+| D-DRISA-2 | bounded async loopback, cancellation and lease revocation | FUTURE LAB; security review |
+| D-DRISA-3 | k-of-n Abakus with shipped words and negative controls | FUTURE LAB; ndarray/Quack owners |
+| D-DRISA-4 | two-process data-local command vs fetch-payload baselines | FUTURE LAB; transport/security gate |
+| D-DRISA-5 | source-location receipt and prefetch without copied values | **BLOCKED EXO-46/89/151** |
+| D-DRISA-6 | real DR→Lance `_rowid` binding, copied mask ingress measured | **BLOCKED D4/S-INGRESS**, EXO-114 |
+| D-DRISA-7 | read-only cognitive consumers, bounded result masks | **GATED EXO-140/73/78**, semantic owners |
+| D-DRISA-8 | independent full-cost audit, production ruling | NOT AUTHORIZED |
+
+## Falsifiers and cost
+
+- **57 pre-registered rows:** R1–R16 addressing/leasing; A1–A8 ALU; N1–N14 async and transport; C1–C10 cognition/semantics; P1–P9 full-path economics. All PROPOSED/UNEXECUTED here; earlier #1948/#1950/#1951 evidence is identified as partial, never credited as remote results.
+- **Whole-query benchmark:** local borrow B0, remote payload fetch B1, data-local instruction B2, binding reuse B3, memoized locator B4, prefetch B5, Abakus B6. Count cold costs, all copies, RPC bytes, source pages, authentication, p95/p99 and refusers.
+- **#1950 caveat:** its route-once `Binding::prepare` retains *copied* `lane_a/lane_b`; Q≥2 improvement is not locator proof.
+- **#1951 caveat:** `range_count * 4096` is a fragmentation heuristic/policy pin, not a count of physically touched pages. No planner law inferred.
+
+## Required decisions and STOP conditions
+
+[EXO-46 admission](https://linear.app/exo-red/issue/EXO-46), [EXO-89 relationship owner](https://linear.app/exo-red/issue/EXO-89), [EXO-151 focus lease](https://linear.app/exo-red/issue/EXO-151), [EXO-140 gather/hop classification](https://linear.app/exo-red/issue/EXO-140), [EXO-121 ClassView](https://linear.app/exo-red/issue/EXO-121), [EXO-114 ordering](https://linear.app/exo-red/issue/EXO-114), [EXO-73 recursion](https://linear.app/exo-red/issue/EXO-73), [EXO-78 thought layers](https://linear.app/exo-red/issue/EXO-78).
+
+**STOP:** untrusted remote pointer, unauthorized field, stale frame, second row-ID map, default value gather, silently serialized payload, cross-tenant leak, runtime write, new F###, unsupported arithmetic semantics, fictitious public kernel, automatic merge.
+
+**Reference PRs:** [#1948](https://github.com/AdaWorldAPI/lance-graph/pull/1948), [#1949](https://github.com/AdaWorldAPI/lance-graph/pull/1949), [#1950](https://github.com/AdaWorldAPI/lance-graph/pull/1950), [#1951](https://github.com/AdaWorldAPI/lance-graph/pull/1951). [STATUS_BOARD](../STATUS_BOARD.md) and [INTEGRATION_PLANS](../INTEGRATION_PLANS.md) both list this D-id.
diff --git a/.claude/board/entries/README.md b/.claude/board/entries/README.md
@@ -25,10 +25,11 @@ 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.
 
-571 entries, 2026-08-06 .. 2026-11-03.
+572 entries, 2026-08-06 .. 2026-11-04.
 
 | date | entry id | finding | file |
 |---|---|---|---|
+| 2026-11-04 | `D-DRISA-0` |  | [2026-11-04-d-drisa-0-remote-register-contract.md](2026-11-04-d-drisa-0-remote-register-contract.md) |
 | 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-WHEN-1` |  | [2026-11-03-d-grammar-when-1.md](2026-11-03-d-grammar-when-1.md) |
 | 2026-11-03 | `D-GRAMMAR-CONSTRAINTS-0` |  | [2026-11-03-d-grammar-constraints-0.md](2026-11-03-d-grammar-constraints-0.md) |