{
  "status": "PASS",
  "checks_passed": 87,
  "checks_total": 87,
  "original_rerun_counts": {
    "info": 9,
    "pass": 11
  },
  "original_c5_sha256": "fb594632f2ab9533030f30b321358bad6ea5df546a555fe134e598193a9f33da",
  "independent_validator_sha256": "3b30c6a4f9ece6ae3821e422946c53d85e3cf14c73ff6248287729911059b5e2",
  "checks": [
    {
      "name": "large_gap: declared selected draw",
      "pass": true,
      "detail": 128
    },
    {
      "name": "large_gap: positive off-diagonal rates",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap: probability conservation",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap: pairwise detailed balance",
      "pass": true,
      "detail": 2.168404344971009e-19
    },
    {
      "name": "large_gap: stationary equilibrium",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap: nondegenerate two decay modes",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap: eigenpair residual",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap: nontrivial strong root above bath",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap: hotter starts initially farther in L1",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap: asymptotic amplitude ordering",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap/warm: independent Radau agreement",
      "pass": true,
      "detail": 2.6195434710274412e-12
    },
    {
      "name": "large_gap/warm: nonnegative normalized trajectory",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap/warm: L1 distance contracts",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap/warm: independent uniformization agreement",
      "pass": true,
      "detail": 2.1094237467877974e-15
    },
    {
      "name": "large_gap/warm: threshold 0.1 agrees with Radau",
      "pass": true,
      "detail": 2.5779378631796135e-13
    },
    {
      "name": "large_gap/warm: threshold 0.01 agrees with Radau",
      "pass": true,
      "detail": 6.372506689000801e-14
    },
    {
      "name": "large_gap/warm: threshold 0.001 agrees with Radau",
      "pass": true,
      "detail": 1.5130683164721326e-12
    },
    {
      "name": "large_gap/warm: threshold 0.0001 agrees with Radau",
      "pass": true,
      "detail": 1.6873683846658702e-12
    },
    {
      "name": "large_gap/warm: threshold 1e-06 agrees with Radau",
      "pass": true,
      "detail": 3.407472628050198e-13
    },
    {
      "name": "large_gap/hot: independent Radau agreement",
      "pass": true,
      "detail": 2.224928574712237e-12
    },
    {
      "name": "large_gap/hot: nonnegative normalized trajectory",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap/hot: L1 distance contracts",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap/hot: independent uniformization agreement",
      "pass": true,
      "detail": 2.0122792321330962e-15
    },
    {
      "name": "large_gap/hot: threshold 0.1 agrees with Radau",
      "pass": true,
      "detail": 2.909616991786379e-13
    },
    {
      "name": "large_gap/hot: threshold 0.01 agrees with Radau",
      "pass": true,
      "detail": 9.742727458128542e-14
    },
    {
      "name": "large_gap/hot: threshold 0.001 agrees with Radau",
      "pass": true,
      "detail": 2.6653072110471854e-13
    },
    {
      "name": "large_gap/hot: threshold 0.0001 agrees with Radau",
      "pass": true,
      "detail": 6.322067028956616e-13
    },
    {
      "name": "large_gap/hot: threshold 1e-06 agrees with Radau",
      "pass": true,
      "detail": 1.1194527536515056e-12
    },
    {
      "name": "large_gap/strong: independent Radau agreement",
      "pass": true,
      "detail": 8.050504707313166e-13
    },
    {
      "name": "large_gap/strong: nonnegative normalized trajectory",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap/strong: L1 distance contracts",
      "pass": true,
      "detail": null
    },
    {
      "name": "large_gap/strong: independent uniformization agreement",
      "pass": true,
      "detail": 2.609024107869118e-15
    },
    {
      "name": "large_gap/strong: threshold 0.1 agrees with Radau",
      "pass": true,
      "detail": 1.1818324097134791e-13
    },
    {
      "name": "large_gap/strong: threshold 0.01 agrees with Radau",
      "pass": true,
      "detail": 2.031361190368841e-15
    },
    {
      "name": "large_gap/strong: threshold 0.001 agrees with Radau",
      "pass": true,
      "detail": 8.670755086148674e-14
    },
    {
      "name": "large_gap/strong: threshold 0.0001 agrees with Radau",
      "pass": true,
      "detail": 8.241610247993608e-14
    },
    {
      "name": "large_gap/strong: threshold 1e-06 agrees with Radau",
      "pass": true,
      "detail": 1.4516759922949065e-13
    },
    {
      "name": "large_gap: strong decay agrees with fast eigenvalue",
      "pass": true,
      "detail": {
        "fitted": 0.011539476582161638,
        "target": 0.01153947658216086
      }
    },
    {
      "name": "large_gap: published finite-threshold ordering reproduced",
      "pass": true,
      "detail": [
        false,
        true,
        true,
        true,
        true
      ]
    },
    {
      "name": "small_gap: declared selected draw",
      "pass": true,
      "detail": 2
    },
    {
      "name": "small_gap: positive off-diagonal rates",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap: probability conservation",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap: pairwise detailed balance",
      "pass": true,
      "detail": 2.6020852139652106e-18
    },
    {
      "name": "small_gap: stationary equilibrium",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap: nondegenerate two decay modes",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap: eigenpair residual",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap: nontrivial strong root above bath",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap: hotter starts initially farther in L1",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap: asymptotic amplitude ordering",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap/warm: independent Radau agreement",
      "pass": true,
      "detail": 1.2231674006990545e-12
    },
    {
      "name": "small_gap/warm: nonnegative normalized trajectory",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap/warm: L1 distance contracts",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap/warm: independent uniformization agreement",
      "pass": true,
      "detail": 4.0245584642661925e-16
    },
    {
      "name": "small_gap/warm: threshold 0.1 agrees with Radau",
      "pass": true,
      "detail": 2.17639795074831e-12
    },
    {
      "name": "small_gap/warm: threshold 0.01 agrees with Radau",
      "pass": true,
      "detail": 9.788871102589525e-14
    },
    {
      "name": "small_gap/warm: threshold 0.001 agrees with Radau",
      "pass": true,
      "detail": 2.0594723842970453e-13
    },
    {
      "name": "small_gap/warm: threshold 0.0001 agrees with Radau",
      "pass": true,
      "detail": 1.82802300315206e-13
    },
    {
      "name": "small_gap/warm: threshold 1e-06 agrees with Radau",
      "pass": true,
      "detail": 2.377532605893248e-13
    },
    {
      "name": "small_gap/hot: independent Radau agreement",
      "pass": true,
      "detail": 1.4289958105706546e-12
    },
    {
      "name": "small_gap/hot: nonnegative normalized trajectory",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap/hot: L1 distance contracts",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap/hot: independent uniformization agreement",
      "pass": true,
      "detail": 7.28583859910259e-16
    },
    {
      "name": "small_gap/hot: threshold 0.1 agrees with Radau",
      "pass": true,
      "detail": 5.282857484800729e-12
    },
    {
      "name": "small_gap/hot: threshold 0.01 agrees with Radau",
      "pass": true,
      "detail": 1.2784912017949068e-15
    },
    {
      "name": "small_gap/hot: threshold 0.001 agrees with Radau",
      "pass": true,
      "detail": 3.6024742217088956e-13
    },
    {
      "name": "small_gap/hot: threshold 0.0001 agrees with Radau",
      "pass": true,
      "detail": 1.843256179200753e-14
    },
    {
      "name": "small_gap/hot: threshold 1e-06 agrees with Radau",
      "pass": true,
      "detail": 2.317094839990216e-13
    },
    {
      "name": "small_gap/strong: independent Radau agreement",
      "pass": true,
      "detail": 1.2249368186445508e-12
    },
    {
      "name": "small_gap/strong: nonnegative normalized trajectory",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap/strong: L1 distance contracts",
      "pass": true,
      "detail": null
    },
    {
      "name": "small_gap/strong: independent uniformization agreement",
      "pass": true,
      "detail": 3.885780586188048e-16
    },
    {
      "name": "small_gap/strong: threshold 0.1 agrees with Radau",
      "pass": true,
      "detail": 4.1780467974206204e-13
    },
    {
      "name": "small_gap/strong: threshold 0.01 agrees with Radau",
      "pass": true,
      "detail": 2.509468327582809e-13
    },
    {
      "name": "small_gap/strong: threshold 0.001 agrees with Radau",
      "pass": true,
      "detail": 5.70385752518554e-14
    },
    {
      "name": "small_gap/strong: threshold 0.0001 agrees with Radau",
      "pass": true,
      "detail": 1.3967013580851867e-13
    },
    {
      "name": "small_gap/strong: threshold 1e-06 agrees with Radau",
      "pass": true,
      "detail": 2.399667677446712e-13
    },
    {
      "name": "small_gap: strong decay agrees with fast eigenvalue",
      "pass": true,
      "detail": {
        "fitted": 0.36530131158418183,
        "target": 0.36530131158419077
      }
    },
    {
      "name": "small_gap: published finite-threshold ordering reproduced",
      "pass": true,
      "detail": [
        false,
        false,
        false,
        false,
        true
      ]
    },
    {
      "name": "3-state controls: no sign-changing roots",
      "pass": true,
      "detail": {
        "draws": 300,
        "violations": 0
      }
    },
    {
      "name": "3-state controls: monotonic absolute overlap",
      "pass": true,
      "detail": {
        "draws": 300,
        "violations": 0
      }
    },
    {
      "name": "4-state controls: no sign-changing roots",
      "pass": true,
      "detail": {
        "draws": 100,
        "violations": 0
      }
    },
    {
      "name": "4-state controls: monotonic absolute overlap",
      "pass": true,
      "detail": {
        "draws": 100,
        "violations": 0
      }
    },
    {
      "name": "5-state controls: no sign-changing roots",
      "pass": true,
      "detail": {
        "draws": 100,
        "violations": 0
      }
    },
    {
      "name": "5-state controls: monotonic absolute overlap",
      "pass": true,
      "detail": {
        "draws": 100,
        "violations": 0
      }
    },
    {
      "name": "Declared random-barrier scan reproduced",
      "pass": true,
      "detail": {
        "draws": 300,
        "detected": 13,
        "interpretation": "seeded finite-grid detection count, not estimated universal prevalence"
      }
    },
    {
      "name": "Hand-picked no-root fixture reconstruction",
      "pass": true,
      "detail": {
        "energies": [
          0.0,
          0.8,
          0.3
        ],
        "bath": 0.25,
        "temperature_grid": [
          0.250025,
          1000000.0,
          20000
        ],
        "sign_changes": 0,
        "provenance": "New reconstruction from the source-code comment; original failed-run log was not supplied.",
        "claim_limit": "finite-grid check; not a restored original log or proof over every positive temperature"
      }
    },
    {
      "name": "Original C5 check names/statuses reproduced",
      "pass": true,
      "detail": null
    }
  ],
  "environment": {
    "python": "3.12.14",
    "numpy": "2.3.5",
    "scipy": "1.17.0"
  },
  "atlas_benchmark": "QUALIFIED_ILLUSTRATION",
  "instrument_transfer": "HOLD",
  "hardware_holds": "RETAIN",
  "existing_portfolio_investigations": "RETAIN",
  "stationary_surrogate_eligible": false
}