@hyperscale0/udl 1.0.0-alpha.1

package/dist/schema.d.ts

@@ -0,0 +1,757 @@
+import { z } from "zod";
+export declare const UDL_FORMAT_VERSION: 1;
+declare const udlDeclaredValuePolicySchema: z.ZodEnum<{
+    optional: "optional";
+    required: "required";
+    none: "none";
+}>;
+declare const udlSubjectSchema: z.ZodObject<{
+    declaredValue: z.ZodEnum<{
+        optional: "optional";
+        required: "required";
+        none: "none";
+    }>;
+    kind: z.ZodString;
+    schema: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+    title: z.ZodString;
+    version: z.ZodNumber;
+}, z.core.$strict>;
+declare const udlNounSubjectSchema: z.ZodObject<{
+    kinds: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+declare const udlLifecycleTransitionSchema: z.ZodObject<{
+    from: z.ZodArray<z.ZodString>;
+    to: z.ZodString;
+}, z.core.$strict>;
+declare const udlLifecycleSchema: 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>;
+declare const udlGateSchema: 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>;
+declare const udlBindingSchema: 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">;
+export declare const udlKernelOperationSchema: z.ZodEnum<{
+    "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";
+}>;
+declare const udlStepSchema: 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>;
+declare const udlMoveSchema: 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.create": "internal_transfer.create";
+        "internal_transfer.reserve": "internal_transfer.reserve";
+        "internal_transfer.post": "internal_transfer.post";
+        "internal_transfer.void": "internal_transfer.void";
+    }>;
+}, z.core.$strict>;
+declare const udlDueSchema: z.ZodObject<{
+    every: z.ZodOptional<z.ZodObject<{
+        countField: z.ZodOptional<z.ZodString>;
+        period: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+            calendar: z.ZodEnum<{
+                gregorian: "gregorian";
+                hijri: "hijri";
+            }>;
+            months: z.ZodNumber;
+        }, z.core.$strict>]>;
+        untilField: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    field: z.ZodString;
+    offset: z.ZodOptional<z.ZodString>;
+    whenParentStatus: z.ZodOptional<z.ZodObject<{
+        nounId: 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<{
+        bps: z.ZodNumber;
+        withinOffset: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    quote: z.ZodString;
+    refundableField: z.ZodString;
+    refundDestinationField: z.ZodString;
+}, z.core.$strict>;
+declare const udlDecisionSchema: z.ZodObject<{
+    capability: z.ZodString;
+    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;
+        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">;
+    nounId: z.ZodOptional<z.ZodString>;
+    over: z.ZodEnum<{
+        children: "children";
+        siblings: "siblings";
+    }>;
+    refField: z.ZodString;
+    statuses: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+declare const udlVerbSchema: z.ZodObject<{
+    deadline: z.ZodOptional<z.ZodObject<{
+        field: z.ZodString;
+        offset: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    decision: z.ZodOptional<z.ZodObject<{
+        capability: z.ZodString;
+        deadlineMs: z.ZodNumber;
+        onTimeout: z.ZodLiteral<"decline">;
+    }, z.core.$strict>>;
+    description: z.ZodOptional<z.ZodString>;
+    due: z.ZodOptional<z.ZodObject<{
+        every: z.ZodOptional<z.ZodObject<{
+            countField: z.ZodOptional<z.ZodString>;
+            period: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                calendar: z.ZodEnum<{
+                    gregorian: "gregorian";
+                    hijri: "hijri";
+                }>;
+                months: z.ZodNumber;
+            }, z.core.$strict>]>;
+            untilField: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        field: z.ZodString;
+        offset: z.ZodOptional<z.ZodString>;
+        whenParentStatus: z.ZodOptional<z.ZodObject<{
+            nounId: z.ZodString;
+            refField: z.ZodString;
+            statuses: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    earnable: z.ZodOptional<z.ZodBoolean>;
+    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.create": "internal_transfer.create";
+            "internal_transfer.reserve": "internal_transfer.reserve";
+            "internal_transfer.post": "internal_transfer.post";
+            "internal_transfer.void": "internal_transfer.void";
+        }>;
+    }, z.core.$strict>>>;
+    port: z.ZodOptional<z.ZodObject<{
+        allowedParties: z.ZodArray<z.ZodEnum<{
+            payer: "payer";
+            beneficiary: "beneficiary";
+            subjectHolder: "subjectHolder";
+        }>>;
+    }, 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">;
+        nounId: z.ZodOptional<z.ZodString>;
+        over: z.ZodEnum<{
+            children: "children";
+            siblings: "siblings";
+        }>;
+        refField: z.ZodString;
+        statuses: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>>;
+    requiresDrainedAccount: z.ZodOptional<z.ZodObject<{
+        path: 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>>>;
+    setsAt: z.ZodOptional<z.ZodObject<{
+        field: z.ZodString;
+        offset: 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<{
+    aggregateInvariants: z.ZodOptional<z.ZodArray<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>]>>>;
+    description: z.ZodOptional<z.ZodString>;
+    distinctParties: z.ZodOptional<z.ZodLiteral<true>>;
+    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>;
+    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<{
+        kinds: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    summary: 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<{
+        fields: z.ZodArray<z.ZodString>;
+        states: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    verbs: z.ZodRecord<z.ZodString, z.ZodObject<{
+        deadline: z.ZodOptional<z.ZodObject<{
+            field: z.ZodString;
+            offset: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        decision: z.ZodOptional<z.ZodObject<{
+            capability: z.ZodString;
+            deadlineMs: z.ZodNumber;
+            onTimeout: z.ZodLiteral<"decline">;
+        }, z.core.$strict>>;
+        description: z.ZodOptional<z.ZodString>;
+        due: z.ZodOptional<z.ZodObject<{
+            every: z.ZodOptional<z.ZodObject<{
+                countField: z.ZodOptional<z.ZodString>;
+                period: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                    calendar: z.ZodEnum<{
+                        gregorian: "gregorian";
+                        hijri: "hijri";
+                    }>;
+                    months: z.ZodNumber;
+                }, z.core.$strict>]>;
+                untilField: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            field: z.ZodString;
+            offset: z.ZodOptional<z.ZodString>;
+            whenParentStatus: z.ZodOptional<z.ZodObject<{
+                nounId: z.ZodString;
+                refField: z.ZodString;
+                statuses: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        earnable: z.ZodOptional<z.ZodBoolean>;
+        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.create": "internal_transfer.create";
+                "internal_transfer.reserve": "internal_transfer.reserve";
+                "internal_transfer.post": "internal_transfer.post";
+                "internal_transfer.void": "internal_transfer.void";
+            }>;
+        }, z.core.$strict>>>;
+        port: z.ZodOptional<z.ZodObject<{
+            allowedParties: z.ZodArray<z.ZodEnum<{
+                payer: "payer";
+                beneficiary: "beneficiary";
+                subjectHolder: "subjectHolder";
+            }>>;
+        }, 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">;
+            nounId: z.ZodOptional<z.ZodString>;
+            over: z.ZodEnum<{
+                children: "children";
+                siblings: "siblings";
+            }>;
+            refField: z.ZodString;
+            statuses: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>>;
+        requiresDrainedAccount: z.ZodOptional<z.ZodObject<{
+            path: 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>>>;
+        setsAt: z.ZodOptional<z.ZodObject<{
+            field: z.ZodString;
+            offset: 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>>;
+}, z.core.$strict>;
+export declare const udlDocumentSchema: z.ZodObject<{
+    nouns: z.ZodArray<z.ZodObject<{
+        aggregateInvariants: z.ZodOptional<z.ZodArray<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>]>>>;
+        description: z.ZodOptional<z.ZodString>;
+        distinctParties: z.ZodOptional<z.ZodLiteral<true>>;
+        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>;
+        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<{
+            kinds: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+        summary: 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<{
+            fields: z.ZodArray<z.ZodString>;
+            states: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>>;
+        verbs: z.ZodRecord<z.ZodString, z.ZodObject<{
+            deadline: z.ZodOptional<z.ZodObject<{
+                field: z.ZodString;
+                offset: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            decision: z.ZodOptional<z.ZodObject<{
+                capability: z.ZodString;
+                deadlineMs: z.ZodNumber;
+                onTimeout: z.ZodLiteral<"decline">;
+            }, z.core.$strict>>;
+            description: z.ZodOptional<z.ZodString>;
+            due: z.ZodOptional<z.ZodObject<{
+                every: z.ZodOptional<z.ZodObject<{
+                    countField: z.ZodOptional<z.ZodString>;
+                    period: z.ZodUnion<readonly [z.ZodString, z.ZodObject<{
+                        calendar: z.ZodEnum<{
+                            gregorian: "gregorian";
+                            hijri: "hijri";
+                        }>;
+                        months: z.ZodNumber;
+                    }, z.core.$strict>]>;
+                    untilField: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                field: z.ZodString;
+                offset: z.ZodOptional<z.ZodString>;
+                whenParentStatus: z.ZodOptional<z.ZodObject<{
+                    nounId: z.ZodString;
+                    refField: z.ZodString;
+                    statuses: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            earnable: z.ZodOptional<z.ZodBoolean>;
+            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.create": "internal_transfer.create";
+                    "internal_transfer.reserve": "internal_transfer.reserve";
+                    "internal_transfer.post": "internal_transfer.post";
+                    "internal_transfer.void": "internal_transfer.void";
+                }>;
+            }, z.core.$strict>>>;
+            port: z.ZodOptional<z.ZodObject<{
+                allowedParties: z.ZodArray<z.ZodEnum<{
+                    payer: "payer";
+                    beneficiary: "beneficiary";
+                    subjectHolder: "subjectHolder";
+                }>>;
+            }, 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">;
+                nounId: z.ZodOptional<z.ZodString>;
+                over: z.ZodEnum<{
+                    children: "children";
+                    siblings: "siblings";
+                }>;
+                refField: z.ZodString;
+                statuses: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>>>;
+            requiresDrainedAccount: z.ZodOptional<z.ZodObject<{
+                path: 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>>>;
+            setsAt: z.ZodOptional<z.ZodObject<{
+                field: z.ZodString;
+                offset: 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>>;
+    }, z.core.$strict>>;
+    product: z.ZodString;
+    subjects: z.ZodArray<z.ZodObject<{
+        declaredValue: z.ZodEnum<{
+            optional: "optional";
+            required: "required";
+            none: "none";
+        }>;
+        kind: z.ZodString;
+        schema: z.ZodRecord<z.ZodString, z.ZodJSONSchema>;
+        title: z.ZodString;
+        version: z.ZodNumber;
+    }, z.core.$strict>>;
+    title: z.ZodString;
+    udl: z.ZodLiteral<1>;
+    version: z.ZodNumber;
+}, z.core.$strict>;
+export type UdlAggregate = z.infer<typeof udlAggregateSchema>;
+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 UdlDocument = z.infer<typeof udlDocumentSchema>;
+export type UdlDue = z.infer<typeof udlDueSchema>;
+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 UdlMove = z.infer<typeof udlMoveSchema>;
+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 {};
+//# sourceMappingURL=schema.d.ts.map