🐛 Verify modifier bodies at the dialect boundary - #2319

Closed

simon1hofmann wants to merge 6 commits into

mainfrom

codex/2255-measurement-lifting-effects

Commits on Sep 1, 2026

🐛 Preserve modifier effects during measurement lifting
simon1hofmann
committed
c933b52

Commits on Sep 3, 2026

🔀 Merge main into modifier verifier fix
simon1hofmann
committed
af244d1
🐛 Verify modifier bodies at the dialect boundary
simon1hofmann
committed
27604be
♻️ Inline single-use verifier helpers
simon1hofmann
committed
6066c51

Commits on Sep 5, 2026

🔀 Merge main into measurement lifting fix
simon1hofmann
committed
6fd435f
🧪 Cover effectful control lifting
simon1hofmann
committed
7955ac4