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

package/dist/judge/ValueJudge.js

@@ -0,0 +1,60 @@
+import { Validator, format as engineFormats } from '@cfworker/json-schema';
+import { Formats } from '../axis/shape/Formats.js';
+import { Anatomy } from '../axis/shape/Shape.js';
+export class ValueJudge {
+    field;
+    static plans = new WeakMap();
+    constructor(field) {
+        this.field = field;
+    }
+    static of(field) {
+        return new ValueJudge(field);
+    }
+    check(value) {
+        const shape = this.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 = ValueJudge.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 planFor(shape) {
+        let plan = this.plans.get(shape);
+        if (!plan) {
+            const base = Anatomy.of(shape).base;
+            const formatName = base?.type === 'string' ? base.format : undefined;
+            plan = {
+                validator: new Validator(shape, '2020-12', true),
+                custom: formatName === undefined ? undefined : this.customFormatOf(formatName),
+                formatName,
+            };
+            this.plans.set(shape, plan);
+        }
+        return plan;
+    }
+    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;
+    }
+}
+//# sourceMappingURL=ValueJudge.js.map

package/dist/judge/ValueJudge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValueJudge.js","sourceRoot":"","sources":["../../src/judge/ValueJudge.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,IAAI,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAE,OAAO,EAAwB,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,OAAO,EAAc,MAAM,wBAAwB,CAAC;AAU7D,MAAM,OAAO,UAAU;IAGgB,KAAK;IAFlC,MAAM,CAAU,KAAK,GAAG,IAAI,OAAO,EAAqB,CAAC;IAEjE,YAAqC,KAAY;qBAAZ,KAAK;IAAU,CAAC;IAErD,MAAM,CAAC,EAAE,CAAC,KAAY;QACpB,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,KAAK,CAAC,KAAc;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,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,IACE,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC;gBACrD,OAAO,KAAK,KAAK,QAAQ;gBACzB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EACnB,CAAC;gBACD,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;YACxC,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvC,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;IAEO,MAAM,CAAC,OAAO,CAAC,KAAY;QACjC,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,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,IAAI,GAAG;gBACL,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,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,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;CACF"}

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/projection/SchemaOrCard.d.ts

@@ -0,0 +1,7 @@
+import type { Fields } from '../fields/Field.js';
+import type { SchemaView } from '../schema/SchemaView.js';
+import type { SchemaDescriptor } from '../card/Descriptor.js';
+export type SchemaOrCard = SchemaView | SchemaDescriptor;
+export declare function schemaOf(source: SchemaOrCard): SchemaView;
+export declare function fieldsOf(source: SchemaOrCard): Fields;
+//# sourceMappingURL=SchemaOrCard.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaOrCard.d.ts","sourceRoot":"","sources":["../../src/projection/SchemaOrCard.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAG9D,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,gBAAgB,CAAC;AAMzD,wBAAgB,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,UAAU,CAEzD;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAErD"}

package/dist/projection/SchemaOrCard.js

@@ -0,0 +1,11 @@
+import { Card } from '../card/Card.js';
+function isDescriptor(source) {
+    return typeof source.getFields !== 'function';
+}
+export function schemaOf(source) {
+    return isDescriptor(source) ? Card.fromDescriptor(source).toSchema() : source;
+}
+export function fieldsOf(source) {
+    return schemaOf(source).getFields();
+}
+//# sourceMappingURL=SchemaOrCard.js.map

package/dist/projection/SchemaOrCard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaOrCard.js","sourceRoot":"","sources":["../../src/projection/SchemaOrCard.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAIvC,SAAS,YAAY,CAAC,MAAoB;IACxC,OAAO,OAAQ,MAAqB,CAAC,SAAS,KAAK,UAAU,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,MAAoB;IAC3C,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,MAAoB;IAC3C,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC;AACtC,CAAC"}

package/dist/projection/Visibility.d.ts

@@ -0,0 +1,10 @@
+import type { Fields } from '../fields/Field.js';
+export declare class Visibility {
+    private readonly fields;
+    private constructor();
+    static of(fields: Fields): Visibility;
+    get input(): Fields;
+    get output(): Fields;
+    encode(record: Record<string, unknown>): Record<string, unknown>;
+}
+//# sourceMappingURL=Visibility.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Visibility.d.ts","sourceRoot":"","sources":["../../src/projection/Visibility.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD,qBAAa,UAAU;IACD,OAAO,CAAC,QAAQ,CAAC,MAAM;IAA3C,OAAO,eAAgD;IAEvD,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAEpC;IAED,IAAI,KAAK,IAAI,MAAM,CAWlB;IAED,IAAI,MAAM,IAAI,MAAM,CAOnB;IAED,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAW/D;CACF"}

