@hyperscale0/udl 1.0.0-alpha.1

package/dist/index.d.ts

@@ -0,0 +1,11 @@
+export { canonicalizeUdl, parseUdl } from "./parser.js";
+export { serializeUdl } from "./canonical.js";
+export { fixedIsoDurationMs } from "./duration.js";
+export { analyzeNounFinance, type FinanceIssue, type FinanceOptions, } from "./finance.js";
+export { diffNounEvolution, diffUdlEvolution, snapshotUdlNoun, } from "./evolution.js";
+export type { EvolutionFieldSnapshot, EvolutionMoveSnapshot, EvolutionStepSnapshot, EvolutionTransitionSnapshot, EvolutionVerbSnapshot, NounEvolutionSnapshot, } from "./evolution.js";
+export { UDL_FORMAT_VERSION, udlDocumentSchema, udlKernelOperationSchema, } from "./schema.js";
+export type { UdlAggregate, UdlAggregateCondition, UdlBinding, UdlDeclaredValuePolicy, UdlDecision, UdlDocument, UdlDue, UdlExample, UdlGate, UdlKernelOperation, UdlLifecycle, UdlLifecycleTransition, UdlNoun, UdlNounSubject, UdlStep, UdlSubject, UdlUnwind, UdlVerb, } from "./schema.js";
+export { assertValidUdl, openReferenceShapeBudget, UdlError, validateUdl, validateUdlSchemaValue, } from "./validation.js";
+export type { ReferenceShapeBudget, UdlIssue, UdlIssueCode, UdlValidationResult, } from "./validation.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EACL,kBAAkB,EAClB,KAAK,YAAY,EACjB,KAAK,cAAc,GACpB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,GAChB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,sBAAsB,EACtB,qBAAqB,EACrB,qBAAqB,EACrB,2BAA2B,EAC3B,qBAAqB,EACrB,qBAAqB,GACtB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,GACzB,MAAM,aAAa,CAAC;AACrB,YAAY,EACV,YAAY,EACZ,qBAAqB,EACrB,UAAU,EACV,sBAAsB,EACtB,WAAW,EACX,WAAW,EACX,MAAM,EACN,UAAU,EACV,OAAO,EACP,kBAAkB,EAClB,YAAY,EACZ,sBAAsB,EACtB,OAAO,EACP,cAAc,EACd,OAAO,EACP,UAAU,EACV,SAAS,EACT,OAAO,GACR,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,cAAc,EACd,wBAAwB,EACxB,QAAQ,EACR,WAAW,EACX,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,oBAAoB,EACpB,QAAQ,EACR,YAAY,EACZ,mBAAmB,GACpB,MAAM,iBAAiB,CAAC"}

package/dist/index.js

@@ -0,0 +1,8 @@
+export { canonicalizeUdl, parseUdl } from "./parser.js";
+export { serializeUdl } from "./canonical.js";
+export { fixedIsoDurationMs } from "./duration.js";
+export { analyzeNounFinance, } from "./finance.js";
+export { diffNounEvolution, diffUdlEvolution, snapshotUdlNoun, } from "./evolution.js";
+export { UDL_FORMAT_VERSION, udlDocumentSchema, udlKernelOperationSchema, } from "./schema.js";
+export { assertValidUdl, openReferenceShapeBudget, UdlError, validateUdl, validateUdlSchemaValue, } from "./validation.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,EACL,kBAAkB,GAGnB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,eAAe,GAChB,MAAM,gBAAgB,CAAC;AASxB,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,GACzB,MAAM,aAAa,CAAC;AAqBrB,OAAO,EACL,cAAc,EACd,wBAAwB,EACxB,QAAQ,EACR,WAAW,EACX,sBAAsB,GACvB,MAAM,iBAAiB,CAAC"}

package/dist/limits.d.ts

