@hyperscale0/udl 1.0.0-alpha.1

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,kBAAkB,EAAG,CAAU,CAAC;AA2B7C,QAAA,MAAM,4BAA4B;;;;EAA2C,CAAC;AAE9E,QAAA,MAAM,gBAAgB;;;;;;;;;;kBAMpB,CAAC;AAEH,QAAA,MAAM,oBAAoB;;kBAExB,CAAC;AAEH,QAAA,MAAM,4BAA4B;;;kBAGhC,CAAC;AAEH,QAAA,MAAM,kBAAkB;;;;;;;kBAItB,CAAC;AAOH,QAAA,MAAM,aAAa;;;;;;;kBAWjB,CAAC;AAEH,QAAA,MAAM,gBAAgB;;;;;;;;;4BAIpB,CAAC;AAeH,eAAO,MAAM,wBAAwB;;;;;;;;EAGnC,CAAC;AAEH,QAAA,MAAM,aAAa;;;;;;;;;;;;;;;;;kBAIjB,CAAC;AAEH,QAAA,MAAM,aAAa;;;;;;;;;;;;;;;;;;;kBAKjB,CAAC;AAoBH,QAAA,MAAM,YAAY;;;;;;;;;;;;;;;;;;;kBAKhB,CAAC;AAiBH,QAAA,MAAM,eAAe;;;;;;;;;;kBAOnB,CAAC;AAEH,QAAA,MAAM,iBAAiB;;;;kBASrB,CAAC;AAEH,QAAA,MAAM,gBAAgB;;;;kBAIpB,CAAC;AAoCH,QAAA,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAM/B,CAAC;AAmBH,QAAA,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAiBjB,CAAC;AAYH,QAAA,MAAM,kBAAkB;;;;;;;;;;;;;;;;oBAetB,CAAC;AAEH,QAAA,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAyBjB,CAAC;AAEH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAO5B,CAAC;AAEH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAC9D,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAChF,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAC1D,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAC1C,OAAO,4BAA4B,CACpC,CAAC;AACF,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAC5D,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAC5D,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAClD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAC1D,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AACpD,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAC1E,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAC9D,MAAM,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAC1C,OAAO,4BAA4B,CACpC,CAAC;AACF,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AACpD,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAClE,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AACpD,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AACpD,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAC1D,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AACxD,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC"}

package/dist/schema.js

