@fougere/schema 0.2.0-alpha.2 → 0.4.0-alpha.0

package/dist/validation/judge.d.ts

@@ -1,55 +0,0 @@
-import type { Field, Fields } from '../field/index.js';
-import type { Checked, ValidationResult } from './result.js';
-import type { ValidateOptions } from './options.js';
-/**
- * The one judge, at the three levels anything is judged: a field's DECLARATION, one VALUE
- * against its shape, a ROW against a field map. Same answer shape at all three.
- *
- * A class and not three functions because it holds state: the per-shape plan cache. The
- * closed vocabularies belong to the axes that close them — this file imports them.
- */
-export declare class Judge {
-    /**
-     * One plan per shape — the shape object IS the source JSON Schema (the closed
-     * grammar the helpers emit), handed straight to the engine. Keyed by the shape
-     * reference (stable: derivations copy field refs, `partial()` spreads the field but
-     * keeps the same `shape`), built once and reused so the parse cost is amortised —
-     * and so an unresolvable format is refused once per shape, never per value.
-     */
-    private static readonly plans;
-    private static planFor;
-    /**
-     * Resolve a declared format, and REFUSE a name neither the engine nor the registry
-     * knows: the engine ignores an unknown format in silence, so a typo would let every
-     * value through while the card claims the field is constrained.
-     *
-     * SCOPE: the field's own shape — a format nested inside `json(Entity)` is not reached.
-     */
-    private static customFormatOf;
-    /**
-     * Validate a present value (null included) against its field — pure, never mutates.
-     *
-     * Reads `shape` and nothing else, so it answers "is this a legal value?" without ever
-     * asking who is speaking. That is what makes it usable on the way OUT of the domain,
-     * where the client-only axes (`boundary`, `lifecycle`) do not apply.
-     */
-    static value(field: Field, value: unknown): Checked;
-    /** `'now' | 'optional' | { value } | { generate: <name> }` — the four ways absence is answered. */
-    private static checkCreate;
-    private static checkLifecycle;
-    private static checkRelation;
-    private static checkRole;
-    /**
-     * The registry is OPEN, so a name cannot be checked here — `declaredBoundary` resolves it
-     * and throws `Unknown boundary alias` at the one place that can know. Only the FORM is
-     * judged: a name, or a pair of directional rules.
-     */
-    private static checkBoundary;
-    /** Judge a field's declaration — the five axes against their closed vocabularies. */
-    static field(value: unknown): ValidationResult<Field>;
-    /** Judge an input object against a field map — membership, absence, and who may speak. */
-    static row(fields: Fields, input: unknown, opts?: ValidateOptions): ValidationResult<Record<string, unknown>>;
-    /** The same judgment, as a boolean. */
-    static isField(value: unknown): value is Field;
-}
-//# sourceMappingURL=judge.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"judge.d.ts","sourceRoot":"","sources":["../../src/validation/judge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAA0B,MAAM,mBAAmB,CAAC;AAK/E,OAAO,KAAK,EAAE,OAAO,EAAmB,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAgBpD;;;;;;GAMG;AACH,qBAAa,KAAK;IAChB;;;;;;OAMG;IACH,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAoC;IAEjE,OAAO,CAAC,MAAM,CAAC,OAAO;IAetB;;;;;;OAMG;IACH,OAAO,CAAC,MAAM,CAAC,cAAc;IAW7B;;;;;;OAMG;IAEH,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAiClD;IAED,mGAAmG;IACnG,OAAO,CAAC,MAAM,CAAC,WAAW;IAoB1B,OAAO,CAAC,MAAM,CAAC,cAAc;IAoB7B,OAAO,CAAC,MAAM,CAAC,aAAa;IAgC5B,OAAO,CAAC,MAAM,CAAC,SAAS;IAiCxB;;;;OAIG;IACH,OAAO,CAAC,MAAM,CAAC,aAAa;IAwB5B,qFAAqF;IAErF,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAsCpD;IAED,0FAA0F;IAC1F,MAAM,CAAC,GAAG,CACR,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,IAAI,GAAE,eAAoB,GACvB,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA8E7C;IAED,uCAAuC;IACvC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,KAAK,CAE7C;CACF"}