@@ -0,0 +1,33 @@
+export declare const UDL_LIMITS: Readonly<{
+    financeAccounts: 16;
+    financeEffects: 128;
+    financePathVariants: 256;
+    financeStates: 32;
+    financeTransitionEdges: 128;
+    financeTransitions: 64;
+    financeVerbs: 64;
+    financeWork: 4096;
+    maxDepth: 24;
+    maxKeyLength: 128;
+    maxNodes: 10000;
+    maxPatternLength: 320;
+    /**
+     * Upper bound on the match attempts a document-authored `pattern` can force
+     * the backtracking engine to explore at its single anchored start position.
+     * Every admitted pattern's search space is multiplied out at admission
+     * (alternation branches x optional atoms x variable-quantifier spans), so
+     * worst-case matching cost is this budget times the pattern length, not an
+     * exponential in the document author's choice of grammar.
+     */
+    maxPatternPaths: 4096;
+    /**
+     * Reference-shape classifications one `ReferenceShapeBudget` may buy. Each
+     * one compiles a JSON Schema validator, and a document controls both factors
+     * of the nouns x gate-fields product that asks for them.
+     */
+    maxSchemaProbes: 2048;
+    maxSourceBytes: number;
+    maxStringLength: 2048;
+    maxTotalStringLength: number;
+}>;
+//# sourceMappingURL=limits.d.ts.map

package/dist/limits.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"limits.d.ts","sourceRoot":"","sources":["../src/limits.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,UAAU;;;;;;;;;;;;;IAarB;;;;;;;OAOG;;IAEH;;;;OAIG;;;;;EAKH,CAAC"}

package/dist/limits.js

@@ -0,0 +1,33 @@
+export const UDL_LIMITS = Object.freeze({
+    financeAccounts: 16,
+    financeEffects: 128,
+    financePathVariants: 256,
+    financeStates: 32,
+    financeTransitionEdges: 128,
+    financeTransitions: 64,
+    financeVerbs: 64,
+    financeWork: 4_096,
+    maxDepth: 24,
+    maxKeyLength: 128,
+    maxNodes: 10_000,
+    maxPatternLength: 320,
+    /**
+     * Upper bound on the match attempts a document-authored `pattern` can force
+     * the backtracking engine to explore at its single anchored start position.
+     * Every admitted pattern's search space is multiplied out at admission
+     * (alternation branches x optional atoms x variable-quantifier spans), so
+     * worst-case matching cost is this budget times the pattern length, not an
+     * exponential in the document author's choice of grammar.
+     */
+    maxPatternPaths: 4_096,
+    /**
+     * Reference-shape classifications one `ReferenceShapeBudget` may buy. Each
+     * one compiles a JSON Schema validator, and a document controls both factors
+     * of the nouns x gate-fields product that asks for them.
+     */
+    maxSchemaProbes: 2_048,
+    maxSourceBytes: 256 * 1_024,
+    maxStringLength: 2_048,
+    maxTotalStringLength: 256 * 1_024,
+});
+//# sourceMappingURL=limits.js.map

package/dist/limits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"limits.js","sourceRoot":"","sources":["../src/limits.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,eAAe,EAAE,EAAE;IACnB,cAAc,EAAE,GAAG;IACnB,mBAAmB,EAAE,GAAG;IACxB,aAAa,EAAE,EAAE;IACjB,sBAAsB,EAAE,GAAG;IAC3B,kBAAkB,EAAE,EAAE;IACtB,YAAY,EAAE,EAAE;IAChB,WAAW,EAAE,KAAK;IAClB,QAAQ,EAAE,EAAE;IACZ,YAAY,EAAE,GAAG;IACjB,QAAQ,EAAE,MAAM;IAChB,gBAAgB,EAAE,GAAG;IACrB;;;;;;;OAOG;IACH,eAAe,EAAE,KAAK;IACtB;;;;OAIG;IACH,eAAe,EAAE,KAAK;IACtB,cAAc,EAAE,GAAG,GAAG,KAAK;IAC3B,eAAe,EAAE,KAAK;IACtB,oBAAoB,EAAE,GAAG,GAAG,KAAK;CAClC,CAAC,CAAC"}

