@hyperscale0/udl 2.6.0 → 3.0.0

package/conformance/valid/agent-description.expected.json

@@ -1,6 +0,0 @@
-{
-  "canonical": "agent-description.udl",
-  "digest": "acb231f45ef6283f1dc795b4f0d30463cd8cb9ac8555bdb4ce244eb1bd5c81ba",
-  "summary": "Agent-facing prose on an instrument and on both its actions, beside the composition confirmation-threshold dial.",
-  "verdict": "valid"
-}

package/conformance/valid/agent-description.udl

@@ -1,66 +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"
-    }
-  ],
-  "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/valid/attested.expected.json

@@ -1,6 +0,0 @@
-{
-  "canonical": "attested.udl",
-  "digest": "aa584ac3a220b85cff4c2f36ae56324427b5905ac549a89f7be4a403c3ce006d",
-  "summary": "Server-bound request authority and one approved decision with engine-owned consumption",
-  "verdict": "valid"
-}

package/conformance/valid/attested.udl

@@ -1,251 +0,0 @@
-{
-  "instruments": [
-    {
-      "actionOrder": [
-        "create",
-        "approve",
-        "consume"
-      ],
-      "actions": {
-        "approve": {
-          "agentDescription": "Record the bound deciding account.",
-          "effects": {
-            "decides": [
-              {
-                "signature": "decides.tenant_port",
-                "source": "port"
-              }
-            ]
-          },
-          "moves": [],
-          "port": {
-            "allowedParties": [
-              "decider"
-            ],
-            "capture": "decidedBy"
-          },
-          "steps": [],
-          "summary": "Approve instrument"
-        },
-        "consume": {
-          "agentDescription": "Consume this approval within the admitted operation.",
-          "captureEngine": {
-            "consumedByOperationId": "operationId"
-          },
-          "engineOwned": true,
-          "moves": [],
-          "steps": [],
-          "summary": "Consume instrument"
-        },
-        "create": {
-          "agentDescription": "Store the immutable request terms.",
-          "moves": [],
-          "requestAuthority": {
-            "actionField": "actionName",
-            "digestField": "digest",
-            "expiresField": "expiry",
-            "inputField": "requestInput",
-            "instanceField": "requestId",
-            "instrumentField": "requestInstrument",
-            "party": "decider",
-            "roleField": "role"
-          },
-          "steps": [],
-          "summary": "Create instrument"
-        }
-      },
-      "agentDescription": "Record approval for one exact request.",
-      "fields": {
-        "actionName": {
-          "type": "string"
-        },
-        "decidedBy": {
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "deciderAccount": {
-          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "digest": {
-          "pattern": "^[a-f0-9]{64}$",
-          "type": "string"
-        },
-        "expiry": {
-          "format": "hyperscale-date-time",
-          "type": "string"
-        },
-        "requestId": {
-          "type": "string"
-        },
-        "requestInput": {
-          "additionalProperties": true,
-          "type": "object"
-        },
-        "requestInstrument": {
-          "type": "string"
-        },
-        "role": {
-          "type": "string"
-        }
-      },
-      "id": "approval",
-      "idPrefix": "apr",
-      "lifecycle": {
-        "initial": "requested",
-        "states": [
-          "requested",
-          "approved",
-          "consumed"
-        ],
-        "transitions": {
-          "approve": {
-            "from": [
-              "requested"
-            ],
-            "to": "approved"
-          },
-          "consume": {
-            "from": [
-              "approved"
-            ],
-            "to": "consumed"
-          }
-        }
-      },
-      "parties": {
-        "decider": "deciderAccount"
-      },
-      "required": [
-        "deciderAccount",
-        "requestId",
-        "requestInstrument",
-        "actionName",
-        "digest",
-        "role",
-        "expiry"
-      ],
-      "summary": "Approval instrument",
-      "title": "Approval"
-    },
-    {
-      "actionOrder": [
-        "create",
-        "accept"
-      ],
-      "actions": {
-        "accept": {
-          "agentDescription": "Accept the exact approved amount once.",
-          "effects": {
-            "decides": [
-              {
-                "signature": "decides.referenced_transition",
-                "source": "transitionsRefs[0]"
-              }
-            ],
-            "reads": [
-              {
-                "signature": "reads.requires_refs",
-                "source": "requiresRefs"
-              }
-            ]
-          },
-          "input": {
-            "additionalProperties": false,
-            "properties": {
-              "amount": {
-                "pattern": "^[1-9][0-9]{0,17}$",
-                "type": "string",
-                "x-hyperscale-currency": "SAR"
-              }
-            },
-            "required": [
-              "amount"
-            ],
-            "type": "object"
-          },
-          "moves": [],
-          "requiresInput": {
-            "amount": "fields.amount"
-          },
-          "requiresRefs": [
-            {
-              "attests": {
-                "action": "fields.actionName",
-                "consume": "consume",
-                "digest": "fields.digest",
-                "expiresAt": "fields.expiry",
-                "instrument": "fields.requestInstrument",
-                "party": "decider",
-                "role": "fields.role"
-              },
-              "field": "approvalId",
-              "match": {
-                "instrumentInstanceId": "fields.requestId"
-              },
-              "statuses": [
-                "approved"
-              ]
-            }
-          ],
-          "steps": [],
-          "summary": "Accept instrument"
-        },
-        "create": {
-          "agentDescription": "Store the immutable request terms.",
-          "moves": [],
-          "steps": [],
-          "summary": "Create instrument"
-        }
-      },
-      "agentDescription": "Admit only the independently approved request.",
-      "fields": {
-        "amount": {
-          "pattern": "^[1-9][0-9]{0,17}$",
-          "type": "string",
-          "x-hyperscale-currency": "SAR"
-        },
-        "approvalId": {
-          "pattern": "^apr_(sandbox|live)_[a-z0-9]{8,64}$",
-          "type": "string"
-        },
-        "currency": {
-          "description": "ISO 4217 currency code",
-          "maxLength": 3,
-          "minLength": 3,
-          "pattern": "^[A-Z]{3}$",
-          "type": "string"
-        }
-      },
-      "id": "request",
-      "idPrefix": "req",
-      "lifecycle": {
-        "initial": "open",
-        "states": [
-          "open",
-          "done"
-        ],
-        "transitions": {
-          "accept": {
-            "from": [
-              "open"
-            ],
-            "to": "done"
-          }
-        }
-      },
-      "required": [
-        "approvalId",
-        "amount",
-        "currency"
-      ],
-      "summary": "Request instrument",
-      "title": "Request"
-    }
-  ],
-  "product": "attested",
-  "subjects": [],
-  "title": "Attested action",
-  "udl": 1,
-  "version": 1
-}

package/conformance/valid/cards.expected.json

@@ -1,6 +0,0 @@
-{
-  "canonical": "cards.udl",
-  "digest": "88e78d45c95da1c3a3e53a75ce9a817c8d52a87ac6525d56ddd6322e0da05cce",
-  "summary": "Card issuing: authorizations, transactions, and refunds over the sealed kernel.",
-  "verdict": "valid"
-}