{
  "active_certificate_suite_pass": true,
  "pytest_pass": true,
  "pytest_stdout": ".........                                                                [100%]",
  "physical_shell_status": "OPTIONAL_INPUTS_ABSENT",
  "claim_status_counts": {
    "VERIFIED_EXACT": 9,
    "VERIFIED_NUMERICAL": 1,
    "THEOREM_OWNED_ASYMPTOTIC": 1,
    "THEOREM_OWNED_SYMBOLIC": 1,
    "THEOREM_OWNED_EXPLICIT": 4,
    "THEOREM_OWNED_MODULUS": 1,
    "THEOREM_OWNED_BRANCHWISE": 1
  },
  "analytic_constant_ownership": {
    "claims": 8,
    "unique_ids": 8,
    "owned": 8,
    "errors": [],
    "pass": true
  },
  "certificate_files": [
    "ANALYTIC_CONSTANT_OWNERSHIP.json",
    "ANALYTIC_CONSTANT_OWNERSHIP.md",
    "CLAIM_MAP_VALIDATION.json",
    "COCYCLE_CERTIFICATE.json",
    "COCYCLE_CERTIFICATE.md",
    "CONSTANT_OWNERSHIP_VALIDATION.json",
    "FINITE_ABELIAN_CERTIFICATE.json",
    "PHASE_DEFECT_CERTIFICATE.json",
    "PHASE_DEFECT_CERTIFICATE.md",
    "PHYSICAL_SHELL_STABILITY_STATUS.json",
    "RUN_ENVIRONMENT.json",
    "SHELL_STABILITY_SMOKE.json",
    "SU2_CERTIFICATE.json",
    "SU2_CERTIFICATE.md",
    "SU3_PACKET_CERTIFICATE.json",
    "SU3_PACKET_CERTIFICATE.md"
  ]
}
