feat: Kani harnesses for scheduler + codegen invariants (#136)#141

Open

avrabe wants to merge 2 commits intomainfrom

fix/136-kani-harnesses

Commits on Apr 24, 2026

feat: Kani harnesses for scheduler + codegen invariants (#136)

avrabe
and
claude
committed
fix(kani): raise codegen harness unwind bound to cover scan loops

avrabe
and
claude
committed