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

Commits

Commits on Jun 27, 2026