@hyperscale0/udl 1.0.0-beta.1 → 1.0.0

package/dist/schema.d.ts

@@ -1,6 +1,26 @@
 import { z } from "zod";
+import type { UdlEffectKind } from "./effects.js";
 export declare const UDL_FORMAT_VERSION: 1;
-export declare const udlPublicIntentSchema: z.ZodString;
+export declare const udlPublicActionSchema: z.ZodString;
+export declare const udlInstrumentActionIdSchema: z.ZodString;
+export declare const udlProviderFamilyIdSchema: z.ZodEnum<{
+    national_identity: "national_identity";
+    identity_verification: "identity_verification";
+    credit_bureau: "credit_bureau";
+    sanctions_screening: "sanctions_screening";
+    enforcement_instrument: "enforcement_instrument";
+    accounts_ledger_first_party: "accounts_ledger_first_party";
+    credit_servicing: "credit_servicing";
+    collections_agency: "collections_agency";
+    settlement_ingestion: "settlement_ingestion";
+    payouts: "payouts";
+    banking_or_card_issuing: "banking_or_card_issuing";
+    insurance_carrier: "insurance_carrier";
+    insurance_claims_adjuster: "insurance_claims_adjuster";
+    air_carrier: "air_carrier";
+    lodging_supplier: "lodging_supplier";
+    email_or_notification: "email_or_notification";
+}>;
 declare const udlDeclaredValuePolicySchema: z.ZodEnum<{
     optional: "optional";
     required: "required";
@@ -17,9 +37,15 @@ declare const udlSubjectSchema: z.ZodObject<{
     title: z.ZodString;
     version: z.ZodNumber;
 }, z.core.$strict>;
-declare const udlNounSubjectSchema: z.ZodObject<{
+declare const udlInstrumentSubjectSchema: z.ZodObject<{
+    extensible: z.ZodOptional<z.ZodBoolean>;
     kinds: z.ZodArray<z.ZodString>;
 }, z.core.$strict>;
+declare const udlExampleSchema: z.ZodObject<{
+    input: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+    name: z.ZodString;
+    output: z.ZodOptional<z.ZodJSONSchema>;
+}, z.core.$strict>;
 declare const udlLifecycleTransitionSchema: z.ZodObject<{
     from: z.ZodArray<z.ZodString>;
     to: z.ZodString;
@@ -51,11 +77,11 @@ declare const udlBindingSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
     path: z.ZodString;
 }, z.core.$strict>], "from">;
 export declare const udlKernelOperationSchema: z.ZodEnum<{
+    "internal_transfer.reserve": "internal_transfer.reserve";
     "account.escrow.provision": "account.escrow.provision";
     "account.freeze": "account.freeze";
     "account.unfreeze": "account.unfreeze";
     "internal_transfer.create": "internal_transfer.create";
-    "internal_transfer.reserve": "internal_transfer.reserve";
     "internal_transfer.post": "internal_transfer.post";
     "internal_transfer.void": "internal_transfer.void";
 }>;
@@ -91,8 +117,8 @@ declare const udlMoveSchema: z.ZodObject<{
     capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
     key: z.ZodString;
     operation: z.ZodEnum<{
-        "internal_transfer.create": "internal_transfer.create";
         "internal_transfer.reserve": "internal_transfer.reserve";
+        "internal_transfer.create": "internal_transfer.create";
         "internal_transfer.post": "internal_transfer.post";
         "internal_transfer.void": "internal_transfer.void";
     }>;
@@ -100,44 +126,92 @@ declare const udlMoveSchema: z.ZodObject<{
 declare const udlDueSchema: z.ZodObject<{
     every: z.ZodOptional<z.ZodObject<{
         countField: z.ZodOptional<z.ZodString>;
+        delinquency: z.ZodOptional<z.ZodLiteral<"parent_policy">>;
+        drainAction: z.ZodOptional<z.ZodString>;
         period: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
             calendar: z.ZodEnum<{
                 gregorian: "gregorian";
                 hijri: "hijri";
             }>;
+            monthEnd: z.ZodLiteral<"clamp_to_last_day">;
             months: z.ZodNumber;
         }, z.core.$strict>]>;
+        liability: z.ZodOptional<z.ZodLiteral<"one_open">>;
+        untilAction: z.ZodOptional<z.ZodString>;
         untilField: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>;
     field: z.ZodString;
     offset: z.ZodOptional<z.ZodString>;
     whenParentStatus: z.ZodOptional<z.ZodObject<{
-        nounId: z.ZodString;
+        instrumentId: z.ZodString;
         refField: z.ZodString;
         statuses: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
-declare const udlUnwindSchema: z.ZodObject<{
-    beforeField: z.ZodOptional<z.ZodString>;
-    confirm: z.ZodString;
-    penalty: z.ZodArray<z.ZodObject<{
+declare const udlQuoteSchema: z.ZodObject<{
+    anchorField: z.ZodOptional<z.ZodString>;
+    baseField: z.ZodString;
+    chargeRef: z.ZodString;
+    charges: z.ZodArray<z.ZodObject<{
         bps: z.ZodNumber;
         withinOffset: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>;
-    quote: z.ZodString;
-    refundableField: z.ZodString;
-    refundDestinationField: z.ZodString;
+    expires: z.ZodUnion<readonly [z.ZodObject<{
+        field: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        offset: z.ZodString;
+    }, z.core.$strict>]>;
+    fixes: z.ZodArray<z.ZodString>;
+    netDestinationField: z.ZodString;
+    netRef: z.ZodString;
 }, z.core.$strict>;
+/**
+ * Where a quoting action stamps the instant its offer stops being committable.
+ * Derived from the author's net ref rather than a fixed name, so two offers on
+ * one instrument never share the slot.
+ */
+export declare function quoteExpiresAtRefKey(quote: {
+    readonly netRef: string;
+}): string;
+/**
+ * Where a quoting action stamps the fingerprint of the field values it froze.
+ * The committing action recomputes it against the live fields, which is how an
+ * offer priced on one set of terms refuses to pay out against another.
+ */
+export declare function quoteFrozenRefKey(quote: {
+    readonly netRef: string;
+}): string;
+/**
+ * Every ref key one quote seeds: the charge and the net the author named, plus
+ * the two the machinery derives to hold the offer itself. One derivation, read
+ * by the validator, the compiler, and the runtime alike.
+ */
+export declare function quoteSeededRefKeys(quote: {
+    readonly chargeRef: string;
+    readonly netRef: string;
+}): readonly string[];
 declare const udlDecisionSchema: z.ZodObject<{
-    capability: z.ZodString;
+    capability: z.ZodEnum<{
+        national_identity: "national_identity";
+        identity_verification: "identity_verification";
+        credit_bureau: "credit_bureau";
+        sanctions_screening: "sanctions_screening";
+        enforcement_instrument: "enforcement_instrument";
+        accounts_ledger_first_party: "accounts_ledger_first_party";
+        credit_servicing: "credit_servicing";
+        collections_agency: "collections_agency";
+        settlement_ingestion: "settlement_ingestion";
+        payouts: "payouts";
+        banking_or_card_issuing: "banking_or_card_issuing";
+        insurance_carrier: "insurance_carrier";
+        insurance_claims_adjuster: "insurance_claims_adjuster";
+        air_carrier: "air_carrier";
+        lodging_supplier: "lodging_supplier";
+        email_or_notification: "email_or_notification";
+    }>;
     deadlineMs: z.ZodNumber;
     onTimeout: z.ZodLiteral<"decline">;
 }, z.core.$strict>;
-declare const udlExampleSchema: z.ZodObject<{
-    input: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
-    name: z.ZodString;
-    output: z.ZodOptional<z.ZodJSONSchema>;
-}, z.core.$strict>;
 declare const udlAggregateConditionSchema: z.ZodObject<{
     check: z.ZodDiscriminatedUnion<[z.ZodObject<{
         amountField: z.ZodString;
@@ -164,7 +238,7 @@ declare const udlAggregateConditionSchema: z.ZodObject<{
         field: z.ZodString;
         kind: z.ZodLiteral<"count_equals_field">;
     }, z.core.$strict>], "kind">;
-    nounId: z.ZodOptional<z.ZodString>;
+    instrumentId: z.ZodOptional<z.ZodString>;
     over: z.ZodEnum<{
         children: "children";
         siblings: "siblings";
@@ -181,18 +255,199 @@ declare const udlPayoutSchema: z.ZodObject<{
     sourceAccountField: z.ZodString;
     speed: z.ZodLiteral<"standard">;
 }, z.core.$strict>;
-declare const udlRequiresSettlementSchema: z.ZodObject<{
+/**
+ * One expectation an action asserts about money it cannot see yet: how much,
+ * in which currency, which way, and against whose provider-side row. Evidence
+ * that lands later either matches under the declared law or the expectation
+ * breaks: past the window the kernel raises the declared exception child, binds
+ * the unmatched amount and the break reason onto it, and spends the due
+ * occurrence. There is no third outcome and no silent wait.
+ */
+declare const udlReconcileSchema: z.ZodObject<{
+    amount: z.ZodString;
     capture: z.ZodString;
-    payoutRef: z.ZodString;
+    counterpartyRef: z.ZodString;
+    currencyField: z.ZodString;
+    direction: z.ZodEnum<{
+        credit: "credit";
+        debit: "debit";
+    }>;
+    evidence: z.ZodEnum<{
+        movement: "movement";
+        provider_confirmation: "provider_confirmation";
+        statement_line: "statement_line";
+    }>;
+    exception: z.ZodObject<{
+        amountField: z.ZodString;
+        childInstrumentId: z.ZodString;
+        maxOpen: z.ZodNumber;
+        reasonField: z.ZodString;
+        refField: z.ZodString;
+    }, z.core.$strict>;
+    match: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        law: z.ZodLiteral<"exact">;
+    }, z.core.$strict>, z.ZodObject<{
+        dial: z.ZodString;
+        law: z.ZodLiteral<"tolerance">;
+        minorUnits: z.ZodNumber;
+    }, z.core.$strict>, z.ZodObject<{
+        law: z.ZodLiteral<"window">;
+    }, z.core.$strict>], "law">;
+    within: z.ZodUnion<readonly [z.ZodObject<{
+        field: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        offset: z.ZodString;
+    }, z.core.$strict>]>;
+}, z.core.$strict>;
+declare const udlRemainderSchema: z.ZodObject<{
+    accumulateRef: z.ZodOptional<z.ZodString>;
+    amountRef: z.ZodString;
+    collected: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        amountField: z.ZodString;
+        instrumentId: z.ZodString;
+        path: z.ZodOptional<z.ZodLiteral<"refs">>;
+        refField: z.ZodString;
+        statuses: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+    inputKey: z.ZodOptional<z.ZodString>;
+    onZero: z.ZodEnum<{
+        refuse: "refuse";
+        skip_steps: "skip_steps";
+    }>;
+    totalPath: z.ZodString;
+}, z.core.$strict>;
+type UdlCheckRequirementShape = {
+    checkKind: string;
+    family: z.infer<typeof udlProviderFamilyIdSchema>;
+    maxAge?: string;
+    statuses: string[];
+    subjectField: string;
+};
+declare const udlCheckRequirementSchema: z.ZodUnion<readonly [z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, ...z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>[]]>;
+declare const udlDialSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    field: z.ZodString;
+    key: z.ZodString;
+    kind: z.ZodLiteral<"window">;
+    maxOffset: z.ZodOptional<z.ZodString>;
+    minOffset: z.ZodOptional<z.ZodString>;
+    summary: z.ZodString;
+    title: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    action: z.ZodString;
+    key: z.ZodString;
+    kind: z.ZodLiteral<"decision_deadline_ms">;
+    maxMs: z.ZodOptional<z.ZodNumber>;
+    minMs: z.ZodOptional<z.ZodNumber>;
+    summary: z.ZodString;
+    title: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    key: z.ZodString;
+    kind: z.ZodLiteral<"reconcile_tolerance">;
+    maxMinorUnits: z.ZodNumber;
+    summary: z.ZodString;
+    title: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    key: z.ZodString;
+    kind: z.ZodLiteral<"unwind_penalty">;
+    summary: z.ZodString;
+    title: z.ZodString;
+}, z.core.$strict>], "kind">;
+declare const udlCompositionDialSchema: z.ZodObject<{
+    key: z.ZodString;
+    kind: z.ZodLiteral<"confirmation_threshold">;
+    maxMinor: z.ZodOptional<z.ZodNumber>;
+    summary: z.ZodString;
+    title: z.ZodString;
+}, z.core.$strict>;
+declare const udlEffectsShape: {
+    decides: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
+    holds: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
+    moves: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
+    notifies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        channel: z.ZodString;
+        role: z.ZodString;
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
+    reads: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
+    schedules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
+};
+declare const udlEffectsSchema: z.ZodObject<{
+    decides: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
+    holds: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
+    moves: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
+    notifies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        channel: z.ZodString;
+        role: z.ZodString;
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
+    reads: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
+    schedules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        signature: z.ZodString;
+        source: z.ZodString;
+    }, z.core.$strict>>>;
 }, z.core.$strict>;
-declare const udlVerbSchema: z.ZodObject<{
+declare const udlActionShape: {
+    agentDescription: z.ZodOptional<z.ZodString>;
     captureInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    /** Names the quoting action whose offer this action spends. */
+    commit: z.ZodOptional<z.ZodString>;
+    decidedAmount: z.ZodOptional<z.ZodObject<{
+        boundField: z.ZodString;
+        field: z.ZodString;
+        remainderAction: z.ZodString;
+    }, z.core.$strict>>;
     deadline: z.ZodOptional<z.ZodObject<{
         field: z.ZodString;
         offset: z.ZodOptional<z.ZodString>;
     }, z.core.$strict>>;
     decision: z.ZodOptional<z.ZodObject<{
-        capability: z.ZodString;
+        capability: z.ZodEnum<{
+            national_identity: "national_identity";
+            identity_verification: "identity_verification";
+            credit_bureau: "credit_bureau";
+            sanctions_screening: "sanctions_screening";
+            enforcement_instrument: "enforcement_instrument";
+            accounts_ledger_first_party: "accounts_ledger_first_party";
+            credit_servicing: "credit_servicing";
+            collections_agency: "collections_agency";
+            settlement_ingestion: "settlement_ingestion";
+            payouts: "payouts";
+            banking_or_card_issuing: "banking_or_card_issuing";
+            insurance_carrier: "insurance_carrier";
+            insurance_claims_adjuster: "insurance_claims_adjuster";
+            air_carrier: "air_carrier";
+            lodging_supplier: "lodging_supplier";
+            email_or_notification: "email_or_notification";
+        }>;
         deadlineMs: z.ZodNumber;
         onTimeout: z.ZodLiteral<"decline">;
     }, z.core.$strict>>;
@@ -214,24 +469,57 @@ declare const udlVerbSchema: z.ZodObject<{
     due: z.ZodOptional<z.ZodObject<{
         every: z.ZodOptional<z.ZodObject<{
             countField: z.ZodOptional<z.ZodString>;
+            delinquency: z.ZodOptional<z.ZodLiteral<"parent_policy">>;
+            drainAction: z.ZodOptional<z.ZodString>;
             period: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
                 calendar: z.ZodEnum<{
                     gregorian: "gregorian";
                     hijri: "hijri";
                 }>;
+                monthEnd: z.ZodLiteral<"clamp_to_last_day">;
                 months: z.ZodNumber;
             }, z.core.$strict>]>;
+            liability: z.ZodOptional<z.ZodLiteral<"one_open">>;
+            untilAction: z.ZodOptional<z.ZodString>;
             untilField: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>;
         field: z.ZodString;
         offset: z.ZodOptional<z.ZodString>;
         whenParentStatus: z.ZodOptional<z.ZodObject<{
-            nounId: z.ZodString;
+            instrumentId: z.ZodString;
             refField: z.ZodString;
             statuses: z.ZodArray<z.ZodString>;
         }, z.core.$strict>>;
     }, z.core.$strict>>;
     earnable: z.ZodOptional<z.ZodBoolean>;
+    effects: z.ZodOptional<z.ZodObject<{
+        decides: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+        holds: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+        moves: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+        notifies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            channel: z.ZodString;
+            role: z.ZodString;
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+        reads: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+        schedules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
     eventName: z.ZodOptional<z.ZodString>;
     examples: z.ZodOptional<z.ZodArray<z.ZodObject<{
         input: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
@@ -253,8 +541,8 @@ declare const udlVerbSchema: z.ZodObject<{
         capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
         key: z.ZodString;
         operation: z.ZodEnum<{
-            "internal_transfer.create": "internal_transfer.create";
             "internal_transfer.reserve": "internal_transfer.reserve";
+            "internal_transfer.create": "internal_transfer.create";
             "internal_transfer.post": "internal_transfer.post";
             "internal_transfer.void": "internal_transfer.void";
         }>;
@@ -275,7 +563,78 @@ declare const udlVerbSchema: z.ZodObject<{
             subjectHolder: "subjectHolder";
         }>>;
     }, z.core.$strict>>;
-    publicIntent: z.ZodOptional<z.ZodString>;
+    quote: z.ZodOptional<z.ZodObject<{
+        anchorField: z.ZodOptional<z.ZodString>;
+        baseField: z.ZodString;
+        chargeRef: z.ZodString;
+        charges: z.ZodArray<z.ZodObject<{
+            bps: z.ZodNumber;
+            withinOffset: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        expires: z.ZodUnion<readonly [z.ZodObject<{
+            field: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            offset: z.ZodString;
+        }, z.core.$strict>]>;
+        fixes: z.ZodArray<z.ZodString>;
+        netDestinationField: z.ZodString;
+        netRef: z.ZodString;
+    }, z.core.$strict>>;
+    publicAction: z.ZodOptional<z.ZodString>;
+    principal: z.ZodOptional<z.ZodLiteral<"user_session">>;
+    reconcile: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        amount: z.ZodString;
+        capture: z.ZodString;
+        counterpartyRef: z.ZodString;
+        currencyField: z.ZodString;
+        direction: z.ZodEnum<{
+            credit: "credit";
+            debit: "debit";
+        }>;
+        evidence: z.ZodEnum<{
+            movement: "movement";
+            provider_confirmation: "provider_confirmation";
+            statement_line: "statement_line";
+        }>;
+        exception: z.ZodObject<{
+            amountField: z.ZodString;
+            childInstrumentId: z.ZodString;
+            maxOpen: z.ZodNumber;
+            reasonField: z.ZodString;
+            refField: z.ZodString;
+        }, z.core.$strict>;
+        match: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            law: z.ZodLiteral<"exact">;
+        }, z.core.$strict>, z.ZodObject<{
+            dial: z.ZodString;
+            law: z.ZodLiteral<"tolerance">;
+            minorUnits: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            law: z.ZodLiteral<"window">;
+        }, z.core.$strict>], "law">;
+        within: z.ZodUnion<readonly [z.ZodObject<{
+            field: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            offset: z.ZodString;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>>>;
+    remainder: z.ZodOptional<z.ZodObject<{
+        accumulateRef: z.ZodOptional<z.ZodString>;
+        amountRef: z.ZodString;
+        collected: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            amountField: z.ZodString;
+            instrumentId: z.ZodString;
+            path: z.ZodOptional<z.ZodLiteral<"refs">>;
+            refField: z.ZodString;
+            statuses: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>>;
+        inputKey: z.ZodOptional<z.ZodString>;
+        onZero: z.ZodEnum<{
+            refuse: "refuse";
+            skip_steps: "skip_steps";
+        }>;
+        totalPath: z.ZodString;
+    }, z.core.$strict>>;
     requiresAggregate: z.ZodOptional<z.ZodArray<z.ZodObject<{
         check: z.ZodDiscriminatedUnion<[z.ZodObject<{
             amountField: z.ZodString;
@@ -302,7 +661,7 @@ declare const udlVerbSchema: z.ZodObject<{
             field: z.ZodString;
             kind: z.ZodLiteral<"count_equals_field">;
         }, z.core.$strict>], "kind">;
-        nounId: z.ZodOptional<z.ZodString>;
+        instrumentId: z.ZodOptional<z.ZodString>;
         over: z.ZodEnum<{
             children: "children";
             siblings: "siblings";
@@ -310,6 +669,7 @@ declare const udlVerbSchema: z.ZodObject<{
         refField: z.ZodString;
         statuses: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>>;
+    requiresChecks: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, ...z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>[]]>>>;
     requiresDrainedAccount: z.ZodOptional<z.ZodObject<{
         path: z.ZodString;
     }, z.core.$strict>>;
@@ -318,7 +678,7 @@ declare const udlVerbSchema: z.ZodObject<{
         anchorField: z.ZodString;
         capField: z.ZodString;
         capOnAnchor: z.ZodOptional<z.ZodLiteral<true>>;
-        childNounId: z.ZodString;
+        childInstrumentId: z.ZodString;
         statuses: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>>;
     requiresRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -329,10 +689,10 @@ declare const udlVerbSchema: z.ZodObject<{
         statuses: z.ZodArray<z.ZodString>;
         unique: z.ZodOptional<z.ZodLiteral<true>>;
     }, z.core.$strict>>>;
-    requiresSettlement: z.ZodOptional<z.ZodObject<{
-        capture: z.ZodString;
-        payoutRef: z.ZodString;
-    }, z.core.$strict>>;
+    sandboxFailurePoint: z.ZodOptional<z.ZodEnum<{
+        funding: "funding";
+        release: "release";
+    }>>;
     setsAt: z.ZodOptional<z.ZodObject<{
         field: z.ZodString;
         marker: z.ZodOptional<z.ZodLiteral<true>>;
@@ -347,57 +707,839 @@ declare const udlVerbSchema: z.ZodObject<{
         }>;
         sources: z.ZodArray<z.ZodObject<{
             amountField: z.ZodString;
-            nounId: z.ZodString;
-            refField: z.ZodString;
-            sign: z.ZodEnum<{
-                add: "add";
-                subtract: "subtract";
-            }>;
+            instrumentId: z.ZodString;
+            refField: z.ZodString;
+            sign: z.ZodEnum<{
+                add: "add";
+                subtract: "subtract";
+            }>;
+            statuses: z.ZodArray<z.ZodString>;
+            subtotalRef: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    steps: z.ZodArray<z.ZodObject<{
+        bind: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            from: z.ZodLiteral<"const">;
+            value: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            from: z.ZodLiteral<"instance">;
+            path: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            from: z.ZodLiteral<"input">;
+            path: z.ZodString;
+        }, z.core.$strict>], "from">>;
+        capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        operation: z.ZodEnum<{
+            "account.escrow.provision": "account.escrow.provision";
+            "account.freeze": "account.freeze";
+            "account.unfreeze": "account.unfreeze";
+        }>;
+    }, z.core.$strict>>;
+    summary: z.ZodString;
+    updates: z.ZodOptional<z.ZodArray<z.ZodString>>;
+};
+declare const udlActionSchema: z.ZodObject<{
+    agentDescription: z.ZodOptional<z.ZodString>;
+    captureInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    commit: z.ZodOptional<z.ZodString>;
+    decidedAmount: z.ZodOptional<z.ZodObject<{
+        boundField: z.ZodString;
+        field: z.ZodString;
+        remainderAction: z.ZodString;
+    }, z.core.$strict>>;
+    deadline: z.ZodOptional<z.ZodObject<{
+        field: z.ZodString;
+        offset: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    decision: z.ZodOptional<z.ZodObject<{
+        capability: z.ZodEnum<{
+            national_identity: "national_identity";
+            identity_verification: "identity_verification";
+            credit_bureau: "credit_bureau";
+            sanctions_screening: "sanctions_screening";
+            enforcement_instrument: "enforcement_instrument";
+            accounts_ledger_first_party: "accounts_ledger_first_party";
+            credit_servicing: "credit_servicing";
+            collections_agency: "collections_agency";
+            settlement_ingestion: "settlement_ingestion";
+            payouts: "payouts";
+            banking_or_card_issuing: "banking_or_card_issuing";
+            insurance_carrier: "insurance_carrier";
+            insurance_claims_adjuster: "insurance_claims_adjuster";
+            air_carrier: "air_carrier";
+            lodging_supplier: "lodging_supplier";
+            email_or_notification: "email_or_notification";
+        }>;
+        deadlineMs: z.ZodNumber;
+        onTimeout: z.ZodLiteral<"decline">;
+    }, z.core.$strict>>;
+    distribute: z.ZodOptional<z.ZodObject<{
+        amountRef: z.ZodString;
+        onZero: z.ZodEnum<{
+            refuse: "refuse";
+            skip_steps: "skip_steps";
+        }>;
+        pool: z.ZodObject<{
+            from: z.ZodLiteral<"parent">;
+            path: z.ZodString;
+        }, z.core.$strict>;
+        refField: z.ZodString;
+        statuses: z.ZodArray<z.ZodString>;
+        weightField: z.ZodString;
+    }, z.core.$strict>>;
+    description: z.ZodOptional<z.ZodString>;
+    due: z.ZodOptional<z.ZodObject<{
+        every: z.ZodOptional<z.ZodObject<{
+            countField: z.ZodOptional<z.ZodString>;
+            delinquency: z.ZodOptional<z.ZodLiteral<"parent_policy">>;
+            drainAction: z.ZodOptional<z.ZodString>;
+            period: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                calendar: z.ZodEnum<{
+                    gregorian: "gregorian";
+                    hijri: "hijri";
+                }>;
+                monthEnd: z.ZodLiteral<"clamp_to_last_day">;
+                months: z.ZodNumber;
+            }, z.core.$strict>]>;
+            liability: z.ZodOptional<z.ZodLiteral<"one_open">>;
+            untilAction: z.ZodOptional<z.ZodString>;
+            untilField: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        field: z.ZodString;
+        offset: z.ZodOptional<z.ZodString>;
+        whenParentStatus: z.ZodOptional<z.ZodObject<{
+            instrumentId: z.ZodString;
+            refField: z.ZodString;
+            statuses: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    earnable: z.ZodOptional<z.ZodBoolean>;
+    effects: z.ZodOptional<z.ZodObject<{
+        decides: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+        holds: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+        moves: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+        notifies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            channel: z.ZodString;
+            role: z.ZodString;
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+        reads: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+        schedules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            signature: z.ZodString;
+            source: z.ZodString;
+        }, z.core.$strict>>>;
+    }, z.core.$strict>>;
+    eventName: z.ZodOptional<z.ZodString>;
+    examples: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        input: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+        name: z.ZodString;
+        output: z.ZodOptional<z.ZodJSONSchema>;
+    }, z.core.$strict>>>;
+    input: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodJSONSchema>>;
+    moves: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        bind: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            from: z.ZodLiteral<"const">;
+            value: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            from: z.ZodLiteral<"instance">;
+            path: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            from: z.ZodLiteral<"input">;
+            path: z.ZodString;
+        }, z.core.$strict>], "from">>;
+        capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        key: z.ZodString;
+        operation: z.ZodEnum<{
+            "internal_transfer.reserve": "internal_transfer.reserve";
+            "internal_transfer.create": "internal_transfer.create";
+            "internal_transfer.post": "internal_transfer.post";
+            "internal_transfer.void": "internal_transfer.void";
+        }>;
+    }, z.core.$strict>>>;
+    payout: z.ZodOptional<z.ZodObject<{
+        amount: z.ZodString;
+        beneficiaryField: z.ZodString;
+        beneficiaryPartyField: z.ZodString;
+        capture: z.ZodString;
+        currencyField: z.ZodString;
+        sourceAccountField: z.ZodString;
+        speed: z.ZodLiteral<"standard">;
+    }, z.core.$strict>>;
+    port: z.ZodOptional<z.ZodObject<{
+        allowedParties: z.ZodArray<z.ZodEnum<{
+            payer: "payer";
+            beneficiary: "beneficiary";
+            subjectHolder: "subjectHolder";
+        }>>;
+    }, z.core.$strict>>;
+    quote: z.ZodOptional<z.ZodObject<{
+        anchorField: z.ZodOptional<z.ZodString>;
+        baseField: z.ZodString;
+        chargeRef: z.ZodString;
+        charges: z.ZodArray<z.ZodObject<{
+            bps: z.ZodNumber;
+            withinOffset: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        expires: z.ZodUnion<readonly [z.ZodObject<{
+            field: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            offset: z.ZodString;
+        }, z.core.$strict>]>;
+        fixes: z.ZodArray<z.ZodString>;
+        netDestinationField: z.ZodString;
+        netRef: z.ZodString;
+    }, z.core.$strict>>;
+    publicAction: z.ZodOptional<z.ZodString>;
+    principal: z.ZodOptional<z.ZodLiteral<"user_session">>;
+    reconcile: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        amount: z.ZodString;
+        capture: z.ZodString;
+        counterpartyRef: z.ZodString;
+        currencyField: z.ZodString;
+        direction: z.ZodEnum<{
+            credit: "credit";
+            debit: "debit";
+        }>;
+        evidence: z.ZodEnum<{
+            movement: "movement";
+            provider_confirmation: "provider_confirmation";
+            statement_line: "statement_line";
+        }>;
+        exception: z.ZodObject<{
+            amountField: z.ZodString;
+            childInstrumentId: z.ZodString;
+            maxOpen: z.ZodNumber;
+            reasonField: z.ZodString;
+            refField: z.ZodString;
+        }, z.core.$strict>;
+        match: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            law: z.ZodLiteral<"exact">;
+        }, z.core.$strict>, z.ZodObject<{
+            dial: z.ZodString;
+            law: z.ZodLiteral<"tolerance">;
+            minorUnits: z.ZodNumber;
+        }, z.core.$strict>, z.ZodObject<{
+            law: z.ZodLiteral<"window">;
+        }, z.core.$strict>], "law">;
+        within: z.ZodUnion<readonly [z.ZodObject<{
+            field: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            offset: z.ZodString;
+        }, z.core.$strict>]>;
+    }, z.core.$strict>>>;
+    remainder: z.ZodOptional<z.ZodObject<{
+        accumulateRef: z.ZodOptional<z.ZodString>;
+        amountRef: z.ZodString;
+        collected: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            amountField: z.ZodString;
+            instrumentId: z.ZodString;
+            path: z.ZodOptional<z.ZodLiteral<"refs">>;
+            refField: z.ZodString;
+            statuses: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>>;
+        inputKey: z.ZodOptional<z.ZodString>;
+        onZero: z.ZodEnum<{
+            refuse: "refuse";
+            skip_steps: "skip_steps";
+        }>;
+        totalPath: z.ZodString;
+    }, z.core.$strict>>;
+    requiresAggregate: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        check: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            amountField: z.ZodString;
+            kind: z.ZodLiteral<"sum_at_least">;
+            targetField: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            amountField: z.ZodString;
+            kind: z.ZodLiteral<"sum_below">;
+            targetField: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            amountField: z.ZodString;
+            kind: z.ZodLiteral<"sum_exactly">;
+            targetField: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            amountField: z.ZodString;
+            anchorRef: z.ZodString;
+            kind: z.ZodLiteral<"sum_within_anchor_ref">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"count_at_least">;
+            targetField: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"all_in">;
+        }, z.core.$strict>, z.ZodObject<{
+            field: z.ZodString;
+            kind: z.ZodLiteral<"count_equals_field">;
+        }, z.core.$strict>], "kind">;
+        instrumentId: z.ZodOptional<z.ZodString>;
+        over: z.ZodEnum<{
+            children: "children";
+            siblings: "siblings";
+        }>;
+        refField: z.ZodString;
+        statuses: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+    requiresChecks: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, ...z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>[]]>>>;
+    requiresDrainedAccount: z.ZodOptional<z.ZodObject<{
+        path: z.ZodString;
+    }, z.core.$strict>>;
+    requiresExposure: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        amountField: z.ZodString;
+        anchorField: z.ZodString;
+        capField: z.ZodString;
+        capOnAnchor: z.ZodOptional<z.ZodLiteral<true>>;
+        childInstrumentId: z.ZodString;
+        statuses: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+    requiresRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        bind: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        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>>;
+    }, z.core.$strict>>>;
+    sandboxFailurePoint: z.ZodOptional<z.ZodEnum<{
+        funding: "funding";
+        release: "release";
+    }>>;
+    setsAt: z.ZodOptional<z.ZodObject<{
+        field: z.ZodString;
+        marker: z.ZodOptional<z.ZodLiteral<true>>;
+        offset: z.ZodString;
+    }, z.core.$strict>>;
+    signedSum: z.ZodOptional<z.ZodObject<{
+        amountRef: z.ZodString;
+        onNegative: z.ZodLiteral<"refuse">;
+        onZero: z.ZodEnum<{
+            refuse: "refuse";
+            skip_steps: "skip_steps";
+        }>;
+        sources: z.ZodArray<z.ZodObject<{
+            amountField: z.ZodString;
+            instrumentId: z.ZodString;
+            refField: z.ZodString;
+            sign: z.ZodEnum<{
+                add: "add";
+                subtract: "subtract";
+            }>;
+            statuses: z.ZodArray<z.ZodString>;
+            subtotalRef: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    steps: z.ZodArray<z.ZodObject<{
+        bind: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+            from: z.ZodLiteral<"const">;
+            value: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            from: z.ZodLiteral<"instance">;
+            path: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            from: z.ZodLiteral<"input">;
+            path: z.ZodString;
+        }, z.core.$strict>], "from">>;
+        capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        operation: z.ZodEnum<{
+            "account.escrow.provision": "account.escrow.provision";
+            "account.freeze": "account.freeze";
+            "account.unfreeze": "account.unfreeze";
+        }>;
+    }, z.core.$strict>>;
+    summary: z.ZodString;
+    updates: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>;
+declare const udlAggregateSchema: z.ZodUnion<readonly [z.ZodObject<{
+    childField: z.ZodString;
+    childInstrumentId: z.ZodString;
+    childRefField: z.ZodString;
+    childStatuses: z.ZodArray<z.ZodString>;
+    parentField: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    count: z.ZodLiteral<true>;
+    window: z.ZodOptional<z.ZodObject<{
+        field: z.ZodString;
+        days: z.ZodNumber;
+    }, z.core.$strict>>;
+    childInstrumentId: z.ZodString;
+    childRefField: z.ZodString;
+    childStatuses: z.ZodArray<z.ZodString>;
+    parentField: z.ZodString;
+}, z.core.$strict>]>;
+declare const udlInstrumentShape: {
+    actionOrder: z.ZodArray<z.ZodString>;
+    agentDescription: z.ZodOptional<z.ZodString>;
+    aggregateInvariants: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        childField: z.ZodString;
+        childInstrumentId: z.ZodString;
+        childRefField: z.ZodString;
+        childStatuses: z.ZodArray<z.ZodString>;
+        parentField: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        count: z.ZodLiteral<true>;
+        window: z.ZodOptional<z.ZodObject<{
+            field: z.ZodString;
+            days: z.ZodNumber;
+        }, z.core.$strict>>;
+        childInstrumentId: z.ZodString;
+        childRefField: z.ZodString;
+        childStatuses: z.ZodArray<z.ZodString>;
+        parentField: z.ZodString;
+    }, z.core.$strict>]>>>;
+    callerParkedStates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    description: z.ZodOptional<z.ZodString>;
+    dials: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        field: z.ZodString;
+        key: z.ZodString;
+        kind: z.ZodLiteral<"window">;
+        maxOffset: z.ZodOptional<z.ZodString>;
+        minOffset: z.ZodOptional<z.ZodString>;
+        summary: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        action: z.ZodString;
+        key: z.ZodString;
+        kind: z.ZodLiteral<"decision_deadline_ms">;
+        maxMs: z.ZodOptional<z.ZodNumber>;
+        minMs: z.ZodOptional<z.ZodNumber>;
+        summary: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        key: z.ZodString;
+        kind: z.ZodLiteral<"reconcile_tolerance">;
+        maxMinorUnits: z.ZodNumber;
+        summary: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        key: z.ZodString;
+        kind: z.ZodLiteral<"unwind_penalty">;
+        summary: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strict>], "kind">>>;
+    distinctParties: z.ZodOptional<z.ZodLiteral<true>>;
+    derivedAmounts: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        field: z.ZodString;
+        rounding: z.ZodLiteral<"floor">;
+        rule: z.ZodObject<{
+            bps: z.ZodNumber;
+            kind: z.ZodLiteral<"percentage_of">;
+        }, z.core.$strict>;
+        sourceField: z.ZodString;
+    }, z.core.$strict>>>;
+    feeRules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        amountField: z.ZodString;
+        baseField: z.ZodString;
+        bearerField: z.ZodString;
+        position: z.ZodEnum<{
+            carved: "carved";
+            on_top: "on_top";
+        }>;
+        rule: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            bps: z.ZodNumber;
+            kind: z.ZodLiteral<"bps">;
+        }, z.core.$strict>, z.ZodObject<{
+            currencyField: z.ZodString;
+            field: z.ZodString;
+            kind: z.ZodLiteral<"exact">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"tiered">;
+            tiers: z.ZodArray<z.ZodObject<{
+                fromInclusive: z.ZodString;
+                rule: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    bps: z.ZodNumber;
+                    kind: z.ZodLiteral<"bps">;
+                }, z.core.$strict>, z.ZodObject<{
+                    currencyField: z.ZodString;
+                    field: z.ZodString;
+                    kind: z.ZodLiteral<"exact">;
+                }, z.core.$strict>], "kind">;
+                toExclusive: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>>>;
+    fields: z.ZodRecord<z.ZodString, z.ZodRecord<z.ZodString, z.ZodJSONSchema>>;
+    id: z.ZodString;
+    idPrefix: z.ZodString;
+    lifecycle: z.ZodObject<{
+        initial: z.ZodString;
+        states: z.ZodArray<z.ZodString>;
+        transitions: z.ZodRecord<z.ZodString, z.ZodObject<{
+            from: z.ZodArray<z.ZodString>;
+            to: z.ZodString;
+        }, z.core.$strict>>;
+    }, z.core.$strict>;
+    nav: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    parties: z.ZodOptional<z.ZodObject<{
+        beneficiary: z.ZodOptional<z.ZodString>;
+        payer: z.ZodOptional<z.ZodString>;
+        subjectHolder: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    partitions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        pieceFields: z.ZodArray<z.ZodString>;
+        totalField: z.ZodString;
+    }, z.core.$strict>>>;
+    required: z.ZodArray<z.ZodString>;
+    subject: z.ZodOptional<z.ZodObject<{
+        extensible: z.ZodOptional<z.ZodBoolean>;
+        kinds: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    summary: z.ZodString;
+    surfaceVisibility: z.ZodOptional<z.ZodEnum<{
+        internal: "internal";
+        public: "public";
+        system: "system";
+    }>>;
+    templateId: z.ZodOptional<z.ZodString>;
+    title: z.ZodString;
+    update: z.ZodOptional<z.ZodObject<{
+        examples: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            input: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+            name: z.ZodString;
+            output: z.ZodOptional<z.ZodJSONSchema>;
+        }, z.core.$strict>>>;
+        fields: z.ZodArray<z.ZodString>;
+        states: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+        agentDescription: z.ZodOptional<z.ZodString>;
+        captureInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        commit: z.ZodOptional<z.ZodString>;
+        decidedAmount: z.ZodOptional<z.ZodObject<{
+            boundField: z.ZodString;
+            field: z.ZodString;
+            remainderAction: z.ZodString;
+        }, z.core.$strict>>;
+        deadline: z.ZodOptional<z.ZodObject<{
+            field: z.ZodString;
+            offset: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        decision: z.ZodOptional<z.ZodObject<{
+            capability: z.ZodEnum<{
+                national_identity: "national_identity";
+                identity_verification: "identity_verification";
+                credit_bureau: "credit_bureau";
+                sanctions_screening: "sanctions_screening";
+                enforcement_instrument: "enforcement_instrument";
+                accounts_ledger_first_party: "accounts_ledger_first_party";
+                credit_servicing: "credit_servicing";
+                collections_agency: "collections_agency";
+                settlement_ingestion: "settlement_ingestion";
+                payouts: "payouts";
+                banking_or_card_issuing: "banking_or_card_issuing";
+                insurance_carrier: "insurance_carrier";
+                insurance_claims_adjuster: "insurance_claims_adjuster";
+                air_carrier: "air_carrier";
+                lodging_supplier: "lodging_supplier";
+                email_or_notification: "email_or_notification";
+            }>;
+            deadlineMs: z.ZodNumber;
+            onTimeout: z.ZodLiteral<"decline">;
+        }, z.core.$strict>>;
+        distribute: z.ZodOptional<z.ZodObject<{
+            amountRef: z.ZodString;
+            onZero: z.ZodEnum<{
+                refuse: "refuse";
+                skip_steps: "skip_steps";
+            }>;
+            pool: z.ZodObject<{
+                from: z.ZodLiteral<"parent">;
+                path: z.ZodString;
+            }, z.core.$strict>;
+            refField: z.ZodString;
+            statuses: z.ZodArray<z.ZodString>;
+            weightField: z.ZodString;
+        }, z.core.$strict>>;
+        description: z.ZodOptional<z.ZodString>;
+        due: z.ZodOptional<z.ZodObject<{
+            every: z.ZodOptional<z.ZodObject<{
+                countField: z.ZodOptional<z.ZodString>;
+                delinquency: z.ZodOptional<z.ZodLiteral<"parent_policy">>;
+                drainAction: z.ZodOptional<z.ZodString>;
+                period: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                    calendar: z.ZodEnum<{
+                        gregorian: "gregorian";
+                        hijri: "hijri";
+                    }>;
+                    monthEnd: z.ZodLiteral<"clamp_to_last_day">;
+                    months: z.ZodNumber;
+                }, z.core.$strict>]>;
+                liability: z.ZodOptional<z.ZodLiteral<"one_open">>;
+                untilAction: z.ZodOptional<z.ZodString>;
+                untilField: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            field: z.ZodString;
+            offset: z.ZodOptional<z.ZodString>;
+            whenParentStatus: z.ZodOptional<z.ZodObject<{
+                instrumentId: z.ZodString;
+                refField: z.ZodString;
+                statuses: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        earnable: z.ZodOptional<z.ZodBoolean>;
+        effects: z.ZodOptional<z.ZodObject<{
+            decides: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+            holds: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+            moves: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+            notifies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                channel: z.ZodString;
+                role: z.ZodString;
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+            reads: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+            schedules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>;
+        eventName: z.ZodOptional<z.ZodString>;
+        examples: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            input: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+            name: z.ZodString;
+            output: z.ZodOptional<z.ZodJSONSchema>;
+        }, z.core.$strict>>>;
+        input: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodJSONSchema>>;
+        moves: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            bind: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"const">;
+                value: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"instance">;
+                path: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"input">;
+                path: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            key: z.ZodString;
+            operation: z.ZodEnum<{
+                "internal_transfer.reserve": "internal_transfer.reserve";
+                "internal_transfer.create": "internal_transfer.create";
+                "internal_transfer.post": "internal_transfer.post";
+                "internal_transfer.void": "internal_transfer.void";
+            }>;
+        }, z.core.$strict>>>;
+        payout: z.ZodOptional<z.ZodObject<{
+            amount: z.ZodString;
+            beneficiaryField: z.ZodString;
+            beneficiaryPartyField: z.ZodString;
+            capture: z.ZodString;
+            currencyField: z.ZodString;
+            sourceAccountField: z.ZodString;
+            speed: z.ZodLiteral<"standard">;
+        }, z.core.$strict>>;
+        port: z.ZodOptional<z.ZodObject<{
+            allowedParties: z.ZodArray<z.ZodEnum<{
+                payer: "payer";
+                beneficiary: "beneficiary";
+                subjectHolder: "subjectHolder";
+            }>>;
+        }, z.core.$strict>>;
+        quote: z.ZodOptional<z.ZodObject<{
+            anchorField: z.ZodOptional<z.ZodString>;
+            baseField: z.ZodString;
+            chargeRef: z.ZodString;
+            charges: z.ZodArray<z.ZodObject<{
+                bps: z.ZodNumber;
+                withinOffset: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            expires: z.ZodUnion<readonly [z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                offset: z.ZodString;
+            }, z.core.$strict>]>;
+            fixes: z.ZodArray<z.ZodString>;
+            netDestinationField: z.ZodString;
+            netRef: z.ZodString;
+        }, z.core.$strict>>;
+        publicAction: z.ZodOptional<z.ZodString>;
+        principal: z.ZodOptional<z.ZodLiteral<"user_session">>;
+        reconcile: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            amount: z.ZodString;
+            capture: z.ZodString;
+            counterpartyRef: z.ZodString;
+            currencyField: z.ZodString;
+            direction: z.ZodEnum<{
+                credit: "credit";
+                debit: "debit";
+            }>;
+            evidence: z.ZodEnum<{
+                movement: "movement";
+                provider_confirmation: "provider_confirmation";
+                statement_line: "statement_line";
+            }>;
+            exception: z.ZodObject<{
+                amountField: z.ZodString;
+                childInstrumentId: z.ZodString;
+                maxOpen: z.ZodNumber;
+                reasonField: z.ZodString;
+                refField: z.ZodString;
+            }, z.core.$strict>;
+            match: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                law: z.ZodLiteral<"exact">;
+            }, z.core.$strict>, z.ZodObject<{
+                dial: z.ZodString;
+                law: z.ZodLiteral<"tolerance">;
+                minorUnits: z.ZodNumber;
+            }, z.core.$strict>, z.ZodObject<{
+                law: z.ZodLiteral<"window">;
+            }, z.core.$strict>], "law">;
+            within: z.ZodUnion<readonly [z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                offset: z.ZodString;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>>>;
+        remainder: z.ZodOptional<z.ZodObject<{
+            accumulateRef: z.ZodOptional<z.ZodString>;
+            amountRef: z.ZodString;
+            collected: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                amountField: z.ZodString;
+                instrumentId: z.ZodString;
+                path: z.ZodOptional<z.ZodLiteral<"refs">>;
+                refField: z.ZodString;
+                statuses: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>>;
+            inputKey: z.ZodOptional<z.ZodString>;
+            onZero: z.ZodEnum<{
+                refuse: "refuse";
+                skip_steps: "skip_steps";
+            }>;
+            totalPath: z.ZodString;
+        }, z.core.$strict>>;
+        requiresAggregate: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            check: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                amountField: z.ZodString;
+                kind: z.ZodLiteral<"sum_at_least">;
+                targetField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                amountField: z.ZodString;
+                kind: z.ZodLiteral<"sum_below">;
+                targetField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                amountField: z.ZodString;
+                kind: z.ZodLiteral<"sum_exactly">;
+                targetField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                amountField: z.ZodString;
+                anchorRef: z.ZodString;
+                kind: z.ZodLiteral<"sum_within_anchor_ref">;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"count_at_least">;
+                targetField: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"all_in">;
+            }, z.core.$strict>, z.ZodObject<{
+                field: z.ZodString;
+                kind: z.ZodLiteral<"count_equals_field">;
+            }, z.core.$strict>], "kind">;
+            instrumentId: z.ZodOptional<z.ZodString>;
+            over: z.ZodEnum<{
+                children: "children";
+                siblings: "siblings";
+            }>;
+            refField: z.ZodString;
+            statuses: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>>;
+        requiresChecks: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, ...z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>[]]>>>;
+        requiresDrainedAccount: z.ZodOptional<z.ZodObject<{
+            path: z.ZodString;
+        }, z.core.$strict>>;
+        requiresExposure: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            amountField: z.ZodString;
+            anchorField: z.ZodString;
+            capField: z.ZodString;
+            capOnAnchor: z.ZodOptional<z.ZodLiteral<true>>;
+            childInstrumentId: z.ZodString;
             statuses: z.ZodArray<z.ZodString>;
