@hyperscale0/udl 2.0.3 → 2.1.0

package/dist/schema.d.ts

@@ -1,5 +1,6 @@
 import { z } from "zod";
-import type { UdlEffectKind } from "./effects.js";
+export declare const udlEffectKinds: readonly ["decides", "holds", "moves", "notifies", "reads", "schedules"];
+export type UdlEffectKind = (typeof udlEffectKinds)[number];
 export declare const UDL_FORMAT_VERSION: 1;
 export declare const udlPublicActionSchema: z.ZodString;
 export declare const udlInstrumentActionIdSchema: z.ZodString;
@@ -472,8 +473,270 @@ declare const udlEffectsSchema: z.ZodObject<{
         source: z.ZodString;
     }, z.core.$strict>>>;
 }, z.core.$strict>;
+export declare const udlPieceSchema: z.ZodObject<{
+    amount: z.ZodString;
+    id: z.ZodString;
+    refund_to: z.ZodString;
+    release_to: z.ZodString;
+}, z.core.$strict>;
+export declare const udlPiecePlanSchema: z.ZodObject<{
+    fund_order: z.ZodArray<z.ZodString>;
+    id: z.ZodString;
+    pieces: z.ZodArray<z.ZodObject<{
+        amount: z.ZodString;
+        id: z.ZodString;
+        refund_to: z.ZodString;
+        release_to: z.ZodString;
+    }, z.core.$strict>>;
+    refund_order: z.ZodArray<z.ZodString>;
+    release_order: z.ZodArray<z.ZodString>;
+    total: z.ZodString;
+    unfund_order: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export declare const udlPieceStageStageSchema: z.ZodEnum<{
+    fund: "fund";
+    refund: "refund";
+    release: "release";
+    unfund: "unfund";
+}>;
+export declare const udlPieceStageSchema: z.ZodObject<{
+    plan: z.ZodString;
+    stage: z.ZodEnum<{
+        fund: "fund";
+        refund: "refund";
+        release: "release";
+        unfund: "unfund";
+    }>;
+}, z.core.$strict>;
+export declare const udlCallSchema: z.ZodObject<{
+    action: z.ZodString;
+    bind: z.ZodRecord<z.ZodString, z.ZodString>;
+    id: z.ZodString;
+}, z.core.$strict>;
+export declare const udlPrivateParameterKindSchema: z.ZodEnum<{
+    account: "account";
+    instance: "instance";
+    money: "money";
+    piece: "piece";
+    text: "text";
+}>;
+export declare const udlPrivateParameterSchema: z.ZodObject<{
+    currency: z.ZodOptional<z.ZodString>;
+    kind: z.ZodEnum<{
+        account: "account";
+        instance: "instance";
+        money: "money";
+        piece: "piece";
+        text: "text";
+    }>;
+}, z.core.$strict>;
+export declare const udlPrivateLeafSchema: z.ZodObject<{
+    bind: z.ZodRecord<z.ZodString, z.ZodString>;
+    capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    effects: z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<{
+            decides: "decides";
+            holds: "holds";
+            moves: "moves";
+            notifies: "notifies";
+            reads: "reads";
+            schedules: "schedules";
+        }>;
+        signature: z.ZodString;
+    }, z.core.$strict>>;
+    evidence: z.ZodString;
+    id: z.ZodString;
+    operation: z.ZodEnum<{
+        "account.escrow.provision": "account.escrow.provision";
+        "account.freeze": "account.freeze";
+        "account.unfreeze": "account.unfreeze";
+        "internal_transfer.create": "internal_transfer.create";
+        "internal_transfer.post": "internal_transfer.post";
+        "internal_transfer.reserve": "internal_transfer.reserve";
+        "internal_transfer.void": "internal_transfer.void";
+    }>;
+}, z.core.$strict>;
+export declare const udlPrivateActionSchema: z.ZodObject<{
+    approval: z.ZodEnum<{
+        independent: "independent";
+        inherit: "inherit";
+    }>;
+    calls: z.ZodArray<z.ZodObject<{
+        action: z.ZodString;
+        bind: z.ZodRecord<z.ZodString, z.ZodString>;
+        id: z.ZodString;
+    }, z.core.$strict>>;
+    leaves: z.ZodArray<z.ZodObject<{
+        bind: z.ZodRecord<z.ZodString, z.ZodString>;
+        capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        effects: z.ZodArray<z.ZodObject<{
+            kind: z.ZodEnum<{
+                decides: "decides";
+                holds: "holds";
+                moves: "moves";
+                notifies: "notifies";
+                reads: "reads";
+                schedules: "schedules";
+            }>;
+            signature: z.ZodString;
+        }, z.core.$strict>>;
+        evidence: z.ZodString;
+        id: z.ZodString;
+        operation: z.ZodEnum<{
+            "account.escrow.provision": "account.escrow.provision";
+            "account.freeze": "account.freeze";
+            "account.unfreeze": "account.unfreeze";
+            "internal_transfer.create": "internal_transfer.create";
+            "internal_transfer.post": "internal_transfer.post";
+            "internal_transfer.reserve": "internal_transfer.reserve";
+            "internal_transfer.void": "internal_transfer.void";
+        }>;
+    }, z.core.$strict>>;
+    order: z.ZodArray<z.ZodString>;
+    parameters: z.ZodRecord<z.ZodString, z.ZodObject<{
+        currency: z.ZodOptional<z.ZodString>;
+        kind: z.ZodEnum<{
+            account: "account";
+            instance: "instance";
+            money: "money";
+            piece: "piece";
+            text: "text";
+        }>;
+    }, z.core.$strict>>;
+    principal: z.ZodEnum<{
+        api_key: "api_key";
+        user_session: "user_session";
+    }>;
+    recovery: z.ZodEnum<{
+        external: "external";
+        local: "local";
+    }>;
+}, z.core.$strict>;
+export declare const udlActionLibraryModuleSchema: z.ZodObject<{
+    actionOrder: z.ZodArray<z.ZodString>;
+    actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+        approval: z.ZodEnum<{
+            independent: "independent";
+            inherit: "inherit";
+        }>;
+        calls: z.ZodArray<z.ZodObject<{
+            action: z.ZodString;
+            bind: z.ZodRecord<z.ZodString, z.ZodString>;
+            id: z.ZodString;
+        }, z.core.$strict>>;
+        leaves: z.ZodArray<z.ZodObject<{
+            bind: z.ZodRecord<z.ZodString, z.ZodString>;
+            capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            effects: z.ZodArray<z.ZodObject<{
+                kind: z.ZodEnum<{
+                    decides: "decides";
+                    holds: "holds";
+                    moves: "moves";
+                    notifies: "notifies";
+                    reads: "reads";
+                    schedules: "schedules";
+                }>;
+                signature: z.ZodString;
+            }, z.core.$strict>>;
+            evidence: z.ZodString;
+            id: z.ZodString;
+            operation: z.ZodEnum<{
+                "account.escrow.provision": "account.escrow.provision";
+                "account.freeze": "account.freeze";
+                "account.unfreeze": "account.unfreeze";
+                "internal_transfer.create": "internal_transfer.create";
+                "internal_transfer.post": "internal_transfer.post";
+                "internal_transfer.reserve": "internal_transfer.reserve";
+                "internal_transfer.void": "internal_transfer.void";
+            }>;
+        }, z.core.$strict>>;
+        order: z.ZodArray<z.ZodString>;
+        parameters: z.ZodRecord<z.ZodString, z.ZodObject<{
+            currency: z.ZodOptional<z.ZodString>;
+            kind: z.ZodEnum<{
+                account: "account";
+                instance: "instance";
+                money: "money";
+                piece: "piece";
+                text: "text";
+            }>;
+        }, z.core.$strict>>;
+        principal: z.ZodEnum<{
+            api_key: "api_key";
+            user_session: "user_session";
+        }>;
+        recovery: z.ZodEnum<{
+            external: "external";
+            local: "local";
+        }>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export declare const udlActionLibrarySchema: z.ZodRecord<z.ZodString, z.ZodObject<{
+    actionOrder: z.ZodArray<z.ZodString>;
+    actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+        approval: z.ZodEnum<{
+            independent: "independent";
+            inherit: "inherit";
+        }>;
+        calls: z.ZodArray<z.ZodObject<{
+            action: z.ZodString;
+            bind: z.ZodRecord<z.ZodString, z.ZodString>;
+            id: z.ZodString;
+        }, z.core.$strict>>;
+        leaves: z.ZodArray<z.ZodObject<{
+            bind: z.ZodRecord<z.ZodString, z.ZodString>;
+            capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            effects: z.ZodArray<z.ZodObject<{
+                kind: z.ZodEnum<{
+                    decides: "decides";
+                    holds: "holds";
+                    moves: "moves";
+                    notifies: "notifies";
+                    reads: "reads";
+                    schedules: "schedules";
+                }>;
+                signature: z.ZodString;
+            }, z.core.$strict>>;
+            evidence: z.ZodString;
+            id: z.ZodString;
+            operation: z.ZodEnum<{
+                "account.escrow.provision": "account.escrow.provision";
+                "account.freeze": "account.freeze";
+                "account.unfreeze": "account.unfreeze";
+                "internal_transfer.create": "internal_transfer.create";
+                "internal_transfer.post": "internal_transfer.post";
+                "internal_transfer.reserve": "internal_transfer.reserve";
+                "internal_transfer.void": "internal_transfer.void";
+            }>;
+        }, z.core.$strict>>;
+        order: z.ZodArray<z.ZodString>;
+        parameters: z.ZodRecord<z.ZodString, z.ZodObject<{
+            currency: z.ZodOptional<z.ZodString>;
+            kind: z.ZodEnum<{
+                account: "account";
+                instance: "instance";
+                money: "money";
+                piece: "piece";
+                text: "text";
+            }>;
+        }, z.core.$strict>>;
+        principal: z.ZodEnum<{
+            api_key: "api_key";
+            user_session: "user_session";
+        }>;
+        recovery: z.ZodEnum<{
+            external: "external";
+            local: "local";
+        }>;
+    }, z.core.$strict>>;
+}, z.core.$strict>>;
 declare const udlActionShape: {
     agentDescription: z.ZodOptional<z.ZodString>;
+    calls: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        action: z.ZodString;
+        bind: z.ZodRecord<z.ZodString, z.ZodString>;
+        id: z.ZodString;
+    }, z.core.$strict>>>;
     captureInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
     /** Names the quoting action whose offer this action spends. */
     commit: z.ZodOptional<z.ZodString>;
