@hyperscale0/udl 2.3.0 → 2.4.0

package/dist/schema.d.ts

@@ -47,23 +47,6 @@ declare const udlExampleSchema: z.ZodObject<{
     name: z.ZodString;
     output: z.ZodOptional<z.ZodJSONSchema>;
 }, z.core.$strict>;
-declare const udlJourneyStepSchema: z.ZodObject<{
-    bind: z.ZodRecord<z.ZodString, z.ZodString>;
-    example: z.ZodString;
-    id: z.ZodOptional<z.ZodString>;
-    operation: z.ZodString;
-}, z.core.$strict>;
-export declare const udlJourneySchema: z.ZodObject<{
-    id: z.ZodString;
-    label: z.ZodString;
-    steps: z.ZodArray<z.ZodObject<{
-        bind: z.ZodRecord<z.ZodString, z.ZodString>;
-        example: z.ZodString;
-        id: z.ZodOptional<z.ZodString>;
-        operation: z.ZodString;
-    }, z.core.$strict>>;
-    summary: z.ZodString;
-}, z.core.$strict>;
 declare const udlLifecycleTransitionSchema: z.ZodObject<{
     from: z.ZodArray<z.ZodString>;
     to: z.ZodString;
@@ -95,6 +78,16 @@ declare const udlDateComparisonSchema: z.ZodObject<{
     referencedPath: z.ZodString;
 }, z.core.$strict>;
 declare const udlGateSchema: z.ZodObject<{
+    attests: z.ZodOptional<z.ZodObject<{
+        forAction: z.ZodOptional<z.ZodString>;
+        action: z.ZodString;
+        digest: z.ZodString;
+        role: z.ZodString;
+        expiresAt: z.ZodString;
+        instrument: z.ZodString;
+        party: z.ZodString;
+        consume: z.ZodString;
+    }, z.core.$strict>>;
     bind: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
     dateComparison: z.ZodOptional<z.ZodObject<{
         localPath: z.ZodString;
@@ -107,11 +100,18 @@ declare const udlGateSchema: z.ZodObject<{
         }>;
         referencedPath: z.ZodString;
     }, z.core.$strict>>;
+    dueBefore: z.ZodOptional<z.ZodObject<{
+        field: z.ZodString;
+        offset: z.ZodString;
+    }, z.core.$strict>>;
     field: z.ZodString;
     match: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
     optional: z.ZodOptional<z.ZodLiteral<true>>;
     statuses: z.ZodArray<z.ZodString>;
-    unique: z.ZodOptional<z.ZodLiteral<true>>;
+    unique: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+        namespace: z.ZodString;
+        byFields: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>]>>;
 }, z.core.$strict>;
 declare const udlBindingSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     from: z.ZodLiteral<"const">;
@@ -188,7 +188,9 @@ declare const udlDueSchema: z.ZodObject<{
         untilField: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>;
     field: z.ZodString;
-    offset: z.ZodOptional<z.ZodString>;
+    offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+        field: z.ZodString;
+    }, z.core.$strict>]>>;
     whenParentStatus: z.ZodOptional<z.ZodObject<{
         instrumentId: z.ZodString;
         refField: z.ZodString;
@@ -271,6 +273,13 @@ declare const udlDecisionSchema: z.ZodObject<{
     onTimeout: z.ZodLiteral<"decline">;
 }, z.core.$strict>;
 declare const udlAggregateConditionSchema: z.ZodObject<{
+    anchorField: z.ZodOptional<z.ZodString>;
+    dueBefore: z.ZodOptional<z.ZodObject<{
+        field: z.ZodString;
+        offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            field: z.ZodString;
+        }, z.core.$strict>]>>;
+    }, z.core.$strict>>;
     check: z.ZodDiscriminatedUnion<[z.ZodObject<{
         amountField: z.ZodString;
         kind: z.ZodLiteral<"sum_at_least">;
@@ -290,6 +299,23 @@ declare const udlAggregateConditionSchema: z.ZodObject<{
     }, z.core.$strict>, z.ZodObject<{
         kind: z.ZodLiteral<"count_at_least">;
         targetField: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"count_exactly">;
+        value: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"ordered">;
+        field: z.ZodString;
+        positionField: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"schedule">;
+        positionField: z.ZodString;
+        dateField: z.ZodString;
+        datesField: z.ZodString;
+        amounts: z.ZodArray<z.ZodObject<{
+            amountField: z.ZodString;
+            totalField: z.ZodString;
+        }, z.core.$strict>>;
+        remainder: z.ZodLiteral<"first">;
     }, z.core.$strict>, z.ZodObject<{
         kind: z.ZodLiteral<"all_in">;
     }, z.core.$strict>, z.ZodObject<{
@@ -373,6 +399,7 @@ declare const udlRemainderSchema: z.ZodObject<{
         skip_steps: "skip_steps";
     }>;
     totalPath: z.ZodString;
+    subtractPaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
 }, z.core.$strict>;
 type UdlCheckRequirementShape = {
     checkKind: string;
@@ -730,7 +757,178 @@ export declare const udlActionLibrarySchema: z.ZodRecord<z.ZodString, z.ZodObjec
         }>;
     }, z.core.$strict>>;
 }, z.core.$strict>>;
