@databehave/schema 0.1.4 → 0.3.0

package/dist/standard/validation.d.ts

@@ -0,0 +1,44 @@
+import type { StandardSchemaNode } from '../foundation/ir.js';
+import type { ValidationContext } from '../runtime/contracts.js';
+/** Standard kinds retain their required-value diagnostics without constraining external kinds. */
+export declare const validateRequiredValue: (node: StandardSchemaNode, value: unknown, context: ValidationContext, next: () => unknown) => unknown;
+/** Standard validators; composites always recurse through the active runtime. */
+export declare const kindValidators: {
+    string: (node: Extract<StandardSchemaNode, {
+        kind: "string";
+    }>, value: unknown, context: ValidationContext) => unknown;
+    number: (node: Extract<StandardSchemaNode, {
+        kind: "number";
+    }>, value: unknown, context: ValidationContext) => unknown;
+    decimal: (node: Extract<StandardSchemaNode, {
+        kind: "decimal";
+    }>, value: unknown, context: ValidationContext) => unknown;
+    boolean: (_node: Extract<StandardSchemaNode, {
+        kind: "boolean";
+    }>, value: unknown, context: ValidationContext) => unknown;
+    null: (_node: Extract<StandardSchemaNode, {
+        kind: "null";
+    }>, value: unknown, context: ValidationContext) => unknown;
+    literal: (node: Extract<StandardSchemaNode, {
+        kind: "literal";
+    }>, value: unknown, context: ValidationContext) => unknown;
+    enum: (node: Extract<StandardSchemaNode, {
+        kind: "enum";
+    }>, value: unknown, context: ValidationContext) => unknown;
+    array: (node: Extract<StandardSchemaNode, {
+        kind: "array";
+    }>, value: unknown, context: ValidationContext) => unknown;
+    object: (node: Extract<StandardSchemaNode, {
+        kind: "object";
+    }>, value: unknown, context: ValidationContext) => unknown;
+    tuple: (node: Extract<StandardSchemaNode, {
+        kind: "tuple";
+    }>, value: unknown, context: ValidationContext) => unknown;
+    union: (node: Extract<StandardSchemaNode, {
+        kind: "union";
+    }>, value: unknown, context: ValidationContext) => unknown;
+    discriminated: (node: Extract<StandardSchemaNode, {
+        kind: "discriminated";
+    }>, value: unknown, context: ValidationContext) => unknown;
+};
+//# sourceMappingURL=validation.d.ts.map

package/dist/standard/validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../src/standard/validation.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAC7D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAEhE,kGAAkG;AAClG,eAAO,MAAM,qBAAqB,GAChC,MAAM,kBAAkB,EACxB,OAAO,OAAO,EACd,SAAS,iBAAiB,EAC1B,MAAM,MAAM,OAAO,KAClB,OAsBF,CAAA;AAED,iFAAiF;AACjF,eAAO,MAAM,cAAc;mBAEjB,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAA;KAAE,CAAC,SAC9C,OAAO,WACL,iBAAiB,KACzB,OAAO;mBAuCF,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAA;KAAE,CAAC,SAC9C,OAAO,WACL,iBAAiB,KACzB,OAAO;oBAuCF,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC,SAC/C,OAAO,WACL,iBAAiB,KACzB,OAAO;qBAiCD,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC,SAChD,OAAO,WACL,iBAAiB,KACzB,OAAO;kBAcD,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,SAC7C,OAAO,WACL,iBAAiB,KACzB,OAAO;oBAcF,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC,SAC/C,OAAO,WACL,iBAAiB,KACzB,OAAO;iBAaF,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,SAC5C,OAAO,WACL,iBAAiB,KACzB,OAAO;kBAaF,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,SAC7C,OAAO,WACL,iBAAiB,KACzB,OAAO;mBAqCF,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,QAAQ,CAAA;KAAE,CAAC,SAC9C,OAAO,WACL,iBAAiB,KACzB,OAAO;kBAqCF,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,SAC7C,OAAO,WACL,iBAAiB,KACzB,OAAO;kBAqBF,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,SAC7C,OAAO,WACL,iBAAiB,KACzB,OAAO;0BA6BF,OAAO,CAAC,kBAAkB,EAAE;QAAE,IAAI,EAAE,eAAe,CAAA;KAAE,CAAC,SACrD,OAAO,WACL,iBAAiB,KACzB,OAAO;CAyCX,CAAA"}