-            subtotalRef: z.ZodString;
+        }, z.core.$strict>>>;
+        requiresRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            bind: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            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>>;
+        }, z.core.$strict>>>;
+        sandboxFailurePoint: z.ZodOptional<z.ZodEnum<{
+            funding: "funding";
+            release: "release";
+        }>>;
+        setsAt: z.ZodOptional<z.ZodObject<{
+            field: z.ZodString;
+            marker: z.ZodOptional<z.ZodLiteral<true>>;
+            offset: z.ZodString;
         }, z.core.$strict>>;
+        signedSum: z.ZodOptional<z.ZodObject<{
+            amountRef: z.ZodString;
+            onNegative: z.ZodLiteral<"refuse">;
+            onZero: z.ZodEnum<{
+                refuse: "refuse";
+                skip_steps: "skip_steps";
+            }>;
+            sources: z.ZodArray<z.ZodObject<{
+                amountField: z.ZodString;
+                instrumentId: z.ZodString;
+                refField: z.ZodString;
+                sign: z.ZodEnum<{
+                    add: "add";
+                    subtract: "subtract";
+                }>;
+                statuses: z.ZodArray<z.ZodString>;
+                subtotalRef: z.ZodString;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        steps: z.ZodArray<z.ZodObject<{
+            bind: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
+                from: z.ZodLiteral<"const">;
+                value: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"instance">;
+                path: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                from: z.ZodLiteral<"input">;
+                path: z.ZodString;
+            }, z.core.$strict>], "from">>;
+            capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            operation: z.ZodEnum<{
+                "account.escrow.provision": "account.escrow.provision";
+                "account.freeze": "account.freeze";
+                "account.unfreeze": "account.unfreeze";
+            }>;
+        }, z.core.$strict>>;
+        summary: z.ZodString;
+        updates: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
-    steps: z.ZodArray<z.ZodObject<{
-        bind: z.ZodRecord<z.ZodString, z.ZodDiscriminatedUnion<[z.ZodObject<{
-            from: z.ZodLiteral<"const">;
-            value: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
-            from: z.ZodLiteral<"instance">;
-            path: z.ZodString;
-        }, z.core.$strict>, z.ZodObject<{
-            from: z.ZodLiteral<"input">;
-            path: z.ZodString;
-        }, z.core.$strict>], "from">>;
-        capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-        operation: z.ZodEnum<{
-            "account.escrow.provision": "account.escrow.provision";
-            "account.freeze": "account.freeze";
-            "account.unfreeze": "account.unfreeze";
-        }>;
-    }, z.core.$strict>>;
-    summary: z.ZodString;
-}, z.core.$strict>;
-declare const udlAggregateSchema: z.ZodUnion<readonly [z.ZodObject<{
-    childField: z.ZodString;
-    childNounId: z.ZodString;
-    childRefField: z.ZodString;
-    childStatuses: z.ZodArray<z.ZodString>;
-    parentField: z.ZodString;
-}, z.core.$strict>, z.ZodObject<{
-    count: z.ZodLiteral<true>;
-    window: z.ZodOptional<z.ZodObject<{
-        field: z.ZodString;
-        days: z.ZodNumber;
-    }, z.core.$strict>>;
-    childNounId: z.ZodString;
-    childRefField: z.ZodString;
-    childStatuses: z.ZodArray<z.ZodString>;
-    parentField: z.ZodString;
-}, z.core.$strict>]>;
-declare const udlNounSchema: z.ZodObject<{
+};
+declare const udlInstrumentSchema: z.ZodObject<{
+    actionOrder: z.ZodArray<z.ZodString>;
+    agentDescription: z.ZodOptional<z.ZodString>;
     aggregateInvariants: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
         childField: z.ZodString;
-        childNounId: z.ZodString;
+        childInstrumentId: z.ZodString;
         childRefField: z.ZodString;
         childStatuses: z.ZodArray<z.ZodString>;
         parentField: z.ZodString;
@@ -407,13 +1549,41 @@ declare const udlNounSchema: z.ZodObject<{
             field: z.ZodString;
             days: z.ZodNumber;
         }, z.core.$strict>>;
-        childNounId: z.ZodString;
+        childInstrumentId: z.ZodString;
         childRefField: z.ZodString;
         childStatuses: z.ZodArray<z.ZodString>;
         parentField: z.ZodString;
     }, z.core.$strict>]>>>;
