@hyperscale0/udl 1.0.0-rc.1 → 1.0.123

package/dist/field-value.js

@@ -0,0 +1,85 @@
+import * as z from "zod";
+import { udlObjectIdSchema } from "./schema.js";
+const amount = z.string().regex(/^(0|[1-9][0-9]{0,17})$/);
+const text = z.string().min(1).max(2048);
+/** Values, rather than declarations. The same validator feeds forms and admission. */
+export function udlFieldValueSchema(field) {
+    let schema;
+    switch (field.type) {
+        case "money":
+            schema = amount
+                .refine((value) => /^(0|[1-9][0-9]{0,17})$/.test(value) &&
+                (field.minimum === undefined ||
+                    BigInt(value) >= BigInt(field.minimum)) &&
+                (field.maximum === undefined ||
+                    BigInt(value) <= BigInt(field.maximum)), "Money is outside its declared bounds")
+                .meta({
+                ...(field.minimum !== undefined
+                    ? { "x-udl-minimum": field.minimum }
+                    : {}),
+                ...(field.maximum !== undefined
+                    ? { "x-udl-maximum": field.maximum }
+                    : {}),
+            });
+            break;
+        case "account":
+            schema = text;
+            break;
+        case "ref":
+            schema = field.targetKind === "object" ? udlObjectIdSchema : text;
+            break;
+        case "date":
+            schema = z.iso.datetime({ offset: true });
+            break;
+        case "duration":
+            schema = z.number().int().safe().positive();
+            break;
+        case "text": {
+            let value = z
+                .string()
+                .min(field.minLength ?? 1)
+                .max(field.maxLength ?? 2048);
+            if (field.pattern)
+                value = value.regex(new RegExp(field.pattern));
+            schema = value;
+            break;
+        }
+        case "integer": {
+            let value = z.number().int().safe();
+            if (field.minimum !== undefined)
+                value = value.min(field.minimum);
+            if (field.maximum !== undefined)
+                value = value.max(field.maximum);
+            schema = value;
+            break;
+        }
+        case "percent":
+            schema = z.number().int().min(0).max(10000);
+            break;
+        case "boolean":
+            schema = z.boolean();
+            break;
+        case "enum":
+            schema = z.enum(field.values);
+            break;
+        case "list": {
+            const item = field.item === "money"
+                ? amount
+                : field.item === "date"
+                    ? z.iso.datetime({ offset: true })
+                    : field.item === "integer"
+                        ? z.number().int().safe()
+                        : field.item === "ref" && field.targetKind === "object"
+                            ? udlObjectIdSchema
+                            : text;
+            schema = z.array(item).max(field.maxItems);
+            break;
+        }
+    }
+    if ("value" in field && field.value !== undefined)
+        schema = z.literal(field.value);
+    if (field.description)
+        schema = schema.describe(field.description);
+    return schema;
+}
+//# sourceMappingURL=field-value.js.map

package/dist/field-value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-value.js","sourceRoot":"","sources":["../src/field-value.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAiB,MAAM,aAAa,CAAC;AAE/D,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;AAC1D,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAEzC,sFAAsF;AACtF,MAAM,UAAU,mBAAmB,CAAC,KAAe;IACjD,IAAI,MAAiB,CAAC;IACtB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO;YACV,MAAM,GAAG,MAAM;iBACZ,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CACR,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC;gBACpC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;oBAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBACzC,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;oBAC1B,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAC3C,sCAAsC,CACvC;iBACA,IAAI,CAAC;gBACJ,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;oBAC7B,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,OAAO,EAAE;oBACpC,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;oBAC7B,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,OAAO,EAAE;oBACpC,CAAC,CAAC,EAAE,CAAC;aACR,CAAC,CAAC;YACL,MAAM;QACR,KAAK,SAAS;YACZ,MAAM,GAAG,IAAI,CAAC;YACd,MAAM;QACR,KAAK,KAAK;YACR,MAAM,GAAG,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC;YAClE,MAAM;QACR,KAAK,MAAM;YACT,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1C,MAAM;QACR,KAAK,UAAU;YACb,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;YAC5C,MAAM;QACR,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,KAAK,GAAG,CAAC;iBACV,MAAM,EAAE;iBACR,GAAG,CAAC,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC;iBACzB,GAAG,CAAC,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;YAChC,IAAI,KAAK,CAAC,OAAO;gBAAE,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAClE,MAAM,GAAG,KAAK,CAAC;YACf,MAAM;QACR,CAAC;QACD,KAAK,SAAS,EAAE,CAAC;YACf,IAAI,KAAK,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;YACpC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;gBAAE,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAClE,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;gBAAE,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAClE,MAAM,GAAG,KAAK,CAAC;YACf,MAAM;QACR,CAAC;QACD,KAAK,SAAS;YACZ,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC5C,MAAM;QACR,KAAK,SAAS;YACZ,MAAM,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;YACrB,MAAM;QACR,KAAK,MAAM;YACT,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC9B,MAAM;QACR,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,GACR,KAAK,CAAC,IAAI,KAAK,OAAO;gBACpB,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;oBACrB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;oBAClC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;wBACxB,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE;wBACzB,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,UAAU,KAAK,QAAQ;4BACrD,CAAC,CAAC,iBAAiB;4BACnB,CAAC,CAAC,IAAI,CAAC;YACjB,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAC/C,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,KAAK,CAAC,WAAW;QAAE,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/finance.d.ts