package/dist/standard/validation.js

@@ -0,0 +1,353 @@
+/** Standard kinds retain their required-value diagnostics without constraining external kinds. */
+export const validateRequiredValue = (node, value, context, next) => {
+    if (node.kind === 'union')
+        return next();
+    if (value === undefined) {
+        context.issues.push({
+            path: context.path,
+            code: 'required',
+            message: 'required',
+            expected: context.describe(node),
+        });
+        return undefined;
+    }
+    if (value === null && node.kind !== 'null' && !(node.kind === 'literal' && node.value === null)) {
+        context.issues.push({
+            path: context.path,
+            code: 'unexpected-null',
+            message: 'unexpected null',
+            expected: context.describe(node),
+            received: null,
+        });
+        return null;
+    }
+    return next();
+};
+/** Standard validators; composites always recurse through the active runtime. */
+export const kindValidators = {
+    string: (node, value, context) => {
+        const { path, issues } = context;
+        if (typeof value !== 'string') {
+            issues.push({
+                path,
+                code: 'string.expected',
+                message: 'expected string',
+                expected: 'string',
+                received: value,
+            });
+            return value;
+        }
+        if (node.min !== undefined && value.length < node.min) {
+            issues.push({
+                path,
+                code: 'string.too-short',
+                message: `length < min ${node.min}`,
+                received: value,
+            });
+        }
+        if (node.max !== undefined && value.length > node.max) {
+            issues.push({
+                path,
+                code: 'string.too-long',
+                message: `length > max ${node.max}`,
+                received: value,
+            });
+        }
+        if (node.pattern !== undefined && !new RegExp(node.pattern).test(value)) {
+            issues.push({
+                path,
+                code: 'string.pattern-mismatch',
+                message: `does not match /${node.pattern}/`,
+                received: value,
+            });
+        }
+        return value;
+    },
+    number: (node, value, context) => {
+        const { path, issues } = context;
+        if (typeof value !== 'number' || Number.isNaN(value)) {
+            issues.push({
+                path,
+                code: 'number.expected',
+                message: 'expected number',
+                expected: 'number',
+                received: value,
+            });
+            return value;
+        }
+        if (node.int && !Number.isInteger(value)) {
+            issues.push({
+                path,
+                code: 'number.not-integer',
+                message: 'expected integer',
+                received: value,
+            });
+        }
+        if (node.min !== undefined && value < node.min) {
+            issues.push({
+                path,
+                code: 'number.too-small',
+                message: `< min ${node.min}`,
+                received: value,
+            });
+        }
+        if (node.max !== undefined && value > node.max) {
+            issues.push({
+                path,
+                code: 'number.too-large',
+                message: `> max ${node.max}`,
+                received: value,
+            });
+        }
+        return value;
+    },
+    decimal: (node, value, context) => {
+        const { path, issues } = context;
+        if (typeof value !== 'string') {
+            issues.push({
+                path,
+                code: 'decimal.expected',
+                message: 'expected decimal string',
+                expected: 'string',
+                received: value,
+            });
+            return value;
+        }
+        if (!/^-?\d+(\.\d+)?$/.test(value)) {
+            issues.push({
+                path,
+                code: 'decimal.not-numeric',
+                message: 'not a numeric string',
+                received: value,
+            });
+        }
+        else {
+            const [, frac = ''] = value.split('.');
+            if (frac.length > node.scale) {
+                issues.push({
+                    path,
+                    code: 'decimal.scale-exceeded',
+                    message: `scale ${frac.length} exceeds declared scale ${node.scale}`,
+                    received: value,
+                });
+            }
+        }
+        return value;
+    },
+    boolean: (_node, value, context) => {
+        const { path, issues } = context;
+        if (typeof value !== 'boolean') {
+            issues.push({
+                path,
+                code: 'boolean.expected',
+                message: 'expected boolean',
+                expected: 'boolean',
+                received: value,
+            });
+        }
+        return value;
+    },
+    null: (_node, value, context) => {
+        const { path, issues } = context;
+        if (value !== null) {
+            issues.push({
+                path,
+                code: 'null.expected',
+                message: 'expected null',
+                expected: 'null',
+                received: value,
+            });
+        }
+        return value;
+    },
+    literal: (node, value, context) => {
+        const { path, issues } = context;
+        if (value !== node.value) {
+            issues.push({
+                path,
+                code: 'literal.not-equal',
+                message: `expected literal ${JSON.stringify(node.value)}`,
+                received: value,
+            });
+        }
+        return value;
+    },
+    enum: (node, value, context) => {
+        const { path, issues } = context;
+        if (!node.values.includes(value)) {
+            issues.push({
+                path,
+                code: 'enum.not-member',
+                message: `not in enum [${node.values.join(', ')}]`,
+                received: value,
+            });
+        }
+        return value;
+    },
+    array: (node, value, context) => {
+        const { path, issues, root, parent, check } = context;
+        if (!Array.isArray(value)) {
+            issues.push({
+                path,
+                code: 'array.expected',
+                message: 'expected array',
+                expected: 'array',
+                received: value,
+            });
+            return value;
+        }
+        if (node.length !== undefined && value.length !== node.length) {
+            issues.push({
+                path,
+                code: 'array.length-mismatch',
+                message: `length ${value.length} ≠ required ${node.length}`,
+                received: value,
+            });
+        }
+        if (node.minLength !== undefined && value.length < node.minLength) {
+            issues.push({
+                path,
+                code: 'array.too-short',
+                message: `length < minLength ${node.minLength}`,
+            });
+        }
+        if (node.maxLength !== undefined && value.length > node.maxLength) {
+            issues.push({
+                path,
+                code: 'array.too-long',
+                message: `length > maxLength ${node.maxLength}`,
+            });
+        }
+        return value.map((item, i) => check(node.item, item, [...path, i], issues, root, parent));
+    },
+    object: (node, value, context) => {
+        const { path, issues, root, check } = context;
+        if (value === null || typeof value !== 'object' || Array.isArray(value)) {
+            issues.push({
+                path,
+                code: 'object.expected',
+                message: 'expected object',
+                expected: 'object',
+                received: value,
+            });
+            return value;
+        }
+        const out = {};
+        const obj = value;
+        const nextRoot = root ?? out;
+        // Two-pass: non-derived first so derived can see them in `parent`.
+        const keys = Object.keys(node.fields);
+        const derivedKeys = [];
+        for (const key of keys) {
+            const field = node.fields[key];
+            if (context.isDeferred(field)) {
+                derivedKeys.push(key);
+                continue;
+            }
+            const raw = obj[key];
+            const checked = check(field, raw, [...path, key], issues, nextRoot, out);
+            if (checked !== undefined || field.mods?.optional !== true)
+                out[key] = checked;
+        }
+        for (const key of derivedKeys) {
+            const field = node.fields[key];
+            const raw = obj[key];
+            const checked = check(field, raw, [...path, key], issues, nextRoot, out);
+            if (checked !== undefined || field.mods?.optional !== true)
+                out[key] = checked;
+        }
+        return out;
+    },
+    tuple: (node, value, context) => {
+        const { path, issues, root, parent, check } = context;
+        if (!Array.isArray(value)) {
+            issues.push({
+                path,
+                code: 'tuple.expected-array',
+                message: 'expected tuple (array)',
+                received: value,
+            });
+            return value;
+        }
+        if (value.length !== node.items.length) {
+            issues.push({
+                path,
+                code: 'tuple.length-mismatch',
+                message: `tuple length ${value.length} ≠ ${node.items.length}`,
+            });
+        }
+        return node.items.map((item, i) => check(item, value[i], [...path, i], issues, root, parent));
+    },
+    union: (node, value, context) => {
+        const { path, issues, root, parent, check } = context;
+        // Try each option; succeed on the first with zero issues. When every
+        // option fails, surface the issues from the branch that came closest
+        // (fewest issues) so debugging an unmatched union doesn't degrade
+        // to a single opaque "matches none" message.
+        let bestIssues;
+        let bestValue = value;
+        for (const opt of node.options) {
+            const subIssues = [];
+            const v = check(opt, value, path, subIssues, root, parent);
+            if (subIssues.length === 0)
+                return v;
+            if (bestIssues === undefined || subIssues.length < bestIssues.length) {
+                bestIssues = subIssues;
+                bestValue = v;
+            }
+        }
+        issues.push({
+            path,
+            code: 'union.no-match',
+            message: `value matches none of the union options`,
+            received: value,
+        });
+        if (bestIssues) {
+            for (const sub of bestIssues)
+                issues.push(sub);
+        }
+        return bestValue;
+    },
+    discriminated: (node, value, context) => {
+        const { path, issues, root, parent, check } = context;
+        if (typeof value !== 'object' || value === null || Array.isArray(value)) {
+            issues.push({
+                path,
+                code: 'discriminated.expected-object',
+                message: 'expected object (discriminated union)',
+                expected: `object{${node.key}: ...}`,
+                received: value,
+            });
+            return value;
+        }
+        const tagVal = value[node.key];
+        if (typeof tagVal !== 'string' && typeof tagVal !== 'number' && typeof tagVal !== 'boolean') {
+            issues.push({
+                path: [...path, node.key],
+                code: 'discriminated.missing-tag',
+                message: `missing discriminator "${node.key}"`,
+                expected: Object.keys(node.branches)
+                    .map((t) => JSON.stringify(t))
+                    .join(' | '),
+                received: tagVal,
+            });
+            return value;
+        }
+        const tag = String(tagVal);
+        const branch = node.branches[tag];
+        if (branch === undefined) {
+            issues.push({
+                path: [...path, node.key],
+                code: 'discriminated.unknown-tag',
+                message: `unknown discriminator value ${JSON.stringify(tagVal)}`,
+                expected: Object.keys(node.branches)
+                    .map((t) => JSON.stringify(t))
+                    .join(' | '),
+                received: tagVal,
+            });
+            return value;
+        }
+        return check(branch, value, path, issues, root, parent);
+    },
+};
+//# sourceMappingURL=validation.js.map

