@hyperscale0/udl 1.0.0-beta.1 → 1.0.0

package/conformance/invalid/duplicate-subject.udl

@@ -0,0 +1,230 @@
+{
+  "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"
+      ],
+      "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
+    },
+    {
+      "declaredValue": "none",
+      "kind": "asset",
+      "schema": {
+        "additionalProperties": false,
+        "properties": {},
+        "type": "object"
+      },
+      "title": "Asset",
+      "version": 1
+    }
+  ],
+  "title": "Complete contract",
+  "udl": 1,
+  "version": 1
+}
+

package/conformance/invalid/forged-effects.expected.json

@@ -0,0 +1,10 @@
+{
+  "issues": [
+    {
+      "code": "UDL2005",
+      "path": "$.instruments[0].actions.close.effects.decides"
+    }
+  ],
+  "summary": "Authored effects must equal the rows derived from clauses.",
+  "verdict": "invalid"
+}

package/conformance/invalid/forged-effects.udl

@@ -0,0 +1,76 @@
+{
+  "instruments": [
+    {
+      "actionOrder": [
+        "create",
+        "close"
+      ],
+      "actions": {
+        "close": {
+          "decision": {
+            "capability": "identity_verification",
+            "deadlineMs": 15000,
+            "onTimeout": "decline"
+          },
+          "effects": {
+            "decides": [
+              {
+                "signature": "decides.forged",
+                "source": "decision"
+              }
+            ],
+            "notifies": [
+              {
+                "channel": "email",
+                "role": "beneficiary",
+                "signature": "notifies.email",
+                "source": "effects.notifies[0]"
+              }
+            ]
+          },
+          "moves": [],
+          "steps": [],
+          "summary": "Close the note."
+        },
+        "create": {
+          "moves": [],
+          "steps": [],
+          "summary": "File the note."
+        }
+      },
+      "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"
+    }
+  ],
+  "product": "minimal",
+  "subjects": [],
+  "title": "Minimal",
+  "udl": 1,
+  "version": 1
+}
+

package/conformance/invalid/format-version.expected.json

@@ -1,7 +1,7 @@
 {
   "issues": [
     {
-      "code": "invalid_shape",
+      "code": "UDL1003",
       "path": "$.udl"
     }
   ],

package/conformance/invalid/format-version.udl

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

package/conformance/invalid/instrument-id-not-snake-case.expected.json

@@ -0,0 +1,10 @@
+{
+  "issues": [
+    {
+      "code": "UDL1003",
+      "path": "$.instruments[0].id"
+    }
+  ],
+  "summary": "Naming law: instrument ids are snake_case, singular, plain business English.",
+  "verdict": "invalid"
+}

package/conformance/invalid/{noun-id-not-snake-case.udl → instrument-id-not-snake-case.udl}

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

package/conformance/invalid/invalid-aggregate-gate-shape.expected.json

@@ -0,0 +1,10 @@
+{
+  "issues": [
+    {
+      "code": "UDL5004",
+      "path": "$.instruments[1].actions.complete.requiresAggregate[0].instrumentId"
+    }
+  ],
+  "summary": "Refuses Invalid input: expected string, received number.",
+  "verdict": "invalid"
+}