+declare const udlAllocationSchema: z.ZodObject<{
+    sliceInstrumentId: z.ZodString;
+    sliceRefField: z.ZodString;
+    sliceStatuses: z.ZodArray<z.ZodString>;
+    dueField: z.ZodString;
+    positionField: z.ZodString;
+    earningRuleField: z.ZodString;
+    buckets: z.ZodArray<z.ZodObject<{
+        key: z.ZodEnum<{
+            cost: "cost";
+            fine: "fine";
+            principal: "principal";
+            profit: "profit";
+        }>;
+        source: z.ZodUnion<readonly [z.ZodObject<{
+            from: z.ZodLiteral<"slice">;
+            amountField: z.ZodString;
+            destinationField: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            from: z.ZodLiteral<"children">;
+            instrumentId: z.ZodString;
+            refField: z.ZodString;
+            statuses: z.ZodArray<z.ZodString>;
+            amountField: z.ZodString;
+            destinationField: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            from: z.ZodLiteral<"children">;
+            template: z.ZodString;
+            parameters: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+            refField: z.ZodString;
+            statuses: z.ZodArray<z.ZodString>;
+            amountField: z.ZodString;
+            destinationField: z.ZodString;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+declare const udlAllocateSchema: z.ZodUnion<readonly [z.ZodObject<{
+    refField: z.ZodOptional<z.ZodString>;
+    mode: z.ZodLiteral<"refund">;
+    action: z.ZodOptional<z.ZodString>;
+    assessmentField: z.ZodOptional<z.ZodString>;
+    capture: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    refField: z.ZodString;
+    mode: z.ZodLiteral<"payment">;
+    assessment: z.ZodOptional<z.ZodLiteral<"self">>;
+    amountField: z.ZodOptional<z.ZodString>;
+    sourceAccountField: z.ZodString;
+    paymentIdentityField: z.ZodString;
+    capture: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    refField: z.ZodOptional<z.ZodString>;
+    mode: z.ZodLiteral<"payoff">;
+    amountField: z.ZodOptional<z.ZodString>;
+    sourceAccountField: z.ZodString;
+    paymentIdentityField: z.ZodString;
+    capture: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    refField: z.ZodOptional<z.ZodString>;
+    mode: z.ZodLiteral<"write_off">;
+    capture: z.ZodString;
+}, z.core.$strict>]>;
+declare const udlContributionsSchema: z.ZodObject<{
+    field: z.ZodString;
+    amountKey: z.ZodString;
+    accountKey: z.ZodString;
+    totalField: z.ZodString;
+}, z.core.$strict>;
 declare const udlActionShape: {
+    requestAuthority: z.ZodOptional<z.ZodObject<{
+        instrumentField: z.ZodString;
+        instanceField: z.ZodString;
+        actionField: z.ZodString;
+        inputField: z.ZodString;
+        digestField: z.ZodString;
+        roleField: z.ZodString;
+        party: z.ZodString;
+        expiresField: z.ZodString;
+    }, z.core.$strict>>;
+    funding: z.ZodOptional<z.ZodObject<{
+        obligationField: z.ZodString;
+        ticketInstrumentId: z.ZodString;
+        ticketRefField: z.ZodString;
+        ticketAmountField: z.ZodString;
+        ticketInvestorField: z.ZodString;
+        ticketAccountField: z.ZodString;
+        ticketStatus: z.ZodString;
+        collectAction: z.ZodString;
+        principalField: z.ZodString;
+        sourceAccountPath: z.ZodString;
+        destinationAccountField: z.ZodString;
+        terms: z.ZodRecord<z.ZodString, z.ZodString>;
+        capture: z.ZodString;
+    }, z.core.$strict>>;
+    receiptDistribution: z.ZodOptional<z.ZodObject<{
+        roundField: z.ZodString;
+        snapshotRef: z.ZodString;
+        receiptField: z.ZodString;
+        receiptPath: z.ZodString;
+        mode: z.ZodEnum<{
+            cash: "cash";
+            loss: "loss";
+        }>;
+        feeBps: z.ZodNumber;
+        vatBps: z.ZodNumber;
+        feeAccountField: z.ZodString;
+        taxAccountField: z.ZodString;
+        residualAccountField: z.ZodString;
+        capture: z.ZodString;
+    }, z.core.$strict>>;
+    requiresAllocation: z.ZodOptional<z.ZodObject<{
+        refField: z.ZodOptional<z.ZodString>;
+        slice: z.ZodUnion<readonly [z.ZodLiteral<"self">, z.ZodObject<{
+            field: z.ZodString;
+        }, z.core.$strict>]>;
+        buckets: z.ZodArray<z.ZodEnum<{
+            cost: "cost";
+            fine: "fine";
+            principal: "principal";
+            profit: "profit";
+        }>>;
+        check: z.ZodEnum<{
+            outstanding: "outstanding";
+            settled: "settled";
+        }>;
+    }, z.core.$strict>>;
+    unique: z.ZodOptional<z.ZodObject<{
+        namespace: z.ZodString;
+        byFields: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    requiresInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    engineOwned: z.ZodOptional<z.ZodLiteral<true>>;
+    captureEngine: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<{
+        operationId: "operationId";
+    }>>>;
+    allocate: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+        refField: z.ZodOptional<z.ZodString>;
+        mode: z.ZodLiteral<"refund">;
+        action: z.ZodOptional<z.ZodString>;
+        assessmentField: z.ZodOptional<z.ZodString>;
+        capture: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        refField: z.ZodString;
+        mode: z.ZodLiteral<"payment">;
+        assessment: z.ZodOptional<z.ZodLiteral<"self">>;
+        amountField: z.ZodOptional<z.ZodString>;
+        sourceAccountField: z.ZodString;
+        paymentIdentityField: z.ZodString;
+        capture: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        refField: z.ZodOptional<z.ZodString>;
+        mode: z.ZodLiteral<"payoff">;
+        amountField: z.ZodOptional<z.ZodString>;
+        sourceAccountField: z.ZodString;
+        paymentIdentityField: z.ZodString;
+        capture: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        refField: z.ZodOptional<z.ZodString>;
+        mode: z.ZodLiteral<"write_off">;
+        capture: z.ZodString;
+    }, z.core.$strict>]>>;
+    contributionStage: z.ZodOptional<z.ZodObject<{
+        stage: z.ZodEnum<{
+            fund: "fund";
+            refund: "refund";
+        }>;
+        accountPath: z.ZodString;
+    }, z.core.$strict>>;
+    transitionsRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        field: z.ZodString;
+        action: z.ZodString;
+    }, z.core.$strict>>>;
     agentDescription: z.ZodOptional<z.ZodString>;
     calls: z.ZodOptional<z.ZodArray<z.ZodObject<{
         action: z.ZodString;
@@ -747,7 +945,9 @@ declare const udlActionShape: {
     }, z.core.$strict>>;
     deadline: z.ZodOptional<z.ZodObject<{
         field: z.ZodString;
-        offset: z.ZodOptional<z.ZodString>;
+        offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            field: z.ZodString;
+        }, z.core.$strict>]>>;
     }, z.core.$strict>>;
     decision: z.ZodOptional<z.ZodObject<{
         capability: z.ZodEnum<{
@@ -804,7 +1004,9 @@ declare const udlActionShape: {
             untilField: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>;
         field: z.ZodString;
-        offset: z.ZodOptional<z.ZodString>;
+        offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            field: z.ZodString;
+        }, z.core.$strict>]>>;
         whenParentStatus: z.ZodOptional<z.ZodObject<{
             instrumentId: z.ZodString;
             refField: z.ZodString;
@@ -887,6 +1089,7 @@ declare const udlActionShape: {
     }, z.core.$strict>>;
     port: z.ZodOptional<z.ZodObject<{
         allowedParties: z.ZodArray<z.ZodString>;
+        capture: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>;
     quote: z.ZodOptional<z.ZodObject<{
         anchorField: z.ZodOptional<z.ZodString>;
@@ -964,8 +1167,16 @@ declare const udlActionShape: {
             skip_steps: "skip_steps";
         }>;
         totalPath: z.ZodString;
+        subtractPaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
     requiresAggregate: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        anchorField: z.ZodOptional<z.ZodString>;
+        dueBefore: z.ZodOptional<z.ZodObject<{
+            field: z.ZodString;
+            offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>]>>;
+        }, z.core.$strict>>;
         check: z.ZodDiscriminatedUnion<[z.ZodObject<{
             amountField: z.ZodString;
             kind: z.ZodLiteral<"sum_at_least">;
@@ -985,6 +1196,23 @@ declare const udlActionShape: {
         }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"count_at_least">;
             targetField: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"count_exactly">;
+            value: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"ordered">;
+            field: z.ZodString;
+            positionField: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"schedule">;
+            positionField: z.ZodString;
+            dateField: z.ZodString;
+            datesField: z.ZodString;
+            amounts: z.ZodArray<z.ZodObject<{
+                amountField: z.ZodString;
+                totalField: z.ZodString;
+            }, z.core.$strict>>;
+            remainder: z.ZodLiteral<"first">;
         }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"all_in">;
         }, z.core.$strict>, z.ZodObject<{
@@ -1004,6 +1232,11 @@ declare const udlActionShape: {
         path: z.ZodString;
     }, z.core.$strict>>;
     requiresExposure: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        groupField: z.ZodOptional<z.ZodString>;
+        minimumField: z.ZodOptional<z.ZodString>;
+        measure: z.ZodOptional<z.ZodObject<{
+            allocation: z.ZodString;
+        }, z.core.$strict>>;
         amountField: z.ZodString;
         anchorField: z.ZodString;
         capField: z.ZodString;
@@ -1012,6 +1245,16 @@ declare const udlActionShape: {
         statuses: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>>;
     requiresRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        attests: z.ZodOptional<z.ZodObject<{
+            forAction: z.ZodOptional<z.ZodString>;
+            action: z.ZodString;
+            digest: z.ZodString;
+            role: z.ZodString;
+            expiresAt: z.ZodString;
+            instrument: z.ZodString;
+            party: z.ZodString;
+            consume: z.ZodString;
+        }, z.core.$strict>>;
         bind: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
         dateComparison: z.ZodOptional<z.ZodObject<{
             localPath: z.ZodString;
@@ -1024,11 +1267,18 @@ declare const udlActionShape: {
             }>;
             referencedPath: z.ZodString;
         }, z.core.$strict>>;
+        dueBefore: z.ZodOptional<z.ZodObject<{
+            field: z.ZodString;
+            offset: z.ZodString;
+        }, z.core.$strict>>;
         field: z.ZodString;
         match: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
         optional: z.ZodOptional<z.ZodLiteral<true>>;
         statuses: z.ZodArray<z.ZodString>;
-        unique: z.ZodOptional<z.ZodLiteral<true>>;
+        unique: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+            namespace: z.ZodString;
+            byFields: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>]>>;
     }, z.core.$strict>>>;
     sandboxFailurePoint: z.ZodOptional<z.ZodEnum<{
         funding: "funding";
@@ -1080,6 +1330,109 @@ declare const udlActionShape: {
     updates: z.ZodOptional<z.ZodArray<z.ZodString>>;
 };
 declare const udlActionSchema: z.ZodObject<{
+    requestAuthority: z.ZodOptional<z.ZodObject<{
+        instrumentField: z.ZodString;
+        instanceField: z.ZodString;
+        actionField: z.ZodString;
+        inputField: z.ZodString;
+        digestField: z.ZodString;
+        roleField: z.ZodString;
+        party: z.ZodString;
+        expiresField: z.ZodString;
+    }, z.core.$strict>>;
+    funding: z.ZodOptional<z.ZodObject<{
+        obligationField: z.ZodString;
+        ticketInstrumentId: z.ZodString;
+        ticketRefField: z.ZodString;
+        ticketAmountField: z.ZodString;
+        ticketInvestorField: z.ZodString;
+        ticketAccountField: z.ZodString;
+        ticketStatus: z.ZodString;
+        collectAction: z.ZodString;
+        principalField: z.ZodString;
+        sourceAccountPath: z.ZodString;
+        destinationAccountField: z.ZodString;
+        terms: z.ZodRecord<z.ZodString, z.ZodString>;
+        capture: z.ZodString;
+    }, z.core.$strict>>;
+    receiptDistribution: z.ZodOptional<z.ZodObject<{
+        roundField: z.ZodString;
+        snapshotRef: z.ZodString;
+        receiptField: z.ZodString;
+        receiptPath: z.ZodString;
+        mode: z.ZodEnum<{
+            cash: "cash";
+            loss: "loss";
+        }>;
+        feeBps: z.ZodNumber;
+        vatBps: z.ZodNumber;
+        feeAccountField: z.ZodString;
+        taxAccountField: z.ZodString;
+        residualAccountField: z.ZodString;
+        capture: z.ZodString;
+    }, z.core.$strict>>;
+    requiresAllocation: z.ZodOptional<z.ZodObject<{
+        refField: z.ZodOptional<z.ZodString>;
+        slice: z.ZodUnion<readonly [z.ZodLiteral<"self">, z.ZodObject<{
+            field: z.ZodString;
+        }, z.core.$strict>]>;
+        buckets: z.ZodArray<z.ZodEnum<{
+            cost: "cost";
+            fine: "fine";
+            principal: "principal";
+            profit: "profit";
+        }>>;
+        check: z.ZodEnum<{
+            outstanding: "outstanding";
+            settled: "settled";
+        }>;
+    }, z.core.$strict>>;
+    unique: z.ZodOptional<z.ZodObject<{
+        namespace: z.ZodString;
+        byFields: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    requiresInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    engineOwned: z.ZodOptional<z.ZodLiteral<true>>;
+    captureEngine: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<{
+        operationId: "operationId";
+    }>>>;
+    allocate: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+        refField: z.ZodOptional<z.ZodString>;
+        mode: z.ZodLiteral<"refund">;
+        action: z.ZodOptional<z.ZodString>;
+        assessmentField: z.ZodOptional<z.ZodString>;
+        capture: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        refField: z.ZodString;
+        mode: z.ZodLiteral<"payment">;
+        assessment: z.ZodOptional<z.ZodLiteral<"self">>;
+        amountField: z.ZodOptional<z.ZodString>;
+        sourceAccountField: z.ZodString;
+        paymentIdentityField: z.ZodString;
+        capture: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        refField: z.ZodOptional<z.ZodString>;
+        mode: z.ZodLiteral<"payoff">;
+        amountField: z.ZodOptional<z.ZodString>;
+        sourceAccountField: z.ZodString;
+        paymentIdentityField: z.ZodString;
+        capture: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        refField: z.ZodOptional<z.ZodString>;
+        mode: z.ZodLiteral<"write_off">;
+        capture: z.ZodString;
+    }, z.core.$strict>]>>;
+    contributionStage: z.ZodOptional<z.ZodObject<{
+        stage: z.ZodEnum<{
+            fund: "fund";
+            refund: "refund";
+        }>;
+        accountPath: z.ZodString;
+    }, z.core.$strict>>;
+    transitionsRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        field: z.ZodString;
+        action: z.ZodString;
+    }, z.core.$strict>>>;
     agentDescription: z.ZodOptional<z.ZodString>;
     calls: z.ZodOptional<z.ZodArray<z.ZodObject<{
         action: z.ZodString;
@@ -1095,7 +1448,9 @@ declare const udlActionSchema: z.ZodObject<{
     }, z.core.$strict>>;
     deadline: z.ZodOptional<z.ZodObject<{
         field: z.ZodString;
-        offset: z.ZodOptional<z.ZodString>;
+        offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            field: z.ZodString;
+        }, z.core.$strict>]>>;
     }, z.core.$strict>>;
     decision: z.ZodOptional<z.ZodObject<{
         capability: z.ZodEnum<{
@@ -1152,7 +1507,9 @@ declare const udlActionSchema: z.ZodObject<{
             untilField: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>;
         field: z.ZodString;
-        offset: z.ZodOptional<z.ZodString>;
+        offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            field: z.ZodString;
+        }, z.core.$strict>]>>;
         whenParentStatus: z.ZodOptional<z.ZodObject<{
             instrumentId: z.ZodString;
             refField: z.ZodString;
@@ -1235,6 +1592,7 @@ declare const udlActionSchema: z.ZodObject<{
     }, z.core.$strict>>;
     port: z.ZodOptional<z.ZodObject<{
         allowedParties: z.ZodArray<z.ZodString>;
+        capture: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>;
     quote: z.ZodOptional<z.ZodObject<{
         anchorField: z.ZodOptional<z.ZodString>;
@@ -1312,8 +1670,16 @@ declare const udlActionSchema: z.ZodObject<{
             skip_steps: "skip_steps";
         }>;
         totalPath: z.ZodString;
+        subtractPaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
     requiresAggregate: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        anchorField: z.ZodOptional<z.ZodString>;
+        dueBefore: z.ZodOptional<z.ZodObject<{
+            field: z.ZodString;
+            offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>]>>;
+        }, z.core.$strict>>;
         check: z.ZodDiscriminatedUnion<[z.ZodObject<{
             amountField: z.ZodString;
             kind: z.ZodLiteral<"sum_at_least">;
@@ -1333,6 +1699,23 @@ declare const udlActionSchema: z.ZodObject<{
         }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"count_at_least">;
             targetField: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"count_exactly">;
+            value: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"ordered">;
+            field: z.ZodString;
+            positionField: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"schedule">;
+            positionField: z.ZodString;
+            dateField: z.ZodString;
+            datesField: z.ZodString;
+            amounts: z.ZodArray<z.ZodObject<{
+                amountField: z.ZodString;
+                totalField: z.ZodString;
+            }, z.core.$strict>>;
+            remainder: z.ZodLiteral<"first">;
         }, z.core.$strict>, z.ZodObject<{
             kind: z.ZodLiteral<"all_in">;
         }, z.core.$strict>, z.ZodObject<{
@@ -1352,6 +1735,11 @@ declare const udlActionSchema: z.ZodObject<{
         path: z.ZodString;
     }, z.core.$strict>>;
     requiresExposure: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        groupField: z.ZodOptional<z.ZodString>;
+        minimumField: z.ZodOptional<z.ZodString>;
+        measure: z.ZodOptional<z.ZodObject<{
+            allocation: z.ZodString;
+        }, z.core.$strict>>;
         amountField: z.ZodString;
         anchorField: z.ZodString;
         capField: z.ZodString;
@@ -1360,6 +1748,16 @@ declare const udlActionSchema: z.ZodObject<{
         statuses: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>>;
     requiresRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        attests: z.ZodOptional<z.ZodObject<{
+            forAction: z.ZodOptional<z.ZodString>;
+            action: z.ZodString;
+            digest: z.ZodString;
+            role: z.ZodString;
+            expiresAt: z.ZodString;
+            instrument: z.ZodString;
+            party: z.ZodString;
+            consume: z.ZodString;
+        }, z.core.$strict>>;
         bind: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
         dateComparison: z.ZodOptional<z.ZodObject<{
             localPath: z.ZodString;
@@ -1372,11 +1770,18 @@ declare const udlActionSchema: z.ZodObject<{
             }>;
             referencedPath: z.ZodString;
         }, z.core.$strict>>;
+        dueBefore: z.ZodOptional<z.ZodObject<{
+            field: z.ZodString;
+            offset: z.ZodString;
+        }, z.core.$strict>>;
         field: z.ZodString;
         match: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
         optional: z.ZodOptional<z.ZodLiteral<true>>;
         statuses: z.ZodArray<z.ZodString>;
-        unique: z.ZodOptional<z.ZodLiteral<true>>;
+        unique: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+            namespace: z.ZodString;
+            byFields: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>]>>;
     }, z.core.$strict>>>;
     sandboxFailurePoint: z.ZodOptional<z.ZodEnum<{
         funding: "funding";
@@ -1445,6 +1850,60 @@ declare const udlAggregateSchema: z.ZodUnion<readonly [z.ZodObject<{
     }, z.core.$strict>>;
 }, z.core.$strict>]>;
 declare const udlInstrumentShape: {
+    templateBinding: z.ZodOptional<z.ZodObject<{
+        id: z.ZodString;
+        parameters: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+    }, z.core.$strict>>;
+    allocation: z.ZodOptional<z.ZodObject<{
+        sliceInstrumentId: z.ZodString;
+        sliceRefField: z.ZodString;
+        sliceStatuses: z.ZodArray<z.ZodString>;
+        dueField: z.ZodString;
+        positionField: z.ZodString;
+        earningRuleField: z.ZodString;
+        buckets: z.ZodArray<z.ZodObject<{
+            key: z.ZodEnum<{
+                cost: "cost";
+                fine: "fine";
+                principal: "principal";
+                profit: "profit";
+            }>;
+            source: z.ZodUnion<readonly [z.ZodObject<{
+                from: z.ZodLiteral<"slice">;
+                amountField: z.ZodString;
+                destinationField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"children">;
+                instrumentId: z.ZodString;
+                refField: z.ZodString;
+                statuses: z.ZodArray<z.ZodString>;
+                amountField: z.ZodString;
+                destinationField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"children">;
+                template: z.ZodString;
+                parameters: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+                refField: z.ZodString;
+                statuses: z.ZodArray<z.ZodString>;
+                amountField: z.ZodString;
+                destinationField: z.ZodString;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    contributions: z.ZodOptional<z.ZodObject<{
+        field: z.ZodString;
+        amountKey: z.ZodString;
+        accountKey: z.ZodString;
+        totalField: z.ZodString;
+    }, z.core.$strict>>;
+    dateOrder: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        beforeField: z.ZodString;
+        afterField: z.ZodString;
+        operator: z.ZodEnum<{
+            "<": "<";
+            "<=": "<=";
+        }>;
+    }, z.core.$strict>>>;
     actionLibrary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
         actionOrder: z.ZodArray<z.ZodString>;
         actions: z.ZodRecord<z.ZodString, z.ZodObject<{
@@ -1557,10 +2016,15 @@ declare const udlInstrumentShape: {
     derivedAmounts: z.ZodOptional<z.ZodArray<z.ZodObject<{
         field: z.ZodString;
         rounding: z.ZodLiteral<"floor">;
-        rule: z.ZodObject<{
-            bps: z.ZodNumber;
+        rule: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            bps: z.ZodUnion<readonly [z.ZodNumber, z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>]>;
             kind: z.ZodLiteral<"percentage_of">;
-        }, z.core.$strict>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"minimum">;
+            capField: z.ZodString;
+        }, z.core.$strict>], "kind">;
         sourceField: z.ZodString;
     }, z.core.$strict>>>;
     feeRules: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -1605,17 +2069,6 @@ declare const udlInstrumentShape: {
             to: z.ZodString;
         }, z.core.$strict>>;
     }, z.core.$strict>;
-    journeys: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        label: z.ZodString;
-        steps: z.ZodArray<z.ZodObject<{
-            bind: z.ZodRecord<z.ZodString, z.ZodString>;
-            example: z.ZodString;
-            id: z.ZodOptional<z.ZodString>;
-            operation: z.ZodString;
-        }, z.core.$strict>>;
-        summary: z.ZodString;
-    }, z.core.$strict>>>;
     nav: z.ZodOptional<z.ZodArray<z.ZodString>>;
     parties: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
     partitions: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -1659,6 +2112,109 @@ declare const udlInstrumentShape: {
         states: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>;
     actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+        requestAuthority: z.ZodOptional<z.ZodObject<{
+            instrumentField: z.ZodString;
+            instanceField: z.ZodString;
+            actionField: z.ZodString;
+            inputField: z.ZodString;
+            digestField: z.ZodString;
+            roleField: z.ZodString;
+            party: z.ZodString;
+            expiresField: z.ZodString;
+        }, z.core.$strict>>;
+        funding: z.ZodOptional<z.ZodObject<{
+            obligationField: z.ZodString;
+            ticketInstrumentId: z.ZodString;
+            ticketRefField: z.ZodString;
+            ticketAmountField: z.ZodString;
+            ticketInvestorField: z.ZodString;
+            ticketAccountField: z.ZodString;
+            ticketStatus: z.ZodString;
+            collectAction: z.ZodString;
+            principalField: z.ZodString;
+            sourceAccountPath: z.ZodString;
+            destinationAccountField: z.ZodString;
+            terms: z.ZodRecord<z.ZodString, z.ZodString>;
+            capture: z.ZodString;
+        }, z.core.$strict>>;
+        receiptDistribution: z.ZodOptional<z.ZodObject<{
+            roundField: z.ZodString;
+            snapshotRef: z.ZodString;
+            receiptField: z.ZodString;
+            receiptPath: z.ZodString;
+            mode: z.ZodEnum<{
+                cash: "cash";
+                loss: "loss";
+            }>;
+            feeBps: z.ZodNumber;
+            vatBps: z.ZodNumber;
+            feeAccountField: z.ZodString;
+            taxAccountField: z.ZodString;
+            residualAccountField: z.ZodString;
+            capture: z.ZodString;
+        }, z.core.$strict>>;
+        requiresAllocation: z.ZodOptional<z.ZodObject<{
+            refField: z.ZodOptional<z.ZodString>;
+            slice: z.ZodUnion<readonly [z.ZodLiteral<"self">, z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>]>;
+            buckets: z.ZodArray<z.ZodEnum<{
+                cost: "cost";
+                fine: "fine";
+                principal: "principal";
+                profit: "profit";
+            }>>;
+            check: z.ZodEnum<{
+                outstanding: "outstanding";
+                settled: "settled";
+            }>;
+        }, z.core.$strict>>;
+        unique: z.ZodOptional<z.ZodObject<{
+            namespace: z.ZodString;
+            byFields: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+        requiresInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        engineOwned: z.ZodOptional<z.ZodLiteral<true>>;
+        captureEngine: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<{
+            operationId: "operationId";
+        }>>>;
+        allocate: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+            refField: z.ZodOptional<z.ZodString>;
+            mode: z.ZodLiteral<"refund">;
+            action: z.ZodOptional<z.ZodString>;
+            assessmentField: z.ZodOptional<z.ZodString>;
+            capture: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            refField: z.ZodString;
+            mode: z.ZodLiteral<"payment">;
+            assessment: z.ZodOptional<z.ZodLiteral<"self">>;
+            amountField: z.ZodOptional<z.ZodString>;
+            sourceAccountField: z.ZodString;
+            paymentIdentityField: z.ZodString;
+            capture: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            refField: z.ZodOptional<z.ZodString>;
+            mode: z.ZodLiteral<"payoff">;
+            amountField: z.ZodOptional<z.ZodString>;
+            sourceAccountField: z.ZodString;
+            paymentIdentityField: z.ZodString;
+            capture: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            refField: z.ZodOptional<z.ZodString>;
+            mode: z.ZodLiteral<"write_off">;
+            capture: z.ZodString;
+        }, z.core.$strict>]>>;
+        contributionStage: z.ZodOptional<z.ZodObject<{
+            stage: z.ZodEnum<{
+                fund: "fund";
+                refund: "refund";
+            }>;
+            accountPath: z.ZodString;
+        }, z.core.$strict>>;
+        transitionsRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            field: z.ZodString;
+            action: z.ZodString;
+        }, z.core.$strict>>>;
         agentDescription: z.ZodOptional<z.ZodString>;
         calls: z.ZodOptional<z.ZodArray<z.ZodObject<{
             action: z.ZodString;
@@ -1674,7 +2230,9 @@ declare const udlInstrumentShape: {
         }, z.core.$strict>>;
         deadline: z.ZodOptional<z.ZodObject<{
             field: z.ZodString;
-            offset: z.ZodOptional<z.ZodString>;
+            offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>]>>;
         }, z.core.$strict>>;
         decision: z.ZodOptional<z.ZodObject<{
             capability: z.ZodEnum<{
@@ -1731,7 +2289,9 @@ declare const udlInstrumentShape: {
                 untilField: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>>;
             field: z.ZodString;
-            offset: z.ZodOptional<z.ZodString>;
+            offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>]>>;
             whenParentStatus: z.ZodOptional<z.ZodObject<{
                 instrumentId: z.ZodString;
                 refField: z.ZodString;
@@ -1814,6 +2374,7 @@ declare const udlInstrumentShape: {
         }, z.core.$strict>>;
         port: z.ZodOptional<z.ZodObject<{
             allowedParties: z.ZodArray<z.ZodString>;
+            capture: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>;
         quote: z.ZodOptional<z.ZodObject<{
             anchorField: z.ZodOptional<z.ZodString>;
@@ -1891,8 +2452,16 @@ declare const udlInstrumentShape: {
                 skip_steps: "skip_steps";
             }>;
             totalPath: z.ZodString;
+            subtractPaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
         }, z.core.$strict>>;
         requiresAggregate: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            anchorField: z.ZodOptional<z.ZodString>;
+            dueBefore: z.ZodOptional<z.ZodObject<{
+                field: z.ZodString;
+                offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                    field: z.ZodString;
+                }, z.core.$strict>]>>;
+            }, z.core.$strict>>;
             check: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 amountField: z.ZodString;
                 kind: z.ZodLiteral<"sum_at_least">;
@@ -1912,6 +2481,23 @@ declare const udlInstrumentShape: {
             }, z.core.$strict>, z.ZodObject<{
                 kind: z.ZodLiteral<"count_at_least">;
                 targetField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"count_exactly">;
+                value: z.ZodNumber;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"ordered">;
+                field: z.ZodString;
+                positionField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"schedule">;
+                positionField: z.ZodString;
+                dateField: z.ZodString;
+                datesField: z.ZodString;
+                amounts: z.ZodArray<z.ZodObject<{
+                    amountField: z.ZodString;
+                    totalField: z.ZodString;
+                }, z.core.$strict>>;
+                remainder: z.ZodLiteral<"first">;
             }, z.core.$strict>, z.ZodObject<{
                 kind: z.ZodLiteral<"all_in">;
             }, z.core.$strict>, z.ZodObject<{
@@ -1931,6 +2517,11 @@ declare const udlInstrumentShape: {
             path: z.ZodString;
         }, z.core.$strict>>;
         requiresExposure: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            groupField: z.ZodOptional<z.ZodString>;
+            minimumField: z.ZodOptional<z.ZodString>;
+            measure: z.ZodOptional<z.ZodObject<{
+                allocation: z.ZodString;
+            }, z.core.$strict>>;
             amountField: z.ZodString;
             anchorField: z.ZodString;
             capField: z.ZodString;
@@ -1939,6 +2530,16 @@ declare const udlInstrumentShape: {
             statuses: z.ZodArray<z.ZodString>;
         }, z.core.$strict>>>;
         requiresRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            attests: z.ZodOptional<z.ZodObject<{
+                forAction: z.ZodOptional<z.ZodString>;
+                action: z.ZodString;
+                digest: z.ZodString;
+                role: z.ZodString;
+                expiresAt: z.ZodString;
+                instrument: z.ZodString;
+                party: z.ZodString;
+                consume: z.ZodString;
+            }, z.core.$strict>>;
             bind: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             dateComparison: z.ZodOptional<z.ZodObject<{
                 localPath: z.ZodString;
@@ -1951,11 +2552,18 @@ declare const udlInstrumentShape: {
                 }>;
                 referencedPath: z.ZodString;
             }, z.core.$strict>>;
+            dueBefore: z.ZodOptional<z.ZodObject<{
+                field: z.ZodString;
+                offset: z.ZodString;
+            }, z.core.$strict>>;
             field: z.ZodString;
             match: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             optional: z.ZodOptional<z.ZodLiteral<true>>;
             statuses: z.ZodArray<z.ZodString>;
-            unique: z.ZodOptional<z.ZodLiteral<true>>;
+            unique: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+                namespace: z.ZodString;
+                byFields: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>]>>;
         }, z.core.$strict>>>;
         sandboxFailurePoint: z.ZodOptional<z.ZodEnum<{
             funding: "funding";
@@ -2008,6 +2616,60 @@ declare const udlInstrumentShape: {
     }, z.core.$strict>>;
 };
 declare const udlInstrumentSchema: z.ZodObject<{
+    templateBinding: z.ZodOptional<z.ZodObject<{
+        id: z.ZodString;
+        parameters: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+    }, z.core.$strict>>;
+    allocation: z.ZodOptional<z.ZodObject<{
+        sliceInstrumentId: z.ZodString;
+        sliceRefField: z.ZodString;
+        sliceStatuses: z.ZodArray<z.ZodString>;
+        dueField: z.ZodString;
+        positionField: z.ZodString;
+        earningRuleField: z.ZodString;
+        buckets: z.ZodArray<z.ZodObject<{
+            key: z.ZodEnum<{
+                cost: "cost";
+                fine: "fine";
+                principal: "principal";
+                profit: "profit";
+            }>;
+            source: z.ZodUnion<readonly [z.ZodObject<{
+                from: z.ZodLiteral<"slice">;
+                amountField: z.ZodString;
+                destinationField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"children">;
+                instrumentId: z.ZodString;
+                refField: z.ZodString;
+                statuses: z.ZodArray<z.ZodString>;
+                amountField: z.ZodString;
+                destinationField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"children">;
+                template: z.ZodString;
+                parameters: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+                refField: z.ZodString;
+                statuses: z.ZodArray<z.ZodString>;
+                amountField: z.ZodString;
+                destinationField: z.ZodString;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    contributions: z.ZodOptional<z.ZodObject<{
+        field: z.ZodString;
+        amountKey: z.ZodString;
+        accountKey: z.ZodString;
+        totalField: z.ZodString;
+    }, z.core.$strict>>;
+    dateOrder: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        beforeField: z.ZodString;
+        afterField: z.ZodString;
+        operator: z.ZodEnum<{
+            "<": "<";
+            "<=": "<=";
+        }>;
+    }, z.core.$strict>>>;
     actionLibrary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
         actionOrder: z.ZodArray<z.ZodString>;
         actions: z.ZodRecord<z.ZodString, z.ZodObject<{
@@ -2120,10 +2782,15 @@ declare const udlInstrumentSchema: z.ZodObject<{
     derivedAmounts: z.ZodOptional<z.ZodArray<z.ZodObject<{
         field: z.ZodString;
         rounding: z.ZodLiteral<"floor">;
-        rule: z.ZodObject<{
-            bps: z.ZodNumber;
+        rule: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            bps: z.ZodUnion<readonly [z.ZodNumber, z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>]>;
             kind: z.ZodLiteral<"percentage_of">;
-        }, z.core.$strict>;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"minimum">;
+            capField: z.ZodString;
+        }, z.core.$strict>], "kind">;
         sourceField: z.ZodString;
     }, z.core.$strict>>>;
     feeRules: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -2168,17 +2835,6 @@ declare const udlInstrumentSchema: z.ZodObject<{
             to: z.ZodString;
         }, z.core.$strict>>;
     }, z.core.$strict>;
-    journeys: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        label: z.ZodString;
-        steps: z.ZodArray<z.ZodObject<{
-            bind: z.ZodRecord<z.ZodString, z.ZodString>;
-            example: z.ZodString;
-            id: z.ZodOptional<z.ZodString>;
-            operation: z.ZodString;
-        }, z.core.$strict>>;
-        summary: z.ZodString;
-    }, z.core.$strict>>>;
     nav: z.ZodOptional<z.ZodArray<z.ZodString>>;
     parties: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
     partitions: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -2222,6 +2878,109 @@ declare const udlInstrumentSchema: z.ZodObject<{
         states: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>;
     actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+        requestAuthority: z.ZodOptional<z.ZodObject<{
+            instrumentField: z.ZodString;
+            instanceField: z.ZodString;
+            actionField: z.ZodString;
+            inputField: z.ZodString;
+            digestField: z.ZodString;
+            roleField: z.ZodString;
+            party: z.ZodString;
+            expiresField: z.ZodString;
+        }, z.core.$strict>>;
+        funding: z.ZodOptional<z.ZodObject<{
+            obligationField: z.ZodString;
+            ticketInstrumentId: z.ZodString;
+            ticketRefField: z.ZodString;
+            ticketAmountField: z.ZodString;
+            ticketInvestorField: z.ZodString;
+            ticketAccountField: z.ZodString;
+            ticketStatus: z.ZodString;
+            collectAction: z.ZodString;
+            principalField: z.ZodString;
+            sourceAccountPath: z.ZodString;
+            destinationAccountField: z.ZodString;
+            terms: z.ZodRecord<z.ZodString, z.ZodString>;
+            capture: z.ZodString;
+        }, z.core.$strict>>;
+        receiptDistribution: z.ZodOptional<z.ZodObject<{
+            roundField: z.ZodString;
+            snapshotRef: z.ZodString;
+            receiptField: z.ZodString;
+            receiptPath: z.ZodString;
+            mode: z.ZodEnum<{
+                cash: "cash";
+                loss: "loss";
+            }>;
+            feeBps: z.ZodNumber;
+            vatBps: z.ZodNumber;
+            feeAccountField: z.ZodString;
+            taxAccountField: z.ZodString;
+            residualAccountField: z.ZodString;
+            capture: z.ZodString;
+        }, z.core.$strict>>;
+        requiresAllocation: z.ZodOptional<z.ZodObject<{
+            refField: z.ZodOptional<z.ZodString>;
+            slice: z.ZodUnion<readonly [z.ZodLiteral<"self">, z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>]>;
+            buckets: z.ZodArray<z.ZodEnum<{
+                cost: "cost";
+                fine: "fine";
+                principal: "principal";
+                profit: "profit";
+            }>>;
+            check: z.ZodEnum<{
+                outstanding: "outstanding";
+                settled: "settled";
+            }>;
+        }, z.core.$strict>>;
+        unique: z.ZodOptional<z.ZodObject<{
+            namespace: z.ZodString;
+            byFields: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+        requiresInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        engineOwned: z.ZodOptional<z.ZodLiteral<true>>;
+        captureEngine: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<{
+            operationId: "operationId";
+        }>>>;
+        allocate: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+            refField: z.ZodOptional<z.ZodString>;
+            mode: z.ZodLiteral<"refund">;
+            action: z.ZodOptional<z.ZodString>;
+            assessmentField: z.ZodOptional<z.ZodString>;
+            capture: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            refField: z.ZodString;
+            mode: z.ZodLiteral<"payment">;
+            assessment: z.ZodOptional<z.ZodLiteral<"self">>;
+            amountField: z.ZodOptional<z.ZodString>;
+            sourceAccountField: z.ZodString;
+            paymentIdentityField: z.ZodString;
+            capture: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            refField: z.ZodOptional<z.ZodString>;
+            mode: z.ZodLiteral<"payoff">;
+            amountField: z.ZodOptional<z.ZodString>;
+            sourceAccountField: z.ZodString;
+            paymentIdentityField: z.ZodString;
+            capture: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            refField: z.ZodOptional<z.ZodString>;
+            mode: z.ZodLiteral<"write_off">;
+            capture: z.ZodString;
+        }, z.core.$strict>]>>;
+        contributionStage: z.ZodOptional<z.ZodObject<{
+            stage: z.ZodEnum<{
+                fund: "fund";
+                refund: "refund";
+            }>;
+            accountPath: z.ZodString;
+        }, z.core.$strict>>;
+        transitionsRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            field: z.ZodString;
+            action: z.ZodString;
+        }, z.core.$strict>>>;
         agentDescription: z.ZodOptional<z.ZodString>;
         calls: z.ZodOptional<z.ZodArray<z.ZodObject<{
             action: z.ZodString;
@@ -2237,7 +2996,9 @@ declare const udlInstrumentSchema: z.ZodObject<{
         }, z.core.$strict>>;
         deadline: z.ZodOptional<z.ZodObject<{
             field: z.ZodString;
-            offset: z.ZodOptional<z.ZodString>;
+            offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>]>>;
         }, z.core.$strict>>;
         decision: z.ZodOptional<z.ZodObject<{
             capability: z.ZodEnum<{
@@ -2294,7 +3055,9 @@ declare const udlInstrumentSchema: z.ZodObject<{
                 untilField: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>>;
             field: z.ZodString;
-            offset: z.ZodOptional<z.ZodString>;
+            offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>]>>;
             whenParentStatus: z.ZodOptional<z.ZodObject<{
                 instrumentId: z.ZodString;
                 refField: z.ZodString;
@@ -2377,6 +3140,7 @@ declare const udlInstrumentSchema: z.ZodObject<{
         }, z.core.$strict>>;
         port: z.ZodOptional<z.ZodObject<{
             allowedParties: z.ZodArray<z.ZodString>;
+            capture: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>;
         quote: z.ZodOptional<z.ZodObject<{
             anchorField: z.ZodOptional<z.ZodString>;
@@ -2454,8 +3218,16 @@ declare const udlInstrumentSchema: z.ZodObject<{
                 skip_steps: "skip_steps";
             }>;
             totalPath: z.ZodString;
+            subtractPaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
         }, z.core.$strict>>;
         requiresAggregate: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            anchorField: z.ZodOptional<z.ZodString>;
+            dueBefore: z.ZodOptional<z.ZodObject<{
+                field: z.ZodString;
+                offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                    field: z.ZodString;
+                }, z.core.$strict>]>>;
+            }, z.core.$strict>>;
             check: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 amountField: z.ZodString;
                 kind: z.ZodLiteral<"sum_at_least">;
@@ -2475,6 +3247,23 @@ declare const udlInstrumentSchema: z.ZodObject<{
             }, z.core.$strict>, z.ZodObject<{
                 kind: z.ZodLiteral<"count_at_least">;
                 targetField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"count_exactly">;
+                value: z.ZodNumber;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"ordered">;
+                field: z.ZodString;
+                positionField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"schedule">;
+                positionField: z.ZodString;
+                dateField: z.ZodString;
+                datesField: z.ZodString;
+                amounts: z.ZodArray<z.ZodObject<{
+                    amountField: z.ZodString;
+                    totalField: z.ZodString;
+                }, z.core.$strict>>;
+                remainder: z.ZodLiteral<"first">;
             }, z.core.$strict>, z.ZodObject<{
                 kind: z.ZodLiteral<"all_in">;
             }, z.core.$strict>, z.ZodObject<{
@@ -2494,6 +3283,11 @@ declare const udlInstrumentSchema: z.ZodObject<{
             path: z.ZodString;
         }, z.core.$strict>>;
         requiresExposure: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            groupField: z.ZodOptional<z.ZodString>;
+            minimumField: z.ZodOptional<z.ZodString>;
+            measure: z.ZodOptional<z.ZodObject<{
+                allocation: z.ZodString;
+            }, z.core.$strict>>;
             amountField: z.ZodString;
             anchorField: z.ZodString;
             capField: z.ZodString;
@@ -2502,6 +3296,16 @@ declare const udlInstrumentSchema: z.ZodObject<{
             statuses: z.ZodArray<z.ZodString>;
         }, z.core.$strict>>>;
         requiresRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            attests: z.ZodOptional<z.ZodObject<{
+                forAction: z.ZodOptional<z.ZodString>;
+                action: z.ZodString;
+                digest: z.ZodString;
+                role: z.ZodString;
+                expiresAt: z.ZodString;
+                instrument: z.ZodString;
+                party: z.ZodString;
+                consume: z.ZodString;
+            }, z.core.$strict>>;
             bind: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             dateComparison: z.ZodOptional<z.ZodObject<{
                 localPath: z.ZodString;
@@ -2514,11 +3318,18 @@ declare const udlInstrumentSchema: z.ZodObject<{
                 }>;
                 referencedPath: z.ZodString;
             }, z.core.$strict>>;
+            dueBefore: z.ZodOptional<z.ZodObject<{
+                field: z.ZodString;
+                offset: z.ZodString;
+            }, z.core.$strict>>;
             field: z.ZodString;
             match: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             optional: z.ZodOptional<z.ZodLiteral<true>>;
             statuses: z.ZodArray<z.ZodString>;
-            unique: z.ZodOptional<z.ZodLiteral<true>>;
+            unique: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+                namespace: z.ZodString;
+                byFields: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>]>>;
         }, z.core.$strict>>>;
         sandboxFailurePoint: z.ZodOptional<z.ZodEnum<{
             funding: "funding";
@@ -2601,6 +3412,117 @@ export type UdlClauseVocabularyEntry = UdlClauseVocabularyMetadata & ({
     readonly target: UdlInstrumentClauseTarget;
 });
 export declare const udlClauseVocabulary: readonly [{
+    readonly scope: "action";
+    readonly spelling: "funding";
+    readonly target: "funding";
+    readonly cardinality: "one";
+    readonly effects: readonly [{
+        readonly kind: "moves";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "transfer.internal";
+        };
+    }];
+}, {
+    readonly scope: "action";
+    readonly spelling: "receipt distribution";
+    readonly target: "receiptDistribution";
+    readonly cardinality: "one";
+    readonly effects: readonly [{
+        readonly kind: "decides";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "allocation";
+        };
+    }, {
+        readonly kind: "moves";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "allocation";
+        };
+    }];
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "requires allocation";
+    readonly target: "requiresAllocation";
+    readonly effects: readonly [{
+        readonly kind: "decides";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "allocation";
+        };
+    }];
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "allocation";
+    readonly target: "allocation";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "contributions";
+    readonly target: "contributions";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "allocate";
+    readonly target: "allocate";
+    readonly effects: readonly [{
+        readonly kind: "decides";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "allocation";
+        };
+    }, {
+        readonly kind: "moves";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "allocation";
+        };
+    }];
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "contribution stage";
+    readonly target: "contributionStage";
+    readonly effects: readonly [{
+        readonly kind: "moves";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "transfer.internal";
+        };
+    }];
+}, {
+    readonly cardinality: "many";
+    readonly scope: "instrument";
+    readonly spelling: "date order";
+    readonly target: "dateOrder";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "unique";
+    readonly target: "unique";
+    readonly effects: readonly [{
+        readonly kind: "decides";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "subject_unique";
+        };
+    }];
+}, {
+    readonly cardinality: "many";
+    readonly scope: "action";
+    readonly spelling: "transitions refs";
+    readonly target: "transitionsRefs";
+    readonly effects: readonly [{
+        readonly kind: "decides";
+        readonly per: "element";
+        readonly signature: {
+            readonly fixed: "referenced_transition";
+        };
+    }];
+}, {
     readonly cardinality: "one";
     readonly literalKeys: true;
     readonly scope: "instrument";
@@ -2617,6 +3539,23 @@ export declare const udlClauseVocabulary: readonly [{
     readonly scope: "action";
     readonly spelling: "calls";
     readonly target: "calls";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "requires input";
+    readonly target: "requiresInput";
+    readonly literalKeys: true;
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "engine owned";
+    readonly target: "engineOwned";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "capture engine";
+    readonly target: "captureEngine";
+    readonly literalKeys: true;
 }, {
     readonly cardinality: "one";
     readonly scope: "action";
@@ -2939,11 +3878,6 @@ export declare const udlClauseVocabulary: readonly [{
     readonly scope: "instrument";
     readonly spelling: "id prefix";
     readonly target: "idPrefix";
-}, {
-    readonly cardinality: "many";
-    readonly scope: "instrument";
-    readonly spelling: "journeys";
-    readonly target: "journeys";
 }, {
     readonly cardinality: "many";
     readonly scope: "instrument";
@@ -2969,6 +3903,11 @@ export declare const udlClauseVocabulary: readonly [{
     readonly scope: "instrument";
     readonly spelling: "surface visibility";
     readonly target: "surfaceVisibility";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "template binding";
+    readonly target: "templateBinding";
 }, {
     readonly cardinality: "one";
     readonly scope: "instrument";
@@ -2984,6 +3923,12 @@ export declare const udlClauseVocabulary: readonly [{
     readonly scope: "instrument";
     readonly spelling: "update";
     readonly target: "update";
+}, {
+    readonly cardinality: "one";
+    readonly effects: readonly [];
+    readonly scope: "action";
+    readonly spelling: "request authority";
+    readonly target: "requestAuthority";
 }];
 export declare const udlDocumentSchema: z.ZodObject<{
     dials: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -2994,6 +3939,60 @@ export declare const udlDocumentSchema: z.ZodObject<{
         title: z.ZodString;
     }, z.core.$strict>>>;
     instruments: z.ZodArray<z.ZodObject<{
+        templateBinding: z.ZodOptional<z.ZodObject<{
+            id: z.ZodString;
+            parameters: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+        }, z.core.$strict>>;
+        allocation: z.ZodOptional<z.ZodObject<{
+            sliceInstrumentId: z.ZodString;
+            sliceRefField: z.ZodString;
+            sliceStatuses: z.ZodArray<z.ZodString>;
+            dueField: z.ZodString;
+            positionField: z.ZodString;
+            earningRuleField: z.ZodString;
+            buckets: z.ZodArray<z.ZodObject<{
+                key: z.ZodEnum<{
+                    cost: "cost";
+                    fine: "fine";
+                    principal: "principal";
+                    profit: "profit";
+                }>;
+                source: z.ZodUnion<readonly [z.ZodObject<{
+                    from: z.ZodLiteral<"slice">;
+                    amountField: z.ZodString;
+                    destinationField: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"children">;
+                    instrumentId: z.ZodString;
+                    refField: z.ZodString;
+                    statuses: z.ZodArray<z.ZodString>;
+                    amountField: z.ZodString;
+                    destinationField: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    from: z.ZodLiteral<"children">;
+                    template: z.ZodString;
+                    parameters: z.ZodRecord<z.ZodString, z.ZodUnion<readonly [z.ZodString, z.ZodNumber, z.ZodBoolean]>>;
+                    refField: z.ZodString;
+                    statuses: z.ZodArray<z.ZodString>;
+                    amountField: z.ZodString;
+                    destinationField: z.ZodString;
+                }, z.core.$strict>]>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        contributions: z.ZodOptional<z.ZodObject<{
+            field: z.ZodString;
+            amountKey: z.ZodString;
+            accountKey: z.ZodString;
+            totalField: z.ZodString;
+        }, z.core.$strict>>;
+        dateOrder: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            beforeField: z.ZodString;
+            afterField: z.ZodString;
+            operator: z.ZodEnum<{
+                "<": "<";
+                "<=": "<=";
+            }>;
+        }, z.core.$strict>>>;
         actionLibrary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
             actionOrder: z.ZodArray<z.ZodString>;
             actions: z.ZodRecord<z.ZodString, z.ZodObject<{
@@ -3106,10 +4105,15 @@ export declare const udlDocumentSchema: z.ZodObject<{
         derivedAmounts: z.ZodOptional<z.ZodArray<z.ZodObject<{
             field: z.ZodString;
             rounding: z.ZodLiteral<"floor">;
-            rule: z.ZodObject<{
-                bps: z.ZodNumber;
+            rule: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                bps: z.ZodUnion<readonly [z.ZodNumber, z.ZodObject<{
+                    field: z.ZodString;
+                }, z.core.$strict>]>;
                 kind: z.ZodLiteral<"percentage_of">;
-            }, z.core.$strict>;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"minimum">;
+                capField: z.ZodString;
+            }, z.core.$strict>], "kind">;
             sourceField: z.ZodString;
         }, z.core.$strict>>>;
         feeRules: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -3154,17 +4158,6 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 to: z.ZodString;
             }, z.core.$strict>>;
         }, z.core.$strict>;
-        journeys: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            id: z.ZodString;
-            label: z.ZodString;
-            steps: z.ZodArray<z.ZodObject<{
-                bind: z.ZodRecord<z.ZodString, z.ZodString>;
-                example: z.ZodString;
-                id: z.ZodOptional<z.ZodString>;
-                operation: z.ZodString;
-            }, z.core.$strict>>;
-            summary: z.ZodString;
-        }, z.core.$strict>>>;
         nav: z.ZodOptional<z.ZodArray<z.ZodString>>;
         parties: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
         partitions: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -3208,6 +4201,109 @@ export declare const udlDocumentSchema: z.ZodObject<{
             states: z.ZodArray<z.ZodString>;
         }, z.core.$strict>>;
         actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+            requestAuthority: z.ZodOptional<z.ZodObject<{
+                instrumentField: z.ZodString;
+                instanceField: z.ZodString;
+                actionField: z.ZodString;
+                inputField: z.ZodString;
+                digestField: z.ZodString;
+                roleField: z.ZodString;
+                party: z.ZodString;
+                expiresField: z.ZodString;
+            }, z.core.$strict>>;
+            funding: z.ZodOptional<z.ZodObject<{
+                obligationField: z.ZodString;
+                ticketInstrumentId: z.ZodString;
+                ticketRefField: z.ZodString;
+                ticketAmountField: z.ZodString;
+                ticketInvestorField: z.ZodString;
+                ticketAccountField: z.ZodString;
+                ticketStatus: z.ZodString;
+                collectAction: z.ZodString;
+                principalField: z.ZodString;
+                sourceAccountPath: z.ZodString;
+                destinationAccountField: z.ZodString;
+                terms: z.ZodRecord<z.ZodString, z.ZodString>;
+                capture: z.ZodString;
+            }, z.core.$strict>>;
+            receiptDistribution: z.ZodOptional<z.ZodObject<{
+                roundField: z.ZodString;
+                snapshotRef: z.ZodString;
+                receiptField: z.ZodString;
+                receiptPath: z.ZodString;
+                mode: z.ZodEnum<{
+                    cash: "cash";
+                    loss: "loss";
+                }>;
+                feeBps: z.ZodNumber;
+                vatBps: z.ZodNumber;
+                feeAccountField: z.ZodString;
+                taxAccountField: z.ZodString;
+                residualAccountField: z.ZodString;
+                capture: z.ZodString;
+            }, z.core.$strict>>;
+            requiresAllocation: z.ZodOptional<z.ZodObject<{
+                refField: z.ZodOptional<z.ZodString>;
+                slice: z.ZodUnion<readonly [z.ZodLiteral<"self">, z.ZodObject<{
+                    field: z.ZodString;
+                }, z.core.$strict>]>;
+                buckets: z.ZodArray<z.ZodEnum<{
+                    cost: "cost";
+                    fine: "fine";
+                    principal: "principal";
+                    profit: "profit";
+                }>>;
+                check: z.ZodEnum<{
+                    outstanding: "outstanding";
+                    settled: "settled";
+                }>;
+            }, z.core.$strict>>;
+            unique: z.ZodOptional<z.ZodObject<{
+                namespace: z.ZodString;
+                byFields: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>;
+            requiresInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            engineOwned: z.ZodOptional<z.ZodLiteral<true>>;
+            captureEngine: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<{
+                operationId: "operationId";
+            }>>>;
+            allocate: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                refField: z.ZodOptional<z.ZodString>;
+                mode: z.ZodLiteral<"refund">;
+                action: z.ZodOptional<z.ZodString>;
+                assessmentField: z.ZodOptional<z.ZodString>;
+                capture: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                refField: z.ZodString;
+                mode: z.ZodLiteral<"payment">;
+                assessment: z.ZodOptional<z.ZodLiteral<"self">>;
+                amountField: z.ZodOptional<z.ZodString>;
+                sourceAccountField: z.ZodString;
+                paymentIdentityField: z.ZodString;
+                capture: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                refField: z.ZodOptional<z.ZodString>;
+                mode: z.ZodLiteral<"payoff">;
+                amountField: z.ZodOptional<z.ZodString>;
+                sourceAccountField: z.ZodString;
+                paymentIdentityField: z.ZodString;
+                capture: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                refField: z.ZodOptional<z.ZodString>;
+                mode: z.ZodLiteral<"write_off">;
+                capture: z.ZodString;
+            }, z.core.$strict>]>>;
+            contributionStage: z.ZodOptional<z.ZodObject<{
+                stage: z.ZodEnum<{
+                    fund: "fund";
+                    refund: "refund";
+                }>;
+                accountPath: z.ZodString;
+            }, z.core.$strict>>;
+            transitionsRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                field: z.ZodString;
+                action: z.ZodString;
+            }, z.core.$strict>>>;
             agentDescription: z.ZodOptional<z.ZodString>;
             calls: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 action: z.ZodString;
@@ -3223,7 +4319,9 @@ export declare const udlDocumentSchema: z.ZodObject<{
             }, z.core.$strict>>;
             deadline: z.ZodOptional<z.ZodObject<{
                 field: z.ZodString;
-                offset: z.ZodOptional<z.ZodString>;
+                offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                    field: z.ZodString;
+                }, z.core.$strict>]>>;
             }, z.core.$strict>>;
             decision: z.ZodOptional<z.ZodObject<{
                 capability: z.ZodEnum<{
@@ -3280,7 +4378,9 @@ export declare const udlDocumentSchema: z.ZodObject<{
                     untilField: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>;
                 field: z.ZodString;
-                offset: z.ZodOptional<z.ZodString>;
+                offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                    field: z.ZodString;
+                }, z.core.$strict>]>>;
                 whenParentStatus: z.ZodOptional<z.ZodObject<{
                     instrumentId: z.ZodString;
                     refField: z.ZodString;
@@ -3363,6 +4463,7 @@ export declare const udlDocumentSchema: z.ZodObject<{
             }, z.core.$strict>>;
             port: z.ZodOptional<z.ZodObject<{
                 allowedParties: z.ZodArray<z.ZodString>;
+                capture: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>>;
             quote: z.ZodOptional<z.ZodObject<{
                 anchorField: z.ZodOptional<z.ZodString>;
@@ -3440,8 +4541,16 @@ export declare const udlDocumentSchema: z.ZodObject<{
                     skip_steps: "skip_steps";
                 }>;
                 totalPath: z.ZodString;
+                subtractPaths: z.ZodOptional<z.ZodArray<z.ZodString>>;
             }, z.core.$strict>>;
             requiresAggregate: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                anchorField: z.ZodOptional<z.ZodString>;
+                dueBefore: z.ZodOptional<z.ZodObject<{
+                    field: z.ZodString;
+                    offset: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                        field: z.ZodString;
+                    }, z.core.$strict>]>>;
+                }, z.core.$strict>>;
                 check: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     amountField: z.ZodString;
                     kind: z.ZodLiteral<"sum_at_least">;
@@ -3461,6 +4570,23 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 }, z.core.$strict>, z.ZodObject<{
                     kind: z.ZodLiteral<"count_at_least">;
                     targetField: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"count_exactly">;
+                    value: z.ZodNumber;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"ordered">;
+                    field: z.ZodString;
+                    positionField: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    kind: z.ZodLiteral<"schedule">;
+                    positionField: z.ZodString;
+                    dateField: z.ZodString;
+                    datesField: z.ZodString;
+                    amounts: z.ZodArray<z.ZodObject<{
+                        amountField: z.ZodString;
+                        totalField: z.ZodString;
+                    }, z.core.$strict>>;
+                    remainder: z.ZodLiteral<"first">;
                 }, z.core.$strict>, z.ZodObject<{
                     kind: z.ZodLiteral<"all_in">;
                 }, z.core.$strict>, z.ZodObject<{
@@ -3480,6 +4606,11 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 path: z.ZodString;
             }, z.core.$strict>>;
             requiresExposure: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                groupField: z.ZodOptional<z.ZodString>;
+                minimumField: z.ZodOptional<z.ZodString>;
+                measure: z.ZodOptional<z.ZodObject<{
+                    allocation: z.ZodString;
+                }, z.core.$strict>>;
                 amountField: z.ZodString;
                 anchorField: z.ZodString;
                 capField: z.ZodString;
@@ -3488,6 +4619,16 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 statuses: z.ZodArray<z.ZodString>;
             }, z.core.$strict>>>;
             requiresRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                attests: z.ZodOptional<z.ZodObject<{
+                    forAction: z.ZodOptional<z.ZodString>;
+                    action: z.ZodString;
+                    digest: z.ZodString;
+                    role: z.ZodString;
+                    expiresAt: z.ZodString;
+                    instrument: z.ZodString;
+                    party: z.ZodString;
+                    consume: z.ZodString;
+                }, z.core.$strict>>;
                 bind: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 dateComparison: z.ZodOptional<z.ZodObject<{
                     localPath: z.ZodString;
@@ -3500,11 +4641,18 @@ export declare const udlDocumentSchema: z.ZodObject<{
                     }>;
                     referencedPath: z.ZodString;
                 }, z.core.$strict>>;
+                dueBefore: z.ZodOptional<z.ZodObject<{
+                    field: z.ZodString;
+                    offset: z.ZodString;
+                }, z.core.$strict>>;
                 field: z.ZodString;
                 match: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 optional: z.ZodOptional<z.ZodLiteral<true>>;
                 statuses: z.ZodArray<z.ZodString>;
-                unique: z.ZodOptional<z.ZodLiteral<true>>;
+                unique: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<true>, z.ZodObject<{
+                    namespace: z.ZodString;
+                    byFields: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>]>>;
             }, z.core.$strict>>>;
             sandboxFailurePoint: z.ZodOptional<z.ZodEnum<{
                 funding: "funding";
@@ -3572,6 +4720,9 @@ export declare const udlDocumentSchema: z.ZodObject<{
     udl: z.ZodLiteral<1>;
     version: z.ZodNumber;
 }, z.core.$strict>;
+export type UdlAllocation = z.infer<typeof udlAllocationSchema>;
+export type UdlAllocate = z.infer<typeof udlAllocateSchema>;
+export type UdlContributions = z.infer<typeof udlContributionsSchema>;
 export type UdlAggregate = z.infer<typeof udlAggregateSchema>;
 export type UdlAggregateCondition = z.infer<typeof udlAggregateConditionSchema>;
 export type UdlBinding = z.infer<typeof udlBindingSchema>;
@@ -3591,8 +4742,6 @@ export type UdlLifecycle = z.infer<typeof udlLifecycleSchema>;
 export type UdlLifecycleTransition = z.infer<typeof udlLifecycleTransitionSchema>;
 export type UdlInstrument = z.infer<typeof udlInstrumentSchema>;
 export type UdlInstrumentSubject = z.infer<typeof udlInstrumentSubjectSchema>;
-export type UdlJourney = z.infer<typeof udlJourneySchema>;
-export type UdlJourneyStep = z.infer<typeof udlJourneyStepSchema>;
 export type UdlMove = z.infer<typeof udlMoveSchema>;
 export type UdlPayout = z.infer<typeof udlPayoutSchema>;
 export type UdlQuote = z.infer<typeof udlQuoteSchema>;