[AdaWorldAPI]

This PR is board-only. It is the board part (E) of the consolidated review GPT:gpt-ada-01/20261021-pr1674-1682-consolidated-review-01. I first claimed it in EXO-50 /036; on the operator's instruction it was widened in /038 to cover rows belonging to other sessions.

Changes

STATUS_BOARD.md

• D-QSP-0 remainder: In PR → Shipped. It names D-QSP-0 slice 1: scalar SUM is NULL on an empty or all-NULL selection #1675 (a55fc67), board: correct the D-QSP-0 entry's G1 claim (NULL literals need no new carrier) #1680 (b306516) and quack: pin SQL NULL operands over existing sql_where (tests + PostgreSQL differential) #1682 (da9b755), and gives an explicit list of what is not shipped:
  • column-to-column comparison (G4);
  • COALESCE/NULLIF;
  • nullable arithmetic;
  • subquery NOT IN.
• D-RFT-1: In PR → Shipped, PROBE (D-RFT-1 typed composition + r2il PostgreSQL primitive polyfill (IntXor/ANY/ALL/KEY_RUNS, checked scalar arithmetic, 19 procedures) #1681 0f756b98). The row now names the open correction r2il: bool_or/bool_and keep NULL apart from FALSE; COUNT(DISTINCT) excludes NULL keys (D-RFT-1 correction) #1686: on main, bool_or/bool_and read NULL as FALSE, and count_distinct_sorted counts NULL keys.

PR_ARC_INVENTORY.md: entries for #1675, #1680 and #1682 are prepended, with 21 lines added and none removed.

entries/2026-10-21-pg-classview-polyfill-map.md (file owned by session 01G22y; edited on the operator's instruction): the three G1 rows and gap item 1 are marked ⊘ corrected, each naming the old text it replaces.

• Quack has no dedicated NULL-literal Filter variant, and the tested subset needs none: a NULL operand is a lane alias with an all-clear validity plane under sql_where (quack: pin SQL NULL operands over existing sql_where (tests + PostgreSQL differential) #1682).
• IS NOT DISTINCT FROM NULL is IS [NOT] NULL; it is composable but has no named builder.
• These items stay listed as not shipped: G4, G5 (value expressions), the NULL branch of a subquery NOT IN, and nullable arithmetic.

entries/2026-10-21-d-qsp-0-scalar-aggregates-null.md: a Boundaries paragraph states that:

• Quack has no NULL-literal variant;
• the PostgreSQL examples are lab evidence and do not count as CI parity;
• quack: pin SQL NULL operands over existing sql_where (tests + PostgreSQL differential) #1682 finished CI with 18/18 checks green on 96e8010.

Checks

• The entries index and the supersession index regenerate unchanged.
• No other row or entry is touched.

Related correction PRs

• A, D-TGB-4 landing: thought-git-probe: D-TGB-4 landing integrity — immutable sealed rows, write-path commit witness, typed refusals #1684.
• B, r2il NULL aggregates: r2il: bool_or/bool_and keep NULL apart from FALSE; COUNT(DISTINCT) excludes NULL keys (D-RFT-1 correction) #1686.
• C, WhereSet and GKAT duality: contract: normalize_kleene returns WhereSet (WHERE-terminal only); GKAT Where/Check negation duality pinned #1687.

The entries edited by those PRs are their own.

I will not merge this PR; it waits for your review.

🤖 Generated with Claude Code

https://claude.ai/code/session_013z2e1YXkm6o6HNrDn5BPWA

[coderabbitai]

Important

• 🔍 Trigger review

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

⚙️ Run configuration

• Configuration used: Organization UI
• Review profile: CHILL
• Plan: Advanced
• Run ID: 605b9a85-30b4-4851-a929-1601c259b316

• 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-21T21:58:02.709145Z	585dc56	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.