@fougere/schema 0.12.1-alpha.0 → 0.12.2-alpha.0

package/dist/axis/role/Role.d.ts

@@ -1,5 +1,6 @@
 import type { Relation } from './Relation.js';
 import type { EntityConstructor } from './EntityConstructor.js';
+import type { ValidationError } from '../../lib/ValidationError.js';
 import { Format, type Accepted } from '../../lib/Format.js';
 export declare class Role {
     private readonly rules;
@@ -13,25 +14,31 @@ export declare class Role {
         } | undefined;
         unique?: boolean | undefined;
     }>;
-    static refusals(value: unknown): {
-        path: string[];
-        message: string;
-    }[];
+    static refusals(value: unknown, declaration?: Record<string, unknown>): ValidationError[];
     private constructor();
+    /** A collection has no column: the far side of the relation carries the key. */
+    static admitsAbsence(field: {
+        role?: RoleRules;
+    }): boolean;
     static of(field: {
         role?: RoleRules;
     }): Role;
-    get isPrimary(): boolean;
-    get isIndexed(): boolean;
+    isPrimary(): boolean;
+    isIndexed(): boolean;
     /** A field unique on its own. A group spanning several belongs to the schema. */
-    get isUnique(): boolean;
-    get isCollection(): boolean;
-    get isReference(): boolean;
+    isUnique(): boolean;
+    isCollection(): boolean;
+    isReference(): boolean;
     /** Either kind — what a CLI flag and a GraphQL selection both leave out. */
-    get isRelation(): boolean;
+    isRelation(): boolean;
     /** Calls `() => Post` so no caller has to. */
     get target(): EntityConstructor | undefined;
     get onDelete(): Relation['onDelete'];
 }
 export type RoleRules = Accepted<typeof Role.format>;
+declare module '../../FougereFieldAxes.js' {
+    interface FougereFieldAxes {
+        readonly role?: RoleRules;
+    }
+}
 //# sourceMappingURL=Role.d.ts.map

