{
  "checkpoint_retry": {
    "checkpoint_failures": 1,
    "dirty_after_injected_failure": true,
    "dirty_after_retry": false,
    "domain_values": [
      2,
      3
    ],
    "published_artifact_sha256": "a128c001f8aa8ae5f8324131ad1ce727a21364f1f1127fba9a8c2470b62944c6",
    "semantic_noops": 1
  },
  "final_snapshot": {
    "checkpoint_failures": 1,
    "checkpoint_truncations": 0,
    "current_profiles": 1,
    "current_suppressed": 0,
    "current_version": "ac8aabb6b7f50f801bd3fabf85ba3c6899910188491c46f77ca3cbe4a217c2e9",
    "dirty": false,
    "empirical_domain_attempts": 0,
    "empirical_domain_context_skips": 0,
    "empirical_domain_parse_failures": 0,
    "empirical_domain_prefilter_rejects": 0,
    "empirical_domain_profiles_loaded": 0,
    "empirical_domain_sat": 0,
    "empirical_domain_solver_queries": 0,
    "empirical_domain_solver_time_us": 0,
    "empirical_domain_unknown_fallbacks": 0,
    "empirical_domain_unsat_fallbacks": 0,
    "empirical_domain_validated": 0,
    "empirical_domain_validation_failures": 0,
    "generations_published": 3,
    "profiles_suppressed": 0,
    "publication_failures": 0,
    "records_observed": 2,
    "recovery_replay_mismatches": 1,
    "recovery_replays": 1,
    "semantic_noops": 1,
    "suppression_generations": 0,
    "window_records": 2
  },
  "initial": {
    "artifact_sha256": "5d79e3072b8171b8bbfcb205aa35d9b18f9a20611f93301831252d1bf203c75c",
    "domain_values": [
      1
    ],
    "runtime_version": "572da8300417a5a279e7f5320fa2e5b35b7b4d50e0877860df459a774bee612d"
  },
  "recovery": {
    "artifact_label_preserved": true,
    "dirty": true,
    "domain_values": [
      2
    ],
    "mismatches": 1,
    "replacement_artifact_sha256": "e84d30dcd2e7a326dc1934c40df1592c469fd1d920cf0e7c980a27de36f34ca9",
    "replays": 1
  },
  "schema": "symcc-evp-recovery-smoke-v1"
}