@fougere/schema 0.9.2-alpha.0 → 0.10.0-alpha.0

package/dist/vocabulary/primitive/many.d.ts

@@ -1,4 +1,4 @@
-import { type EntityConstructor } from '../../axis/role/Relation.js';
+import { type EntityConstructor } from '../../axis/role/EntityConstructor.js';
 import { Field } from '../../field/Field.js';
 /**
  * The far side of a `ref()`: no column of its own, and absent from what a client sends.

package/dist/vocabulary/primitive/many.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"many.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/many.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,KAAK,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE7C;;;;GAIG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,iBAAiB,EAC9C,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GACpB,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAK1B"}
+{"version":3,"file":"many.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/many.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAE9E,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE7C;;;;GAIG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,iBAAiB,EAC9C,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GACpB,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAK1B"}

package/dist/vocabulary/primitive/many.js.map

@@ -1 +1 @@
-{"version":3,"file":"many.js","sourceRoot":"","sources":["../../../src/vocabulary/primitive/many.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAA0B,MAAM,6BAA6B,CAAC;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE7C;;;;GAIG;AACH,MAAM,UAAU,IAAI,CAClB,MAAqB;IAErB,OAAO,IAAI,KAAK,CAAoB;QAClC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QACxB,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;KAC1C,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"many.js","sourceRoot":"","sources":["../../../src/vocabulary/primitive/many.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE7C;;;;GAIG;AACH,MAAM,UAAU,IAAI,CAClB,MAAqB;IAErB,OAAO,IAAI,KAAK,CAAoB;QAClC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QACxB,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;KAC1C,CAAC,CAAC;AACL,CAAC"}

package/dist/vocabulary/primitive/ref.d.ts

@@ -1,4 +1,4 @@
-import { type EntityConstructor } from '../../axis/role/Relation.js';
+import { type EntityConstructor } from '../../axis/role/EntityConstructor.js';
 import { Field } from '../../field/Field.js';
 export interface RefOptions {
     cascade?: boolean;

package/dist/vocabulary/primitive/ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ref.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/ref.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,KAAK,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE7C,MAAM,WAAW,UAAU;IACzB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,wBAAgB,GAAG,CAAC,CAAC,SAAS,iBAAiB,EAC7C,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACrB,IAAI,CAAC,EAAE,UAAU,GAChB,KAAK,CAAC,MAAM,CAAC,CAKf"}
+{"version":3,"file":"ref.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/ref.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAE9E,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE7C,MAAM,WAAW,UAAU;IACzB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,wBAAgB,GAAG,CAAC,CAAC,SAAS,iBAAiB,EAC7C,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACrB,IAAI,CAAC,EAAE,UAAU,GAChB,KAAK,CAAC,MAAM,CAAC,CAKf"}

package/dist/vocabulary/primitive/ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"ref.js","sourceRoot":"","sources":["../../../src/vocabulary/primitive/ref.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAA0B,MAAM,6BAA6B,CAAC;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAM7C,MAAM,UAAU,GAAG,CACjB,MAAqB,EACrB,IAAiB;IAEjB,OAAO,IAAI,KAAK,CAAS;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACzB,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE;KACxD,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"ref.js","sourceRoot":"","sources":["../../../src/vocabulary/primitive/ref.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAM7C,MAAM,UAAU,GAAG,CACjB,MAAqB,EACrB,IAAiB;IAEjB,OAAO,IAAI,KAAK,CAAS;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACzB,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE;KACxD,CAAC,CAAC;AACL,CAAC"}

package/dist/vocabulary/primitive/text.d.ts

@@ -1,5 +1,5 @@
 import { Field } from '../../field/Field.js';
-import { type StringFormat } from '../../axis/shape/Formats.js';
+import { type StringFormat } from '../../axis/shape/StringFormat.js';
 export interface TextOptions {
     min?: number;
     max?: number;

package/dist/vocabulary/primitive/text.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/text.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC7C,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,MAAM,WAAW,WAAW;IAC1B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,wBAAgB,IAAI,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAatD"}
+{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/text.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC7C,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAErE,MAAM,WAAW,WAAW;IAC1B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,wBAAgB,IAAI,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAatD"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fougere/schema",
-  "version": "0.9.2-alpha.0",
+  "version": "0.10.0-alpha.0",
   "description": "The entity and its 4 axes — shape, role, lifecycle, boundary. Subject-owned judgments, edge-safe.",
   "keywords": [
     "fougere",

package/src/PartialValues.ts

@@ -0,0 +1,4 @@
+import type { Fields } from './field/Fields.js';
+import type { Values } from './Values.js';
+
+export type PartialValues<TFields extends Fields> = Partial<Values<TFields>>;

package/src/Schema.ts

@@ -1,42 +1,21 @@
 import { Boundary } from './axis/boundary/Boundary.js';
-import { type Fields } from './field/Field.js';
-import {
-  type CompositeUnique,
-  type EntityDeclarations,
-  type PreviousNames,
-} from './entity/EntityDeclarations.js';
+import { type Fields } from './field/Fields.js';
+import { type CompositeUnique } from './entity/CompositeUnique.js';
+import { type EntityDeclarations } from './entity/EntityDeclarations.js';
+import { type PreviousNames } from './entity/PreviousNames.js';
 import { type EntityAdapters } from './entity/EntityAdapters.js';
 import { InputValidator } from './validator/InputValidator.js';
 import { SchemaDerivation } from './SchemaDerivation.js';
-import { SchemaDefinition, type SchemaConstraints } from './SchemaDefinition.js';
-import { type ValidateOptions } from './validator/InputValidator.js';
+import { type SchemaConstraints } from './SchemaConstraints.js';
+import { SchemaDefinition } from './SchemaDefinition.js';
+import { type ValidateOptions } from './validator/ValidateOptions.js';
 import type { StandardSchemaV1 } from './projection/standard.js';
-import type { PartialValues, Values, SchemaView } from './SchemaView.js';
 
-export const ANONYMOUS_SCHEMA_NAME = 'Schema';
+import type { SchemaView } from './SchemaView.js';
 
-export interface SchemaConstructor<TFields extends Fields> extends SchemaView<TFields> {
-  new (data: PartialValues<TFields>): Values<TFields>;
-  readonly '~standard': StandardSchemaV1.Props<Record<string, unknown>, Values<TFields>>;
-  readonly derivation?: SchemaDerivation;
-  readonly previous?: PreviousNames<TFields>;
-  readonly anchored?: boolean;
-  from(data: Record<string, unknown>): Values<TFields>;
-  pick<K extends string & keyof TFields>(
-    ...keys: K[]
-  ): SchemaConstructor<Pick<TFields, K>>;
-  omit<K extends string & keyof TFields>(
-    ...keys: K[]
-  ): SchemaConstructor<Omit<TFields, K>>;
-  partial(): SchemaConstructor<TFields>;
-  extend<E extends Fields>(extra: E): SchemaConstructor<TFields & E>;
-  declares(declarations: EntityDeclarations<TFields>): SchemaConstructor<TFields>;
-  anchor(): SchemaConstructor<TFields>;
-  named(name: string): SchemaConstructor<TFields>;
-  rename(
-    mapping: Partial<Record<string & keyof TFields, string>>,
-  ): SchemaConstructor<Fields>;
-}
+import type { SchemaConstructor } from './SchemaConstructor.js';
+
+export const ANONYMOUS_SCHEMA_NAME = 'Schema';
 
 export class Schema {
   /** The one place a schema holds what it is. The readings below are its projections. */