-    computedMoneyRefs: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    callerParkedStates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
     description: z.ZodOptional<z.ZodString>;
+    dials: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        field: z.ZodString;
+        key: z.ZodString;
+        kind: z.ZodLiteral<"window">;
+        maxOffset: z.ZodOptional<z.ZodString>;
+        minOffset: z.ZodOptional<z.ZodString>;
+        summary: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        action: z.ZodString;
+        key: z.ZodString;
+        kind: z.ZodLiteral<"decision_deadline_ms">;
+        maxMs: z.ZodOptional<z.ZodNumber>;
+        minMs: z.ZodOptional<z.ZodNumber>;
+        summary: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        key: z.ZodString;
+        kind: z.ZodLiteral<"reconcile_tolerance">;
+        maxMinorUnits: z.ZodNumber;
+        summary: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        key: z.ZodString;
+        kind: z.ZodLiteral<"unwind_penalty">;
+        summary: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strict>], "kind">>>;
     distinctParties: z.ZodOptional<z.ZodLiteral<true>>;
     derivedAmounts: z.ZodOptional<z.ZodArray<z.ZodObject<{
         field: z.ZodString;
@@ -424,6 +1594,37 @@ declare const udlNounSchema: z.ZodObject<{
         }, z.core.$strict>;
         sourceField: z.ZodString;
     }, z.core.$strict>>>;
