Boundary constraint validation is missing from IR
Boundary constraint validation is missing from IR: a task in LegoFlow-SWE (Harbor dataset). When an IR contains boundary constraints that violate the allowed semantics, the IR validator currently does not reject them. This means invalid boundary constraints compile successfully, and the generated…
The task
When an IR contains boundary constraints that violate the allowed semantics, the IR validator currently does not reject them. This means invalid boundary constraints compile successfully, and the generated AIR may later fail in confusing ways or produce incorrect results. The validation should be restored so that IR…
Part of Lego-X/LegoFlow-SWE.