package/dist/validation/judge.js

@@ -1,351 +0,0 @@
-import { CREATE_TOKENS, UPDATE_TOKENS } from '../field/lifecycle.js';
-import { ON_DELETE, RELATION_KINDS } from '../field/role.js';
-import { Anatomy, Formats, boundaryOf, isShape, resolveBoundary, } from '../field/index.js';
-import { Validator, format as engineFormats } from '@cfworker/json-schema';
-const isObject = (v) => typeof v === 'object' && v !== null && !Array.isArray(v);
-const oneOfTokens = (v, tokens) => typeof v === 'string' && tokens.includes(v);
-/**
- * The one judge, at the three levels anything is judged: a field's DECLARATION, one VALUE
- * against its shape, a ROW against a field map. Same answer shape at all three.
- *
- * A class and not three functions because it holds state: the per-shape plan cache. The
- * closed vocabularies belong to the axes that close them — this file imports them.
- */
-export class Judge {
-    /**
-     * One plan per shape — the shape object IS the source JSON Schema (the closed
-     * grammar the helpers emit), handed straight to the engine. Keyed by the shape
-     * reference (stable: derivations copy field refs, `partial()` spreads the field but
-     * keeps the same `shape`), built once and reused so the parse cost is amortised —
-     * and so an unresolvable format is refused once per shape, never per value.
-     */
-    static plans = new WeakMap();
-    static planFor(shape) {
-        let p = this.plans.get(shape);
-        if (!p) {
-            const base = Anatomy.of(shape).base;
-            const formatName = base?.type === 'string' ? base.format : undefined;
-            p = {
-                validator: new Validator(shape, '2020-12', true),
-                custom: formatName === undefined ? undefined : this.customFormatOf(formatName),
-                formatName,
-            };
-            this.plans.set(shape, p);
-        }
-        return p;
-    }
-    /**
-     * Resolve a declared format, and REFUSE a name neither the engine nor the registry
-     * knows: the engine ignores an unknown format in silence, so a typo would let every
-     * value through while the card claims the field is constrained.
-     *
-     * SCOPE: the field's own shape — a format nested inside `json(Entity)` is not reached.
-     */
-    static customFormatOf(name) {
-        const custom = Formats.resolve(name);
-        if (!custom && !(name in engineFormats)) {
-            throw new Error(`Unknown format: '${name}'. Register it with Formats.register('${name}', …) — ` +
-                `the engine judges ${Object.keys(engineFormats).length} formats natively and this is not one of them.`);
-        }
-        return custom;
-    }
-    /**
-     * Validate a present value (null included) against its field — pure, never mutates.
-     *
-     * Reads `shape` and nothing else, so it answers "is this a legal value?" without ever
-     * asking who is speaking. That is what makes it usable on the way OUT of the domain,
-     * where the client-only axes (`boundary`, `lifecycle`) do not apply.
-     */
-    static value(field, value) {
-        const shape = field.shape;
-        // The pre-engine guards dispatch on the BASE type — `shape.type` itself may be
-        // the nullable union. They only short-circuit NON-null values: null always goes
-        // to the engine, whose union judges it (that is the whole nullability model).
-        const base = Anatomy.of(shape).base;
-        if (value !== null) {
-            // Opaque JSON (`json()`): no nested shape → passes through unchecked.
-            // `json(Entity)` carries `properties` and falls through to the engine,
-            // which validates the nesting natively (it's plain JSON Schema).
-            if (base?.type === 'object' && !base.properties)
-                return { value };
-            // A date-time field also accepts a live Date — the domain value, not its JSON wire
-            // string — which the boundary then passes through. The engine validates JSON, so a
-            // Date (a non-JSON value) skips the schema check here; a date STRING is validated below.
-            if (base?.type === 'string' && base.format === 'date-time' && value instanceof Date) {
-                return Number.isNaN(value.getTime()) ? { error: 'Invalid date' } : { value };
-            }
-            // NaN is `typeof number` yet has no JSON form, so the JSON-centric engine accepts it —
-            // guard it here (same nature as the Date case: a JS value JSON can't represent).
-            if ((base?.type === 'number' || base?.type === 'integer') && typeof value === 'number' && Number.isNaN(value)) {
-                return { error: 'Expected a number' };
-            }
-        }
-        const plan = this.planFor(shape);
-        const result = plan.validator.validate(value);
-        if (!result.valid)
-            return { error: result.errors[0]?.error ?? 'Invalid value' };
-        // A registered format judges AFTER the engine passed — so a custom rule composes
-        // with the built-ins instead of replacing them, and the message is the engine's
-        // own wording: from the outside, `siret` fails exactly like `email` does.
-        if (plan.custom && typeof value === 'string' && !plan.custom(value)) {
-            return { error: `String does not match format "${plan.formatName}".` };
-        }
-        return { value };
-    }
-    /** `'now' | 'optional' | { value } | { generate: <name> }` — the four ways absence is answered. */
-    static checkCreate(rule, errors) {
-        if (oneOfTokens(rule, CREATE_TOKENS))
-            return;
-        if (isObject(rule)) {
-            if ("value" in rule)
-                return; // any value — the shape judges it (`assertDefaultsAreValid`)
-            if ("generate" in rule) {
-                if (typeof rule.generate !== "string") {
-                    errors.push({
-                        path: "lifecycle.create.generate",
-                        message: "Expected a generator name",
-                    });
-                }
-                return;
-            }
-        }
-        errors.push({
-            path: "lifecycle.create",
-            message: `Expected 'now', 'optional', { value } or { generate } — got ${JSON.stringify(rule)}`,
-        });
-    }
-    static checkLifecycle(lifecycle, errors) {
-        if (!isObject(lifecycle)) {
-            errors.push({
-                path: "lifecycle",
-                message: `Expected an object — got ${JSON.stringify(lifecycle)}`,
-            });
-            return;
-        }
-        if (lifecycle.create !== undefined)
-            this.checkCreate(lifecycle.create, errors);
-        if (lifecycle.update !== undefined &&
-            !oneOfTokens(lifecycle.update, UPDATE_TOKENS)) {
-            errors.push({
-                path: "lifecycle.update",
-                message: `Expected 'now' or 'forbidden' — got ${JSON.stringify(lifecycle.update)}`,
-            });
-        }
-    }
-    static checkRelation(relation, errors) {
-        if (!isObject(relation)) {
-            errors.push({
-                path: "role.relation",
-                message: `Expected an object — got ${JSON.stringify(relation)}`,
-            });
-            return;
-        }
-        if (!oneOfTokens(relation.kind, RELATION_KINDS)) {
-            errors.push({
-                path: "role.relation.kind",
-                message: `Expected 'one' or 'many' — got ${JSON.stringify(relation.kind)}`,
-            });
-        }
-        // A thunk, never the class: it is what lets a circular relation resolve lazily.
-        if (typeof relation.to !== "function") {
-            errors.push({
-                path: "role.relation.to",
-                message: "Expected a thunk returning the target entity",
-            });
-        }
-        if (relation.onDelete !== undefined &&
-            !oneOfTokens(relation.onDelete, ON_DELETE)) {
-            errors.push({
-                path: "role.relation.onDelete",
-                message: `Expected 'cascade', 'restrict' or 'set null' — got ${JSON.stringify(relation.onDelete)}`,
-            });
-        }
-    }
-    static checkRole(role, errors) {
-        if (!isObject(role)) {
-            errors.push({
-                path: "role",
-                message: `Expected an object — got ${JSON.stringify(role)}`,
-            });
-            return;
-        }
-        for (const flag of ["primary", "index"]) {
-            if (role[flag] !== undefined && typeof role[flag] !== "boolean") {
-                errors.push({
-                    path: `role.${flag}`,
-                    message: `Expected a boolean — got ${JSON.stringify(role[flag])}`,
-                });
-            }
-        }
-        if (role.unique !== undefined) {
-            const groups = role.unique;
-            const legal = Array.isArray(groups) &&
-                groups.every((g) => Array.isArray(g) && g.every((m) => typeof m === "string"));
-            if (!legal) {
-                errors.push({
-                    path: "role.unique",
-                    message: "Expected groups of field names — string[][]",
-                });
-            }
-        }
-        if (role.relation !== undefined)
-            this.checkRelation(role.relation, errors);
-    }
-    /**
-     * The registry is OPEN, so a name cannot be checked here — `declaredBoundary` resolves it
-     * and throws `Unknown boundary alias` at the one place that can know. Only the FORM is
-     * judged: a name, or a pair of directional rules.
-     */
-    static checkBoundary(boundary, errors) {
-        if (typeof boundary === "string")
-            return;
-        if (!isObject(boundary)) {
-            errors.push({
-                path: "boundary",
-                message: `Expected an alias name or { in, out } — got ${JSON.stringify(boundary)}`,
-            });
-            return;
-        }
-        for (const [side, verb] of [
-            ["in", "decode"],
-            ["out", "encode"],
-        ]) {
-            const rule = boundary[side];
-            if (rule === undefined || rule === "closed")
-                continue;
-            if (!isObject(rule) || typeof rule[verb] !== "string") {
-                errors.push({
-                    path: `boundary.${side}`,
-                    message: `Expected 'closed' or { ${verb}: <name> }`,
-                });
-            }
-        }
-    }
-    /** Judge a field's declaration — the five axes against their closed vocabularies. */
-    static field(value) {
-        if (!isObject(value)) {
-            return {
-                success: false,
-                errors: [
-                    {
-                        path: ".",
-                        message: `Expected an object — got ${JSON.stringify(value)}`,
-                    },
-                ],
-            };
-        }
-        const errors = [];
-        if (!isShape(value.shape)) {
-            errors.push({
-                path: "shape",
-                message: `Every field states a shape — got ${JSON.stringify(value.shape)}`,
-            });
-        }
-        if (value.lifecycle !== undefined)
-            this.checkLifecycle(value.lifecycle, errors);
-        if (value.role !== undefined)
-            this.checkRole(value.role, errors);
-        if (value.boundary !== undefined)
-            this.checkBoundary(value.boundary, errors);
-        if (value.meta !== undefined) {
-            if (!isObject(value.meta)) {
-                errors.push({
-                    path: "meta",
-                    message: `Expected an object — got ${JSON.stringify(value.meta)}`,
-                });
-            }
-            else if (value.meta.description !== undefined &&
-                typeof value.meta.description !== "string") {
-                errors.push({ path: "meta.description", message: "Expected a string" });
-            }
-        }
-        return errors.length ? { success: false, errors } : { success: true, data: value };
-    }
-    /** Judge an input object against a field map — membership, absence, and who may speak. */
-    static row(fields, input, opts = {}) {
-        if (typeof input !== 'object' || input === null) {
-            return { success: false, errors: [{ path: '.', message: 'Expected an object' }] };
-        }
-        const data = input;
-        const errors = [];
-        const out = {};
-        // Refuse, never strip: a key outside the contract is an error, not a silent
-        // drop. The client derives from the same contract (a form cannot emit a
-        // foreign key), so a stranger is a bug or an attack — both deserve the 400.
-        // Stripping would also let the envelope diverge from GraphQL, which refuses
-        // unknown input keys by construction.
-        //
-        // A FACT is judged by this same rule, deliberately — the one place it was tempting to
-        // relax it. A subscriber's copy of a fact can be older than the sender's, so tolerating
-        // a stranger key would let a rolling deployment through; it would also mean a reader
-        // silently ignoring a field it was supposed to handle. If the judge refuses, that is
-        // the end of it: the sender re-syncs its readers before it ships.
-        for (const key of Object.keys(data)) {
-            if (!(key in fields)) {
-                errors.push({ path: key, message: 'Unknown field' });
-            }
-        }
-        for (const [key, field] of Object.entries(fields)) {
-            const path = key;
-            const value = data[key];
-            if (value === undefined) {
-                if (opts.patch)
-                    continue; // patch: an unsent field is left untouched
-                // A read-only field is server-owned: its absence from a client input is
-                // never "Required" (same stance as OpenAPI readOnly+required).
-                if (boundaryOf(field).in === 'closed')
-                    continue;
-                // Absence is answered by `lifecycle.create` — a key access on the normal
-                // form. The judge only asks "is there a rule?": any rule ('now',
-                // 'optional', { value }, { generate }) makes absence legal, and the field
-                // is omitted from the result. Realisation is the storage adapter's role.
-                if (field.lifecycle?.create !== undefined)
-                    continue;
-                // No create rule: a `many` relation defaults to the empty collection
-                // (graph semantics, read on `role` — never a shared `{ value: [] }`).
-                if (field.role?.relation?.kind === 'many') {
-                    out[key] = [];
-                    continue;
-                }
-                errors.push({ path, message: 'Required' });
-                continue;
-            }
-            // A PRESENT value can be illegal by an axis other than shape:
-            // boundary `in: 'closed'` — a read-only field never crosses inbound;
-            // lifecycle `update: 'forbidden'` — re-supplying an immutable field in a patch.
-            if (boundaryOf(field).in === 'closed') {
-                errors.push({ path, message: 'Read-only' });
-                continue;
-            }
-            if (opts.patch && field.lifecycle?.update === 'forbidden') {
-                errors.push({ path, message: 'Immutable' });
-                continue;
-            }
-            // The shape predicate judges the value — null included, via the `[T,'null']`
-            // union. Then the boundary's decode converts wire→domain; null skips decode
-            // (a legal null is already the domain value, there is nothing to convert).
-            const checked = this.value(field, value);
-            if ('error' in checked) {
-                errors.push({ path, message: checked.error });
-                continue;
-            }
-            if (checked.value === null) {
-                out[key] = null;
-                continue;
-            }
-            const decoded = resolveBoundary(field).decode(checked.value);
-            if ('error' in decoded)
-                errors.push({ path, message: decoded.error });
-            else
-                out[key] = decoded.value;
-        }
-        if (errors.length > 0)
-            return { success: false, errors };
-        return { success: true, data: out };
-    }
-    /** The same judgment, as a boolean. */
-    static isField(value) {
-        return this.field(value).success;
-    }
-}
-//# sourceMappingURL=judge.js.map

