[AdaWorldAPI]

Standalone lab experiment for D-DRAV-1 AV1 (contract: #1775, draft). No architecture change.

M[i] = contains(S, DR64[i]): a 4096-bit (512-byte) slot mask from a sealed DR64 ordinal map and a set of canonical row ordinals in the same attested source domain and scope.

Value independence is structural. membership(&BoundMap, &RowSet) takes no Soa, Facet or Focus, and neither argument holds a row or a facet. A compile_fail doctest passes a Soa and is rejected with E0308. The same snippet with a BoundMap compiles, so the doctest fails for the stated reason.

Checks at the binding boundary. BoundMap::bind refuses a seal mismatch and ordinals past the attested row count. RowSet::new refuses rows past it. membership refuses a source (dataset/branch/version/seal) or scope mismatch. The slot loop does no checks.

Tests (6, against a linear-search scalar oracle):

• random maps with both hits and misses
• 1000+ slots sharing one ordinal all match (no dedupe)
• empty and full sets
• a seeded slot shuffle permutes the mask
• the same ordinals in another dataset, version or scope are refused
• a stale seal and out-of-range ordinals are refused

Disable runs, each red then green:

disable	tests red
dedupe slots by ordinal	4
drop the domain check	the collision test
reverse bit order within a word	3

Cost split (warm medians of 2001 calls, random map over 65536 rows; native and x86-64-v3 agree within noise):

step	ns
bind	930–1370
set prep, k = 64 / 1024 / 16384 rows	140–210 / 540–850 / 8300–11800
membership exec (any k)	~2000 (0.5 ns/slot)
bind + prep + exec, k = 1024	3450–4270
value gather from the same map (reference)	12600–14000

Not shown:

• that real learning steps are map-only (A3 stays NOT RUN)
• building a row set from canonical values (the set here comes from an ordinal list)
• AV2 rehydration, which is the next PR
• joins (AV7/AV11)

Board: entries/2026-10-25-drav-av1-membership.md + regenerated index. The STATUS_BOARD AV1 row lives on #1775 and gets updated after it merges.

---

Generated by Claude Code

[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: 092b8c17-4913-4d1b-aab8-3e4af45bbc2a

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

Warning

Billing warning: we have not been able to collect payment for this subscription for more than 72 hours. Please update the payment method or pay any pending invoices in Billing to avoid service interruption.

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

_{Comment @coderabbitai help to get the list of available commands.}

[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-10-25T17:04:55.866737Z	c5fe8ba	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.