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

package/dist/index.js

@@ -1,49 +1,47 @@
-// ─── The primitive — a Field on four orthogonal axes + meta ──
-export { Field, nullableShape, 
-// The constraint a `role.unique` member list denotes — `[]` means the field carrying it.
-uniqueMembers, 
-// The shape axis's own open registry — a NAMED predicate where JSON Schema
-// already declares its vocabulary open, so the rule travels as `format`.
-registerGenerator, resolveCustomGenerator, resolveBoundary, boundaryOf, Anatomy, Formats, Boundaries, } from "./field/index.js";
-// ─── The carrier and its derivation algebra ──────────────────
-export { compose, Schema, ANONYMOUS_SCHEMA_NAME, } from "./schema/index.js";
-// ─── The vocabulary — field constructors and transforms ──────
-export { primary } from "./vocabulary/primary.js";
-export { text } from "./vocabulary/text.js";
-export { email } from "./vocabulary/email.js";
-export { url } from "./vocabulary/url.js";
-export { list } from "./vocabulary/list.js";
-export { number } from "./vocabulary/number.js";
-export { bool } from "./vocabulary/bool.js";
-export { date } from "./vocabulary/date.js";
-export { created } from "./vocabulary/created.js";
-export { updated } from "./vocabulary/updated.js";
-export { oneOf } from "./vocabulary/oneOf.js";
-export { ref } from "./vocabulary/ref.js";
-export { many } from "./vocabulary/many.js";
-export { optional } from "./vocabulary/optional.js";
-export { nullable } from "./vocabulary/nullable.js";
-export { immutable } from "./vocabulary/immutable.js";
-export { unique } from "./vocabulary/unique.js";
-export { indexed } from "./vocabulary/indexed.js";
-export { readOnly } from "./vocabulary/readOnly.js";
-export { writeOnly } from "./vocabulary/writeOnly.js";
-export { json } from "./vocabulary/json.js";
-// ─── Projections — consumers of the axes ─────────────────────
-// lifecycle: the axis → the values the system writes. The dual of validation — the
-// judge never fills a hole, this is what fills it, and a storage adapter calls it
-// instead of re-deriving the rule.
-export { applyCreate, applyUpdate } from "./projections/lifecycle.js";
-export { encodeFields } from "./projections/encode.js";
-// io: the dual client-surface projections — ingress (may supply) / egress (may read)
-export { inputFields, outputFields } from "./projections/io.js";
-export { registrationKeyOf } from "./name.js";
-// descriptor (the card): the portable, serialisable identity of a schema
-export { describe, describeSet, sourceNameOf } from "./projections/describe.js";
-export { reconstruct, reconstructSet } from "./projections/reconstruct.js";
-export { entitySourceOf, facadeTypeSourceOf, } from "./projections/typescript.js";
-// source: the one reader that takes a live class OR a card — what an adapter stands on
-export { schemaOf, fieldsOf, } from "./projections/source.js";
-export { entity } from "./entity.js";
-export { Judge } from "./validation/index.js";
+export { Field } from './Field.js';
+export { Anatomy } from './axis/shape/Shape.js';
+export { Formats } from './axis/shape/Formats.js';
+export { Role, primaryFieldOf } from './axis/role/Role.js';
+export { Lifecycle } from './axis/lifecycle/Lifecycle.js';
+export { registerGenerator } from './axis/lifecycle/Generators.js';
+export { Boundary } from './axis/boundary/Boundary.js';
+export { Boundaries } from './axis/boundary/Boundaries.js';
+export { FieldGroup } from './constraint/FieldGroup.js';
+export { Unique } from './constraint/Unique.js';
+export { Schema, ANONYMOUS_SCHEMA_NAME } from './Schema.js';
+export { casesFor, holds, refusalBranches } from './judge/cases.js';
+export { same } from './same.js';
+export { primary } from './vocabulary/primary.js';
+export { text } from './vocabulary/text.js';
+export { email } from './vocabulary/email.js';
+export { url } from './vocabulary/url.js';
+export { list } from './vocabulary/list.js';
+export { number } from './vocabulary/number.js';
+export { bool } from './vocabulary/bool.js';
+export { date } from './vocabulary/date.js';
+export { created } from './vocabulary/created.js';
+export { updated } from './vocabulary/updated.js';
+export { oneOf } from './vocabulary/oneOf.js';
+export { ref } from './vocabulary/ref.js';
+export { many } from './vocabulary/many.js';
+export { optional } from './vocabulary/optional.js';
+export { nullable } from './vocabulary/nullable.js';
+export { immutable } from './vocabulary/immutable.js';
+export { unique } from './vocabulary/unique.js';
+export { indexed } from './vocabulary/indexed.js';
+export { readOnly } from './vocabulary/readOnly.js';
+export { writeOnly } from './vocabulary/writeOnly.js';
+export { json } from './vocabulary/json.js';
+export { applyCreate, applyUpdate, freezeClock } from './axis/lifecycle/apply.js';
+export { encodeFields } from './projection/encode.js';
+export { inputFields, outputFields } from './projection/io.js';
+export { registrationKeyOf, classNameOf } from './name.js';
+export { describe, describeSet, sourceNameOf } from './card/describe.js';
+export { reconstruct, reconstructSet } from './card/reconstruct.js';
+// What separates two descriptors — one calculation, read by a DDL, a codec and a boot.
+export { diff, diffSet } from './card/diff.js';
+export { entitySourceOf, facadeTypeSourceOf } from './card/typescript.js';
+export { schemaOf, fieldsOf } from './projection/source.js';
+export { entity } from './entity.js';
+export { Judge } from './judge/Judge.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,gEAAgE;AAChE,OAAO,EACL,KAAK,EAeL,aAAa;AACb,yFAAyF;AACzF,aAAa;AACb,2EAA2E;AAC3E,yEAAyE;AACzE,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,EACf,UAAU,EACV,OAAO,EACP,OAAO,EACP,UAAU,GAMX,MAAM,kBAAkB,CAAC;AAE1B,gEAAgE;AAChE,OAAO,EACL,OAAO,EACP,MAAM,EACN,qBAAqB,GAKtB,MAAM,mBAAmB,CAAC;AAI3B,gEAAgE;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,IAAI,EAAoB,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAoB,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAE5C,gEAAgE;AAChE,mFAAmF;AACnF,kFAAkF;AAClF,mCAAmC;AACnC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,qFAAqF;AACrF,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC9C,yEAAyE;AACzE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAChF,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC3E,OAAO,EACL,cAAc,EACd,kBAAkB,GAGnB,MAAM,6BAA6B,CAAC;AASrC,uFAAuF;AACvF,OAAO,EAEL,QAAQ,EACR,QAAQ,GACT,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,KAAK,EAAmF,MAAM,uBAAuB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAe,MAAM,YAAY,CAAC;AAChD,OAAO,EAAc,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAA2C,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAC3F,OAAO,EAAE,IAAI,EAAE,cAAc,EAAkB,MAAM,qBAAqB,CAAC;AAE3E,OAAO,EAAE,SAAS,EAAuB,MAAM,+BAA+B,CAAC;AAC/E,OAAO,EAAqB,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACtF,OAAO,EAAE,QAAQ,EAAwC,MAAM,6BAA6B,CAAC;AAC7F,OAAO,EAA8B,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEvF,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAEhD,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAA0B,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAa,MAAM,kBAAkB,CAAC;AAG/E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAE5C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACpE,uFAAuF;AACvF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAA6C,MAAM,sBAAsB,CAAC;AAErH,OAAO,EAAqB,QAAQ,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAG/E,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/judge/Judge.d.ts

