{
  "status": "PASS",
  "numeric_checks": "convolution_constant_ratio_worst 3.9108298825587444\nlayer_cake_exact_error 4.440892098500626e-16\nsource_delimiters True\nPASS",
  "utf8": "PASS",
  "canonical_math_delimiters": "PASS",
  "json_parse": "PASS",
  "csv_parse": "PASS",
  "RH_PROVED": false,
  "RH_DISPROVED": false,
  "PK5": "OPEN_AT_Z4"
}