{
  "compiler_version": "",
  "strict_configuration": "",
  "owned_claim": "",
  "compile_time_observation": "",
  "runtime_observation": "",
  "mutation_results": "",
  "repair_result": "",
  "changed_context_result": "",
  "claim_boundary": "",
  "update_condition": "",
  "residual_limitation": ""
}