{
 "checks": [
  {
   "check": "format",
   "ok": true,
   "why": ""
  },
  {
   "check": "versions",
   "ok": true,
   "why": "cain.gov.source/1 cain.gov.ir/1 cain-govc/1.0.0"
  },
  {
   "check": "source_digest",
   "ok": true,
   "why": ""
  },
  {
   "check": "package_digest",
   "ok": true,
   "why": ""
  },
  {
   "check": "manifest_matches_source",
   "ok": true,
   "why": ""
  },
  {
   "check": "policy_set",
   "ok": true,
   "why": "['alice_evidence', 'alice_logs', 'alice_notes'] vs ['alice_evidence', 'alice_logs', 'alice_notes']"
  },
  {
   "check": "alice_evidence:ir_rederived",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_evidence:ir_unoptimized",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_evidence:risk",
   "ok": true,
   "why": "26 vs 26"
  },
  {
   "check": "alice_evidence:lowered",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_evidence:authority_source",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_evidence:optimizer_equivalence",
   "ok": true,
   "why": "SELF_TESTED by the compiler (NOT_NEEDED); not re-run here"
  },
  {
   "check": "alice_logs:ir_rederived",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_logs:ir_unoptimized",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_logs:risk",
   "ok": true,
   "why": "63 vs 63"
  },
  {
   "check": "alice_logs:lowered",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_logs:authority_source",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_logs:optimizer_equivalence",
   "ok": true,
   "why": "SELF_TESTED by the compiler (PROPERTY_TESTED); not re-run here"
  },
  {
   "check": "alice_notes:ir_rederived",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_notes:ir_unoptimized",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_notes:risk",
   "ok": true,
   "why": "55 vs 55"
  },
  {
   "check": "alice_notes:lowered",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_notes:authority_source",
   "ok": true,
   "why": ""
  },
  {
   "check": "alice_notes:optimizer_equivalence",
   "ok": true,
   "why": "SELF_TESTED by the compiler (PROPERTY_TESTED); not re-run here"
  },
  {
   "check": "tenant",
   "ok": true,
   "why": ""
  },
  {
   "check": "signature",
   "ok": true,
   "why": "unsigned"
  }
 ],
 "example_package": "VERIFIED",
 "reproducible_digest_two_compiles": true,
 "tampered_lowered_args_with_recomputed_digest": "UNVERIFIED",
 "verifier": "govc_verify_offline.py (zero CAIN imports)"
}