+    feeRules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        amountField: z.ZodString;
+        baseField: z.ZodString;
+        bearerField: z.ZodString;
+        position: z.ZodEnum<{
+            carved: "carved";
+            on_top: "on_top";
+        }>;
+        rule: z.ZodDiscriminatedUnion<[z.ZodObject<{
+            bps: z.ZodNumber;
+            kind: z.ZodLiteral<"bps">;
+        }, z.core.$strict>, z.ZodObject<{
+            currencyField: z.ZodString;
+            field: z.ZodString;
+            kind: z.ZodLiteral<"exact">;
+        }, z.core.$strict>, z.ZodObject<{
+            kind: z.ZodLiteral<"tiered">;
+            tiers: z.ZodArray<z.ZodObject<{
+                fromInclusive: z.ZodString;
+                rule: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    bps: z.ZodNumber;
+                    kind: z.ZodLiteral<"bps">;
+                }, z.core.$strict>, z.ZodObject<{
+                    currencyField: z.ZodString;
+                    field: z.ZodString;
+                    kind: z.ZodLiteral<"exact">;
+                }, z.core.$strict>], "kind">;
+                toExclusive: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>], "kind">;
+    }, z.core.$strict>>>;
     fields: z.ZodRecord<z.ZodString, z.ZodRecord<z.ZodString, z.ZodJSONSchema>>;
     id: z.ZodString;
     idPrefix: z.ZodString;
