{
  "status": "PASS",
  "numeric_checks": "p_optimal True\nstrict_gate True\npiecewise_model True\npintz_exponent True\ngain_formula True\nsource_delimiters True\nPASS",
  "utf8": "PASS",
  "canonical_math_delimiters": "PASS",
  "json_parse": "PASS",
  "csv_parse": "PASS",
  "RH_PROVED": false,
  "RH_DISPROVED": false,
  "Paper60_corrected": true,
  "preferred_frontier": "F-RH-017-v3"
}