Verify yield-from lowering - #22

Open

deltathedumb wants to merge 7 commits into

beta/3.14.0from

fix/somnia-yield-from-verified

Commits on Jul 20, 2026

Trigger yield-from compiler verification
deltathedumb
committed
4ec6689
Trigger base yield-from verifier
deltathedumb
committed
ec1ca7d
Materialize and verify yield-from lowering
deltathedumb
committed
57103a8
Retrigger yield-from native verification
deltathedumb
committed
d005949
Run yield-from verifier on fix-branch pushes
deltathedumb
committed
edad70b
Start yield-from push verification
deltathedumb
committed
a591ab5
Target verified yield-from branch
deltathedumb
committed
145818c