@@ -196,6 +175,7 @@ type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) exten
 ) => void
   ? I
   : never;
+
 type Merged<T extends SchemaView[]> = UnionToIntersection<
   T[number] extends { getFields(): infer F } ? F : Fields
 > &

package/src/SchemaConstraints.ts

@@ -0,0 +1,46 @@
+import { type FieldName } from './field/FieldName.js';
+import { type Fields } from './field/Fields.js';
+import { type CompositeUnique } from './entity/CompositeUnique.js';
+
+/**
+ * What a schema constrains beyond any single field.
+ *
+ * `unique` is the one member today. It sits under an owner rather than beside `fields`
+ * and `opts` because the next rule spanning two fields — a check, an exclusion — is a
+ * member here, not an eighth positional argument in a list that has already lost one.
+ */
+export class SchemaConstraints<TFields extends Fields = Fields> {
+  readonly unique?: CompositeUnique<TFields>;
+
+  private constructor(unique?: CompositeUnique<TFields>) {
+    if (unique) this.unique = unique;
+  }
+
+  static readonly none = new SchemaConstraints();
+
+  /**
+   * The order is part of a group, so `['a','b']` and `['b','a']` are two constraints.
+   * FR : l'ordre fait partie du groupe : `['a','b']` et `['b','a']` sont deux contraintes.
+   * `SchemaConstraints.of([['a','b'], ['a','b']])` → `unique` holds one group
+   */
+  static of<TFields extends Fields>(
+    groups: readonly (readonly FieldName<TFields>[])[],
+  ): SchemaConstraints<TFields> {
+    const seen = new Map<string, readonly FieldName<TFields>[]>();
+    for (const group of groups) seen.set(JSON.stringify(group), group);
+
+    return new SchemaConstraints(seen.size ? [...seen.values()] : undefined);
+  }
+
+  /** One member gone and the group is gone: it constrained a pair that no longer exists. */
+  renamed(transform: (key: string) => string | undefined): SchemaConstraints {
+    if (!this.unique) return SchemaConstraints.none;
+    const kept: string[][] = [];
+    for (const group of this.unique) {
+      const renamed = group.map(transform);
+      if (renamed.every((key): key is string => key !== undefined)) kept.push(renamed);
+    }
+
+    return SchemaConstraints.of(kept);
+  }
+}

