{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "IDPCckn4FlYyoo4/4thrjzHqHRCCrJoOFuct1ftYO/YO014ExwsJjiD6+rT2sP96HguOg1SqpoCjKjH+4pWWHBVsDNl488KJeUvaaUqd0CkAVb1UIPAi4k3mZ6abd20iIp3JPTnELuqMQeFBULgrdTc56SPTCgAKKO4ekm3hja4pbo+qa19OMi1Xzr3jagmsqarWHwcPr7v66k1RXPlWxRYacYkysK3Hwa/jDpP7roKB5yt1NnpUQzqxmwkT2M6dG3vINi2VxhLvBZ1G+945ECJAmKjxAgyMimBIRzpgkochVMuZBDThZHw0jgGbrDYph19w2cxDDDDtNwrHxnP57Q==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:6f0ccad9827533502bb1df8c0b7beedc187822ea5f7bf07363637c00336b8f21",
    "output": {
      "aiuc1_version": "2026-Q1",
      "attestation_only_count": 0,
      "automatable_scope": 23,
      "insufficient_evidence": false,
      "missing_count": 0,
      "overall_coverage": 1,
      "per_control": [
        {
          "control_id": "AIUC-A-01",
          "pillar": "A",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-A-02",
          "pillar": "A",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-A-03",
          "pillar": "A",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-A-04",
          "pillar": "A",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-B-01",
          "pillar": "B",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-B-02",
          "pillar": "B",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-B-03",
          "pillar": "B",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-B-04",
          "pillar": "B",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-C-01",
          "pillar": "C",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-C-02",
          "pillar": "C",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-C-03",
          "pillar": "C",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-C-04",
          "pillar": "C",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-D-01",
          "pillar": "D",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-D-02",
          "pillar": "D",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-D-03",
          "pillar": "D",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-D-04",
          "pillar": "D",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-E-01",
          "pillar": "E",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-E-02",
          "pillar": "E",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-E-03",
          "pillar": "E",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-E-04",
          "pillar": "E",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-F-01",
          "pillar": "F",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-F-02",
          "pillar": "F",
          "status": "receipt-backed"
        },
        {
          "control_id": "AIUC-F-03",
          "pillar": "F",
          "status": "receipt-backed"
        }
      ],
      "per_pillar_coverage": {
        "A": 1,
        "B": 1,
        "C": 1,
        "D": 1,
        "E": 1,
        "F": 1
      },
      "procedural_controls_out_of_scope": 26,
      "receipt_backed_count": 23,
      "version_mismatch": false
    }
  }
}