The frozen engine of the differential check is rebuilt from8168137, which plans from the best-ranked obligation solution, with the documented build command. The check passes again, including its cancelled asynchronous comparisons and generator-coverage assertions. The calibration engine stays ata871f8f. Part of #302. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>