Choose a challenge
Who still holds the key fact, step by step
This is a step-by-step replay of frozen evidence from real Formal V1 runs — not a re-run.