feat(ssa): check purity contracts during SSA interpretation - #13518

Draft

asterite wants to merge 3 commits into

ab/interpreter-purity-check

Commits on Aug 12, 2026

feat(ssa): check purity contracts during SSA interpretation

asterite
and
claude
committed
024e85e
feat(ssa): check that in-place vector mutations come from labeled mutator intrinsics

asterite
and
claude
committed
5f8ded1
fix(ssa): exempt constrained-context mutable array_set from the purity mutation check

asterite
and
claude
committed
81cbae3