vm verifier - #172

Draft

ascandone wants to merge 9 commits into

feat/exp/vmfrom

feat/exp/vm-verifier

Commits on Jul 17, 2026

feat: bytecode verifier + dynamic register banks
ascandone
committed
b89afbf
feat: verify definite assignment of registers
ascandone
committed
3b38c43
test: fuzz Exec to prove it never panics
ascandone
committed
e32e101
test: certify compiler output and fuzz mutated bytecode
ascandone
committed
af50fc1
feat: compiler self-verifies its output
ascandone
committed
a43eca3
fix: fix after rebase
ascandone
committed
c9c4eee
doc: added checks doc
ascandone
committed
85fbf2c
perf: capture hoisted register banks by value, not by pointer
ascandone
committed
bf1aec1
refactor: declare register/var bank sizes in Program; Verify optional
ascandone
committed
a7ffeea