@@ -0,0 +1,14 @@
+import type { Field, Fields } from '../Field.js';
+import type { Checked, ValidationResult } from './result.js';
+import type { ValidateOptions } from './options.js';
+export declare class Judge {
+    private static readonly plans;
+    private static planFor;
+    private static customFormatOf;
+    static value(field: Field, value: unknown): Checked;
+    static field(value: unknown): ValidationResult<Field>;
+    static onAbsent(field: Field): 'skip' | 'empty-list' | null;
+    static row(fields: Fields, input: unknown, opts?: ValidateOptions): ValidationResult<Record<string, unknown>>;
+    static isField(value: unknown): value is Field;
+}
+//# sourceMappingURL=Judge.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Judge.d.ts","sourceRoot":"","sources":["../../src/judge/Judge.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAOjD,OAAO,KAAK,EAAE,OAAO,EAAmB,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAUpD,qBAAa,KAAK;IAChB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAoC;IAEjE,OAAO,CAAC,MAAM,CAAC,OAAO;IAetB,OAAO,CAAC,MAAM,CAAC,cAAc;IAW7B,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAmBlD;IAED,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAuCpD;IAED,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,YAAY,GAAG,IAAI,CAK1D;IAED,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,CAqD7C;IAED,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,KAAK,CAE7C;CACF"}

