{
  "status": "PASS",
  "numeric_checks": "higher_derivative_sign_loss True\nboundary_scale True\nlog_wall True\ncomponentwise_norm True\nsource_delimiters True\nPASS",
  "utf8": "PASS",
  "canonical_math_delimiters": "PASS",
  "json_parse": "PASS",
  "csv_parse": "PASS",
  "RH_PROVED": false,
  "RH_DISPROVED": false,
  "preferred_frontier": "F-RH-017"
}