Phase 2: R2IL typed receipts — happy-path RL would have learned the clobber

[AdaWorldAPI]

Headline

PROBE-R2IL-FRONTIER-PHASE2-1 (7/7 green) lifts the Phase-1 frontier loop — which is shipped TruthValue::revise + Stamp disjointness + CHOICE by expectation(), nothing new — onto R2IL-shaped typed behavior ops, and measures what the richer vocabulary buys.

Gate R6, the result that matters: a "reckless" candidate macro computes the RIGHT value into the WRONG register, clobbering callee-saved r3. The deliberately sloppy happy-path oracle ("the doubled sum exists in SOME register") drives its NARS expectation to e = 0.812 — above the 0.75 trust bar — and it is refused ONLY by the falsification intervention that checks the actual contract (result in r2 AND r3 bit-preserved). Happy-path RL would have learned the clobber. The LearnedSurvivedTests admission predicate (#1011, F6) at the R2IL level is the difference between a learned macro and a learned bug.

Gates

• R1 — R2IL's typed vocabulary (FactKind discipline: Op / OperandIn / OperandOut / Edge / MemUse / MemDef / Predicate / CallSite over Varnodes space→offset→size) is measurably richer than Phase-1 style labels — as numbers, not adjectives.
• R2 — BEFORE + TYPED EDIT = AFTER at the machine-state level: (7+5)*2 = 24 lands in r2, r3 = 0xDEAD preserved, byte-identical replay (the PROBE-REVISION-ATTENTION-VIEW-1 — preserve the cognitive layers, move the view #1001 typed-receipt law extended to behavior).
• R3 — the trap is armed: the sloppy signal raises BOTH explorers' trust (reckless exceeds e > 0.9).
• R4 — the falsification intervention admits the lean macro, refuses the reckless one.
• R5 — dispatch flips to the cheaper PROVEN macro (2 ops) by expectation + measured cost.
• R6 — headline, above.
• R7 — scope fences with MEASURED sizes: Vn = 8 B, R2Op = 28 B, MachState = 32 B. The first run of this gate FAILED on hand-guessed sizes (12/40) — which is the gate working.

Honesty box

• The machine is a 4-register toy; both oracles are probe-local. No claim about real binaries.
• The R2IL shapes are a cited probe-local mirror of ruff_r2il at ruff origin/main — ruff is a separate cargo workspace and is never imported.
• Real-corpus FunctionBehavior episode streams are the named next measurement — absent from this checkout, so named, not built.
• The V4 plane classid remains provisional (O5 gate).
• The widened R2IL × BPE / OGAR-loco / V4 synthesis stays a three-IF hypothesis — this PR mints, reserves, and decides nothing about it.

Board hygiene (same commit)

• EPIPHANIES.md prepend: E-HAPPY-PATH-RL-WOULD-HAVE-LEARNED-THE-CLOBBER-1
• INTEGRATION_PLANS.md prepend: STYLE-MICROCODE FRONTIER, PHASE 2

Both writes assertion-verified per the established discipline.

---

Generated by Claude Code

[chatgpt-codex-connector]

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

[cursor]

Bugbot couldn't run - usage limit reached

Bugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit.

A user or team admin can review and increase usage limits in the Cursor dashboard.

(requestId: serverGenReqId_cc63e5ce-c676-454a-9d93-5acc290dbad0)

[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: Pro Plus

Run ID: eacbecff-c524-484a-86b6-17b15185b5c1

---

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.}