package/dist/standard/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../src/standard/validation.ts"],"names":[],"mappings":"AAIA,kGAAkG;AAClG,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,IAAwB,EACxB,KAAc,EACd,OAA0B,EAC1B,IAAmB,EACV,EAAE;IACX,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,EAAE,CAAA;IACxC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;YAClB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,UAAU;YACnB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;SACjC,CAAC,CAAA;QACF,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,EAAE,CAAC;QAChG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;YAClB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,iBAAiB;YAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;YAChC,QAAQ,EAAE,IAAI;SACf,CAAC,CAAA;QACF,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,IAAI,EAAE,CAAA;AACf,CAAC,CAAA;AAED,iFAAiF;AACjF,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,MAAM,EAAE,CACN,IAAqD,EACrD,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;QAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,iBAAiB;gBAC1B,QAAQ,EAAE,QAAQ;gBAClB,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;YACF,OAAO,KAAK,CAAA;QACd,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,gBAAgB,IAAI,CAAC,GAAG,EAAE;gBACnC,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,gBAAgB,IAAI,CAAC,GAAG,EAAE;gBACnC,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,mBAAmB,IAAI,CAAC,OAAO,GAAG;gBAC3C,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,EAAE,CACN,IAAqD,EACrD,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;QAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,iBAAiB;gBAC1B,QAAQ,EAAE,QAAQ;gBAClB,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;YACF,OAAO,KAAK,CAAA;QACd,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,kBAAkB;gBAC3B,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,SAAS,IAAI,CAAC,GAAG,EAAE;gBAC5B,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,SAAS,IAAI,CAAC,GAAG,EAAE;gBAC5B,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,EAAE,CACP,IAAsD,EACtD,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;QAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,yBAAyB;gBAClC,QAAQ,EAAE,QAAQ;gBAClB,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;YACF,OAAO,KAAK,CAAA;QACd,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,sBAAsB;gBAC/B,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YACtC,IAAI,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI;oBACJ,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,SAAS,IAAI,CAAC,MAAM,2BAA2B,IAAI,CAAC,KAAK,EAAE;oBACpE,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,EAAE,CACP,KAAuD,EACvD,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;QAChC,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,kBAAkB;gBAC3B,QAAQ,EAAE,SAAS;gBACnB,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,EAAE,CACJ,KAAoD,EACpD,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;QAChC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,eAAe;gBACxB,QAAQ,EAAE,MAAM;gBAChB,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,OAAO,EAAE,CACP,IAAsD,EACtD,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;QAChC,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,oBAAoB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;gBACzD,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,EAAE,CACJ,IAAmD,EACnD,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;QAChC,IAAI,CAAE,IAAI,CAAC,MAA6B,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,gBAAgB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBAClD,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IACD,KAAK,EAAE,CACL,IAAoD,EACpD,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAA;QACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,gBAAgB;gBACzB,QAAQ,EAAE,OAAO;gBACjB,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;YACF,OAAO,KAAK,CAAA;QACd,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAC9D,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,UAAU,KAAK,CAAC,MAAM,eAAe,IAAI,CAAC,MAAM,EAAE;gBAC3D,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,sBAAsB,IAAI,CAAC,SAAS,EAAE;aAChD,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,sBAAsB,IAAI,CAAC,SAAS,EAAE;aAChD,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;IAC3F,CAAC;IACD,MAAM,EAAE,CACN,IAAqD,EACrD,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,CAAA;QAC7C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,iBAAiB;gBAC1B,QAAQ,EAAE,QAAQ;gBAClB,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;YACF,OAAO,KAAK,CAAA;QACd,CAAC;QACD,MAAM,GAAG,GAA4B,EAAE,CAAA;QACvC,MAAM,GAAG,GAAG,KAAgC,CAAA;QAC5C,MAAM,QAAQ,GAAG,IAAI,IAAI,GAAG,CAAA;QAC5B,mEAAmE;QACnE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACrC,MAAM,WAAW,GAAa,EAAE,CAAA;QAChC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAE,CAAA;YAC/B,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;gBACrB,SAAQ;YACV,CAAC;YACD,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;YACpB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAA;YACxE,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAA;QAChF,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAE,CAAA;YAC/B,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAA;YACpB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAA;YACxE,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI;gBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAA;QAChF,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;IACD,KAAK,EAAE,CACL,IAAoD,EACpD,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAA;QACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,wBAAwB;gBACjC,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;YACF,OAAO,KAAK,CAAA;QACd,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,gBAAgB,KAAK,CAAC,MAAM,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE;aAC/D,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;IAC/F,CAAC;IACD,KAAK,EAAE,CACL,IAAoD,EACpD,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAA;QACrD,qEAAqE;QACrE,qEAAqE;QACrE,kEAAkE;QAClE,6CAA6C;QAC7C,IAAI,UAA+B,CAAA;QACnC,IAAI,SAAS,GAAY,KAAK,CAAA;QAC9B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,SAAS,GAAY,EAAE,CAAA;YAC7B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;YAC1D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAA;YACpC,IAAI,UAAU,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;gBACrE,UAAU,GAAG,SAAS,CAAA;gBACtB,SAAS,GAAG,CAAC,CAAA;YACf,CAAC;QACH,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI;YACJ,IAAI,EAAE,gBAAgB;YACtB,OAAO,EAAE,yCAAyC;YAClD,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAA;QACF,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,GAAG,IAAI,UAAU;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAChD,CAAC;QACD,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,aAAa,EAAE,CACb,IAA4D,EAC5D,KAAc,EACd,OAA0B,EACjB,EAAE;QACX,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAA;QACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,uCAAuC;gBAChD,QAAQ,EAAE,UAAU,IAAI,CAAC,GAAG,QAAQ;gBACpC,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAA;YACF,OAAO,KAAK,CAAA;QACd,CAAC;QACD,MAAM,MAAM,GAAI,KAAiC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAC3D,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,SAAS,EAAE,CAAC;YAC5F,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;gBACzB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,0BAA0B,IAAI,CAAC,GAAG,GAAG;gBAC9C,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;qBACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;qBAC7B,IAAI,CAAC,KAAK,CAAC;gBACd,QAAQ,EAAE,MAAM;aACjB,CAAC,CAAA;YACF,OAAO,KAAK,CAAA;QACd,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;QACjC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;gBACzB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,+BAA+B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE;gBAChE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;qBACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;qBAC7B,IAAI,CAAC,KAAK,CAAC;gBACd,QAAQ,EAAE,MAAM;aACjB,CAAC,CAAA;YACF,OAAO,KAAK,CAAA;QACd,CAAC;QACD,OAAO,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IACzD,CAAC;CACF,CAAA"}

