Skip to content

feat(formal): real-lift R2 — structured conditionals (fuel-indexed wexec)#664

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/lucid-cray-4a22dp
Jun 27, 2026
Merged

feat(formal): real-lift R2 — structured conditionals (fuel-indexed wexec)#664
hyperpolymath merged 1 commit into
mainfrom
claude/lucid-cray-4a22dp

feat(formal): real-lift R2 — structured conditionals (fuel-indexed we…

00dba7e
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / Semgrep OSS succeeded Jun 27, 2026 in 3s

No new alerts in code changed by this pull request

View all branch alerts.