[AdaWorldAPI]

D-DRISA-0: DR as an async data-local register contract, Abakus as optional ALU

Architecture-only / review draft. No executable remote server, ISA/opcode, networking, public ABI, new coordinate map or runtime behavior change. No automatic merge. This adds an independently falsifiable research direction to merged #1949 (D-DRAM), #1950 (D-GLOBAL-WHERE P2) and #1951 (P3 census). It does not replace their ownership decisions or claim their lab numbers demonstrate remote zero-copy.

Operator hypothesis

Instead of a replacement hash table or default gathered value cache, expose sealed DR coordinates and witnessed masks as a logical register-address space. Use ClassView/DT64 for field/method identity; Quack/RelAlg/R2IL/mask-risc for existing program vocabulary; ndarray's shipped half_add_mask/full_add_mask as bit-sliced ALU words where needed. Dispatch compact typed instructions asynchronously to the machine that owns canonical SoA and return scalar/mask/candidate results. No payload rows need be transported by default.

Source-backed reuse:

• dt64::dr::{MapTable,LocalMap,Frame}: identity-only coordinate owner; LocalMap::globals must not become physical source pointers.
• mask-risc::Operand::{Plane,Scratch}, Planes and LaneRef::Strided: local borrowed slots with caller-owned memory; exec.rs delegates to ndarray facade.
• DT64 MethodBinding/signature and R2IL dialect already express local typed operations; a remote driver needs authorization/lease/version/completion, not a new interpreter.
• D-DRAM-P3: integrate #1949 with P2 open ends; ReadPolicy range rule; D-DRAM-1 census #1951 census: U24x5 and Abacus<BITS> are examples-only. The shipped half/full adder words are the supported ALU base.
• lab: D-GLOBAL-WHERE P1/P2 — criteria-aware WHERE, DR composition, Lance selective read, three parity verdicts #1950 prepared-binding Q≥2 result also retains copied gather_lane values; not proof of address-only locator memoization.
• D-GRAMMAR-WHEN-1: binding a grammatical WHEN through DT64 (lab) #1948 grammar head_frame is a derived semantic lane (producer gate open), not a source-location receipt.

Critical zero-copy distinction

Local canonical BORROW: yes, where the source lease permits. No intermediate payload transport: the measured hypothesis. Network/RDMA zero-copy: not claimed. Lance row-mask ingress remains a costed copy, D4 single _rowid authority remains blocked. Arrow C Data Interface is same-process, while Arrow Flight is merely a possible future transport comparator.

Contents (seven files; all docs/board)

1. .claude/plans/d-drisa-remote-register-shader-v1.md: ownership, register/descriptor sketch, source lease, remote state/cancellation, ALU, 7 fair cost baselines, security/epistemic rules, source literature.
2. .claude/plans/d-drisa-staged-pr-charter-v1.md: PR0–PR8 with predecessor/owner gates, precise fixtures, acceptance and refusal boundaries; no future implementation claimed as existing.
3. .claude/plans/d-drisa-falsifier-matrix-v1.md: 57 unexecuted pre-registered falsifiers R1–16 / A1–8 / N1–14 / C1–10 / P1–9, independent oracles and disable controls.
4. .claude/board/entries/2026-11-04-d-drisa-0-remote-register-contract.md: permanent board evidence/owner map.
   5–7. .claude/board/STATUS_BOARD.md, INTEGRATION_PLANS.md and generated entries/README.md index.

Staged PR release gates

PR	Scope	Status
0	This docs/board/EXO handoff	Proposed, review only
1	Local borrowed-register semantic oracle	Future lab
2	Async loopback bounded queue/cancel/revision	Future lab; security review
3	Abakus k-of-n with shipped words	Future lab; ndarray/Quack
4	Two-process data-local command vs materialized-fetch baseline	Future lab; transport/security owner
5	Source locator receipt + prefetch	BLOCKED EXO-46/89/151
6	DR→Lance attested row IDs + S-INGRESS	BLOCKED D4/S-INGRESS, EXO-114
7	Grammar/XLOG/NAL read-only cognition and scoped mask continuation	GATED EXO-140/73/78, semantic owners
8	Independent whole-run review and possible production ruling	NOT AUTHORIZED

Coordination

• EXO-153: program/owner tracking, cross-linked to existing admission issues.
• EXO-50: append-only agent message bus; a new message will reference the PR and exact stage/file paths.
• Do not consider a bus comment or passing CI an operator decision.

Requested review: Does existing ownership of frame, method, source lease, result mask and async completion permit a safe descriptor-only contract without a new identity table or copied value cache? Which exact stages may remain lab, and which require named operator or security admission? No implementation or merge requested.

[coderabbitai]

Important

• Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

Run configuration

• Source mode: Auto
• Repository: Unavailable
• Branch: Unavailable
• File: No configuration file from this repository applied
• Commit: Unavailable
• Layers: Organization UI
• Review profile: CHILL
• Plan: Advanced
• Run ID: b66276fb-764a-491a-896e-66c4294f93af

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

Share

• X
• Mastodon
• Reddit
• LinkedIn

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-11-04T00:59:50.502910Z	baacd67	Draft marked ready

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.