package/dist/standard.d.ts

@@ -0,0 +1,5 @@
+/** Grouped official descriptors, replaceable through the public extension protocol. */
+export { standardKinds } from './standard/kinds.js';
+export { standardBehaviors } from './standard/behaviors.js';
+export { standardRuntime } from './standard/runtime.js';
+//# sourceMappingURL=standard.d.ts.map

package/dist/standard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"standard.d.ts","sourceRoot":"","sources":["../src/standard.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA"}

package/dist/standard.js

@@ -0,0 +1,5 @@
+/** Grouped official descriptors, replaceable through the public extension protocol. */
+export { standardKinds } from './standard/kinds.js';
+export { standardBehaviors } from './standard/behaviors.js';
+export { standardRuntime } from './standard/runtime.js';
+//# sourceMappingURL=standard.js.map

package/dist/standard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"standard.js","sourceRoot":"","sources":["../src/standard.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA"}

package/dist/validator/parse.d.ts

@@ -1,15 +1,6 @@
-/**
- * Validator — verify that a value conforms to a schema.
- *
- * `parse` throws ConformError. `safeParse` returns a discriminated result.
- *
- * Behavioral axes are enforced in addition to shape:
- *   - `domain` (`values` and `lookup`)
- *   - `invariants` (single-record) and `correlate` (multi-field, same axis)
- *   - `derived` (value must equal what `derivedFrom(...)` would compute)
- */
-import { ConformError } from '../foundation/errors.js';
+import type { ConformError } from '../foundation/errors.js';
 import type { Infer, Schema } from '../foundation/types.js';
+/** Result of validating through the selected runtime. */
 export type SafeParseResult<T> = {
     readonly ok: true;
     readonly value: T;

package/dist/validator/parse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../src/validator/parse.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,YAAY,EAAc,MAAM,yBAAyB,CAAA;AAElE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAE3D,MAAM,MAAM,eAAe,CAAC,CAAC,IACzB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACxC;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CAAA;AAExD,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,OAAO,KAAG,KAAK,CAAC,CAAC,CAK1E,CAAA;AAED,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,OAAO,KAAG,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAK/F,CAAA"}
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../src/validator/parse.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAA;AAC3D,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAE3D,yDAAyD;AACzD,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CAAA;AAChI,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,OAAO,KAAG,KAAK,CAAC,CAAC,CAAyC,CAAA;AACpH,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,OAAO,KAAG,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAA6C,CAAA"}