The checkpoint loader requires matching body count and geometry, so the round-trip test rebuilds the three-circle scene before loading instead of an empty simulation (loader unchanged). run_case.main now calls verify_source(..., current=False); the two dry-run/run mock assertions follow. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>