{
  "status": "PASS",
  "scope": "A fresh reproduction of the unchanged release certificate programs, not a new mathematical review or formal verification.",
  "python": "3.10",
  "sympy": "1.14.0",
  "assertions": 111,
  "assertions_by_group": {
    "symbolic": 6,
    "directed_full_map": 48,
    "critical_bracket": 42,
    "critical_periodic_freeze": 6,
    "counterexample": 9
  },
  "matches_archived_results_excluding_elapsed_time": true,
  "independent_certificate_matches_archived_results": true,
  "source_sha256": "3b326efa74180f7a5e1a57290eaebebd6d582c7b4b1bf70a3b377d5e6613bb38",
  "scripts": {
    "independent_review_checks.py": "6fadace601f7c7454f857459b4c7452d5bd43810e21c366ac55ec7bf38e82874",
    "targeted_checks.py": "20d09bdbc09631162d30c05dc75df09ad2354757a41396174d4aba7d1bd92c47"
  },
  "independent_results": {
    "symbolic_identities": [
      "energy drift (h independent)",
      "kick (h independent)",
      "inner certificate (h=1-beta)",
      "critical cubic coefficient"
    ],
    "lower_bracket_slack": "666485001263/272735592187500",
    "upper_bracket_crossing": {
      "update": 23,
      "lower_s": "363074829382561084164325/604462909807314587353088"
    },
    "alternating_upper_corner": [
      "364294600485702452729/302231454903657293676544",
      "629770882596016946421965/1208925819614629174706176"
    ],
    "infinite_cap_slack": "830182727008321022239/6044629098073145873530880",
    "logarithmic_coefficients": [
      3,
      -21
    ]
  }
}