@hyperscale0/udl 2.0.4 → 2.1.0

package/conformance/valid/piece-plan-calls.udl

@@ -0,0 +1,314 @@
+{
+  "instruments": [
+    {
+      "actionLibrary": {
+        "transfers": {
+          "actionOrder": [
+            "execute_fund",
+            "execute_release"
+          ],
+          "actions": {
+            "execute_fund": {
+              "approval": "inherit",
+              "calls": [],
+              "leaves": [
+                {
+                  "bind": {
+                    "amount": "$p.amount",
+                    "destinationAccountId": "$p.release_to",
+                    "sourceAccountId": "$inst.fields.buyerAccount"
+                  },
+                  "effects": [
+                    {
+                      "kind": "moves",
+                      "signature": "moves.transfer.internal"
+                    }
+                  ],
+                  "evidence": "bank transfer confirmation receipt",
+                  "id": "leaf_fund",
+                  "operation": "internal_transfer.create"
+                }
+              ],
+              "order": [
+                "leaf_fund"
+              ],
+              "parameters": {
+                "inst": {
+                  "kind": "instance"
+                },
+                "p": {
+                  "kind": "piece"
+                }
+              },
+              "principal": "api_key",
+              "recovery": "local"
+            },
+            "execute_release": {
+              "approval": "inherit",
+              "calls": [],
+              "leaves": [
+                {
+                  "bind": {
+                    "amount": "$p.amount",
+                    "destinationAccountId": "$p.release_to",
+                    "sourceAccountId": "$inst.fields.escrowAccount"
+                  },
+                  "effects": [
+                    {
+                      "kind": "moves",
+                      "signature": "moves.transfer.internal"
+                    }
+                  ],
+                  "evidence": "release to payee confirmation",
+                  "id": "leaf_rel",
+                  "operation": "internal_transfer.create"
+                }
+              ],
+              "order": [
+                "leaf_rel"
+              ],
+              "parameters": {
+                "inst": {
+                  "kind": "instance"
+                },
+                "p": {
+                  "kind": "piece"
+                }
+              },
+              "principal": "api_key",
+              "recovery": "local"
+            }
+          }
+        }
+      },
+      "actionOrder": [
+        "create",
+        "fund_piece",
+        "payout_piece"
+      ],
+      "actions": {
+        "create": {
+          "moves": [],
+          "steps": [],
+          "summary": "Create watch instrument"
+        },
+        "fund_piece": {
+          "calls": [
+            {
+              "action": "transfers.execute_fund",
+              "bind": {
+                "inst": "$instance",
+                "p": "$piece"
+              },
+              "id": "call_fund"
+            }
+          ],
+          "effects": {
+            "moves": [
+              {
+                "signature": "moves.transfer.internal",
+                "source": "fund_piece.call_fund.leaf_fund"
+              }
+            ]
+          },
+          "input": {
+            "additionalProperties": false,
+            "properties": {
+              "pieceId": {
+                "enum": [
+                  "p1",
+                  "p2"
+                ],
+                "type": "string"
+              }
+            },
+            "required": [
+              "pieceId"
+            ],
+            "type": "object"
+          },
+          "moves": [],
+          "pieceStage": {
+            "plan": "split_plan",
+            "stage": "fund"
+          },
+          "steps": [],
+          "summary": "Fund one piece in stage"
+        },
+        "payout_piece": {
+          "calls": [
+            {
+              "action": "transfers.execute_release",
+              "bind": {
+                "inst": "$instance",
+                "p": "$piece"
+              },
+              "id": "call_rel"
+            }
+          ],
+          "effects": {
+            "moves": [
+              {
+                "signature": "moves.transfer.internal",
+                "source": "payout_piece.call_rel.leaf_rel"
+              }
+            ]
+          },
+          "input": {
+            "additionalProperties": false,
+            "properties": {
+              "pieceId": {
+                "enum": [
+                  "p1",
+                  "p2"
+                ],
+                "type": "string"
+              }
+            },
+            "required": [
+              "pieceId"
+            ],
+            "type": "object"
+          },
+          "moves": [],
+          "pieceStage": {
+            "plan": "split_plan",
+            "stage": "release"
+          },
+          "steps": [],
+          "summary": "Release piece"
+        }
+      },
+      "fields": {
+        "buyerAccount": {
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string"
+        },
+        "currency": {
+          "const": "USD",
+          "pattern": "^[A-Z]{3}$",
+          "type": "string"
+        },
+        "escrowAccount": {
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string"
+        },
+        "p1Amount": {
+          "pattern": "^[1-9][0-9]{0,17}$",
+          "type": "string",
+          "x-hyperscale-currency": "USD"
+        },
+        "p1Refund": {
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string"
+        },
+        "p1Release": {
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string"
+        },
+        "p2Amount": {
+          "pattern": "^[1-9][0-9]{0,17}$",
+          "type": "string",
+          "x-hyperscale-currency": "USD"
+        },
+        "p2Refund": {
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string"
+        },
+        "p2Release": {
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string"
+        },
+        "totalAmount": {
+          "pattern": "^[1-9][0-9]{0,17}$",
+          "type": "string",
+          "x-hyperscale-currency": "USD"
+        }
+      },
+      "id": "escrow_watch",
+      "idPrefix": "ew",
+      "lifecycle": {
+        "initial": "draft",
+        "states": [
+          "draft",
+          "funded",
+          "released"
+        ],
+        "transitions": {
+          "fund_piece": {
+            "from": [
+              "draft"
+            ],
+            "to": "funded"
+          },
+          "payout_piece": {
+            "from": [
+              "funded"
+            ],
+            "to": "released"
+          }
+        }
+      },
+      "partitions": [
+        {
+          "pieceFields": [
+            "p1Amount",
+            "p2Amount"
+          ],
+          "totalField": "totalAmount"
+        }
+      ],
+      "piecePlan": {
+        "fund_order": [
+          "p1",
+          "p2"
+        ],
+        "id": "split_plan",
+        "pieces": [
+          {
+            "amount": "p1Amount",
+            "id": "p1",
+            "refund_to": "p1Refund",
+            "release_to": "p1Release"
+          },
+          {
+            "amount": "p2Amount",
+            "id": "p2",
+            "refund_to": "p2Refund",
+            "release_to": "p2Release"
+          }
+        ],
+        "refund_order": [
+          "p1"
+        ],
+        "release_order": [
+          "p1",
+          "p2"
+        ],
+        "total": "totalAmount",
+        "unfund_order": [
+          "p2",
+          "p1"
+        ]
+      },
+      "required": [
+        "totalAmount",
+        "p1Amount",
+        "p2Amount",
+        "p1Release",
+        "p1Refund",
+        "p2Release",
+        "p2Refund",
+        "buyerAccount",
+        "escrowAccount"
+      ],
+      "summary": "Escrow watch contract with piece plan",
+      "title": "Escrow Watch"
+    }
+  ],
+  "product": "escrow_watch",
+  "subjects": [],
+  "title": "Escrow Watch Document",
+  "udl": 1,
+  "version": 1
+}

