@hyperscale0/hsx 2.4.0 → 3.0.0

package/examples/credit_facility/credit_facility.udl

@@ -1,1396 +0,0 @@
-{
-  "instruments": [
-    {
-      "actionOrder": [
-        "create",
-        "approve",
-        "collect_installment_1",
-        "mark_installment_1_delinquent",
-        "collect_installment_2",
-        "mark_installment_2_delinquent",
-        "complete",
-        "write_off"
-      ],
-      "actions": {
-        "approve": {
-          "agentDescription": "Approve the draft obligation and freeze its principal partition and due anchors. The obligation must be in draft. No money moves. Where the product advances funds, approve is what makes advance available.",
-          "moves": [],
-          "publicAction": "approveRepayment",
-          "steps": [],
-          "summary": "Approve the immutable principal partition and stored anchors"
-        },
-        "collect_installment_1": {
-          "due": {
-            "field": "firstDueAt"
-          },
-          "effects": {
-            "reads": [
-              {
-                "signature": "reads.requires_aggregate",
-                "source": "requiresAggregate"
-              }
-            ],
-            "schedules": [
-              {
-                "signature": "schedules.due",
-                "source": "due"
-              }
-            ]
-          },
-          "moves": [],
-          "requiresAggregate": [
-            {
-              "check": {
-                "amountField": "amount",
-                "kind": "sum_exactly",
-                "targetField": "installment1Amount"
-              },
-              "instrumentId": "repayment_installment_1_payment",
-              "over": "children",
-              "refField": "repaymentId",
-              "statuses": [
-                "paid"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Close delinquent installment 1 after linked payments reach its stored amount"
-        },
-        "collect_installment_2": {
-          "due": {
-            "field": "firstDueAt",
-            "offset": "P30D"
-          },
-          "effects": {
-            "reads": [
-              {
-                "signature": "reads.requires_aggregate",
-                "source": "requiresAggregate"
-              }
-            ],
-            "schedules": [
-              {
-                "signature": "schedules.due",
-                "source": "due"
-              }
-            ]
-          },
-          "moves": [],
-          "requiresAggregate": [
-            {
-              "check": {
-                "amountField": "amount",
-                "kind": "sum_exactly",
-                "targetField": "installment2Amount"
-              },
-              "instrumentId": "repayment_installment_2_payment",
-              "over": "children",
-              "refField": "repaymentId",
-              "statuses": [
-                "paid"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Close delinquent installment 2 after linked payments reach its stored amount"
-        },
-        "complete": {
-          "due": {
-            "field": "firstDueAt",
-            "offset": "P30D"
-          },
-          "effects": {
-            "reads": [
-              {
-                "signature": "reads.requires_aggregate",
-                "source": "requiresAggregate"
-              }
-            ],
-            "schedules": [
-              {
-                "signature": "schedules.due",
-                "source": "due"
-              }
-            ]
-          },
-          "moves": [],
-          "requiresAggregate": [
-            {
-              "check": {
-                "amountField": "amount",
-                "kind": "sum_exactly",
-                "targetField": "installment1Amount"
-              },
-              "instrumentId": "repayment_installment_1_payment",
-              "over": "children",
-              "refField": "repaymentId",
-              "statuses": [
-                "paid"
-              ]
-            },
-            {
-              "check": {
-                "amountField": "amount",
-                "kind": "sum_exactly",
-                "targetField": "installment2Amount"
-              },
-              "instrumentId": "repayment_installment_2_payment",
-              "over": "children",
-              "refField": "repaymentId",
-              "statuses": [
-                "paid"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Close the obligation only after every stored anchor is paid exactly"
-        },
-        "create": {
-          "agentDescription": "Create the obligation in draft with its principal split across stored installment anchors. Approve is the next call. Where the product declares a derived fee, creating the obligation also moves that fee from its bearer to the platform account.",
-          "moves": [],
-          "publicAction": "createRepayment",
-          "steps": [],
-          "summary": "Create a repayment obligation"
-        },
-        "mark_installment_1_delinquent": {
-          "due": {
-            "field": "firstDueAt"
-          },
-          "effects": {
-            "reads": [
-              {
-                "signature": "reads.requires_aggregate",
-                "source": "requiresAggregate"
-              }
-            ],
-            "schedules": [
-              {
-                "signature": "schedules.due",
-                "source": "due"
-              }
-            ]
-          },
-          "moves": [],
-          "requiresAggregate": [
-            {
-              "check": {
-                "amountField": "amount",
-                "kind": "sum_below",
-                "targetField": "installment1Amount"
-              },
-              "instrumentId": "repayment_installment_1_payment",
-              "over": "children",
-              "refField": "repaymentId",
-              "statuses": [
-                "paid"
-              ]
-            }
-          ],
-          "setsAt": {
-            "field": "installment1DelinquentAfter",
-            "marker": true,
-            "offset": "PT1S"
-          },
-          "steps": [],
-          "summary": "Mark installment 1 delinquent only when its due anchor is unmet"
-        },
-        "mark_installment_2_delinquent": {
-          "due": {
-            "field": "firstDueAt",
-            "offset": "P30D"
-          },
-          "effects": {
-            "reads": [
-              {
-                "signature": "reads.requires_aggregate",
-                "source": "requiresAggregate"
-              }
-            ],
-            "schedules": [
-              {
-                "signature": "schedules.due",
-                "source": "due"
-              }
-            ]
-          },
-          "moves": [],
-          "requiresAggregate": [
-            {
-              "check": {
-                "amountField": "amount",
-                "kind": "sum_below",
-                "targetField": "installment2Amount"
-              },
-              "instrumentId": "repayment_installment_2_payment",
-              "over": "children",
-              "refField": "repaymentId",
-              "statuses": [
-                "paid"
-              ]
-            }
-          ],
-          "setsAt": {
-            "field": "installment2DelinquentAfter",
-            "marker": true,
-            "offset": "PT1S"
-          },
-          "steps": [],
-          "summary": "Mark installment 2 delinquent only when its due anchor is unmet"
-        },
-        "write_off": {
-          "agentDescription": "Write off the remaining exposure and stop the obligation. No money moves and nothing is refunded. This is the bookkeeping exit for debt that will not be collected. A written-off obligation never returns to repayment.",
-          "moves": [],
-          "publicAction": "writeOffRepayment",
-          "steps": [],
-          "summary": "Write off the remaining exposure without moving money"
-        }
-      },
-      "agentDescription": "Reach for scheduled when one payer owes one payee on a calendar. It covers a plan of fixed installments partitioning one total, an obligation whose installments are paid through child payment records and can go delinquent, and an open period charge that repeats until a cancel port fires. Rotating pool is for a group taking turns.",
-      "aggregateInvariants": [
-        {
-          "childField": "amount",
-          "childInstrumentId": "repayment_installment_1_payment",
-          "childRefField": "repaymentId",
-          "childStatuses": [
-            "paid"
-          ],
-          "parentField": "installment1Amount"
-        },
-        {
-          "childField": "amount",
-          "childInstrumentId": "repayment_installment_2_payment",
-          "childRefField": "repaymentId",
-          "childStatuses": [
-            "paid"
-          ],
-          "parentField": "installment2Amount"
-        }
-      ],
-      "description": "Installment obligation for borrower; repayment source pays lender against exact stored anchors",
-      "fields": {
-        "borrowerAccountId": {
-          "description": "The borrower account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        },
-        "currency": {
-          "description": "ISO 4217 currency code",
-          "maxLength": 3,
-          "minLength": 3,
-          "pattern": "^[A-Z]{3}$",
-          "type": "string"
-        },
-        "firstDueAt": {
-          "description": "Due date of the first installment; later anchors use fixed offsets of P30D",
-          "format": "hyperscale-date-time",
-          "type": "string"
-        },
-        "installment1Amount": {
-          "description": "Stored amount for installment 1 of 2 (carries the integer-division remainder)",
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string",
-          "x-hyperscale-currency": "SAR"
-        },
-        "installment1DelinquentAfter": {
-          "description": "Machine-set marker proving installment 1 reached its stored due date while unpaid",
-          "format": "hyperscale-date-time",
-          "type": "string"
-        },
-        "installment2Amount": {
-          "description": "Stored amount for installment 2 of 2",
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string",
-          "x-hyperscale-currency": "SAR"
-        },
-        "installment2DelinquentAfter": {
-          "description": "Machine-set marker proving installment 2 reached its stored due date while unpaid",
-          "format": "hyperscale-date-time",
-          "type": "string"
-        },
-        "lenderAccountId": {
-          "description": "The lender account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        },
-        "principal": {
-          "description": "The principal in SAR minor units; the stored installment anchors partition it exactly",
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string",
-          "x-hyperscale-currency": "SAR"
-        },
-        "repaymentSourceAccountId": {
-          "description": "The repayment source account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        }
-      },
-      "id": "repayment",
-      "idPrefix": "repa",
-      "lifecycle": {
-        "initial": "draft",
-        "states": [
-          "draft",
-          "active",
-          "installment_1_delinquent",
-          "installment_2_delinquent",
-          "written_off",
-          "repaid"
-        ],
-        "transitions": {
-          "approve": {
-            "from": [
-              "draft"
-            ],
-            "to": "active"
-          },
-          "collect_installment_1": {
-            "from": [
-              "installment_1_delinquent",
-              "installment_2_delinquent"
-            ],
-            "to": "active"
-          },
-          "collect_installment_2": {
-            "from": [
-              "installment_1_delinquent",
-              "installment_2_delinquent"
-            ],
-            "to": "active"
-          },
-          "complete": {
-            "from": [
-              "active",
-              "installment_1_delinquent",
-              "installment_2_delinquent"
-            ],
-            "to": "repaid"
-          },
-          "mark_installment_1_delinquent": {
-            "from": [
-              "active",
-              "installment_2_delinquent"
-            ],
-            "to": "installment_1_delinquent"
-          },
-          "mark_installment_2_delinquent": {
-            "from": [
-              "active",
-              "installment_1_delinquent"
-            ],
-            "to": "installment_2_delinquent"
-          },
-          "write_off": {
-            "from": [
-              "draft",
-              "active",
-              "installment_1_delinquent",
-              "installment_2_delinquent"
-            ],
-            "to": "written_off"
-          }
-        }
-      },
-      "parties": {
-        "beneficiary": "lenderAccountId",
-        "payer": "repaymentSourceAccountId"
-      },
-      "partitions": [
-        {
-          "pieceFields": [
-            "installment1Amount",
-            "installment2Amount"
-          ],
-          "totalField": "principal"
-        }
-      ],
-      "required": [
-        "lenderAccountId",
-        "repaymentSourceAccountId",
-        "currency",
-        "principal",
-        "firstDueAt",
-        "installment1Amount",
-        "installment2Amount"
-      ],
-      "summary": "2-anchor obligation for borrower",
-      "templateBinding": {
-        "id": "scheduled",
-        "parameters": {
-          "advanceTo": false,
-          "count": 2,
-          "derivedAmount": false,
-          "mandate": false,
-          "monthEnd": false,
-          "periodLiability": false,
-          "terminationDrain": false,
-          "until": false
-        }
-      },
-      "title": "Repayment"
-    },
-    {
-      "actionOrder": [
-        "create",
-        "repay",
-        "refund"
-      ],
-      "actions": {
-        "create": {
-          "agentDescription": "Open a payment record against installment 1. The parent obligation must be live. No money moves yet. Repay is what pays.",
-          "effects": {
-            "reads": [
-              {
-                "signature": "reads.requires_refs",
-                "source": "requiresRefs"
-              }
-            ]
-          },
-          "moves": [],
-          "publicAction": "createRepaymentInstallment1Payment",
-          "requiresRefs": [
-            {
-              "bind": {
-                "currency": "fields.currency",
-                "lenderAccountId": "fields.lenderAccountId",
-                "repaymentSourceAccountId": "fields.repaymentSourceAccountId"
-              },
-              "field": "repaymentId",
-              "statuses": [
-                "active",
-                "installment_1_delinquent",
-                "installment_2_delinquent"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Create a payment record for installment 1"
-        },
-        "refund": {
-          "agentDescription": "Return one whole installment 1 payment to the payer. The record must be paid, and the refund is always its full amount, so split a payment across records when a partial refund could be needed. This moves money back.",
-          "effects": {
-            "moves": [
-              {
-                "signature": "moves.transfer.internal",
-                "source": "moves[0]"
-              }
-            ],
-            "reads": [
-              {
-                "signature": "reads.requires_refs",
-                "source": "requiresRefs"
-              }
-            ]
-          },
-          "moves": [
-            {
-              "bind": {
-                "amount": {
-                  "from": "instance",
-                  "path": "fields.amount"
-                },
-                "currency": {
-                  "from": "const",
-                  "value": "SAR"
-                },
-                "destinationAccountId": {
-                  "from": "instance",
-                  "path": "fields.repaymentSourceAccountId"
-                },
-                "metadata.instrumentId": {
-                  "from": "const",
-                  "value": "repayment_installment_1_payment"
-                },
-                "metadata.instrumentInstanceId": {
-                  "from": "instance",
-                  "path": "instrumentInstanceId"
-                },
-                "metadata.phase": {
-                  "from": "const",
-                  "value": "refund"
-                },
-                "productId": {
-                  "from": "instance",
-                  "path": "productId"
-                },
-                "sourceAccountId": {
-                  "from": "instance",
-                  "path": "fields.lenderAccountId"
-                }
-              },
-              "capture": {
-                "refundRefundTransferId": "transferId"
-              },
-              "key": "refund",
-              "operation": "internal_transfer.create"
-            }
-          ],
-          "publicAction": "refundRepaymentInstallment1Payment",
-          "requiresRefs": [
-            {
-              "field": "repaymentId",
-              "match": {
-                "fields.currency": "fields.currency",
-                "fields.lenderAccountId": "fields.lenderAccountId",
-                "fields.repaymentSourceAccountId": "fields.repaymentSourceAccountId"
-              },
-              "statuses": [
-                "active",
-                "installment_1_delinquent",
-                "installment_2_delinquent"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Refund this one stored installment 1 payment whole"
-        },
-        "repay": {
-          "agentDescription": "Pay this record's amount toward installment 1. The record must be created and its obligation live. Refused when this amount plus the records already paid against that installment would pass the stored amount. This moves the payer's money. Where a mandate applies, its declared parties may call it and an evidence reference is required.",
-          "effects": {
-            "moves": [
-              {
-                "signature": "moves.transfer.internal",
-                "source": "moves[0]"
-              }
-            ],
-            "reads": [
-              {
-                "signature": "reads.requires_refs",
-                "source": "requiresRefs"
-              }
-            ]
-          },
-          "moves": [
-            {
-              "bind": {
-                "amount": {
-                  "from": "instance",
-                  "path": "fields.amount"
-                },
-                "currency": {
-                  "from": "const",
-                  "value": "SAR"
-                },
-                "destinationAccountId": {
-                  "from": "instance",
-                  "path": "fields.lenderAccountId"
-                },
-                "metadata.instrumentId": {
-                  "from": "const",
-                  "value": "repayment_installment_1_payment"
-                },
-                "metadata.instrumentInstanceId": {
-                  "from": "instance",
-                  "path": "instrumentInstanceId"
-                },
-                "metadata.phase": {
-                  "from": "const",
-                  "value": "repay"
-                },
-                "productId": {
-                  "from": "instance",
-                  "path": "productId"
-                },
-                "sourceAccountId": {
-                  "from": "instance",
-                  "path": "fields.repaymentSourceAccountId"
-                }
-              },
-              "capture": {
-                "repayRepaymentTransferId": "transferId"
-              },
-              "key": "repayment",
-              "operation": "internal_transfer.create"
-            }
-          ],
-          "publicAction": "repayRepaymentInstallment1Payment",
-          "requiresExposure": [
-            {
-              "amountField": "amount",
-              "anchorField": "repaymentId",
-              "capField": "installment1Amount",
-              "capOnAnchor": true,
-              "childInstrumentId": "repayment_installment_1_payment",
-              "statuses": [
-                "paid"
-              ]
-            }
-          ],
-          "requiresRefs": [
-            {
-              "field": "repaymentId",
-              "match": {
-                "fields.currency": "fields.currency",
-                "fields.lenderAccountId": "fields.lenderAccountId",
-                "fields.repaymentSourceAccountId": "fields.repaymentSourceAccountId"
-              },
-              "statuses": [
-                "active",
-                "installment_1_delinquent",
-                "installment_2_delinquent"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Pay a partial or full amount against installment 1"
-        }
-      },
-      "agentDescription": "One payment against installment 1 of the obligation. Payments can be partial, so create a record, repay it, and the parent installment closes once its paid records sum to the stored anchor amount.",
-      "description": "One partial or full payment bound to installment 1 of repayment; the operation name fixes the anchor and repaymentId fixes the obligation",
-      "fields": {
-        "amount": {
-          "description": "Positive payment amount capped with its paid siblings at installment1Amount",
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string",
-          "x-hyperscale-currency": "SAR"
-        },
-        "currency": {
-          "description": "ISO 4217 currency code",
-          "maxLength": 3,
-          "minLength": 3,
-          "pattern": "^[A-Z]{3}$",
-          "type": "string"
-        },
-        "lenderAccountId": {
-          "description": "The lender account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        },
-        "repaymentId": {
-          "description": "The exact repayment this payment belongs to",
-          "pattern": "^repa_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "repaymentSourceAccountId": {
-          "description": "The repayment source account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        }
-      },
-      "id": "repayment_installment_1_payment",
-      "idPrefix": "zzaa",
-      "lifecycle": {
-        "initial": "created",
-        "states": [
-          "created",
-          "paid",
-          "refunded"
-        ],
-        "transitions": {
-          "refund": {
-            "from": [
-              "paid"
-            ],
-            "to": "refunded"
-          },
-          "repay": {
-            "from": [
-              "created"
-            ],
-            "to": "paid"
-          }
-        }
-      },
-      "parties": {
-        "beneficiary": "lenderAccountId",
-        "payer": "repaymentSourceAccountId"
-      },
-      "required": [
-        "lenderAccountId",
-        "repaymentSourceAccountId",
-        "amount",
-        "currency",
-        "repaymentId"
-      ],
-      "summary": "Anchor-bound payment for installment 1",
-      "title": "Repayment Installment 1 Payment"
-    },
-    {
-      "actionOrder": [
-        "create",
-        "repay",
-        "refund"
-      ],
-      "actions": {
-        "create": {
-          "agentDescription": "Open a payment record against installment 2. The parent obligation must be live. No money moves yet. Repay is what pays.",
-          "effects": {
-            "reads": [
-              {
-                "signature": "reads.requires_refs",
-                "source": "requiresRefs"
-              }
-            ]
-          },
-          "moves": [],
-          "publicAction": "createRepaymentInstallment2Payment",
-          "requiresRefs": [
-            {
-              "bind": {
-                "currency": "fields.currency",
-                "lenderAccountId": "fields.lenderAccountId",
-                "repaymentSourceAccountId": "fields.repaymentSourceAccountId"
-              },
-              "field": "repaymentId",
-              "statuses": [
-                "active",
-                "installment_1_delinquent",
-                "installment_2_delinquent"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Create a payment record for installment 2"
-        },
-        "refund": {
-          "agentDescription": "Return one whole installment 2 payment to the payer. The record must be paid, and the refund is always its full amount, so split a payment across records when a partial refund could be needed. This moves money back.",
-          "effects": {
-            "moves": [
-              {
-                "signature": "moves.transfer.internal",
-                "source": "moves[0]"
-              }
-            ],
-            "reads": [
-              {
-                "signature": "reads.requires_refs",
-                "source": "requiresRefs"
-              }
-            ]
-          },
-          "moves": [
-            {
-              "bind": {
-                "amount": {
-                  "from": "instance",
-                  "path": "fields.amount"
-                },
-                "currency": {
-                  "from": "const",
-                  "value": "SAR"
-                },
-                "destinationAccountId": {
-                  "from": "instance",
-                  "path": "fields.repaymentSourceAccountId"
-                },
-                "metadata.instrumentId": {
-                  "from": "const",
-                  "value": "repayment_installment_2_payment"
-                },
-                "metadata.instrumentInstanceId": {
-                  "from": "instance",
-                  "path": "instrumentInstanceId"
-                },
-                "metadata.phase": {
-                  "from": "const",
-                  "value": "refund"
-                },
-                "productId": {
-                  "from": "instance",
-                  "path": "productId"
-                },
-                "sourceAccountId": {
-                  "from": "instance",
-                  "path": "fields.lenderAccountId"
-                }
-              },
-              "capture": {
-                "refundRefundTransferId": "transferId"
-              },
-              "key": "refund",
-              "operation": "internal_transfer.create"
-            }
-          ],
-          "publicAction": "refundRepaymentInstallment2Payment",
-          "requiresRefs": [
-            {
-              "field": "repaymentId",
-              "match": {
-                "fields.currency": "fields.currency",
-                "fields.lenderAccountId": "fields.lenderAccountId",
-                "fields.repaymentSourceAccountId": "fields.repaymentSourceAccountId"
-              },
-              "statuses": [
-                "active",
-                "installment_1_delinquent",
-                "installment_2_delinquent"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Refund this one stored installment 2 payment whole"
-        },
-        "repay": {
-          "agentDescription": "Pay this record's amount toward installment 2. The record must be created and its obligation live. Refused when this amount plus the records already paid against that installment would pass the stored amount. This moves the payer's money. Where a mandate applies, its declared parties may call it and an evidence reference is required.",
-          "effects": {
-            "moves": [
-              {
-                "signature": "moves.transfer.internal",
-                "source": "moves[0]"
-              }
-            ],
-            "reads": [
-              {
-                "signature": "reads.requires_refs",
-                "source": "requiresRefs"
-              }
-            ]
-          },
-          "moves": [
-            {
-              "bind": {
-                "amount": {
-                  "from": "instance",
-                  "path": "fields.amount"
-                },
-                "currency": {
-                  "from": "const",
-                  "value": "SAR"
-                },
-                "destinationAccountId": {
-                  "from": "instance",
-                  "path": "fields.lenderAccountId"
-                },
-                "metadata.instrumentId": {
-                  "from": "const",
-                  "value": "repayment_installment_2_payment"
-                },
-                "metadata.instrumentInstanceId": {
-                  "from": "instance",
-                  "path": "instrumentInstanceId"
-                },
-                "metadata.phase": {
-                  "from": "const",
-                  "value": "repay"
-                },
-                "productId": {
-                  "from": "instance",
-                  "path": "productId"
-                },
-                "sourceAccountId": {
-                  "from": "instance",
-                  "path": "fields.repaymentSourceAccountId"
-                }
-              },
-              "capture": {
-                "repayRepaymentTransferId": "transferId"
-              },
-              "key": "repayment",
-              "operation": "internal_transfer.create"
-            }
-          ],
-          "publicAction": "repayRepaymentInstallment2Payment",
-          "requiresExposure": [
-            {
-              "amountField": "amount",
-              "anchorField": "repaymentId",
-              "capField": "installment2Amount",
-              "capOnAnchor": true,
-              "childInstrumentId": "repayment_installment_2_payment",
-              "statuses": [
-                "paid"
-              ]
-            }
-          ],
-          "requiresRefs": [
-            {
-              "field": "repaymentId",
-              "match": {
-                "fields.currency": "fields.currency",
-                "fields.lenderAccountId": "fields.lenderAccountId",
-                "fields.repaymentSourceAccountId": "fields.repaymentSourceAccountId"
-              },
-              "statuses": [
-                "active",
-                "installment_1_delinquent",
-                "installment_2_delinquent"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Pay a partial or full amount against installment 2"
-        }
-      },
-      "agentDescription": "One payment against installment 2 of the obligation. Payments can be partial, so create a record, repay it, and the parent installment closes once its paid records sum to the stored anchor amount.",
-      "description": "One partial or full payment bound to installment 2 of repayment; the operation name fixes the anchor and repaymentId fixes the obligation",
-      "fields": {
-        "amount": {
-          "description": "Positive payment amount capped with its paid siblings at installment2Amount",
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string",
-          "x-hyperscale-currency": "SAR"
-        },
-        "currency": {
-          "description": "ISO 4217 currency code",
-          "maxLength": 3,
-          "minLength": 3,
-          "pattern": "^[A-Z]{3}$",
-          "type": "string"
-        },
-        "lenderAccountId": {
-          "description": "The lender account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        },
-        "repaymentId": {
-          "description": "The exact repayment this payment belongs to",
-          "pattern": "^repa_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "repaymentSourceAccountId": {
-          "description": "The repayment source account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        }
-      },
-      "id": "repayment_installment_2_payment",
-      "idPrefix": "zzab",
-      "lifecycle": {
-        "initial": "created",
-        "states": [
-          "created",
-          "paid",
-          "refunded"
-        ],
-        "transitions": {
-          "refund": {
-            "from": [
-              "paid"
-            ],
-            "to": "refunded"
-          },
-          "repay": {
-            "from": [
-              "created"
-            ],
-            "to": "paid"
-          }
-        }
-      },
-      "parties": {
-        "beneficiary": "lenderAccountId",
-        "payer": "repaymentSourceAccountId"
-      },
-      "required": [
-        "lenderAccountId",
-        "repaymentSourceAccountId",
-        "amount",
-        "currency",
-        "repaymentId"
-      ],
-      "summary": "Anchor-bound payment for installment 2",
-      "title": "Repayment Installment 2 Payment"
-    },
-    {
-      "actionOrder": [
-        "create",
-        "freeze",
-        "close"
-      ],
-      "actions": {
-        "close": {
-          "agentDescription": "Close the facility for good. Every draw under it must already be resolved, so clear the outstanding obligations first. No money moves and a closed facility never lends again.",
-          "effects": {
-            "reads": [
-              {
-                "signature": "reads.requires_aggregate",
-                "source": "requiresAggregate"
-              }
-            ]
-          },
-          "moves": [],
-          "publicAction": "closeFacility",
-          "requiresAggregate": [
-            {
-              "check": {
-                "kind": "all_in"
-              },
-              "instrumentId": "facility_draw",
-              "over": "children",
-              "refField": "facilityId",
-              "statuses": [
-                "resolved"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Close only when every admitted draw resolved"
-        },
-        "create": {
-          "agentDescription": "Open the facility before any draw exists. The caller supplies the facilityLimit, the currency, the borrower and lender accounts, the draw destination account, and the stored expiry. No money moves.",
-          "moves": [],
-          "publicAction": "createFacility",
-          "steps": [],
-          "summary": "Open the facility"
-        },
-        "freeze": {
-          "due": {
-            "field": "expiresAt"
-          },
-          "effects": {
-            "schedules": [
-              {
-                "signature": "schedules.due",
-                "source": "due"
-              }
-            ]
-          },
-          "moves": [],
-          "steps": [],
-          "summary": "Freeze new draws at expiry"
-        }
-      },
-      "agentDescription": "Reach for credit facility when the lender gives the borrower reusable capacity up to facilityLimit and every draw is repaid through its own scheduled obligation. Capacity frees up as each obligation resolves. Pick advance for one up-front payment with no reusable limit.",
-      "description": "Reusable capacity with repayment delegated to one scheduled obligation",
-      "fields": {
-        "borrowerAccountId": {
-          "description": "The borrower account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        },
-        "currency": {
-          "description": "ISO 4217 currency code",
-          "maxLength": 3,
-          "minLength": 3,
-          "pattern": "^[A-Z]{3}$",
-          "type": "string"
-        },
-        "drawDestinationAccountId": {
-          "description": "The draw destination account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        },
-        "expiresAt": {
-          "description": "Stored draw expiry",
-          "format": "hyperscale-date-time",
-          "type": "string"
-        },
-        "facilityLimit": {
-          "description": "Facility limit in SAR minor units",
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string",
-          "x-hyperscale-currency": "SAR"
-        },
-        "lenderAccountId": {
-          "description": "The lender account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        }
-      },
-      "id": "facility",
-      "idPrefix": "faci",
-      "lifecycle": {
-        "initial": "active",
-        "states": [
-          "active",
-          "frozen",
-          "closed"
-        ],
-        "transitions": {
-          "close": {
-            "from": [
-              "active",
-              "frozen"
-            ],
-            "to": "closed"
-          },
-          "freeze": {
-            "from": [
-              "active"
-            ],
-            "to": "frozen"
-          }
-        }
-      },
-      "parties": {
-        "beneficiary": "drawDestinationAccountId",
-        "payer": "lenderAccountId"
-      },
-      "required": [
-        "borrowerAccountId",
-        "drawDestinationAccountId",
-        "lenderAccountId",
-        "currency",
-        "facilityLimit",
-        "expiresAt"
-      ],
-      "summary": "Draw capacity for borrower",
-      "templateBinding": {
-        "id": "credit_facility",
-        "parameters": {}
-      },
-      "title": "Facility"
-    },
-    {
-      "actionOrder": [
-        "create",
-        "resolve"
-      ],
-      "actions": {
-        "create": {
-          "agentDescription": "Draw one amount out of the facility to the draw destination account. The facility must be active, the linked obligation active and bound to no other draw, and the drawn amounts plus this one must stay within facilityLimit. The money leaves the lender straight away.",
-          "effects": {
-            "moves": [
-              {
-                "signature": "moves.transfer.internal",
-                "source": "moves[0]"
-              }
-            ],
-            "reads": [
-              {
-                "signature": "reads.requires_refs",
-                "source": "requiresRefs"
-              }
-            ]
-          },
-          "moves": [
-            {
-              "bind": {
-                "amount": {
-                  "from": "instance",
-                  "path": "fields.amount"
-                },
-                "currency": {
-                  "from": "const",
-                  "value": "SAR"
-                },
-                "destinationAccountId": {
-                  "from": "instance",
-                  "path": "fields.drawDestinationAccountId"
-                },
-                "metadata.instrumentId": {
-                  "from": "const",
-                  "value": "facility_draw"
-                },
-                "metadata.instrumentInstanceId": {
-                  "from": "instance",
-                  "path": "instrumentInstanceId"
-                },
-                "metadata.phase": {
-                  "from": "const",
-                  "value": "create"
-                },
-                "productId": {
-                  "from": "instance",
-                  "path": "productId"
-                },
-                "sourceAccountId": {
-                  "from": "instance",
-                  "path": "fields.lenderAccountId"
-                }
-              },
-              "capture": {
-                "createDrawTransferId": "transferId"
-              },
-              "key": "draw",
-              "operation": "internal_transfer.create"
-            }
-          ],
-          "publicAction": "createFacilityDraw",
-          "requiresExposure": [
-            {
-              "amountField": "amount",
-              "anchorField": "facilityId",
-              "capField": "facilityLimit",
-              "capOnAnchor": true,
-              "childInstrumentId": "facility_draw",
-              "statuses": [
-                "drawn"
-              ]
-            }
-          ],
-          "requiresRefs": [
-            {
-              "bind": {
-                "currency": "fields.currency",
-                "drawDestinationAccountId": "fields.drawDestinationAccountId",
-                "lenderAccountId": "fields.lenderAccountId"
-              },
-              "field": "facilityId",
-              "statuses": [
-                "active"
-              ]
-            },
-            {
-              "field": "repaymentId",
-              "statuses": [
-                "active"
-              ],
-              "unique": true
-            }
-          ],
-          "steps": [],
-          "summary": "Create one draw under the locked facility capacity"
-        },
-        "resolve": {
-          "agentDescription": "Free the drawn capacity back to the facility. The linked obligation must already be repaid or written off. No money moves here, the obligation did the repaying.",
-          "effects": {
-            "reads": [
-              {
-                "signature": "reads.requires_refs",
-                "source": "requiresRefs"
-              }
-            ]
-          },
-          "moves": [],
-          "publicAction": "resolveFacilityDraw",
-          "requiresRefs": [
-            {
-              "field": "repaymentId",
-              "statuses": [
-                "repaid",
-                "written_off"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Release revolving capacity only after the linked obligation resolves"
-        }
-      },
-      "agentDescription": "Reach for this child row to take one draw against a facility. The parent carries the facilityLimit, this row carries one drawn amount and the single obligation that repays it.",
-      "description": "One capacity-capped draw linked to obligation",
-      "fields": {
-        "amount": {
-          "description": "One draw amount",
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string",
-          "x-hyperscale-currency": "SAR"
-        },
-        "currency": {
-          "description": "ISO 4217 currency code",
-          "maxLength": 3,
-          "minLength": 3,
-          "pattern": "^[A-Z]{3}$",
-          "type": "string"
-        },
-        "drawDestinationAccountId": {
-          "description": "The draw destination account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        },
-        "facilityId": {
-          "description": "The exact facility",
-          "pattern": "^faci_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "lenderAccountId": {
-          "description": "The lender account",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        },
-        "repaymentId": {
-          "description": "The sole repayment obligation",
-          "pattern": "^repa_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        }
-      },
-      "id": "facility_draw",
-      "idPrefix": "zzac",
-      "lifecycle": {
-        "initial": "drawn",
-        "states": [
-          "drawn",
-          "resolved"
-        ],
-        "transitions": {
-          "resolve": {
-            "from": [
-              "drawn"
-            ],
-            "to": "resolved"
-          }
-        }
-      },
-      "parties": {
-        "beneficiary": "drawDestinationAccountId",
-        "payer": "lenderAccountId"
-      },
-      "required": [
-        "drawDestinationAccountId",
-        "lenderAccountId",
-        "amount",
-        "currency",
-        "facilityId",
-        "repaymentId"
-      ],
-      "summary": "Draw from facility",
-      "title": "Facility Draw"
-    }
-  ],
-  "product": "credit_facility_example",
-  "subjects": [],
-  "title": "Credit facility example",
-  "udl": 1,
-  "version": 1
-}