A diagnostic technique that reconstructs intermediate computation stages by replaying token generation from saved states.