package/dist/diagnostics.d.ts

@@ -43,6 +43,30 @@ declare const diagnosticDefinitions: {
         readonly title: "Derived effects mismatch";
         readonly fix: "Regenerate the action effects from its clauses.";
     };
+    readonly UDL2010: {
+        readonly category: "invalid_semantics";
+        readonly family: "document";
+        readonly title: "Action graph violation";
+        readonly fix: "Order all actions and calls without cycles or collisions, within depth and count limits.";
+    };
+    readonly UDL2011: {
+        readonly category: "invalid_semantics";
+        readonly family: "document";
+        readonly title: "Action binding violation";
+        readonly fix: "Bind parameters to declared instance, piece, or caller variables without forward references or duplicate captures.";
+    };
+    readonly UDL2012: {
+        readonly category: "invalid_semantics";
+        readonly family: "document";
+        readonly title: "Action authority violation";
+        readonly fix: "Match principal, approval, and recovery policies and keep field paths within tenant boundary.";
+    };
+    readonly UDL2013: {
+        readonly category: "invalid_semantics";
+        readonly family: "document";
+        readonly title: "Action effect or evidence violation";
+        readonly fix: "Provide valid effect kind, matching effect signature, and non-empty evidence for every leaf.";
+    };
     readonly UDL3001: {
         readonly category: "invalid_semantics";
         readonly family: "lifecycle";
@@ -55,6 +79,12 @@ declare const diagnosticDefinitions: {
         readonly title: "Money graph violation";
         readonly fix: "Balance every funded amount and close every hold on each lifecycle path.";
     };
+    readonly UDL4002: {
+        readonly category: "invalid_semantics";
+        readonly family: "finance";
+        readonly title: "Piece partition violation";
+        readonly fix: "Match piece plan total, amounts, and payees to required immutable fields and declared partition.";
+    };
     readonly UDL5001: {
         readonly category: "invalid_semantics";
         readonly family: "gates";
@@ -127,6 +157,12 @@ declare const diagnosticDefinitions: {
         readonly title: "Reconcile exception reason field has the wrong type";
         readonly fix: "Point reasonField at a required plain text field declared by the exception child.";
     };
+    readonly UDL5013: {
+        readonly category: "invalid_semantics";
+        readonly family: "gates";
+        readonly title: "Piece stage violation";
+        readonly fix: "Reference a declared piece plan and stage in the containing instrument.";
+    };
     readonly UDL6001: {
         readonly category: "invalid_semantics";
         readonly family: "schema";

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,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"}
+{"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

@@ -41,6 +41,30 @@ const diagnosticDefinitions = {
         title: "Derived effects mismatch",
         fix: "Regenerate the action effects from its clauses.",
     },
+    UDL2010: {
+        category: "invalid_semantics",
+        family: "document",
+        title: "Action graph violation",
+        fix: "Order all actions and calls without cycles or collisions, within depth and count limits.",
+    },
+    UDL2011: {
+        category: "invalid_semantics",
+        family: "document",
+        title: "Action binding violation",
+        fix: "Bind parameters to declared instance, piece, or caller variables without forward references or duplicate captures.",
+    },
+    UDL2012: {
+        category: "invalid_semantics",
+        family: "document",
+        title: "Action authority violation",
+        fix: "Match principal, approval, and recovery policies and keep field paths within tenant boundary.",
+    },
+    UDL2013: {
+        category: "invalid_semantics",
+        family: "document",
+        title: "Action effect or evidence violation",
+        fix: "Provide valid effect kind, matching effect signature, and non-empty evidence for every leaf.",
+    },
     UDL3001: {
         category: "invalid_semantics",
         family: "lifecycle",
@@ -53,6 +77,12 @@ const diagnosticDefinitions = {
         title: "Money graph violation",
         fix: "Balance every funded amount and close every hold on each lifecycle path.",
     },
+    UDL4002: {
+        category: "invalid_semantics",
+        family: "finance",
+        title: "Piece partition violation",
+        fix: "Match piece plan total, amounts, and payees to required immutable fields and declared partition.",
+    },
     UDL5001: {
         category: "invalid_semantics",
         family: "gates",
@@ -125,6 +155,12 @@ const diagnosticDefinitions = {
         title: "Reconcile exception reason field has the wrong type",
         fix: "Point reasonField at a required plain text field declared by the exception child.",
     },
+    UDL5013: {
+        category: "invalid_semantics",
+        family: "gates",
+        title: "Piece stage violation",
+        fix: "Reference a declared piece plan and stage in the containing instrument.",
+    },
     UDL6001: {
         category: "invalid_semantics",
         family: "schema",

package/dist/diagnostics.js.map

@@ -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"}
+{"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

@@ -1,5 +1,6 @@
-export declare const udlEffectKinds: readonly ["decides", "holds", "moves", "notifies", "reads", "schedules"];
-export type UdlEffectKind = (typeof udlEffectKinds)[number];
+import { type UdlIssue } from "./diagnostics.js";
+import { type UdlEffectKind, type UdlInstrument, type UdlMove, type UdlStep } from "./schema.js";
+export { udlEffectKinds, type UdlEffectKind } from "./schema.js";
 type EffectDescriptor = {
     readonly kind: UdlEffectKind;
     readonly per: "clause" | "element";
@@ -37,5 +38,25 @@ interface Movement {
 export declare function movementClass(move: Movement): UdlMovementClass;
 /** Derive the ABI effect rows declared by the action-clause vocabulary. */
 export declare function deriveUdlActionEffects(action: Readonly<Record<string, unknown>>, vocabulary: readonly ActionClauseDescriptor[]): DerivedUdlEffects;
-export {};
+export interface ResolvedActionPlanLeaf {
+    readonly effects: readonly {
+        readonly kind: UdlEffectKind;
+        readonly signature: string;
+    }[];
+    readonly evidence: string;
+    readonly originPath: readonly string[];
+    readonly step: UdlStep | UdlMove;
+}
+export interface ResolvedActionPlan {
+    readonly action: string;
+    readonly effects: DerivedUdlEffects;
+    readonly leaves: readonly ResolvedActionPlanLeaf[];
+    readonly pieceId?: string;
+}
+export interface ResolvedActionPlansResult {
+    readonly issues: readonly UdlIssue[];
+    readonly plans: readonly ResolvedActionPlan[];
+}
+export declare function deriveActionEffectsFromPlan(leaves: readonly ResolvedActionPlanLeaf[]): DerivedUdlEffects;
+export declare function resolveUdlActionPlans(instrument: UdlInstrument): ResolvedActionPlansResult;
 //# sourceMappingURL=effects.d.ts.map

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,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"}
+{"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"}