package/src/SchemaConstructor.ts

@@ -0,0 +1,32 @@
+import { type Fields } from './field/Fields.js';
+
+import { type EntityDeclarations } from './entity/EntityDeclarations.js';
+import { type PreviousNames } from './entity/PreviousNames.js';
+import { SchemaDerivation } from './SchemaDerivation.js';
+import type { StandardSchemaV1 } from './projection/standard.js';
+import type { PartialValues } from './PartialValues.js';
+import type { SchemaView } from './SchemaView.js';
+import type { Values } from './Values.js';
+
+export interface SchemaConstructor<TFields extends Fields> extends SchemaView<TFields> {
+  new (data: PartialValues<TFields>): Values<TFields>;
+  readonly '~standard': StandardSchemaV1.Props<Record<string, unknown>, Values<TFields>>;
+  readonly derivation?: SchemaDerivation;
+  readonly previous?: PreviousNames<TFields>;
+  readonly anchored?: boolean;
+  from(data: Record<string, unknown>): Values<TFields>;
+  pick<K extends string & keyof TFields>(
+    ...keys: K[]
+  ): SchemaConstructor<Pick<TFields, K>>;
+  omit<K extends string & keyof TFields>(
+    ...keys: K[]
+  ): SchemaConstructor<Omit<TFields, K>>;
+  partial(): SchemaConstructor<TFields>;
+  extend<E extends Fields>(extra: E): SchemaConstructor<TFields & E>;
+  declares(declarations: EntityDeclarations<TFields>): SchemaConstructor<TFields>;
+  anchor(): SchemaConstructor<TFields>;
+  named(name: string): SchemaConstructor<TFields>;
+  rename(
+    mapping: Partial<Record<string & keyof TFields, string>>,
+  ): SchemaConstructor<Fields>;
+}

package/src/SchemaDefinition.ts

@@ -1,58 +1,14 @@
-import { type FieldName, type Fields } from './field/Field.js';
+import { type Fields } from './field/Fields.js';
 import { FieldSet } from './field/FieldSet.js';
