spike(stark): symbolic-field capture of transition constraints → flat IR (CPU)#737
Draft
MauroToscano wants to merge 5 commits into
Draft
spike(stark): symbolic-field capture of transition constraints → flat IR (CPU)#737MauroToscano wants to merge 5 commits into
MauroToscano wants to merge 5 commits into
Commits
Commits on Jun 29, 2026
- committed
- committed
- committed
- committed
- committed
