Issue: Slow constraint validation and poor diagnostics in tests

Issue: Slow constraint validation and poor diagnostics in tests: a task in LegoFlow-SWE (Harbor dataset). Currently, testing whether an execution trace satisfies all AIR constraints requires the full STARK prove-and-verify pipeline ( prove and verify ). This is orders of magnitude slower than…

The task

Currently, testing whether an execution trace satisfies all AIR constraints requires the full STARK prove-and-verify pipeline (`prove_and_verify`). This is orders of magnitude slower than necessary for quick iteration, and when a constraint fails the test usually only learns that the proof didn’t verify—there is no…

Part of Lego-X/LegoFlow-SWE.