package/dist/projection/Visibility.js

@@ -0,0 +1,55 @@
+import { Boundary } from '../axis/boundary/Boundary.js';
+import { Lifecycle } from '../axis/lifecycle/Lifecycle.js';
+import { Role } from '../axis/role/Role.js';
+export class Visibility {
+    fields;
+    constructor(fields) {
+        this.fields = fields;
+    }
+    static of(fields) {
+        return new Visibility(fields);
+    }
+    get input() {
+        const result = {};
+        for (const [name, field] of Object.entries(this.fields)) {
+            const role = Role.of(field);
+            if (role.isPrimary)
+                continue;
+            if (Lifecycle.of(field).create === 'now')
+                continue;
+            if (role.isCollection)
+                continue;
+            if (Boundary.of(field).readOnly)
+                continue;
+            result[name] = field;
+        }
+        return result;
+    }
+    get output() {
+        const result = {};
+        for (const [name, field] of Object.entries(this.fields)) {
+            if (Boundary.of(field).writeOnly)
+                continue;
+            result[name] = field;
+        }
+        return result;
+    }
+    encode(record) {
+        const out = { ...record };
+        for (const [key, field] of Object.entries(this.fields)) {
+            if (!(key in record))
+                continue;
+            const boundary = Boundary.of(field);
+            if (boundary.writeOnly) {
+                delete out[key];
+                continue;
+            }
+            const value = record[key];
+            if (value === null || value === undefined)
+                continue;
+            out[key] = boundary.encode(value);
+        }
+        return out;
+    }
+}
+//# sourceMappingURL=Visibility.js.map

package/dist/projection/Visibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Visibility.js","sourceRoot":"","sources":["../../src/projection/Visibility.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAG5C,MAAM,OAAO,UAAU;IACgB,MAAM;IAA3C,YAAqC,MAAc;sBAAd,MAAM;IAAW,CAAC;IAEvD,MAAM,CAAC,EAAE,CAAC,MAAc;QACtB,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,KAAK;QACP,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC5B,IAAI,IAAI,CAAC,SAAS;gBAAE,SAAS;YAC7B,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,KAAK;gBAAE,SAAS;YACnD,IAAI,IAAI,CAAC,YAAY;gBAAE,SAAS;YAChC,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ;gBAAE,SAAS;YAC1C,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;QACvB,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,MAAM;QACR,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACxD,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS;gBAAE,SAAS;YAC3C,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;QACvB,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,CAAC,MAA+B;QACpC,MAAM,GAAG,GAA4B,EAAE,GAAG,MAAM,EAAE,CAAC;QACnD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACvD,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC;gBAAE,SAAS;YAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;gBAAC,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACtD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YACpD,GAAG,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF"}

package/dist/{projections → projection}/standard.d.ts

@@ -1,11 +1,3 @@
-/**
- * Standard Schema v1 — types inlined from @standard-schema/spec.
- *
- * We inline instead of depending on the package to keep @fougere/schema zero-dep.
- * The spec is stable (v1) and unlikely to change.
- *
- * @see https://standardschema.dev/
- */
 export interface StandardSchemaV1<Input = unknown, Output = Input> {
     readonly '~standard': StandardSchemaV1.Props<Input, Output>;
 }
@@ -22,11 +14,11 @@ export declare namespace StandardSchemaV1 {
         readonly issues?: undefined;
     }
     interface FailureResult {
-        readonly issues: ReadonlyArray<Issue>;
+        readonly issues: readonly Issue[];
     }
     interface Issue {
         readonly message: string;
-        readonly path?: ReadonlyArray<PropertyKey | PathSegment> | undefined;
+        readonly path?: readonly (PropertyKey | PathSegment)[] | undefined;
     }
     interface PathSegment {
         readonly key: PropertyKey;

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

@@ -0,0 +1 @@
+{"version":3,"file":"standard.d.ts","sourceRoot":"","sources":["../../src/projection/standard.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,gBAAgB,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK;IAC/D,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;CAC7D;AAED,MAAM,CAAC,OAAO,WAAW,gBAAgB,CAAC;IACxC,UAAU,KAAK,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK;QAC7C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;QACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,QAAQ,EAAE,CACjB,KAAK,EAAE,OAAO,KACX,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9C,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,SAAS,CAAC;KACnD;IAED,KAAK,MAAM,CAAC,MAAM,IAAI,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC;IAE5D,UAAU,aAAa,CAAC,MAAM;QAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;KAC7B;IAED,UAAU,aAAa;QACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;KACnC;IAED,UAAU,KAAK;QACb,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,WAAW,GAAG,WAAW,CAAC,EAAE,GAAG,SAAS,CAAC;KACpE;IAED,UAAU,WAAW;QACnB,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;KAC3B;IAED,UAAU,KAAK,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK;QAC7C,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB;IAED,KAAK,UAAU,CAAC,MAAM,SAAS,gBAAgB,IAAI,WAAW,CAC5D,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAC7B,CAAC,OAAO,CAAC,CAAC;IAEX,KAAK,WAAW,CAAC,MAAM,SAAS,gBAAgB,IAAI,WAAW,CAC7D,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAC7B,CAAC,QAAQ,CAAC,CAAC;CACb"}

package/dist/projection/standard.js

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

package/dist/projection/standard.js.map

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

package/dist/schema/Schema.d.ts

@@ -0,0 +1,63 @@
+import { type Fields } from '../fields/Field.js';
+import { type PreviousNames } from '../EntityDeclarations.js';
+import { type EntityAdapters } from '../EntityAdapters.js';
+import { type CompositeUnique } from '../EntityDeclarations.js';
+import { SchemaDerivation } from './SchemaDerivation.js';
+import { SchemaDefinition } from './SchemaDefinition.js';
+import { type ValidateOptions } from '../judge/options.js';
+import type { StandardSchemaV1 } from '../projection/standard.js';
+import type { PartialRow, Row, SchemaView } from './SchemaView.js';
+export declare const ANONYMOUS_SCHEMA_NAME = "Schema";
+export interface SchemaConstructor<TFields extends Fields> extends SchemaView<TFields> {
+    new (data: PartialRow<TFields>): Row<TFields>;
+    readonly "~standard": StandardSchemaV1.Props<Record<string, unknown>, Row<TFields>>;
+    readonly derivation?: SchemaDerivation;
+    readonly previous?: PreviousNames<TFields>;
+    from(data: Record<string, unknown>): Row<TFields>;
+    pick<K extends string & keyof TFields>(...keys: K[]): SchemaConstructor<Pick<TFields, K>>;
+    omit<K extends string & keyof TFields>(...keys: K[]): SchemaConstructor<Omit<TFields, K>>;
+    partial(): SchemaConstructor<TFields>;
+    extend<E extends Fields>(extra: E): SchemaConstructor<TFields & E>;
+    named(name: string): SchemaConstructor<TFields>;
+    rename(mapping: Partial<Record<string & keyof TFields, string>>): SchemaConstructor<Fields>;
+}
+export declare class Schema {
+    /** The one place a schema holds what it is. The five readings below are its projections. */
+    static definition: SchemaDefinition;
+    static get fields(): Fields;
+    static get adapters(): EntityAdapters<Fields> | undefined;
+    static get opts(): ValidateOptions;
+    static get derivation(): SchemaDerivation | undefined;
+    static get previous(): PreviousNames<Fields> | undefined;
+    constructor(data?: Record<string, unknown>);
+    static getFields(): Fields;
+    static getAdapters(): Partial<import("../EntityAdapters.js").FougereEntityAdapters<string>> | undefined;
+    static getUnique(): CompositeUnique<Fields> | undefined;
+    static getOpts(): ValidateOptions;
+    static validate(input: unknown): import("../index.js").ValidationResult<Record<string, unknown>>;
+    static from(data: Record<string, unknown>): Record<string, unknown>;
+    static get ["~standard"](): StandardSchemaV1.Props<Record<string, unknown>>;
+    static pick(...keys: string[]): SchemaConstructor<Fields>;
+    static omit(...keys: string[]): SchemaConstructor<Fields>;
+    static rename(mapping: Record<string, string>): SchemaConstructor<Fields>;
+    static partial(): SchemaConstructor<Fields>;
+    static extend(extra: Fields): SchemaConstructor<Fields>;
+    static named(name: string): typeof Schema;
+    static compose<T extends SchemaView[]>(...sources: T): SchemaConstructor<Merged<T>>;
+    static of<TFields extends Fields>(stated: {
+        fields: TFields;
+        derivation?: SchemaDerivation;
+        adapters?: EntityAdapters<TFields>;
+        opts?: ValidateOptions;
+        previous?: PreviousNames<TFields>;
+    }): SchemaConstructor<TFields>;
+    /** The class a definition becomes. The one place a Schema subclass is born. */
+    private static subclass;
+    private static derive;
+}
+type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+type Merged<T extends SchemaView[]> = UnionToIntersection<T[number] extends {
+    getFields(): infer F;
+} ? F : Fields> & Fields;
+export {};
+//# sourceMappingURL=Schema.d.ts.map

package/dist/schema/Schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Schema.d.ts","sourceRoot":"","sources":["../../src/schema/Schema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAG3D,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEhE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAEnE,eAAO,MAAM,qBAAqB,WAAW,CAAC;AAE9C,MAAM,WAAW,iBAAiB,CAAC,OAAO,SAAS,MAAM,CAAE,SAAQ,UAAU,CAAC,OAAO,CAAC;IACpF,KAAK,IAAI,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACpF,QAAQ,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,OAAO,EAAE,GAAG,IAAI,EAAE,CAAC,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,iBAAiB,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IACnE,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,OAAO,EAAE,MAAM,CAAC,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;CAC7F;AAED,qBAAa,MAAM;IACjB,4FAA4F;IAC5F,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAA2C;IAE9E,MAAM,KAAK,MAAM,IAAI,MAAM,CAAmC;IAC9D,MAAM,KAAK,QAAQ,IAAI,cAAc,CAAC,MAAM,CAAC,GAAG,SAAS,CAAqC;IAC9F,MAAM,KAAK,IAAI,IAAI,eAAe,CAAiC;IACnE,MAAM,KAAK,UAAU,IAAI,gBAAgB,GAAG,SAAS,CAAuC;IAC5F,MAAM,KAAK,QAAQ,IAAI,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAqC;IAE7F,YAAY,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAKzC;IAED,MAAM,CAAC,SAAS,WAA0B;IAC1C,MAAM,CAAC,WAAW,sFAA4B;IAC9C,MAAM,CAAC,SAAS,IAAI,eAAe,CAAC,MAAM,CAAC,GAAG,SAAS,CAGtD;IACD,MAAM,CAAC,OAAO,oBAAwB;IAEtC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,mEAE7B;IAED,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,2BAUxC;IAED,MAAM,KAAK,CAAC,WAAW,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAgB1E;IAED,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,6BAK5B;IAED,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,6BAK5B;IAED,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,6BAK5C;IAED,MAAM,CAAC,OAAO,8BAEb;IAED,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,6BAE1B;IAED,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,iBASxB;IAED,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,UAAU,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAElF;IAED,MAAM,CAAC,EAAE,CAAC,OAAO,SAAS,MAAM,EAAE,MAAM,EAAE;QACxC,MAAM,EAAE,OAAO,CAAC;QAChB,UAAU,CAAC,EAAE,gBAAgB,CAAC;QAC9B,QAAQ,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;QACnC,IAAI,CAAC,EAAE,eAAe,CAAC;QACvB,QAAQ,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;KACnC,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAE7B;IAED,+EAA+E;IAC/E,OAAO,CAAC,MAAM,CAAC,QAAQ;IAOvB,OAAO,CAAC,MAAM,CAAC,MAAM;CAGtB;AAWD,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AACpH,KAAK,MAAM,CAAC,CAAC,SAAS,UAAU,EAAE,IAAI,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS;IAAE,SAAS,IAAI,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC"}

package/dist/schema/Schema.js

@@ -0,0 +1,129 @@
+import { Boundary } from '../axis/boundary/Boundary.js';
+import { FieldGroup } from '../constraint/FieldGroup.js';
+import { Unique } from '../constraint/Unique.js';
+import { RowJudge } from '../judge/RowJudge.js';
+import { SchemaDefinition } from './SchemaDefinition.js';
+export const ANONYMOUS_SCHEMA_NAME = "Schema";
+export class Schema {
+    /** The one place a schema holds what it is. The five readings below are its projections. */
+    static definition = SchemaDefinition.stated({ fields: {} });
+    static get fields() { return this.definition.fields; }
+    static get adapters() { return this.definition.adapters; }
+    static get opts() { return this.definition.opts; }
+    static get derivation() { return this.definition.derivation; }
+    static get previous() { return this.definition.previous; }
+    constructor(data) {
+        if (!data)
+            return;
+        for (const [key, value] of Object.entries(data)) {
+            Object.defineProperty(this, key, { value, writable: true, enumerable: true, configurable: true });
+        }
+    }
+    static getFields() { return this.fields; }
+    static getAdapters() { return this.adapters; }
+    static getUnique() {
+        const groups = FieldGroup.groupsOf(this.fields, Unique);
+        return groups.length ? groups.map((group) => [...group.members]) : undefined;
+    }
+    static getOpts() { return this.opts; }
+    static validate(input) {
+        return RowJudge.of(this.fields, this.opts).check(input);
+    }
+    static from(data) {
+        const out = {};
+        for (const [key, field] of Object.entries(this.fields)) {
+            if (!(key in data))
+                continue;
+            const value = data[key];
+            if (value === null || value === undefined) {
+                out[key] = value;
+                continue;
+            }
+            const decoded = Boundary.of(field).decode(value);
+            out[key] = "error" in decoded ? value : decoded.value;
+        }
+        return out;
+    }
+    static get ["~standard"]() {
+        const { fields, opts } = this;
+        return {
+            version: 1,
+            vendor: "fougere",
+            validate(value) {
+                const result = RowJudge.of(fields, opts).check(value);
+                if (result.success)
+                    return { value: result.data };
+                return {
+                    issues: result.errors.map((e) => ({
+                        message: e.message,
+                        path: e.path && e.path !== "." ? [{ key: e.path }] : undefined,
+                    })),
+                };
+            },
+        };
+    }
+    static pick(...keys) {
+        assertKnownKeys("pick", keys, this.fields);
+        const picked = {};
+        for (const key of keys)
+            if (this.fields[key])
+                picked[key] = this.fields[key];
+        return this.derive(picked, (k) => (keys.includes(k) ? k : undefined));
+    }
+    static omit(...keys) {
+        assertKnownKeys("omit", keys, this.fields);
+        const kept = {};
+        for (const [key, field] of Object.entries(this.fields))
+            if (!keys.includes(key))
+                kept[key] = field;
+        return this.derive(kept, (k) => (keys.includes(k) ? undefined : k));
+    }
+    static rename(mapping) {
+        assertKnownKeys("rename", Object.keys(mapping), this.fields);
+        const renamed = {};
+        for (const [key, field] of Object.entries(this.fields))
+            renamed[mapping[key] ?? key] = field;
+        return this.derive(renamed, (k) => mapping[k] ?? k);
+    }
+    static partial() {
+        return Schema.subclass(this.definition.patched(this));
+    }
+    static extend(extra) {
+        return Schema.subclass(this.definition.extended(extra, this));
+    }
+    static named(name) {
+        if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(name)) {
+            throw new Error(`named(): \`${name}\` is not a valid class name.`);
+        }
+        if (this.name !== ANONYMOUS_SCHEMA_NAME) {
+            throw new Error(`named(): \`${this.name}\` is already named by its class declaration.`);
+        }
+        Object.defineProperty(this, "name", { value: name, configurable: true });
+        return this;
+    }
+    static compose(...sources) {
+        return Schema.subclass(SchemaDefinition.merged(sources));
+    }
+    static of(stated) {
+        return Schema.subclass(SchemaDefinition.stated(stated));
+    }
+    /** The class a definition becomes. The one place a Schema subclass is born. */
+    static subclass(definition) {
+        class Derived extends Schema {
+        }
+        Derived.definition = definition;
+        Object.defineProperty(Derived, "name", { value: ANONYMOUS_SCHEMA_NAME, configurable: true });
+        return Derived;
+    }
+    static derive(fields, survives) {
+        return Schema.subclass(this.definition.cut(fields, survives, this));
+    }
+}
+function assertKnownKeys(operation, keys, fields) {
+    const strangers = keys.filter((key) => !(key in fields));
+    if (strangers.length === 0)
+        return;
+    throw new Error(`${operation}(): unknown field ${strangers.map((s) => `\`${s}\``).join(", ")}. ` +
+        `This schema carries ${Object.keys(fields).join(", ")}.`);
+}
+//# sourceMappingURL=Schema.js.map

package/dist/schema/Schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Schema.js","sourceRoot":"","sources":["../../src/schema/Schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAIxD,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAEjD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAEhD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAKzD,MAAM,CAAC,MAAM,qBAAqB,GAAG,QAAQ,CAAC;AAgB9C,MAAM,OAAO,MAAM;IACjB,4FAA4F;IAC5F,MAAM,CAAC,UAAU,GAAqB,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IAE9E,MAAM,KAAK,MAAM,KAAa,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9D,MAAM,KAAK,QAAQ,KAAyC,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9F,MAAM,KAAK,IAAI,KAAsB,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACnE,MAAM,KAAK,UAAU,KAAmC,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IAC5F,MAAM,KAAK,QAAQ,KAAwC,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;IAE7F,YAAY,IAA8B;QACxC,IAAI,CAAC,IAAI;YAAE,OAAO;QAClB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QACpG,CAAC;IACH,CAAC;IAED,MAAM,CAAC,SAAS,KAAK,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,WAAW,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9C,MAAM,CAAC,SAAS;QACd,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACxD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/E,CAAC;IACD,MAAM,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAEtC,MAAM,CAAC,QAAQ,CAAC,KAAc;QAC5B,OAAO,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,IAA6B;QACvC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACvD,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC;gBAAE,SAAS;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;YACxB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAAC,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;gBAAC,SAAS;YAAC,CAAC;YAC1E,MAAM,OAAO,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACjD,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;QACxD,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,KAAK,CAAC,WAAW,CAAC;QACtB,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;QAC9B,OAAO;YACL,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,SAAS;YACjB,QAAQ,CAAC,KAAc;gBACrB,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACtD,IAAI,MAAM,CAAC,OAAO;oBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;gBAClD,OAAO;oBACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBAChC,OAAO,EAAE,CAAC,CAAC,OAAO;wBAClB,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;qBAC/D,CAAC,CAAC;iBACJ,CAAC;YACJ,CAAC;SACF,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,GAAG,IAAc;QAC3B,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,KAAK,MAAM,GAAG,IAAI,IAAI;YAAE,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC7E,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,GAAG,IAAc;QAC3B,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAW,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACnG,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,OAA+B;QAC3C,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAW,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;QAC7F,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,CAAC;IAED,MAAM,CAAC,OAAO;QACZ,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,KAAa;QACzB,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,IAAY;QACvB,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,+BAA+B,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,IAAI,+CAA+C,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QACzE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,OAAO,CAAyB,GAAG,OAAU;QAClD,OAAO,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,CAA4C,CAAC;IACtG,CAAC;IAED,MAAM,CAAC,EAAE,CAAyB,MAMjC;QACC,OAAO,MAAM,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAA0C,CAAC;IACnG,CAAC;IAED,+EAA+E;IACvE,MAAM,CAAC,QAAQ,CAAC,UAA4B;QAClD,MAAM,OAAQ,SAAQ,MAAM;SAAG;QAC/B,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC;QAChC,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,qBAAqB,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7F,OAAO,OAA+C,CAAC;IACzD,CAAC;IAEO,MAAM,CAAC,MAAM,CAAC,MAAc,EAAE,QAA6C;QACjF,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IACtE,CAAC;CACF;AAED,SAAS,eAAe,CAAC,SAAiB,EAAE,IAAc,EAAE,MAAc;IACxE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC;IACzD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACnC,MAAM,IAAI,KAAK,CACb,GAAG,SAAS,qBAAqB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAC9E,uBAAuB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3D,CAAC;AACJ,CAAC"}

package/dist/schema/SchemaDefinition.d.ts

@@ -0,0 +1,46 @@
+import { type Fields } from '../fields/Field.js';
+import { type PreviousNames } from '../EntityDeclarations.js';
+import { type EntityAdapters } from '../EntityAdapters.js';
+import { SchemaDerivation } from './SchemaDerivation.js';
+import { type ValidateOptions } from '../judge/options.js';
+import type { SchemaView } from './SchemaView.js';
+/**
+ * Everything a schema IS, apart from being a class whose instances are rows.
+ *
+ * The five members used to be five statics assigned side by side, and every derivation
+ * re-threaded them by hand — which is how one of them came to be dropped from a list
+ * without anyone noticing. A transformation here returns a COMPLETE definition or it does
+ * not compile, so no gesture can mix the fields of one with the options of another.
+ *
+ * Internal: it is not exported from the package and never appears on `SchemaConstructor`.
+ * A user derives with `Order.pick(…)`, never `Order.definition.pick(…)`.
+ */
+export declare class SchemaDefinition {
+    readonly fields: Fields;
+    readonly adapters: EntityAdapters<Fields> | undefined;
+    readonly opts: ValidateOptions;
+    readonly previous: PreviousNames<Fields> | undefined;
+    readonly derivation: SchemaDerivation | undefined;
+    private constructor();
+    static stated(said: {
+        fields: Fields;
+        adapters?: EntityAdapters<Fields>;
+        opts?: ValidateOptions;
+        previous?: PreviousNames<Fields>;
+        derivation?: SchemaDerivation;
+    }): SchemaDefinition;
+    /**
+     * `pick`, `omit` and `rename` are one gesture: the fields that remain, and what became
+     * of each name. What each adapter was handed follows the same correspondence, and so does the origin.
+     */
+    cut(fields: Fields, survives: (key: string) => string | undefined, root: SchemaView): SchemaDefinition;
+    /** The same fields, judged as an update. */
+    patched(root: SchemaView): SchemaDefinition;
+    /** The added fields have no origin, so the derivation is unchanged: it speaks of the root. */
+    extended(extra: Fields, root: SchemaView): SchemaDefinition;
+    /** Several views folded into one definition, which therefore has no single origin. */
+    static merged(views: readonly SchemaView[]): SchemaDefinition;
+    /** The origin this definition already carries, or the one `root` becomes. */
+    private origin;
+}
+//# sourceMappingURL=SchemaDefinition.d.ts.map

package/dist/schema/SchemaDefinition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaDefinition.d.ts","sourceRoot":"","sources":["../../src/schema/SchemaDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAoB,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD;;;;;;;;;;GAUG;AACH,qBAAa,gBAAgB;IAEzB,QAAQ,CAAC,MAAM,EAAE,MAAM;IACvB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,SAAS;IACrD,QAAQ,CAAC,IAAI,EAAE,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS;IACpD,QAAQ,CAAC,UAAU,EAAE,gBAAgB,GAAG,SAAS;IALnD,OAAO,eAMH;IAEJ,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,CAAC,EAAE,eAAe,CAAC;QACvB,QAAQ,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;QACjC,UAAU,CAAC,EAAE,gBAAgB,CAAC;KAC/B,GAAG,gBAAgB,CAInB;IAED;;;OAGG;IACH,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,EAAE,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAUrG;IAED,4CAA4C;IAC5C,OAAO,CAAC,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAI1C;IAED,8FAA8F;IAC9F,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAI1D;IAED,sFAAsF;IACtF,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,gBAAgB,CAU5D;IAED,6EAA6E;IAC7E,OAAO,CAAC,MAAM;CAGf"}

package/dist/schema/SchemaDefinition.js

@@ -0,0 +1,64 @@
+import { EntityAdapterSet } from '../EntityAdapters.js';
+import { SchemaDerivation } from './SchemaDerivation.js';
+/**
+ * Everything a schema IS, apart from being a class whose instances are rows.
+ *
+ * The five members used to be five statics assigned side by side, and every derivation
+ * re-threaded them by hand — which is how one of them came to be dropped from a list
+ * without anyone noticing. A transformation here returns a COMPLETE definition or it does
+ * not compile, so no gesture can mix the fields of one with the options of another.
+ *
+ * Internal: it is not exported from the package and never appears on `SchemaConstructor`.
+ * A user derives with `Order.pick(…)`, never `Order.definition.pick(…)`.
+ */
+export class SchemaDefinition {
+    fields;
+    adapters;
+    opts;
+    previous;
+    derivation;
+    constructor(fields, adapters, opts, previous, derivation) {
+        this.fields = fields;
+        this.adapters = adapters;
+        this.opts = opts;
+        this.previous = previous;
+        this.derivation = derivation;
+    }
+    static stated(said) {
+        return new SchemaDefinition(said.fields, EntityAdapterSet.of(said.adapters)?.stated, said.opts ?? {}, said.previous, said.derivation);
+    }
+    /**
+     * `pick`, `omit` and `rename` are one gesture: the fields that remain, and what became
+     * of each name. What each adapter was handed follows the same correspondence, and so does the origin.
+     */
+    cut(fields, survives, root) {
+        const renamed = {};
+        for (const [key, field] of Object.entries(fields))
+            renamed[key] = field.rename(survives);
+        return new SchemaDefinition(renamed, EntityAdapterSet.of(this.adapters)?.cut(survives)?.stated, this.opts, undefined, this.origin(root).compose(survives));
+    }
+    /** The same fields, judged as an update. */
+    patched(root) {
+        return new SchemaDefinition({ ...this.fields }, this.adapters, { ...this.opts, patch: true }, undefined, this.origin(root));
+    }
+    /** The added fields have no origin, so the derivation is unchanged: it speaks of the root. */
+    extended(extra, root) {
+        return new SchemaDefinition({ ...this.fields, ...extra }, this.adapters, this.opts, undefined, this.origin(root));
+    }
+    /** Several views folded into one definition, which therefore has no single origin. */
+    static merged(views) {
+        const fields = {};
+        let opts = {};
+        for (const view of views) {
+            Object.assign(fields, view.getFields());
+            opts = { ...opts, ...view.getOpts() };
+        }
+        const adapters = EntityAdapterSet.merged(views.map((view) => view.getAdapters()))?.stated;
+        return new SchemaDefinition(fields, adapters, opts, undefined, undefined);
+    }
+    /** The origin this definition already carries, or the one `root` becomes. */
+    origin(root) {
+        return this.derivation ?? SchemaDerivation.first(root, this.fields);
+    }
+}
+//# sourceMappingURL=SchemaDefinition.js.map

package/dist/schema/SchemaDefinition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaDefinition.js","sourceRoot":"","sources":["../../src/schema/SchemaDefinition.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAuB,MAAM,sBAAsB,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAIzD;;;;;;;;;;GAUG;AACH,MAAM,OAAO,gBAAgB;IAEhB,MAAM;IACN,QAAQ;IACR,IAAI;IACJ,QAAQ;IACR,UAAU;IALrB,YACW,MAAc,EACd,QAA4C,EAC5C,IAAqB,EACrB,QAA2C,EAC3C,UAAwC;sBAJxC,MAAM;wBACN,QAAQ;oBACR,IAAI;wBACJ,QAAQ;0BACR,UAAU;IAClB,CAAC;IAEJ,MAAM,CAAC,MAAM,CAAC,IAMb;QACC,OAAO,IAAI,gBAAgB,CACzB,IAAI,CAAC,MAAM,EAAE,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,CACzG,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,GAAG,CAAC,MAAc,EAAE,QAA6C,EAAE,IAAgB;QACjF,MAAM,OAAO,GAAW,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACzF,OAAO,IAAI,gBAAgB,CACzB,OAAO,EACP,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EACzD,IAAI,CAAC,IAAI,EACT,SAAS,EACT,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CACpC,CAAC;IACJ,CAAC;IAED,4CAA4C;IAC5C,OAAO,CAAC,IAAgB;QACtB,OAAO,IAAI,gBAAgB,CACzB,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAC/F,CAAC;IACJ,CAAC;IAED,8FAA8F;IAC9F,QAAQ,CAAC,KAAa,EAAE,IAAgB;QACtC,OAAO,IAAI,gBAAgB,CACzB,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CACrF,CAAC;IACJ,CAAC;IAED,sFAAsF;IACtF,MAAM,CAAC,MAAM,CAAC,KAA4B;QACxC,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,IAAI,IAAI,GAAoB,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;YACxC,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACxC,CAAC;QACD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC;QAE1F,OAAO,IAAI,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IAC5E,CAAC;IAED,6EAA6E;IACrE,MAAM,CAAC,IAAgB;QAC7B,OAAO,IAAI,CAAC,UAAU,IAAI,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACtE,CAAC;CACF"}

package/dist/schema/SchemaDerivation.d.ts

@@ -0,0 +1,28 @@
+import { type Fields } from '../fields/Field.js';
+import type { SchemaView } from './SchemaView.js';
+/**
+ * What a derived schema says about its ORIGIN: the class it was cut from, and what the cut
+ * left of each of that class's fields.
+ *
+ * The origin is the ROOT — `Post.pick(a, b).omit(b)` answers `Post` and never the
+ * intermediate — so a chain is flattened rather than journalled, and the two halves cannot
+ * disagree: a derivation always carries both, which `source` and `survived` as independent
+ * properties could not promise.
+ */
+export declare class SchemaDerivation {
+    readonly source: SchemaView;
+    readonly survived: Readonly<Record<string, string | undefined>>;
+    private constructor();
+    /** The first cut: every field of the origin still answers to its own name. */
+    static first(source: SchemaView, fields: Fields): SchemaDerivation;
+    /** The same origin, seen through one more cut. */
+    compose(survives: (key: string) => string | undefined): SchemaDerivation;
+    get sourceName(): string;
+    /**
+     * What the ROOT calls `key`, translated to the name it carries here — `undefined` when a
+     * cut dropped it. A reader that needs something the root declared about a field asks the
+     * root and comes back through this; it does not keep a copy of the answer.
+     */
+    hereFor(key: string): string | undefined;
+}
+//# sourceMappingURL=SchemaDerivation.d.ts.map

package/dist/schema/SchemaDerivation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaDerivation.d.ts","sourceRoot":"","sources":["../../src/schema/SchemaDerivation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD;;;;;;;;GAQG;AACH,qBAAa,gBAAgB;IAEzB,QAAQ,CAAC,MAAM,EAAE,UAAU;IAC3B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IAFjE,OAAO,eAGH;IAEJ,8EAA8E;IAC9E,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAEjE;IAED,kDAAkD;IAClD,OAAO,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GAAG,gBAAgB,CAOvE;IAED,IAAI,UAAU,IAAI,MAAM,CAEvB;IAED;;;;OAIG;IACH,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAEvC;CACF"}