Correctness boundary
- Stable case IDs are derived from canonical JSON payloads.
- Partition assignment is deterministic and independent of worker order.
- Every result retains solver, seed, repetition and case-set hashes.
- Repeated runs are compared before aggregate claims are published.