@hyperscale0/udl 1.0.0 → 2.0.0

package/CHANGELOG.md

@@ -4,15 +4,30 @@ All notable changes to this package are documented here. The format follows
 [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this package
 follows [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-Format version and package version are different numbers. Format 1 is unstable
-until the package reaches 1.0.0; any change to what format 1 accepts is listed
-here under the release that made it.
+Format version and package version are different numbers.
 
 ## [Unreleased]
 
+## [2.0.0] - 2026-09-10
+
+Published in lockstep with HSX 2.0.0.
+
+### Added
+
+- Money field schemas may carry `x-hyperscale-currency`; `UDL6001` refuses any value that is not a three-letter uppercase code on a string schema.
+- `dateComparison` reference laws compare a local date field against a referenced instrument's date field with a matched-field guard.
+- Aggregate invariants sum integer supply fields, not only money fields, so share allocations cannot exceed an offering's supply.
+- `validateUdl` takes options, and the document schema gains `journey` and composition dial definitions.
+- Evolution comparison reports a changed `sandboxFailurePoint`.
+
+### Changed
+
+- Finance laws know the declared parties: distinct declared parties never alias, and terminal stranding applies only to `ref:` accounts.
+- Field descriptions are prose and no longer part of the frozen schema; the migration plan says recompose is refused when a frozen field changes.
+
 ## [1.0.0] - 2026-09-04
 
-This release is byte-identical to 1.0.0-rc.1. Later changes bump under the contract-diff tiers.
+This release is byte-identical to 1.0.0-rc.1.
 
 ## [1.0.0-rc.1] - 2026-09-02
 

package/README.md

@@ -1,10 +1,8 @@
-# UDL
-
-UDL is the Universal Domain Language, the canonical JSON contract for a financial product. One `.udl` file declares subjects, instruments, lifecycles, actions, and money movement. An engine can admit that document without reading the source language that produced it.
+![UDL: The contract between a product and its engine.](docs/assets/udl.svg)
 
-UDL keeps provider machinery below the format. It has no file drops, polling loops, cutoff jobs, scheme messages, or provider statement schemas. The `reconcile` clause names settlement evidence against a declared provider-side row. It does not model the provider file or transport.
+# UDL
 
-This package contains the parser, semantic validator, canonical serializer, append-only evolution diff, JSON Schema, and conformance corpus.
+UDL is the Universal Domain Language, the canonical JSON contract for a financial product. One `.udl` file declares subjects, instruments, lifecycles, actions, and money movement. An engine admits that document without reading the source language that produced it. UDL keeps provider machinery below the format: it has no file drops, polling loops, cutoff jobs, scheme messages, or provider statement schemas. The `reconcile` clause names settlement evidence against a declared provider-side row; it does not model provider transport or matching machinery.
 
 ## Install
 
@@ -12,11 +10,11 @@ This package contains the parser, semantic validator, canonical serializer, appe
 npm install @hyperscale0/udl
 ```
 
-`1.0.0` freezes format 1. Pin version 1.0.0 while testing another implementation.
+This package contains the parser, semantic validator, canonical serializer, append-only evolution diff, JSON Schema, and conformance corpus.
 
-## Thirty seconds
+## First document
 
-`note.udl` is the smallest admitted document.
+Save this document as `note.udl`:
 
 ```json
 {
@@ -48,6 +46,18 @@ npm install @hyperscale0/udl
 }
 ```
 
+Check the document with the CLI:
+
+```bash
+npx udl validate note.udl
+npx udl fmt note.udl --write
+npx udl canon note.udl --digest
+```
+
+Exit code `0` means success. Exit code `1` means the validator refused the document. Exit code `2` means the invocation or file read failed.
+
+In TypeScript, parse, validate, and compare documents directly:
+
 ```ts
 import { readFile, writeFile } from "node:fs/promises";
 import {
@@ -69,26 +79,7 @@ const previous = parseUdl(await readFile("note.previous.udl"));
 const violations = diffValidatedUdlEvolution(previous, document);
 ```
 
-Every issue has a stable `UDL####` code, a category, a JSON path, a message, and a fix. Messages may become clearer. Codes do not change once published.
-
-`parseUdl` accepts a string or `Uint8Array` and rejects malformed UTF-8. `serializeUdl` validates before writing. It sorts object keys by UTF-16 code unit, keeps array order, uses two-space indentation, and writes one final line feed. `canonicalDigest` hashes those UTF-8 bytes with SHA-256 and returns a promise for the lowercase hexadecimal digest.
-
-The seven kernel operations are `internal_transfer.create`, `internal_transfer.reserve`, `internal_transfer.post`, `internal_transfer.void`, `account.escrow.provision`, `account.freeze`, and `account.unfreeze`. A `payout` is an execution intent, not another kernel operation.
-
-The compiler derives action `effects` from clauses. The validator rejects a supplied effects object unless every row and its order match. Derived effects do not consume the authored node budget.
-
-## Command line
-
-```bash
-udl validate product.udl
-udl fmt product.udl --write
-udl canon product.udl
-udl canon product.udl --digest
-udl diff frozen.udl product.udl
-udl explain UDL5001
-```
-
-Exit code `0` means success. Exit code `1` means the validator or evolution law refused the document. Exit code `2` means the invocation or file read failed.
+The evolution diff API (`diffValidatedUdlEvolution`, `diffInstrumentEvolution`, and `npx udl diff`) verifies that changes between two product versions are append-only. Adding optional fields, states, transitions, and actions is permitted; removing, renaming, or tightening existing structures returns `UDL7xxx` violation issues.
 
 ## Documentation
 
@@ -96,15 +87,12 @@ Exit code `0` means success. Exit code `1` means the validator or evolution law
 - [Format specification](spec/README.md)
 - [Canonical bytes law](docs/reference/canonical.md)
 - [Stable diagnostics](docs/reference/diagnostics.md)
-- [Conformance runner contract](conformance/README.md)
+- [Conformance suite](conformance/README.md)
 - [Agent skill](skills/udl/SKILL.md)
+- [Contributing](CONTRIBUTING.md)
 
-## Versioning
-
-The literal `"udl": 1` is the format version. The version in `package.json` is the package version. They move independently. After package version `1.0.0`, an incompatible format change uses a new format literal and keeps an explicit reader for stored format 1 documents during its stated support window.
-
-## Contributing and license
+## License and security
 
-Hyperscale accepts format proposals as issues with a use case and the conformance case they would add. See [CONTRIBUTING.md](CONTRIBUTING.md) for setup and proof commands.
+UDL is licensed under AGPL-3.0-only, with a commercial license available from Hyperscale LLC. See [LICENSE](LICENSE), [LICENSING.md](LICENSING.md), and [TRADEMARKS.md](TRADEMARKS.md).
 
-UDL is AGPL-3.0-only. Hyperscale LLC also offers a commercial license. See [LICENSING.md](LICENSING.md) and [TRADEMARKS.md](TRADEMARKS.md).
+Vulnerability reports go through private disclosure as described in [SECURITY.md](SECURITY.md).

package/conformance/invalid/invalid-journeys.expected.json

@@ -0,0 +1,26 @@
+{
+  "summary": "Authored journeys reject unknown operations, unknown examples, missing bindings, invalid transitions, and duplicate step ids.",
+  "verdict": "invalid",
+  "issues": [
+    {
+      "code": "journey_unknown_operation",
+      "path": "$.instruments[0].journeys[0].steps[0].operation"
+    },
+    {
+      "code": "journey_unknown_example",
+      "path": "$.instruments[0].journeys[1].steps[0].example"
+    },
+    {
+      "code": "journey_unbound_reference",
+      "path": "$.instruments[0].journeys[2].steps[1].bind.noteId"
+    },
+    {
+      "code": "journey_invalid_transition",
+      "path": "$.instruments[0].journeys[3].steps[2].operation"
+    },
+    {
+      "code": "journey_duplicate_step_id",
+      "path": "$.instruments[0].journeys[4].steps[1].id"
+    }
+  ]
+}

package/conformance/invalid/invalid-journeys.udl

@@ -0,0 +1,79 @@
+{
+  "instruments": [
+    {
+      "actionOrder": ["create", "close"],
+      "actions": {
+        "create": {
+          "examples": [{ "input": { "reference": "example" }, "name": "default" }],
+          "moves": [],
+          "steps": [],
+          "summary": "File the note."
+        },
+        "close": {
+          "examples": [{ "input": {}, "name": "default" }],
+          "moves": [],
+          "steps": [],
+          "summary": "Close the note."
+        }
+      },
+      "fields": { "reference": { "type": "string" } },
+      "id": "note",
+      "idPrefix": "note",
+      "journeys": [
+        {
+          "id": "unknown_operation",
+          "label": "Unknown operation",
+          "steps": [{ "bind": {}, "example": "default", "operation": "note.missing" }],
+          "summary": "Refuse an unknown operation."
+        },
+        {
+          "id": "unknown_example",
+          "label": "Unknown example",
+          "steps": [{ "bind": {}, "example": "missing", "operation": "note.create" }],
+          "summary": "Refuse an unknown example."
+        },
+        {
+          "id": "unbound_reference",
+          "label": "Unbound reference",
+          "steps": [
+            { "bind": {}, "example": "default", "id": "note", "operation": "note.create" },
+            { "bind": {}, "example": "default", "operation": "note.close" }
+          ],
+          "summary": "Refuse an unbound reference."
+        },
+        {
+          "id": "invalid_transition",
+          "label": "Invalid transition",
+          "steps": [
+            { "bind": {}, "example": "default", "id": "note", "operation": "note.create" },
+            { "bind": { "noteId": "note" }, "example": "default", "operation": "note.close" },
+            { "bind": { "noteId": "note" }, "example": "default", "operation": "note.close" }
+          ],
+          "summary": "Refuse an invalid transition."
+        },
+        {
+          "id": "duplicate_step_id",
+          "label": "Duplicate step id",
+          "steps": [
+            { "bind": {}, "example": "default", "id": "duplicate", "operation": "note.create" },
+            { "bind": {}, "example": "default", "id": "duplicate", "operation": "note.create" }
+          ],
+          "summary": "Refuse a duplicate step id."
+        }
+      ],
+      "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": "invalid_journeys",
+  "subjects": [],
+  "title": "Invalid journeys",
+  "udl": 1,
+  "version": 1
+}

package/conformance/valid/commerce-escrow.expected.json

@@ -1,6 +1,6 @@
 {
   "canonical": "commerce-escrow.udl",
-  "digest": "1fedf9ed3a071fa0356d3d5053960d9839bb3d8dd2f7ccecc002b08a9a35a483",
+  "digest": "93d7507312044665d50b9913350ab6ed54c6733af044840e133b263b10224daf",
   "summary": "Marketplace escrow: funds held on order, released to the seller on delivery.",
   "verdict": "valid"
 }

package/conformance/valid/commerce-escrow.udl

@@ -841,7 +841,7 @@
         },
         "create": {
           "agentDescription": "Open escrow against an active listing and provision its dedicated escrow account. No money moves yet. The listing must be active, and its asking price, currency, and seller account are copied onto the escrow, so passing an amount is neither needed nor allowed.",
-          "description": "Opens escrow against an active listing and provisions its dedicated product escrow account. The held amount is always the listing's askingPrice and is not caller supplied. For a security deposit use the standard library module security_deposit, and for a rental or booking fee use cancellable_booking. Both live under open/hsx/std/settlements.",
+          "description": "Opens escrow against an active listing and provisions its dedicated product escrow account. The held amount is always the listing's askingPrice and is not caller supplied. For a security deposit use the standard library module security_deposit, and for a rental or booking fee use cancellable_booking. Both live under open/hsx/std/money_flows.",
           "effects": {
             "reads": [
               {

package/conformance/valid/hand-edited.expected.json

@@ -1,6 +1,6 @@
 {
   "canonical": "minimal.udl",
-  "digest": "c21d198d69e9d4cadb33aaacf37581bb388e4a8964b7fc284606cfa9f65d35bb",
+  "digest": "d7a742548bf559eaa3101e09e0c404190957e34854b220ca010d145d4fd9cae6",
   "summary": "Compact, reverse-ordered bytes canonicalize to minimal.udl.",
   "verdict": "valid"
 }

package/conformance/valid/hand-edited.udl

@@ -1 +1 @@
-{"version":1,"udl":1,"title":"Minimal","subjects":[],"product":"minimal","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."}}}]}
+{"version":1,"udl":1,"title":"Minimal","subjects":[],"product":"minimal","instruments":[{"fields":{"reference":{"type":"string"}},"id":"note","idPrefix":"note","journeys":[{"id":"file_note","label":"File a note","steps":[{"bind":{},"example":"default","id":"note","operation":"note.create"}],"summary":"File a 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":{"examples":[{"input":{"reference":"example"},"name":"default"}],"moves":[],"steps":[],"summary":"File the note."}}}]}

package/conformance/valid/minimal.expected.json

@@ -1,6 +1,6 @@
 {
   "canonical": "minimal.udl",
-  "digest": "c21d198d69e9d4cadb33aaacf37581bb388e4a8964b7fc284606cfa9f65d35bb",
+  "digest": "d7a742548bf559eaa3101e09e0c404190957e34854b220ca010d145d4fd9cae6",
   "summary": "The smallest document the grammar and the semantic laws both accept.",
   "verdict": "valid"
 }

package/conformance/valid/minimal.udl

@@ -12,6 +12,14 @@
           "summary": "Close the note."
         },
         "create": {
+          "examples": [
+            {
+              "input": {
+                "reference": "example"
+              },
+              "name": "default"
+            }
+          ],
           "moves": [],
           "steps": [],
           "summary": "File the note."
@@ -24,6 +32,21 @@
       },
       "id": "note",
       "idPrefix": "note",
+      "journeys": [
+        {
+          "id": "file_note",
+          "label": "File a note",
+          "steps": [
+            {
+              "bind": {},
+              "example": "default",
+              "id": "note",
+              "operation": "note.create"
+            }
+          ],
+          "summary": "File a note."
+        }
+      ],
       "lifecycle": {
         "initial": "open",
         "states": [

package/dist/check-profiles.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check-profiles.d.ts","sourceRoot":"","sources":["../src/check-profiles.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAwDkB,CAAC;AAExD,6EAA6E;AAC7E,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,GAChB,uBAAuB,GAAG,SAAS,CAIrC"}
+{"version":3,"file":"check-profiles.d.ts","sourceRoot":"","sources":["../src/check-profiles.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,eAAO,MAAM,wBAAwB;qBAEzB,mBAAmB;wBAChB,uBAAuB;wBACvB,WAAW;0BACT,oBAAoB;;;qBAWzB,mBAAmB;wBAChB,gCAAgC;wBAChC,WAAW;0BACT,aAAa;;;qBAIlB,eAAe;wBACZ,kBAAkB;wBAClB,aAAa;0BACX,cAAc;;;qBAInB,eAAe;wBACZ,oBAAoB;wBACpB,aAAa;0BACX,cAAc;;;qBAInB,eAAe;wBACZ,iBAAiB;wBACjB,aAAa;0BACX,cAAc;;;qBAInB,qBAAqB;wBAClB,QAAQ;wBACR,WAAW;0BACT,iBAAiB;;;qBAItB,wBAAwB;wBACrB,cAAc;0BACZ,eAAe;;EAGuB,CAAC;AAExD,6EAA6E;AAC7E,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,GAChB,uBAAuB,GAAG,SAAS,CAIrC"}

package/dist/diagnostics.d.ts

@@ -1,5 +1,5 @@
 export type UdlIssueCategory = "invalid_evolution" | "invalid_json" | "invalid_semantics" | "invalid_shape" | "invalid_utf8" | "resource_limit";
-export type UdlDiagnosticFamily = "admission" | "document" | "evolution" | "finance" | "gates" | "lifecycle" | "schema";
+export type UdlDiagnosticFamily = "admission" | "document" | "evolution" | "finance" | "gates" | "journey" | "lifecycle" | "schema";
 declare const diagnosticDefinitions: {
     readonly UDL1001: {
         readonly category: "invalid_utf8";
@@ -133,6 +133,36 @@ declare const diagnosticDefinitions: {
         readonly title: "Unsupported JSON Schema";
         readonly fix: "Use only the sealed UDL JSON Schema subset.";
     };
+    readonly journey_unknown_operation: {
+        readonly category: "invalid_semantics";
+        readonly family: "journey";
+        readonly title: "Journey operation is not in the composition";
+        readonly fix: "Name an operation in the composition closure.";
+    };
+    readonly journey_unknown_example: {
+        readonly category: "invalid_semantics";
+        readonly family: "journey";
+        readonly title: "Journey example does not exist";
+        readonly fix: "Name an authored example on the journey operation.";
+    };
+    readonly journey_invalid_transition: {
+        readonly category: "invalid_semantics";
+        readonly family: "journey";
+        readonly title: "Journey lifecycle transition is invalid";
+        readonly fix: "Order the steps so each action starts from the state produced by earlier steps.";
+    };
+    readonly journey_unbound_reference: {
+        readonly category: "invalid_semantics";
+        readonly family: "journey";
+        readonly title: "Journey reference is unbound or has the wrong kind";
+        readonly fix: "Bind every reference input to an earlier step that creates the required kind.";
+    };
+    readonly journey_duplicate_step_id: {
+        readonly category: "invalid_semantics";
+        readonly family: "journey";
+        readonly title: "Journey step id is duplicated";
+        readonly fix: "Give every named step in the journey a unique id.";
+    };
     readonly UDL7001: {
         readonly category: "invalid_evolution";
         readonly family: "evolution";

package/dist/diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,gBAAgB,GACxB,mBAAmB,GACnB,cAAc,GACd,mBAAmB,GACnB,eAAe,GACf,cAAc,GACd,gBAAgB,CAAC;AAErB,MAAM,MAAM,mBAAmB,GAC3B,WAAW,GACX,UAAU,GACV,WAAW,GACX,SAAS,GACT,OAAO,GACP,WAAW,GACX,QAAQ,CAAC;AAEb,QAAA,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+J1B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,MAAM,OAAO,qBAAqB,CAAC;AAE9D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,eAAO,MAAM,cAAc,EAAE,SAAS,aAAa,EAKhD,CAAC;AAEJ,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAErE;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,KAAK,CACnB,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,MAAM,EACZ,aAAa,CAAC,EAAE,MAAM,GACrB,QAAQ,CASV"}
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,gBAAgB,GACxB,mBAAmB,GACnB,cAAc,GACd,mBAAmB,GACnB,eAAe,GACf,cAAc,GACd,gBAAgB,CAAC;AAErB,MAAM,MAAM,mBAAmB,GAC3B,WAAW,GACX,UAAU,GACV,WAAW,GACX,SAAS,GACT,OAAO,GACP,SAAS,GACT,WAAW,GACX,QAAQ,CAAC;AAEb,QAAA,MAAM,qBAAqB;;iBAEvB,QAAQ,EAAE,cAAc;iBACxB,MAAM,EAAE,WAAW;iBACnB,KAAK,EAAE,eAAe;iBACtB,GAAG,EAAE,qCAAqC;;;iBAG1C,QAAQ,EAAE,cAAc;iBACxB,MAAM,EAAE,WAAW;iBACnB,KAAK,EAAE,cAAc;iBACrB,GAAG,EAAE,2CAA2C;;;iBAGhD,QAAQ,EAAE,eAAe;iBACzB,MAAM,EAAE,WAAW;iBACnB,KAAK,EAAE,wBAAwB;iBAC/B,GAAG,EAAE,sCAAsC;;;iBAG3C,QAAQ,EAAE,gBAAgB;iBAC1B,MAAM,EAAE,WAAW;iBACnB,KAAK,EAAE,yBAAyB;iBAChC,GAAG,EAAE,wGAAwG;;;iBAI7G,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,UAAU;iBAClB,KAAK,EAAE,uBAAuB;iBAC9B,GAAG,EAAE,sCAAsC;;;iBAG3C,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,UAAU;iBAClB,KAAK,EAAE,wBAAwB;iBAC/B,GAAG,EAAE,oFAAoF;;;iBAGzF,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,UAAU;iBAClB,KAAK,EAAE,0BAA0B;iBACjC,GAAG,EAAE,iDAAiD;;;iBAItD,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,WAAW;iBACnB,KAAK,EAAE,yBAAyB;iBAChC,GAAG,EAAE,4EAA4E;;;iBAIjF,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,SAAS;iBACjB,KAAK,EAAE,uBAAuB;iBAC9B,GAAG,EAAE,0EAA0E;;;iBAI/E,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,0BAA0B;iBACjC,GAAG,EAAE,+EAA+E;;;iBAGpF,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,6BAA6B;iBACpC,GAAG,EAAE,+DAA+D;;;iBAGpE,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,yBAAyB;iBAChC,GAAG,EAAE,8DAA8D;;;iBAGnE,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,yBAAyB;iBAChC,GAAG,EAAE,4DAA4D;;;iBAGjE,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,gCAAgC;iBACvC,GAAG,EAAE,2EAA2E;;;iBAGhF,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,4BAA4B;iBACnC,GAAG,EAAE,uEAAuE;;;iBAG5E,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,qCAAqC;iBAC5C,GAAG,EAAE,uEAAuE;;;iBAG5E,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,yBAAyB;iBAChC,GAAG,EAAE,kEAAkE;;;iBAGvE,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,yDAAyD;iBAChE,GAAG,EAAE,iEAAiE;;;iBAGtE,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,qDAAqD;iBAC5D,GAAG,EAAE,qEAAqE;;;iBAG1E,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,yDAAyD;iBAChE,GAAG,EAAE,gEAAgE;;;iBAGrE,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,qDAAqD;iBAC5D,GAAG,EAAE,mFAAmF;;;iBAIxF,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,QAAQ;iBAChB,KAAK,EAAE,yBAAyB;iBAChC,GAAG,EAAE,6CAA6C;;;iBAIlD,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,SAAS;iBACjB,KAAK,EAAE,6CAA6C;iBACpD,GAAG,EAAE,+CAA+C;;;iBAGpD,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,SAAS;iBACjB,KAAK,EAAE,gCAAgC;iBACvC,GAAG,EAAE,oDAAoD;;;iBAGzD,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,SAAS;iBACjB,KAAK,EAAE,yCAAyC;iBAChD,GAAG,EAAE,iFAAiF;;;iBAGtF,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,SAAS;iBACjB,KAAK,EAAE,oDAAoD;iBAC3D,GAAG,EAAE,+EAA+E;;;iBAGpF,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,SAAS;iBACjB,KAAK,EAAE,+BAA+B;iBACtC,GAAG,EAAE,mDAAmD;;;iBAIxD,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,WAAW;iBACnB,KAAK,EAAE,yBAAyB;iBAChC,GAAG,EAAE,6FAA6F;;;iBAGlG,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,WAAW;iBACnB,KAAK,EAAE,2BAA2B;iBAClC,GAAG,EAAE,yDAAyD;;CAUjE,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,MAAM,OAAO,qBAAqB,CAAC;AAE9D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,eAAO,MAAM,cAAc,EAAE,SAAS,aAAa,EAKhD,CAAC;AAEJ,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAErE;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,KAAK,CACnB,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,MAAM,EACZ,aAAa,CAAC,EAAE,MAAM,GACrB,QAAQ,CASV"}

package/dist/diagnostics.js

@@ -131,6 +131,36 @@ const diagnosticDefinitions = {
         title: "Unsupported JSON Schema",
         fix: "Use only the sealed UDL JSON Schema subset.",
     },
+    journey_unknown_operation: {
+        category: "invalid_semantics",
+        family: "journey",
+        title: "Journey operation is not in the composition",
+        fix: "Name an operation in the composition closure.",
+    },
+    journey_unknown_example: {
+        category: "invalid_semantics",
+        family: "journey",
+        title: "Journey example does not exist",
+        fix: "Name an authored example on the journey operation.",
+    },
+    journey_invalid_transition: {
+        category: "invalid_semantics",
+        family: "journey",
+        title: "Journey lifecycle transition is invalid",
+        fix: "Order the steps so each action starts from the state produced by earlier steps.",
+    },
+    journey_unbound_reference: {
+        category: "invalid_semantics",
+        family: "journey",
+        title: "Journey reference is unbound or has the wrong kind",
+        fix: "Bind every reference input to an earlier step that creates the required kind.",
+    },
+    journey_duplicate_step_id: {
+        category: "invalid_semantics",
+        family: "journey",
+        title: "Journey step id is duplicated",
+        fix: "Give every named step in the journey a unique id.",
+    },
     UDL7001: {
         category: "invalid_evolution",
         family: "evolution",

package/dist/diagnostics.js.map

@@ -1 +1 @@
-{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAiBA,MAAM,qBAAqB,GAAG;IAC5B,OAAO,EAAE;QACP,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,eAAe;QACtB,GAAG,EAAE,qCAAqC;KAC3C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,cAAc;QACrB,GAAG,EAAE,2CAA2C;KACjD;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,eAAe;QACzB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,sCAAsC;KAC5C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,gBAAgB;QAC1B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,wGAAwG;KAC9G;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,sCAAsC;KAC5C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,oFAAoF;KAC1F;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,iDAAiD;KACvD;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,4EAA4E;KAClF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,0EAA0E;KAChF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,+EAA+E;KACrF;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,+DAA+D;KACrE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,8DAA8D;KACpE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,4DAA4D;KAClE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,2EAA2E;KACjF;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,uEAAuE;KAC7E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qCAAqC;QAC5C,GAAG,EAAE,uEAAuE;KAC7E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,kEAAkE;KACxE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yDAAyD;QAChE,GAAG,EAAE,iEAAiE;KACvE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qDAAqD;QAC5D,GAAG,EAAE,qEAAqE;KAC3E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yDAAyD;QAChE,GAAG,EAAE,gEAAgE;KACtE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qDAAqD;QAC5D,GAAG,EAAE,mFAAmF;KACzF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,6CAA6C;KACnD;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,6FAA6F;KACnG;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,yDAAyD;KAC/D;CASF,CAAC;AAYF,MAAM,CAAC,MAAM,cAAc,GAA6B,MAAM,CAAC,OAAO,CACpE,qBAAqB,CACtB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7B,IAAI,EAAE,IAAoB;IAC1B,GAAG,UAAU;CACd,CAAC,CAAC,CAAC;AAEJ,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACvE,CAAC;AAUD,MAAM,UAAU,KAAK,CACnB,IAAkB,EAClB,IAAY,EACZ,aAAsB;IAEtB,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC/C,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,IAAI;QACJ,GAAG,EAAE,UAAU,CAAC,GAAG;QACnB,OAAO,EAAE,aAAa,IAAI,UAAU,CAAC,KAAK;QAC1C,IAAI;KACL,CAAC;AACJ,CAAC"}
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAkBA,MAAM,qBAAqB,GAAG;IAC5B,OAAO,EAAE;QACP,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,eAAe;QACtB,GAAG,EAAE,qCAAqC;KAC3C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,cAAc;QACxB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,cAAc;QACrB,GAAG,EAAE,2CAA2C;KACjD;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,eAAe;QACzB,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,sCAAsC;KAC5C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,gBAAgB;QAC1B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,wGAAwG;KAC9G;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,sCAAsC;KAC5C;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,oFAAoF;KAC1F;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,iDAAiD;KACvD;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,4EAA4E;KAClF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,0EAA0E;KAChF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,+EAA+E;KACrF;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,+DAA+D;KACrE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,8DAA8D;KACpE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,4DAA4D;KAClE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,2EAA2E;KACjF;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,uEAAuE;KAC7E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qCAAqC;QAC5C,GAAG,EAAE,uEAAuE;KAC7E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,kEAAkE;KACxE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yDAAyD;QAChE,GAAG,EAAE,iEAAiE;KACvE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qDAAqD;QAC5D,GAAG,EAAE,qEAAqE;KAC3E;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,yDAAyD;QAChE,GAAG,EAAE,gEAAgE;KACtE;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,qDAAqD;QAC5D,GAAG,EAAE,mFAAmF;KACzF;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,QAAQ;QAChB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,6CAA6C;KACnD;IAED,yBAAyB,EAAE;QACzB,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,6CAA6C;QACpD,GAAG,EAAE,+CAA+C;KACrD;IACD,uBAAuB,EAAE;QACvB,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,oDAAoD;KAC1D;IACD,0BAA0B,EAAE;QAC1B,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,yCAAyC;QAChD,GAAG,EAAE,iFAAiF;KACvF;IACD,yBAAyB,EAAE;QACzB,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,oDAAoD;QAC3D,GAAG,EAAE,+EAA+E;KACrF;IACD,yBAAyB,EAAE;QACzB,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,+BAA+B;QACtC,GAAG,EAAE,mDAAmD;KACzD;IAED,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,6FAA6F;KACnG;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,WAAW;QACnB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,yDAAyD;KAC/D;CASF,CAAC;AAYF,MAAM,CAAC,MAAM,cAAc,GAA6B,MAAM,CAAC,OAAO,CACpE,qBAAqB,CACtB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7B,IAAI,EAAE,IAAoB;IAC1B,GAAG,UAAU;CACd,CAAC,CAAC,CAAC;AAEJ,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,OAAO,cAAc,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACvE,CAAC;AAUD,MAAM,UAAU,KAAK,CACnB,IAAkB,EAClB,IAAY,EACZ,aAAsB;IAEtB,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC/C,OAAO;QACL,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,IAAI;QACJ,GAAG,EAAE,UAAU,CAAC,GAAG;QACnB,OAAO,EAAE,aAAa,IAAI,UAAU,CAAC,KAAK;QAC1C,IAAI;KACL,CAAC;AACJ,CAAC"}

package/dist/effects.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,cAAc,0EAOjB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5D,KAAK,gBAAgB,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,SAAS,EACd;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAC1B;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAC9B;QAAE,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAA;KAAE,CAAC;CACtC,CAAC;AAEF,KAAK,sBAAsB,GAAG;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,YAAY,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,KAAK,SAAS,GAAG;IACf,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,OAAO,CACrC,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC,CAAC,CACtD,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB,mBAAmB,GACnB,oBAAoB,GACpB,iBAAiB,GACjB,mBAAmB,CAAC;AAExB,UAAU,QAAQ;IAChB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AASD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,gBAAgB,CAsB9D;AAED,2EAA2E;AAC3E,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,UAAU,EAAE,SAAS,sBAAsB,EAAE,GAC5C,iBAAiB,CAqCnB"}
+{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,cAAc,YACzB,SAAS,EACT,OAAO,EACP,OAAO,EACP,UAAU,EACV,OAAO,EACP,WAAW,CACH,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAE5D,KAAK,gBAAgB,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,QAAQ,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,SAAS,EACd;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAC1B;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAC9B;QAAE,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAA;KAAE,CAAC;CACtC,CAAC;AAEF,KAAK,sBAAsB,GAAG;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,YAAY,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,KAAK,SAAS,GAAG;IACf,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,OAAO,CACrC,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC,CAAC,CACtD,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB,mBAAmB,GACnB,oBAAoB,GACpB,iBAAiB,GACjB,mBAAmB,CAAC;AAExB,UAAU,QAAQ;IAChB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AASD;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,QAAQ,GAAG,gBAAgB,CAsB9D;AAED,2EAA2E;AAC3E,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,UAAU,EAAE,SAAS,sBAAsB,EAAE,GAC5C,iBAAiB,CAqCnB"}

package/dist/evolution.js

@@ -31,7 +31,7 @@ export function snapshotUdlInstrument(instrument) {
             : {}),
         fields: Object.fromEntries(Object.entries(instrument.fields).map(([field, schema]) => [
             field,
-            { required: required.has(field), schema },
+            { required: required.has(field), schema: withoutProse(schema) },
         ])),
         id: instrument.id,
         idPrefix: instrument.idPrefix,
@@ -301,9 +301,30 @@ function snapshotJsonSchemaFields(schema) {
         : []);
     return Object.fromEntries(Object.entries(properties).map(([field, fieldSchema]) => [
         field,
-        { required: required.has(field), schema: fieldSchema },
+        { required: required.has(field), schema: withoutProse(fieldSchema) },
     ]));
 }
+/**
+ * Descriptions are prose for readers, not shape: a wording fix in a std
+ * template must land on a live flow as an extension, never as a refusal.
+ */
+function withoutProse(value, depth = 1) {
+    if (depth > UDL_LIMITS.maxDepth)
+        throw nestingExceeded();
+    if (Array.isArray(value)) {
+        return value.map((item) => withoutProse(item, depth + 1));
+    }
+    if (value === null || typeof value !== "object")
+        return value;
+    return Object.fromEntries(Object.entries(value)
+        .filter(([key]) => key !== "description")
+        .map(([key, entry]) => [key, withoutProse(entry, depth + 1)]));
+}
+function nestingExceeded() {
+    return new UdlError([
+        issue("UDL1004", "$", `UDL nesting exceeds ${UDL_LIMITS.maxDepth} levels`),
+    ]);
+}
 function snapshotJsonSchemaConstraints(schema) {
     const { properties: _properties, required: _required, ...constraints } = schema;
     return constraints;
@@ -424,8 +445,11 @@ function diffActions(previous, next) {
             stableStringify(current.requiresChecks ?? [])) {
             violations.push(`action ${action} changed its check prerequisites`);
         }
-        if ((descriptor.sandboxFailurePoint ?? null) !==
-            (current.sandboxFailurePoint ?? null)) {
+        // A failure point only adds a sandbox refusal for one documented amount, so
+        // declaring one on an action that had none is additive; changing or
+        // removing a declared one rewrites what a sandbox integration relies on.
+        if (descriptor.sandboxFailurePoint &&
+            descriptor.sandboxFailurePoint !== (current.sandboxFailurePoint ?? null)) {
             violations.push(`action ${action} changed its sandbox failure point`);
         }
         if (stableStringify(descriptor.updates ?? []) !==
@@ -545,11 +569,8 @@ function recordValue(value) {
  * and lands here rather than exhausting the call stack.
  */
 function stableStringify(value, depth = 1) {
-    if (depth > UDL_LIMITS.maxDepth) {
-        throw new UdlError([
-            issue("UDL1004", "$", `UDL nesting exceeds ${UDL_LIMITS.maxDepth} levels`),
-        ]);
-    }
+    if (depth > UDL_LIMITS.maxDepth)
+        throw nestingExceeded();
     if (value === null || typeof value !== "object") {
         return JSON.stringify(value) ?? "null";
     }