[AdaWorldAPI]

This is the saved-view half of D-QRY-3, claimed on EXO-50 in message 017. The board half shipped in #21.

hubspo-query::view

• SavedView is data only: the object, its filter groups, at most one sort key, and the columns. Sharing and column visibility are decided at the output edge.
• page(view, binder, offset, limit, runner) returns one page of ordinals in the view's order. Quack has no ORDER BY, so the sort happens at the edge:
  • No sort key: Agg::Rows, in storage order.
  • I32 key: bisection with Count thresholds finds the values at the page's first and last rank, at most 33 programs per bound. Only the band between those two values is materialised and sorted, which is the page plus any ties at its ends.
  • Code key: one GroupReduce Count gives a count per code. Only the codes that overlap the page are materialised.
  • Order: by value, with ties broken by ordinal ascending. Records with no value come last in both directions.
• Runner is the caller's executor. The test implements it on mask-risc.

hubspo-compat::views::open_view

• A filter or sort on a hidden property refuses the whole view, because the match set or the order would leak the hidden value.
• Hidden or unknown columns are dropped.

Tests

• tests/view_oracle.rs compares every page against a plain Rust sort over 3,000 records:
  • page sizes 1, 7, 50 and 333;
  • no sort, two I32 keys (one nullable with a narrow, tie-heavy range; one covering the full range including i32::MIN and i32::MAX), and two code keys (one nullable, one with an empty code);
  • both directions, filtered and unfiltered.
• The program count per page is bounded and does not depend on the offset.
• hubspo-compat has two open_view tests.
• Workspace fmt, clippy with -D warnings, and tests all pass.

Disable runs: all eight went red.

• reversed tie-break in descending order;
• before count ignored;
• nulls dropped;
• bisection off by one;
• code order not reversed;
• band missing the view's filter;
• sort missing from the gate;
• hidden column kept.

Still open

• A page-cost probe at 1M+ rows. Whether to ask lance-graph upstream for ORDER BY waits on it.
• Multi-key sorts.
• View sharing and persistence.

The board is updated: LATEST_STATE and the D-QRY-3 row on STATUS_BOARD.

---

Generated by Claude Code

[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-21T07:48:44.187102Z	0c64f67	PR opened

ℹ️ 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.

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 0c64f677a0

ℹ️ 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".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".