@@ -613,6 +876,15 @@ declare const udlActionShape: {
         sourceAccountField: z.ZodString;
         speed: z.ZodLiteral<"standard">;
     }, z.core.$strict>>;
+    pieceStage: z.ZodOptional<z.ZodObject<{
+        plan: z.ZodString;
+        stage: z.ZodEnum<{
+            fund: "fund";
+            refund: "refund";
+            release: "release";
+            unfund: "unfund";
+        }>;
+    }, z.core.$strict>>;
     port: z.ZodOptional<z.ZodObject<{
         allowedParties: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>;
@@ -786,7 +1058,7 @@ declare const udlActionShape: {
             subtotalRef: z.ZodString;
         }, z.core.$strict>>;
     }, z.core.$strict>>;
-    steps: z.ZodArray<z.ZodObject<{
+    steps: z.ZodDefault<z.ZodArray<z.ZodObject<{
         bind: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
             from: z.ZodLiteral<"const">;
             value: z.ZodString;
@@ -803,12 +1075,17 @@ declare const udlActionShape: {
             "account.freeze": "account.freeze";
             "account.unfreeze": "account.unfreeze";
         }>;
-    }, z.core.$strict>>;
+    }, z.core.$strict>>>;
     summary: z.ZodString;
     updates: z.ZodOptional<z.ZodArray<z.ZodString>>;
 };
 declare const udlActionSchema: z.ZodObject<{
     agentDescription: z.ZodOptional<z.ZodString>;
+    calls: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        action: z.ZodString;
+        bind: z.ZodRecord<z.ZodString, z.ZodString>;
+        id: z.ZodString;
+    }, z.core.$strict>>>;
     captureInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
     commit: z.ZodOptional<z.ZodString>;
     decidedAmount: z.ZodOptional<z.ZodObject<{
@@ -947,6 +1224,15 @@ declare const udlActionSchema: z.ZodObject<{
         sourceAccountField: z.ZodString;
         speed: z.ZodLiteral<"standard">;
     }, z.core.$strict>>;
+    pieceStage: z.ZodOptional<z.ZodObject<{
+        plan: z.ZodString;
+        stage: z.ZodEnum<{
+            fund: "fund";
+            refund: "refund";
+            release: "release";
+            unfund: "unfund";
+        }>;
+    }, z.core.$strict>>;
     port: z.ZodOptional<z.ZodObject<{
         allowedParties: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>;
@@ -1120,7 +1406,7 @@ declare const udlActionSchema: z.ZodObject<{
             subtotalRef: z.ZodString;
         }, z.core.$strict>>;
     }, z.core.$strict>>;
-    steps: z.ZodArray<z.ZodObject<{
+    steps: z.ZodDefault<z.ZodArray<z.ZodObject<{
         bind: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
             from: z.ZodLiteral<"const">;
             value: z.ZodString;
@@ -1137,7 +1423,7 @@ declare const udlActionSchema: z.ZodObject<{
             "account.freeze": "account.freeze";
             "account.unfreeze": "account.unfreeze";
         }>;
-    }, z.core.$strict>>;
+    }, z.core.$strict>>>;
     summary: z.ZodString;
     updates: z.ZodOptional<z.ZodArray<z.ZodString>>;
 }, z.core.$strict>;
