Relecture

Discrete witness replay

The shipped validator replays each recorded witness by checking every transition against grid mechanics. GameNav checks endpoints, free cells, four-neighbour steps and the sum of landing-cell costs, then compares that cost with an independently computed optimum. GameCoord checks state length, endpoints, free cells, no vertex conflicts, no edge swaps, unit movement or waits, and absorbing goals.

Replay is not policy execution

Recorded paths and joint plans are witnesses. They do not include an executable agent policy, rendered frames, wall-clock physics or game-engine execution. The verification command is the real way to reproduce these witness checks. There is no replay SDK or invented replay CLI.

Release evidence