-import {
-  type CompositeUnique,
-  type EntityDeclarations,
-  type PreviousNames,
-} from './entity/EntityDeclarations.js';
+
+import { type EntityDeclarations } from './entity/EntityDeclarations.js';
+import { type PreviousNames } from './entity/PreviousNames.js';
 import { type EntityAdapters } from './entity/EntityAdapters.js';
 import { EntityAdapterSet } from './entity/EntityAdapterSet.js';
 import { SchemaDerivation } from './SchemaDerivation.js';
-import { type ValidateOptions } from './validator/InputValidator.js';
+import { type ValidateOptions } from './validator/ValidateOptions.js';
 import type { SchemaView } from './SchemaView.js';
-
-/**
- * What a schema constrains beyond any single field.
- *
- * `unique` is the one member today. It sits under an owner rather than beside `fields`
- * and `opts` because the next rule spanning two fields — a check, an exclusion — is a
- * member here, not an eighth positional argument in a list that has already lost one.
- */
-export class SchemaConstraints<TFields extends Fields = Fields> {
-  readonly unique?: CompositeUnique<TFields>;
-
-  private constructor(unique?: CompositeUnique<TFields>) {
-    if (unique) this.unique = unique;
-  }
-
-  static readonly none = new SchemaConstraints();
-
-  /**
-   * The order is part of a group, so `['a','b']` and `['b','a']` are two constraints.
-   * FR : l'ordre fait partie du groupe : `['a','b']` et `['b','a']` sont deux contraintes.
-   * `SchemaConstraints.of([['a','b'], ['a','b']])` → `unique` holds one group
-   */
-  static of<TFields extends Fields>(
-    groups: readonly (readonly FieldName<TFields>[])[],
-  ): SchemaConstraints<TFields> {
-    const seen = new Map<string, readonly FieldName<TFields>[]>();
-    for (const group of groups) seen.set(JSON.stringify(group), group);
-
-    return new SchemaConstraints(seen.size ? [...seen.values()] : undefined);
-  }
-
-  /** One member gone and the group is gone: it constrained a pair that no longer exists. */
-  renamed(transform: (key: string) => string | undefined): SchemaConstraints {
-    if (!this.unique) return SchemaConstraints.none;
-    const kept: string[][] = [];
-    for (const group of this.unique) {
-      const renamed = group.map(transform);
-      if (renamed.every((key): key is string => key !== undefined)) kept.push(renamed);
-    }
-
-    return SchemaConstraints.of(kept);
-  }
-}
+import { SchemaConstraints } from './SchemaConstraints.js';
 
 /**
  * Everything a definition is made of, every member required.

package/src/SchemaDerivation.ts

@@ -1,4 +1,4 @@
-import { type Fields } from './field/Field.js';
+import { type Fields } from './field/Fields.js';
 import type { SchemaView } from './SchemaView.js';
 
 /**

package/src/SchemaView.ts

@@ -1,15 +1,11 @@
-import type { Field, Fields } from './field/Field.js';
-import type { CompositeUnique, PreviousNames } from './entity/EntityDeclarations.js';
+import type { Fields } from './field/Fields.js';
+import type { CompositeUnique } from './entity/CompositeUnique.js';
+import type { PreviousNames } from './entity/PreviousNames.js';
 import type { EntityAdapters } from './entity/EntityAdapters.js';
-import type { ValidationResult } from './lib/validation.js';
-import type { ValidateOptions } from './validator/InputValidator.js';
+import type { ValidationResult } from './lib/ValidationResult.js';
+import type { ValidateOptions } from './validator/ValidateOptions.js';
 import type { SchemaDerivation } from './SchemaDerivation.js';
-
-export type Values<TFields extends Fields> = {
-  [K in keyof TFields]: TFields[K] extends Field<infer T> ? T : never;
-};
-
-export type PartialValues<TFields extends Fields> = Partial<Values<TFields>>;
+import type { Values } from './Values.js';
 
 export interface SchemaView<TFields extends Fields = Fields> {
   readonly name: string;

package/src/Values.ts

@@ -0,0 +1,6 @@
+import type { Field } from './field/Field.js';
+import type { Fields } from './field/Fields.js';
+
+export type Values<TFields extends Fields> = {
+  [K in keyof TFields]: TFields[K] extends Field<infer T> ? T : never;
+};

package/src/axis/Axis.ts

@@ -1,7 +1,8 @@
 import { roleAxis } from './role/RoleAxis.js';
 import { lifecycleAxis } from './lifecycle/LifecycleAxis.js';
 import { boundaryAxis } from './boundary/BoundaryAxis.js';
-import type { ValidationError } from '../lib/validation.js';
+import type { ValidationError } from '../lib/ValidationError.js';
+import type { Resolver } from './Resolver.js';
 
 export interface Axis<Declared = unknown, Wire = unknown> {
   readonly slot: 'role' | 'lifecycle' | 'boundary';
@@ -13,8 +14,6 @@ export interface Axis<Declared = unknown, Wire = unknown> {
   reconstruct(wire: Wire, resolve?: Resolver): Declared;
 }
 
-export type Resolver = (name: string) => (abstract new (...args: never[]) => unknown) | undefined;
-
 export const EXTENSION_AXES: readonly Axis[] = [
   roleAxis,
   lifecycleAxis,

package/src/axis/Resolver.ts

@@ -0,0 +1 @@
+export type Resolver = (name: string) => (abstract new (...args: never[]) => unknown) | undefined;

package/src/axis/boundary/Boundaries.ts

@@ -1,14 +1,8 @@
-import type { BoundaryRules } from './Boundary.js';
+import type { Decoder } from './Decoder.js';
+import type { Encoder } from './Encoder.js';
+import type { BoundaryRules } from './BoundaryRules.js';
 import { Registry } from '../../lib/Registry.js';
 
-/**
- * Wire to domain, and it must ANSWER a value it already produced: two doors decode — the
- * client one on what arrives, `StorageGuard` on what a handler writes — so a decoder that
- * halves cents halves them twice and stores a hundredth.
- */
-export type Decoder = (value: unknown) => { value: unknown } | { error: string };
-export type Encoder = (value: unknown) => unknown;
-
 /**
  * `decoders` for a value coming in, `encoders` for one going out, `aliases` for the word
  * that names a pair. Three registries, so a codec is never half declared.

package/src/axis/boundary/Boundary.ts

@@ -1,16 +1,13 @@
-import type { Decoder, Encoder } from './Boundaries.js';
-import { Boundaries } from './Boundaries.js';
+import type { Decoder } from './Decoder.js';
+import type { Encoder } from './Encoder.js';
+import { Boundaries } from './Decoder.js';
 import type { Field } from '../../field/Field.js';
-import { Shapes, type Shape } from '../shape/Shape.js';
-
-export interface BoundaryRules {
-  in?: 'closed' | { decode: string };
-  out?: 'closed' | { encode: string };
-}
-
-export type BoundaryRef = 'isoDate' | (string & {}) | BoundaryRules;
+import { type Shape } from '../shape/Shape.js';
+import { Shapes } from '../shape/Shape.js';
+import type { BoundaryRules } from './BoundaryRules.js';
 
 const identityDecoder: Decoder = (value) => ({ value });
+
 const identityEncoder: Encoder = (value) => value;
 
 export class Boundary {

package/src/axis/boundary/BoundaryAxis.ts

@@ -1,7 +1,7 @@
 import type { Axis } from '../Axis.js';
 import { admitWire } from '../../projection/card/admission.js';
 import { isObject, shown } from '../../lib/utils.js';
-import type { BoundaryRef } from './Boundary.js';
+import type { BoundaryRef } from './BoundaryRef.js';
 
 export const boundaryAxis: Axis<BoundaryRef, BoundaryRef> = {
   slot: 'boundary',

package/src/axis/boundary/BoundaryRef.ts

@@ -0,0 +1,3 @@
+import type { BoundaryRules } from './BoundaryRules.js';
+
+export type BoundaryRef = 'isoDate' | (string & {}) | BoundaryRules;

package/src/axis/boundary/BoundaryRules.ts

@@ -0,0 +1,4 @@
+export interface BoundaryRules {
+  in?: 'closed' | { decode: string };
+  out?: 'closed' | { encode: string };
+}

package/src/axis/boundary/Decoder.ts

@@ -0,0 +1,42 @@
+import type { BoundaryRules } from './BoundaryRules.js';
+import { Registry } from '../../lib/Registry.js';
+import type { Encoder } from './Encoder.js';
+
+/**
+ * Wire to domain, and it must ANSWER a value it already produced: two facades decode — the
+ * client one on what arrives, `StorageGuard` on what a handler writes — so a decoder that
+ * halves cents halves them twice and stores a hundredth.
+ */
+export type Decoder = (value: unknown) => { value: unknown } | { error: string };
+
+/**
+ * `decoders` for a value coming in, `encoders` for one going out, `aliases` for the word
+ * that names a pair. Three registries, so a codec is never half declared.
+ * FR : `decoders` à l'entrée, `encoders` à la sortie, `aliases` pour le mot qui nomme la paire.
+ * `Boundaries.aliases.register('isoDate', { in: { decode: 'isoDate' }, out: { encode: 'isoDate' } })`
+ * → a field saying `boundary: 'isoDate'` decodes to a `Date` and leaves as a string
+ */
+export const Boundaries = {
+  decoders: new Registry<Decoder>(
+    'boundary decoder',
+    'call Boundaries.decoders.register(name, fn)',
+  ),
+  encoders: new Registry<Encoder>(
+    'boundary encoder',
+    'call Boundaries.encoders.register(name, fn)',
+  ),
+  aliases: new Registry<BoundaryRules>('boundary alias'),
+};
+
+Boundaries.decoders.register('isoDate', (value) => {
+  if (value instanceof Date) return { value };
+  if (typeof value === 'string') {
+    const date = new Date(value);
+    return Number.isNaN(date.getTime()) ? { error: 'Invalid date' } : { value: date };
+  }
+  return { error: 'Expected a date' };
+});
+Boundaries.encoders.register('isoDate', (value) =>
+  value instanceof Date ? value.toISOString() : value,
+);
+Boundaries.aliases.register('isoDate', { in: { decode: 'isoDate' }, out: { encode: 'isoDate' } });

