{
  "status": "PASS",
  "numeric_checks": "strict_gate True\nmodest_c_optimizer_error 3.218390804568538e-05\nbad_delta_algebra True\nsource_delimiters True\nPASS",
  "utf8": "PASS",
  "canonical_math_delimiters": "PASS",
  "json_parse": "PASS",
  "csv_parse": "PASS",
  "RH_PROVED": false,
  "RH_DISPROVED": false,
  "F-RH-017": "OPEN"
}