package/dist/validation/judge.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"judge.js","sourceRoot":"","sources":["../../src/validation/judge.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACrE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,GAAG,MAAM,mBAAmB,CAAC;AAC5F,OAAO,EAAE,SAAS,EAAE,MAAM,IAAI,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAY3E,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAgC,EAAE,CAC5D,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE3D,MAAM,WAAW,GAAG,CAAC,CAAU,EAAE,MAAyB,EAAE,EAAE,CAC5D,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAE9C;;;;;;GAMG;AACH,MAAM,OAAO,KAAK;IAChB;;;;;;OAMG;IACK,MAAM,CAAU,KAAK,GAAG,IAAI,OAAO,EAAqB,CAAC;IAEzD,MAAM,CAAC,OAAO,CAAC,KAAY;QACjC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;YACpC,MAAM,UAAU,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YACrE,CAAC,GAAG;gBACF,SAAS,EAAE,IAAI,SAAS,CAAC,KAAe,EAAE,SAAS,EAAE,IAAI,CAAC;gBAC1D,MAAM,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC;gBAC9E,UAAU;aACX,CAAC;YACF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED;;;;;;OAMG;IACK,MAAM,CAAC,cAAc,CAAC,IAAY;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,IAAI,aAAa,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CACb,oBAAoB,IAAI,yCAAyC,IAAI,UAAU;gBAC7E,qBAAqB,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,gDAAgD,CACzG,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;OAMG;IAEH,MAAM,CAAC,KAAK,CAAC,KAAY,EAAE,KAAc;QACvC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QAC1B,+EAA+E;QAC/E,gFAAgF;QAChF,8EAA8E;QAC9E,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QACpC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,sEAAsE;YACtE,uEAAuE;YACvE,iEAAiE;YACjE,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAClE,mFAAmF;YACnF,mFAAmF;YACnF,yFAAyF;YACzF,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;gBACpF,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;YAC/E,CAAC;YACD,uFAAuF;YACvF,iFAAiF;YACjF,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9G,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;YACxC,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,MAAM,CAAC,KAAK;YAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,eAAe,EAAE,CAAC;QAChF,iFAAiF;QACjF,gFAAgF;QAChF,0EAA0E;QAC1E,IAAI,IAAI,CAAC,MAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACpE,OAAO,EAAE,KAAK,EAAE,iCAAiC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,CAAC;IACnB,CAAC;IAED,mGAAmG;IAC3F,MAAM,CAAC,WAAW,CAAC,IAAa,EAAE,MAAyB;QACjE,IAAI,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC;YAAE,OAAO;QAC7C,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACnB,IAAI,OAAO,IAAI,IAAI;gBAAE,OAAO,CAAC,6DAA6D;YAC1F,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;oBACtC,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,2BAA2B;wBACjC,OAAO,EAAE,2BAA2B;qBACrC,CAAC,CAAC;gBACL,CAAC;gBACD,OAAO;YACT,CAAC;QACH,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,kBAAkB;YACxB,OAAO,EAAE,+DAA+D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;SAC/F,CAAC,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,cAAc,CAAC,SAAkB,EAAE,MAAyB;QACzE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE;aACjE,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS;YAAE,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC/E,IACE,SAAS,CAAC,MAAM,KAAK,SAAS;YAC9B,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,EAC7C,CAAC;YACD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,uCAAuC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE;aACnF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAEO,MAAM,CAAC,aAAa,CAAC,QAAiB,EAAE,MAAyB;QACvE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE;aAChE,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,kCAAkC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE;aAC3E,CAAC,CAAC;QACL,CAAC;QACD,gFAAgF;QAChF,IAAI,OAAO,QAAQ,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,8CAA8C;aACxD,CAAC,CAAC;QACL,CAAC;QACD,IACE,QAAQ,CAAC,QAAQ,KAAK,SAAS;YAC/B,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,EAC1C,CAAC;YACD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,sDAAsD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;aACnG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAEO,MAAM,CAAC,SAAS,CAAC,IAAa,EAAE,MAAyB;QAC/D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,MAAM;gBACZ,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;aAC5D,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,OAAO,CAAU,EAAE,CAAC;YACjD,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBAChE,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,QAAQ,IAAI,EAAE;oBACpB,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE;iBAClE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,MAAM,KAAK,GACT,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gBACrB,MAAM,CAAC,KAAK,CACV,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CACjE,CAAC;YACJ,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,aAAa;oBACnB,OAAO,EAAE,6CAA6C;iBACvD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC7E,CAAC;IAED;;;;OAIG;IACK,MAAM,CAAC,aAAa,CAAC,QAAiB,EAAE,MAAyB;QACvE,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,OAAO;QACzC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,+CAA+C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE;aACnF,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI;YACzB,CAAC,IAAI,EAAE,QAAQ,CAAC;YAChB,CAAC,KAAK,EAAE,QAAQ,CAAC;SACT,EAAE,CAAC;YACX,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC5B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACtD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACtD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,YAAY,IAAI,EAAE;oBACxB,OAAO,EAAE,0BAA0B,IAAI,YAAY;iBACpD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,qFAAqF;IAErF,MAAM,CAAC,KAAK,CAAC,KAAc;QACzB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,GAAG;wBACT,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;qBAC7D;iBACF;aACF,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAsB,EAAE,CAAC;QAErC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,oCAAoC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;aAC3E,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;YAAE,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAChF,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACjE,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC7E,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;iBAClE,CAAC,CAAC;YACL,CAAC;iBAAM,IACL,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS;gBACpC,OAAO,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,QAAQ,EAC1C,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAyB,EAAE,CAAC;IACzG,CAAC;IAED,0FAA0F;IAC1F,MAAM,CAAC,GAAG,CACR,MAAc,EACd,KAAc,EACd,IAAI,GAAoB,EAAE;QAE1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAClD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,CAAC;QAClF,CAAC;QAED,MAAM,IAAI,GAAG,KAAgC,CAAC;QAC9C,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,MAAM,GAAG,GAA4B,EAAE,CAAC;QAExC,4EAA4E;QAC5E,wEAAwE;QACxE,4EAA4E;QAC5E,4EAA4E;QAC5E,sCAAsC;QACtC,EAAE;QACF,sFAAsF;QACtF,wFAAwF;QACxF,qFAAqF;QACrF,qFAAqF;QACrF,kEAAkE;QAClE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,EAAE,CAAC;gBACrB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;YACvD,CAAC;QACD,CAAC;QAED,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,GAAG,GAAG,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;YAExB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,KAAK;oBAAE,SAAS,CAAC,2CAA2C;gBACrE,wEAAwE;gBACxE,+DAA+D;gBAC/D,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,QAAQ;oBAAE,SAAS;gBAChD,yEAAyE;gBACzE,iEAAiE;gBACjE,0EAA0E;gBAC1E,yEAAyE;gBACzE,IAAI,KAAK,CAAC,SAAS,EAAE,MAAM,KAAK,SAAS;oBAAE,SAAS;gBACpD,qEAAqE;gBACrE,sEAAsE;gBACtE,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;oBAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;oBAAC,SAAS;gBAAC,CAAC;gBACvE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;gBAC3C,SAAS;YACX,CAAC;YAED,8DAA8D;YAC9D,qEAAqE;YACrE,gFAAgF;YAChF,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACtC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;gBAC5C,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,SAAS,EAAE,MAAM,KAAK,WAAW,EAAE,CAAC;gBAC1D,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;gBAC5C,SAAS;YACX,CAAC;YAED,6EAA6E;YAC7E,4EAA4E;YAC5E,2EAA2E;YAC3E,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACzC,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBAC3B,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC7D,IAAI,OAAO,IAAI,OAAO;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;;gBACjE,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;QAC9B,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACzD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACtC,CAAC;IAED,uCAAuC;IACvC,MAAM,CAAC,OAAO,CAAC,KAAc;QAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;IACnC,CAAC;CACF"}