package/dist/judge/Judge.js

@@ -0,0 +1,161 @@
+import { Role } from '../axis/role/Role.js';
+import { Lifecycle } from '../axis/lifecycle/Lifecycle.js';
+import { Boundary } from '../axis/boundary/Boundary.js';
+import { Anatomy } from '../axis/shape/Shape.js';
+import { Formats } from '../axis/shape/Formats.js';
+import { Validator, format as engineFormats } from '@cfworker/json-schema';
+import { EXTENSION_AXES } from '../axis/Axis.js';
+import { isObject } from './form.js';
+export class Judge {
+    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;
+    }
+    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;
+    }
+    static value(field, value) {
+        const shape = field.shape;
+        const base = Anatomy.of(shape).base;
+        if (value !== null) {
+            if (base?.type === 'object' && !base.properties)
+                return { value };
+            if (base?.type === 'string' && base.format === 'date-time' && value instanceof Date) {
+                return Number.isNaN(value.getTime()) ? { error: 'Invalid date' } : { value };
+            }
+            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' };
+        if (plan.custom && typeof value === 'string' && !plan.custom(value)) {
+            return { error: `String does not match format "${plan.formatName}".` };
+        }
+        return { value };
+    }
+    static field(value) {
+        if (!isObject(value)) {
+            return {
+                success: false,
+                errors: [
+                    {
+                        path: ".",
+                        message: `Expected an object — got ${JSON.stringify(value)}`,
+                    },
+                ],
+            };
+        }
+        const errors = [];
+        if (!Anatomy.is(value.shape)) {
+            errors.push({
+                path: "shape",
+                message: `Every field states a shape — got ${JSON.stringify(value.shape)}`,
+            });
+        }
+        for (const axis of EXTENSION_AXES) {
+            const declared = value[axis.slot];
+            if (declared !== undefined)
+                axis.judge(declared, 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 };
+    }
+    static onAbsent(field) {
+        if (Boundary.of(field).readOnly)
+            return 'skip';
+        if (!Lifecycle.of(field).requiredAtCreate)
+            return 'skip';
+        if (Role.of(field).isCollection)
+            return 'empty-list';
+        return null;
+    }
+    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 = {};
+        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;
+                const absence = Judge.onAbsent(field);
+                if (absence === null) {
+                    errors.push({ path, message: 'Required' });
+                    continue;
+                }
+                if (absence === 'empty-list')
+                    out[key] = [];
+                continue;
+            }
+            const boundary = Boundary.of(field);
+            if (boundary.readOnly) {
+                errors.push({ path, message: 'Read-only' });
+                continue;
+            }
+            if (opts.patch && Lifecycle.of(field).immutable) {
+                errors.push({ path, message: 'Immutable' });
+                continue;
+            }
+            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 = boundary.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 };
+    }
+    static isField(value) {
+        return this.field(value).success;
+    }
+}
+//# sourceMappingURL=Judge.js.map

