{
  "tool_id": "cry-04-merkle-batch-verifier",
  "kernel_id": "cry-04-merkle-batch-verifier",
  "display_name": "Merkle Batch Verifier",
  "tool_version": "1.0.0",
  "mandate_type": "cryptographic_mandate",
  "purpose": "Batch-verifies Merkle inclusion proofs using SHA-256 over payment batches, settlement message sets, and ISO 20022 sets. Zero-egress, browser-local. DORA Art. 12 audit-trail integrity.",
  "control_description": "Batch-verifies Merkle inclusion proofs using SHA-256 over payment batches, settlement message sets, and ISO 20022 sets. Zero-egress, browser-local. DORA Art. 12 audit-trail integrity.",
  "declared_inputs": [
    "rca-02-mica-reserve-stress",
    "pnr-01-dora-ict-cascade-simulator"
  ],
  "declared_outputs": [
    "ptg-01-ap2-prompt-template-generator"
  ],
  "kernel_digest": "sha256:ed9553c31a630d4b05d456b155da6ab2983f12c1ef7659b5220400da0e6be45c",
  "trust_label": "deferred -- deterministic source published, zkVM proof not yet generated",
  "data_vintage": "2026-07-10",
  "last_validated": "2026-07-10",
  "conformance_fixtures_vendored": false,
  "compute_proof_ready": "ready",
  "wave": 3,
  "source_url": "https://ainumbers.co/chaingraph/cry-04-merkle-batch-verifier.html",
  "generated_at": "2026-07-25T20:02:55.601Z"
}