{
  "tool_id": "art-438-eval-attestation-receipt-composer",
  "tool_version": "1.0.0",
  "display_name": "Eval Attestation Receipt Composer",
  "mcp_name": "compose_eval_attestation_receipt",
  "mandate_type": "governance_mandate",
  "wave": 72,
  "gpu": false,
  "url": "https://ainumbers.co/chaingraph/art-438-eval-attestation-receipt-composer.html",
  "description": "Hashes a third-party eval log (e.g. an Inspect AI transcript) and binds it into a receipt that a compiled Work Mandate (art-274) can reference. VERIFY-ONLY: never executes, re-runs, or re-scores the eval -- composes shipped §4 hash, §16 signature, and §20 anchor carriers around a digest the caller already produced. claim_strength is the weakest-link status across the eval log hash and the mandate reference, never inflated by one strong leg covering a missing other.",
  "input_schema_ref": "chaingraph/art-438-eval-attestation-receipt-composer.html#manifest",
  "deadline": null,
  "consumes": [],
  "feeds": [],
  "status": "live",
  "conformance_fixtures": true,
  "compute_capability": "server",
  "compute_images": [
    {
      "system": "sha256-source",
      "image_id": "sha256:4dd15343a439bc1a1a1212c58f21fed27dd330d9f8cf4476bfdd468f67a7624e",
      "valid_from": "2026-07-23"
    },
    {
      "system": "risc0",
      "image_id": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
      "valid_from": "2026-07-23"
    }
  ],
  "export_capability": [
    "json",
    "vc"
  ],
  "compute_proof_ready": "ready",
  "compute_proof": {
    "type": "ZkVmReceipt",
    "system": "risc0",
    "receiptFormat": "groth16-bn254",
    "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
    "seal": "A+o1yff4OzGcFAtOODaUeOkI9mk/ObxCUvqtIL8PtUgNsTyU2oZSeTQvKtUrDSDjNk2uUPplSFord6pK0KUWWyU5FsM0e9PNZA+A/SOpno6FRnBtXqJ9q4lZguOwrxKsHGYTu0KKZ3wV6fPLGievwtubAug5YwrCRLdTt24uYCAELSIOo/ZlgdCi73+zmcfdBs2fC16OvfQx4TLD5VVJHS5pT5a1lgdB46Zwl1/r9Wk+JJVJNa23I+JimujHtNMEAlzNxuyovEsch21rPof56RAVIRdxKj3Mxt7AhDMplpsbkJdMrOBWNcHWV+94mrDNQt8n4sl4RWmXCFivrAndQQ==",
    "journal": {
      "chaingraph_version": "0.4.0",
      "kernel_digest": "sha256:4dd15343a439bc1a1a1212c58f21fed27dd330d9f8cf4476bfdd468f67a7624e",
      "output": {
        "attestation_determination": "ATTESTED",
        "claim_strength": "mandate-bound",
        "eval_format": "inspect_ai_eval_log",
        "eval_id": "inspect-eval-2026-07-23-001",
        "eval_log_hash": "sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
        "mandate_reference": {
          "policy_id": "governance-policy-eval-gate-v1",
          "work_mandate_hash": "sha256:bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb"
        },
        "not_proven": [
          {
            "detail": "This receipt attests only that a specific eval log digest was produced; it does not re-run, re-score, or otherwise validate the underlying evaluation.",
            "item": "Eval correctness or scoring validity"
          },
          {
            "detail": "The hash covers exactly the log bytes supplied by the caller. A truncated, redacted, or cherry-picked log hashes correctly too.",
            "item": "Eval log completeness"
          },
          {
            "detail": "mandate_reference records a pointer to a compiled Work Mandate (art-274); whether the eval actually satisfies that mandate's policy conditions is a separate judgment, not made by this kernel.",
            "item": "Mandate satisfaction"
          },
          {
            "detail": "A §16 signature attests the artifact at generated_at; a §20 anchor (if attached) proves inclusion by a time. Neither proves the eval log is still current.",
            "item": "Currency beyond generation time"
          }
        ],
        "verify_instructions": "Recompute SHA-256 of the referenced inspect_ai_eval_log eval log bytes and confirm it equals sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa; this receipt is VERIFY-ONLY and does not re-run, re-score, or grade the eval."
      }
    }
  }
}