@@ -435,6 +1636,7 @@ declare const udlNounSchema: z.ZodObject<{
             to: z.ZodString;
         }, z.core.$strict>>;
     }, z.core.$strict>;
+    nav: z.ZodOptional<z.ZodArray<z.ZodString>>;
     parties: z.ZodOptional<z.ZodObject<{
         beneficiary: z.ZodOptional<z.ZodString>;
         payer: z.ZodOptional<z.ZodString>;
@@ -446,33 +1648,58 @@ declare const udlNounSchema: z.ZodObject<{
     }, z.core.$strict>>>;
     required: z.ZodArray<z.ZodString>;
     subject: z.ZodOptional<z.ZodObject<{
+        extensible: z.ZodOptional<z.ZodBoolean>;
         kinds: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>;
     summary: z.ZodString;
+    surfaceVisibility: z.ZodOptional<z.ZodEnum<{
+        internal: "internal";
+        public: "public";
+        system: "system";
+    }>>;
+    templateId: z.ZodOptional<z.ZodString>;
     title: z.ZodString;
-    unwind: z.ZodOptional<z.ZodObject<{
-        beforeField: z.ZodOptional<z.ZodString>;
-        confirm: z.ZodString;
-        penalty: z.ZodArray<z.ZodObject<{
-            bps: z.ZodNumber;
-            withinOffset: z.ZodOptional<z.ZodString>;
-        }, z.core.$strict>>;
-        quote: z.ZodString;
-        refundableField: z.ZodString;
-        refundDestinationField: z.ZodString;
-    }, z.core.$strict>>;
     update: z.ZodOptional<z.ZodObject<{
+        examples: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            input: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+            name: z.ZodString;
+            output: z.ZodOptional<z.ZodJSONSchema>;
+        }, z.core.$strict>>>;
         fields: z.ZodArray<z.ZodString>;
         states: z.ZodArray<z.ZodString>;
     }, z.core.$strict>>;
-    verbs: z.ZodRecord<z.ZodString, z.ZodObject<{
+    actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+        agentDescription: z.ZodOptional<z.ZodString>;
         captureInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        commit: z.ZodOptional<z.ZodString>;
+        decidedAmount: z.ZodOptional<z.ZodObject<{
+            boundField: z.ZodString;
+            field: z.ZodString;
+            remainderAction: z.ZodString;
+        }, z.core.$strict>>;
         deadline: z.ZodOptional<z.ZodObject<{
             field: z.ZodString;
             offset: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>>;
         decision: z.ZodOptional<z.ZodObject<{
-            capability: z.ZodString;
+            capability: z.ZodEnum<{
+                national_identity: "national_identity";
+                identity_verification: "identity_verification";
+                credit_bureau: "credit_bureau";
+                sanctions_screening: "sanctions_screening";
+                enforcement_instrument: "enforcement_instrument";
+                accounts_ledger_first_party: "accounts_ledger_first_party";
+                credit_servicing: "credit_servicing";
+                collections_agency: "collections_agency";
+                settlement_ingestion: "settlement_ingestion";
+                payouts: "payouts";
+                banking_or_card_issuing: "banking_or_card_issuing";
+                insurance_carrier: "insurance_carrier";
+                insurance_claims_adjuster: "insurance_claims_adjuster";
+                air_carrier: "air_carrier";
+                lodging_supplier: "lodging_supplier";
+                email_or_notification: "email_or_notification";
+            }>;
             deadlineMs: z.ZodNumber;
             onTimeout: z.ZodLiteral<"decline">;
         }, z.core.$strict>>;
@@ -494,24 +1721,57 @@ declare const udlNounSchema: z.ZodObject<{
         due: z.ZodOptional<z.ZodObject<{
             every: z.ZodOptional<z.ZodObject<{
                 countField: z.ZodOptional<z.ZodString>;
+                delinquency: z.ZodOptional<z.ZodLiteral<"parent_policy">>;
+                drainAction: z.ZodOptional<z.ZodString>;
                 period: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
                     calendar: z.ZodEnum<{
                         gregorian: "gregorian";
                         hijri: "hijri";
                     }>;
+                    monthEnd: z.ZodLiteral<"clamp_to_last_day">;
                     months: z.ZodNumber;
                 }, z.core.$strict>]>;
+                liability: z.ZodOptional<z.ZodLiteral<"one_open">>;
+                untilAction: z.ZodOptional<z.ZodString>;
                 untilField: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>>;
             field: z.ZodString;
             offset: z.ZodOptional<z.ZodString>;
             whenParentStatus: z.ZodOptional<z.ZodObject<{
-                nounId: z.ZodString;
+                instrumentId: z.ZodString;
                 refField: z.ZodString;
                 statuses: z.ZodArray<z.ZodString>;
             }, z.core.$strict>>;
         }, z.core.$strict>>;
         earnable: z.ZodOptional<z.ZodBoolean>;
+        effects: z.ZodOptional<z.ZodObject<{
+            decides: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+            holds: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+            moves: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+            notifies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                channel: z.ZodString;
+                role: z.ZodString;
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+            reads: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+            schedules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                signature: z.ZodString;
+                source: z.ZodString;
+            }, z.core.$strict>>>;
+        }, z.core.$strict>>;
         eventName: z.ZodOptional<z.ZodString>;
         examples: z.ZodOptional<z.ZodArray<z.ZodObject<{
             input: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
@@ -533,8 +1793,8 @@ declare const udlNounSchema: z.ZodObject<{
             capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
             key: z.ZodString;
             operation: z.ZodEnum<{
-                "internal_transfer.create": "internal_transfer.create";
                 "internal_transfer.reserve": "internal_transfer.reserve";
+                "internal_transfer.create": "internal_transfer.create";
                 "internal_transfer.post": "internal_transfer.post";
                 "internal_transfer.void": "internal_transfer.void";
             }>;
@@ -555,7 +1815,78 @@ declare const udlNounSchema: z.ZodObject<{
                 subjectHolder: "subjectHolder";
             }>>;
         }, z.core.$strict>>;
-        publicIntent: z.ZodOptional<z.ZodString>;
+        quote: z.ZodOptional<z.ZodObject<{
+            anchorField: z.ZodOptional<z.ZodString>;
+            baseField: z.ZodString;
+            chargeRef: z.ZodString;
+            charges: z.ZodArray<z.ZodObject<{
+                bps: z.ZodNumber;
+                withinOffset: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            expires: z.ZodUnion<readonly [z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                offset: z.ZodString;
+            }, z.core.$strict>]>;
+            fixes: z.ZodArray<z.ZodString>;
+            netDestinationField: z.ZodString;
+            netRef: z.ZodString;
+        }, z.core.$strict>>;
+        publicAction: z.ZodOptional<z.ZodString>;
+        principal: z.ZodOptional<z.ZodLiteral<"user_session">>;
+        reconcile: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            amount: z.ZodString;
+            capture: z.ZodString;
+            counterpartyRef: z.ZodString;
+            currencyField: z.ZodString;
+            direction: z.ZodEnum<{
+                credit: "credit";
+                debit: "debit";
+            }>;
+            evidence: z.ZodEnum<{
+                movement: "movement";
+                provider_confirmation: "provider_confirmation";
+                statement_line: "statement_line";
+            }>;
+            exception: z.ZodObject<{
+                amountField: z.ZodString;
+                childInstrumentId: z.ZodString;
+                maxOpen: z.ZodNumber;
+                reasonField: z.ZodString;
+                refField: z.ZodString;
+            }, z.core.$strict>;
+            match: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                law: z.ZodLiteral<"exact">;
+            }, z.core.$strict>, z.ZodObject<{
+                dial: z.ZodString;
+                law: z.ZodLiteral<"tolerance">;
+                minorUnits: z.ZodNumber;
+            }, z.core.$strict>, z.ZodObject<{
+                law: z.ZodLiteral<"window">;
+            }, z.core.$strict>], "law">;
+            within: z.ZodUnion<readonly [z.ZodObject<{
+                field: z.ZodString;
+            }, z.core.$strict>, z.ZodObject<{
+                offset: z.ZodString;
+            }, z.core.$strict>]>;
+        }, z.core.$strict>>>;
+        remainder: z.ZodOptional<z.ZodObject<{
+            accumulateRef: z.ZodOptional<z.ZodString>;
+            amountRef: z.ZodString;
+            collected: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                amountField: z.ZodString;
+                instrumentId: z.ZodString;
+                path: z.ZodOptional<z.ZodLiteral<"refs">>;
+                refField: z.ZodString;
+                statuses: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>>;
+            inputKey: z.ZodOptional<z.ZodString>;
+            onZero: z.ZodEnum<{
+                refuse: "refuse";
+                skip_steps: "skip_steps";
+            }>;
+            totalPath: z.ZodString;
+        }, z.core.$strict>>;
         requiresAggregate: z.ZodOptional<z.ZodArray<z.ZodObject<{
             check: z.ZodDiscriminatedUnion<[z.ZodObject<{
                 amountField: z.ZodString;
@@ -582,7 +1913,7 @@ declare const udlNounSchema: z.ZodObject<{
                 field: z.ZodString;
                 kind: z.ZodLiteral<"count_equals_field">;
             }, z.core.$strict>], "kind">;
-            nounId: z.ZodOptional<z.ZodString>;
+            instrumentId: z.ZodOptional<z.ZodString>;
             over: z.ZodEnum<{
                 children: "children";
                 siblings: "siblings";
@@ -590,6 +1921,7 @@ declare const udlNounSchema: z.ZodObject<{
             refField: z.ZodString;
             statuses: z.ZodArray<z.ZodString>;
         }, z.core.$strict>>>;
+        requiresChecks: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, ...z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>[]]>>>;
         requiresDrainedAccount: z.ZodOptional<z.ZodObject<{
             path: z.ZodString;
         }, z.core.$strict>>;
@@ -598,7 +1930,7 @@ declare const udlNounSchema: z.ZodObject<{
             anchorField: z.ZodString;
             capField: z.ZodString;
             capOnAnchor: z.ZodOptional<z.ZodLiteral<true>>;
-            childNounId: z.ZodString;
+            childInstrumentId: z.ZodString;
             statuses: z.ZodArray<z.ZodString>;
         }, z.core.$strict>>>;
         requiresRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -609,10 +1941,10 @@ declare const udlNounSchema: z.ZodObject<{
             statuses: z.ZodArray<z.ZodString>;
             unique: z.ZodOptional<z.ZodLiteral<true>>;
         }, z.core.$strict>>>;
-        requiresSettlement: z.ZodOptional<z.ZodObject<{
-            capture: z.ZodString;
-            payoutRef: z.ZodString;
-        }, z.core.$strict>>;
+        sandboxFailurePoint: z.ZodOptional<z.ZodEnum<{
+            funding: "funding";
+            release: "release";
+        }>>;
         setsAt: z.ZodOptional<z.ZodObject<{
             field: z.ZodString;
             marker: z.ZodOptional<z.ZodLiteral<true>>;
@@ -627,7 +1959,7 @@ declare const udlNounSchema: z.ZodObject<{
             }>;
             sources: z.ZodArray<z.ZodObject<{
                 amountField: z.ZodString;
-                nounId: z.ZodString;
+                instrumentId: z.ZodString;
                 refField: z.ZodString;
                 sign: z.ZodEnum<{
                     add: "add";
@@ -656,13 +1988,408 @@ declare const udlNounSchema: z.ZodObject<{
             }>;
         }, z.core.$strict>>;
         summary: z.ZodString;
+        updates: z.ZodOptional<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>;
 }, z.core.$strict>;
+type UdlActionClauseTarget = keyof typeof udlActionShape;
+type UdlInstrumentClauseTarget = keyof typeof udlInstrumentShape;
+type UdlActionNestedClauseTarget = `effects.${keyof typeof udlEffectsShape}`;
+export type UdlClauseCardinality = "one" | "many";
+export interface UdlClauseEffect {
+    readonly kind: UdlEffectKind;
+    readonly per: "clause" | "element";
+    readonly signature: {
+        readonly fixed: string;
+    } | {
+        readonly fromField: string;
+    } | {
+        readonly movementClass: true;
+    };
+}
+interface UdlClauseVocabularyMetadata {
+    readonly cardinality?: UdlClauseCardinality;
+    readonly effects?: readonly UdlClauseEffect[];
+    readonly linearOutputs?: readonly string[];
+    readonly linearSink?: true;
+    readonly spelling: string;
+}
+export type UdlClauseVocabularyEntry = UdlClauseVocabularyMetadata & ({
+    readonly scope: "action";
+    readonly target: UdlActionClauseTarget | UdlActionNestedClauseTarget;
+} | {
+    readonly scope: "instrument";
+    readonly target: UdlInstrumentClauseTarget;
+});
+export declare const udlClauseVocabulary: readonly [{
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "agent description";
+    readonly target: "agentDescription";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "capture input";
+    readonly target: "captureInput";
+}, {
+    readonly cardinality: "one";
+    readonly effects: readonly [];
+    readonly scope: "action";
+    readonly spelling: "commit";
+    readonly target: "commit";
+}, {
+    readonly cardinality: "one";
+    readonly effects: readonly [{
+        readonly kind: "holds";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "quote";
+        };
+    }, {
+        readonly kind: "schedules";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "expiry";
+        };
+    }];
+    readonly linearOutputs: readonly ["netRef"];
+    readonly scope: "action";
+    readonly spelling: "quote";
+    readonly target: "quote";
+}, {
+    readonly cardinality: "one";
+    readonly linearOutputs: readonly ["field"];
+    readonly scope: "action";
+    readonly spelling: "decided amount";
+    readonly target: "decidedAmount";
+}, {
+    readonly cardinality: "one";
+    readonly effects: readonly [{
+        readonly kind: "schedules";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "deadline";
+        };
+    }];
+    readonly scope: "action";
+    readonly spelling: "deadline";
+    readonly target: "deadline";
+}, {
+    readonly cardinality: "one";
+    readonly effects: readonly [{
+        readonly kind: "decides";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fromField: "capability";
+        };
+    }];
+    readonly scope: "action";
+    readonly spelling: "decision";
+    readonly target: "decision";
+}, {
+    readonly cardinality: "one";
+    readonly linearOutputs: readonly ["amountRef"];
+    readonly scope: "action";
+    readonly spelling: "computes distribute";
+    readonly target: "distribute";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "description";
+    readonly target: "description";
+}, {
+    readonly cardinality: "one";
+    readonly effects: readonly [{
+        readonly kind: "schedules";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "due";
+        };
+    }];
+    readonly scope: "action";
+    readonly spelling: "due";
+    readonly target: "due";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "earnable";
+    readonly target: "earnable";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "event name";
+    readonly target: "eventName";
+}, {
+    readonly cardinality: "many";
+    readonly scope: "action";
+    readonly spelling: "examples";
+    readonly target: "examples";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "input";
+    readonly target: "input";
+}, {
+    readonly cardinality: "many";
+    readonly effects: readonly [{
+        readonly kind: "moves";
+        readonly per: "element";
+        readonly signature: {
+            readonly movementClass: true;
+        };
+    }, {
+        readonly kind: "holds";
+        readonly per: "element";
+        readonly signature: {
+            readonly fixed: "reserve";
+        };
+    }];
+    readonly linearSink: true;
+    readonly scope: "action";
+    readonly spelling: "moves";
+    readonly target: "moves";
+}, {
+    readonly cardinality: "one";
+    readonly effects: readonly [{
+        readonly kind: "moves";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "payout.external";
+        };
+    }];
+    readonly linearSink: true;
+    readonly scope: "action";
+    readonly spelling: "payout";
+    readonly target: "payout";
+}, {
+    readonly cardinality: "one";
+    readonly effects: readonly [{
+        readonly kind: "decides";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "tenant_port";
+        };
+    }];
+    readonly scope: "action";
+    readonly spelling: "port";
+    readonly target: "port";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "principal";
+    readonly target: "principal";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "public action";
+    readonly target: "publicAction";
+}, {
+    readonly cardinality: "many";
+    readonly effects: readonly [{
+        readonly kind: "reads";
+        readonly per: "element";
+        readonly signature: {
+            readonly fixed: "reconcile";
+        };
+    }];
+    readonly scope: "action";
+    readonly spelling: "reconcile";
+    readonly target: "reconcile";
+}, {
+    readonly cardinality: "one";
+    readonly linearOutputs: readonly ["amountRef"];
+    readonly scope: "action";
+    readonly spelling: "computes remainder";
+    readonly target: "remainder";
+}, {
+    readonly cardinality: "many";
+    readonly effects: readonly [{
+        readonly kind: "reads";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "requires_aggregate";
+        };
+    }];
+    readonly scope: "action";
+    readonly spelling: "requires aggregate";
+    readonly target: "requiresAggregate";
+}, {
+    readonly cardinality: "many";
+    readonly effects: readonly [{
+        readonly kind: "reads";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "requires_checks";
+        };
+    }];
+    readonly scope: "action";
+    readonly spelling: "requires checks";
+    readonly target: "requiresChecks";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "requires drained";
+    readonly target: "requiresDrainedAccount";
+}, {
+    readonly cardinality: "many";
+    readonly scope: "action";
+    readonly spelling: "requires exposure";
+    readonly target: "requiresExposure";
+}, {
+    readonly cardinality: "many";
+    readonly effects: readonly [{
+        readonly kind: "reads";
+        readonly per: "clause";
+        readonly signature: {
+            readonly fixed: "requires_refs";
+        };
+    }];
+    readonly scope: "action";
+    readonly spelling: "requires refs";
+    readonly target: "requiresRefs";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "sandbox failure point";
+    readonly target: "sandboxFailurePoint";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "sets at";
+    readonly target: "setsAt";
+}, {
+    readonly cardinality: "one";
+    readonly linearOutputs: readonly ["amountRef"];
+    readonly scope: "action";
+    readonly spelling: "computes signed_sum";
+    readonly target: "signedSum";
+}, {
+    readonly cardinality: "many";
+    readonly linearSink: true;
+    readonly scope: "action";
+    readonly spelling: "steps";
+    readonly target: "steps";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "action";
+    readonly spelling: "summary";
+    readonly target: "summary";
+}, {
+    readonly cardinality: "many";
+    readonly scope: "action";
+    readonly spelling: "updates";
+    readonly target: "updates";
+}, {
+    readonly cardinality: "many";
+    readonly effects: readonly [{
+        readonly kind: "notifies";
+        readonly per: "element";
+        readonly signature: {
+            readonly fromField: "channel";
+        };
+    }];
+    readonly scope: "action";
+    readonly spelling: "notify";
+    readonly target: "effects.notifies";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "agent description";
+    readonly target: "agentDescription";
+}, {
+    readonly cardinality: "many";
+    readonly scope: "instrument";
+    readonly spelling: "aggregate invariants";
+    readonly target: "aggregateInvariants";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "caller parked states";
+    readonly target: "callerParkedStates";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "description";
+    readonly target: "description";
+}, {
+    readonly cardinality: "many";
+    readonly scope: "instrument";
+    readonly spelling: "dials";
+    readonly target: "dials";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "distinct parties";
+    readonly target: "distinctParties";
+}, {
+    readonly cardinality: "many";
+    readonly scope: "instrument";
+    readonly spelling: "computes derived";
+    readonly target: "derivedAmounts";
+}, {
+    readonly cardinality: "many";
+    readonly scope: "instrument";
+    readonly spelling: "computes fees";
+    readonly target: "feeRules";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "id prefix";
+    readonly target: "idPrefix";
+}, {
+    readonly cardinality: "many";
+    readonly scope: "instrument";
+    readonly spelling: "nav";
+    readonly target: "nav";
+}, {
+    readonly cardinality: "many";
+    readonly scope: "instrument";
+    readonly spelling: "partitions";
+    readonly target: "partitions";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "subject";
+    readonly target: "subject";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "summary";
+    readonly target: "summary";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "surface visibility";
+    readonly target: "surfaceVisibility";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "template id";
+    readonly target: "templateId";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "title";
+    readonly target: "title";
+}, {
+    readonly cardinality: "one";
+    readonly scope: "instrument";
+    readonly spelling: "update";
+    readonly target: "update";
+}];
 export declare const udlDocumentSchema: z.ZodObject<{
-    nouns: z.ZodArray<z.ZodObject<{
+    dials: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        key: z.ZodString;
+        kind: z.ZodLiteral<"confirmation_threshold">;
+        maxMinor: z.ZodOptional<z.ZodNumber>;
+        summary: z.ZodString;
+        title: z.ZodString;
+    }, z.core.$strict>>>;
+    instruments: z.ZodArray<z.ZodObject<{
+        actionOrder: z.ZodArray<z.ZodString>;
+        agentDescription: z.ZodOptional<z.ZodString>;
         aggregateInvariants: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
             childField: z.ZodString;
-            childNounId: z.ZodString;
+            childInstrumentId: z.ZodString;
             childRefField: z.ZodString;
             childStatuses: z.ZodArray<z.ZodString>;
             parentField: z.ZodString;
@@ -672,13 +2399,41 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 field: z.ZodString;
                 days: z.ZodNumber;
             }, z.core.$strict>>;
-            childNounId: z.ZodString;
+            childInstrumentId: z.ZodString;
             childRefField: z.ZodString;
             childStatuses: z.ZodArray<z.ZodString>;
             parentField: z.ZodString;
         }, z.core.$strict>]>>>;
