@fougere/schema 0.3.0-alpha.0 → 0.5.0-alpha.0

package/dist/judge/ValueJudge.d.ts

@@ -0,0 +1,12 @@
+import type { Field } from '../fields/Field.js';
+import type { Checked } from './result.js';
+export declare class ValueJudge {
+    private readonly field;
+    private static readonly plans;
+    private constructor();
+    static of(field: Field): ValueJudge;
+    check(value: unknown): Checked;
+    private static planFor;
+    private static customFormatOf;
+}
+//# sourceMappingURL=ValueJudge.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ValueJudge.d.ts","sourceRoot":"","sources":["../../src/judge/ValueJudge.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAQ3C,qBAAa,UAAU;IAGD,OAAO,CAAC,QAAQ,CAAC,KAAK;IAF1C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAoC;IAEjE,OAAO,eAA8C;IAErD,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,UAAU,CAElC;IAED,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAuB7B;IAED,OAAO,CAAC,MAAM,CAAC,OAAO;IAetB,OAAO,CAAC,MAAM,CAAC,cAAc;CAU9B"}

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/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/{source.js → SchemaOrCard.js}

@@ -1,11 +1,11 @@
-import { reconstruct } from '../card/reconstruct.js';
+import { Card } from '../card/Card.js';
 function isDescriptor(source) {
     return typeof source.getFields !== 'function';
 }
 export function schemaOf(source) {
-    return isDescriptor(source) ? reconstruct(source) : source;
+    return isDescriptor(source) ? Card.fromDescriptor(source).toSchema() : source;
 }
 export function fieldsOf(source) {
     return schemaOf(source).getFields();
 }
-//# sourceMappingURL=source.js.map
+//# 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/projection/standard.d.ts

@@ -1,33 +1,12 @@
-export interface StandardSchemaV1<Input = unknown, Output = Input> {
-    readonly '~standard': StandardSchemaV1.Props<Input, Output>;
-}
-export declare namespace StandardSchemaV1 {
-    interface Props<Input = unknown, Output = Input> {
-        readonly version: 1;
-        readonly vendor: string;
-        readonly validate: (value: unknown) => Result<Output> | Promise<Result<Output>>;
-        readonly types?: Types<Input, Output> | undefined;
-    }
-    type Result<Output> = SuccessResult<Output> | FailureResult;
-    interface SuccessResult<Output> {
-        readonly value: Output;
-        readonly issues?: undefined;
-    }
-    interface FailureResult {
-        readonly issues: ReadonlyArray<Issue>;
-    }
-    interface Issue {
-        readonly message: string;
-        readonly path?: ReadonlyArray<PropertyKey | PathSegment> | undefined;
-    }
-    interface PathSegment {
-        readonly key: PropertyKey;
-    }
-    interface Types<Input = unknown, Output = Input> {
-        readonly input: Input;
-        readonly output: Output;
-    }
-    type InferInput<Schema extends StandardSchemaV1> = NonNullable<Schema['~standard']['types']>['input'];
-    type InferOutput<Schema extends StandardSchemaV1> = NonNullable<Schema['~standard']['types']>['output'];
-}
+/**
+ * The Standard Schema interface, from the package that owns it.
+ *
+ * This file used to CARRY the spec — 47 lines of hand-copied interface — and the copy had
+ * silently fallen a version behind: v1.1 gave `Props` a base it extends (`StandardTypedV1`)
+ * and gave `validate` a second `options` parameter. Nothing broke, because a realization may
+ * ignore an optional argument, which is exactly why nobody noticed. A standard is owned by
+ * whoever publishes it; the package is types only (`index.js` is zero bytes), so importing
+ * it costs a browser nothing.
+ */
+export type { StandardSchemaV1 } from '@standard-schema/spec';
 //# sourceMappingURL=standard.d.ts.map

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

