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

package/dist/{schema/axis → axis}/role/RoleAxis.js

@@ -1,16 +1,14 @@
-import { refuse, oneOfTokens } from '../../../projection/card/admission.js';
-import { isObject, lowerFirst } from '../../../utils.js';
+import { refuse, oneOfTokens } from '../../projection/card/admission.js';
+import { isObject, lowerFirst } from '../../lib/utils.js';
 import { ON_DELETE, RELATION_KINDS } from './Relation.js';
-import { FieldGroup } from '../../fields/constraint/FieldGroup.js';
-import { Unique } from '../../fields/constraint/Unique.js';
 export const roleAxis = {
     slot: 'role',
-    judge(value, errors) {
+    validator(value, errors) {
         if (!isObject(value)) {
             errors.push({ path: 'role', message: `Expected an object — got ${JSON.stringify(value)}` });
             return;
         }
-        for (const flag of ['primary', 'index']) {
+        for (const flag of ['primary', 'index', 'unique']) {
             if (value[flag] !== undefined && typeof value[flag] !== 'boolean') {
                 errors.push({
                     path: `role.${flag}`,
@@ -18,49 +16,38 @@ export const roleAxis = {
                 });
             }
         }
-        if (value.rules !== undefined) {
-            const legal = Array.isArray(value.rules) &&
-                value.rules.every((rule) => rule instanceof FieldGroup ||
-                    (Array.isArray(rule) && rule.every((member) => typeof member === 'string')));
-            if (!legal) {
-                errors.push({
-                    path: 'role.rules',
-                    message: 'Expected field groups, or the member lists they denote — string[][]',
-                });
-            }
-        }
         if (value.relation !== undefined)
-            judgeRelation(value.relation, errors);
+            validateRelation(value.relation, errors);
     },
+    /** A card carries the target's NAME: a class cannot cross a process boundary. */
     describe(role, key) {
-        const out = {};
+        const descriptor = {};
         if (role.primary)
-            out.primary = true;
-        const unique = (role.rules ?? []).filter((rule) => rule instanceof Unique);
-        if (unique.length)
-            out.unique = unique.map((rule) => [...rule.resolvedOn(key).members]);
+            descriptor.primary = true;
+        if (role.unique)
+            descriptor.unique = [[key]];
         if (role.index)
-            out.index = true;
+            descriptor.index = true;
         if (role.relation) {
             const target = role.relation.to();
-            out.relation = {
+            descriptor.relation = {
                 to: lowerFirst(target.name ?? ''),
                 kind: role.relation.kind,
                 ...(role.relation.onDelete ? { onDelete: role.relation.onDelete } : {}),
             };
         }
-        return Object.keys(out).length ? out : undefined;
+        return Object.keys(descriptor).length ? descriptor : undefined;
     },
     reconstruct(wire, resolve) {
-        const out = {};
+        const rules = {};
         if (wire.primary)
-            out.primary = true;
-        if (wire.unique?.length)
-            out.rules = wire.unique.map((group) => new Unique(group));
+            rules.primary = true;
+        if (wire.unique?.some((group) => group.length === 1))
+            rules.unique = true;
         if (wire.index)
-            out.index = true;
+            rules.index = true;
         if (wire.relation) {
-            // `judge` cannot serve here: it demands a thunk where a card carries a name.
+            // `validator` cannot serve here: it demands `() => Post` where a card carries a name.
             if (!oneOfTokens(wire.relation.kind, RELATION_KINDS)) {
                 refuse(`role.relation.kind is ${JSON.stringify(wire.relation.kind)}`, `Expected one of ${RELATION_KINDS.join(', ')}.`);
             }
@@ -68,16 +55,21 @@ export const roleAxis = {
                 refuse(`role.relation.onDelete is ${JSON.stringify(wire.relation.onDelete)}`, `Expected one of ${ON_DELETE.join(', ')}.`);
             }
             const name = wire.relation.to;
-            out.relation = {
+            rules.relation = {
                 to: () => (resolve?.(name) ?? { name }),
                 kind: wire.relation.kind,
                 ...(wire.relation.onDelete ? { onDelete: wire.relation.onDelete } : {}),
             };
         }
-        return out;
+        return rules;
     },
 };
-function judgeRelation(relation, errors) {
+/**
+ * So a relation is validated where `() => Post` is required — a card carries a name.
+ * FR : pour qu'une relation soit jugée là où `() => Post` est exigé, contrairement à une carte.
+ * `{ to: User, kind: 'one' }` → error `Expected a function returning the target entity, such as () => Post`
+ */
+function validateRelation(relation, errors) {
     if (!isObject(relation)) {
         errors.push({ path: 'role.relation', message: `Expected an object — got ${JSON.stringify(relation)}` });
         return;
@@ -89,7 +81,7 @@ function judgeRelation(relation, errors) {
         });
     }
     if (typeof relation.to !== 'function') {
-        errors.push({ path: 'role.relation.to', message: 'Expected a thunk returning the target entity' });
+        errors.push({ path: 'role.relation.to', message: 'Expected a function returning the target entity, such as () => Post' });
     }
     if (relation.onDelete !== undefined && !oneOfTokens(relation.onDelete, ON_DELETE)) {
         errors.push({

package/dist/axis/role/RoleAxis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RoleAxis.js","sourceRoot":"","sources":["../../../src/axis/role/RoleAxis.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAE1D,OAAO,EAAE,SAAS,EAAE,cAAc,EAAyC,MAAM,eAAe,CAAC;AAIjG,MAAM,CAAC,MAAM,QAAQ,GAAoC;IACvD,IAAI,EAAE,MAAM;IAEZ,SAAS,CAAC,KAAK,EAAE,MAAM;QACrB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5F,OAAO;QACT,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAU,EAAE,CAAC;YAC3D,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBAClE,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,QAAQ,IAAI,EAAE;oBACpB,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE;iBACnE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;YAAE,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC7E,CAAC;IAED,iFAAiF;IACjF,QAAQ,CAAC,IAAI,EAAE,GAAG;QAChB,MAAM,UAAU,GAA4B,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,OAAO;YAAE,UAAU,CAAC,OAAO,GAAG,IAAI,CAAC;QAC5C,IAAI,IAAI,CAAC,MAAM;YAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,IAAI,CAAC,KAAK;YAAE,UAAU,CAAC,KAAK,GAAG,IAAI,CAAC;QACxC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAuB,CAAC;YACvD,UAAU,CAAC,QAAQ,GAAG;gBACpB,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACjC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gBACxB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACjE,CAAC;IAED,WAAW,CAAC,IAAI,EAAE,OAAkB;QAClC,MAAM,KAAK,GAAc,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,OAAO;YAAE,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;QACvC,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;YAAE,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;QAC1E,IAAI,IAAI,CAAC,KAAK;YAAE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;QACnC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,sFAAsF;YACtF,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,CAAC;gBACrD,MAAM,CACJ,yBAAyB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAC7D,mBAAmB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChD,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;gBAC5F,MAAM,CACJ,6BAA6B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EACrE,mBAAmB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3C,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,QAAQ,GAAG;gBACf,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAK,EAAE,IAAI,EAAc,CAAsB;gBACzE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAwB;gBAC5C,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAgC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvE,CAAC;QAC7B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC;AAEF;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,QAAiB,EAAE,MAAyB;IACpE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;QACxG,OAAO;IACT,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,kCAAkC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE;SAC3E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,QAAQ,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,qEAAqE,EAAE,CAAC,CAAC;IAC5H,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;QAClF,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,sDAAsD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;SACnG,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/axis/shape/Formats.d.ts

@@ -0,0 +1,11 @@
+import { Registry } from '../../lib/Registry.js';
+export type StringFormat = 'date-time' | 'date' | 'time' | 'email' | 'uuid' | 'uri' | (string & {});
+export type FormatPredicate = (value: string) => boolean;
+/**
+ * String formats the JSON Schema engine does not know. `find` answers `undefined` for
+ * `email` or `uuid`, which it validates on its own.
+ * FR : les formats de chaîne que le moteur ignore ; `find` rend `undefined` pour les siens.
+ * `Formats.register('siret', (v) => /^\d{14}$/.test(v))`
+ */
+export declare const Formats: Registry<FormatPredicate>;
+//# sourceMappingURL=Formats.d.ts.map

package/dist/axis/shape/Formats.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Formats.d.ts","sourceRoot":"","sources":["../../../src/axis/shape/Formats.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEjD,MAAM,MAAM,YAAY,GACpB,WAAW,GACX,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,KAAK,GACL,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AAElB,MAAM,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;AAEzD;;;;;GAKG;AACH,eAAO,MAAM,OAAO,2BAA0C,CAAC"}

package/dist/axis/shape/Formats.js

@@ -0,0 +1,9 @@
+import { Registry } from '../../lib/Registry.js';
+/**
+ * String formats the JSON Schema engine does not know. `find` answers `undefined` for
+ * `email` or `uuid`, which it validates on its own.
+ * FR : les formats de chaîne que le moteur ignore ; `find` rend `undefined` pour les siens.
+ * `Formats.register('siret', (v) => /^\d{14}$/.test(v))`
+ */
+export const Formats = new Registry('format');
+//# sourceMappingURL=Formats.js.map

package/dist/axis/shape/Formats.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Formats.js","sourceRoot":"","sources":["../../../src/axis/shape/Formats.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAajD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,QAAQ,CAAkB,QAAQ,CAAC,CAAC"}

package/dist/{schema/axis → axis}/shape/Shape.d.ts

@@ -19,6 +19,8 @@ interface ArrayConstraints {
 interface ObjectConstraints {
     properties?: Record<string, unknown>;
     required?: readonly string[];
+    additionalProperties?: boolean | Shape;
+    propertyNames?: Shape;
 }
 export type Shape = ({
     type: Nullably<'string'>;
@@ -42,16 +44,23 @@ type BaseShape = ({
 } & ArrayConstraints) | ({
     type: 'object';
 } & ObjectConstraints);
-interface ShapeAnatomy {
+interface ShapeParts {
     base?: BaseShape;
     nullable: boolean;
 }
-export declare class Anatomy {
+export declare class Shapes {
     static is(value: unknown): value is Shape;
+    /**
+     * Every `pattern` a shape states, the nested ones included — `items`, `properties`.
+     *
+     * Two readers ask two questions of the same list: the card door asks whether each one
+     * compiles, `fougere check` whether each one backtracks. Neither owns the walk.
+     */
+    static patterns(shape: unknown): string[];
     static nullable(shape: Shape): Shape;
     private static readonly cache;
     private static readonly none;
-    static of(shape?: Shape): ShapeAnatomy;
+    static of(shape?: Shape): ShapeParts;
     static isNullable(shape?: Shape): boolean;
 }
 export {};

package/dist/axis/shape/Shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Shape.d.ts","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAE3D,UAAU,iBAAiB;IAAG,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,YAAY,CAAA;CAAE;AAClJ,UAAU,kBAAkB;IAAG,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE;AACnE,UAAU,gBAAgB;IAAG,KAAK,CAAC,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE;AAClF,UAAU,iBAAiB;IAAG,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,oBAAoB,CAAC,EAAE,OAAO,GAAG,KAAK,CAAC;IAAC,aAAa,CAAC,EAAE,KAAK,CAAA;CAAE;AAEjK,MAAM,MAAM,KAAK,GACb,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;CAAE,GAAG,iBAAiB,CAAC,GAClD,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAA;CAAE,GAAG,kBAAkB,CAAC,GACzE;IAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAA;CAAE,GAC7B,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;CAAE,GAAG,gBAAgB,CAAC,GAChD,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;CAAE,GAAG,iBAAiB,CAAC,CAAC;AAcvD,KAAK,SAAS,GACV,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,iBAAiB,CAAC,GACxC,CAAC;IAAE,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAA;CAAE,GAAG,kBAAkB,CAAC,GACrD;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB,CAAC;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,gBAAgB,CAAC,GACtC,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,iBAAiB,CAAC,CAAC;AAW7C,UAAU,UAAU;IAClB,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAgBD,qBAAa,MAAM;IACjB,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,KAAK,CAExC;IAED;;;;;OAKG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAKxC;IAED,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAEnC;IAED,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAqC;IAClE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAoD;IAEhF,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,UAAU,CAiBnC;IAED,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,OAAO,CAExC;CACF"}

package/dist/axis/shape/Shape.js

@@ -0,0 +1,77 @@
+const SHAPE_TYPES = ['string', 'number', 'integer', 'boolean', 'array', 'object'];
+function isShapeImpl(value) {
+    if (typeof value !== 'object' || value === null)
+        return false;
+    const type = value.type;
+    const names = Array.isArray(type) ? type : [type];
+    return (names.some((name) => SHAPE_TYPES.includes(name)) &&
+        names.every((name) => name === 'null' || SHAPE_TYPES.includes(name)));
+}
+function nullableShapeImpl(shape) {
+    if (Array.isArray(shape.type))
+        return shape;
+    const nullable = { ...shape, type: [shape.type, 'null'] };
+    if ('enum' in nullable && nullable.enum && !nullable.enum.includes(null)) {
+        nullable.enum = [...nullable.enum, null];
+    }
+    return nullable;
+}
+function collectPatterns(value, found) {
+    if (Array.isArray(value)) {
+        for (const member of value)
+            collectPatterns(member, found);
+        return;
+    }
+    if (typeof value !== 'object' || value === null)
+        return;
+    const { pattern } = value;
+    if (typeof pattern === 'string')
+        found.push(pattern);
+    for (const member of Object.values(value))
+        collectPatterns(member, found);
+}
+export class Shapes {
+    static is(value) {
+        return isShapeImpl(value);
+    }
+    /**
+     * Every `pattern` a shape states, the nested ones included — `items`, `properties`.
+     *
+     * Two readers ask two questions of the same list: the card door asks whether each one
+     * compiles, `fougere check` whether each one backtracks. Neither owns the walk.
+     */
+    static patterns(shape) {
+        const found = [];
+        collectPatterns(shape, found);
+        return found;
+    }
+    static nullable(shape) {
+        return nullableShapeImpl(shape);
+    }
+    static cache = new WeakMap();
+    static none = { base: undefined, nullable: false };
+    static of(shape) {
+        if (!shape)
+            return this.none;
+        let parts = this.cache.get(shape);
+        if (!parts) {
+            if (Array.isArray(shape.type)) {
+                const baseType = shape.type.find((t) => t !== 'null');
+                const base = { ...shape, type: baseType };
+                if ('enum' in base && base.enum) {
+                    base.enum = base.enum.filter((v) => v !== null);
+                }
+                parts = { base, nullable: true };
+            }
+            else {
+                parts = { base: shape, nullable: false };
+            }
+            this.cache.set(shape, parts);
+        }
+        return parts;
+    }
+    static isNullable(shape) {
+        return this.of(shape).nullable;
+    }
+}
+//# sourceMappingURL=Shape.js.map

package/dist/axis/shape/Shape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Shape.js","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AAiBA,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAU,CAAC;AAE3F,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,IAAI,GAAI,KAAe,CAAC,IAAI,CAAC;IACnC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,CACL,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAE,WAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,IAAK,WAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAC7F,CAAC;AACJ,CAAC;AASD,SAAS,iBAAiB,CAAC,KAAY;IACrC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,EAAsB,CAAC;IAC9E,IAAI,MAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxE,QAAiD,CAAC,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAOD,SAAS,eAAe,CAAC,KAAc,EAAE,KAAe;IACtD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,MAAM,IAAI,KAAK;YAAE,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAE3D,OAAO;IACT,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IAExD,MAAM,EAAE,OAAO,EAAE,GAAG,KAA8B,CAAC;IACnD,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAErD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC5E,CAAC;AAED,MAAM,OAAO,MAAM;IACjB,MAAM,CAAC,EAAE,CAAC,KAAc;QACtB,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAED;;;;;OAKG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAc;QAC5B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAE9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,KAAY;QAC1B,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IAEO,MAAM,CAAU,KAAK,GAAG,IAAI,OAAO,EAAsB,CAAC;IAC1D,MAAM,CAAU,IAAI,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAEhF,MAAM,CAAC,EAAE,CAAC,KAAa;QACrB,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;gBACtD,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAe,CAAC;gBACvD,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC/B,IAA6C,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;gBAC5F,CAAC;gBACD,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACnC,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,EAAE,IAAI,EAAE,KAAkB,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YACxD,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,KAAa;QAC7B,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC;IACjC,CAAC;CACF"}

package/dist/entity/EntityAdapterSet.d.ts

@@ -0,0 +1,22 @@
+import type { Fields } from '../field/Field.js';
+import type { EntityAdapters } from './EntityAdapters.js';
+export declare class EntityAdapterSet {
+    readonly adapters: EntityAdapters<Fields>;
+    /**
+     * `{ sql: { body: { columnType: { pg: 'tsvector' } } } }`
+     */
+    private constructor();
+    /**
+     * Stops a malformed declaration from propagating, by checking its two levels.
+     * `of({ sql: { body: 3 } })` → passes; `of({ sql: 'oops' })` → throws, naming `adapters.sql`
+     */
+    static of(adapters?: EntityAdapters<Fields>): EntityAdapterSet;
+    /** Folds several into one, a later field entry replacing the earlier. Takes sets only, so */
+    static merged(adapterSets: readonly EntityAdapterSet[]): EntityAdapterSet;
+    private get entries();
+    /** Collects every field addressed, so a declaration aimed at a missing field is caught. */
+    get fieldNames(): string[];
+    /** Follows a derivation — `pick`, `omit` and `rename` are one gesture: what remains, and */
+    rename(transform: (key: string) => string | undefined): EntityAdapterSet;
+}
+//# sourceMappingURL=EntityAdapterSet.d.ts.map

package/dist/entity/EntityAdapterSet.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityAdapterSet.d.ts","sourceRoot":"","sources":["../../src/entity/EntityAdapterSet.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAK1D,qBAAa,gBAAgB;IAIP,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC,MAAM,CAAC;IAH7D;;OAEG;IACH,OAAO,eAA0D;IAEjE;;;OAGG;IACH,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,gBAAgB,CAmB7D;IAED,6FAA6F;IAC7F,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,GAAG,gBAAgB,CAQxE;IAED,OAAO,KAAK,OAAO,GAElB;IAED,2FAA2F;IAC3F,IAAI,UAAU,IAAI,MAAM,EAAE,CAIzB;IAED,4FAA4F;IAC5F,MAAM,CAAC,SAAS,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GAAG,gBAAgB,CAkBvE;CACF"}

package/dist/entity/EntityAdapterSet.js

@@ -0,0 +1,63 @@
+import { isObject } from '../lib/utils.js';
+export class EntityAdapterSet {
+    adapters;
+    /**
+     * `{ sql: { body: { columnType: { pg: 'tsvector' } } } }`
+     */
+    constructor(adapters) {
+        this.adapters = adapters;
+    }
+    /**
+     * Stops a malformed declaration from propagating, by checking its two levels.
+     * `of({ sql: { body: 3 } })` → passes; `of({ sql: 'oops' })` → throws, naming `adapters.sql`
+     */
+    static of(adapters) {
+        if (!adapters)
+            return new EntityAdapterSet({});
+        if (!isObject(adapters)) {
+            throw new Error(`adapters: expected an object keyed by adapter name, got ${typeof adapters}.`);
+        }
+        for (const [adapter, fields] of Object.entries(adapters)) {
+            if (!isObject(fields)) {
+                throw new Error(`adapters.${adapter}: expected an object keyed by field name, got ${typeof fields}. ` +
+                    `What an adapter is handed is addressed by the field it applies to.`);
+            }
+        }
+        return new EntityAdapterSet(adapters);
+    }
+    /** Folds several into one, a later field entry replacing the earlier. Takes sets only, so */
+    static merged(adapterSets) {
+        const configurations = {};
+        for (const adapterSet of adapterSets)
+            for (const [adapter, configuration] of adapterSet.entries)
+                configurations[adapter] = { ...configurations[adapter], ...configuration };
+        return new EntityAdapterSet(configurations);
+    }
+    get entries() {
+        return Object.entries(this.adapters);
+    }
+    /** Collects every field addressed, so a declaration aimed at a missing field is caught. */
+    get fieldNames() {
+        return [
+            ...new Set(this.entries.flatMap(([, configuration]) => Object.keys(configuration))),
+        ];
+    }
+    /** Follows a derivation — `pick`, `omit` and `rename` are one gesture: what remains, and */
+    rename(transform) {
+        const renamed = {};
+        for (const [adapter, configuration] of this.entries) {
+            const mapped = {};
+            for (const [key, entry] of Object.entries(configuration)) {
+                const newName = transform(key);
+                if (newName !== undefined)
+                    mapped[newName] = entry;
+            }
+            // Drop an adapter left with no field. `Post.pick('id')` would otherwise answer
+            // `{ sql: {} }` — a line the entity never wrote.
+            if (Object.keys(mapped).length)
+                renamed[adapter] = mapped;
+        }
+        return new EntityAdapterSet(renamed);
+    }
+}
+//# sourceMappingURL=EntityAdapterSet.js.map

package/dist/entity/EntityAdapterSet.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityAdapterSet.js","sourceRoot":"","sources":["../../src/entity/EntityAdapterSet.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAM3C,MAAM,OAAO,gBAAgB;IAIE,QAAQ;IAHrC;;OAEG;IACH,YAA6B,QAAgC;wBAAhC,QAAQ;IAA2B,CAAC;IAEjE;;;OAGG;IACH,MAAM,CAAC,EAAE,CAAC,QAAiC;QACzC,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,gBAAgB,CAAC,EAAE,CAAC,CAAC;QAE/C,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,2DAA2D,OAAO,QAAQ,GAAG,CAC9E,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CACb,YAAY,OAAO,iDAAiD,OAAO,MAAM,IAAI;oBACnF,oEAAoE,CACvE,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO,IAAI,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED,6FAA6F;IAC7F,MAAM,CAAC,MAAM,CAAC,WAAwC;QACpD,MAAM,cAAc,GAA0B,EAAE,CAAC;QAEjD,KAAK,MAAM,UAAU,IAAI,WAAW;YAClC,KAAK,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,UAAU,CAAC,OAAO;gBACvD,cAAc,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,EAAE,GAAG,aAAa,EAAE,CAAC;QAE/E,OAAO,IAAI,gBAAgB,CAAC,cAAc,CAAC,CAAC;IAC9C,CAAC;IAED,IAAY,OAAO;QACjB,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,2FAA2F;IAC3F,IAAI,UAAU;QACZ,OAAO;YACL,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;SACpF,CAAC;IACJ,CAAC;IAED,4FAA4F;IAC5F,MAAM,CAAC,SAA8C;QACnD,MAAM,OAAO,GAA0B,EAAE,CAAC;QAE1C,KAAK,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACpD,MAAM,MAAM,GAAyB,EAAE,CAAC;YAExC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;gBACzD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;gBAE/B,IAAI,OAAO,KAAK,SAAS;oBAAE,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;YACrD,CAAC;YAED,+EAA+E;YAC/E,iDAAiD;YACjD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM;gBAAE,OAAO,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;QAC5D,CAAC;QAED,OAAO,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;CACF"}

package/dist/entity/EntityAdapters.d.ts

@@ -1,28 +1,5 @@
-import type { FieldName, Fields } from '../schema/fields/Field.js';
+import type { FieldName, Fields } from '../field/Field.js';
 export interface FougereEntityAdapters<K extends string> {
 }
 export type EntityAdapters<TFields extends Fields> = Readonly<Partial<FougereEntityAdapters<FieldName<TFields>>>>;
-/**
- * What one schema states per adapter: an adapter name, a field name, then that adapter's own value.
- */
-export declare class EntityAdapterSet {
-    private readonly byAdapter;
-    private constructor();
-    static of(declared: EntityAdapters<Fields> | undefined): EntityAdapterSet | undefined;
-    /** Several schemas folded into one set; a later source wins, per adapter and per field. */
-    static merged(sources: readonly (EntityAdapters<Fields> | undefined)[]): EntityAdapterSet | undefined;
-    /** Every field name these entries address — what a caller checks against its own shape. */
-    get fieldNames(): string[];
-    /** The plain object, which is what a reader outside this package receives. */
-    get stated(): EntityAdapters<Fields>;
-    /**
-     * The entries whose field survives a cut, re-addressed by that field's new name.
-     *
-     * The adapter name is not a field and does not move; only the level below it does. An
-     * entry left on the old name is not an error anywhere downstream — `adapter/sql` looks
-     * it up by the field it is iterating and simply finds nothing.
-     */
-    cut(survives: (key: string) => string | undefined): EntityAdapterSet | undefined;
-    private static made;
-}
 //# sourceMappingURL=EntityAdapters.d.ts.map

package/dist/entity/EntityAdapters.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"EntityAdapters.d.ts","sourceRoot":"","sources":["../../src/entity/EntityAdapters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAInE,MAAM,WAAW,qBAAqB,CAAC,CAAC,SAAS,MAAM;CAAI;AAE3D,MAAM,MAAM,cAAc,CAAC,OAAO,SAAS,MAAM,IAAI,QAAQ,CAAC,OAAO,CAAC,qBAAqB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAOlH;;GAEG;AACH,qBAAa,gBAAgB;IACP,OAAO,CAAC,QAAQ,CAAC,SAAS;IAA9C,OAAO,eAA2D;IAElE,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,cAAc,CAAC,MAAM,CAAC,GAAG,SAAS,GAAG,gBAAgB,GAAG,SAAS,CAyBpF;IAED,2FAA2F;IAC3F,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,GAAG,gBAAgB,GAAG,SAAS,CAapG;IAED,2FAA2F;IAC3F,IAAI,UAAU,IAAI,MAAM,EAAE,CAEzB;IAED,8EAA8E;IAC9E,IAAI,MAAM,IAAI,cAAc,CAAC,MAAM,CAAC,CAEnC;IAED;;;;;;OAMG;IACH,GAAG,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GAAG,gBAAgB,GAAG,SAAS,CAe/E;IAED,OAAO,CAAC,MAAM,CAAC,IAAI;CAGpB"}
+{"version":3,"file":"EntityAdapters.d.ts","sourceRoot":"","sources":["../../src/entity/EntityAdapters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG3D,MAAM,WAAW,qBAAqB,CAAC,CAAC,SAAS,MAAM;CAAI;AAE3D,MAAM,MAAM,cAAc,CAAC,OAAO,SAAS,MAAM,IAAI,QAAQ,CAC3D,OAAO,CAAC,qBAAqB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CACnD,CAAC"}

package/dist/entity/EntityAdapters.js

@@ -1,75 +1,2 @@
-import { isObject } from '../utils.js';
-/**
- * What one schema states per adapter: an adapter name, a field name, then that adapter's own value.
- */
-export class EntityAdapterSet {
-    byAdapter;
-    constructor(byAdapter) {
-        this.byAdapter = byAdapter;
-    }
-    static of(declared) {
-        if (declared === undefined)
-            return undefined;
-        if (!isObject(declared)) {
-            throw new Error(`adapters: expected an object keyed by adapter name, got ${typeof declared}.`);
-        }
-        const byAdapter = {};
-        for (const [adapter, perField] of Object.entries(declared)) {
-            if (perField === undefined)
-                continue;
-            if (!isObject(perField)) {
-                throw new Error(`adapters.${adapter}: expected an object keyed by field name, got ${typeof perField}. ` +
-                    `What an adapter is handed is addressed by the field it applies to.`);
-            }
-            if (Object.keys(perField).length)
-                byAdapter[adapter] = perField;
-        }
-        return EntityAdapterSet.made(byAdapter);
-    }
-    /** Several schemas folded into one set; a later source wins, per adapter and per field. */
-    static merged(sources) {
-        const out = {};
-        for (const source of sources) {
-            const set = EntityAdapterSet.of(source);
-            if (!set)
-                continue;
-            for (const [adapter, perField] of Object.entries(set.byAdapter)) {
-                out[adapter] = { ...out[adapter], ...perField };
-            }
-        }
-        return EntityAdapterSet.made(out);
-    }
-    /** Every field name these entries address — what a caller checks against its own shape. */
-    get fieldNames() {
-        return [...new Set(Object.values(this.byAdapter).flatMap((perField) => Object.keys(perField)))];
-    }
-    /** The plain object, which is what a reader outside this package receives. */
-    get stated() {
-        return this.byAdapter;
-    }
-    /**
-     * The entries whose field survives a cut, re-addressed by that field's new name.
-     *
-     * The adapter name is not a field and does not move; only the level below it does. An
-     * entry left on the old name is not an error anywhere downstream — `adapter/sql` looks
-     * it up by the field it is iterating and simply finds nothing.
-     */
-    cut(survives) {
-        const out = {};
-        for (const [adapter, perField] of Object.entries(this.byAdapter)) {
-            const mapped = {};
-            for (const [key, entry] of Object.entries(perField)) {
-                const next = survives(key);
-                if (next !== undefined)
-                    mapped[next] = entry;
-            }
-            if (Object.keys(mapped).length)
-                out[adapter] = mapped;
-        }
-        return EntityAdapterSet.made(out);
-    }
-    static made(byAdapter) {
-        return Object.keys(byAdapter).length ? new EntityAdapterSet(byAdapter) : undefined;
-    }
-}
+export {};
 //# sourceMappingURL=EntityAdapters.js.map

package/dist/entity/EntityAdapters.js.map

@@ -1 +1 @@
-{"version":3,"file":"EntityAdapters.js","sourceRoot":"","sources":["../../src/entity/EntityAdapters.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAYvC;;GAEG;AACH,MAAM,OAAO,gBAAgB;IACU,SAAS;IAA9C,YAAqC,SAAyB;yBAAzB,SAAS;IAAmB,CAAC;IAElE,MAAM,CAAC,EAAE,CAAC,QAA4C;QACpD,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAE7C,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CACb,2DAA2D,OAAO,QAAQ,GAAG,CAC9E,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAmB,EAAE,CAAC;QAErC,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAA0B,CAAC,EAAE,CAAC;YAC7E,IAAI,QAAQ,KAAK,SAAS;gBAAE,SAAS;YAErC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACb,YAAY,OAAO,iDAAiD,OAAO,QAAQ,IAAI;oBACrF,oEAAoE,CACvE,CAAC;YACJ,CAAC;YAED,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM;gBAAE,SAAS,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC;QAClE,CAAC;QAED,OAAO,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC;IAED,2FAA2F;IAC3F,MAAM,CAAC,MAAM,CAAC,OAAwD;QACpE,MAAM,GAAG,GAAmB,EAAE,CAAC;QAE/B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,gBAAgB,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,CAAC,GAAG;gBAAE,SAAS;YAEnB,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBAChE,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,EAAE,CAAC;YAClD,CAAC;QACH,CAAC;QAED,OAAO,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,2FAA2F;IAC3F,IAAI,UAAU;QACZ,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAClG,CAAC;IAED,8EAA8E;IAC9E,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,SAAmC,CAAC;IAClD,CAAC;IAED;;;;;;OAMG;IACH,GAAG,CAAC,QAA6C;QAC/C,MAAM,GAAG,GAAmB,EAAE,CAAC;QAE/B,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACjE,MAAM,MAAM,GAAiB,EAAE,CAAC;YAEhC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAC3B,IAAI,IAAI,KAAK,SAAS;oBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;YAC/C,CAAC;YAED,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM;gBAAE,GAAG,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;QACxD,CAAC;QAED,OAAO,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IAEO,MAAM,CAAC,IAAI,CAAC,SAAyB;QAC3C,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrF,CAAC;CACF"}
+{"version":3,"file":"EntityAdapters.js","sourceRoot":"","sources":["../../src/entity/EntityAdapters.ts"],"names":[],"mappings":""}

package/dist/entity/EntityDeclarations.d.ts

@@ -1,4 +1,4 @@
-import type { FieldName, Fields } from '../schema/fields/Field.js';
+import type { FieldName, Fields } from '../field/Field.js';
 import type { EntityAdapters } from './EntityAdapters.js';
 export type CompositeUnique<TFields extends Fields> = readonly (readonly FieldName<TFields>[])[];
 export type PreviousNames<TFields extends Fields> = Readonly<Partial<Record<FieldName<TFields>, string>>>;

package/dist/entity/EntityDeclarations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"EntityDeclarations.d.ts","sourceRoot":"","sources":["../../src/entity/EntityDeclarations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAG1D,MAAM,MAAM,eAAe,CAAC,OAAO,SAAS,MAAM,IAChD,SAAS,CAAC,SAAS,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;AAE7C,MAAM,MAAM,aAAa,CAAC,OAAO,SAAS,MAAM,IAAI,QAAQ,CAC1D,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,CAC5C,CAAC;AAEF,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,MAAM;IACxD,QAAQ,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACnC,QAAQ,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC;CACnC"}
+{"version":3,"file":"EntityDeclarations.d.ts","sourceRoot":"","sources":["../../src/entity/EntityDeclarations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAG1D,MAAM,MAAM,eAAe,CAAC,OAAO,SAAS,MAAM,IAChD,SAAS,CAAC,SAAS,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;AAE7C,MAAM,MAAM,aAAa,CAAC,OAAO,SAAS,MAAM,IAAI,QAAQ,CAC1D,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC,CAC5C,CAAC;AAEF,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,MAAM;IACxD,QAAQ,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACnC,QAAQ,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC;CACnC"}

package/dist/entity.d.ts

@@ -1,5 +1,10 @@
-import { type Fields } from './schema/fields/Field.js';
+import { type Fields } from './field/Field.js';
 import { type EntityDeclarations } from './entity/EntityDeclarations.js';
-import { type SchemaConstructor } from './schema/Schema.js';
+import { type SchemaConstructor } from './Schema.js';
+/**
+ * So the whole framework starts from one call: fields, and what they say about themselves.
+ * FR : pour que tout parte d'un appel : les champs, et ce qu'ils disent d'eux-mêmes.
+ * `class Post extends entity({ id: primary(), title: text() }, { unique: [['title']] }) {}`
+ */
 export declare function entity<TFields extends Fields>(fields: TFields, declarations?: EntityDeclarations<TFields>): SchemaConstructor<TFields>;
 //# sourceMappingURL=entity.d.ts.map

package/dist/entity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../src/entity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAU,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEpE,wBAAgB,MAAM,CAAC,OAAO,SAAS,MAAM,EAC3C,MAAM,EAAE,OAAO,EACf,YAAY,GAAE,kBAAkB,CAAC,OAAO,CAAM,GAC7C,iBAAiB,CAAC,OAAO,CAAC,CAE5B"}
+{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../src/entity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACzE,OAAO,EAAU,KAAK,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAE7D;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,OAAO,SAAS,MAAM,EAC3C,MAAM,EAAE,OAAO,EACf,YAAY,GAAE,kBAAkB,CAAC,OAAO,CAAM,GAC7C,iBAAiB,CAAC,OAAO,CAAC,CAE5B"}

package/dist/entity.js

@@ -1,4 +1,9 @@
-import { Schema } from './schema/Schema.js';
+import { Schema } from './Schema.js';
+/**
+ * So the whole framework starts from one call: fields, and what they say about themselves.
+ * FR : pour que tout parte d'un appel : les champs, et ce qu'ils disent d'eux-mêmes.
+ * `class Post extends entity({ id: primary(), title: text() }, { unique: [['title']] }) {}`
+ */
 export function entity(fields, declarations = {}) {
     return Schema.of({ fields }).declares(declarations);
 }

package/dist/entity.js.map

@@ -1 +1 @@
-{"version":3,"file":"entity.js","sourceRoot":"","sources":["../src/entity.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAA0B,MAAM,oBAAoB,CAAC;AAEpE,MAAM,UAAU,MAAM,CACpB,MAAe,EACf,YAAY,GAAgC,EAAE;IAE9C,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;AACtD,CAAC"}
+{"version":3,"file":"entity.js","sourceRoot":"","sources":["../src/entity.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAA0B,MAAM,aAAa,CAAC;AAE7D;;;;GAIG;AACH,MAAM,UAAU,MAAM,CACpB,MAAe,EACf,YAAY,GAAgC,EAAE;IAE9C,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;AACtD,CAAC"}

package/dist/{schema/fields → field}/Field.d.ts

@@ -1,14 +1,12 @@
 import type { Shape } from '../axis/shape/Shape.js';
-import { type RoleRules } from '../axis/role/Role.js';
+import type { RoleRules } from '../axis/role/Role.js';
 import type { LifecycleRules } from '../axis/lifecycle/Lifecycle.js';
 import type { BoundaryRef } from '../axis/boundary/Boundary.js';
 import type { Meta } from '../axis/Meta.js';
 import type { Axis } from '../axis/Axis.js';
 export type Fields = Record<string, Field>;
-/** A key of a field set — the name a declaration addresses a field by. */
 export type FieldName<TFields extends Fields> = Extract<keyof TFields, string>;
-/** The carrier, the three extension axes, the annotation — the five the judge reads. */
-export type FieldDeclaration = Pick<Field, 'shape' | Axis['slot'] | 'meta'>;
+type FieldDeclaration = Pick<Field, 'shape' | Axis['slot'] | 'meta'>;
 export declare class Field<T = unknown> {
     readonly shape: Shape;
     readonly role?: RoleRules;
@@ -19,6 +17,6 @@ export declare class Field<T = unknown> {
     constructor(init: FieldDeclaration, key?: string);
     static is(value: unknown): value is Field;
     with<U = T>(overrides: Partial<FieldDeclaration>): Field<U>;
-    rename(map: (key: string) => string | undefined): Field<T>;
 }
+export {};
 //# sourceMappingURL=Field.d.ts.map

package/dist/field/Field.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Field.d.ts","sourceRoot":"","sources":["../../src/field/Field.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAI5C,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE3C,MAAM,MAAM,SAAS,CAAC,OAAO,SAAS,MAAM,IAAI,OAAO,CAAC,MAAM,OAAO,EAAE,MAAM,CAAC,CAAC;AAE/E,KAAK,gBAAgB,GAAG,IAAI,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;AAErE,qBAAa,KAAK,CAAC,CAAC,GAAG,OAAO;IAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IAErB,SAAiB,KAAK,CAAC,EAAE,CAAC,CAAC;IAE3B,YAAY,IAAI,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,MAAM,EAyB/C;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,KAAK,CAExC;IAED,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAE1D;CACF"}

package/dist/field/Field.js

@@ -0,0 +1,35 @@
+import { FieldDeclarationValidator } from '../validator/FieldDeclarationValidator.js';
+import { FieldValueValidator } from '../validator/FieldValueValidator.js';
+export class Field {
+    shape;
+    role;
+    lifecycle;
+    boundary;
+    meta;
+    constructor(init, key) {
+        const verdict = FieldDeclarationValidator.of(init).verdict;
+        if (!verdict.success) {
+            throw new Error(`${key ? `Field '${key}': ` : ''}` +
+                verdict.errors.map((e) => `${e.path}: ${e.message}`).join('; '));
+        }
+        this.shape = init.shape;
+        this.role = init.role;
+        this.lifecycle = init.lifecycle;
+        this.boundary = init.boundary;
+        this.meta = init.meta;
+        const create = this.lifecycle?.create;
+        if (typeof create === 'object' && create !== null && 'value' in create) {
+            const checked = FieldValueValidator.of(this).validate(create.value);
+            if ('error' in checked)
+                throw new Error(`${key ? `Field '${key}': ` : ''}the declared default ${JSON.stringify(create.value)} ` +
+                    `is not a legal value for it — ${checked.error}.`);
+        }
+    }
+    static is(value) {
+        return FieldDeclarationValidator.of(value).verdict.success;
+    }
+    with(overrides) {
+        return new Field({ ...this, ...overrides });
+    }
+}
+//# sourceMappingURL=Field.js.map

package/dist/field/Field.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Field.js","sourceRoot":"","sources":["../../src/field/Field.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAQ1E,MAAM,OAAO,KAAK;IACP,KAAK,CAAQ;IACb,IAAI,CAAa;IACjB,SAAS,CAAkB;IAC3B,QAAQ,CAAe;IACvB,IAAI,CAAQ;IAIrB,YAAY,IAAsB,EAAE,GAAY;QAC9C,MAAM,OAAO,GAAG,yBAAyB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;QAE3D,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;gBAChC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAClE,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QAEtB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC;QACtC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,mBAAmB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACpE,IAAI,OAAO,IAAI,OAAO;gBACpB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,wBAAwB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG;oBACrF,iCAAiC,OAAO,CAAC,KAAK,GAAG,CACpD,CAAC;QACN,CAAC;IACH,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAAc;QACtB,OAAO,yBAAyB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IAC7D,CAAC;IAED,IAAI,CAAQ,SAAoC;QAC9C,OAAO,IAAI,KAAK,CAAI,EAAE,GAAG,IAAI,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IACjD,CAAC;CACF"}