-        computedMoneyRefs: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        callerParkedStates: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
         description: z.ZodOptional<z.ZodString>;
+        dials: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            field: z.ZodString;
+            key: z.ZodString;
+            kind: z.ZodLiteral<"window">;
+            maxOffset: z.ZodOptional<z.ZodString>;
+            minOffset: z.ZodOptional<z.ZodString>;
+            summary: z.ZodString;
+            title: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            action: z.ZodString;
+            key: z.ZodString;
+            kind: z.ZodLiteral<"decision_deadline_ms">;
+            maxMs: z.ZodOptional<z.ZodNumber>;
+            minMs: z.ZodOptional<z.ZodNumber>;
+            summary: z.ZodString;
+            title: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            key: z.ZodString;
+            kind: z.ZodLiteral<"reconcile_tolerance">;
+            maxMinorUnits: z.ZodNumber;
+            summary: z.ZodString;
+            title: z.ZodString;
+        }, z.core.$strict>, z.ZodObject<{
+            key: z.ZodString;
+            kind: z.ZodLiteral<"unwind_penalty">;
+            summary: z.ZodString;
+            title: z.ZodString;
+        }, z.core.$strict>], "kind">>>;
         distinctParties: z.ZodOptional<z.ZodLiteral<true>>;
         derivedAmounts: z.ZodOptional<z.ZodArray<z.ZodObject<{
             field: z.ZodString;
@@ -689,6 +2444,37 @@ export declare const udlDocumentSchema: z.ZodObject<{
             }, z.core.$strict>;
             sourceField: z.ZodString;
         }, z.core.$strict>>>;