package/dist/validation/options.d.ts

@@ -1,6 +0,0 @@
-/** How a judge is asked — the mode a schema view carries, never a fact about a field. */
-/** Patch mode: an unsent field is untouched. Distinguishes "absent, don't touch" from "absent → null". */
-export interface ValidateOptions {
-    patch?: boolean;
-}
-//# sourceMappingURL=options.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"options.d.ts","sourceRoot":"","sources":["../../src/validation/options.ts"],"names":[],"mappings":"AAAA,yFAAyF;AAEzF,0GAA0G;AAC1G,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB"}

package/dist/validation/options.js

@@ -1,3 +0,0 @@
-/** How a judge is asked — the mode a schema view carries, never a fact about a field. */
-export {};
-//# sourceMappingURL=options.js.map

package/dist/validation/options.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"options.js","sourceRoot":"","sources":["../../src/validation/options.ts"],"names":[],"mappings":"AAAA,yFAAyF"}

package/dist/validation/result.d.ts

@@ -1,20 +0,0 @@
-/** What every judge in this package answers — one shape, whatever it judged. */
-export interface ValidationError {
-    /** The field name, or the axis it failed on — `lifecycle.create`, `role.relation.kind`. */
-    path: string;
-    message: string;
-}
-export type ValidationResult<T> = {
-    success: true;
-    data: T;
-} | {
-    success: false;
-    errors: ValidationError[];
-};
-/** One value's verdict — the judge hands back what it read, decoded or refused. */
-export type Checked = {
-    value: unknown;
-} | {
-    error: string;
-};
-//# sourceMappingURL=result.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../src/validation/result.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAEhF,MAAM,WAAW,eAAe;IAC9B,2FAA2F;IAC3F,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAC1B;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC1B;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,eAAe,EAAE,CAAA;CAAE,CAAC;AAElD,mFAAmF;AACnF,MAAM,MAAM,OAAO,GAAG;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC"}

package/dist/validation/result.js

@@ -1,3 +0,0 @@
-/** What every judge in this package answers — one shape, whatever it judged. */
-export {};
-//# sourceMappingURL=result.js.map

package/dist/validation/result.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/validation/result.ts"],"names":[],"mappings":"AAAA,gFAAgF"}