{
      "tool_id": "art-136-slsa-provenance-verifier",
      "tool_version": "1.0.0",
      "display_name": "SLSA Provenance Verifier",
      "mcp_name": "verify_slsa_provenance",
      "mandate_type": "compliance_mandate",
      "wave": 25,
      "gpu": false,
      "url": "https://ainumbers.co/chaingraph/art-136-slsa-provenance-verifier.html",
      "description": "Verifies an in-toto SLSA provenance statement: validates _type (in-toto.io/Statement) and predicateType (slsa.dev/provenance), checks subject SHA-256 digest against caller-supplied artifact_digest_sha256, asserts builder.id present via runDetails.builder.id or predicate.builder.id, reports claimed_build_level 0-3. Middle stage of sbom-provenance-attestation chain.",
      "input_schema_ref": "chaingraph/art-136-slsa-provenance-verifier.html#manifest",
      "consumes": [
        "art-135-cyclonedx-sbom-validator"
      ],
      "feeds": [
        "art-137-openvex-statement-validator"
      ],
      "status": "live",
      "conformance_fixtures": true,
      "compute_capability": "server",
      "compute_images": [{"system":"sha256-source","image_id":"sha256:e68457cfcfc0229b4029a1579bdd6871ecb20daf0abd9743c2627eccb3a51e5d","valid_from":"2026-07-10"},{"system":"risc0","image_id":"sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6","valid_from":"2026-06-28"}],
      "compute_proof": {
        "type": "ZkVmReceipt",
        "system": "risc0",
        "receiptFormat": "groth16-bn254",
        "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
        "seal": "LZstin3tFumPYb2VZ3oIeMcQUVROVuudYKpMb6Kq7gAjzX7Qd96gomlMlwOthW2lAALQ7BcD6I5hVs115FyXmARJteuWBZrR0I8WDrGJUgX6TJulMKaS8vYrBUgwivHFCDRIcFccQWsfPW8Ti1cVVeSy6a7Oq5+BmY78NHoYxAIMCFixtzlqqoIElHDhGvPrrLi43I0ZC3vPv0+SCFaGvyjT4ucIvci6jLdtzBIVNh+LdhQ/jy/OYNQwF2+D0L9LLtusVAFNI4UWj/Be3QYUDn2ATyMadmTMsr469/atuzIBLXeW5ueTV4kSUXdkw2DSq2/DvHTZMHj5LU4Ly8vvBg==",
        "journal": {
          "chaingraph_version": "0.4.0",
          "kernel_digest": "sha256:53f94dd81941e9aae912dfeea50ddbfc6bd044fb51de329723baa1105e6fc29b",
          "output": {
            "builder_id_present": true,
            "pred_ok": true,
            "provenance_valid": true,
            "slsa_build_level": 2,
            "subject_digest_match": true,
            "type_ok": true
          }
        }
      },
      "export_capability": [
        "json",
        "vc"
      ]
    }