{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "A9l9QktjK8lqoaZp51WB8b8ehV4I1TIqphVCtooDIEgfWX7vv9ZImuje8NIB+LFfFxvE+p6kYfds80Nkl7fqJgVMncRaY0KX/rjYH3fMqiGDTCO2IACgPCE0ZXJHWodFEp/Q5USxO0QKr/15eO6R/I+h0wamcvRDVBJ2Xco5Nb0lLOQRfqV3GwtsJnayrirsMPMppomKcQoS0vWDsUADkRl44XKP4D2agYp6xzV25IDQ9uTPha+tyE66wdL0dtoWE3efNqeyn2nQj/rI+lssAm9fuWD7/DarjwhjLxy8Yw0Zaw29oqxJy6ST2dyw1n2d7ne7Su525NV13Dy/GKXa8Q==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:21c850de44ea52edcd069ddb042c208ec8d8df8175a09b3fc3c9478245db8158",
    "output": {
      "anchor_surface": "anchor.ainumbers.co/mcp -- anchor execution_hash immediately upon trigger event to create a tamper-evident dispute artifact that neither policyholder nor insurer controls (neutral adjudication record).",
      "coverage_amount": 50000,
      "index_value": 120,
      "not_legal_advice": "Not legal or actuarial advice. Trigger determinations require review by a licensed actuary and the controlling policy language.",
      "parametric_limit": 50000,
      "payout_amount": 50000,
      "pii_note": "ZERO PII: index values, thresholds, and coverage amounts only. No policyholder, event-location, or personal data enters this kernel.",
      "regulatory_basis": "ISO 11116:2023 parametric insurance trigger methodology; Swiss Re sigma 1/2024 cat bond trigger types (indemnity / industry loss / parametric / modelled); trigger receipt = neutral dispute artifact per IAIS ICP 19 claims handling principle.",
      "table_source": "ISO 11116:2023 (parametric insurance); Swiss Re sigma 1/2024 (cat bond triggers); AIR Worldwide trigger methodology guide 2023",
      "table_version": "PARAMETRIC-TRIGGER-MATH-V1.0-2025",
      "threshold_used": 100,
      "tier_matched_index": null,
      "trigger_fraction": 1,
      "trigger_hit": true,
      "trigger_receipt": {
        "coverage_amount": 50000,
        "index_value": 120,
        "max_index_used": null,
        "parametric_limit": 50000,
        "payout_amount": 50000,
        "threshold_used": 100,
        "tier_matched_index": null,
        "trigger_fraction": 1,
        "trigger_hit": true,
        "trigger_type": "threshold"
      },
      "trigger_type_used": "threshold"
    }
  }
}