@@ -0,0 +1,281 @@
+import { z } from "zod";
+export const UDL_FORMAT_VERSION = 1;
+const snakeCasePattern = /^[a-z][a-z0-9]*(?:_[a-z0-9]+)*$/;
+const camelCasePattern = /^[a-z][A-Za-z0-9]*$/;
+const fieldPathPattern = /^[a-z][A-Za-z0-9]*(?:\.[a-z][A-Za-z0-9]*)*$/;
+const idPrefixPattern = /^[a-z]{2,8}$/;
+const eventNamePattern = /^[a-z][a-z0-9_]*(?:\.[a-z][a-z0-9_]*)+$/;
+const udlSnakeCaseSchema = z
+    .string()
+    .regex(snakeCasePattern, "must be a snake_case identifier");
+const udlVerbNameSchema = z
+    .string()
+    .regex(snakeCasePattern, "must be a snake_case verb identifier");
+const udlFieldNameSchema = z
+    .string()
+    .regex(camelCasePattern, "must be a camelCase field name");
+const nonEmptyTextSchema = z
+    .string()
+    .refine((value) => value.trim().length > 0, "must not be blank");
+const fieldPathSchema = z
+    .string()
+    .regex(fieldPathPattern, "must be a dot-separated camelCase field path");
+const jsonObjectSchema = z.record(z.string(), z.json());
+const stringMapSchema = z.record(nonEmptyTextSchema, nonEmptyTextSchema);
+const udlDeclaredValuePolicySchema = z.enum(["required", "optional", "none"]);
+const udlSubjectSchema = z.strictObject({
+    declaredValue: udlDeclaredValuePolicySchema,
+    kind: udlSnakeCaseSchema,
+    schema: jsonObjectSchema,
+    title: nonEmptyTextSchema,
+    version: z.number().int().positive(),
+});
+const udlNounSubjectSchema = z.strictObject({
+    kinds: z.array(udlSnakeCaseSchema).min(1),
+});
+const udlLifecycleTransitionSchema = z.strictObject({
+    from: z.array(udlSnakeCaseSchema).min(1),
+    to: udlSnakeCaseSchema,
+});
+const udlLifecycleSchema = z.strictObject({
+    initial: udlSnakeCaseSchema,
+    states: z.array(udlSnakeCaseSchema).min(1),
+    transitions: z.record(udlVerbNameSchema, udlLifecycleTransitionSchema),
+});
+const udlUpdatePolicySchema = z.strictObject({
+    fields: z.array(udlFieldNameSchema).min(1),
+    states: z.array(udlSnakeCaseSchema).min(1),
+});
+const udlGateSchema = z.strictObject({
+    /** Local field key <- referenced instance path; create verbs only. */
+    bind: z.record(udlFieldNameSchema, fieldPathSchema).optional(),
+    field: udlFieldNameSchema,
+    /** Local instance path === referenced instance path at admission. */
+    match: z.record(fieldPathSchema, fieldPathSchema).optional(),
+    /** Opt-in over an optional reference field: absent passes, set is held to the clause. */
+    optional: z.literal(true).optional(),
+    statuses: z.array(udlSnakeCaseSchema).min(1),
+    /** One dependent ever per referenced instance; create verbs only. */
+    unique: z.literal(true).optional(),
+});
+const udlBindingSchema = z.discriminatedUnion("from", [
+    z.strictObject({ from: z.literal("const"), value: z.string() }),
+    z.strictObject({ from: z.literal("instance"), path: fieldPathSchema }),
+    z.strictObject({ from: z.literal("input"), path: fieldPathSchema }),
+]);
+const udlStepOperationSchema = z.enum([
+    "account.escrow.provision",
+    "account.freeze",
+    "account.unfreeze",
+]);
+const udlMoveOperationSchema = z.enum([
+    "internal_transfer.create",
+    "internal_transfer.reserve",
+    "internal_transfer.post",
+    "internal_transfer.void",
+]);
+export const udlKernelOperationSchema = z.enum([
+    ...udlStepOperationSchema.options,
+    ...udlMoveOperationSchema.options,
+]);
+const udlStepSchema = z.strictObject({
+    bind: z.record(fieldPathSchema, udlBindingSchema),
+    capture: stringMapSchema.optional(),
+    operation: udlStepOperationSchema,
+});
+const udlMoveSchema = z.strictObject({
+    bind: z.record(fieldPathSchema, udlBindingSchema),
+    capture: stringMapSchema.optional(),
+    key: udlSnakeCaseSchema,
+    operation: udlMoveOperationSchema,
+});
+const udlDueRecurrenceSchema = z.strictObject({
+    countField: udlFieldNameSchema.optional(),
+    period: z.union([
+        nonEmptyTextSchema,
+        z.strictObject({
+            calendar: z.enum(["gregorian", "hijri"]),
+            months: z.number().int().positive(),
+        }),
+    ]),
+    untilField: udlFieldNameSchema.optional(),
+});
+const udlDueParentStatusSchema = z.strictObject({
+    nounId: udlSnakeCaseSchema,
+    refField: udlFieldNameSchema,
+    statuses: z.array(udlSnakeCaseSchema).min(1),
+});
+const udlDueSchema = z.strictObject({
+    every: udlDueRecurrenceSchema.optional(),
+    field: udlFieldNameSchema,
+    offset: nonEmptyTextSchema.optional(),
+    whenParentStatus: udlDueParentStatusSchema.optional(),
+});
+const udlDeadlineSchema = z.strictObject({
+    field: udlFieldNameSchema,
+    offset: nonEmptyTextSchema.optional(),
+});
+const udlSetsAtSchema = z.strictObject({
+    field: udlFieldNameSchema,
+    offset: nonEmptyTextSchema,
+});
+const udlUnwindPenaltySchema = z.strictObject({
+    bps: z.number().int().min(0).max(9_999),
+    withinOffset: nonEmptyTextSchema.optional(),
+});
+const udlUnwindSchema = z.strictObject({
+    beforeField: udlFieldNameSchema.optional(),
+    confirm: udlVerbNameSchema,
+    penalty: z.array(udlUnwindPenaltySchema).min(1),
+    quote: udlVerbNameSchema,
+    refundableField: udlFieldNameSchema,
+    refundDestinationField: udlFieldNameSchema,
+});
+const udlDecisionSchema = z.strictObject({
+    capability: udlSnakeCaseSchema,
+    deadlineMs: z.number().int().positive(),
+    // A decision that never came back is not an approval. `approve` would let a
+    // document release money because a counterparty went quiet, so the grammar
+    // admits only the fail-closed answer. Every published document already
+    // writes `decline`; widening later is additive, narrowing later would not
+    // be.
+    onTimeout: z.literal("decline"),
+});
+const udlExampleSchema = z.strictObject({
+    input: jsonObjectSchema,
+    name: nonEmptyTextSchema,
+    output: z.json().optional(),
+});
+const udlAggregateCheckSchema = z.discriminatedUnion("kind", [
+    z.strictObject({
+        amountField: udlFieldNameSchema,
+        kind: z.literal("sum_at_least"),
+        targetField: udlFieldNameSchema,
+    }),
+    z.strictObject({
+        amountField: udlFieldNameSchema,
+        kind: z.literal("sum_below"),
+        targetField: udlFieldNameSchema,
+    }),
+    z.strictObject({
+        amountField: udlFieldNameSchema,
+        kind: z.literal("sum_exactly"),
+        targetField: udlFieldNameSchema,
+    }),
+    // Siblings summed against a cap read from the LOCKED anchor row's
+    // machinery-seeded ref (never a stored field on the counted rows).
+    z.strictObject({
+        amountField: udlFieldNameSchema,
+        anchorRef: udlFieldNameSchema,
+        kind: z.literal("sum_within_anchor_ref"),
+    }),
+    z.strictObject({
+        kind: z.literal("count_at_least"),
+        targetField: udlFieldNameSchema,
+    }),
+    z.strictObject({ kind: z.literal("all_in") }),
+    z.strictObject({
+        field: udlFieldNameSchema,
+        kind: z.literal("count_equals_field"),
+    }),
+]);
+const udlAggregateConditionSchema = z.strictObject({
+    check: udlAggregateCheckSchema,
+    nounId: udlSnakeCaseSchema.optional(),
+    over: z.enum(["children", "siblings"]),
+    refField: udlFieldNameSchema,
+    statuses: z.array(udlSnakeCaseSchema).min(1),
+});
+// The tenant-backend decision port: the verb's caller asserts the acting
+// party, checked at admission against the noun's party bindings for the
+// allowed roles.
+const udlPortSchema = z.strictObject({
+    allowedParties: z
+        .array(z.enum(["payer", "beneficiary", "subjectHolder"]))
+        .min(1),
+});
+// A same-instance conservation law: the piece fields (money, minor units)
+// must sum exactly to the total field; admission refuses a create whose
+// pieces diverge.
+const udlPartitionSchema = z.strictObject({
+    pieceFields: z.array(udlFieldNameSchema).min(2),
+    totalField: udlFieldNameSchema,
+});
+const udlVerbSchema = z.strictObject({
+    deadline: udlDeadlineSchema.optional(),
+    decision: udlDecisionSchema.optional(),
+    description: nonEmptyTextSchema.optional(),
+    due: udlDueSchema.optional(),
+    earnable: z.boolean().optional(),
+    eventName: z.string().regex(eventNamePattern).optional(),
+    examples: z.array(udlExampleSchema).min(1).optional(),
+    input: jsonObjectSchema.optional(),
+    moves: z.array(udlMoveSchema).default([]),
+    port: udlPortSchema.optional(),
+    requiresAggregate: z.array(udlAggregateConditionSchema).min(1).optional(),
+    requiresDrainedAccount: z.strictObject({ path: fieldPathSchema }).optional(),
+    requiresRefs: z.array(udlGateSchema).min(1).optional(),
+    setsAt: udlSetsAtSchema.optional(),
+    steps: z.array(udlStepSchema),
+    summary: nonEmptyTextSchema,
+});
+const udlAggregateBaseShape = {
+    childNounId: udlSnakeCaseSchema,
+    childRefField: udlFieldNameSchema,
+    childStatuses: z.array(udlSnakeCaseSchema).min(1),
+    parentField: udlFieldNameSchema,
+};
+// Two measures, mutually exclusive by strictness: a sum cap over a child money
+// field, or a count cap (optionally windowed to the rolling `days` ending at
+// the child's own as-written date-time value).
+const udlAggregateSchema = z.union([
+    z.strictObject({
+        ...udlAggregateBaseShape,
+        childField: udlFieldNameSchema,
+    }),
+    z.strictObject({
+        ...udlAggregateBaseShape,
+        count: z.literal(true),
+        window: z
+            .strictObject({
+            field: udlFieldNameSchema,
+            days: z.number().int().min(1).max(3650),
+        })
+            .optional(),
+    }),
+]);
+const udlNounSchema = z.strictObject({
+    aggregateInvariants: z.array(udlAggregateSchema).min(1).optional(),
+    description: nonEmptyTextSchema.optional(),
+    distinctParties: z.literal(true).optional(),
+    fields: z.record(udlFieldNameSchema, jsonObjectSchema),
+    id: udlSnakeCaseSchema,
+    idPrefix: z
+        .string()
+        .regex(idPrefixPattern, "must contain 2 to 8 lowercase letters"),
+    lifecycle: udlLifecycleSchema,
+    parties: z
+        .strictObject({
+        beneficiary: udlFieldNameSchema.optional(),
+        payer: udlFieldNameSchema.optional(),
+        subjectHolder: udlFieldNameSchema.optional(),
+    })
+        .optional(),
+    partitions: z.array(udlPartitionSchema).min(1).optional(),
+    required: z.array(udlFieldNameSchema),
+    subject: udlNounSubjectSchema.optional(),
+    summary: nonEmptyTextSchema,
+    title: nonEmptyTextSchema,
+    unwind: udlUnwindSchema.optional(),
+    update: udlUpdatePolicySchema.optional(),
+    verbs: z.record(udlVerbNameSchema, udlVerbSchema),
+});
+export const udlDocumentSchema = z.strictObject({
+    nouns: z.array(udlNounSchema).min(1),
+    product: udlSnakeCaseSchema,
+    subjects: z.array(udlSubjectSchema),
+    title: nonEmptyTextSchema,
+    udl: z.literal(UDL_FORMAT_VERSION),
+    version: z.number().int().positive(),
+});
+//# sourceMappingURL=schema.js.map