package/dist/axis/role/Role.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Role.d.ts","sourceRoot":"","sources":["../../../src/axis/role/Role.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,OAAO,EAAE,MAAM,EAAE,KAAK,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAG5D,qBAAa,IAAI;IAuBK,OAAO,CAAC,QAAQ,CAAC,KAAK;IAtB1C,MAAM,CAAC,QAAQ,CAAC,MAAM;;;;;;sBAOoB,iBAAiB;;;OAM/C;IAEZ,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO;;;QAK7B;IAED,OAAO,eAAuD;IAE9D,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,GAAG,IAAI,CAE3C;IAED,IAAI,SAAS,IAAI,OAAO,CAEvB;IAED,IAAI,SAAS,IAAI,OAAO,CAEvB;IAED,iFAAiF;IACjF,IAAI,QAAQ,IAAI,OAAO,CAEtB;IAED,IAAI,YAAY,IAAI,OAAO,CAE1B;IAED,IAAI,WAAW,IAAI,OAAO,CAEzB;IAED,4EAA4E;IAC5E,IAAI,UAAU,IAAI,OAAO,CAExB;IAED,8CAA8C;IAC9C,IAAI,MAAM,IAAI,iBAAiB,GAAG,SAAS,CAE1C;IAED,IAAI,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,CAEnC;CACF;AAED,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC"}
+{"version":3,"file":"Role.d.ts","sourceRoot":"","sources":["../../../src/axis/role/Role.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAGhE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,KAAK,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAG5D,qBAAa,IAAI;IA0CK,OAAO,CAAC,QAAQ,CAAC,KAAK;IAzC1C,MAAM,CAAC,QAAQ,CAAC,MAAM;;;;;;sBAOoB,iBAAiB;;;OAM/C;IAEZ,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GAAG,eAAe,EAAE,CAwB5F;IAED,OAAO,eAAuD;IAE9D,gFAAgF;IAChF,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,GAAG,OAAO,CAEzD;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,GAAG,IAAI,CAE3C;IAED,SAAS,IAAI,OAAO,CAEnB;IAED,SAAS,IAAI,OAAO,CAEnB;IAED,iFAAiF;IACjF,QAAQ,IAAI,OAAO,CAElB;IAED,YAAY,IAAI,OAAO,CAEtB;IAED,WAAW,IAAI,OAAO,CAErB;IAED,4EAA4E;IAC5E,UAAU,IAAI,OAAO,CAEpB;IAED,8CAA8C;IAC9C,IAAI,MAAM,IAAI,iBAAiB,GAAG,SAAS,CAE1C;IAED,IAAI,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,CAEnC;CACF;AAED,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AAErD,OAAO,QAAQ,2BAA2B,CAAC;IACzC,UAAU,gBAAgB;QACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;KAC3B;CACF"}

package/dist/axis/role/Role.js

@@ -1,4 +1,5 @@
 import { isObject } from '../../lib/utils.js';
+import { Shapes } from '../shape/Shape.js';
 import { Format } from '../../lib/Format.js';
 import { ON_DELETE, RELATION_KINDS } from './Relation.js';
 export class Role {
@@ -14,36 +15,55 @@ export class Role {
         .needs('to', 'kind')
         .closed())
         .closed();
-    static refusals(value) {
+    static refusals(value, declaration = {}) {
+        const role = Role.of({ role: isObject(value) ? value : undefined });
+        const errors = [];
         const relation = isObject(value) ? value.relation : undefined;
-        if (!isObject(relation) || !('to' in relation) || typeof relation.to === 'function')
-            return [];
-        return [{ path: ['role', 'relation', 'to'], message: 'Expected a function returning the target entity, such as () => Post' }];
+        if (isObject(relation) && 'to' in relation && typeof relation.to !== 'function')
+            errors.push({
+                path: ['role', 'relation', 'to'],
+                message: 'Expected a function returning the target entity, such as () => Post',
+            });
+        if (role.isPrimary() && Shapes.isNullable(declaration.shape))
+            errors.push({
+                path: ['role', 'primary'],
+                message: 'A primary key admits no null — a row is addressed by it',
+            });
+        if (role.isCollection() && (role.isUnique() || role.isIndexed()))
+            errors.push({
+                path: ['role', role.isUnique() ? 'unique' : 'index'],
+                message: 'A collection has no column of its own, so there is nothing to index',
+            });
+        return errors;
     }
     constructor(rules = {}) {
         this.rules = rules;
     }
+    /** A collection has no column: the far side of the relation carries the key. */
+    static admitsAbsence(field) {
+        return this.of(field).isCollection();
+    }
     static of(field) {
         return new Role(field.role);
     }
-    get isPrimary() {
+    isPrimary() {
         return this.rules.primary === true;
     }
-    get isIndexed() {
+    isIndexed() {
         return this.rules.index === true;
     }
     /** A field unique on its own. A group spanning several belongs to the schema. */
-    get isUnique() {
+    isUnique() {
         return this.rules.unique === true;
     }
-    get isCollection() {
+    isCollection() {
         return this.rules.relation?.kind === 'many';
     }
-    get isReference() {
+    isReference() {
         return this.rules.relation?.kind === 'one';
     }
     /** Either kind — what a CLI flag and a GraphQL selection both leave out. */
-    get isRelation() {
+    isRelation() {
         return this.rules.relation !== undefined;
     }
     /** Calls `() => Post` so no caller has to. */

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

@@ -1 +1 @@
-{"version":3,"file":"Role.js","sourceRoot":"","sources":["../../../src/axis/role/Role.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAiB,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE1D,MAAM,OAAO,IAAI;IAuBsB,KAAK;IAtB1C,MAAM,CAAU,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC;SAC5C,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC;SAC3B,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC;SACzB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC;SAC1B,GAAG,CACF,UAAU,EACV,MAAM,CAAC,EAAE,EAAE;SACR,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAA2B,CAAC;SACxD,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;SAC1C,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;SACzC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC;SACnB,MAAM,EAAE,CACZ;SACA,MAAM,EAAE,CAAC;IAEZ,MAAM,CAAC,QAAQ,CAAC,KAAc;QAC5B,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9D,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,OAAO,QAAQ,CAAC,EAAE,KAAK,UAAU;YAAE,OAAO,EAAE,CAAC;QAE/F,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,qEAAqE,EAAE,CAAC,CAAC;IAChI,CAAC;IAED,YAAqC,KAAK,GAAc,EAAE;qBAArB,KAAK;IAAmB,CAAC;IAE9D,MAAM,CAAC,EAAE,CAAC,KAA2B;QACnC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC;IACrC,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC;IACnC,CAAC;IAED,iFAAiF;IACjF,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;IACpC,CAAC;IAED,IAAI,YAAY;QACd,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,KAAK,MAAM,CAAC;IAC9C,CAAC;IAED,IAAI,WAAW;QACb,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,KAAK,KAAK,CAAC;IAC7C,CAAC;IAED,4EAA4E;IAC5E,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC;IAC3C,CAAC;IAED,8CAA8C;IAC9C,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC;IACnC,CAAC;IAED,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACvC,CAAC;CACF"}
+{"version":3,"file":"Role.js","sourceRoot":"","sources":["../../../src/axis/role/Role.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAc,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAAE,MAAM,EAAiB,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE1D,MAAM,OAAO,IAAI;IA0CsB,KAAK;IAzC1C,MAAM,CAAU,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC;SAC5C,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC;SAC3B,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC;SACzB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC;SAC1B,GAAG,CACF,UAAU,EACV,MAAM,CAAC,EAAE,EAAE;SACR,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAA2B,CAAC;SACxD,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;SAC1C,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;SACzC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC;SACnB,MAAM,EAAE,CACZ;SACA,MAAM,EAAE,CAAC;IAEZ,MAAM,CAAC,QAAQ,CAAC,KAAc,EAAE,WAAW,GAA4B,EAAE;QACvE,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAmB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QACnF,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QAE9D,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,QAAQ,IAAI,OAAO,QAAQ,CAAC,EAAE,KAAK,UAAU;YAC7E,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC;gBAChC,OAAO,EAAE,qEAAqE;aAC/E,CAAC,CAAC;QAEL,IAAI,IAAI,CAAC,SAAS,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,KAAc,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;gBACzB,OAAO,EAAE,yDAAyD;aACnE,CAAC,CAAC;QAEL,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC9D,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;gBACpD,OAAO,EAAE,qEAAqE;aAC/E,CAAC,CAAC;QAEL,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,YAAqC,KAAK,GAAc,EAAE;qBAArB,KAAK;IAAmB,CAAC;IAE9D,gFAAgF;IAChF,MAAM,CAAC,aAAa,CAAC,KAA2B;QAC9C,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,CAAC;IACvC,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAA2B;QACnC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC;IACrC,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC;IACnC,CAAC;IAED,iFAAiF;IACjF,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;IACpC,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,KAAK,MAAM,CAAC;IAC9C,CAAC;IAED,WAAW;QACT,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,KAAK,KAAK,CAAC;IAC7C,CAAC;IAED,4EAA4E;IAC5E,UAAU;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC;IAC3C,CAAC;IAED,8CAA8C;IAC9C,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC;IACnC,CAAC;IAED,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACvC,CAAC;CACF"}

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

@@ -1,23 +1,28 @@
 import type { StringFormat } from './StringFormat.js';
 import type { ShapeType } from './ShapeType.js';
 type Nullably<T extends string> = T | readonly [T, 'null'];
-interface StringConstraints {
+/** The sentence a field carries, where JSON Schema already holds one. */
+interface Documented {
+    description?: string;
+}
+interface StringConstraints extends Documented {
     minLength?: number;
     maxLength?: number;
     pattern?: string;
     enum?: readonly (string | null)[];
     format?: StringFormat;
 }
-interface NumericConstraints {
+interface NumericConstraints extends Documented {
     minimum?: number;
     maximum?: number;
+    enum?: readonly (number | null)[];
 }
-interface ArrayConstraints {
+interface ArrayConstraints extends Documented {
     items?: Shape;
     minItems?: number;
     maxItems?: number;
 }
-interface ObjectConstraints {
+interface ObjectConstraints extends Documented {
     properties?: Record<string, unknown>;
     required?: readonly string[];
     additionalProperties?: boolean | Shape;
@@ -27,20 +32,21 @@ export type Shape = ({
     type: Nullably<'string'>;
 } & StringConstraints) | ({
     type: Nullably<'number'> | Nullably<'integer'>;
-} & NumericConstraints) | {
+} & NumericConstraints) | ({
     type: Nullably<'boolean'>;
-} | ({
+} & Documented) | ({
     type: Nullably<'array'>;
 } & ArrayConstraints) | ({
     type: Nullably<'object'>;
 } & ObjectConstraints);
+export declare const SHAPE_TYPES: readonly ['string', 'number', 'integer', 'boolean', 'array', 'object'];
 type BaseShape = ({
     type: 'string';
 } & StringConstraints) | ({
     type: 'number' | 'integer';
-} & NumericConstraints) | {
+} & NumericConstraints) | ({
     type: 'boolean';
-} | ({
+} & Documented) | ({
     type: 'array';
 } & ArrayConstraints) | ({
     type: 'object';
@@ -52,7 +58,6 @@ interface ShapeParts {
 export declare class Shapes {
     private static readonly cache;
     private static readonly none;
-    static is(value: unknown): value is Shape;
     /**
      * Every `pattern` a shape states, the nested ones included — `items`, `properties`.
      *
@@ -61,9 +66,27 @@ export declare class Shapes {
      */
     static patterns(shape: unknown): string[];
     private static collectPatterns;
+    /**
+     * `null` enters the grammar, and every constraint stays. It is added when it is ABSENT,
+     * read off the shape rather than assumed from its form — a shape already stating it comes
+     * back as itself, so `optional(nullable(text()))` does the work once.
+     *
+     * `enum` is widened TOO, because JSON Schema checks it apart from `type`: a shape saying
+     * `['string','null']` and `enum: ['draft','live']` calls null a legal type and not a legal
+     * value, and the engine answers `Instance does not match any of ["draft","live"]`.
+     *
+     * `{ type: 'string', minLength: 3 }`      → `{ type: ['string','null'], minLength: 3 }`
+     * `{ type: 'string', enum: ['draft'] }`   → `{ type: ['string','null'], enum: ['draft', null] }`
+     */
     static nullable(shape: Shape): Shape;
     static of(shape?: Shape): ShapeParts;
     static isNullable(shape?: Shape): boolean;
+    /**
+     * A value that came in as text — a form control, a command-line flag — read as the shape
+     * declares it. What does not read that way stays as it came, for the judge to refuse by name.
+     * `fromText({ type: 'integer' }, '12')` → `12`, and `fromText({ type: 'integer' }, 'abc')` → `'abc'`
+     */
+    static fromText(shape: Shape | undefined, value: unknown): unknown;
     /**
      * `shape.type` read off the base, except that a `string` answers `date` or `choice`.
      * FR : `shape.type` lu sur la base, sauf qu'une chaîne répond `date` ou `choice`.

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

@@ -1 +1 @@
-{"version":3,"file":"Shape.d.ts","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,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;AAElJ,UAAU,kBAAkB;IAAG,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE;AAEnE,UAAU,gBAAgB;IAAG,KAAK,CAAC,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE;AAElF,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;AAIvD,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;AAE7C,UAAU,UAAU;IAClB,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAgBD,qBAAa,MAAM;IACjB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAqC;IAClE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAoD;IAEhF,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,KAAK,CASxC;IAED;;;;;OAKG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAKxC;IAED,OAAO,CAAC,MAAM,CAAC,eAAe;IAc9B,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAQnC;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,UAAU,CAiBnC;IAED,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,OAAO,CAExC;IAED;;;;OAIG;IACH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,SAAS,GAAG,SAAS,CAOlD;CACF"}
+{"version":3,"file":"Shape.d.ts","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAE3D,yEAAyE;AACzE,UAAU,UAAU;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,UAAU,iBAAkB,SAAQ,UAAU;IAC5C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;IAClC,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAED,UAAU,kBAAmB,SAAQ,UAAU;IAC7C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;CACnC;AAED,UAAU,gBAAiB,SAAQ,UAAU;IAC3C,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,iBAAkB,SAAQ,UAAU;IAC5C,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,oBAAoB,CAAC,EAAE,OAAO,GAAG,KAAK,CAAC;IACvC,aAAa,CAAC,EAAE,KAAK,CAAC;CACvB;AAED,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,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAA;CAAE,GAAG,UAAU,CAAC,GAC5C,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;AAEvD,eAAO,MAAM,WAAW,YACtB,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,SAAS,EACT,OAAO,EACP,QAAQ,CACA,CAAC;AAEX,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,CAAC;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG,UAAU,CAAC,GAClC,CAAC;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,gBAAgB,CAAC,GACtC,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,iBAAiB,CAAC,CAAC;AAE7C,UAAU,UAAU;IAClB,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAsBD,qBAAa,MAAM;IACjB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAqC;IAClE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAoD;IAEhF;;;;;OAKG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAKxC;IAED,OAAO,CAAC,MAAM,CAAC,eAAe;IAc9B;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAanC;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,UAAU,CAoBnC;IAED,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,OAAO,CAExC;IAED;;;;OAIG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAajE;IAED;;;;OAIG;IACH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,SAAS,GAAG,SAAS,CAOlD;CACF"}

package/dist/axis/shape/Shape.js

@@ -1,15 +1,16 @@
-const SHAPE_TYPES = ['string', 'number', 'integer', 'boolean', 'array', 'object'];
+export const SHAPE_TYPES = [
+    'string',
+    'number',
+    'integer',
+    'boolean',
+    'array',
+    'object',
+];
+/** Every type name a shape states, whether it states one or a union of them. */
+const typesOf = (shape) => (Array.isArray(shape.type) ? shape.type : [shape.type]);
 export class Shapes {
     static cache = new WeakMap();
     static none = { base: undefined, nullable: false };
-    static is(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)));
-    }
     /**
      * Every `pattern` a shape states, the nested ones included — `items`, `properties`.
      *
@@ -35,12 +36,28 @@ export class Shapes {
         for (const member of Object.values(value))
             Shapes.collectPatterns(member, found);
     }
+    /**
+     * `null` enters the grammar, and every constraint stays. It is added when it is ABSENT,
+     * read off the shape rather than assumed from its form — a shape already stating it comes
+     * back as itself, so `optional(nullable(text()))` does the work once.
+     *
+     * `enum` is widened TOO, because JSON Schema checks it apart from `type`: a shape saying
+     * `['string','null']` and `enum: ['draft','live']` calls null a legal type and not a legal
+     * value, and the engine answers `Instance does not match any of ["draft","live"]`.
+     *
+     * `{ type: 'string', minLength: 3 }`      → `{ type: ['string','null'], minLength: 3 }`
+     * `{ type: 'string', enum: ['draft'] }`   → `{ type: ['string','null'], enum: ['draft', null] }`
+     */
     static nullable(shape) {
-        if (Array.isArray(shape.type))
+        const types = typesOf(shape);
+        if (types.includes('null'))
             return shape;
-        const nullable = { ...shape, type: [shape.type, 'null'] };
+        const nullable = { ...shape, type: [...types, 'null'] };
         if ('enum' in nullable && nullable.enum && !nullable.enum.includes(null)) {
-            nullable.enum = [...nullable.enum, null];
+            nullable.enum = [
+                ...nullable.enum,
+                null,
+            ];
         }
         return nullable;
     }
@@ -67,6 +84,20 @@ export class Shapes {
     static isNullable(shape) {
         return this.of(shape).nullable;
     }
+    /**
+     * A value that came in as text — a form control, a command-line flag — read as the shape
+     * declares it. What does not read that way stays as it came, for the judge to refuse by name.
+     * `fromText({ type: 'integer' }, '12')` → `12`, and `fromText({ type: 'integer' }, 'abc')` → `'abc'`
+     */
+    static fromText(shape, value) {
+        const type = this.of(shape).base?.type;
+        if ((type !== 'number' && type !== 'integer') ||
+            typeof value !== 'string' ||
+            value === '')
+            return value;
+        const number = Number(value);
+        return Number.isFinite(number) ? number : value;
+    }
     /**
      * `shape.type` read off the base, except that a `string` answers `date` or `choice`.
      * FR : `shape.type` lu sur la base, sauf qu'une chaîne répond `date` ou `choice`.

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

@@ -1 +1 @@
-{"version":3,"file":"Shape.js","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AAqBA,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAU,CAAC;AA4B3F,MAAM,OAAO,MAAM;IACT,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,KAAc;QACtB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAC9D,MAAM,IAAI,GAAI,KAAe,CAAC,IAAI,CAAC;QACnC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAElD,OAAO,CACL,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAE,WAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACxE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,IAAK,WAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAC7F,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAc;QAC5B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAErC,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,KAAc,EAAE,KAAe;QAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,MAAM,IAAI,KAAK;gBAAE,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAElE,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO;QAExD,MAAM,EAAE,OAAO,EAAE,GAAG,KAA8B,CAAC;QACnD,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAErD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnF,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,KAAY;QAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,EAAsB,CAAC;QAC9E,IAAI,MAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACxE,QAAiD,CAAC,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrF,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,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;IAED;;;;OAIG;IACH,MAAM,CAAC,MAAM,CAAC,KAAa;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7C,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,MAAM,CAAC;QAE/C,OAAO,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/C,CAAC;CACF"}
+{"version":3,"file":"Shape.js","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AA6CA,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,SAAS;IACT,OAAO;IACP,QAAQ;CACA,CAAC;AA8BX,gFAAgF;AAChF,MAAM,OAAO,GAAG,CAAC,KAAY,EAAqB,EAAE,CAClD,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAsB,CAAC;AAE/E,MAAM,OAAO,MAAM;IACT,MAAM,CAAU,KAAK,GAAG,IAAI,OAAO,EAAsB,CAAC;IAC1D,MAAM,CAAU,IAAI,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAEhF;;;;;OAKG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAc;QAC5B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAErC,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,KAAc,EAAE,KAAe;QAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,MAAM,IAAI,KAAK;gBAAE,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAElE,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO;QAExD,MAAM,EAAE,OAAO,EAAE,GAAG,KAA8B,CAAC;QACnD,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAErD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnF,CAAC;IAED;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAY;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAEzC,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,MAAM,CAAC,EAAsB,CAAC;QAC5E,IAAI,MAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACxE,QAA0D,CAAC,IAAI,GAAG;gBACjE,GAAG,QAAQ,CAAC,IAAI;gBAChB,IAAI;aACL,CAAC;QACJ,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,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,IAAsD,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAC7E,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAClB,CAAC;gBACJ,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;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,KAAa;QAC7B,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC;IACjC,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAwB,EAAE,KAAc;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;QAEvC,IACE,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,CAAC;YACzC,OAAO,KAAK,KAAK,QAAQ;YACzB,KAAK,KAAK,EAAE;YAEZ,OAAO,KAAK,CAAC;QAEf,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAE7B,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;IAClD,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,MAAM,CAAC,KAAa;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7C,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,MAAM,CAAC;QAE/C,OAAO,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/C,CAAC;CACF"}

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

@@ -0,0 +1,10 @@
+import { Format } from '../../lib/Format.js';
+import { type Shape } from './Shape.js';
+/**
+ * What a shape may state — JSON Schema's own keywords, less the ones this package has no word
+ * for. `shape` used to be the one key of a field declaration nothing judged, so `minLenght: 1`
+ * passed and was dropped where `lifecycle: { craete: 'now' }` had been refused since `Format`.
+ * `properties` stays open because a projection folds `meta.description` into it.
+ */
+export declare const SHAPE_FORMAT: Format<Shape>;
+//# sourceMappingURL=ShapeFormat.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ShapeFormat.d.ts","sourceRoot":"","sources":["../../../src/axis/shape/ShapeFormat.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC7C,OAAO,EAAe,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AAUrD;;;;;GAKG;AACH,eAAO,MAAM,YAAY,eAmBX,CAAC"}

package/dist/axis/shape/ShapeFormat.js

@@ -0,0 +1,32 @@
+import { Format } from '../../lib/Format.js';
+import { SHAPE_TYPES } from './Shape.js';
+const SHAPE = 'field/shape';
+/** A word, or that word beside `null` — the second place is what makes a shape nullable. */
+const TYPE = Format.either(Format.tokens(SHAPE_TYPES), Format.tuple(Format.tokens(SHAPE_TYPES), Format.tokens(['null'])));
+/**
+ * What a shape may state — JSON Schema's own keywords, less the ones this package has no word
+ * for. `shape` used to be the one key of a field declaration nothing judged, so `minLenght: 1`
+ * passed and was dropped where `lifecycle: { craete: 'now' }` had been refused since `Format`.
+ * `properties` stays open because a projection folds `meta.description` into it.
+ */
+export const SHAPE_FORMAT = Format.of(SHAPE)
+    .key('type', TYPE)
+    .key('description', Format.text)
+    .key('minLength', Format.count)
+    .key('maxLength', Format.count)
+    .key('pattern', Format.text)
+    .key('format', Format.text)
+    .key('enum', Format.listOf(Format.anything))
+    .key('minimum', Format.number)
+    .key('maximum', Format.number)
+    .key('items', Format.ref(SHAPE))
+    .key('minItems', Format.count)
+    .key('maxItems', Format.count)
+    .key('properties', Format.anything)
+    .key('required', Format.listOf(Format.text))
+    .key('additionalProperties', Format.anything)
+    .key('propertyNames', Format.ref(SHAPE))
+    .needs('type')
+    .closed()
+    .as();
+//# sourceMappingURL=ShapeFormat.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ShapeFormat.js","sourceRoot":"","sources":["../../../src/axis/shape/ShapeFormat.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAc,MAAM,YAAY,CAAC;AAErD,MAAM,KAAK,GAAG,aAAa,CAAC;AAE5B,4FAA4F;AAC5F,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CACxB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAC1B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAClE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC;KACzC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC;KACjB,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC;KAC/B,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC;KAC9B,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC;KAC9B,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC;KAC3B,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC;KAC1B,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;KAC3C,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;KAC7B,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;KAC7B,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;KAC/B,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC;KAC7B,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC;KAC7B,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC;KAClC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;KAC3C,GAAG,CAAC,sBAAsB,EAAE,MAAM,CAAC,QAAQ,CAAC;KAC5C,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;KACvC,KAAK,CAAC,MAAM,CAAC;KACb,MAAM,EAAE;KACR,EAAE,EAAS,CAAC"}

package/dist/entity/EntityDeclarations.d.ts

@@ -1,10 +1,11 @@
 import type { Fields } from '../field/Fields.js';
 import type { EntityAdapters } from './EntityAdapters.js';
-import type { CompositeUnique } from './CompositeUnique.js';
+import type { FieldGroups } from './FieldGroups.js';
 import type { PreviousNames } from './PreviousNames.js';
 export interface EntityDeclarations<TFields extends Fields> {
     adapters?: EntityAdapters<TFields>;
     previous?: PreviousNames<TFields>;
-    unique?: CompositeUnique<TFields>;
+    unique?: FieldGroups<TFields>;
+    index?: FieldGroups<TFields>;
 }
 //# sourceMappingURL=EntityDeclarations.d.ts.map

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,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD,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,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAExD,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,WAAW,CAAC,OAAO,CAAC,CAAC;IAC9B,KAAK,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;CAC9B"}

package/dist/entity/FieldGroups.d.ts

@@ -0,0 +1,9 @@
+import type { FieldName } from '../field/FieldName.js';
+import type { Fields } from '../field/Fields.js';
+/**
+ * Field names grouped, as `unique` and `index` both are — `[['listId', 'docId'], ['slug']]`.
+ * The ORDER inside a group counts for both: a unique constraint on `(a, b)` is not the one on
+ * `(b, a)`, and an index on `(a, b)` serves a filter on `a` alone and never on `b` alone.
+ */
+export type FieldGroups<TFields extends Fields> = readonly (readonly FieldName<TFields>[])[];
+//# sourceMappingURL=FieldGroups.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FieldGroups.d.ts","sourceRoot":"","sources":["../../src/entity/FieldGroups.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;;GAIG;AACH,MAAM,MAAM,WAAW,CAAC,OAAO,SAAS,MAAM,IAAI,SAAS,CAAC,SAAS,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC"}

package/dist/entity/FieldGroups.js

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

package/dist/entity/FieldGroups.js.map

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

package/dist/field/Field.d.ts

@@ -1,26 +1,45 @@
 import type { Shape } from '../axis/shape/Shape.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 './Meta.js';
-import type { FougereFieldAxes } from './FougereFieldAxes.js';
-interface FieldDeclaration extends FougereFieldAxes {
+import type { FougereFieldAxes } from '../FougereFieldAxes.js';
+/** The sentence any word admits, whatever it shapes — a relation and a date carry one too. */
+export interface Described {
+    description?: string;
+}
+/** And a value it is born with, for the words that shape one. `many()` has none to hold. */
+export interface Shared<T> extends Described {
+    default?: T;
+}
+export interface FieldDeclaration extends FougereFieldAxes {
     shape: Shape;
-    role?: RoleRules;
-    lifecycle?: LifecycleRules;
-    boundary?: BoundaryRef;
-    meta?: Meta;
+}
+/**
+ * The axes it carries are `FougereFieldAxes`, which each axis writes its own line in — so the
+ * three of the core are typed the way a fourth declared outside is, and the class names what
+ * the registry decides only once, in the constructor.
+ */
+export interface Field<T = unknown> extends FougereFieldAxes {
+    readonly _type?: T;
 }
 export declare class Field<T = unknown> {
     readonly shape: Shape;
-    readonly role?: RoleRules;
-    readonly lifecycle?: LifecycleRules;
-    readonly boundary?: BoundaryRef;
-    readonly meta?: Meta;
-    readonly _type?: T;
     constructor(init: FieldDeclaration, key?: string);
     static is(value: unknown): value is Field;
+    /**
+     * What this field declares on ONE axis, a fourth one registered outside included. An axis is
+     * a member, so it is read by NAME, and three callers reached for it through a cast of their
+     * own before this existed.
+     */
+    axis(name: keyof FieldDeclaration): unknown;
+    /** Every axis it declares, and nothing for the ones it says nothing on. */
+    get axes(): Record<string, unknown>;
+    /** Whether it states anything at all beside its shape. */
+    hasAxes(): boolean;
     with<U = T>(overrides: Partial<FieldDeclaration>): Field<U>;
+    /**
+     * What a word admits whatever its shape, and where it lands: `description` IS a JSON Schema
+     * keyword, `default` IS a lifecycle rule. Stated here alone, so no word writes the conversion.
+     * FR : ce que tout mot admet quelle que soit sa forme, et où ça atterrit.
+     * `text({ max: 200 }).setShared({ description: 'The title' })` → `shape.description`
+     */
+    setShared(opts?: Shared<T>): Field<T>;
 }
-export {};
 //# sourceMappingURL=Field.d.ts.map

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

@@ -1 +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,WAAW,CAAC;AAEtC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAM9D,UAAU,gBAAiB,SAAQ,gBAAgB;IACjD,KAAK,EAAE,KAAK,CAAC;IACb,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,IAAI,CAAC,EAAE,IAAI,CAAC;CACb;AAED,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,EA4B/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"}
+{"version":3,"file":"Field.d.ts","sourceRoot":"","sources":["../../src/field/Field.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAO/D,8FAA8F;AAC9F,MAAM,WAAW,SAAS;IACxB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,4FAA4F;AAC5F,MAAM,WAAW,MAAM,CAAC,CAAC,CAAE,SAAQ,SAAS;IAC1C,OAAO,CAAC,EAAE,CAAC,CAAC;CACb;AAED,MAAM,WAAW,gBAAiB,SAAQ,gBAAgB;IACxD,KAAK,EAAE,KAAK,CAAC;CACd;AAcD;;;;GAIG;AACH,MAAM,WAAW,KAAK,CAAC,CAAC,GAAG,OAAO,CAAE,SAAQ,gBAAgB;IAC1D,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;CACpB;AAED,qBAAa,KAAK,CAAC,CAAC,GAAG,OAAO;IAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAEtB,YAAY,IAAI,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,MAAM,EA2B/C;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,KAAK,CAExC;IAED;;;;OAIG;IACH,IAAI,CAAC,IAAI,EAAE,MAAM,gBAAgB,GAAG,OAAO,CAE1C;IAED,2EAA2E;IAC3E,IAAI,IAAI,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAMlC;IAED,0DAA0D;IAC1D,OAAO,IAAI,OAAO,CAEjB;IAED,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAE1D;IAED;;;;;OAKG;IACH,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAepC;CACF"}

package/dist/field/Field.js

@@ -1,14 +1,21 @@
 import { Axes } from '../axis/Axes.js';
 import { FieldDeclarationValidator } from '../validator/FieldDeclarationValidator.js';
 import { FieldValueValidator } from '../validator/FieldValueValidator.js';
+import { isObject } from '../lib/utils.js';
 import { dotted } from '../lib/ValidationResult.js';
 import { SchemaError } from '../SchemaError.js';
+/**
+ * Every word ends on `setShared`, so the options are read in ONE place and refused there.
+ * `text(42)` used to pass for a bare `text()`, and nine of the twelve words took it.
+ */
+const refuseLooseOptions = (opts) => {
+    if (!isObject(opts))
+        throw new SchemaError('Options must go in an object, like { max: 200 }', { received: opts });
+};
+/** The registry answers strings, and a member of a declaration is what they name. */
+const registered = () => Axes.names;
 export class Field {
     shape;
-    role;
-    lifecycle;
-    boundary;
-    meta;
     constructor(init, key) {
         const verdict = FieldDeclarationValidator.of(init).verdict;
         if (!verdict.success) {
@@ -16,10 +23,10 @@ export class Field {
                 verdict.errors.map((e) => `${dotted(e.path)}: ${e.message}`).join('; '));
         }
         this.shape = init.shape;
-        this.meta = init.meta;
-        const stated = init;
-        for (const slot of Axes.names) {
-            this[slot] = stated[slot];
+        for (const name of registered()) {
+            Object.defineProperty(this, name, {
+                value: init[name], writable: true, enumerable: true, configurable: true,
+            });
         }
         const create = this.lifecycle?.create;
         if (typeof create === 'object' && create !== null && 'value' in create) {
@@ -32,8 +39,46 @@ export class Field {
     static is(value) {
         return FieldDeclarationValidator.of(value).verdict.success;
     }
+    /**
+     * What this field declares on ONE axis, a fourth one registered outside included. An axis is
+     * a member, so it is read by NAME, and three callers reached for it through a cast of their
+     * own before this existed.
+     */
+    axis(name) {
+        return this[name];
+    }
+    /** Every axis it declares, and nothing for the ones it says nothing on. */
+    get axes() {
+        return Object.fromEntries(registered()
+            .map((name) => [name, this.axis(name)])
+            .filter(([, declared]) => declared !== undefined));
+    }
+    /** Whether it states anything at all beside its shape. */
+    hasAxes() {
+        return registered().some((name) => this.axis(name) !== undefined);
+    }
     with(overrides) {
         return new Field({ ...this, ...overrides });
     }
+    /**
+     * What a word admits whatever its shape, and where it lands: `description` IS a JSON Schema
+     * keyword, `default` IS a lifecycle rule. Stated here alone, so no word writes the conversion.
+     * FR : ce que tout mot admet quelle que soit sa forme, et où ça atterrit.
+     * `text({ max: 200 }).setShared({ description: 'The title' })` → `shape.description`
+     */
+    setShared(opts) {
+        if (opts === undefined)
+            return this;
+        refuseLooseOptions(opts);
+        const overrides = {
+            ...(opts.description !== undefined
+                ? { shape: { ...this.shape, description: opts.description } }
+                : {}),
+            ...(opts.default !== undefined
+                ? { lifecycle: { ...this.lifecycle, create: { value: opts.default } } }
+                : {}),
+        };
+        return Object.keys(overrides).length ? this.with(overrides) : this;
+    }
 }
 //# sourceMappingURL=Field.js.map

package/dist/field/Field.js.map

@@ -1 +1 @@
-{"version":3,"file":"Field.js","sourceRoot":"","sources":["../../src/field/Field.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAEvC,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAUhD,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,WAAW,CACnB,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,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAC1E,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QAEtB,MAAM,MAAM,GAAG,IAA0C,CAAC;QAE1D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC7B,IAA2C,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QACpE,CAAC;QAED,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,SAAS,IAAI,OAAO;gBACtB,MAAM,IAAI,WAAW,CACnB,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,OAAO,GAAG,CACtD,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"}
+{"version":3,"file":"Field.js","sourceRoot":"","sources":["../../src/field/Field.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAEvC,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EAAE,mBAAmB,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAgBhD;;;GAGG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAAa,EAAQ,EAAE;IACjD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QACjB,MAAM,IAAI,WAAW,CAAC,iDAAiD,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AACjG,CAAC,CAAC;AAEF,qFAAqF;AACrF,MAAM,UAAU,GAAG,GAA+B,EAAE,CAAC,IAAI,CAAC,KAAmC,CAAC;AAW9F,MAAM,OAAO,KAAK;IACP,KAAK,CAAQ;IAEtB,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,WAAW,CACnB,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,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAC1E,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QAExB,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,EAAE,CAAC;YAChC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE;gBAChC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI;aACxE,CAAC,CAAC;QACL,CAAC;QAED,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,SAAS,IAAI,OAAO;gBACtB,MAAM,IAAI,WAAW,CACnB,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,OAAO,GAAG,CACtD,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;;;;OAIG;IACH,IAAI,CAAC,IAA4B;QAC/B,OAAQ,IAAgC,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,2EAA2E;IAC3E,IAAI,IAAI;QACN,OAAO,MAAM,CAAC,WAAW,CACvB,UAAU,EAAE;aACT,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;aACtC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,CACpD,CAAC;IACJ,CAAC;IAED,0DAA0D;IAC1D,OAAO;QACL,OAAO,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC;IACpE,CAAC;IAED,IAAI,CAAQ,SAAoC;QAC9C,OAAO,IAAI,KAAK,CAAI,EAAE,GAAG,IAAI,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IACjD,CAAC;IAED;;;;;OAKG;IACH,SAAS,CAAC,IAAgB;QACxB,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAEpC,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAEzB,MAAM,SAAS,GAA8B;YAC3C,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS;gBAChC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE;gBAC7D,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS;gBAC5B,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE;gBACvE,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;QAEF,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAI,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxE,CAAC;CACF"}