@@ -1,57 +1,14 @@
-import type { UdlBinding } from "./schema.js";
-import type { UdlIssueCode } from "./diagnostics.js";
+import type { UdlDocument, UdlInstrument } from "./schema.js";
 export interface FinanceIssue {
-    readonly code: UdlIssueCode;
-    readonly message: string;
-    readonly path: readonly PropertyKey[];
-}
-export interface FinanceOptions {
-    readonly penaltyMayBeNonzero?: boolean;
-}
-interface FinancialStep {
-    readonly operation: string;
-    readonly bind: Readonly<Record<string, UdlBinding>>;
-    readonly capture?: Readonly<Record<string, string>> | undefined;
-}
-interface FinancialMove extends FinancialStep {
-    readonly key: string;
-}
-interface FinancialInstrument {
-    readonly lifecycle: {
-        readonly initial: string;
-        readonly states: readonly string[];
-        readonly transitions: Readonly<Record<string, {
-            readonly from: readonly string[];
-            readonly to: string;
-        }>>;
+    path: string;
+    message: string;
+    stranded?: {
+        state: string;
+        accounts: string[];
+        actions: string[];
+        paths: Record<string, string[]>;
     };
-    readonly parties?: {
-        readonly beneficiary?: string | undefined;
-        readonly payer?: string | undefined;
-        readonly subjectHolder?: string | undefined;
-    } | undefined;
-    readonly actions: Readonly<Record<string, {
-        readonly commit?: string | undefined;
-        readonly moves?: readonly FinancialMove[];
-        readonly quote?: {
-            readonly baseField: string;
-            readonly chargeRef: string;
-            readonly charges: readonly {
-                readonly bps: number;
-            }[];
-            readonly netRef: string;
-        } | undefined;
-        readonly steps: readonly FinancialStep[];
-    }>>;
 }
-/**
- * One financial typestate owner for canonical UDL and static instrument contracts.
- * It proves a tracked escrow account holds an exact set of funded amounts,
- * models held transfers through reserve/post/void, consumes every direct
- * debit piece by piece, and makes the quoted refund's sole remainder an
- * exactly-once penalty payout.
- */
-export declare function analyzeInstrumentFinance(instrument: FinancialInstrument, options?: FinanceOptions): readonly FinanceIssue[];
-export declare function financeAdmissionProblem(instrument: FinancialInstrument): string | undefined;
-export {};
+/** Join loop balances conservatively; a balance equality proves an unknown balance empty. */
+export declare function analyzeInstrumentFinance(instrument: UdlInstrument, document?: UdlDocument): FinanceIssue[];
 //# sourceMappingURL=finance.d.ts.map

package/dist/finance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"finance.d.ts","sourceRoot":"","sources":["../src/finance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;CACxC;AAED,UAAU,aAAa;IACrB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACpD,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;CACjE;AAED,UAAU,aAAc,SAAQ,aAAa;IAC3C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,UAAU,mBAAmB;IAC3B,QAAQ,CAAC,SAAS,EAAE;QAClB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QACnC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAC5B,MAAM,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;YAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;SAAE,CAAC,CAC1E,CAAC;KACH,CAAC;IACF,QAAQ,CAAC,OAAO,CAAC,EACb;QACE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACpC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;KAC7C,GACD,SAAS,CAAC;IACd,QAAQ,CAAC,OAAO,EAAE,QAAQ,CACxB,MAAM,CACJ,MAAM,EACN;QACE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;QACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;QAC1C,QAAQ,CAAC,KAAK,CAAC,EACX;YACE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;YAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;YAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS;gBAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;aAAE,EAAE,CAAC;YACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;SACzB,GACD,SAAS,CAAC;QACd,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;KAC1C,CACF,CACF,CAAC;CACH;AAuED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,mBAAmB,EAC/B,OAAO,GAAE,cAAmB,GAC3B,SAAS,YAAY,EAAE,CA4JzB;AAED,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,GAC9B,MAAM,GAAG,SAAS,CAgCpB"}
+{"version":3,"file":"finance.d.ts","sourceRoot":"","sources":["../src/finance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,WAAW,EACX,aAAa,EAEd,MAAM,aAAa,CAAC;AAErB,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE;QACT,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,MAAM,EAAE,CAAC;QACnB,OAAO,EAAE,MAAM,EAAE,CAAC;QAClB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;KACjC,CAAC;CACH;AAmCD,6FAA6F;AAC7F,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,aAAa,EACzB,QAAQ,CAAC,EAAE,WAAW,GACrB,YAAY,EAAE,CAqThB"}