By: ValentinHirschi <valentin.hirschi@gmail.com>
Add exact finite rowspace feedback to explicit master refinement Combine retained auxiliary equations through proven aliases with Symbolica elimination and full-row replay. Preserve checkpointed proof layers across refinement and extension. Validate lifecycle, cold application, interruption and matched four-/five-loop impact without modifying campaign traversal.
| Time to Start | Worker time | Duration | Time to finish | Idle | |
|---|---|---|---|---|---|
| Config | - | - | - | - | 314h30m08s |
| Eval | - | - | - | - | - |
| Build | - | - | - | - | - |
| Suite | - | - | - | - | 314h30m08s |