package/dist/judge/Judge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Judge.js","sourceRoot":"","sources":["../../src/judge/Judge.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAI3D,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACxD,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,IAAI,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAG3E,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAQrC,MAAM,OAAO,KAAK;IACR,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;IAEO,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,MAAM,CAAC,KAAK,CAAC,KAAY,EAAE,KAAc;QACvC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QAC1B,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QACpC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAClE,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,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,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,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,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,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,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAI,KAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/D,IAAI,QAAQ,KAAK,SAAS;gBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC3D,CAAC;QACD,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,MAAM,CAAC,QAAQ,CAAC,KAAY;QAC1B,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ;YAAE,OAAO,MAAM,CAAC;QAC/C,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,gBAAgB;YAAE,OAAO,MAAM,CAAC;QACzD,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,YAAY;YAAE,OAAO,YAAY,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,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,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;gBACzB,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACtC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;oBAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;oBAAC,SAAS;gBAAC,CAAC;gBAC/E,IAAI,OAAO,KAAK,YAAY;oBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;gBAC5C,SAAS;YACX,CAAC;YAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACtB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;gBAC5C,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;gBAChD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;gBAC5C,SAAS;YACX,CAAC;YAED,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,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC/C,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,MAAM,CAAC,OAAO,CAAC,KAAc;QAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;IACnC,CAAC;CACF"}

package/dist/judge/cases.d.ts

@@ -0,0 +1,50 @@
+import type { SchemaView } from '../SchemaView.js';
+/**
+ * One input, and what the judge must answer.
+ *
+ * `expect` carries the PATH of the field at fault and never the message. We know which
+ * field must be refused because we are the ones who broke it; naming the message would
+ * make this list a second judge, and the two would then have to be kept in step by hand —
+ * which is the duplication the whole thing exists to remove.
+ */
+export interface Case {
+    /** What this input does, in one clause — carried into the assertion so a failure reads. */
+    why: string;
+    body: unknown;
+    /**
+     * Judged as an update rather than a creation. The two modes refuse different things:
+     * an absence is `Required` on create and legal on patch, an immutable field is legal
+     * on create and refused on patch.
+     */
+    patch: boolean;
+    expect: 'accept' | {
+        reject: string;
+    };
+}
+/**
+ * The decision table, enumerated on the entity's own fields.
+ *
+ * Use the complete entity so a derived view cannot hide a divergent field. The caller
+ * supplies a valid row; generating data belongs to the testing package.
+ */
+export declare function casesFor(entity: SchemaView, valid: Record<string, unknown>): Case[];
+/**
+ * The verdict a case expects, obtained from any judge.
+ *
+ * Takes the RESULT rather than the input so the same reader serves the local judge, the
+ * façade and a door — the three that have to agree.
+ */
+export declare function holds(expected: Case['expect'], result: {
+    success: boolean;
+    errors?: {
+        path: string;
+    }[];
+}): boolean;
+/**
+ * Every way `Judge.row` can refuse, read from its own source.
+ *
+ * Returning names instead of a count makes an uncovered branch identifiable. Custom
+ * decoder failures remain outside the derived table because user code defines them.
+ */
+export declare function refusalBranches(): string[];
+//# sourceMappingURL=cases.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"cases.d.ts","sourceRoot":"","sources":["../../src/judge/cases.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAGnD;;;;;;;GAOG;AACH,MAAM,WAAW,IAAI;IACnB,2FAA2F;IAC3F,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,OAAO,CAAC;IACd;;;;OAIG;IACH,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,QAAQ,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACvC;AAoCD;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EAAE,CAoCnF;AAED;;;;;GAKG;AACH,wBAAgB,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;CAAE,GAAG,OAAO,CAIlH;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,IAAI,MAAM,EAAE,CAG1C"}

package/dist/judge/cases.js

