[Part 1/2] spike(stark): builder-rewrite (Plan B) constraint capture → IR [compare vs #737]#739

MauroToscano wants to merge 3 commits into

mainyetanotherco/lambda_vm:mainfrom

spike/constraint-ir-builderyetanotherco/lambda_vm:spike/constraint-ir-builderCopy head branch name to clipboard