@hyperscale0/udl 1.0.0-rc.1 → 1.0.123

package/conformance/invalid/blank-title.udl

@@ -1,54 +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": "   ",
-  "udl": 1,
-  "version": 1
-}

package/conformance/invalid/composition-dial-duplicate-key.expected.json

@@ -1,10 +0,0 @@
-{
-  "issues": [
-    {
-      "code": "UDL2001",
-      "path": "$.dials[1]"
-    }
-  ],
-  "summary": "Composition dial keys are unique across the document, the same way instrument dial keys are unique within an instrument.",
-  "verdict": "invalid"
-}

package/conformance/invalid/composition-dial-duplicate-key.udl

@@ -1,73 +0,0 @@
-{
-  "dials": [
-    {
-      "key": "confirmation_threshold",
-      "kind": "confirmation_threshold",
-      "maxMinor": 500000,
-      "summary": "Money-moving calls below this amount skip the explicit confirmation argument.",
-      "title": "Confirmation threshold"
-    },
-    {
-      "key": "confirmation_threshold",
-      "kind": "confirmation_threshold",
-      "maxMinor": 500000,
-      "summary": "Money-moving calls below this amount skip the explicit confirmation argument.",
-      "title": "Second threshold"
-    }
-  ],
-  "instruments": [
-    {
-      "actionOrder": [
-        "close",
-        "create"
-      ],
-      "actions": {
-        "close": {
-          "agentDescription": "Close a note that has already been filed. Takes the note id and nothing else, and moves no money.",
-          "moves": [],
-          "steps": [],
-          "summary": "Close the note."
-        },
-        "create": {
-          "agentDescription": "File a new note against the tenant. Ask the operator for the reference text first; it cannot be edited afterwards.",
-          "moves": [],
-          "steps": [],
-          "summary": "File the note."
-        }
-      },
-      "agentDescription": "A filed note. Read it to recover the reference an operator recorded, and close it when the matter it tracks is settled.",
-      "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/depth-budget.expected.json

@@ -1,10 +0,0 @@
-{
-  "issues": [
-    {
-      "code": "UDL1004",
-      "path": "$.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested.nested"
-    }
-  ],
-  "summary": "Admission budgets are part of the format: nesting past 24 levels is refused before validation.",
-  "verdict": "invalid"
-}

package/conformance/invalid/depth-budget.udl

@@ -1,49 +0,0 @@
-{
-  "nested": {
-    "nested": {
-      "nested": {
-        "nested": {
-          "nested": {
-            "nested": {
-              "nested": {
-                "nested": {
-                  "nested": {
-                    "nested": {
-                      "nested": {
-                        "nested": {
-                          "nested": {
-                            "nested": {
-                              "nested": {
-                                "nested": {
-                                  "nested": {
-                                    "nested": {
-                                      "nested": {
-                                        "nested": {
-                                          "nested": {
-                                            "nested": {
-                                              "nested": {
-                                                "nested": {}
-                                              }
-                                            }
-                                          }
-                                        }
-                                      }
-                                    }
-                                  }
-                                }
-                              }
-                            }
-                          }
-                        }
-                      }
-                    }
-                  }
-                }
-              }
-            }
-          }
-        }
-      }
-    }
-  }
-}

package/conformance/invalid/duplicate-subject.expected.json

@@ -1,10 +0,0 @@
-{
-  "issues": [
-    {
-      "code": "UDL2001",
-      "path": "$.subjects[1]"
-    }
-  ],
-  "summary": "Refuses duplicate subject kind asset; first declared at index 0.",
-  "verdict": "invalid"
-}

package/conformance/invalid/duplicate-subject.udl

@@ -1,230 +0,0 @@
-{
-  "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

@@ -1,10 +0,0 @@
-{
-  "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

@@ -1,76 +0,0 @@
-{
-  "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,10 +0,0 @@
-{
-  "issues": [
-    {
-      "code": "UDL1003",
-      "path": "$.udl"
-    }
-  ],
-  "summary": "A document declares its format version literally; format 2 does not exist yet.",
-  "verdict": "invalid"
-}

package/conformance/invalid/format-version.udl

@@ -1,54 +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": 2,
-  "version": 1
-}

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

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

package/conformance/invalid/instrument-id-not-snake-case.udl

@@ -1,54 +0,0 @@
-{
-  "instruments": [
-    {
-      "fields": {
-        "reference": {
-          "type": "string"
-        }
-      },
-      "id": "noteItem",
-      "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
-}

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

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