{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "HwBHKcwd8dn9vPWWdmCuEuSkZt08biqJZ8Dj3lsPzY0frOoUV1XxqK4r8ViJf4inBZ1dpYBBngrVHrwNi6jSxiHa8DEAYo4WwLJhv34iHm+nCYbrsEBHcvaW2ENHL78tIEoVYwkDLlrLx/EZBoLAIMqfbi8sXelJjJoJhQVVSHAap0ClKec5DWxk5KwpJvabxRgSlZoCtG5Vga9wVXixXiSc6HjJn378ot+wncCs05xqvAebVj9ZhtfN2X/AKUWuHEylwu/K3BZhk4jzysmcagR1rvH4J/AecVVb/9hrzVodSLc6LdEf+h9vINuWDwA1vlX+i+/X9A8JgHqXbDnUOw==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:3bd0c00f1525794b85021aa94d28caed825ccbf0bae6d32f38092cb2ec96bc8b",
    "output": {
      "atomicity_verdict": "at-risk",
      "coordination_recommendation": "Unsynchronised settlement carries open principal risk. Upgrade to HTLC, shared-ledger lock, or notary-signature coordination. Consider BIS Agorá unifying-ledger / ECB Pontes TARGET-link / DTCC Collateral AppChain pattern.",
      "leg_findings": [],
      "note": "Cross-network atomicity and finality-compatibility check per CPMI-IOSCO PFMI Principles 8 + 12. Educational estimator — not a live settlement instruction or legal advice. Verify BIS Agorá / ECB Pontes / DTCC Collateral AppChain coordination mechanics against current primary sources.",
      "pvp_check": "PVP_NOT_REQUIRED",
      "residual_exposure": "open (unsynchronised — one leg may settle while the other fails)",
      "settlement_risk_window_sec": 3000
    }
  }
}