@@ -0,0 +1,100 @@
+import { Anatomy } from '../axis/shape/Shape.js';
+import { Boundary } from '../axis/boundary/Boundary.js';
+import { Lifecycle } from '../axis/lifecycle/Lifecycle.js';
+import { Role } from '../axis/role/Role.js';
+import { Judge } from './Judge.js';
+/** A value of the wrong type for the declared shape — the one violation every field has. */
+function wrongTypeFor(field) {
+    const declared = field.shape.type;
+    const names = Array.isArray(declared) ? declared : [declared];
+    return names.includes('string') ? 42 : 'not-a-value-of-this-shape';
+}
+/** Values that break a stated bound. Empty when the field states none. */
+function outOfBoundsFor(field) {
+    // Through `Anatomy`, not a cast: the cast admitted any keyword, and it declared
+    // `maxItems` — which no branch below ever produced. In the one function whose job is
+    // to be exhaustive, a bound the type does not carry is a case nobody notices missing.
+    const shape = Anatomy.of(field.shape).base;
+    const out = [];
+    if (shape?.type === 'string') {
+        if (typeof shape.minLength === 'number' && shape.minLength > 0)
+            out.push({ why: 'shorter than min', value: 'x'.repeat(shape.minLength - 1) });
+        if (typeof shape.maxLength === 'number')
+            out.push({ why: 'longer than max', value: 'x'.repeat(shape.maxLength + 1) });
+        if (shape.enum)
+            out.push({ why: 'outside the stated set', value: '__not-in-enum__' });
+    }
+    if (shape?.type === 'number' || shape?.type === 'integer') {
+        if (typeof shape.minimum === 'number')
+            out.push({ why: 'below minimum', value: shape.minimum - 1 });
+        if (typeof shape.maximum === 'number')
+            out.push({ why: 'above maximum', value: shape.maximum + 1 });
+    }
+    if (shape?.type === 'array') {
+        if (typeof shape.minItems === 'number' && shape.minItems > 0)
+            out.push({ why: 'fewer items than min', value: [] });
+        if (typeof shape.maxItems === 'number')
+            out.push({ why: 'more items than max', value: Array.from({ length: shape.maxItems + 1 }, () => null) });
+    }
+    return out;
+}
+/**
+ * The decision table, enumerated on the entity's own fields.
+ *
+ * Use the complete entity so a derived view cannot hide a divergent field. The caller
+ * supplies a valid row; generating data belongs to the testing package.
+ */
+export function casesFor(entity, valid) {
+    const fields = entity.getFields();
+    const cases = [];
+    const withField = (name, value) => ({ ...valid, [name]: value });
+    cases.push({ why: 'a valid body', body: valid, patch: false, expect: 'accept' });
+    cases.push({ why: 'a key outside the contract', body: { ...valid, __unknown__: 'x' }, patch: false, expect: { reject: '__unknown__' } });
+    cases.push({ why: 'not an object at all', body: 'a string', patch: false, expect: { reject: '.' } });
+    for (const [name, field] of Object.entries(fields)) {
+        // A reference names a row that must exist; the caller supplied its id and we do not
+        // get to invent a second one, so the only case we can state about it is the bound one.
+        const isRef = Role.of(field).isReference;
+        if (Judge.onAbsent(field) === null && name in valid) {
+            const body = { ...valid };
+            delete body[name];
+            cases.push({ why: `${name} absent`, body, patch: false, expect: { reject: name } });
+        }
+        if (Boundary.of(field).readOnly) {
+            cases.push({ why: `${name} supplied although read-only`, body: withField(name, wrongTypeFor(field)), patch: false, expect: { reject: name } });
+        }
+        if (Lifecycle.of(field).immutable && !Role.of(field).isPrimary) {
+            cases.push({ why: `${name} supplied on an update`, body: { [name]: valid[name] ?? wrongTypeFor(field) }, patch: true, expect: { reject: name } });
+        }
+        if (name in valid && !isRef) {
+            cases.push({ why: `${name} of the wrong type`, body: withField(name, wrongTypeFor(field)), patch: false, expect: { reject: name } });
+            for (const { why, value } of outOfBoundsFor(field))
+                cases.push({ why: `${name} ${why}`, body: withField(name, value), patch: false, expect: { reject: name } });
+        }
+    }
+    return cases;
+}
+/**
+ * The verdict a case expects, obtained from any judge.
+ *
+ * Takes the RESULT rather than the input so the same reader serves the local judge, the
+ * façade and a door — the three that have to agree.
+ */
+export function holds(expected, result) {
+    if (expected === 'accept')
+        return result.success;
+    if (result.success)
+        return false;
+    return (result.errors ?? []).some((error) => error.path === expected.reject);
+}
+/**
+ * Every way `Judge.row` can refuse, read from its own source.
+ *
+ * Returning names instead of a count makes an uncovered branch identifiable. Custom
+ * decoder failures remain outside the derived table because user code defines them.
+ */
+export function refusalBranches() {
+    const source = Judge.row.toString();
+    return [...source.matchAll(/message:\s*([^,}]+)/g)].map((match) => match[1].trim().replace(/^['"]|['"]$/g, ''));
+}
+//# sourceMappingURL=cases.js.map

package/dist/judge/cases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cases.js","sourceRoot":"","sources":["../../src/judge/cases.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAG5C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAuBnC,4FAA4F;AAC5F,SAAS,YAAY,CAAC,KAAY;IAChC,MAAM,QAAQ,GAAI,KAAK,CAAC,KAA+C,CAAC,IAAI,CAAC;IAC7E,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,2BAA2B,CAAC;AACrE,CAAC;AAED,0EAA0E;AAC1E,SAAS,cAAc,CAAC,KAAY;IAClC,gFAAgF;IAChF,qFAAqF;IACrF,sFAAsF;IACtF,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;IAC3C,MAAM,GAAG,GAAsC,EAAE,CAAC;IAClD,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC;YAC5D,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,kBAAkB,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAChF,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;YACrC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,IAAI,KAAK,CAAC,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1D,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;QACpG,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;IACtG,CAAC;IACD,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC;YAC1D,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,sBAAsB,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACvD,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;YACpC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,qBAAqB,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAkB,EAAE,KAA8B;IACzE,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;IAClC,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,KAAc,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAElF,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,4BAA4B,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;IACzI,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,sBAAsB,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAErG,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAsB,EAAE,CAAC;QACxE,oFAAoF;QACpF,uFAAuF;QACvF,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC;QAEzC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;YACpD,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACtF,CAAC;QAED,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,8BAA8B,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACjJ,CAAC;QAED,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,wBAAwB,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACpJ,CAAC;QAED,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,oBAAoB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACrI,KAAK,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,cAAc,CAAC,KAAK,CAAC;gBAChD,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAChH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CAAC,QAAwB,EAAE,MAAyD;IACvG,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,OAAO,CAAC;IACjD,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IACjC,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe;IAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACpC,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC;AAClH,CAAC"}

package/dist/judge/form.d.ts

@@ -0,0 +1,11 @@
+import type { ValidationError } from './result.js';
+export declare const isObject: (value: unknown) => value is Record<string, unknown>;
+/** A card is refused by naming what is wrong AND the remedy — never by a bare throw. */
+export declare function refuse(what: string, fix: string): never;
+/**
+ * A wire value admitted by the axis's OWN judge — legal only where its declared and wire
+ * forms are the same value, which `describe: v => v` states.
+ */
+export declare function admitWire(judge: (value: unknown, errors: ValidationError[]) => void, value: unknown, slot: string): void;
+export declare const oneOfTokens: <T extends readonly string[]>(value: unknown, tokens: T) => value is T[number];
+//# sourceMappingURL=form.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"form.d.ts","sourceRoot":"","sources":["../../src/judge/form.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,eAAO,MAAM,QAAQ,UAAW,OAAO,KAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CACH,CAAC;AAEvE,wFAAwF;AACxF,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,CAEvD;AAED;;;GAGG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,IAAI,EAC1D,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,MAAM,GACX,IAAI,CASN;AAED,eAAO,MAAM,WAAW,GAAI,CAAC,SAAS,SAAS,MAAM,EAAE,SAC9C,OAAO,UACN,CAAC,KACR,KAAK,IAAI,CAAC,CAAC,MAAM,CAA+E,CAAC"}

package/dist/judge/form.js

@@ -0,0 +1,18 @@
+export const isObject = (value) => typeof value === 'object' && value !== null && !Array.isArray(value);
+/** A card is refused by naming what is wrong AND the remedy — never by a bare throw. */
+export function refuse(what, fix) {
+    throw new Error(`This card cannot be read: ${what}.\n  ${fix}`);
+}
+/**
+ * A wire value admitted by the axis's OWN judge — legal only where its declared and wire
+ * forms are the same value, which `describe: v => v` states.
+ */
+export function admitWire(judge, value, slot) {
+    const errors = [];
+    judge(value, errors);
+    if (errors.length) {
+        refuse(`${slot} is malformed — ${errors.map((e) => `${e.path}: ${e.message}`).join('; ')}`, 'A card states an axis the way a declaration does.');
+    }
+}
+export const oneOfTokens = (value, tokens) => typeof value === 'string' && tokens.includes(value);
+//# sourceMappingURL=form.js.map

package/dist/judge/form.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"form.js","sourceRoot":"","sources":["../../src/judge/form.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAoC,EAAE,CAC3E,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAEvE,wFAAwF;AACxF,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,GAAW;IAC9C,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,QAAQ,GAAG,EAAE,CAAC,CAAC;AAClE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CACvB,KAA0D,EAC1D,KAAc,EACd,IAAY;IAEZ,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACrB,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,MAAM,CACJ,GAAG,IAAI,mBAAmB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACnF,mDAAmD,CACpD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAc,EACd,MAAS,EACW,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAK,MAA4B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC"}

package/dist/judge/options.d.ts

@@ -0,0 +1,4 @@
+export interface ValidateOptions {
+    patch?: boolean;
+}
+//# sourceMappingURL=options.d.ts.map

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

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

package/dist/judge/options.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=options.js.map

package/dist/judge/options.js.map

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

package/dist/judge/result.d.ts

@@ -0,0 +1,17 @@
+export interface ValidationError {
+    path: string;
+    message: string;
+}
+export type ValidationResult<T> = {
+    success: true;
+    data: T;
+} | {
+    success: false;
+    errors: ValidationError[];
+};
+export type Checked = {
+    value: unknown;
+} | {
+    error: string;
+};
+//# sourceMappingURL=result.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../src/judge/result.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,eAAe;IAC9B,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,MAAM,MAAM,OAAO,GAAG;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC"}

package/dist/judge/result.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=result.js.map

package/dist/judge/result.js.map

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

package/dist/name.d.ts

@@ -1,8 +1,3 @@
-/**
- * The key a class name is filed under — `AuthorUser` → `authorUser`. THE canonical
- * spelling, stated once because three places disagreed and only ever met on one-word
- * names: on `AuthorUser` the card wrote `authoruser` and the derived FK pointed at a
- * table no pass creates. Idempotent, so a card re-describes identically.
- */
 export declare function registrationKeyOf(className: string): string;
+export declare function classNameOf(registrationKey: string): string;
 //# sourceMappingURL=name.d.ts.map

package/dist/name.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"name.d.ts","sourceRoot":"","sources":["../src/name.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAE3D"}
+{"version":3,"file":"name.d.ts","sourceRoot":"","sources":["../src/name.ts"],"names":[],"mappings":"AAAA,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAgB,WAAW,CAAC,eAAe,EAAE,MAAM,GAAG,MAAM,CAE3D"}

package/dist/name.js

@@ -1,10 +1,7 @@
-/**
- * The key a class name is filed under — `AuthorUser` → `authorUser`. THE canonical
- * spelling, stated once because three places disagreed and only ever met on one-word
- * names: on `AuthorUser` the card wrote `authoruser` and the derived FK pointed at a
- * table no pass creates. Idempotent, so a card re-describes identically.
- */
 export function registrationKeyOf(className) {
     return className ? className[0].toLowerCase() + className.slice(1) : className;
 }
+export function classNameOf(registrationKey) {
+    return registrationKey ? registrationKey[0].toUpperCase() + registrationKey.slice(1) : registrationKey;
+}
 //# sourceMappingURL=name.js.map

package/dist/name.js.map

@@ -1 +1 @@
-{"version":3,"file":"name.js","sourceRoot":"","sources":["../src/name.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC"}
+{"version":3,"file":"name.js","sourceRoot":"","sources":["../src/name.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,eAAuB;IACjD,OAAO,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC;AACzG,CAAC"}

package/dist/projection/encode.d.ts

@@ -0,0 +1,3 @@
+import type { Fields } from '../Field.js';
+export declare function encodeFields(fields: Fields, record: Record<string, unknown>): Record<string, unknown>;
+//# sourceMappingURL=encode.d.ts.map

package/dist/projection/encode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"encode.d.ts","sourceRoot":"","sources":["../../src/projection/encode.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAWrG"}