package/dist/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAU,CAAC;AAE7C,MAAM,gBAAgB,GAAG,iCAAiC,CAAC;AAC3D,MAAM,gBAAgB,GAAG,qBAAqB,CAAC;AAC/C,MAAM,gBAAgB,GAAG,6CAA6C,CAAC;AACvE,MAAM,eAAe,GAAG,cAAc,CAAC;AACvC,MAAM,gBAAgB,GAAG,yCAAyC,CAAC;AAEnE,MAAM,kBAAkB,GAAG,CAAC;KACzB,MAAM,EAAE;KACR,KAAK,CAAC,gBAAgB,EAAE,iCAAiC,CAAC,CAAC;AAC9D,MAAM,iBAAiB,GAAG,CAAC;KACxB,MAAM,EAAE;KACR,KAAK,CAAC,gBAAgB,EAAE,sCAAsC,CAAC,CAAC;AACnE,MAAM,kBAAkB,GAAG,CAAC;KACzB,MAAM,EAAE;KACR,KAAK,CAAC,gBAAgB,EAAE,gCAAgC,CAAC,CAAC;AAE7D,MAAM,kBAAkB,GAAG,CAAC;KACzB,MAAM,EAAE;KACR,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,mBAAmB,CAAC,CAAC;AACnE,MAAM,eAAe,GAAG,CAAC;KACtB,MAAM,EAAE;KACR,KAAK,CAAC,gBAAgB,EAAE,8CAA8C,CAAC,CAAC;AAC3E,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACxD,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;AAEzE,MAAM,4BAA4B,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;AAE9E,MAAM,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC;IACtC,aAAa,EAAE,4BAA4B;IAC3C,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,gBAAgB;IACxB,KAAK,EAAE,kBAAkB;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC1C,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC1C,CAAC,CAAC;AAEH,MAAM,4BAA4B,GAAG,CAAC,CAAC,YAAY,CAAC;IAClD,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACxC,EAAE,EAAE,kBAAkB;CACvB,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC;IACxC,OAAO,EAAE,kBAAkB;IAC3B,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,iBAAiB,EAAE,4BAA4B,CAAC;CACvE,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC3C,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC3C,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC,CAAC,YAAY,CAAC;IACnC,sEAAsE;IACtE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE,eAAe,CAAC,CAAC,QAAQ,EAAE;IAC9D,KAAK,EAAE,kBAAkB;IACzB,qEAAqE;IACrE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC,QAAQ,EAAE;IAC5D,yFAAyF;IACzF,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IACpC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,qEAAqE;IACrE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IACpD,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAC/D,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;IACtE,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;CACpE,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,CAAC,CAAC,IAAI,CAAC;IACpC,0BAA0B;IAC1B,gBAAgB;IAChB,kBAAkB;CACnB,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,CAAC,CAAC,IAAI,CAAC;IACpC,0BAA0B;IAC1B,2BAA2B;IAC3B,wBAAwB;IACxB,wBAAwB;CACzB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC7C,GAAG,sBAAsB,CAAC,OAAO;IACjC,GAAG,sBAAsB,CAAC,OAAO;CAClC,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC,CAAC,YAAY,CAAC;IACnC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,eAAe,EAAE,gBAAgB,CAAC;IACjD,OAAO,EAAE,eAAe,CAAC,QAAQ,EAAE;IACnC,SAAS,EAAE,sBAAsB;CAClC,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC,CAAC,YAAY,CAAC;IACnC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,eAAe,EAAE,gBAAgB,CAAC;IACjD,OAAO,EAAE,eAAe,CAAC,QAAQ,EAAE;IACnC,GAAG,EAAE,kBAAkB;IACvB,SAAS,EAAE,sBAAsB;CAClC,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC5C,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IACzC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC;QACd,kBAAkB;QAClB,CAAC,CAAC,YAAY,CAAC;YACb,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;YACxC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;SACpC,CAAC;KACH,CAAC;IACF,UAAU,EAAE,kBAAkB,CAAC,QAAQ,EAAE;CAC1C,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC9C,MAAM,EAAE,kBAAkB;IAC1B,QAAQ,EAAE,kBAAkB;IAC5B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC7C,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;IAClC,KAAK,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IACxC,KAAK,EAAE,kBAAkB;IACzB,MAAM,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IACrC,gBAAgB,EAAE,wBAAwB,CAAC,QAAQ,EAAE;CACtD,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;IACvC,KAAK,EAAE,kBAAkB;IACzB,MAAM,EAAE,kBAAkB,CAAC,QAAQ,EAAE;CACtC,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,CAAC,CAAC,YAAY,CAAC;IACrC,KAAK,EAAE,kBAAkB;IACzB,MAAM,EAAE,kBAAkB;CAC3B,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC5C,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IACvC,YAAY,EAAE,kBAAkB,CAAC,QAAQ,EAAE;CAC5C,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,CAAC,CAAC,YAAY,CAAC;IACrC,WAAW,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IAC1C,OAAO,EAAE,iBAAiB;IAC1B,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,KAAK,EAAE,iBAAiB;IACxB,eAAe,EAAE,kBAAkB;IACnC,sBAAsB,EAAE,kBAAkB;CAC3C,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;IACvC,UAAU,EAAE,kBAAkB;IAC9B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACvC,4EAA4E;IAC5E,2EAA2E;IAC3E,uEAAuE;IACvE,0EAA0E;IAC1E,MAAM;IACN,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;CAChC,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC;IACtC,KAAK,EAAE,gBAAgB;IACvB,IAAI,EAAE,kBAAkB;IACxB,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;CAC5B,CAAC,CAAC;AAEH,MAAM,uBAAuB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAC3D,CAAC,CAAC,YAAY,CAAC;QACb,WAAW,EAAE,kBAAkB;QAC/B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;QAC/B,WAAW,EAAE,kBAAkB;KAChC,CAAC;IACF,CAAC,CAAC,YAAY,CAAC;QACb,WAAW,EAAE,kBAAkB;QAC/B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;QAC5B,WAAW,EAAE,kBAAkB;KAChC,CAAC;IACF,CAAC,CAAC,YAAY,CAAC;QACb,WAAW,EAAE,kBAAkB;QAC/B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;QAC9B,WAAW,EAAE,kBAAkB;KAChC,CAAC;IACF,kEAAkE;IAClE,mEAAmE;IACnE,CAAC,CAAC,YAAY,CAAC;QACb,WAAW,EAAE,kBAAkB;QAC/B,SAAS,EAAE,kBAAkB;QAC7B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC;KACzC,CAAC;IACF,CAAC,CAAC,YAAY,CAAC;QACb,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC;QACjC,WAAW,EAAE,kBAAkB;KAChC,CAAC;IACF,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IAC7C,CAAC,CAAC,YAAY,CAAC;QACb,KAAK,EAAE,kBAAkB;QACzB,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;KACtC,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,2BAA2B,GAAG,CAAC,CAAC,YAAY,CAAC;IACjD,KAAK,EAAE,uBAAuB;IAC9B,MAAM,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IACrC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACtC,QAAQ,EAAE,kBAAkB;IAC5B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CAC7C,CAAC,CAAC;AAEH,yEAAyE;AACzE,wEAAwE;AACxE,iBAAiB;AACjB,MAAM,aAAa,GAAG,CAAC,CAAC,YAAY,CAAC;IACnC,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,CAAC;CACV,CAAC,CAAC;AAEH,0EAA0E;AAC1E,wEAAwE;AACxE,kBAAkB;AAClB,MAAM,kBAAkB,GAAG,CAAC,CAAC,YAAY,CAAC;IACxC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,UAAU,EAAE,kBAAkB;CAC/B,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC,CAAC,YAAY,CAAC;IACnC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,EAAE;IACtC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,EAAE;IACtC,WAAW,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IAC1C,GAAG,EAAE,YAAY,CAAC,QAAQ,EAAE;IAC5B,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAChC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IACxD,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACrD,KAAK,EAAE,gBAAgB,CAAC,QAAQ,EAAE;IAClC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACzC,IAAI,EAAE,aAAa,CAAC,QAAQ,EAAE;IAC9B,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACzE,sBAAsB,EAAE,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC5E,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACtD,MAAM,EAAE,eAAe,CAAC,QAAQ,EAAE;IAClC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC;IAC7B,OAAO,EAAE,kBAAkB;CAC5B,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG;IAC5B,WAAW,EAAE,kBAAkB;IAC/B,aAAa,EAAE,kBAAkB;IACjC,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,WAAW,EAAE,kBAAkB;CAChC,CAAC;AAEF,+EAA+E;AAC/E,6EAA6E;AAC7E,+CAA+C;AAC/C,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC;IACjC,CAAC,CAAC,YAAY,CAAC;QACb,GAAG,qBAAqB;QACxB,UAAU,EAAE,kBAAkB;KAC/B,CAAC;IACF,CAAC,CAAC,YAAY,CAAC;QACb,GAAG,qBAAqB;QACxB,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,CAAC;aACN,YAAY,CAAC;YACZ,KAAK,EAAE,kBAAkB;YACzB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;SACxC,CAAC;aACD,QAAQ,EAAE;KACd,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC,CAAC,YAAY,CAAC;IACnC,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAClE,WAAW,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IAC1C,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE;IAC3C,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;IACtD,EAAE,EAAE,kBAAkB;IACtB,QAAQ,EAAE,CAAC;SACR,MAAM,EAAE;SACR,KAAK,CAAC,eAAe,EAAE,uCAAuC,CAAC;IAClE,SAAS,EAAE,kBAAkB;IAC7B,OAAO,EAAE,CAAC;SACP,YAAY,CAAC;QACZ,WAAW,EAAE,kBAAkB,CAAC,QAAQ,EAAE;QAC1C,KAAK,EAAE,kBAAkB,CAAC,QAAQ,EAAE;QACpC,aAAa,EAAE,kBAAkB,CAAC,QAAQ,EAAE;KAC7C,CAAC;SACD,QAAQ,EAAE;IACb,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACzD,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACrC,OAAO,EAAE,oBAAoB,CAAC,QAAQ,EAAE;IACxC,OAAO,EAAE,kBAAkB;IAC3B,KAAK,EAAE,kBAAkB;IACzB,MAAM,EAAE,eAAe,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IACxC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,iBAAiB,EAAE,aAAa,CAAC;CAClD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,YAAY,CAAC;IAC9C,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,OAAO,EAAE,kBAAkB;IAC3B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACnC,KAAK,EAAE,kBAAkB;IACzB,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAClC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC"}

