{
  "compiler_version": "",
  "trust_boundary": "",
  "runtime_check": "",
  "narrowing_evidence": "",
  "compile_time_evidence": "",
  "malformed_input_result": "",
  "claim_boundary": "",
  "update_condition": "",
  "residual_limitation": ""
}