package/src/axis/boundary/Encoder.ts

@@ -0,0 +1 @@
+export type Encoder = (value: unknown) => unknown;

package/src/axis/lifecycle/Lifecycle.ts

@@ -1,12 +1,5 @@
 import type { GeneratorRef } from './Generators.js';
-
-export const CREATE_TOKENS = ['now', 'optional'] as const;
-export const UPDATE_TOKENS = ['now', 'forbidden'] as const;
-
-export interface LifecycleRules {
-  create?: { value: unknown } | { generate: GeneratorRef } | (typeof CREATE_TOKENS)[number];
-  update?: (typeof UPDATE_TOKENS)[number];
-}
+import type { LifecycleRules } from './LifecycleRules.js';
 
 export class Lifecycle {
   private readonly create?: LifecycleRules['create'];

package/src/axis/lifecycle/LifecycleAxis.ts

@@ -1,8 +1,9 @@
 import type { Axis } from '../Axis.js';
-import type { ValidationError } from '../../lib/validation.js';
+import type { ValidationError } from '../../lib/ValidationError.js';
 import { admitWire, oneOfTokens } from '../../projection/card/admission.js';
 import { isObject, shown } from '../../lib/utils.js';
-import { CREATE_TOKENS, UPDATE_TOKENS, type LifecycleRules } from './Lifecycle.js';
+import { CREATE_TOKENS, UPDATE_TOKENS } from './LifecycleRules.js';
+import { type LifecycleRules } from './LifecycleRules.js';
 
 export const lifecycleAxis: Axis<LifecycleRules, LifecycleRules> = {
   slot: 'lifecycle',

package/src/axis/lifecycle/LifecycleRules.ts

@@ -0,0 +1,9 @@
+import type { GeneratorRef } from './Generators.js';
+
+export const CREATE_TOKENS = ['now', 'optional'] as const;
+export const UPDATE_TOKENS = ['now', 'forbidden'] as const;
+
+export interface LifecycleRules {
+  create?: { value: unknown } | { generate: GeneratorRef } | (typeof CREATE_TOKENS)[number];
+  update?: (typeof UPDATE_TOKENS)[number];
+}

package/src/axis/lifecycle/apply.ts

@@ -1,7 +1,8 @@
 import { Lifecycle } from './Lifecycle.js';
 import { Generators } from './Generators.js';
 import { Clock } from './Clock.js';
-import { type Field, type Fields } from '../../field/Field.js';
+import { type Field } from '../../field/Field.js';
+import { type Fields } from '../../field/Fields.js';
 
 /**
  * Fills what the declaration leaves to the storage, so no handler stamps a date itself.

package/src/axis/role/EntityConstructor.ts

@@ -0,0 +1 @@
+export type EntityConstructor = abstract new (...args: any[]) => any;

package/src/axis/role/Relation.ts

@@ -1,6 +1,7 @@
-export type EntityConstructor = abstract new (...args: any[]) => any;
+import type { EntityConstructor } from './EntityConstructor.js';
 
 export const RELATION_KINDS = ['one', 'many'] as const;
+
 export const ON_DELETE = ['cascade', 'restrict', 'set null'] as const;
 
 export interface Relation {

package/src/axis/role/Role.ts

@@ -1,11 +1,6 @@
-import type { EntityConstructor, Relation } from './Relation.js';
-
-export interface RoleRules {
-  primary?: boolean;
-  index?: boolean;
-  unique?: boolean;
-  relation?: Relation;
-}
+import type { EntityConstructor } from './EntityConstructor.js';
+import type { Relation } from './Relation.js';
+import type { RoleRules } from './RoleRules.js';
 
 export class Role {
   private readonly primary?: boolean;

package/src/axis/role/RoleAxis.ts

@@ -1,10 +1,12 @@
-import type { Axis, Resolver } from '../Axis.js';
+import type { Axis } from '../Axis.js';
+import type { Resolver } from '../Resolver.js';
 import { refuse, oneOfTokens } from '../../projection/card/admission.js';
 import { isObject, lowerFirst, shown } from '../../lib/utils.js';
-import type { ValidationError } from '../../lib/validation.js';
-import { ON_DELETE, RELATION_KINDS, type EntityConstructor, type Relation } from './Relation.js';
-import { type RoleRules } from './Role.js';
-import type { RoleDescriptor } from '../../projection/card/Descriptor.js';
+import type { ValidationError } from '../../lib/ValidationError.js';
+import { type EntityConstructor } from './EntityConstructor.js';
+import { ON_DELETE, RELATION_KINDS, type Relation } from './Relation.js';
+import { type RoleRules } from './RoleRules.js';
+import type { RoleDescriptor } from '../../projection/card/RoleDescriptor.js';
 
 export const roleAxis: Axis<RoleRules, RoleDescriptor> = {
   slot: 'role',

package/src/axis/role/RoleRules.ts

@@ -0,0 +1,8 @@
+import type { Relation } from './Relation.js';
+
+export interface RoleRules {
+  primary?: boolean;
+  index?: boolean;
+  unique?: boolean;
+  relation?: Relation;
+}

package/src/axis/shape/FormatPredicate.ts

@@ -0,0 +1 @@
+export type FormatPredicate = (value: string) => boolean;

package/src/axis/shape/Formats.ts

@@ -1,15 +1,5 @@
 import { Registry } from '../../lib/Registry.js';
-
-export type StringFormat =
-  | 'date-time'
-  | 'date'
-  | 'time'
-  | 'email'
-  | 'uuid'
-  | 'uri'
-  | (string & {});
-
-export type FormatPredicate = (value: string) => boolean;
+import type { FormatPredicate } from './FormatPredicate.js';
 
 /**
  * String formats the JSON Schema engine does not know. `find` answers `undefined` for