@hyperscale0/udl 2.0.3 → 2.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +20 -0
- package/README.md +15 -1
- package/conformance/invalid/call-binds-results.expected.json +10 -0
- package/conformance/invalid/call-binds-results.udl +314 -0
- package/conformance/invalid/call-unknown-action.expected.json +10 -0
- package/conformance/invalid/call-unknown-action.udl +314 -0
- package/conformance/invalid/leaf-effect-mismatch.expected.json +10 -0
- package/conformance/invalid/leaf-effect-mismatch.udl +314 -0
- package/conformance/invalid/piece-plan-without-partition.expected.json +10 -0
- package/conformance/invalid/piece-plan-without-partition.udl +305 -0
- package/conformance/invalid/private-action-independent-approval.expected.json +10 -0
- package/conformance/invalid/private-action-independent-approval.udl +314 -0
- package/conformance/invalid/unfund-order-not-reversed.expected.json +10 -0
- package/conformance/invalid/unfund-order-not-reversed.udl +314 -0
- package/conformance/valid/piece-plan-calls.expected.json +6 -0
- package/conformance/valid/piece-plan-calls.udl +314 -0
- package/dist/diagnostics.d.ts +36 -0
- package/dist/diagnostics.d.ts.map +1 -1
- package/dist/diagnostics.js +36 -0
- package/dist/diagnostics.js.map +1 -1
- package/dist/effects.d.ts +24 -3
- package/dist/effects.d.ts.map +1 -1
- package/dist/effects.js +906 -8
- package/dist/effects.js.map +1 -1
- package/dist/index.d.ts +2 -2
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -1
- package/dist/index.js.map +1 -1
- package/dist/limits.d.ts +2 -0
- package/dist/limits.d.ts.map +1 -1
- package/dist/limits.js +2 -0
- package/dist/limits.js.map +1 -1
- package/dist/schema.d.ts +594 -11
- package/dist/schema.d.ts.map +1 -1
- package/dist/schema.js +111 -1
- package/dist/schema.js.map +1 -1
- package/dist/validation.d.ts.map +1 -1
- package/dist/validation.js +289 -4
- package/dist/validation.js.map +1 -1
- package/docs/assets/brand/manifest.json +30 -0
- package/docs/assets/brand/udl-horizontal-white.svg +1 -0
- package/docs/assets/brand/udl-horizontal.svg +1 -0
- package/docs/assets/brand/udl-stacked-white.svg +1 -0
- package/docs/assets/brand/udl-stacked.svg +1 -0
- package/docs/assets/udl.svg +7 -14
- package/docs/llms-full.txt +199 -32
- package/docs/llms.txt +1 -1
- package/docs/reference/clauses.md +162 -1
- package/docs/reference/cli.md +1 -1
- package/docs/reference/diagnostics.md +38 -32
- package/package.json +2 -2
- package/spec/udl.schema.json +321 -1
- package/src/diagnostics.ts +36 -0
- package/src/effects.ts +1603 -9
- package/src/index.ts +15 -0
- package/src/limits.ts +2 -0
- package/src/schema.ts +149 -2
- package/src/validation.ts +469 -4
|
@@ -1 +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,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;;;
|
|
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,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;;;iBAGtD,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,UAAU;iBAClB,KAAK,EAAE,wBAAwB;iBAC/B,GAAG,EAAE,0FAA0F;;;iBAG/F,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,UAAU;iBAClB,KAAK,EAAE,0BAA0B;iBACjC,GAAG,EAAE,oHAAoH;;;iBAGzH,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,UAAU;iBAClB,KAAK,EAAE,4BAA4B;iBACnC,GAAG,EAAE,+FAA+F;;;iBAGpG,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,UAAU;iBAClB,KAAK,EAAE,qCAAqC;iBAC5C,GAAG,EAAE,8FAA8F;;;iBAInG,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;;;iBAG/E,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,SAAS;iBACjB,KAAK,EAAE,2BAA2B;iBAClC,GAAG,EAAE,kGAAkG;;;iBAIvG,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;;;iBAGxF,QAAQ,EAAE,mBAAmB;iBAC7B,MAAM,EAAE,OAAO;iBACf,KAAK,EAAE,uBAAuB;iBAC9B,GAAG,EAAE,yEAAyE;;;iBAI9E,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
CHANGED
|
@@ -41,6 +41,30 @@ const diagnosticDefinitions = {
|
|
|
41
41
|
title: "Derived effects mismatch",
|
|
42
42
|
fix: "Regenerate the action effects from its clauses.",
|
|
43
43
|
},
|
|
44
|
+
UDL2010: {
|
|
45
|
+
category: "invalid_semantics",
|
|
46
|
+
family: "document",
|
|
47
|
+
title: "Action graph violation",
|
|
48
|
+
fix: "Order all actions and calls without cycles or collisions, within depth and count limits.",
|
|
49
|
+
},
|
|
50
|
+
UDL2011: {
|
|
51
|
+
category: "invalid_semantics",
|
|
52
|
+
family: "document",
|
|
53
|
+
title: "Action binding violation",
|
|
54
|
+
fix: "Bind parameters to declared instance, piece, or caller variables without forward references or duplicate captures.",
|
|
55
|
+
},
|
|
56
|
+
UDL2012: {
|
|
57
|
+
category: "invalid_semantics",
|
|
58
|
+
family: "document",
|
|
59
|
+
title: "Action authority violation",
|
|
60
|
+
fix: "Match principal, approval, and recovery policies and keep field paths within tenant boundary.",
|
|
61
|
+
},
|
|
62
|
+
UDL2013: {
|
|
63
|
+
category: "invalid_semantics",
|
|
64
|
+
family: "document",
|
|
65
|
+
title: "Action effect or evidence violation",
|
|
66
|
+
fix: "Provide valid effect kind, matching effect signature, and non-empty evidence for every leaf.",
|
|
67
|
+
},
|
|
44
68
|
UDL3001: {
|
|
45
69
|
category: "invalid_semantics",
|
|
46
70
|
family: "lifecycle",
|
|
@@ -53,6 +77,12 @@ const diagnosticDefinitions = {
|
|
|
53
77
|
title: "Money graph violation",
|
|
54
78
|
fix: "Balance every funded amount and close every hold on each lifecycle path.",
|
|
55
79
|
},
|
|
80
|
+
UDL4002: {
|
|
81
|
+
category: "invalid_semantics",
|
|
82
|
+
family: "finance",
|
|
83
|
+
title: "Piece partition violation",
|
|
84
|
+
fix: "Match piece plan total, amounts, and payees to required immutable fields and declared partition.",
|
|
85
|
+
},
|
|
56
86
|
UDL5001: {
|
|
57
87
|
category: "invalid_semantics",
|
|
58
88
|
family: "gates",
|
|
@@ -125,6 +155,12 @@ const diagnosticDefinitions = {
|
|
|
125
155
|
title: "Reconcile exception reason field has the wrong type",
|
|
126
156
|
fix: "Point reasonField at a required plain text field declared by the exception child.",
|
|
127
157
|
},
|
|
158
|
+
UDL5013: {
|
|
159
|
+
category: "invalid_semantics",
|
|
160
|
+
family: "gates",
|
|
161
|
+
title: "Piece stage violation",
|
|
162
|
+
fix: "Reference a declared piece plan and stage in the containing instrument.",
|
|
163
|
+
},
|
|
128
164
|
UDL6001: {
|
|
129
165
|
category: "invalid_semantics",
|
|
130
166
|
family: "schema",
|
package/dist/diagnostics.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"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"}
|
|
1
|
+
{"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;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,0FAA0F;KAChG;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,oHAAoH;KAC1H;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,+FAA+F;KACrG;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,qCAAqC;QAC5C,GAAG,EAAE,8FAA8F;KACpG;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;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,kGAAkG;KACxG;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;IACD,OAAO,EAAE;QACP,QAAQ,EAAE,mBAAmB;QAC7B,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,yEAAyE;KAC/E;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
CHANGED
|
@@ -1,5 +1,6 @@
|
|
|
1
|
-
|
|
2
|
-
|
|
1
|
+
import { type UdlIssue } from "./diagnostics.js";
|
|
2
|
+
import { type UdlEffectKind, type UdlInstrument, type UdlMove, type UdlStep } from "./schema.js";
|
|
3
|
+
export { udlEffectKinds, type UdlEffectKind } from "./schema.js";
|
|
3
4
|
type EffectDescriptor = {
|
|
4
5
|
readonly kind: UdlEffectKind;
|
|
5
6
|
readonly per: "clause" | "element";
|
|
@@ -37,5 +38,25 @@ interface Movement {
|
|
|
37
38
|
export declare function movementClass(move: Movement): UdlMovementClass;
|
|
38
39
|
/** Derive the ABI effect rows declared by the action-clause vocabulary. */
|
|
39
40
|
export declare function deriveUdlActionEffects(action: Readonly<Record<string, unknown>>, vocabulary: readonly ActionClauseDescriptor[]): DerivedUdlEffects;
|
|
40
|
-
export {
|
|
41
|
+
export interface ResolvedActionPlanLeaf {
|
|
42
|
+
readonly effects: readonly {
|
|
43
|
+
readonly kind: UdlEffectKind;
|
|
44
|
+
readonly signature: string;
|
|
45
|
+
}[];
|
|
46
|
+
readonly evidence: string;
|
|
47
|
+
readonly originPath: readonly string[];
|
|
48
|
+
readonly step: UdlStep | UdlMove;
|
|
49
|
+
}
|
|
50
|
+
export interface ResolvedActionPlan {
|
|
51
|
+
readonly action: string;
|
|
52
|
+
readonly effects: DerivedUdlEffects;
|
|
53
|
+
readonly leaves: readonly ResolvedActionPlanLeaf[];
|
|
54
|
+
readonly pieceId?: string;
|
|
55
|
+
}
|
|
56
|
+
export interface ResolvedActionPlansResult {
|
|
57
|
+
readonly issues: readonly UdlIssue[];
|
|
58
|
+
readonly plans: readonly ResolvedActionPlan[];
|
|
59
|
+
}
|
|
60
|
+
export declare function deriveActionEffectsFromPlan(leaves: readonly ResolvedActionPlanLeaf[]): DerivedUdlEffects;
|
|
61
|
+
export declare function resolveUdlActionPlans(instrument: UdlInstrument): ResolvedActionPlansResult;
|
|
41
62
|
//# sourceMappingURL=effects.d.ts.map
|
package/dist/effects.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA,
|
|
1
|
+
{"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../src/effects.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,EAGL,KAAK,aAAa,EAGlB,KAAK,aAAa,EAClB,KAAK,OAAO,EAIZ,KAAK,OAAO,EACb,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjE,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;AAsCD,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS;QACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,EAAE,CAAC;IACJ,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;CAClC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC/C;AAED,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,SAAS,sBAAsB,EAAE,GACxC,iBAAiB,CAYnB;AAgJD,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,aAAa,GACxB,yBAAyB,CA23C3B"}
|