[AdaWorldAPI]

Summary

Follow-up to merged #1964 and AdaWorldAPI/OGAR#371. Test-only; no production code changes.

OGAR already provides an aligned identity-witness view:

• Ruler::from_fold gives one slot per AD row and places Entra/EXO witnesses only when the counterpart is uncontested.
• fold_aligned turns it into six planes of 64 slots per word.

Nothing yet runs those planes through Quack. The one consumer, CloudMailboxes::from_fold, selects bit by bit in a host loop and builds (Guid, Guid) tuples.

This lab selects over the existing planes with one lowered Quack/mask-RISC program per pass:

• Filter::and over plane leaves;
• Agg::Rows into Out::Mask, or Agg::Count;
• one FrameStore::check per pass.

The hot path binds and visits no rows. A kept slot is described by references into OGAR's Output: AD row i, Entra row ad_target[i], EXO row entra_mailbox[j]. No tuple is stored.

What is deliberately not done:

• No Entra/EXO property value is aligned to slot order, copied into the Ruler, or read.
• The Ruler is not treated as a canonical SoA64K.
• No new GUID index or correspondence engine.
• Gather, ADMISSION B, NotASide and OP-14 are unchanged.

Falsifiers

• batch_selection_over_ruler_planes_equals_the_scalar_oracle: four seeds, 300 slots (5 words).
  • Ten fault classes: missing backsync, shared or foreign anchor, absent Entra, no mailbox, duplicate mailbox, Entra or EXO in another tenant, stale observation, contradicting backsync, unbound AD domain.
  • Entra and EXO rows are shuffled.
  • The kept mask equals an independent scalar oracle slot by slot. The oracle uses no Index, Output, Ruler or Planes.
  • Kept slots' Output references equal the oracle's Entra and EXO rows.
  • Anti-vacuity: between 25% and 75% of slots are kept, and the tail bits of the last word stay clear.
• batch_selection_reproduces_cloud_mailboxes_from_fold: the existing per-row predicate (cloud ∧ ¬fwd_conflict ∧ ¬back_conflict) as one batch pass gives the same owner set.
• reordered_populations_select_the_same_identities: with AD reversed and Entra/EXO shuffled, the same (AD, Entra, EXO) identity triples are selected.
• a_batch_pass_refuses_stale_and_foreign_frames: foreign frame, coordinate revision changed, source revision changed, and a re-seal are each refused before the program runs.
• batch_selection_at_64k_allocates_nothing: 64K slots, 0 heap allocations per hot pass, measured by a thread-local counting allocator.

Disable runs (committed first, then broken, then restored); each turns its test red:

• the cloud leaf removed;
• the aligned leaf removed;
• the ¬backsync_conflict leaf removed;
• the per-pass frame check removed.

Measured (release, 64K slots, 35,202 kept; reported, not gated)

	cost
hot keep pass	~0.55–0.63 µs
hot count pass	~0.40–0.67 µs
hot allocations	0
cold Index + fold + Ruler + Planes	43,000–52,000 µs (cold correspondence, outside the fold)

Not proved / open

• Reading Entra/EXO property values at kept slots. That needs source-owned co-addressed lanes or an admitted gather; neither exists today.
• How a Ruler slot selection relates to versioned DR property routing. DT64 BindStore route versions and FrameStore revisions are independent clocks, and no owner contract relates them.
• CloudMailboxes::from_fold (per-row tuple build) and with_exchange_guids (a second GUID sort/search) are unchanged; the lab only shows the batch equivalent of the first.

---

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: becabdb5-bab3-4f00-9fbe-c7c322df9fd6

• 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-06T07:11:57.852295Z	1a39e59	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.