What we're proving, how the replay engine actually works, and what it means for teams that need to show their work.