[AdaWorldAPI]

Docs and board only. No code, no test, no benchmark.

Plan: .claude/plans/d-onnx-relalg-cap-v1.md (PROPOSAL, S0)

• The pipeline "ONNX → RelAlg polyfill → Cartesian projection → native execution" does not hold as written. lance-graph-relalg is a single-table integer selection with Count/Sum/Min/Max/Keep (ir.rs:34-112), and the contract refuses IEEE and Bag. It can therefore receive only the integer selection/aggregate island.
• Routing: numeric ops go to existing ndarray kernels. Gather/Scatter, control flow and ai.onnx.ml get typed refusals. ModelProto remains the only graph (D-RA-2 = A). This adds no AST, no primitive and no executor.
• Coverage matrix over the 226 opset-28 names (ONNX v1.23.2; opset 22 = v1.17.0): 1 direct, 93 compositional, 91 kernel, 4 external (refused; a runtime may appear only as a lab oracle), 37 unsupported or unknown, 0 needing a polyfill.
• DR64³: the original master plan was not found, either on main or on any of 833 branches. It is recorded as an OPEN documentation dependency, and no stages were reconstructed.
• Stages: S0–S5 are written as specs with gates. Also included: 19 open points (OP-1..OP-19), a housekeeping audit, and a list of claims the plan deliberately does not make. In particular it makes no "ONNX-compatible" claim and certifies no float op.

Board

• Entry E-D-ONNX-RELALG-CAP-S0-1.
• STATUS_BOARD: new D-ONNX-CAP S0–S5 rows; EXP-DRMC-L1 now cites lab(drmc): certificate keeps egglog's ProofStore + ProofId, not its rendering; L1 board records #1742.
• INTEGRATION_PLANS: new entry prepended.
• IDEAS status amendments:
  • The certified-compiler entry's "none exists" is out of date for one law (probe(dr-math): associativity of Boolean relation composition [5/5] #1707, dr-math-binding-probe: L1, reuse a D-DRMC-5 certificate on a fresh frame (X8) #1740). Its remaining limits are listed.
  • X8 is partially measured by L1. Its own two-bindings falsifier has not been run.
• FRUITS and the entries index were regenerated with the tools. The append-only gate passes.

Next gate (operator)

Before S1 starts, the operator needs to supply two things:

1. one target model;
2. the coordinates of the AdaWorldAPI protobuf fork, or confirmation that no fork exists.

There is no crates.io fallback.

⊘ Supersession — D-NFC (2026-10-23, operator-approved architecture correction)

Canonical dependency diagram and root assumptions: #1753 (d-native-first-dependency-correction-v1.md); shipped / lab / missing seams: d-native-repr-contract-v1.md there.

P0 invariants. (1) ONNX is an external mathematical compatibility specification; the existing R2IL polyfill is the native starting point; no ONNX graph, Tract runtime or Optimum dependency in the internal execution path. (2) Quack binding + DR64³ + Palette256³ is the intended native representation; existing R2IL, mask-risc, BGZ, Helix and ndarray primitives are reused; implemented components and unimplemented integration contracts are kept apart.

[1] R2IL router (once per ClassId; strategies SHIPPED, #1752) → [2] Quack binding (SHIPPED; store MISSING)
→ [3] DR64³ geometry (LAB; 3rd axis PROPOSED) → [4] Palette256³ (SHIPPED; DR binding MISSING)
→ [5] native execution: mask-risc + ndarray::simd (SHIPPED) → [6] egglog laws (LAB, Boolean only)
→ [7] ONNX conformance adapters (PROPOSED) → [8] Tract/ORT oracles, Optimum (OPTIONAL)

⊘ Layer [1] correction (2026-10-23, #1753 commit ace69d64c, #1752 plan §10). Layer [1] is the R2IL router, which resolves a route once per ClassId: DIRECT or COMPOSE onto ndarray::simd, LOWER to r2sleigh only for machine semantics, or REFUSE. lance-graph-r2il procedures + FoldDialect are one strategy beneath it, not the layer. No operation in this plan needs R2Sleigh.

For this PR:

1. Native polyfill first. The R2IL polyfill (lab(mpf): D-MPF-1 — the Stage 1 math polyfill already exists; one expression, oracle, refusals, cost split #1752) is native Stage 1 and needs no ONNX intake (A2).
2. ModelProto is not the internal graph. It is external input read only by a conformance adapter [7]; native typed operations and R2IL procedures are the internal contract (A1). This plan's S1 is that adapter.
3. OP-6 (protobuf fork) and OP-7 (target model) gate only the optional external-file adapter, not native work (A2).
4. Native fallback. Refused nodes fall back to nothing internal in ONNX: the exact native method is the reference, and an external runtime is a differential oracle only (A4).
5. Representation. Quack binding + DR64³ + Palette256³ is the intended native representation (D-NFR); this S0 does not own it.

Where this description or the plan says otherwise, it is superseded at the marked ⊘ points (plan commit 55dd407ab). Nothing is merged, no ABI or execution contract changes, and the #1744 / #1745 / #1750 S0 dispute is unchanged.

---

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: e819f736-a312-4d38-8f66-272207181baa

• 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-23T22:14:21.951350Z	55dd407	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.