{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "ImzUmE4P1VoBT6i0hmS8PQPHsijKScoWvP2QVJKuPY4rZI1x10Mjg44okWTLwKxotj93KTHPb8hB7CgxwabAuB1M6jfjquqhxJzdVAXYMkfXj6ylfmws4UqCiliHJTdtHh2P+QI08s9aPCePsjzEiz1T+vGkUTA3Dh/dUMk1oqoAvVrpAvbYcrBYz7iO24qCx2aLRM3Gn8PKSjsmnjquVgLfP+5C9m+2LJysCQTbi2CbUUYqg2m3P7p4QDshm8iHKZMwjFjVf/eH/8Tz8sDOws4Txmk1P2nIB6V3EaC8534T4Q/ilor+YLTSvnNZoCTjTsad4oBVkGMOsApSIfViUA==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:61b5a1c66ec20e2f73941fabf94a4bb266733acba9c516eaefe0432ba6c83a94",
    "output": {
      "all_gaps": [],
      "controls_present": 17,
      "coverage_band": "Comprehensive",
      "function_coverage": {
        "GOVERN": {
          "gaps": [],
          "present": 5,
          "score": 100,
          "total": 5
        },
        "MANAGE": {
          "gaps": [],
          "present": 4,
          "score": 100,
          "total": 4
        },
        "MAP": {
          "gaps": [],
          "present": 4,
          "score": 100,
          "total": 4
        },
        "MEASURE": {
          "gaps": [],
          "present": 4,
          "score": 100,
          "total": 4
        }
      },
      "overall_coverage": 100,
      "total_controls": 17
    }
  }
}