@@ -1 +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,aAAa,CAAC,KAAK,CAAC,CAAC;KACvC;IAED,UAAU,KAAK;QACb,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,WAAW,GAAG,WAAW,CAAC,GAAG,SAAS,CAAC;KACtE;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"}
+{"version":3,"file":"standard.d.ts","sourceRoot":"","sources":["../../src/projection/standard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,YAAY,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/schema/Schema.d.ts

@@ -0,0 +1,80 @@
+import { type Fields } from '../fields/Field.js';
+import { type CompositeUnique, type EntityDeclarations, type PreviousNames } from '../EntityDeclarations.js';
+import { type EntityAdapters } from '../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';
+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>;
+    readonly anchored?: boolean;
+    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>;
+    declares(declarations: EntityDeclarations<TFields>): SchemaConstructor<TFields>;
+    anchor(): SchemaConstructor<TFields>;
+    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 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;
+    static get anchored(): boolean;
+    constructor(data?: Record<string, unknown>);
+    static getFields(): Fields;
+    static getAdapters(): Readonly<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>;
+    /**
+     * 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: {
+        fields: TFields;
+        derivation?: SchemaDerivation;
+        adapters?: EntityAdapters<TFields>;
+        opts?: ValidateOptions;
+        previous?: PreviousNames<TFields>;
+        anchored?: boolean;
+    }): 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,EACL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACvB,KAAK,aAAa,EACnB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAoB,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAI7E,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,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,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,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,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,uFAAuF;IACvF,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;IAC7F,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAqC;IAEnE,YAAY,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAKzC;IAED,MAAM,CAAC,SAAS,WAA0B;IAC1C,MAAM,CAAC,WAAW,gGAA4B;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;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC,MAAM,CAAC,6BAKvD;IAED;;;;;;OAMG;IACH,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,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;QAClC,QAAQ,CAAC,EAAE,OAAO,CAAC;KACpB,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.js → schema/Schema.js}

@@ -1,16 +1,19 @@
-import { Boundary } from './axis/boundary/Boundary.js';
-import { deriveHints } from './EntityDeclarations.js';
-import { FieldGroup } from './constraint/FieldGroup.js';
-import { Unique } from './constraint/Unique.js';
-import { Judge } from './judge/Judge.js';
+import { Boundary } from '../axis/boundary/Boundary.js';
+import { EntityAdapterSet } from '../EntityAdapters.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 {
-    static fields = {};
-    static hints;
-    static opts = {};
-    static source;
-    static survived;
-    static previous;
+    /** The one place a schema holds what it is. The 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; }
+    static get anchored() { return this.definition.anchored; }
     constructor(data) {
         if (!data)
             return;
@@ -19,14 +22,14 @@ export class Schema {
         }
     }
     static getFields() { return this.fields; }
-    static getHints() { return this.hints; }
+    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 Judge.row(this.fields, input, this.opts);
+        return RowJudge.of(this.fields, this.opts).check(input);
     }
     static from(data) {
         const out = {};
@@ -49,7 +52,7 @@ export class Schema {
             version: 1,
             vendor: "fougere",
             validate(value) {
-                const result = Judge.row(fields, value, opts);
+                const result = RowJudge.of(fields, opts).check(value);
                 if (result.success)
                     return { value: result.data };
                 return {
@@ -84,12 +87,30 @@ export class Schema {
             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.
+     */
+    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());
+    }
     static partial() {
-        return Schema.of({ ...this.fields }, this.source ?? this, this.hints, { ...this.opts, patch: true }, this.survived);
+        return Schema.subclass(this.definition.patched(this));
     }
     static extend(extra) {
-        // The added fields have no origin, so the trace is unchanged: it speaks of the source.
-        return Schema.of({ ...this.fields, ...extra }, this.source ?? this, this.hints, this.opts, this.survived);
+        return Schema.subclass(this.definition.extended(extra, this));
     }
     static named(name) {
         if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(name)) {
@@ -102,44 +123,21 @@ export class Schema {
         return this;
     }
     static compose(...sources) {
-        const merged = {};
-        const mergedHints = {};
-        let mergedOpts = {};
-        for (const source of sources) {
-            Object.assign(merged, source.getFields());
-            const hints = source.getHints();
-            if (hints) {
-                for (const [adapter, perField] of Object.entries(hints)) {
-                    if (!perField || typeof perField !== "object")
-                        continue;
-                    mergedHints[adapter] = { ...mergedHints[adapter], ...perField };
-                }
-            }
-            mergedOpts = { ...mergedOpts, ...source.getOpts() };
-        }
-        const hints = Object.keys(mergedHints).length ? mergedHints : undefined;
-        return Schema.of(merged, undefined, hints, mergedOpts);
+        return Schema.subclass(SchemaDefinition.merged(sources));
+    }
+    static of(stated) {
+        return Schema.subclass(SchemaDefinition.stated(stated));
     }
-    static of(fields, source, hints, opts = {}, survived) {
+    /** The class a definition becomes. The one place a Schema subclass is born. */
+    static subclass(definition) {
         class Derived extends Schema {
         }
-        Object.assign(Derived, { fields, source, hints, opts, survived });
+        Derived.definition = definition;
         Object.defineProperty(Derived, "name", { value: ANONYMOUS_SCHEMA_NAME, configurable: true });
         return Derived;
     }
     static derive(fields, survives) {
-        const renamed = {};
-        for (const [key, field] of Object.entries(fields))
-            renamed[key] = field.rename(survives);
-        return Schema.of(renamed, this.source ?? this, deriveHints(this.hints, survives), this.opts, this.trace(survives));
-    }
-    /**
-     * The trace, composed with the parent's — so `Post.pick(a, b).omit(b)` reports against
-     * `Post` and not against the intermediate, exactly as `source` skips it.
-     */
-    static trace(survives) {
-        const parent = this.survived ?? Object.fromEntries(Object.keys(this.fields).map((k) => [k, k]));
-        return Object.fromEntries(Object.entries(parent).map(([origin, here]) => [origin, here === undefined ? undefined : survives(here)]));
+        return Schema.subclass(this.definition.cut(fields, survives, this));
     }
 }
 function assertKnownKeys(operation, keys, fields) {

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;AAOxD,OAAO,EAAE,gBAAgB,EAAuB,MAAM,sBAAsB,CAAC;AAC7E,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAEhD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAKzD,MAAM,CAAC,MAAM,qBAAqB,GAAG,QAAQ,CAAC;AAmB9C,MAAM,OAAO,MAAM;IACjB,uFAAuF;IACvF,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;IAC7F,MAAM,KAAK,QAAQ,KAAc,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;IAEnE,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;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,YAAwC;QACtD,MAAM,SAAS,GAAG,gBAAgB,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,UAAU,IAAI,EAAE,CAAC;QAC/E,eAAe,CAAC,UAAU,EAAE,CAAC,GAAG,SAAS,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAEtG,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC;IAClE,CAAC;IAED;;;;;;OAMG;IACH,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,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,MAOjC;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,60 @@
+import { type Fields } from '../fields/Field.js';
+import { type EntityDeclarations, 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 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 adapters: EntityAdapters<Fields> | undefined;
+    readonly opts: ValidateOptions;
+    readonly previous: PreviousNames<Fields> | undefined;
+    readonly derivation: SchemaDerivation | undefined;
+    readonly anchored: boolean;
+    private constructor();
+    static stated(said: {
+        fields: Fields;
+        adapters?: EntityAdapters<Fields>;
+        opts?: ValidateOptions;
+        previous?: PreviousNames<Fields>;
+        derivation?: SchemaDerivation;
+        anchored?: boolean;
+    }): SchemaDefinition;
+    /**
+     * What a schema states about ITSELF, folded into what it already states — one adapter
+     * entry per field wins the later spelling, and a unique group is stamped on its members.
+     */
+    declaring(said: EntityDeclarations<Fields>): SchemaDefinition;
+    /**
+     * The same schema, holding rows of its own. A derivation is an answer until it says this.
+     */
+    anchoring(): 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. A schema that
+     * is an ANCHOR holds rows of its own, so what is cut from it roots on IT and not on its own origin.
+     */
+    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;AAEjD,OAAO,EAAE,KAAK,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACvF,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;IACjD,QAAQ,CAAC,QAAQ,EAAE,OAAO;IAN5B,OAAO,eAOH;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;QAC9B,QAAQ,CAAC,EAAE,OAAO,CAAC;KACpB,GAAG,gBAAgB,CAInB;IAED;;;OAGG;IACH,SAAS,CAAC,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,GAAG,gBAAgB,CAS5D;IAED;;OAEG;IACH,SAAS,IAAI,gBAAgB,CAI5B;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,CAWrG;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;;;OAGG;IACH,OAAO,CAAC,MAAM;CAKf"}