@hyperscale0/udl 1.0.0-beta.1 → 1.0.0

package/conformance/invalid/unknown-required-field.expected.json

@@ -0,0 +1,10 @@
+{
+  "issues": [
+    {
+      "code": "UDL2002",
+      "path": "$.instruments[0].required[6]"
+    }
+  ],
+  "summary": "Refuses required references unknown field missing.",
+  "verdict": "invalid"
+}

package/conformance/invalid/unknown-required-field.udl

@@ -0,0 +1,220 @@
+{
+  "instruments": [
+    {
+      "actionOrder": [
+        "create",
+        "revise",
+        "settle"
+      ],
+      "actions": {
+        "create": {
+          "moves": [],
+          "steps": [],
+          "summary": "Open the agreement"
+        },
+        "revise": {
+          "examples": [
+            {
+              "input": {
+                "agreementId": "agr_sandbox_agreement01",
+                "note": "Updated terms",
+                "tenantId": "ten_sandbox_example001"
+              },
+              "name": "revise_terms"
+            }
+          ],
+          "input": {
+            "additionalProperties": false,
+            "properties": {
+              "note": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "note"
+            ],
+            "type": "object"
+          },
+          "moves": [],
+          "principal": "user_session",
+          "steps": [],
+          "summary": "Revise the note",
+          "updates": [
+            "note"
+          ]
+        },
+        "settle": {
+          "deadline": {
+            "field": "closesAt"
+          },
+          "moves": [
+            {
+              "bind": {
+                "amount": {
+                  "from": "instance",
+                  "path": "refs.remainingAmount"
+                },
+                "currency": {
+                  "from": "instance",
+                  "path": "fields.currency"
+                },
+                "destinationAccountId": {
+                  "from": "instance",
+                  "path": "fields.destinationAccountId"
+                },
+                "sourceAccountId": {
+                  "from": "instance",
+                  "path": "fields.sourceAccountId"
+                }
+              },
+              "key": "settlement",
+              "operation": "internal_transfer.create"
+            }
+          ],
+          "remainder": {
+            "amountRef": "remainingAmount",
+            "onZero": "refuse",
+            "totalPath": "fields.amount"
+          },
+          "requiresChecks": [
+            {
+              "checkKind": "identity_verification",
+              "family": "national_identity",
+              "maxAge": "P30D",
+              "statuses": [
+                "completed"
+              ],
+              "subjectField": "subjectId"
+            }
+          ],
+          "sandboxFailurePoint": "release",
+          "steps": [],
+          "summary": "Settle the agreement"
+        }
+      },
+      "callerParkedStates": {
+        "open": "The owner may revise or settle the agreement."
+      },
+      "dials": [
+        {
+          "field": "closesAt",
+          "key": "settlement_window",
+          "kind": "window",
+          "maxOffset": "P30D",
+          "minOffset": "PT0S",
+          "summary": "The settlement deadline offset.",
+          "title": "Settlement window"
+        }
+      ],
+      "fields": {
+        "amount": {
+          "pattern": "^[1-9][0-9]{0,17}$",
+          "type": "string"
+        },
+        "closesAt": {
+          "format": "hyperscale-date-time",
+          "type": "string"
+        },
+        "currency": {
+          "pattern": "^[A-Z]{3}$",
+          "type": "string"
+        },
+        "destinationAccountId": {
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string"
+        },
+        "note": {
+          "type": "string"
+        },
+        "sourceAccountId": {
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string"
+        },
+        "subjectId": {
+          "type": "string"
+        }
+      },
+      "id": "agreement",
+      "idPrefix": "agr",
+      "lifecycle": {
+        "initial": "open",
+        "states": [
+          "open",
+          "closed"
+        ],
+        "transitions": {
+          "revise": {
+            "from": [
+              "open"
+            ],
+            "to": "open"
+          },
+          "settle": {
+            "from": [
+              "open"
+            ],
+            "to": "closed"
+          }
+        }
+      },
+      "nav": [
+        "Agreements"
+      ],
+      "required": [
+        "amount",
+        "closesAt",
+        "currency",
+        "destinationAccountId",
+        "sourceAccountId",
+        "subjectId",
+        "missing"
+      ],
+      "subject": {
+        "extensible": false,
+        "kinds": [
+          "asset"
+        ]
+      },
+      "summary": "One agreement with a computed final settlement.",
+      "surfaceVisibility": "public",
+      "templateId": "agreement",
+      "title": "Agreement",
+      "update": {
+        "examples": [
+          {
+            "input": {
+              "agreementId": "agr_sandbox_agreement01",
+              "note": "Updated terms",
+              "tenantId": "ten_sandbox_example001"
+            },
+            "name": "revise_terms"
+          }
+        ],
+        "fields": [
+          "note"
+        ],
+        "states": [
+          "open"
+        ]
+      }
+    }
+  ],
+  "product": "complete_contract",
+  "subjects": [
+    {
+      "declaredValue": "none",
+      "kind": "asset",
+      "schema": {
+        "additionalProperties": false,
+        "properties": {},
+        "type": "object"
+      },
+      "title": "Asset",
+      "version": 1
+    }
+  ],
+  "title": "Complete contract",
+  "udl": 1,
+  "version": 1
+}
+

package/conformance/invalid/unreachable-state.expected.json

@@ -1,8 +1,8 @@
 {
   "issues": [
     {
-      "code": "invalid_semantics",
-      "path": "$.nouns[0].lifecycle.states[2]"
+      "code": "UDL3001",
+      "path": "$.instruments[0].lifecycle.states[2]"
     }
   ],
   "summary": "Lifecycle closure: a state no transition can reach is a typo, not a state.",

package/conformance/invalid/unreachable-state.udl

@@ -1,5 +1,5 @@
 {
-  "nouns": [
+  "instruments": [
     {
       "fields": {
         "reference": {
@@ -29,7 +29,11 @@
       ],
       "summary": "A note a tenant files and later closes.",
       "title": "Note",
-      "verbs": {
+      "actionOrder": [
+        "close",
+        "create"
+      ],
+      "actions": {
         "close": {
           "moves": [],
           "steps": [],

package/conformance/invalid/wrong-exception-amount-field.expected.json

@@ -0,0 +1,10 @@
+{
+  "issues": [
+    {
+      "code": "UDL5010",
+      "path": "$.instruments[4].actions.reconcile.reconcile[0].exception.amountField"
+    }
+  ],
+  "summary": "Refuses seller_payout_debit_adjustment.adjustmentReference must be a money field.",
+  "verdict": "invalid"
+}