+        feeRules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            amountField: z.ZodString;
+            baseField: z.ZodString;
+            bearerField: z.ZodString;
+            position: z.ZodEnum<{
+                carved: "carved";
+                on_top: "on_top";
+            }>;
+            rule: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                bps: z.ZodNumber;
+                kind: z.ZodLiteral<"bps">;
+            }, z.core.$strict>, z.ZodObject<{
+                currencyField: z.ZodString;
+                field: z.ZodString;
+                kind: z.ZodLiteral<"exact">;
+            }, z.core.$strict>, z.ZodObject<{
+                kind: z.ZodLiteral<"tiered">;
+                tiers: z.ZodArray<z.ZodObject<{
+                    fromInclusive: z.ZodString;
+                    rule: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                        bps: z.ZodNumber;
+                        kind: z.ZodLiteral<"bps">;
+                    }, z.core.$strict>, z.ZodObject<{
+                        currencyField: z.ZodString;
+                        field: z.ZodString;
+                        kind: z.ZodLiteral<"exact">;
+                    }, z.core.$strict>], "kind">;
+                    toExclusive: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>], "kind">;
+        }, z.core.$strict>>>;
         fields: z.ZodRecord<z.ZodString, z.ZodRecord<z.ZodString, z.ZodJSONSchema>>;
         id: z.ZodString;
         idPrefix: z.ZodString;
@@ -700,6 +2486,7 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 to: z.ZodString;
             }, z.core.$strict>>;
         }, z.core.$strict>;
+        nav: z.ZodOptional<z.ZodArray<z.ZodString>>;
         parties: z.ZodOptional<z.ZodObject<{
             beneficiary: z.ZodOptional<z.ZodString>;
             payer: z.ZodOptional<z.ZodString>;
@@ -711,33 +2498,58 @@ export declare const udlDocumentSchema: z.ZodObject<{
         }, z.core.$strict>>>;
         required: z.ZodArray<z.ZodString>;
         subject: z.ZodOptional<z.ZodObject<{
+            extensible: z.ZodOptional<z.ZodBoolean>;
             kinds: z.ZodArray<z.ZodString>;
         }, z.core.$strict>>;
         summary: z.ZodString;
+        surfaceVisibility: z.ZodOptional<z.ZodEnum<{
+            internal: "internal";
+            public: "public";
+            system: "system";
+        }>>;
+        templateId: z.ZodOptional<z.ZodString>;
         title: z.ZodString;
-        unwind: z.ZodOptional<z.ZodObject<{
-            beforeField: z.ZodOptional<z.ZodString>;
-            confirm: z.ZodString;
-            penalty: z.ZodArray<z.ZodObject<{
-                bps: z.ZodNumber;
-                withinOffset: z.ZodOptional<z.ZodString>;
-            }, z.core.$strict>>;
-            quote: z.ZodString;
-            refundableField: z.ZodString;
-            refundDestinationField: z.ZodString;
-        }, z.core.$strict>>;
         update: z.ZodOptional<z.ZodObject<{
+            examples: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                input: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+                name: z.ZodString;
+                output: z.ZodOptional<z.ZodJSONSchema>;
+            }, z.core.$strict>>>;
             fields: z.ZodArray<z.ZodString>;
             states: z.ZodArray<z.ZodString>;
         }, z.core.$strict>>;
