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

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/axis/shape/{Formats.d.ts → StringFormats.d.ts}

@@ -4,7 +4,7 @@ import type { FormatPredicate } from './FormatPredicate.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))`
+ * `StringFormats.register('siret', (v) => /^\d{14}$/.test(v))`
  */
-export declare const Formats: Registry<FormatPredicate>;
-//# sourceMappingURL=Formats.d.ts.map
+export declare const StringFormats: Registry<FormatPredicate>;
+//# sourceMappingURL=StringFormats.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"StringFormats.d.ts","sourceRoot":"","sources":["../../../src/axis/shape/StringFormats.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D;;;;;GAKG;AACH,eAAO,MAAM,aAAa,2BAA0C,CAAC"}

package/dist/axis/shape/{Formats.js → StringFormats.js}

@@ -3,7 +3,7 @@ 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))`
+ * `StringFormats.register('siret', (v) => /^\d{14}$/.test(v))`
  */
-export const Formats = new Registry('format');
-//# sourceMappingURL=Formats.js.map
+export const StringFormats = new Registry('format');
+//# sourceMappingURL=StringFormats.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"StringFormats.js","sourceRoot":"","sources":["../../../src/axis/shape/StringFormats.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAGjD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,QAAQ,CAAkB,QAAQ,CAAC,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,20 +1,45 @@
 import type { Shape } from '../axis/shape/Shape.js';
-import type { RoleRules } from '../axis/role/RoleRules.js';
-import type { LifecycleRules } from '../axis/lifecycle/LifecycleRules.js';
-import type { BoundaryRef } from '../axis/boundary/BoundaryRef.js';
-import type { Meta } from './Meta.js';
-import type { Axis } from '../axis/Axis.js';
-type FieldDeclaration = Pick<Field, 'shape' | Axis['slot'] | 'meta'>;
+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;
+}
+/**
+ * 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,2BAA2B,CAAC;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAM5C,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"}
+{"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,13 +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) {
@@ -15,10 +23,11 @@ export class Field {
                 verdict.errors.map((e) => `${dotted(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;
+        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) {
             const checked = FieldValueValidator.of(this).validate(create.value);
@@ -30,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":"AAMA,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;AAIhD,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;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,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"}

package/dist/field/FieldFormat.d.ts

@@ -0,0 +1,9 @@
+import type { Axis } from '../axis/Axis.js';
+import type { JsonSchema } from '../lib/JsonSchema.js';
+/**
+ * What a field may state, composed from the keys that state a format: each is carried whole and
+ * cited by its `$id`, so the document travels alone and a key keeps its own identity. `shape` is
+ * cited like the rest — it is JSON Schema, and JSON Schema is what states its keywords.
+ */
+export declare function fieldFormat(axes: readonly [string, Axis][]): JsonSchema;
+//# sourceMappingURL=FieldFormat.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FieldFormat.d.ts","sourceRoot":"","sources":["../../src/field/FieldFormat.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAE5C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAGvD;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,UAAU,CAOvE"}

package/dist/field/FieldFormat.js

@@ -0,0 +1,12 @@
+import { Format } from '../lib/Format.js';
+import { SHAPE_FORMAT } from '../axis/shape/ShapeFormat.js';
+/**
+ * What a field may state, composed from the keys that state a format: each is carried whole and
+ * cited by its `$id`, so the document travels alone and a key keeps its own identity. `shape` is
+ * cited like the rest — it is JSON Schema, and JSON Schema is what states its keywords.
+ */
+export function fieldFormat(axes) {
+    const document = axes.reduce((held, [name, axis]) => held.cites(name, axis.format), Format.of('field').cites('shape', SHAPE_FORMAT));
+    return document.closed().schema;
+}
+//# sourceMappingURL=FieldFormat.js.map

package/dist/field/FieldFormat.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FieldFormat.js","sourceRoot":"","sources":["../../src/field/FieldFormat.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE1C,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAE5D;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,IAA+B;IACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAC1B,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EACrD,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC,CAChD,CAAC;IAEF,OAAO,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAoB,CAAC;AAChD,CAAC"}

package/dist/field/FieldSet.d.ts

@@ -1,4 +1,4 @@
-import type { CompositeUnique } from '../entity/CompositeUnique.js';
+import type { FieldGroups } from '../entity/FieldGroups.js';
 import { type FieldName } from './FieldName.js';
 import { type Fields } from './Fields.js';
 export declare class FieldSet<TFields extends Fields = Fields> {
@@ -10,9 +10,18 @@ export declare class FieldSet<TFields extends Fields = Fields> {
      * FR : partage un `unique` déclaré : un groupe d'un va au champ, plusieurs restent au schéma.
      * `declaring(fields, [['email'], ['listId', 'docId']])` → `email` carries it, the pair is a group
      */
-    static declaring<TFields extends Fields>(declared: TFields, unique?: CompositeUnique<TFields>): {
+    /**
+     * A group of ONE is the word on the field — `unique: [['slug']]` is `unique(text())` — so it
+     * is written there and never kept as a group, which is what lets a derivation drop it with
+     * its field. A group of several is what no single field can state, and it is kept whole.
+     */
+    static declaring<TFields extends Fields>(declared: TFields, groups?: {
+        unique?: FieldGroups<TFields>;
+        index?: FieldGroups<TFields>;
+    }): {
         fields: TFields;
-        groups: CompositeUnique<TFields>;
+        unique: FieldGroups<TFields>;
+        index: FieldGroups<TFields>;
     };
     /** A second `primary` is refused, naming both, rather than the first winning silently. */
     get primary(): FieldName<TFields> | undefined;

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

@@ -1 +1 @@
-{"version":3,"file":"FieldSet.d.ts","sourceRoot":"","sources":["../../src/field/FieldSet.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAEpE,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAG1C,qBAAa,QAAQ,CAAC,OAAO,SAAS,MAAM,GAAG,MAAM;IAC/B,OAAO,CAAC,QAAQ,CAAC,MAAM;IAA3C,OAAO,eAAiD;IAExD,MAAM,CAAC,EAAE,CAAC,OAAO,SAAS,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,CAEpE;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,OAAO,SAAS,MAAM,EACrC,QAAQ,EAAE,OAAO,EACjB,MAAM,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,GAChC;QAAE,MAAM,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,CAAA;KAAE,CAwBvD;IAED,0FAA0F;IAC1F,IAAI,OAAO,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,SAAS,CAa5C;CAEF"}
+{"version":3,"file":"FieldSet.d.ts","sourceRoot":"","sources":["../../src/field/FieldSet.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE5D,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAG1C,qBAAa,QAAQ,CAAC,OAAO,SAAS,MAAM,GAAG,MAAM;IAC/B,OAAO,CAAC,QAAQ,CAAC,MAAM;IAA3C,OAAO,eAAiD;IAExD,MAAM,CAAC,EAAE,CAAC,OAAO,SAAS,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,CAEpE;IAED;;;;OAIG;IACH;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,OAAO,SAAS,MAAM,EACrC,QAAQ,EAAE,OAAO,EACjB,MAAM,GAAE;QAAE,MAAM,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;QAAC,KAAK,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,CAAA;KAAO,GAC3E;QAAE,MAAM,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;QAAC,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,CAAA;KAAE,CA2BhF;IAED,0FAA0F;IAC1F,IAAI,OAAO,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,SAAS,CAa5C;CAEF"}

package/dist/field/FieldSet.js

@@ -14,30 +14,37 @@ export class FieldSet {
      * FR : partage un `unique` déclaré : un groupe d'un va au champ, plusieurs restent au schéma.
      * `declaring(fields, [['email'], ['listId', 'docId']])` → `email` carries it, the pair is a group
      */
-    static declaring(declared, unique) {
+    /**
+     * A group of ONE is the word on the field — `unique: [['slug']]` is `unique(text())` — so it
+     * is written there and never kept as a group, which is what lets a derivation drop it with
+     * its field. A group of several is what no single field can state, and it is kept whole.
+     */
+    static declaring(declared, groups = {}) {
         const fields = {};
         for (const [key, field] of Object.entries(declared))
             fields[key] = new Field(field, key);
-        const composite = [];
-        for (const group of unique ?? []) {
-            const missing = group.filter((key) => !Object.hasOwn(fields, key));
-            if (missing.length)
-                throw new SchemaError(`unique: [${group.join(', ')}] names ` +
-                    `${missing.map((key) => `'${key}'`).join(', ')}, which the entity does not declare.`);
-            if (group.length === 1) {
-                const key = group[0];
-                const alone = fields[key];
-                fields[key] = alone.with({ role: { ...alone.role, unique: true } });
-                continue;
+        const composite = { unique: [], index: [] };
+        for (const kind of ['unique', 'index']) {
+            for (const group of groups[kind] ?? []) {
+                const missing = group.filter((key) => !Object.hasOwn(fields, key));
+                if (missing.length)
+                    throw new SchemaError(`${kind}: [${group.join(', ')}] names ` +
+                        `${missing.map((key) => `'${key}'`).join(', ')}, which the entity does not declare.`);
+                if (group.length === 1) {
+                    const key = group[0];
+                    const alone = fields[key];
+                    fields[key] = alone.with({ role: { ...alone.role, [kind]: true } });
+                    continue;
+                }
+                composite[kind].push([...group]);
             }
-            composite.push([...group]);
         }
-        return { fields: fields, groups: composite };
+        return { fields: fields, unique: composite.unique, index: composite.index };
     }
     /** A second `primary` is refused, naming both, rather than the first winning silently. */
     get primary() {
         const primaries = Object.entries(this.fields)
-            .filter(([, field]) => Role.of(field).isPrimary)
+            .filter(([, field]) => Role.of(field).isPrimary())
             .map(([name]) => name);
         if (primaries.length > 1) {
             throw new SchemaError(`FieldSet.primary: ${primaries.map((name) => JSON.stringify(name)).join(', ')} all declare ` +

package/dist/field/FieldSet.js.map

@@ -1 +1 @@
-{"version":3,"file":"FieldSet.js","sourceRoot":"","sources":["../../src/field/FieldSet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAE5C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAGnC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,OAAO,QAAQ;IACkB,MAAM;IAA3C,YAAqC,MAAe;sBAAf,MAAM;IAAY,CAAC;IAExD,MAAM,CAAC,EAAE,CAAyB,MAAe;QAC/C,OAAO,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CACd,QAAiB,EACjB,MAAiC;QAEjC,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;YACjD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEtC,MAAM,SAAS,GAA2B,EAAE,CAAC;QAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YACnE,IAAI,OAAO,CAAC,MAAM;gBAChB,MAAM,IAAI,WAAW,CACnB,YAAY,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU;oBACpC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sCAAsC,CACvF,CAAC;YAEJ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;gBACtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAE,CAAC;gBAC3B,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;gBACpE,SAAS;YACX,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,MAAiB,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAC1D,CAAC;IAED,0FAA0F;IAC1F,IAAI,OAAO;QACT,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;aAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC;aAC/C,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAEzB,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,WAAW,CACnB,qBAAqB,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe;gBAC1F,yDAAyD,CAC5D,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC,CAAC,CAAmC,CAAC;IACxD,CAAC;CAEF"}
+{"version":3,"file":"FieldSet.js","sourceRoot":"","sources":["../../src/field/FieldSet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAE5C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAGnC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,OAAO,QAAQ;IACkB,MAAM;IAA3C,YAAqC,MAAe;sBAAf,MAAM;IAAY,CAAC;IAExD,MAAM,CAAC,EAAE,CAAyB,MAAe;QAC/C,OAAO,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAED;;;;OAIG;IACH;;;;OAIG;IACH,MAAM,CAAC,SAAS,CACd,QAAiB,EACjB,MAAM,GAAoE,EAAE;QAE5E,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;YACjD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEtC,MAAM,SAAS,GAAG,EAAE,MAAM,EAAE,EAA4B,EAAE,KAAK,EAAE,EAA4B,EAAE,CAAC;QAEhG,KAAK,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAU,EAAE,CAAC;YAChD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBACvC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;gBACnE,IAAI,OAAO,CAAC,MAAM;oBAChB,MAAM,IAAI,WAAW,CACnB,GAAG,IAAI,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU;wBACrC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sCAAsC,CACvF,CAAC;gBAEJ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;oBACtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAE,CAAC;oBAC3B,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;oBACpE,SAAS;gBACX,CAAC;gBACD,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,OAAO,EAAE,MAAM,EAAE,MAAiB,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;IACzF,CAAC;IAED,0FAA0F;IAC1F,IAAI,OAAO;QACT,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;aAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;aACjD,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAEzB,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,WAAW,CACnB,qBAAqB,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe;gBAC1F,yDAAyD,CAC5D,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC,CAAC,CAAmC,CAAC;IACxD,CAAC;CAEF"}

package/dist/index.d.ts

@@ -33,12 +33,16 @@ export type { Diff } from './projection/card/Diff.js';
 export type { SetDiff } from './projection/card/SetDiff.js';
 export type { SetDiffOptions } from './projection/card/SetDiffOptions.js';
 export * from './lib/index.js';
-export { Formats } from './axis/shape/Formats.js';
+export { StringFormats } from './axis/shape/StringFormats.js';
 export { Generators } from './axis/lifecycle/Generators.js';
 export { Boundaries } from './axis/boundary/Decoder.js';
-export { Clock } from './axis/lifecycle/Clock.js';
 export { type FougereEntityAdapters } from './entity/FougereEntityAdapters.js';
+export { type FougereFieldAxes } from './FougereFieldAxes.js';
 export { InputValidator } from './validator/InputValidator.js';
 export { FieldValueValidator } from './validator/FieldValueValidator.js';
-export { AdapterFieldValidator } from './validator/AdapterFieldValidator.js';
+export { JsonSchemaValidator } from './validator/JsonSchemaValidator.js';
+export type { JsonSchema } from './lib/JsonSchema.js';
+export { Axes } from './axis/Axes.js';
+export { Format } from './lib/Format.js';
+export type { Axis } from './axis/Axis.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,cAAc,uBAAuB,CAAC;AAEtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,MAAM,EAAE,KAAK,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE1E,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,YAAY,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AAC5E,YAAY,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,YAAY,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,YAAY,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAC1D,YAAY,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACtD,YAAY,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAC5D,YAAY,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAE1E,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAClD,OAAO,EAAE,KAAK,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,cAAc,uBAAuB,CAAC;AAEtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAC1E,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAChE,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,MAAM,EAAE,KAAK,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE1E,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,YAAY,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AAC5E,YAAY,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,YAAY,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,YAAY,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAC1D,YAAY,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACtD,YAAY,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAC5D,YAAY,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAE1E,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,KAAK,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,YAAY,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,YAAY,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/index.js

@@ -17,11 +17,12 @@ export { Bundle } from './projection/card/Bundle.js';
 export { Visibility } from './projection/Visibility.js';
 export { Cases } from './projection/Cases.js';
 export * from './lib/index.js';
-export { Formats } from './axis/shape/Formats.js';
+export { StringFormats } from './axis/shape/StringFormats.js';
 export { Generators } from './axis/lifecycle/Generators.js';
 export { Boundaries } from './axis/boundary/Decoder.js';
-export { Clock } from './axis/lifecycle/Clock.js';
 export { InputValidator } from './validator/InputValidator.js';
 export { FieldValueValidator } from './validator/FieldValueValidator.js';
-export { AdapterFieldValidator } from './validator/AdapterFieldValidator.js';
+export { JsonSchemaValidator } from './validator/JsonSchemaValidator.js';
+export { Axes } from './axis/Axes.js';
+export { Format } from './lib/Format.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,cAAc,uBAAuB,CAAC;AAEtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG5D,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAG/C,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAiB,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C,OAAO,EAAE,MAAM,EAAyB,MAAM,2BAA2B,CAAC;AAE1E,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAU9C,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,cAAc,uBAAuB,CAAC;AAEtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAG5D,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAG/C,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAiB,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AAC1D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C,OAAO,EAAE,MAAM,EAAyB,MAAM,2BAA2B,CAAC;AAE1E,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAU9C,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAGxD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AAEzE,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/lib/Format.d.ts

@@ -0,0 +1,75 @@
+import type { JsonSchema } from './JsonSchema.js';
+type Stated = JsonSchema | boolean;
+/** The values a format lets in, as a type — `Accepted<typeof Lifecycle.format>`. */
+export type Accepted<F> = F extends Format<infer T> ? T : never;
+/**
+ * How a format is written here: its keys, never its JSON Schema. `$id`, `$ref`, `$defs` and the
+ * closing are produced, and what it accepts is carried as a TYPE, so a declaration is stated once.
+ * FR : on écrit les clés d'un format ; le document et le type sont produits.
+ * `Format.of('axis/tenancy').key('scope', Format.tokens(SCOPES)).closed()`
+ */
+export declare class Format<T = unknown> {
+    private readonly stated;
+    readonly id?: string | undefined;
+    static readonly anything: Format<unknown>;
+    static readonly text: Format<string>;
+    static readonly flag: Format<boolean>;
+    static readonly number: Format<number>;
+    static readonly count: Format<number>;
+    readonly _admits?: T;
+    protected constructor(stated: Stated, id?: string | undefined);
+    /** `Format.tokens(['now', 'optional'])` → `Instance does not match any of ["now","optional"].` */
+    static tokens<const Words extends readonly string[]>(words: Words): Format<Words[number]>;
+    /** `enum`, `required` — a list of one format, so `enum: 'draft'` is refused as the scalar it is. */
+    static listOf<Value>(format: Format<Value>): Format<Value[]>;
+    /**
+     * A list of a FIXED length, each place stating its own format — `['string', 'null']` and
+     * never `['string', 'number']`, which a list of one format cannot tell apart.
+     */
+    static tuple<const Places extends readonly Format<unknown>[]>(...places: Places): Format<{
+        -readonly [K in keyof Places]: Accepted<Places[K]>;
+    }>;
+    /**
+     * A format naming ITSELF, which no value can do while it is being built: `items` holds a shape,
+     * and the shape is what declares `items`. The `$id` `of()` already posts is what it points at.
+     */
+    static ref(id: string): Format<unknown>;
+    /**
+     * A word or anything else, told apart by TYPE, so a refusal names the half the value belongs
+     * to — `create: 'nawak'` reads against the words, `type: ['string', 'null']` against the list.
+     */
+    static either<Word, Other>(word: Format<Word>, otherwise: Format<Other>): Format<Word | Other>;
+    /** One of these keys and no other — `{ value }` or `{ generate }`, never both and never neither. */
+    static exactlyOne<Keys extends Record<string, Format<unknown>>>(keys: Keys): Format<{
+        [K in keyof Keys]: {
+            [P in K]: Accepted<Keys[K]>;
+        };
+    }[keyof Keys]>;
+    /** A name resolves under this project's own space; another one states its whole `$id`. */
+    static of(id?: string): ObjectFormat<object>;
+    /** What `of` does for an object, for a format that is not one — `either`, a list of words. */
+    static named<Value>(id: string, format: Format<Value>): Format<Value>;
+    /** The type JSON Schema cannot carry: a generator's name, a thunk to an entity. */
+    as<Value>(): Format<Value>;
+    get schema(): Stated;
+}
+export declare class ObjectFormat<T extends object> extends Format<T> {
+    private readonly keys;
+    private readonly cited;
+    private readonly needed;
+    constructor(id?: string);
+    key<Name extends string, Value>(name: Name, format: Format<Value>): ObjectFormat<T & {
+        [K in Name]?: Value;
+    }>;
+    /** A key carried whole and pointed at by its `$id`, so it keeps an identity of its own. */
+    cites<Name extends string, Value>(name: Name, format: Format<Value>): ObjectFormat<T & {
+        [K in Name]?: Value;
+    }>;
+    needs<Name extends keyof T & string>(...names: Name[]): ObjectFormat<Omit<T, Name> & Required<Pick<T, Name>>>;
+    /** These keys and no other: a name nothing states is refused UNDER that name. */
+    closed(): Format<{
+        [K in keyof T]: T[K];
+    }>;
+}
+export {};
+//# sourceMappingURL=Format.d.ts.map

package/dist/lib/Format.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Format.d.ts","sourceRoot":"","sources":["../../src/lib/Format.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAGlD,KAAK,MAAM,GAAG,UAAU,GAAG,OAAO,CAAC;AAOnC,oFAAoF;AACpF,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEhE;;;;;GAKG;AACH,qBAAa,MAAM,CAAC,CAAC,GAAG,OAAO;IAU3B,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM;IAVtB,MAAM,CAAC,QAAQ,CAAC,QAAQ,kBAA6B;IACrD,MAAM,CAAC,QAAQ,CAAC,IAAI,iBAA0C;IAC9D,MAAM,CAAC,QAAQ,CAAC,IAAI,kBAA4C;IAChE,MAAM,CAAC,QAAQ,CAAC,MAAM,iBAA0C;IAChE,MAAM,CAAC,QAAQ,CAAC,KAAK,iBAAuD;IAE5E,SAAiB,OAAO,CAAC,EAAE,CAAC,CAAC;IAE7B,SAAS,aACU,MAAM,EAAE,MAAM,EACtB,EAAE,CAAC,EAAE,MAAM,YAAA,EAClB;IAEJ,kGAAkG;IAClG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAExF;IAED,oGAAoG;IACpG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAE3D;IAED;;;OAGG;IACH,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,SAAS,SAAS,MAAM,CAAC,OAAO,CAAC,EAAE,EAC1D,GAAG,MAAM,EAAE,MAAM,GAChB,MAAM,CAAC;QAAE,CAAC,UAAU,CAAC,IAAI,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,CAOhE;IAED;;;OAGG;IACH,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAEtC;IAED;;;OAGG;IACH,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,IAAI,GAAG,KAAK,CAAC,CAM7F;IAED,oGAAoG;IACpG,MAAM,CAAC,UAAU,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,EAC5D,IAAI,EAAE,IAAI,GACT,MAAM,CAAC;SAAG,CAAC,IAAI,MAAM,IAAI,GAAG;aAAG,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SAAE;KAAE,CAAC,MAAM,IAAI,CAAC,CAAC,CAU5E;IAED,0FAA0F;IAC1F,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAE3C;IAED,8FAA8F;IAC9F,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAIpE;IAED,mFAAmF;IACnF,EAAE,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,CAEzB;IAED,IAAI,MAAM,IAAI,MAAM,CAEnB;CACF;AAED,qBAAa,YAAY,CAAC,CAAC,SAAS,MAAM,CAAE,SAAQ,MAAM,CAAC,CAAC,CAAC;IAC3D,OAAO,CAAC,QAAQ,CAAC,IAAI,CAA6B;IAClD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAiC;IACvD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAgB;IAEvC,YAAY,EAAE,CAAC,EAAE,MAAM,EAEtB;IAED,GAAG,CAAC,IAAI,SAAS,MAAM,EAAE,KAAK,EAC5B,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,GACpB,YAAY,CAAC,CAAC,GAAG;SAAG,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK;KAAE,CAAC,CAI3C;IAED,2FAA2F;IAC3F,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,KAAK,EAC9B,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,GACpB,YAAY,CAAC,CAAC,GAAG;SAAG,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK;KAAE,CAAC,CAU3C;IAED,KAAK,CAAC,IAAI,SAAS,MAAM,CAAC,GAAG,MAAM,EACjC,GAAG,KAAK,EAAE,IAAI,EAAE,GACf,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAIvD;IAED,iFAAiF;IACjF,MAAM,IAAI,MAAM,CAAC;SAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,CAYzC;CACF"}