@hyperscale0/udl 2.6.0 → 3.0.0

package/conformance/invalid/private-action-independent-approval.udl

@@ -1,314 +0,0 @@
-{
-  "instruments": [
-    {
-      "actionOrder": [
-        "create",
-        "fund_piece",
-        "payout_piece"
-      ],
-      "actions": {
-        "create": {
-          "moves": [],
-          "steps": [],
-          "summary": "Create watch instrument"
-        },
-        "fund_piece": {
-          "calls": [
-            {
-              "action": "transfers.execute_fund",
-              "bind": {
-                "inst": "$instance",
-                "p": "$piece"
-              },
-              "id": "call_fund"
-            }
-          ],
-          "effects": {
-            "moves": [
-              {
-                "signature": "moves.transfer.internal",
-                "source": "fund_piece.call_fund.leaf_fund"
-              }
-            ]
-          },
-          "input": {
-            "additionalProperties": false,
-            "properties": {
-              "pieceId": {
-                "enum": [
-                  "p1",
-                  "p2"
-                ],
-                "type": "string"
-              }
-            },
-            "required": [
-              "pieceId"
-            ],
-            "type": "object"
-          },
-          "moves": [],
-          "pieceStage": {
-            "plan": "split_plan",
-            "stage": "fund"
-          },
-          "steps": [],
-          "summary": "Fund one piece in stage"
-        },
-        "payout_piece": {
-          "calls": [
-            {
-              "action": "transfers.execute_release",
-              "bind": {
-                "inst": "$instance",
-                "p": "$piece"
-              },
-              "id": "call_rel"
-            }
-          ],
-          "effects": {
-            "moves": [
-              {
-                "signature": "moves.transfer.internal",
-                "source": "payout_piece.call_rel.leaf_rel"
-              }
-            ]
-          },
-          "input": {
-            "additionalProperties": false,
-            "properties": {
-              "pieceId": {
-                "enum": [
-                  "p1",
-                  "p2"
-                ],
-                "type": "string"
-              }
-            },
-            "required": [
-              "pieceId"
-            ],
-            "type": "object"
-          },
-          "moves": [],
-          "pieceStage": {
-            "plan": "split_plan",
-            "stage": "release"
-          },
-          "steps": [],
-          "summary": "Release piece"
-        }
-      },
-      "actionLibrary": {
-        "transfers": {
-          "actionOrder": [
-            "execute_fund",
-            "execute_release"
-          ],
-          "actions": {
-            "execute_fund": {
-              "approval": "independent",
-              "calls": [],
-              "leaves": [
-                {
-                  "bind": {
-                    "amount": "$p.amount",
-                    "destinationAccountId": "$p.release_to",
-                    "sourceAccountId": "$inst.fields.buyerAccount"
-                  },
-                  "effects": [
-                    {
-                      "kind": "moves",
-                      "signature": "moves.transfer.internal"
-                    }
-                  ],
-                  "evidence": "bank transfer confirmation receipt",
-                  "id": "leaf_fund",
-                  "operation": "internal_transfer.create"
-                }
-              ],
-              "order": [
-                "leaf_fund"
-              ],
-              "parameters": {
-                "inst": {
-                  "kind": "instance"
-                },
-                "p": {
-                  "kind": "piece"
-                }
-              },
-              "principal": "api_key",
-              "recovery": "local"
-            },
-            "execute_release": {
-              "approval": "inherit",
-              "calls": [],
-              "leaves": [
-                {
-                  "bind": {
-                    "amount": "$p.amount",
-                    "destinationAccountId": "$p.release_to",
-                    "sourceAccountId": "$inst.fields.escrowAccount"
-                  },
-                  "effects": [
-                    {
-                      "kind": "moves",
-                      "signature": "moves.transfer.internal"
-                    }
-                  ],
-                  "evidence": "release to payee confirmation",
-                  "id": "leaf_rel",
-                  "operation": "internal_transfer.create"
-                }
-              ],
-              "order": [
-                "leaf_rel"
-              ],
-              "parameters": {
-                "inst": {
-                  "kind": "instance"
-                },
-                "p": {
-                  "kind": "piece"
-                }
-              },
-              "principal": "api_key",
-              "recovery": "local"
-            }
-          }
-        }
-      },
-      "fields": {
-        "buyerAccount": {
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "currency": {
-          "const": "USD",
-          "pattern": "^[A-Z]{3}$",
-          "type": "string"
-        },
-        "escrowAccount": {
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "p1Amount": {
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string",
-          "x-hyperscale-currency": "USD"
-        },
-        "p1Refund": {
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "p1Release": {
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "p2Amount": {
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string",
-          "x-hyperscale-currency": "USD"
-        },
-        "p2Refund": {
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "p2Release": {
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "totalAmount": {
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string",
-          "x-hyperscale-currency": "USD"
-        }
-      },
-      "id": "escrow_watch",
-      "idPrefix": "ew",
-      "lifecycle": {
-        "initial": "draft",
-        "states": [
-          "draft",
-          "funded",
-          "released"
-        ],
-        "transitions": {
-          "fund_piece": {
-            "from": [
-              "draft"
-            ],
-            "to": "funded"
-          },
-          "payout_piece": {
-            "from": [
-              "funded"
-            ],
-            "to": "released"
-          }
-        }
-      },
-      "partitions": [
-        {
-          "pieceFields": [
-            "p1Amount",
-            "p2Amount"
-          ],
-          "totalField": "totalAmount"
-        }
-      ],
-      "piecePlan": {
-        "fund_order": [
-          "p1",
-          "p2"
-        ],
-        "id": "split_plan",
-        "pieces": [
-          {
-            "amount": "p1Amount",
-            "id": "p1",
-            "refund_to": "p1Refund",
-            "release_to": "p1Release"
-          },
-          {
-            "amount": "p2Amount",
-            "id": "p2",
-            "refund_to": "p2Refund",
-            "release_to": "p2Release"
-          }
-        ],
-        "refund_order": [
-          "p1"
-        ],
-        "release_order": [
-          "p1",
-          "p2"
-        ],
-        "total": "totalAmount",
-        "unfund_order": [
-          "p2",
-          "p1"
-        ]
-      },
-      "required": [
-        "totalAmount",
-        "p1Amount",
-        "p2Amount",
-        "p1Release",
-        "p1Refund",
-        "p2Release",
-        "p2Refund",
-        "buyerAccount",
-        "escrowAccount"
-      ],
-      "summary": "Escrow watch contract with piece plan",
-      "title": "Escrow Watch"
-    }
-  ],
-  "product": "escrow_watch",
-  "subjects": [],
-  "title": "Escrow Watch Document",
-  "udl": 1,
-  "version": 1
-}

package/conformance/invalid/quote-freeze-set-incomplete.expected.json

@@ -1,10 +0,0 @@
-{
-  "issues": [
-    {
-      "code": "UDL5006",
-      "path": "$.instruments[0].actions.quote.quote.baseField"
-    }
-  ],
-  "summary": "Freeze set completeness: an offer must freeze the base amount it prices and the account it pays, or the commit fingerprints values the price never pinned.",
-  "verdict": "invalid"
-}

package/conformance/invalid/quote-freeze-set-incomplete.udl

@@ -1,261 +0,0 @@
-{
-  "instruments": [
-    {
-      "actionOrder": [
-        "create",
-        "fund",
-        "dispute",
-        "quote",
-        "refund"
-      ],
-      "actions": {
-        "create": {
-          "description": "Opens escrow against an active listing and provisions its dedicated product escrow account. The amount, currency, and seller are derived from the locked listing -- never caller-supplied -- so escrow economics are the listing's by construction.",
-          "moves": [],
-          "steps": [
-            {
-              "bind": {
-                "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
-                },
-                "owner.id": {
-                  "from": "instance",
-                  "path": "productId"
-                },
-                "owner.type": {
-                  "from": "const",
-                  "value": "product"
-                },
-                "productId": {
-                  "from": "instance",
-                  "path": "productId"
-                },
-                "role": {
-                  "from": "const",
-                  "value": "product_escrow"
-                }
-              },
-              "capture": {
-                "escrowAccountId": "accountId"
-              },
-              "operation": "account.escrow.provision"
-            }
-          ],
-          "summary": "Create an escrow order"
-        },
-        "dispute": {
-          "description": "Freezes the fully funded escrow before either milestone releases, preserving the entire balance while the parties decide what happens next.",
-          "moves": [],
-          "steps": [],
-          "summary": "Dispute an escrow order"
-        },
-        "fund": {
-          "description": "Moves the full purchase amount from the buyer account into the dedicated escrow account while the listing remains active.",
-          "moves": [
-            {
-              "bind": {
-                "amount": {
-                  "from": "instance",
-                  "path": "fields.amount"
-                },
-                "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
-                },
-                "destinationAccountId": {
-                  "from": "instance",
-                  "path": "refs.escrowAccountId"
-                },
-                "productId": {
-                  "from": "instance",
-                  "path": "productId"
-                },
-                "sourceAccountId": {
-                  "from": "instance",
-                  "path": "fields.buyerAccountId"
-                }
-              },
-              "capture": {
-                "fundTransferId": "transferId"
-              },
-              "key": "transfer",
-              "operation": "internal_transfer.create"
-            }
-          ],
-          "sandboxFailurePoint": "funding",
-          "steps": [],
-          "summary": "Fund an escrow order"
-        },
-        "quote": {
-          "description": "Calculates the full buyer refund while disputed and parks the escrow for explicit confirmation. No money moves at quote time.",
-          "moves": [],
-          "quote": {
-            "baseField": "amount",
-            "chargeRef": "unwindPenalty",
-            "charges": [
-              {
-                "bps": 0
-              }
-            ],
-            "expires": {
-              "offset": "PT15M"
-            },
-            "fixes": [
-              "buyerAccountId"
-            ],
-            "netDestinationField": "buyerAccountId",
-            "netRef": "unwindRefund"
-          },
-          "steps": [],
-          "summary": "Quote an escrow refund"
-        },
-        "refund": {
-          "commit": "quote",
-          "description": "Confirms the quoted retreat and returns the full held amount from escrow to the buyer.",
-          "moves": [
-            {
-              "bind": {
-                "amount": {
-                  "from": "instance",
-                  "path": "refs.unwindRefund"
-                },
-                "currency": {
-                  "from": "instance",
-                  "path": "fields.currency"
-                },
-                "destinationAccountId": {
-                  "from": "instance",
-                  "path": "fields.buyerAccountId"
-                },
-                "productId": {
-                  "from": "instance",
-                  "path": "productId"
-                },
-                "sourceAccountId": {
-                  "from": "instance",
-                  "path": "refs.escrowAccountId"
-                }
-              },
-              "capture": {
-                "refundTransferId": "transferId"
-              },
-              "key": "transfer",
-              "operation": "internal_transfer.create"
-            }
-          ],
-          "steps": [],
-          "summary": "Refund an escrow order"
-        }
-      },
-      "callerParkedStates": {
-        "created": "expire fires only when fundBy is set; without a funding deadline the escrow waits on the buyer to fund or cancel",
-        "disputed": "dispute resolution is a human judgment; the parties resume the escrow or quote a refund",
-        "funded": "releasing or disputing held value is a party decision; escrow deliberately holds until the parties act",
-        "refund_quoted": "a quoted refund moves money only when the caller confirms it"
-      },
-      "description": "An escrow order holds the full purchase amount and releases it to the seller exactly once. Before release, a dispute freezes the full balance until work resumes or a quoted refund is confirmed.",
-      "fields": {
-        "amount": {
-          "description": "Positive minor-unit integer amount serialized as a string (at most 18 digits)",
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string"
-        },
-        "buyerAccountId": {
-          "description": "Hyperscale account ID",
-          "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"
-        },
-        "fundBy": {
-          "format": "hyperscale-date-time",
-          "type": "string"
-        },
-        "memo": {
-          "maxLength": 180,
-          "minLength": 1,
-          "type": "string"
-        },
-        "sellerAccountId": {
-          "description": "Hyperscale account ID",
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string",
-          "x-hyperscale-reference-filter": {
-            "column": "role",
-            "values": [
-              "customer_balance"
-            ]
-          }
-        }
-      },
-      "id": "escrow_order",
-      "idPrefix": "eord",
-      "lifecycle": {
-        "initial": "created",
-        "states": [
-          "created",
-          "funded",
-          "disputed",
-          "refunded",
-          "refund_quoted"
-        ],
-        "transitions": {
-          "dispute": {
-            "from": [
-              "funded"
-            ],
-            "to": "disputed"
-          },
-          "fund": {
-            "from": [
-              "created"
-            ],
-            "to": "funded"
-          },
-          "quote": {
-            "from": [
-              "disputed"
-            ],
-            "to": "refund_quoted"
-          },
-          "refund": {
-            "from": [
-              "refund_quoted"
-            ],
-            "to": "refunded"
-          }
-        }
-      },
-      "parties": {
-        "beneficiary": "sellerAccountId",
-        "payer": "buyerAccountId"
-      },
-      "required": [
-        "buyerAccountId",
-        "sellerAccountId",
-        "amount",
-        "currency"
-      ],
-      "summary": "An escrow order whose refund quote omits its own base field.",
-      "templateId": "escrow",
-      "title": "Escrow order"
-    }
-  ],
-  "product": "quote_freeze_set",
-  "subjects": [],
-  "title": "Quote freeze set",
-  "udl": 1,
-  "version": 1
-}

package/conformance/invalid/quote-named-reference-gate.expected.json

@@ -1,10 +0,0 @@
-{
-  "issues": [
-    {
-      "code": "UDL5001",
-      "path": "$.instruments[0].actions.quote.requiresRefs[0].field"
-    }
-  ],
-  "summary": "An action named quote does not change the code for an ordinary reference-gate defect.",
-  "verdict": "invalid"
-}

package/conformance/invalid/quote-named-reference-gate.udl

@@ -1,50 +0,0 @@
-{
-  "instruments": [
-    {
-      "actionOrder": ["create", "quote"],
-      "actions": {
-        "create": {
-          "moves": [],
-          "steps": [],
-          "summary": "File the note."
-        },
-        "quote": {
-          "moves": [],
-          "requiresRefs": [
-            {
-              "field": "reference",
-              "statuses": ["open"]
-            }
-          ],
-          "steps": [],
-          "summary": "Close the note."
-        }
-      },
-      "fields": {
-        "reference": {
-          "type": "string"
-        }
-      },
-      "id": "note",
-      "idPrefix": "note",
-      "lifecycle": {
-        "initial": "open",
-        "states": ["open", "closed"],
-        "transitions": {
-          "quote": {
-            "from": ["open"],
-            "to": "closed"
-          }
-        }
-      },
-      "required": ["reference"],
-      "summary": "A note a tenant files and later closes.",
-      "title": "Note"
-    }
-  ],
-  "product": "quote_named_reference_gate",
-  "subjects": [],
-  "title": "Quote named reference gate",
-  "udl": 1,
-  "version": 1
-}

package/conformance/invalid/reconcile-named-reference-gate.expected.json

@@ -1,10 +0,0 @@
-{
-  "issues": [
-    {
-      "code": "UDL5001",
-      "path": "$.instruments[0].actions.reconcile.requiresRefs[0].field"
-    }
-  ],
-  "summary": "An action named reconcile does not change the code for an ordinary reference-gate defect.",
-  "verdict": "invalid"
-}