@hyperscale0/udl 2.6.0 → 3.0.0

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

@@ -1,50 +0,0 @@
-{
-  "instruments": [
-    {
-      "actionOrder": ["create", "reconcile"],
-      "actions": {
-        "create": {
-          "moves": [],
-          "steps": [],
-          "summary": "File the note."
-        },
-        "reconcile": {
-          "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": {
-          "reconcile": {
-            "from": ["open"],
-            "to": "closed"
-          }
-        }
-      },
-      "required": ["reference"],
-      "summary": "A note a tenant files and later closes.",
-      "title": "Note"
-    }
-  ],
-  "product": "reconcile_named_reference_gate",
-  "subjects": [],
-  "title": "Reconcile named reference gate",
-  "udl": 1,
-  "version": 1
-}

package/conformance/invalid/unfund-order-not-reversed.expected.json

@@ -1,10 +0,0 @@
-{
-  "issues": [
-    {
-      "code": "UDL5013",
-      "path": "$.instruments[0].piecePlan.unfund_order"
-    }
-  ],
-  "summary": "Unfund order is the exact reverse of fund order.",
-  "verdict": "invalid"
-}

package/conformance/invalid/unfund-order-not-reversed.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": "inherit",
-              "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": [
-          "p1",
-          "p2"
-        ]
-      },
-      "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/unknown-key.expected.json

@@ -1,10 +0,0 @@
-{
-  "issues": [
-    {
-      "code": "UDL1003",
-      "path": "$"
-    }
-  ],
-  "summary": "The grammar is closed: an unrecognized top-level key is refused, never ignored.",
-  "verdict": "invalid"
-}

package/conformance/invalid/unknown-key.udl

@@ -1,55 +0,0 @@
-{
-  "instruments": [
-    {
-      "fields": {
-        "reference": {
-          "type": "string"
-        }
-      },
-      "id": "note",
-      "idPrefix": "note",
-      "lifecycle": {
-        "initial": "open",
-        "states": [
-          "open",
-          "closed"
-        ],
-        "transitions": {
-          "close": {
-            "from": [
-              "open"
-            ],
-            "to": "closed"
-          }
-        }
-      },
-      "required": [
-        "reference"
-      ],
-      "summary": "A note a tenant files and later closes.",
-      "title": "Note",
-      "actionOrder": [
-        "close",
-        "create"
-      ],
-      "actions": {
-        "close": {
-          "moves": [],
-          "steps": [],
-          "summary": "Close the note."
-        },
-        "create": {
-          "moves": [],
-          "steps": [],
-          "summary": "File the note."
-        }
-      }
-    }
-  ],
-  "product": "minimal",
-  "subjects": [],
-  "title": "Minimal",
-  "udl": 1,
-  "version": 1,
-  "notes": "hello"
-}

package/conformance/invalid/unknown-reference-gate-field.expected.json

@@ -1,10 +0,0 @@
-{
-  "issues": [
-    {
-      "code": "UDL5001",
-      "path": "$.instruments[2].actions.create.requiresRefs[0].field"
-    }
-  ],
-  "summary": "Refuses gate references unknown field missing.",
-  "verdict": "invalid"
-}