package/dist/validation.d.ts

@@ -0,0 +1,64 @@
+import { type ValidationResult } from "@cfworker/json-schema";
+import { type UdlDocument } from "./schema.js";
+export type UdlIssueCode = "invalid_json" | "invalid_semantics" | "invalid_shape" | "invalid_utf8" | "resource_limit";
+export interface UdlIssue {
+    readonly code: UdlIssueCode;
+    readonly message: string;
+    readonly path: string;
+}
+export type UdlValidationResult = {
+    readonly ok: true;
+    readonly value: UdlDocument;
+} | {
+    readonly issues: readonly UdlIssue[];
+    readonly ok: false;
+};
+export declare class UdlError extends Error {
+    readonly issues: readonly UdlIssue[];
+    constructor(issues: readonly UdlIssue[]);
+}
+export declare function validateUdl(value: unknown): UdlValidationResult;
+export declare function assertValidUdl(value: unknown): UdlDocument;
+/**
+ * Applies the sealed UDL JSON Schema subset to one value. Both inputs pass the
+ * same deterministic admission budgets as a complete UDL document before the
+ * standard validator or sealed format validators run.
+ */
+export declare function validateUdlSchemaValue(schema: Readonly<Record<string, unknown>>, value: unknown): ValidationResult;
+/**
+ * One budget's worth of reference-shape classification: the memo of the answers
+ * already bought and what is left of the probe budget. What is guaranteed is
+ * that separate opens are independent — each {@link openReferenceShapeBudget}
+ * call returns its own memo and its own counter, and nothing resets either
+ * afterwards. Sharing is the caller's call, and both choices are made today:
+ * `validateUdl` opens one budget for its semantic pass, while the engine's
+ * `checkComposerDocument` deliberately runs its noun-composition and
+ * gate-deadlock passes on a single shared budget.
+ */
+export interface ReferenceShapeBudget {
+    /**
+     * Does this field schema identify exactly one noun family, by accepting that
+     * family's scoped id and refusing a foreign one? Answering compiles two JSON
+     * Schema validators, and the question is asked once per declared noun per
+     * reference gate — a product a document controls both factors of. The answer
+     * is pure in (schema, prefix), so each pair is paid for once per budget.
+     *
+     * Once {@link UDL_LIMITS.maxSchemaProbes} answers have been bought this
+     * budget stops buying: {@link exhausted} is true from that moment on, and a
+     * pair not already in the memo answers "no" without being asked (memoized
+     * pairs go on answering truthfully). Nothing in this type forces
+     * a caller to notice that: reading {@link exhausted} and refusing instead of
+     * trusting a dropped "no" is a convention each consumer keeps by hand. The
+     * two that exist keep it — `validateUdl` below, and the engine's
+     * `checkComposerDocument` — and a third would have to be written to.
+     */
+    accepts(schema: Readonly<Record<string, unknown>>, prefix: string): boolean;
+    /**
+     * True once the probe budget is spent — which is the moment the last answer
+     * is bought, before any answer has been dropped. A consumer that refuses
+     * here refuses a document that fit the budget exactly.
+     */
+    readonly exhausted: boolean;
+}
+export declare function openReferenceShapeBudget(): ReferenceShapeBudget;
+//# sourceMappingURL=validation.d.ts.map

package/dist/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../src/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,gBAAgB,EACtB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAGL,KAAK,WAAW,EAMjB,MAAM,aAAa,CAAC;AAKrB,MAAM,MAAM,YAAY,GACpB,cAAc,GACd,mBAAmB,GACnB,eAAe,GACf,cAAc,GACd,gBAAgB,CAAC;AAErB,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC;AAEjE,qBAAa,QAAS,SAAQ,KAAK;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC;gBAEzB,MAAM,EAAE,SAAS,QAAQ,EAAE;CAUxC;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,mBAAmB,CAiC/D;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,WAAW,CAI1D;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,KAAK,EAAE,OAAO,GACb,gBAAgB,CA2BlB;AA6qDD;;;;;;;;;GASG;AACH,MAAM,WAAW,oBAAoB;IACnC;;;;;;;;;;;;;;;OAeG;IACH,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAC5E;;;;OAIG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAeD,wBAAgB,wBAAwB,IAAI,oBAAoB,CAwB/D"}