package/dist/parser.d.ts

@@ -0,0 +1,4 @@
+import type { UdlDocument } from "./schema.js";
+export declare function parseUdl(source: string | Uint8Array): UdlDocument;
+export declare function canonicalizeUdl(source: string | Uint8Array): string;
+//# sourceMappingURL=parser.d.ts.map

package/dist/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAK/C,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,GAAG,WAAW,CAmBjE;AAmBD,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,GAAG,MAAM,CAEnE"}

package/dist/parser.js

@@ -0,0 +1,54 @@
+import { serializeUdl } from "./canonical.js";
+import { UDL_LIMITS } from "./limits.js";
+import { assertValidUdl, UdlError } from "./validation.js";
+const utf8Decoder = new TextDecoder("utf-8", { fatal: true });
+export function parseUdl(source) {
+    const sourceBytes = typeof source === "string"
+        ? source.length > UDL_LIMITS.maxSourceBytes
+            ? source.length
+            : new TextEncoder().encode(source).byteLength
+        : source.byteLength;
+    if (sourceBytes > UDL_LIMITS.maxSourceBytes) {
+        throw new UdlError([
+            {
+                code: "resource_limit",
+                message: `UDL source exceeds ${UDL_LIMITS.maxSourceBytes} bytes`,
+                path: "$",
+            },
+        ]);
+    }
+    return parseUdlText(typeof source === "string" ? source : decodeUdlBytes(source));
+}
+function parseUdlText(source) {
+    let value;
+    try {
+        value = JSON.parse(source);
+    }
+    catch (error) {
+        throw new UdlError([
+            {
+                code: "invalid_json",
+                message: error instanceof Error ? error.message : "could not parse JSON",
+                path: "$",
+            },
+        ]);
+    }
+    return assertValidUdl(value);
+}
+export function canonicalizeUdl(source) {
+    return serializeUdl(parseUdl(source));
+}
+function decodeUdlBytes(source) {
+    try {
+        return utf8Decoder.decode(source);
+    }
+    catch {
+        const issue = {
+            code: "invalid_utf8",
+            message: "UDL bytes must be valid UTF-8",
+            path: "$",
+        };
+        throw new UdlError([issue]);
+    }
+}
+//# sourceMappingURL=parser.js.map

package/dist/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAiB,MAAM,iBAAiB,CAAC;AAE1E,MAAM,WAAW,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAE9D,MAAM,UAAU,QAAQ,CAAC,MAA2B;IAClD,MAAM,WAAW,GACf,OAAO,MAAM,KAAK,QAAQ;QACxB,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,UAAU,CAAC,cAAc;YACzC,CAAC,CAAC,MAAM,CAAC,MAAM;YACf,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,UAAU;QAC/C,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;IACxB,IAAI,WAAW,GAAG,UAAU,CAAC,cAAc,EAAE,CAAC;QAC5C,MAAM,IAAI,QAAQ,CAAC;YACjB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,sBAAsB,UAAU,CAAC,cAAc,QAAQ;gBAChE,IAAI,EAAE,GAAG;aACV;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,YAAY,CACjB,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAC7D,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,MAAc;IAClC,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAY,CAAC;IACxC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,QAAQ,CAAC;YACjB;gBACE,IAAI,EAAE,cAAc;gBACpB,OAAO,EACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,sBAAsB;gBACjE,IAAI,EAAE,GAAG;aACV;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAA2B;IACzD,OAAO,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,cAAc,CAAC,MAAkB;IACxC,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,KAAK,GAAa;YACtB,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,+BAA+B;YACxC,IAAI,EAAE,GAAG;SACV,CAAC;QACF,MAAM,IAAI,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC"}