{
  "tool_id": "art-531-member-margin-call-lifecycle",
  "tool_version": "1.0.0",
  "display_name": "Member Margin Call Lifecycle",
  "mcp_name": "attest_margin_call_lifecycle",
  "mandate_type": "attestation_mandate",
  "wave": 83,
  "gpu": false,
  "url": "https://ainumbers.co/chaingraph/art-531-member-margin-call-lifecycle.html",
  "description": "Tracks a clearing member's margin call through its declared lifecycle states -- issued, confirmed, funded, or disputed and escalated as a contingency path -- against a caller-declared SLA window, and attests whether the call was funded within the CCP's own published timing rule. Checks that the declared state timestamps are chronologically consistent and, for a still-open call, whether it has already run past its SLA as of a caller-declared evaluation point. Emits an informational suggested gate route (end, escalate, or hold) without itself implementing any escalation workflow. Region-portable: currency and the SLA window are caller-declared inputs, with no CCP or jurisdiction hardcoded. Deterministic arithmetic only. Zero network, zero PII -- the member reference is an opaque caller-supplied string, never a raw identity.",
  "input_schema_ref": "chaingraph/art-531-member-margin-call-lifecycle.html#manifest",
  "consumes": [],
  "feeds": [],
  "status": "live",
  "conformance_fixtures": true,
  "compute_capability": "server",
  "compute_images": [
    {
      "system": "sha256-source",
      "image_id": "sha256:89fcc33e4e1a9e74da13cd69954a8b4d1717cf652e2159dd4c358b0ee59b436b",
      "valid_from": "2026-07-10"
    },
    {
      "system": "risc0",
      "image_id": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
      "valid_from": "2026-08-04"
    }
  ],
  "export_capability": [
    "json"
  ],
  "compute_proof_ready": "ready",
  "compute_proof": {
    "type": "ZkVmReceipt",
    "system": "risc0",
    "receiptFormat": "groth16-bn254",
    "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
    "seal": "AnRO68hFqu5KOK47Zv9JhUd7OkOV7wKpBX4HBBC5qH4IHM2MUe1OKEgftDXAgOmp5gQhIAYoWCqTN1V5UIZpdgHPPLTqDlOvhAKy6bKpivNJSuchF1aXqzuOcpjoNlc7CPbshVKI81OG85NN+8wwb+Lh9b/mzYhJ2ei0t3QZSN4mDCCT4wEk9LeHiKlzb4egeWhQ8pt3r3Bau1nmQrOLnyWr6hXqzhQRYmbTYhWF0K/haoZ7/ed715RabtPkF1qELSp4M6hCsqboxv4PqwygrBAK5ITSa3qBNyu33cAy0iwJVARXW26sMXI935mM0RY91OdSPzSHyPMm7YZo02WsLw==",
    "journal": {
      "chaingraph_version": "0.4.0",
      "kernel_digest": "sha256:89fcc33e4e1a9e74da13cd69954a8b4d1717cf652e2159dd4c358b0ee59b436b",
      "output": {
        "amount_display": "2500000.00",
        "amount_minor_units": 250000000,
        "as_of": "2026-07-31T15:30:00Z",
        "attested": true,
        "call_id": "MC-0001",
        "confirmed_at": "2026-07-31T14:10:00Z",
        "currency": "USD",
        "current_state": "funded",
        "dispute_reason": null,
        "disputed_at": null,
        "elapsed_to_asof_minutes": 90,
        "elapsed_to_funded_minutes": 45,
        "escalated_at": null,
        "funded_at": "2026-07-31T14:45:00Z",
        "issued_at": "2026-07-31T14:00:00Z",
        "member_ref": "MEMBER-REF-1042",
        "met_within_sla": true,
        "note": "Deterministic margin-call lifecycle attestation over caller-declared state timestamps and a caller-declared SLA window. It attests whether the call was funded within the CCP's own published timing rule -- issued -> confirmed -> funded, or issued -> disputed -> escalated -- rather than implementing any margin-call workflow itself.",
        "overdue": false,
        "rationale": [
          "Call MC-0001 issued 2026-07-31T14:00:00Z, currently funded, declared SLA 60 minute(s).",
          "Funded 45 minute(s) after issuance, within the 60-minute SLA.",
          "This is a state/attestation fact over the timestamps supplied for this call. It does not itself implement any escalation workflow and the suggested gate route is informational only."
        ],
        "rejected_inputs": [],
        "sequence_errors": [],
        "sequence_valid": true,
        "sla_minutes": 60,
        "suggested_gate_route": "end"
      }
    }
  }
}