By: ValentinHirschi <valentin.hirschi@gmail.com>
Add endpoint-locality constraints to exact source search Derive forbidden endpoint columns from the complete translated source universe while retaining rows for Symbolica-weighted cancellation. Preserve the exact replay, guard and descent pipeline, and keep the option off by default. Record 110 passing tests, two complete constrained coefficient-rediscovery proofs, repeated shared-work gains, and the separate held-out endpoint-budget failure. Co-authored-by: Codex <noreply@openai.com>
| Time to Start | Worker time | Duration | Time to finish | Idle | |
|---|---|---|---|---|---|
| Config | - | - | - | - | 412h00m17s |
| Eval | - | - | - | - | - |
| Build | - | - | - | - | - |
| Suite | - | - | - | - | 412h00m17s |