@@ -1159,6 +1445,65 @@ declare const udlAggregateSchema: z.ZodUnion<readonly [z.ZodObject<{
     }, z.core.$strict>>;
 }, z.core.$strict>]>;
 declare const udlInstrumentShape: {
+    actionLibrary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        actionOrder: z.ZodArray<z.ZodString>;
+        actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+            approval: z.ZodEnum<{
+                independent: "independent";
+                inherit: "inherit";
+            }>;
+            calls: z.ZodArray<z.ZodObject<{
+                action: z.ZodString;
+                bind: z.ZodRecord<z.ZodString, z.ZodString>;
+                id: z.ZodString;
+            }, z.core.$strict>>;
+            leaves: z.ZodArray<z.ZodObject<{
+                bind: z.ZodRecord<z.ZodString, z.ZodString>;
+                capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+                effects: z.ZodArray<z.ZodObject<{
+                    kind: z.ZodEnum<{
+                        decides: "decides";
+                        holds: "holds";
+                        moves: "moves";
+                        notifies: "notifies";
+                        reads: "reads";
+                        schedules: "schedules";
+                    }>;
+                    signature: z.ZodString;
+                }, z.core.$strict>>;
+                evidence: z.ZodString;
+                id: z.ZodString;
+                operation: z.ZodEnum<{
+                    "account.escrow.provision": "account.escrow.provision";
+                    "account.freeze": "account.freeze";
+                    "account.unfreeze": "account.unfreeze";
+                    "internal_transfer.create": "internal_transfer.create";
+                    "internal_transfer.post": "internal_transfer.post";
+                    "internal_transfer.reserve": "internal_transfer.reserve";
+                    "internal_transfer.void": "internal_transfer.void";
+                }>;
+            }, z.core.$strict>>;
+            order: z.ZodArray<z.ZodString>;
+            parameters: z.ZodRecord<z.ZodString, z.ZodObject<{
+                currency: z.ZodOptional<z.ZodString>;
+                kind: z.ZodEnum<{
+                    account: "account";
+                    instance: "instance";
+                    money: "money";
+                    piece: "piece";
+                    text: "text";
+                }>;
+            }, z.core.$strict>>;
+            principal: z.ZodEnum<{
+                api_key: "api_key";
+                user_session: "user_session";
+            }>;
+            recovery: z.ZodEnum<{
+                external: "external";
+                local: "local";
+            }>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>>;
     actionOrder: z.ZodArray<z.ZodString>;
     agentDescription: z.ZodOptional<z.ZodString>;
     aggregateInvariants: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
@@ -1277,6 +1622,20 @@ declare const udlInstrumentShape: {
         pieceFields: z.ZodArray<z.ZodString>;
         totalField: z.ZodString;
     }, z.core.$strict>>>;
+    piecePlan: z.ZodOptional<z.ZodObject<{
+        fund_order: z.ZodArray<z.ZodString>;
+        id: z.ZodString;
+        pieces: z.ZodArray<z.ZodObject<{
+            amount: z.ZodString;
+            id: z.ZodString;
+            refund_to: z.ZodString;
+            release_to: z.ZodString;
+        }, z.core.$strict>>;
+        refund_order: z.ZodArray<z.ZodString>;
+        release_order: z.ZodArray<z.ZodString>;
+        total: z.ZodString;
+        unfund_order: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
     required: z.ZodArray<z.ZodString>;
     subject: z.ZodOptional<z.ZodObject<{
         extensible: z.ZodOptional<z.ZodBoolean>;
@@ -1301,6 +1660,11 @@ declare const udlInstrumentShape: {
     }, z.core.$strict>>;
     actions: z.ZodRecord<z.ZodString, z.ZodObject<{
         agentDescription: z.ZodOptional<z.ZodString>;
+        calls: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            action: z.ZodString;
+            bind: z.ZodRecord<z.ZodString, z.ZodString>;
+            id: z.ZodString;
+        }, z.core.$strict>>>;
         captureInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
         commit: z.ZodOptional<z.ZodString>;
         decidedAmount: z.ZodOptional<z.ZodObject<{
@@ -1439,6 +1803,15 @@ declare const udlInstrumentShape: {
             sourceAccountField: z.ZodString;
             speed: z.ZodLiteral<"standard">;
         }, z.core.$strict>>;
+        pieceStage: z.ZodOptional<z.ZodObject<{
+            plan: z.ZodString;
+            stage: z.ZodEnum<{
+                fund: "fund";
+                refund: "refund";
+                release: "release";
+                unfund: "unfund";
+            }>;
+        }, z.core.$strict>>;
         port: z.ZodOptional<z.ZodObject<{
             allowedParties: z.ZodArray<z.ZodString>;
         }, z.core.$strict>>;
@@ -1612,7 +1985,7 @@ declare const udlInstrumentShape: {
                 subtotalRef: z.ZodString;
             }, z.core.$strict>>;
         }, z.core.$strict>>;
-        steps: z.ZodArray<z.ZodObject<{
+        steps: z.ZodDefault<z.ZodArray<z.ZodObject<{
             bind: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
                 from: z.ZodLiteral<"const">;
                 value: z.ZodString;
@@ -1629,12 +2002,71 @@ declare const udlInstrumentShape: {
                 "account.freeze": "account.freeze";
                 "account.unfreeze": "account.unfreeze";
             }>;
-        }, z.core.$strict>>;
+        }, z.core.$strict>>>;
         summary: z.ZodString;
         updates: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
 };
 declare const udlInstrumentSchema: z.ZodObject<{
+    actionLibrary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        actionOrder: z.ZodArray<z.ZodString>;
+        actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+            approval: z.ZodEnum<{
+                independent: "independent";
+                inherit: "inherit";
+            }>;
+            calls: z.ZodArray<z.ZodObject<{
+                action: z.ZodString;
+                bind: z.ZodRecord<z.ZodString, z.ZodString>;
+                id: z.ZodString;
+            }, z.core.$strict>>;
+            leaves: z.ZodArray<z.ZodObject<{
+                bind: z.ZodRecord<z.ZodString, z.ZodString>;
+                capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+                effects: z.ZodArray<z.ZodObject<{
+                    kind: z.ZodEnum<{
+                        decides: "decides";
+                        holds: "holds";
+                        moves: "moves";
+                        notifies: "notifies";
+                        reads: "reads";
+                        schedules: "schedules";
+                    }>;
+                    signature: z.ZodString;
+                }, z.core.$strict>>;
+                evidence: z.ZodString;
+                id: z.ZodString;
+                operation: z.ZodEnum<{
+                    "account.escrow.provision": "account.escrow.provision";
+                    "account.freeze": "account.freeze";
+                    "account.unfreeze": "account.unfreeze";
+                    "internal_transfer.create": "internal_transfer.create";
+                    "internal_transfer.post": "internal_transfer.post";
+                    "internal_transfer.reserve": "internal_transfer.reserve";
+                    "internal_transfer.void": "internal_transfer.void";
+                }>;
+            }, z.core.$strict>>;
+            order: z.ZodArray<z.ZodString>;
+            parameters: z.ZodRecord<z.ZodString, z.ZodObject<{
+                currency: z.ZodOptional<z.ZodString>;
+                kind: z.ZodEnum<{
+                    account: "account";
+                    instance: "instance";
+                    money: "money";
+                    piece: "piece";
+                    text: "text";
+                }>;
+            }, z.core.$strict>>;
+            principal: z.ZodEnum<{
+                api_key: "api_key";
+                user_session: "user_session";
+            }>;
+            recovery: z.ZodEnum<{
+                external: "external";
+                local: "local";
+            }>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>>;
     actionOrder: z.ZodArray<z.ZodString>;
     agentDescription: z.ZodOptional<z.ZodString>;
     aggregateInvariants: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
@@ -1753,6 +2185,20 @@ declare const udlInstrumentSchema: z.ZodObject<{
         pieceFields: z.ZodArray<z.ZodString>;
         totalField: z.ZodString;
     }, z.core.$strict>>>;
+    piecePlan: z.ZodOptional<z.ZodObject<{
+        fund_order: z.ZodArray<z.ZodString>;
+        id: z.ZodString;
+        pieces: z.ZodArray<z.ZodObject<{
+            amount: z.ZodString;
+            id: z.ZodString;
+            refund_to: z.ZodString;
+            release_to: z.ZodString;
+        }, z.core.$strict>>;
+        refund_order: z.ZodArray<z.ZodString>;
+        release_order: z.ZodArray<z.ZodString>;
+        total: z.ZodString;
+        unfund_order: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
     required: z.ZodArray<z.ZodString>;
     subject: z.ZodOptional<z.ZodObject<{
         extensible: z.ZodOptional<z.ZodBoolean>;
@@ -1777,6 +2223,11 @@ declare const udlInstrumentSchema: z.ZodObject<{
     }, z.core.$strict>>;
     actions: z.ZodRecord<z.ZodString, z.ZodObject<{
         agentDescription: z.ZodOptional<z.ZodString>;
+        calls: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            action: z.ZodString;
+            bind: z.ZodRecord<z.ZodString, z.ZodString>;
+            id: z.ZodString;
+        }, z.core.$strict>>>;
         captureInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
         commit: z.ZodOptional<z.ZodString>;
         decidedAmount: z.ZodOptional<z.ZodObject<{
@@ -1915,6 +2366,15 @@ declare const udlInstrumentSchema: z.ZodObject<{
             sourceAccountField: z.ZodString;
             speed: z.ZodLiteral<"standard">;
         }, z.core.$strict>>;
+        pieceStage: z.ZodOptional<z.ZodObject<{
+            plan: z.ZodString;
+            stage: z.ZodEnum<{
+                fund: "fund";
+                refund: "refund";
+                release: "release";
+                unfund: "unfund";
+            }>;
+        }, z.core.$strict>>;
         port: z.ZodOptional<z.ZodObject<{
             allowedParties: z.ZodArray<z.ZodString>;
         }, z.core.$strict>>;
@@ -2088,7 +2548,7 @@ declare const udlInstrumentSchema: z.ZodObject<{
                 subtotalRef: z.ZodString;
             }, z.core.$strict>>;
         }, z.core.$strict>>;
-        steps: z.ZodArray<z.ZodObject<{
+        steps: z.ZodDefault<z.ZodArray<z.ZodObject<{
             bind: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
                 from: z.ZodLiteral<"const">;
                 value: z.ZodString;
@@ -2105,7 +2565,7 @@ declare const udlInstrumentSchema: z.ZodObject<{
                 "account.freeze": "account.freeze";
                 "account.unfreeze": "account.unfreeze";
             }>;
-        }, z.core.$strict>>;
+        }, z.core.$strict>>>;
         summary: z.ZodString;
         updates: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
@@ -2130,6 +2590,7 @@ interface UdlClauseVocabularyMetadata {
     readonly effects?: readonly UdlClauseEffect[];
     readonly linearOutputs?: readonly string[];
     readonly linearSink?: true;
+    readonly literalKeys?: true;
     readonly spelling: string;
 }
 export type UdlClauseVocabularyEntry = UdlClauseVocabularyMetadata & ({
@@ -2140,10 +2601,22 @@ export type UdlClauseVocabularyEntry = UdlClauseVocabularyMetadata & ({
     readonly target: UdlInstrumentClauseTarget;
 });
 export declare const udlClauseVocabulary: readonly [{
+    readonly cardinality: "one";
+    readonly literalKeys: true;
+    readonly scope: "instrument";
+    readonly spelling: "action library";
+    readonly target: "actionLibrary";
+}, {
     readonly cardinality: "one";
     readonly scope: "action";
     readonly spelling: "agent description";
     readonly target: "agentDescription";
+}, {
+    readonly cardinality: "many";
+    readonly literalKeys: true;
+    readonly scope: "action";
+    readonly spelling: "calls";
+    readonly target: "calls";
 }, {
     readonly cardinality: "one";
     readonly scope: "action";
@@ -2279,6 +2752,18 @@ export declare const udlClauseVocabulary: readonly [{
     readonly scope: "action";
     readonly spelling: "payout";
     readonly target: "payout";
+}, {
+    readonly cardinality: "one";
+    readonly literalKeys: true;
+    readonly scope: "instrument";
+    readonly spelling: "piece plan";
+    readonly target: "piecePlan";
+}, {
+    readonly cardinality: "one";
+    readonly literalKeys: true;
+    readonly scope: "action";
+    readonly spelling: "piece stage";
+    readonly target: "pieceStage";
 }, {
     readonly cardinality: "one";
     readonly effects: readonly [{
@@ -2509,6 +2994,65 @@ export declare const udlDocumentSchema: z.ZodObject<{
         title: z.ZodString;
     }, z.core.$strict>>>;
     instruments: z.ZodArray<z.ZodObject<{
+        actionLibrary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            actionOrder: z.ZodArray<z.ZodString>;
+            actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+                approval: z.ZodEnum<{
+                    independent: "independent";
+                    inherit: "inherit";
+                }>;
+                calls: z.ZodArray<z.ZodObject<{
+                    action: z.ZodString;
+                    bind: z.ZodRecord<z.ZodString, z.ZodString>;
+                    id: z.ZodString;
+                }, z.core.$strict>>;
+                leaves: z.ZodArray<z.ZodObject<{
+                    bind: z.ZodRecord<z.ZodString, z.ZodString>;
+                    capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+                    effects: z.ZodArray<z.ZodObject<{
+                        kind: z.ZodEnum<{
+                            decides: "decides";
+                            holds: "holds";
+                            moves: "moves";
+                            notifies: "notifies";
+                            reads: "reads";
+                            schedules: "schedules";
+                        }>;
+                        signature: z.ZodString;
+                    }, z.core.$strict>>;
+                    evidence: z.ZodString;
+                    id: z.ZodString;
+                    operation: z.ZodEnum<{
+                        "account.escrow.provision": "account.escrow.provision";
+                        "account.freeze": "account.freeze";
+                        "account.unfreeze": "account.unfreeze";
+                        "internal_transfer.create": "internal_transfer.create";
+                        "internal_transfer.post": "internal_transfer.post";
+                        "internal_transfer.reserve": "internal_transfer.reserve";
+                        "internal_transfer.void": "internal_transfer.void";
+                    }>;
+                }, z.core.$strict>>;
+                order: z.ZodArray<z.ZodString>;
+                parameters: z.ZodRecord<z.ZodString, z.ZodObject<{
+                    currency: z.ZodOptional<z.ZodString>;
+                    kind: z.ZodEnum<{
+                        account: "account";
+                        instance: "instance";
+                        money: "money";
+                        piece: "piece";
+                        text: "text";
+                    }>;
+                }, z.core.$strict>>;
+                principal: z.ZodEnum<{
+                    api_key: "api_key";
+                    user_session: "user_session";
+                }>;
+                recovery: z.ZodEnum<{
+                    external: "external";
+                    local: "local";
+                }>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>>;
         actionOrder: z.ZodArray<z.ZodString>;
         agentDescription: z.ZodOptional<z.ZodString>;
         aggregateInvariants: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
@@ -2627,6 +3171,20 @@ export declare const udlDocumentSchema: z.ZodObject<{
             pieceFields: z.ZodArray<z.ZodString>;
             totalField: z.ZodString;
         }, z.core.$strict>>>;
+        piecePlan: z.ZodOptional<z.ZodObject<{
+            fund_order: z.ZodArray<z.ZodString>;
+            id: z.ZodString;
+            pieces: z.ZodArray<z.ZodObject<{
+                amount: z.ZodString;
+                id: z.ZodString;
+                refund_to: z.ZodString;
+                release_to: z.ZodString;
+            }, z.core.$strict>>;
+            refund_order: z.ZodArray<z.ZodString>;
+            release_order: z.ZodArray<z.ZodString>;
+            total: z.ZodString;
+            unfund_order: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
         required: z.ZodArray<z.ZodString>;
         subject: z.ZodOptional<z.ZodObject<{
             extensible: z.ZodOptional<z.ZodBoolean>;
@@ -2651,6 +3209,11 @@ export declare const udlDocumentSchema: z.ZodObject<{
         }, z.core.$strict>>;
         actions: z.ZodRecord<z.ZodString, z.ZodObject<{
             agentDescription: z.ZodOptional<z.ZodString>;
+            calls: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                action: z.ZodString;
+                bind: z.ZodRecord<z.ZodString, z.ZodString>;
+                id: z.ZodString;
+            }, z.core.$strict>>>;
             captureInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             commit: z.ZodOptional<z.ZodString>;
             decidedAmount: z.ZodOptional<z.ZodObject<{
@@ -2789,6 +3352,15 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 sourceAccountField: z.ZodString;
                 speed: z.ZodLiteral<"standard">;
             }, z.core.$strict>>;
+            pieceStage: z.ZodOptional<z.ZodObject<{
+                plan: z.ZodString;
+                stage: z.ZodEnum<{
+                    fund: "fund";
+                    refund: "refund";
+                    release: "release";
+                    unfund: "unfund";
+                }>;
+            }, z.core.$strict>>;
             port: z.ZodOptional<z.ZodObject<{
                 allowedParties: z.ZodArray<z.ZodString>;
             }, z.core.$strict>>;
@@ -2962,7 +3534,7 @@ export declare const udlDocumentSchema: z.ZodObject<{
                     subtotalRef: z.ZodString;
                 }, z.core.$strict>>;
             }, z.core.$strict>>;
-            steps: z.ZodArray<z.ZodObject<{
+            steps: z.ZodDefault<z.ZodArray<z.ZodObject<{
                 bind: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
                     from: z.ZodLiteral<"const">;
                     value: z.ZodString;
@@ -2979,7 +3551,7 @@ export declare const udlDocumentSchema: z.ZodObject<{
                     "account.freeze": "account.freeze";
                     "account.unfreeze": "account.unfreeze";
                 }>;
-            }, z.core.$strict>>;
+            }, z.core.$strict>>>;
             summary: z.ZodString;
             updates: z.ZodOptional<z.ZodArray<z.ZodString>>;
         }, z.core.$strict>>;
@@ -3031,5 +3603,16 @@ export type UdlRemainder = z.infer<typeof udlRemainderSchema>;
 export type UdlStep = z.infer<typeof udlStepSchema>;
 export type UdlSubject = z.infer<typeof udlSubjectSchema>;
 export type UdlAction = z.infer<typeof udlActionSchema>;
+export type UdlPiece = z.infer<typeof udlPieceSchema>;
+export type UdlPiecePlan = z.infer<typeof udlPiecePlanSchema>;
+export type UdlPieceStage = z.infer<typeof udlPieceStageSchema>;
+export type UdlPieceStageStage = z.infer<typeof udlPieceStageStageSchema>;
+export type UdlCall = z.infer<typeof udlCallSchema>;
+export type UdlPrivateParameterKind = z.infer<typeof udlPrivateParameterKindSchema>;
+export type UdlPrivateParameter = z.infer<typeof udlPrivateParameterSchema>;
+export type UdlPrivateLeaf = z.infer<typeof udlPrivateLeafSchema>;
+export type UdlPrivateAction = z.infer<typeof udlPrivateActionSchema>;
+export type UdlActionLibraryModule = z.infer<typeof udlActionLibraryModuleSchema>;
+export type UdlActionLibrary = z.infer<typeof udlActionLibrarySchema>;
 export {};
 //# sourceMappingURL=schema.d.ts.map