Skip to content

docs(D-DRAM-0): DR locator memoization and adaptive Abakus mask lens (architecture gates) - #1949

Merged
AdaWorldAPI merged 5 commits into
mainfrom
docs/d-dr-abacus-memoization-20261103
Nov 3, 2026
Merged

AdaWorldAPI merged 5 commits into
mainfrom
docs/d-dr-abacus-memoization-20261103

Conversation

@AdaWorldAPI

Copy link
Copy Markdown
Owner

D-DRAM-0 | DR address memoization × adaptive Abakus masking lens

Docs only. Draft for owner review. No executable code, new runtime, storage format, public API, opcode, or production authorization. Branch from fresh main.

Operator architecture preserved

  1. DR memoizes already resolved canonical SoA locators, not payload values. Cache a sparse, lease-bound locator receipt for an existing DR tile/local position after first read; subsequent consumers reuse the attested source location and borrow canonical bytes, optionally with lookahead prefetch. Do not append locators to LocalMap::globals, create a third coordinate authority or copy a new SoA facet by default.
  2. ClassView / WideFieldMask selects demanded logical fields independently of WHERE criteria and DR population masks. Never conflate 64 logical properties, 32 SoA physical lanes, 4×8-bit codec hypotheses, 256×256 relation tiles and 65,536-position multi-tile addressing.
  3. Quack → mask-risc → ndarray remains the algebra owner chain. half_add_mask/full_add_mask are shipped (consolidate: add project-agnostic multi-agent kit (.claude/EN/) #402); Abacus<BITS> is lab-only; exact operator-mentioned ndarray::simd::5x24::* signatures still require source proof. Explore arithmetic k-of-n thresholds only if they beat existing Boolean words.
  4. Lance 13 selective reads already exist (D-HOLO H14c: thought-first positional reads, Hamming presence and Lance masked I/O #1573, D-HOLO H14d: logic → address mask → masked read → terminal (C only), measured on v4 #1575, D-SRAM-2 spike: masked Lance 13 reads and the addressed semijoin #1633). Respect docs(D-DQM): DR64 ↔ DuckDB ↔ Lance 13 capability crosswalk (follow-up to #1787) #1788 D4 (one DR ordinal ↔ Lance row-ID authority) and S-INGRESS (mask-copy boundary). Keep versioned source and scope checks.
  5. Borrow/prefetch is the default. Materialized foreign facet gathering is only the scoped, measured and admitted D-DRF-1 §5 exception. MaskOp::Gather is not the same thing as copying payload.

Evidence and falsifiers

The plan supplies an explicit source/owner crosswalk, status grades (verified, measured lab, proposed, gated, unverified) and independent tests for locator hit/miss/revision/compaction/permission, historical replay, source lease and concurrency, Lance source bytes, k-of-n SIMD correctness/negative controls, SQL Kleene/Bag correctness, 1M/10M composition, cold/warm costs and exceptional cache amortization. Nothing here claims a new measured speedup.

Changed files

  • .claude/plans/d-dram-abacus-address-memoization-v1.md: 209-line detailed architecture, ownership, falsifiers L1–L10, A1–A7, C1–C4 and stop conditions
  • .claude/board/entries/2026-11-03-d-dram-abacus-address-memoization.md: concise evidence and reference map
  • .claude/board/STATUS_BOARD.md: D-DRAM-0..5 rows, all proposal/gated
  • .claude/board/INTEGRATION_PLANS.md: discoverable integration reference

Coordination / owners

EXO-50 (append-only message bus); EXO-46 binding admission; EXO-89 RelationshipMap owner; EXO-151 focus lease / exceptional cache; EXO-121 ClassView; EXO-140 Gather legality; EXO-108 Bag; EXO-112 ndarray dependency, plus D4/S-INGRESS (#1788).

Relevant prior PRs: lance-graph #1943/#1945 (in-memory routing and fold), #1573/#1575/#1633 (Lance 13), #1788/#1789 (crosswalk); ndarray #389/#390/#391/#402.

Requested review: correct owner mapping and evidence statuses before any independent lab proposal. No merge requested.

@coderabbitai

coderabbitai Bot commented Nov 3, 2026 •

Copy link
Copy Markdown

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: 7fee5fdd-8404-4c98-87c9-4273e220e81d
  • 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

CodeRabbit Verify

  • Run CodeRabbit Verify to test the changes in this pull request.

@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review November 3, 2026 22:27
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Nov 3, 2026 •

Copy link
Copy Markdown

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-03T22:28:33.048960Z dde305a 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.

@AdaWorldAPI
AdaWorldAPI merged commit c309b46 into main Nov 3, 2026
5 checks passed
AdaWorldAPI added a commit that referenced this pull request Nov 3, 2026
D-DRAM-P3: integrate #1949 with P2 open ends; ReadPolicy range rule; D-DRAM-1 census
AdaWorldAPI pushed a commit that referenced this pull request Nov 3, 2026
…G-MODEL

Merges the #1950 P2 findings, the #1949 integration, the P3-1 and P3-3
results and the ndarray Abakus probe results (#389, #391, #402, microtile)
into one findings / high-signal / fruits / open-ends entry. The operator's
Abakus direction (repeated bit-plane folding as an ISA register contract)
is recorded as WORKING-MODEL; P3-5 (k-of-n on the two shipped carry words)
is its falsifier and is added to IDEAS as a high-signal fruit.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XAqKMNZqKXSaeb9g2ypywF
AdaWorldAPI pushed a commit that referenced this pull request Nov 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant