@fougere/schema 0.6.0-alpha.0 → 0.8.0-alpha.0

package/README.md

@@ -35,13 +35,14 @@ PostDraft['~standard'].validate({ title: '' });
 // → { issues: [{ message: 'String is too short (0 < 1).', path: [{ key: 'title' }] }] }
 ```
 
-Validation is synchronous, and the spec types are inlined rather than depended on, so
-this package stays zero-dependency.
+Validation is synchronous, and the spec types come from the package that publishes them.
+That package is types only — its `index.js` is zero bytes — so a browser pays nothing for
+it.
 
-One difference from most vendors, and it is deliberate: **the judge does not fill
+One difference from most vendors, and it is deliberate: **the validator does not fill
 defaults**. A field declared `bool({ default: false })` may be absent — that is legal,
 and the value comes back without the key. Filling belongs to the storage, at the point
-of persistence, so the same input judged twice never gains a field on the way through.
+of persistence, so the same input validated twice never gains a field on the way through.
 
 ## Installation
 ```bash

package/dist/{schema/Schema.d.ts → Schema.d.ts}

@@ -1,19 +1,19 @@
-import { type Fields } from './fields/Field.js';
-import { type CompositeUnique, type EntityDeclarations, type PreviousNames } from '../entity/EntityDeclarations.js';
-import { type EntityAdapters } from '../entity/EntityAdapters.js';
+import { type Fields } from './field/Field.js';
+import { type CompositeUnique, type EntityDeclarations, type PreviousNames } from './entity/EntityDeclarations.js';
+import { type EntityAdapters } from './entity/EntityAdapters.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';
+import { SchemaDefinition, type SchemaConstraints } from './SchemaDefinition.js';
+import { type ValidateOptions } from './validator/InputValidator.js';
+import type { StandardSchemaV1 } from './projection/standard.js';
+import type { PartialValues, Values, 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>>;
+    new (data: PartialValues<TFields>): Values<TFields>;
+    readonly '~standard': StandardSchemaV1.Props<Record<string, unknown>, Values<TFields>>;
     readonly derivation?: SchemaDerivation;
     readonly previous?: PreviousNames<TFields>;
     readonly anchored?: boolean;
-    from(data: Record<string, unknown>): Row<TFields>;
+    from(data: Record<string, unknown>): Values<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>;
@@ -27,50 +27,40 @@ export declare class Schema {
     /** The one place a schema holds what it is. The readings below are its projections. */
     static definition: SchemaDefinition;
     static get fields(): Fields;
-    static get adapters(): EntityAdapters<Fields> | undefined;
+    /** An entry survives every derivation that kept its field: `Post.pick('body').adapters`. */
+    static get adapters(): EntityAdapters<Fields>;
     static get opts(): ValidateOptions;
     static get derivation(): SchemaDerivation | undefined;
     static get previous(): PreviousNames<Fields> | undefined;
+    /** An anchor holds rows of its own; a derivation borrows them. */
     static get anchored(): boolean;
     constructor(data?: Record<string, unknown>);
     static getFields(): Fields;
-    static getAdapters(): Readonly<Partial<import("../entity/EntityAdapters.js").FougereEntityAdapters<string>>> | undefined;
+    static getAdapters(): Readonly<Partial<import("./entity/EntityAdapters.js").FougereEntityAdapters<string>>>;
     static getUnique(): CompositeUnique<Fields> | undefined;
     static getOpts(): ValidateOptions;
-    static validate(input: unknown): import("../index.js").ValidationResult<Record<string, unknown>>;
+    static validate(input: unknown): import("./validation.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>;
-    /**
-     * Everything a schema states about ITSELF, available wherever a schema is. `entity(fields, …)`
-     * is this same gesture at the declaration site; the fields do not move, so neither does the type.
-     */
     static declares(declarations: EntityDeclarations<Fields>): SchemaConstructor<Fields>;
-    /**
-     * This schema holds rows of its own — every entity is one, and a derivation says so.
-     *
-     * An anchor is where a walk STOPS: `derivation.anchor` climbs to the nearest one, and what
-     * is cut from an anchor roots on it. Two anchors are two entities that happen to share a
-     * shape, never a hierarchy — nothing here subtypes, so a relation between them is `ref()`.
-     */
     static anchor(): 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: {
+    static of<TFields extends Fields>(declaration: {
         fields: TFields;
         derivation?: SchemaDerivation;
         adapters?: EntityAdapters<TFields>;
         opts?: ValidateOptions;
         previous?: PreviousNames<TFields>;
         anchored?: boolean;
+        constraints?: SchemaConstraints;
     }): 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 {

package/dist/Schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Schema.d.ts","sourceRoot":"","sources":["../src/Schema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EACnB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAEjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,KAAK,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACjF,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAEzE,eAAO,MAAM,qBAAqB,WAAW,CAAC;AAE9C,MAAM,WAAW,iBAAiB,CAAC,OAAO,SAAS,MAAM,CAAE,SAAQ,UAAU,CAAC,OAAO,CAAC;IACpF,KAAK,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACpD,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACvF,QAAQ,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IACrD,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,OAAO,EACnC,GAAG,IAAI,EAAE,CAAC,EAAE,GACX,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,OAAO,EACnC,GAAG,IAAI,EAAE,CAAC,EAAE,GACX,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,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,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC,OAAO,CAAC,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAChF,MAAM,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,CACJ,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,OAAO,EAAE,MAAM,CAAC,CAAC,GACvD,iBAAiB,CAAC,MAAM,CAAC,CAAC;CAC9B;AAED,qBAAa,MAAM;IACjB,uFAAuF;IACvF,MAAM,CAAC,UAAU,EAAE,gBAAgB,CAAuC;IAE1E,MAAM,KAAK,MAAM,IAAI,MAAM,CAE1B;IACD,4FAA4F;IAC5F,MAAM,KAAK,QAAQ,IAAI,cAAc,CAAC,MAAM,CAAC,CAE5C;IACD,MAAM,KAAK,IAAI,IAAI,eAAe,CAEjC;IACD,MAAM,KAAK,UAAU,IAAI,gBAAgB,GAAG,SAAS,CAEpD;IACD,MAAM,KAAK,QAAQ,IAAI,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAEvD;IACD,kEAAkE;IAClE,MAAM,KAAK,QAAQ,IAAI,OAAO,CAE7B;IAED,YAAY,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAUzC;IAED,MAAM,CAAC,SAAS,WAEf;IACD,MAAM,CAAC,WAAW,0FAEjB;IACD,MAAM,CAAC,SAAS,IAAI,eAAe,CAAC,MAAM,CAAC,GAAG,SAAS,CAEtD;IACD,MAAM,CAAC,OAAO,oBAEb;IAED,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,uEAE7B;IAED,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,2BAaxC;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,6BAE5B;IAED,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,MAAM,EAAE,6BAE5B;IAED,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,6BAE5C;IAED,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC,MAAM,CAAC,6BAEvD;IAED,MAAM,CAAC,MAAM,8BAEZ;IAED,MAAM,CAAC,OAAO,8BAEb;IAED,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,6BAE1B;IAED,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,iBAWxB;IAED,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,UAAU,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAIlF;IAED,MAAM,CAAC,EAAE,CAAC,OAAO,SAAS,MAAM,EAAE,WAAW,EAAE;QAC7C,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;QAClC,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,WAAW,CAAC,EAAE,iBAAiB,CAAC;KACjC,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAI7B;IAED,OAAO,CAAC,MAAM,CAAC,QAAQ;CASxB;AAED,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CACjF,CAAC,EAAE,MAAM,CAAC,KACP,IAAI,GACL,CAAC,GACD,KAAK,CAAC;AACV,KAAK,MAAM,CAAC,CAAC,SAAS,UAAU,EAAE,IAAI,mBAAmB,CACvD,CAAC,CAAC,MAAM,CAAC,SAAS;IAAE,SAAS,IAAI,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,MAAM,CACxD,GACC,MAAM,CAAC"}

package/dist/{schema/Schema.js → Schema.js}

@@ -1,18 +1,16 @@
 import { Boundary } from './axis/boundary/Boundary.js';
-import { EntityAdapterSet } from '../entity/EntityAdapters.js';
-import { FieldGroup } from './fields/constraint/FieldGroup.js';
-import { Unique } from './fields/constraint/Unique.js';
-import { RowJudge } from '../judge/RowJudge.js';
+import { InputValidator } from './validator/InputValidator.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 readings below are its projections. */
-    static definition = SchemaDefinition.stated({ fields: {} });
+    static definition = SchemaDefinition.of({ fields: {} });
     static get fields() {
         return this.definition.fields;
     }
+    /** An entry survives every derivation that kept its field: `Post.pick('body').adapters`. */
     static get adapters() {
-        return this.definition.adapters;
+        return this.definition.adapterSet.adapters;
     }
     static get opts() {
         return this.definition.opts;
@@ -23,6 +21,7 @@ export class Schema {
     static get previous() {
         return this.definition.previous;
     }
+    /** An anchor holds rows of its own; a derivation borrows them. */
     static get anchored() {
         return this.definition.anchored;
     }
@@ -45,29 +44,28 @@ export class Schema {
         return this.adapters;
     }
     static getUnique() {
-        const groups = FieldGroup.groupsOf(this.fields, Unique);
-        return groups.length ? groups.map((group) => [...group.members]) : undefined;
+        return this.definition.constraints.unique;
     }
     static getOpts() {
         return this.opts;
     }
     static validate(input) {
-        return RowJudge.of(this.fields, this.opts).check(input);
+        return InputValidator.of(this.fields, this.opts).validate(input);
     }
     static from(data) {
-        const out = {};
+        const row = {};
         for (const [key, field] of Object.entries(this.fields)) {
-            if (!(key in data))
+            if (!Object.hasOwn(data, key))
                 continue;
             const value = data[key];
             if (value === null || value === undefined) {
-                out[key] = value;
+                row[key] = value;
                 continue;
             }
             const decoded = Boundary.of(field).decode(value);
-            out[key] = 'error' in decoded ? value : decoded.value;
+            row[key] = 'error' in decoded ? value : decoded.value;
         }
-        return out;
+        return row;
     }
     static get ['~standard']() {
         const { fields, opts } = this;
@@ -75,11 +73,11 @@ export class Schema {
             version: 1,
             vendor: 'fougere',
             validate(value) {
-                const result = RowJudge.of(fields, opts).check(value);
-                if (result.success)
-                    return { value: result.data };
+                const verdict = InputValidator.of(fields, opts).validate(value);
+                if (verdict.success)
+                    return { value: verdict.data };
                 return {
-                    issues: result.errors.map((e) => ({
+                    issues: verdict.errors.map((e) => ({
                         message: e.message,
                         path: e.path && e.path !== '.' ? [{ key: e.path }] : undefined,
                     })),
@@ -88,44 +86,17 @@ export class Schema {
         };
     }
     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));
+        return Schema.subclass(this.definition.pick(keys, this));
     }
     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));
+        return Schema.subclass(this.definition.omit(keys, this));
     }
     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);
-    }
-    /**
-     * Everything a schema states about ITSELF, available wherever a schema is. `entity(fields, …)`
-     * is this same gesture at the declaration site; the fields do not move, so neither does the type.
-     */
+        return Schema.subclass(this.definition.rename(mapping, this));
+    }
     static declares(declarations) {
-        const addressed = EntityAdapterSet.of(declarations.adapters)?.fieldNames ?? [];
-        assertKnownKeys('declares', [...addressed, ...Object.keys(declarations.previous ?? {})], this.fields);
         return Schema.subclass(this.definition.declaring(declarations));
     }
-    /**
-     * This schema holds rows of its own — every entity is one, and a derivation says so.
-     *
-     * An anchor is where a walk STOPS: `derivation.anchor` climbs to the nearest one, and what
-     * is cut from an anchor roots on it. Two anchors are two entities that happen to share a
-     * shape, never a hierarchy — nothing here subtypes, so a relation between them is `ref()`.
-     */
     static anchor() {
         return Schema.subclass(this.definition.anchoring());
     }
@@ -148,10 +119,9 @@ export class Schema {
     static compose(...sources) {
         return Schema.subclass(SchemaDefinition.merged(sources));
     }
-    static of(stated) {
-        return Schema.subclass(SchemaDefinition.stated(stated));
+    static of(declaration) {
+        return Schema.subclass(SchemaDefinition.of(declaration));
     }
-    /** The class a definition becomes. The one place a Schema subclass is born. */
     static subclass(definition) {
         class Derived extends Schema {
         }
@@ -162,15 +132,5 @@ export class Schema {
         });
         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.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Schema.js","sourceRoot":"","sources":["../src/Schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAQvD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D,OAAO,EAAE,gBAAgB,EAA0B,MAAM,uBAAuB,CAAC;AAKjF,MAAM,CAAC,MAAM,qBAAqB,GAAG,QAAQ,CAAC;AAyB9C,MAAM,OAAO,MAAM;IACjB,uFAAuF;IACvF,MAAM,CAAC,UAAU,GAAqB,gBAAgB,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IAE1E,MAAM,KAAK,MAAM;QACf,OAAO,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;IAChC,CAAC;IACD,4FAA4F;IAC5F,MAAM,KAAK,QAAQ;QACjB,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC;IAC7C,CAAC;IACD,MAAM,KAAK,IAAI;QACb,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;IAC9B,CAAC;IACD,MAAM,KAAK,UAAU;QACnB,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;IACpC,CAAC;IACD,MAAM,KAAK,QAAQ;QACjB,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;IAClC,CAAC;IACD,kEAAkE;IAClE,MAAM,KAAK,QAAQ;QACjB,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;IAClC,CAAC;IAED,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;gBAC/B,KAAK;gBACL,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,IAAI;gBAChB,YAAY,EAAE,IAAI;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,CAAC,SAAS;QACd,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IACD,MAAM,CAAC,WAAW;QAChB,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IACD,MAAM,CAAC,SAAS;QACd,OAAO,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC;IAC5C,CAAC;IACD,MAAM,CAAC,OAAO;QACZ,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,KAAc;QAC5B,OAAO,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACnE,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,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;gBAAE,SAAS;YACxC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;YACxB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC1C,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,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,OAAO,GAAG,cAAc,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAChE,IAAI,OAAO,CAAC,OAAO;oBAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;gBACpD,OAAO;oBACL,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACjC,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,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,GAAG,IAAc;QAC3B,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,OAA+B;QAC3C,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,YAAwC;QACtD,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC;IAClE,CAAC;IAED,MAAM,CAAC,MAAM;QACX,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,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,CACb,cAAc,IAAI,CAAC,IAAI,+CAA+C,CACvE,CAAC;QACJ,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,CACpB,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,CACU,CAAC;IAC/C,CAAC;IAED,MAAM,CAAC,EAAE,CAAyB,WAQjC;QACC,OAAO,MAAM,CAAC,QAAQ,CACpB,gBAAgB,CAAC,EAAE,CAAC,WAAW,CAAC,CACQ,CAAC;IAC7C,CAAC;IAEO,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;YACrC,KAAK,EAAE,qBAAqB;YAC5B,YAAY,EAAE,IAAI;SACnB,CAAC,CAAC;QACH,OAAO,OAA+C,CAAC;IACzD,CAAC;CACF"}

package/dist/SchemaDefinition.d.ts

@@ -0,0 +1,73 @@
+import { type Fields } from './field/Field.js';
+import { type CompositeUnique, type EntityDeclarations, type PreviousNames } from './entity/EntityDeclarations.js';
+import { type EntityAdapters } from './entity/EntityAdapters.js';
+import { EntityAdapterSet } from './entity/EntityAdapterSet.js';
+import { SchemaDerivation } from './SchemaDerivation.js';
+import { type ValidateOptions } from './validator/InputValidator.js';
+import type { SchemaView } from './SchemaView.js';
+/**
+ * What a schema constrains beyond any single field.
+ *
+ * `unique` is the one member today. It sits under an owner rather than beside `fields`
+ * and `opts` because the next rule spanning two fields — a check, an exclusion — is a
+ * member here, not an eighth positional argument in a list that has already lost one.
+ */
+export interface SchemaConstraints<TFields extends Fields = Fields> {
+    readonly unique?: CompositeUnique<TFields>;
+}
+/**
+ * Everything a schema IS, apart from being a class whose instances are rows.
+ *
+ * The members used to be that many 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 adapterSet: EntityAdapterSet;
+    readonly opts: ValidateOptions;
+    readonly previous: PreviousNames<Fields> | undefined;
+    readonly derivation: SchemaDerivation | undefined;
+    readonly anchored: boolean;
+    readonly constraints: SchemaConstraints;
+    private constructor();
+    /** Built complete or not at all — no static assigned on the side. */
+    static of(declaration: {
+        fields: Fields;
+        adapters?: EntityAdapters<Fields>;
+        opts?: ValidateOptions;
+        previous?: PreviousNames<Fields>;
+        derivation?: SchemaDerivation;
+        anchored?: boolean;
+        constraints?: SchemaConstraints;
+    }): SchemaDefinition;
+    declaring(declarations: EntityDeclarations<Fields>): SchemaDefinition;
+    anchoring(): SchemaDefinition;
+    pick(keys: readonly string[], root: SchemaView): SchemaDefinition;
+    omit(keys: readonly string[], root: SchemaView): SchemaDefinition;
+    rename(mapping: Record<string, string>, root: SchemaView): SchemaDefinition;
+    /**
+     * `pick`, `omit` and `rename` are one gesture, and the renaming IS that gesture: the
+     * fields it keeps and everything else addressed by field name are both read from it.
+     */
+    private renaming;
+    /** One member gone and the group is gone: it constrained a pair that no longer exists. */
+    private constraintsRenamed;
+    patched(root: SchemaView): SchemaDefinition;
+    /** An added field does not pretend to come from the root, which never declared it. */
+    extended(extra: Fields, root: SchemaView): SchemaDefinition;
+    /** Several schemas fold into one, which has no single origin to point at. */
+    static merged(views: readonly SchemaView[]): SchemaDefinition;
+    /**
+     * So a gesture naming a field that does not exist says so, and lists what there is.
+     * FR : pour qu'un geste nommant un champ inexistant le dise, et énumère ce qui existe.
+     * `pick('titel')` → `pick(): unknown field \`titel\`. This schema carries id, title, body.`
+     */
+    private assertKnown;
+    private origin;
+}
+//# sourceMappingURL=SchemaDefinition.d.ts.map

package/dist/SchemaDefinition.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaDefinition.d.ts","sourceRoot":"","sources":["../src/SchemaDefinition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EACnB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB,CAAC,OAAO,SAAS,MAAM,GAAG,MAAM;IAChE,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC;CAC5C;AAsBD;;;;;;;;;;GAUG;AACH,qBAAa,gBAAgB;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IACrD,QAAQ,CAAC,UAAU,EAAE,gBAAgB,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IAExC,OAAO,eAQN;IAED,qEAAqE;IACrE,MAAM,CAAC,EAAE,CAAC,WAAW,EAAE;QACrB,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;QAC9B,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,WAAW,CAAC,EAAE,iBAAiB,CAAC;KACjC,GAAG,gBAAgB,CAUnB;IAED,SAAS,CAAC,YAAY,EAAE,kBAAkB,CAAC,MAAM,CAAC,GAAG,gBAAgB,CAqBpE;IAED,SAAS,IAAI,gBAAgB,CAU5B;IAED,IAAI,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAIhE;IAED,IAAI,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAKhE;IAED,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAK1E;IAED;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAmBhB,0FAA0F;IAC1F,OAAO,CAAC,kBAAkB;IAa1B,OAAO,CAAC,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAU1C;IAED,sFAAsF;IACtF,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,gBAAgB,CAU1D;IAED,6EAA6E;IAC7E,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,gBAAgB,CAqB5D;IAED;;;;OAIG;IACH,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,MAAM;CAKf"}

package/dist/SchemaDefinition.js

@@ -0,0 +1,184 @@
+import { FieldSet, deduplicated } from './field/FieldSet.js';
+import { EntityAdapterSet } from './entity/EntityAdapterSet.js';
+import { SchemaDerivation } from './SchemaDerivation.js';
+/**
+ * Everything a schema IS, apart from being a class whose instances are rows.
+ *
+ * The members used to be that many 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;
+    adapterSet;
+    opts;
+    previous;
+    derivation;
+    anchored;
+    constraints;
+    constructor(state) {
+        this.fields = state.fields;
+        this.adapterSet = state.adapterSet;
+        this.opts = state.opts;
+        this.previous = state.previous;
+        this.derivation = state.derivation;
+        this.anchored = state.anchored;
+        this.constraints = state.constraints;
+    }
+    /** Built complete or not at all — no static assigned on the side. */
+    static of(declaration) {
+        return new SchemaDefinition({
+            fields: declaration.fields,
+            adapterSet: EntityAdapterSet.of(declaration.adapters),
+            opts: declaration.opts ?? {},
+            previous: declaration.previous,
+            derivation: declaration.derivation,
+            anchored: declaration.anchored ?? false,
+            constraints: declaration.constraints ?? {},
+        });
+    }
+    declaring(declarations) {
+        const addressed = EntityAdapterSet.of(declarations.adapters).fieldNames;
+        this.assertKnown('declares', [
+            ...addressed,
+            ...Object.keys(declarations.previous ?? {}),
+        ]);
+        const declared = FieldSet.declaring(this.fields, declarations.unique);
+        return new SchemaDefinition({
+            fields: declared.fields,
+            adapterSet: EntityAdapterSet.merged([
+                this.adapterSet,
+                EntityAdapterSet.of(declarations.adapters),
+            ]),
+            opts: this.opts,
+            previous: declarations.previous ?? this.previous,
+            derivation: this.derivation,
+            anchored: this.anchored,
+            constraints: declarations.unique === undefined ? this.constraints : { unique: declared.unique },
+        });
+    }
+    anchoring() {
+        return new SchemaDefinition({
+            fields: this.fields,
+            adapterSet: this.adapterSet,
+            opts: this.opts,
+            previous: this.previous,
+            derivation: this.derivation,
+            anchored: true,
+            constraints: this.constraints,
+        });
+    }
+    pick(keys, root) {
+        this.assertKnown('pick', keys);
+        return this.renaming(new Map(keys.map((key) => [key, key])), root);
+    }
+    omit(keys, root) {
+        this.assertKnown('omit', keys);
+        const kept = Object.keys(this.fields).filter((key) => !keys.includes(key));
+        return this.renaming(new Map(kept.map((key) => [key, key])), root);
+    }
+    rename(mapping, root) {
+        this.assertKnown('rename', Object.keys(mapping));
+        const here = Object.keys(this.fields).map((key) => [key, mapping[key] ?? key]);
+        return this.renaming(new Map(here), root);
+    }
+    /**
+     * `pick`, `omit` and `rename` are one gesture, and the renaming IS that gesture: the
+     * fields it keeps and everything else addressed by field name are both read from it.
+     */
+    renaming(kept, root) {
+        const fields = {};
+        for (const [from, to] of kept) {
+            const field = this.fields[from];
+            if (field)
+                fields[to] = field;
+        }
+        const nameOf = (key) => kept.get(key);
+        return new SchemaDefinition({
+            fields,
+            adapterSet: this.adapterSet.rename(nameOf),
+            opts: this.opts,
+            previous: undefined,
+            derivation: this.origin(root).rename(nameOf),
+            anchored: false,
+            constraints: this.constraintsRenamed(nameOf),
+        });
+    }
+    /** One member gone and the group is gone: it constrained a pair that no longer exists. */
+    constraintsRenamed(transform) {
+        if (!this.constraints.unique)
+            return this.constraints;
+        const kept = [];
+        for (const group of this.constraints.unique) {
+            const renamed = group.map(transform);
+            if (renamed.every((key) => key !== undefined))
+                kept.push(renamed);
+        }
+        return { unique: deduplicated(kept) };
+    }
+    patched(root) {
+        return new SchemaDefinition({
+            fields: { ...this.fields },
+            adapterSet: this.adapterSet,
+            opts: { ...this.opts, patch: true },
+            previous: undefined,
+            derivation: this.origin(root),
+            anchored: false,
+            constraints: this.constraints,
+        });
+    }
+    /** An added field does not pretend to come from the root, which never declared it. */
+    extended(extra, root) {
+        return new SchemaDefinition({
+            fields: { ...this.fields, ...extra },
+            adapterSet: this.adapterSet,
+            opts: this.opts,
+            previous: undefined,
+            derivation: this.origin(root),
+            anchored: false,
+            constraints: this.constraints,
+        });
+    }
+    /** Several schemas fold into one, which has no single origin to point at. */
+    static merged(views) {
+        const fields = {};
+        let opts = {};
+        const groups = [];
+        for (const view of views) {
+            Object.assign(fields, view.getFields());
+            opts = { ...opts, ...view.getOpts() };
+            groups.push(...(view.getUnique() ?? []));
+        }
+        return new SchemaDefinition({
+            fields,
+            adapterSet: EntityAdapterSet.merged(views.map((view) => EntityAdapterSet.of(view.getAdapters()))),
+            opts,
+            previous: undefined,
+            derivation: undefined,
+            anchored: false,
+            constraints: { unique: deduplicated(groups) },
+        });
+    }
+    /**
+     * So a gesture naming a field that does not exist says so, and lists what there is.
+     * FR : pour qu'un geste nommant un champ inexistant le dise, et énumère ce qui existe.
+     * `pick('titel')` → `pick(): unknown field \`titel\`. This schema carries id, title, body.`
+     */
+    assertKnown(operation, keys) {
+        const strangers = keys.filter((key) => !Object.hasOwn(this.fields, key));
+        if (strangers.length === 0)
+            return;
+        throw new Error(`${operation}(): unknown field ${strangers.map((s) => `\`${s}\``).join(', ')}. ` +
+            `This schema carries ${Object.keys(this.fields).join(', ')}.`);
+    }
+    origin(root) {
+        if (!this.anchored && this.derivation)
+            return this.derivation;
+        return SchemaDerivation.first(root, this.fields);
+    }
+}
+//# sourceMappingURL=SchemaDefinition.js.map

package/dist/SchemaDefinition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaDefinition.js","sourceRoot":"","sources":["../src/SchemaDefinition.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAO7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAmCzD;;;;;;;;;;GAUG;AACH,MAAM,OAAO,gBAAgB;IAClB,MAAM,CAAS;IACf,UAAU,CAAmB;IAC7B,IAAI,CAAkB;IACtB,QAAQ,CAAoC;IAC5C,UAAU,CAA+B;IACzC,QAAQ,CAAU;IAClB,WAAW,CAAoB;IAExC,YAAoB,KAAkB;QACpC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC3B,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;QACnC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACvB,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;QACnC,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;QAC/B,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC;IACvC,CAAC;IAED,qEAAqE;IACrE,MAAM,CAAC,EAAE,CAAC,WAQT;QACC,OAAO,IAAI,gBAAgB,CAAC;YAC1B,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,UAAU,EAAE,gBAAgB,CAAC,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC;YACrD,IAAI,EAAE,WAAW,CAAC,IAAI,IAAI,EAAE;YAC5B,QAAQ,EAAE,WAAW,CAAC,QAAQ;YAC9B,UAAU,EAAE,WAAW,CAAC,UAAU;YAClC,QAAQ,EAAE,WAAW,CAAC,QAAQ,IAAI,KAAK;YACvC,WAAW,EAAE,WAAW,CAAC,WAAW,IAAI,EAAE;SAC3C,CAAC,CAAC;IACL,CAAC;IAED,SAAS,CAAC,YAAwC;QAChD,MAAM,SAAS,GAAG,gBAAgB,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC;QACxE,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE;YAC3B,GAAG,SAAS;YACZ,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,IAAI,EAAE,CAAC;SAC5C,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;QAEtE,OAAO,IAAI,gBAAgB,CAAC;YAC1B,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,UAAU,EAAE,gBAAgB,CAAC,MAAM,CAAC;gBAClC,IAAI,CAAC,UAAU;gBACf,gBAAgB,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;aAC3C,CAAC;YACF,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EAAE,YAAY,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ;YAChD,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,WAAW,EACT,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;SACrF,CAAC,CAAC;IACL,CAAC;IAED,SAAS;QACP,OAAO,IAAI,gBAAgB,CAAC;YAC1B,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,IAAI,CAAC,WAAW;SAC9B,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,IAAuB,EAAE,IAAgB;QAC5C,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAE/B,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,CAAC,IAAuB,EAAE,IAAgB;QAC5C,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAE3E,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrE,CAAC;IAED,MAAM,CAAC,OAA+B,EAAE,IAAgB;QACtD,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAU,CAAC,CAAC;QAExF,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC;IAED;;;OAGG;IACK,QAAQ,CAAC,IAAc,EAAE,IAAgB;QAC/C,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,KAAK;gBAAE,MAAM,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;QAChC,CAAC;QACD,MAAM,MAAM,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAE9C,OAAO,IAAI,gBAAgB,CAAC;YAC1B,MAAM;YACN,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC;YAC1C,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YAC5C,QAAQ,EAAE,KAAK;YACf,WAAW,EAAE,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC;SAC7C,CAAC,CAAC;IACL,CAAC;IAED,0FAA0F;IAClF,kBAAkB,CACxB,SAA8C;QAE9C,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC;QACtD,MAAM,IAAI,GAAe,EAAE,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACrC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnF,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,CAAwC,EAAE,CAAC;IAC/E,CAAC;IAED,OAAO,CAAC,IAAgB;QACtB,OAAO,IAAI,gBAAgB,CAAC;YAC1B,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE;YAC1B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;YACnC,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAC7B,QAAQ,EAAE,KAAK;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;SAC9B,CAAC,CAAC;IACL,CAAC;IAED,sFAAsF;IACtF,QAAQ,CAAC,KAAa,EAAE,IAAgB;QACtC,OAAO,IAAI,gBAAgB,CAAC;YAC1B,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,EAAE;YACpC,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAC7B,QAAQ,EAAE,KAAK;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;SAC9B,CAAC,CAAC;IACL,CAAC;IAED,6EAA6E;IAC7E,MAAM,CAAC,MAAM,CAAC,KAA4B;QACxC,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,IAAI,IAAI,GAAoB,EAAE,CAAC;QAC/B,MAAM,MAAM,GAA0B,EAAE,CAAC;QACzC,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;YACtC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3C,CAAC;QAED,OAAO,IAAI,gBAAgB,CAAC;YAC1B,MAAM;YACN,UAAU,EAAE,gBAAgB,CAAC,MAAM,CACjC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAC7D;YACD,IAAI;YACJ,QAAQ,EAAE,SAAS;YACnB,UAAU,EAAE,SAAS;YACrB,QAAQ,EAAE,KAAK;YACf,WAAW,EAAE,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,CAAwC,EAAE;SACrF,CAAC,CAAC;IACL,CAAC;IAED;;;;OAIG;IACK,WAAW,CAAC,SAAiB,EAAE,IAAuB;QAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QACzE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAEnC,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;YAC9E,uBAAuB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChE,CAAC;IACJ,CAAC;IAEO,MAAM,CAAC,IAAgB;QAC7B,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC;QAE9D,OAAO,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;CACF"}

package/dist/SchemaDerivation.d.ts

@@ -0,0 +1,16 @@
+import { type Fields } from './field/Field.js';
+import type { SchemaView } from './SchemaView.js';
+/**
+ * The origin is the ROOT: `Post.pick(a, b).omit(b)` answers `Post`, never the intermediate.
+ */
+export declare class SchemaDerivation {
+    readonly source: SchemaView;
+    readonly nameOf: Readonly<Record<string, string | undefined>>;
+    private constructor();
+    static first(source: SchemaView, fields: Fields): SchemaDerivation;
+    rename(transform: (key: string) => string | undefined): SchemaDerivation;
+    get sourceName(): string;
+    /** Whose rows this one borrows, however many cuts away: `Post.pick('t').omit('t')` → `Post`. */
+    get anchor(): SchemaView;
+}
+//# sourceMappingURL=SchemaDerivation.d.ts.map

package/dist/SchemaDerivation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaDerivation.d.ts","sourceRoot":"","sources":["../src/SchemaDerivation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAElD;;GAEG;AACH,qBAAa,gBAAgB;IAEzB,QAAQ,CAAC,MAAM,EAAE,UAAU;IAC3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC;IAF/D,OAAO,eAGH;IAEJ,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAKjE;IAED,MAAM,CAAC,SAAS,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GAAG,gBAAgB,CAUvE;IAED,IAAI,UAAU,IAAI,MAAM,CAEvB;IAED,gGAAgG;IAChG,IAAI,MAAM,IAAI,UAAU,CAMvB;CACF"}

package/dist/SchemaDerivation.js

@@ -0,0 +1,31 @@
+/**
+ * The origin is the ROOT: `Post.pick(a, b).omit(b)` answers `Post`, never the intermediate.
+ */
+export class SchemaDerivation {
+    source;
+    nameOf;
+    constructor(source, nameOf) {
+        this.source = source;
+        this.nameOf = nameOf;
+    }
+    static first(source, fields) {
+        return new SchemaDerivation(source, Object.fromEntries(Object.keys(fields).map((key) => [key, key])));
+    }
+    rename(transform) {
+        return new SchemaDerivation(this.source, Object.fromEntries(Object.entries(this.nameOf).map(([origin, here]) => [
+            origin,
+            here === undefined ? undefined : transform(here),
+        ])));
+    }
+    get sourceName() {
+        return this.source.name;
+    }
+    /** Whose rows this one borrows, however many cuts away: `Post.pick('t').omit('t')` → `Post`. */
+    get anchor() {
+        const source = this.source;
+        return source.anchored !== undefined || !source.derivation
+            ? source
+            : source.derivation.anchor;
+    }
+}
+//# sourceMappingURL=SchemaDerivation.js.map

package/dist/SchemaDerivation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaDerivation.js","sourceRoot":"","sources":["../src/SchemaDerivation.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,MAAM,OAAO,gBAAgB;IAEhB,MAAM;IACN,MAAM;IAFjB,YACW,MAAkB,EAClB,MAAoD;sBADpD,MAAM;sBACN,MAAM;IACd,CAAC;IAEJ,MAAM,CAAC,KAAK,CAAC,MAAkB,EAAE,MAAc;QAC7C,OAAO,IAAI,gBAAgB,CACzB,MAAM,EACN,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CACjE,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,SAA8C;QACnD,OAAO,IAAI,gBAAgB,CACzB,IAAI,CAAC,MAAM,EACX,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;YAClD,MAAM;YACN,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;SACjD,CAAC,CACH,CACF,CAAC;IACJ,CAAC;IAED,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAC1B,CAAC;IAED,gGAAgG;IAChG,IAAI,MAAM;QACR,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAE3B,OAAO,MAAM,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,UAAU;YACxD,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;IAC/B,CAAC;CACF"}