[AdaWorldAPI]

Stack 2/3 — certified pattern catalogue and trusted fallback

Stack base: #1693 / lab/math-foundry-1-proof-replay-20261022. Foundation: merged #1690 Stage B E1. This PR's diff is incremental only.

• Adds an in-memory Catalogue holding E1 proof capsules under a FULL semantic key (goal, target variable, premises with coefficients/order), a target/ABI fingerprint and a caller-supplied source/coordinate/scope witness.
• Cold promote rechecks the capsule, independently evaluates E1 against existing i128 oracle for a small sample, and requires a caller-supplied amortization cost gate. This is a lab policy, not formal statistical certification of hardware timings.
• execute_or performs cache lookup and guarded R2IL execution with no egglog. Cache miss, stale binding, changed ABI/target or execution refusal run the trusted caller-provided baseline. No hidden data write.
• Tests exercise successful cached hit, semantic-key mismatch, stale source generation, changed target/ABI, rejected economic claim and overflow fallback.

Important boundary: caller-provided witness fields are not independent source attestation; no production admission is claimed. Candidate is the already supported E1 exact-integer program, not an arbitrary user-discovered law.

Review: draft pending CI, local Rust tests not executed from this environment. Commands from crates/egglog-r2il-probe: cargo test, cargo fmt --check, cargo clippy --all-targets -- -D warnings. No autonomous merge.

Next stacked PR: historical source metadata and a falsifiable 27-atom mathematical heritage study.

[coderabbitai]

Important

Review skipped

Auto reviews are disabled on base/target branches other than the default branch.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

• Configuration used: Organization UI
• Review profile: CHILL
• Plan: Advanced
• Run ID: 80233c16-0ef2-49a7-8582-312a4f85f1e9

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

• 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	🔄 Running since 2026-10-22T06:57:19.030893Z	4cca545	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.