-        verbs: z.ZodRecord<z.ZodString, z.ZodObject<{
+        actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+            agentDescription: z.ZodOptional<z.ZodString>;
             captureInput: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+            commit: z.ZodOptional<z.ZodString>;
+            decidedAmount: z.ZodOptional<z.ZodObject<{
+                boundField: z.ZodString;
+                field: z.ZodString;
+                remainderAction: z.ZodString;
+            }, z.core.$strict>>;
             deadline: z.ZodOptional<z.ZodObject<{
                 field: z.ZodString;
                 offset: z.ZodOptional<z.ZodString>;
             }, z.core.$strict>>;
             decision: z.ZodOptional<z.ZodObject<{
-                capability: z.ZodString;
+                capability: z.ZodEnum<{
+                    national_identity: "national_identity";
+                    identity_verification: "identity_verification";
+                    credit_bureau: "credit_bureau";
+                    sanctions_screening: "sanctions_screening";
+                    enforcement_instrument: "enforcement_instrument";
+                    accounts_ledger_first_party: "accounts_ledger_first_party";
+                    credit_servicing: "credit_servicing";
+                    collections_agency: "collections_agency";
+                    settlement_ingestion: "settlement_ingestion";
+                    payouts: "payouts";
+                    banking_or_card_issuing: "banking_or_card_issuing";
+                    insurance_carrier: "insurance_carrier";
+                    insurance_claims_adjuster: "insurance_claims_adjuster";
+                    air_carrier: "air_carrier";
+                    lodging_supplier: "lodging_supplier";
+                    email_or_notification: "email_or_notification";
+                }>;
                 deadlineMs: z.ZodNumber;
                 onTimeout: z.ZodLiteral<"decline">;
             }, z.core.$strict>>;
@@ -759,24 +2571,57 @@ export declare const udlDocumentSchema: z.ZodObject<{
             due: z.ZodOptional<z.ZodObject<{
                 every: z.ZodOptional<z.ZodObject<{
                     countField: z.ZodOptional<z.ZodString>;
+                    delinquency: z.ZodOptional<z.ZodLiteral<"parent_policy">>;
+                    drainAction: z.ZodOptional<z.ZodString>;
                     period: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
                         calendar: z.ZodEnum<{
                             gregorian: "gregorian";
                             hijri: "hijri";
                         }>;
+                        monthEnd: z.ZodLiteral<"clamp_to_last_day">;
                         months: z.ZodNumber;
                     }, z.core.$strict>]>;
+                    liability: z.ZodOptional<z.ZodLiteral<"one_open">>;
+                    untilAction: z.ZodOptional<z.ZodString>;
                     untilField: z.ZodOptional<z.ZodString>;
                 }, z.core.$strict>>;
                 field: z.ZodString;
                 offset: z.ZodOptional<z.ZodString>;
                 whenParentStatus: z.ZodOptional<z.ZodObject<{
-                    nounId: z.ZodString;
+                    instrumentId: z.ZodString;
                     refField: z.ZodString;
                     statuses: z.ZodArray<z.ZodString>;
                 }, z.core.$strict>>;
             }, z.core.$strict>>;
             earnable: z.ZodOptional<z.ZodBoolean>;
+            effects: z.ZodOptional<z.ZodObject<{
+                decides: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    signature: z.ZodString;
+                    source: z.ZodString;
+                }, z.core.$strict>>>;
+                holds: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    signature: z.ZodString;
+                    source: z.ZodString;
+                }, z.core.$strict>>>;
+                moves: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    signature: z.ZodString;
+                    source: z.ZodString;
+                }, z.core.$strict>>>;
+                notifies: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    channel: z.ZodString;
+                    role: z.ZodString;
+                    signature: z.ZodString;
+                    source: z.ZodString;
+                }, z.core.$strict>>>;
+                reads: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    signature: z.ZodString;
+                    source: z.ZodString;
+                }, z.core.$strict>>>;
+                schedules: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    signature: z.ZodString;
+                    source: z.ZodString;
+                }, z.core.$strict>>>;
+            }, z.core.$strict>>;
             eventName: z.ZodOptional<z.ZodString>;
             examples: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 input: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
@@ -798,8 +2643,8 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 capture: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
                 key: z.ZodString;
                 operation: z.ZodEnum<{
-                    "internal_transfer.create": "internal_transfer.create";
                     "internal_transfer.reserve": "internal_transfer.reserve";
+                    "internal_transfer.create": "internal_transfer.create";
                     "internal_transfer.post": "internal_transfer.post";
                     "internal_transfer.void": "internal_transfer.void";
                 }>;
@@ -820,7 +2665,78 @@ export declare const udlDocumentSchema: z.ZodObject<{
                     subjectHolder: "subjectHolder";
                 }>>;
             }, z.core.$strict>>;
-            publicIntent: z.ZodOptional<z.ZodString>;
+            quote: z.ZodOptional<z.ZodObject<{
+                anchorField: z.ZodOptional<z.ZodString>;
+                baseField: z.ZodString;
+                chargeRef: z.ZodString;
+                charges: z.ZodArray<z.ZodObject<{
+                    bps: z.ZodNumber;
+                    withinOffset: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                expires: z.ZodUnion<readonly [z.ZodObject<{
+                    field: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    offset: z.ZodString;
+                }, z.core.$strict>]>;
+                fixes: z.ZodArray<z.ZodString>;
+                netDestinationField: z.ZodString;
+                netRef: z.ZodString;
+            }, z.core.$strict>>;
+            publicAction: z.ZodOptional<z.ZodString>;
+            principal: z.ZodOptional<z.ZodLiteral<"user_session">>;
+            reconcile: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                amount: z.ZodString;
+                capture: z.ZodString;
+                counterpartyRef: z.ZodString;
+                currencyField: z.ZodString;
+                direction: z.ZodEnum<{
+                    credit: "credit";
+                    debit: "debit";
+                }>;
+                evidence: z.ZodEnum<{
+                    movement: "movement";
+                    provider_confirmation: "provider_confirmation";
+                    statement_line: "statement_line";
+                }>;
+                exception: z.ZodObject<{
+                    amountField: z.ZodString;
+                    childInstrumentId: z.ZodString;
+                    maxOpen: z.ZodNumber;
+                    reasonField: z.ZodString;
+                    refField: z.ZodString;
+                }, z.core.$strict>;
+                match: z.ZodDiscriminatedUnion<[z.ZodObject<{
+                    law: z.ZodLiteral<"exact">;
+                }, z.core.$strict>, z.ZodObject<{
+                    dial: z.ZodString;
+                    law: z.ZodLiteral<"tolerance">;
+                    minorUnits: z.ZodNumber;
+                }, z.core.$strict>, z.ZodObject<{
+                    law: z.ZodLiteral<"window">;
+                }, z.core.$strict>], "law">;
+                within: z.ZodUnion<readonly [z.ZodObject<{
+                    field: z.ZodString;
+                }, z.core.$strict>, z.ZodObject<{
+                    offset: z.ZodString;
+                }, z.core.$strict>]>;
+            }, z.core.$strict>>>;
+            remainder: z.ZodOptional<z.ZodObject<{
+                accumulateRef: z.ZodOptional<z.ZodString>;
+                amountRef: z.ZodString;
+                collected: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    amountField: z.ZodString;
+                    instrumentId: z.ZodString;
+                    path: z.ZodOptional<z.ZodLiteral<"refs">>;
+                    refField: z.ZodString;
+                    statuses: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>>>;
+                inputKey: z.ZodOptional<z.ZodString>;
+                onZero: z.ZodEnum<{
+                    refuse: "refuse";
+                    skip_steps: "skip_steps";
+                }>;
+                totalPath: z.ZodString;
+            }, z.core.$strict>>;
             requiresAggregate: z.ZodOptional<z.ZodArray<z.ZodObject<{
                 check: z.ZodDiscriminatedUnion<[z.ZodObject<{
                     amountField: z.ZodString;
@@ -847,7 +2763,7 @@ export declare const udlDocumentSchema: z.ZodObject<{
                     field: z.ZodString;
                     kind: z.ZodLiteral<"count_equals_field">;
                 }, z.core.$strict>], "kind">;
-                nounId: z.ZodOptional<z.ZodString>;
+                instrumentId: z.ZodOptional<z.ZodString>;
                 over: z.ZodEnum<{
                     children: "children";
                     siblings: "siblings";
@@ -855,6 +2771,7 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 refField: z.ZodString;
                 statuses: z.ZodArray<z.ZodString>;
             }, z.core.$strict>>>;
+            requiresChecks: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>, ...z.ZodType<UdlCheckRequirementShape, unknown, z.core.$ZodTypeInternals<UdlCheckRequirementShape, unknown>>[]]>>>;
             requiresDrainedAccount: z.ZodOptional<z.ZodObject<{
                 path: z.ZodString;
             }, z.core.$strict>>;
@@ -863,7 +2780,7 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 anchorField: z.ZodString;
                 capField: z.ZodString;
                 capOnAnchor: z.ZodOptional<z.ZodLiteral<true>>;
-                childNounId: z.ZodString;
+                childInstrumentId: z.ZodString;
                 statuses: z.ZodArray<z.ZodString>;
             }, z.core.$strict>>>;
             requiresRefs: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -874,10 +2791,10 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 statuses: z.ZodArray<z.ZodString>;
                 unique: z.ZodOptional<z.ZodLiteral<true>>;
             }, z.core.$strict>>>;
-            requiresSettlement: z.ZodOptional<z.ZodObject<{
-                capture: z.ZodString;
-                payoutRef: z.ZodString;
-            }, z.core.$strict>>;
+            sandboxFailurePoint: z.ZodOptional<z.ZodEnum<{
+                funding: "funding";
+                release: "release";
+            }>>;
             setsAt: z.ZodOptional<z.ZodObject<{
                 field: z.ZodString;
                 marker: z.ZodOptional<z.ZodLiteral<true>>;
@@ -892,7 +2809,7 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 }>;
                 sources: z.ZodArray<z.ZodObject<{
                     amountField: z.ZodString;
-                    nounId: z.ZodString;
+                    instrumentId: z.ZodString;
                     refField: z.ZodString;
                     sign: z.ZodEnum<{
                         add: "add";
@@ -921,6 +2838,7 @@ export declare const udlDocumentSchema: z.ZodObject<{
                 }>;
             }, z.core.$strict>>;
             summary: z.ZodString;
+            updates: z.ZodOptional<z.ZodArray<z.ZodString>>;
         }, z.core.$strict>>;
     }, z.core.$strict>>;
     product: z.ZodString;
@@ -944,21 +2862,27 @@ export type UdlAggregateCondition = z.infer<typeof udlAggregateConditionSchema>;
 export type UdlBinding = z.infer<typeof udlBindingSchema>;
 export type UdlDeclaredValuePolicy = z.infer<typeof udlDeclaredValuePolicySchema>;
 export type UdlDecision = z.infer<typeof udlDecisionSchema>;
+export type UdlCompositionDial = z.infer<typeof udlCompositionDialSchema>;
+export type UdlDial = z.infer<typeof udlDialSchema>;
 export type UdlDocument = z.infer<typeof udlDocumentSchema>;
 export type UdlDue = z.infer<typeof udlDueSchema>;
+export type UdlEffects = z.infer<typeof udlEffectsSchema>;
 export type UdlExample = z.infer<typeof udlExampleSchema>;
 export type UdlGate = z.infer<typeof udlGateSchema>;
 export type UdlKernelOperation = z.infer<typeof udlKernelOperationSchema>;
 export type UdlLifecycle = z.infer<typeof udlLifecycleSchema>;
 export type UdlLifecycleTransition = z.infer<typeof udlLifecycleTransitionSchema>;
-export type UdlNoun = z.infer<typeof udlNounSchema>;
-export type UdlNounSubject = z.infer<typeof udlNounSubjectSchema>;
+export type UdlInstrument = z.infer<typeof udlInstrumentSchema>;
+export type UdlInstrumentSubject = z.infer<typeof udlInstrumentSubjectSchema>;
 export type UdlMove = z.infer<typeof udlMoveSchema>;
 export type UdlPayout = z.infer<typeof udlPayoutSchema>;
-export type UdlRequiresSettlement = z.infer<typeof udlRequiresSettlementSchema>;
+export type UdlQuote = z.infer<typeof udlQuoteSchema>;
+export type UdlProviderFamilyId = z.infer<typeof udlProviderFamilyIdSchema>;
+export type UdlCheckRequirement = z.infer<typeof udlCheckRequirementSchema>;
+export type UdlReconcile = z.infer<typeof udlReconcileSchema>;
+export type UdlRemainder = z.infer<typeof udlRemainderSchema>;
 export type UdlStep = z.infer<typeof udlStepSchema>;
 export type UdlSubject = z.infer<typeof udlSubjectSchema>;
-export type UdlUnwind = z.infer<typeof udlUnwindSchema>;
-export type UdlVerb = z.infer<typeof udlVerbSchema>;
+export type UdlAction = z.infer<typeof udlActionSchema>;
 export {};
 //# sourceMappingURL=schema.d.ts.map