@fougere/schema 0.2.0-alpha.0 → 0.2.0-alpha.2

package/dist/field/boundary.js

@@ -1,25 +1,31 @@
-import { anatomy } from './shape.js';
+import { Anatomy } from './shape.js';
 // ─── Registries (open, extensible — same spirit as FougereHints) ──
-const decoders = new Map();
-const encoders = new Map();
-const aliases = new Map();
-export function registerDecoder(name, fn) {
-    decoders.set(name, fn);
-}
-export function registerEncoder(name, fn) {
-    encoders.set(name, fn);
-}
-/** Register a named boundary — the alias a field can reference. */
-export function registerBoundaryAlias(name, boundary) {
-    aliases.set(name, boundary);
+export class Boundaries {
+    static decoders = new Map();
+    static encoders = new Map();
+    static aliases = new Map();
+    static registerDecoder(name, fn) { this.decoders.set(name, fn); }
+    static registerEncoder(name, fn) { this.encoders.set(name, fn); }
+    /** Name a pair of directional rules, so a field declares `boundary: 'moneyCents'`. */
+    static registerAlias(name, boundary) { this.aliases.set(name, boundary); }
+    static alias(name) { return this.aliases.get(name); }
+    static decoder(name) { return this.named(this.decoders, name, 'decoder'); }
+    static encoder(name) { return this.named(this.encoders, name, 'encoder'); }
+    static named(registry, name, kind) {
+        const fn = registry.get(name);
+        if (!fn) {
+            throw new Error(`Unknown boundary ${kind}: '${name}'. Register it with ` +
+                `Boundaries.register${kind[0].toUpperCase()}${kind.slice(1)}('${name}', …).`);
+        }
+        return fn;
+    }
 }
-// ─── Built-ins ───────────────────────────────────────
 const identityDecoder = (value) => ({ value });
 const identityEncoder = (value) => value;
 // `isoDate`: the only non-identity built-in. Inbound accepts a Date or an ISO-ish
 // string and yields a Date; outbound yields an ISO string. Validity is already
 // guaranteed by `shape` (the date predicate) before decode runs.
-registerDecoder('isoDate', (value) => {
+Boundaries.registerDecoder('isoDate', (value) => {
     if (value instanceof Date)
         return { value };
     if (typeof value === 'string') {
@@ -28,13 +34,13 @@ registerDecoder('isoDate', (value) => {
     }
     return { error: 'Expected a date' };
 });
-registerEncoder('isoDate', (value) => value instanceof Date ? value.toISOString() : value);
-registerBoundaryAlias('isoDate', { in: { decode: 'isoDate' }, out: { encode: 'isoDate' } });
+Boundaries.registerEncoder('isoDate', (value) => value instanceof Date ? value.toISOString() : value);
+Boundaries.registerAlias('isoDate', { in: { decode: 'isoDate' }, out: { encode: 'isoDate' } });
 /** Default boundary derived from a field's shape. A date-time string → isoDate, else identity. */
 function defaultBoundaryForShape(shape) {
-    const base = anatomy(shape).base;
+    const base = Anatomy.of(shape).base;
     if (base && base.type === 'string' && base.format === 'date-time')
-        return aliases.get('isoDate');
+        return Boundaries.alias('isoDate');
     return {};
 }
 // ─── Resolution ──────────────────────────────────────
@@ -44,7 +50,7 @@ export function declaredBoundary(field) {
     if (ref === undefined)
         return {};
     if (typeof ref === 'string') {
-        const alias = aliases.get(ref);
+        const alias = Boundaries.alias(ref);
         if (!alias)
             throw new Error(`Unknown boundary alias: '${ref}'`);
         return alias;
@@ -63,32 +69,14 @@ export function boundaryOf(field) {
     return { in: declared.in ?? derived.in, out: declared.out ?? derived.out };
 }
 /**
- * A field's effective conversion functions. The permission facet is not read
- * here: a `'closed'` direction converts as identity — its rejection/omission
- * happens in the readers (validation, encode) BEFORE any conversion.
- *
- * A NAMED codec that no one registered throws, exactly like an unknown alias
- * (`declaredBoundary`). It used to fall back to identity: a frond declared
- * `{ decode: 'celsius' }`, the consumer never called `registerDecoder`, and the
- * value arrived unconverted while the card said it had been converted — the same
- * silent loss this repo measured on Remult (`validate: [null, null]`) and on
- * zod v4 (a computed default frozen at export). One axis, two spellings, one
- * failure mode.
- *
- * It throws where the conversion is needed, not at boot: nothing walks every
- * field at startup. Loud and late beats silent and never.
+ * A field's effective conversion functions. A closed direction converts as identity — the
+ * permission facet is judged by the façade, not here.
  */
 export function resolveBoundary(field) {
     const boundary = boundaryOf(field);
     return {
-        decode: typeof boundary.in === 'object' ? named(decoders, boundary.in.decode, 'decoder') : identityDecoder,
-        encode: typeof boundary.out === 'object' ? named(encoders, boundary.out.encode, 'encoder') : identityEncoder,
+        decode: typeof boundary.in === 'object' ? Boundaries.decoder(boundary.in.decode) : identityDecoder,
+        encode: typeof boundary.out === 'object' ? Boundaries.encoder(boundary.out.encode) : identityEncoder,
     };
 }
-function named(registry, name, kind) {
-    const fn = registry.get(name);
-    if (!fn)
-        throw new Error(`Unknown boundary ${kind}: '${name}'. Register it with register${kind[0].toUpperCase()}${kind.slice(1)}('${name}', …).`);
-    return fn;
-}
 //# sourceMappingURL=boundary.js.map

package/dist/field/boundary.js.map

@@ -1 +1 @@
-{"version":3,"file":"boundary.js","sourceRoot":"","sources":["../../src/field/boundary.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAc,MAAM,YAAY,CAAC;AAiDjD,qEAAqE;AAErE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;AAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;AAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;AAE5C,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,EAAW;IACvD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AACzB,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,EAAW;IACvD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AACzB,CAAC;AACD,mEAAmE;AACnE,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,QAAkB;IACpE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC9B,CAAC;AAED,wDAAwD;AAExD,MAAM,eAAe,GAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACxD,MAAM,eAAe,GAAY,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC;AAElD,kFAAkF;AAClF,+EAA+E;AAC/E,iEAAiE;AACjE,eAAe,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE;IACnC,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;AACtC,CAAC,CAAC,CAAC;AACH,eAAe,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CACnC,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CACpD,CAAC;AACF,qBAAqB,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;AAE5F,kGAAkG;AAClG,SAAS,uBAAuB,CAAC,KAAwB;IACvD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;IACjC,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,OAAO,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC;IAClG,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,wDAAwD;AAExD,0FAA0F;AAC1F,MAAM,UAAU,gBAAgB,CAAC,KAAe;IAC9C,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC;IAC3B,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,GAAG,GAAG,CAAC,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAe;IACxC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrD,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,IAAI,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;AAC7E,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,eAAe,CAAC,KAAe;IAC7C,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO;QACL,MAAM,EAAE,OAAO,QAAQ,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,eAAe;QAC1G,MAAM,EAAE,OAAO,QAAQ,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,eAAe;KAC7G,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAI,QAAwB,EAAE,IAAY,EAAE,IAAY;IACpE,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,IAAI,MAAM,IAAI,+BAA+B,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,QAAQ,CAAC,CAAC;IAClJ,OAAO,EAAE,CAAC;AACZ,CAAC"}
+{"version":3,"file":"boundary.js","sourceRoot":"","sources":["../../src/field/boundary.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAc,MAAM,YAAY,CAAC;AAmCjD,qEAAqE;AAErE,MAAM,OAAO,UAAU;IACb,MAAM,CAAU,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IACtD,MAAM,CAAU,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IACtD,MAAM,CAAU,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAE9D,MAAM,CAAC,eAAe,CAAC,IAAY,EAAE,EAAW,IAAU,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,MAAM,CAAC,eAAe,CAAC,IAAY,EAAE,EAAW,IAAU,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAExF,sFAAsF;IACtF,MAAM,CAAC,aAAa,CAAC,IAAY,EAAE,QAAkB,IAAU,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAElG,MAAM,CAAC,KAAK,CAAC,IAAY,IAA0B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEnF,MAAM,CAAC,OAAO,CAAC,IAAY,IAAa,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,CAAC,OAAO,CAAC,IAAY,IAAa,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAEpF,MAAM,CAAC,KAAK,CAAI,QAAwB,EAAE,IAAY,EAAE,IAAY;QAC1E,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,MAAM,IAAI,KAAK,CACb,oBAAoB,IAAI,MAAM,IAAI,sBAAsB;gBACtD,sBAAsB,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,QAAQ,CAC/E,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;CACF;AAED,MAAM,eAAe,GAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACxD,MAAM,eAAe,GAAY,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC;AAElD,kFAAkF;AAClF,+EAA+E;AAC/E,iEAAiE;AACjE,UAAU,CAAC,eAAe,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE;IAC9C,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;AACtC,CAAC,CAAC,CAAC;AACH,UAAU,CAAC,eAAe,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAC9C,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CACpD,CAAC;AACF,UAAU,CAAC,aAAa,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;AAE/F,kGAAkG;AAClG,SAAS,uBAAuB,CAAC,KAAwB;IACvD,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;IACpC,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;QAAE,OAAO,UAAU,CAAC,KAAK,CAAC,SAAS,CAAE,CAAC;IACvG,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,wDAAwD;AAExD,0FAA0F;AAC1F,MAAM,UAAU,gBAAgB,CAAC,KAAY;IAC3C,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC;IAC3B,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACjC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,GAAG,GAAG,CAAC,CAAC;QAChE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAY;IACrC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrD,OAAO,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,IAAI,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC;AAC7E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,KAAY;IAC1C,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO;QACL,MAAM,EAAE,OAAO,QAAQ,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,eAAe;QAClG,MAAM,EAAE,OAAO,QAAQ,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,eAAe;KACrG,CAAC;AACJ,CAAC"}

package/dist/field/field.d.ts

@@ -1,64 +1,21 @@
-import type { Shape } from './shape.js';
-import type { Role } from './role.js';
-import type { Lifecycle } from './lifecycle.js';
-import type { BoundaryRef } from './boundary.js';
-import type { Meta } from './meta.js';
-/**
- * A field — the single source of truth, decomposed on four orthogonal axes
- * plus one documentary compartment:
- * `shape` (is the value valid? — nullability included, as the `[T,'null']` union),
- * `role` (place in the entity graph), `lifecycle` (who writes the value, at which
- * moment), `boundary` (how a value crosses wire↔domain), `meta` (human-facing,
- * never decides). Adapters read the axes they care about; nothing reads all of
- * them at once. `boundary` is usually absent — its default is derived from
- * `shape` and the slot only overrides it.
- *
- * @typeParam T - the data type this field carries (phantom, TS inference only)
- * @typeParam A - "auto-supplied at creation" (primary/auto/default/optional) →
- *   the field is optional in `new X(input)`. Phantom, type-level only.
- */
-export interface Field<T = unknown, A extends boolean = false> {
-    readonly __brand: 'fougere_field';
-    readonly shape?: Shape;
+import type { Shape } from "./shape.js";
+import type { Role } from "./role.js";
+import type { Lifecycle } from "./lifecycle.js";
+import type { BoundaryRef } from "./boundary.js";
+import type { Meta } from "./meta.js";
+export declare class Field<T = unknown> {
+    readonly shape: Shape;
     readonly role?: Role;
     readonly lifecycle?: Lifecycle;
     readonly boundary?: BoundaryRef;
     readonly meta?: Meta;
-    /** Phantom — data type, never read at runtime. */
     readonly _type?: T;
-    /** Phantom — auto-at-creation flag, never read at runtime. */
-    readonly _auto?: A;
+    constructor(init: FieldData, key?: string);
+    with<U = T>(overrides: Partial<FieldData>): Field<U>;
 }
-/** Any field, regardless of its T/A parameters — the correct generic bound. */
-export type AnyField = Field<any, boolean>;
 /** A record of fields — the input to `entity()` and every derivation. */
-export type Fields = Record<string, AnyField>;
-export interface FieldInit {
-    shape?: Shape;
-    role?: Role;
-    lifecycle?: Lifecycle;
-    boundary?: BoundaryRef;
-    meta?: Meta;
-}
-export declare function createField<T, A extends boolean = false>(init?: FieldInit): Field<T, A>;
-/**
- * Copy a field, overriding only the named axes — every OTHER axis is preserved.
- * This is the invariant every field transform must hold: change what you mean,
- * keep the rest. Enumerating axes by hand (the old `optional`/`primary`) silently
- * drops whatever axis was added last — `codec` did exactly that. Spread + override,
- * so a future 6th slot travels for free. (Spread props skip excess-property checks,
- * so the field's `__brand`/phantoms ride along harmlessly and `createField` resets them.)
- */
-export declare function cloneField(field: AnyField, overrides?: FieldInit): AnyField;
-/** Duck type for anything with fields — Entity, SchemaConstructor. */
-export interface SchemaLike {
-    getFields(): Fields;
-    /** The view's validation mode (patch…) — carried by SchemaConstructor, optional on bare wrappers. */
-    getOpts?(): {
-        patch?: boolean;
-    };
-    /** Field groups unique together — carried by SchemaConstructor, absent on bare wrappers. */
-    getUnique?(): ReadonlyArray<ReadonlyArray<string>> | undefined;
-}
-export declare function isField(value: unknown): value is AnyField;
+export type Fields = Record<string, Field>;
+export type FieldData = {
+    [K in keyof Field as Field[K] extends (...args: never[]) => unknown ? never : K]: Field[K];
+};
 //# 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,YAAY,CAAC;AACxC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,KAAK,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,SAAS,OAAO,GAAG,KAAK;IAC3D,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IACrB,kDAAkD;IAClD,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACnB,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;CACpB;AAED,+EAA+E;AAC/E,MAAM,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAE3C,yEAAyE;AACzE,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAE9C,MAAM,WAAW,SAAS;IACxB,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,QAAQ,CAAC,EAAE,WAAW,CAAC;IACvB,IAAI,CAAC,EAAE,IAAI,CAAC;CACb;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,GAAG,KAAK,EAAE,IAAI,GAAE,SAAc,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAS3F;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,GAAE,SAAc,GAAG,QAAQ,CAE/E;AAED,sEAAsE;AACtE,MAAM,WAAW,UAAU;IACzB,SAAS,IAAI,MAAM,CAAC;IACpB,qGAAqG;IACrG,OAAO,CAAC,IAAI;QAAE,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;IAChC,4FAA4F;IAC5F,SAAS,CAAC,IAAI,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;CAChE;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,QAAQ,CAOzD"}
+{"version":3,"file":"field.d.ts","sourceRoot":"","sources":["../../src/field/field.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,qBAAa,KAAK,CAAC,CAAC,GAAG,OAAO;IAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IACrB,SAAiB,KAAK,CAAC,EAAE,CAAC,CAAC;IAE3B,YAAY,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,MAAM,EAexC;IAED,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAEnD;CACF;AAED,yEAAyE;AACzE,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE3C,MAAM,MAAM,SAAS,GAAG;KACrB,CAAC,IAAI,MAAM,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,GAC/D,KAAK,GACL,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;CACjB,CAAC"}

package/dist/field/field.js

@@ -1,28 +1,24 @@
-export function createField(init = {}) {
-    return {
-        __brand: 'fougere_field',
-        shape: init.shape,
-        role: init.role,
-        lifecycle: init.lifecycle,
-        boundary: init.boundary,
-        meta: init.meta,
-    };
-}
-/**
- * Copy a field, overriding only the named axes — every OTHER axis is preserved.
- * This is the invariant every field transform must hold: change what you mean,
- * keep the rest. Enumerating axes by hand (the old `optional`/`primary`) silently
- * drops whatever axis was added last — `codec` did exactly that. Spread + override,
- * so a future 6th slot travels for free. (Spread props skip excess-property checks,
- * so the field's `__brand`/phantoms ride along harmlessly and `createField` resets them.)
- */
-export function cloneField(field, overrides = {}) {
-    return createField({ ...field, ...overrides });
-}
-export function isField(value) {
-    return (typeof value === 'object' &&
-        value !== null &&
-        '__brand' in value &&
-        value.__brand === 'fougere_field');
+import { Judge } from "../validation/index.js";
+export class Field {
+    shape;
+    role;
+    lifecycle;
+    boundary;
+    meta;
+    constructor(init, key) {
+        const verdict = Judge.field(init);
+        if (!verdict.success) {
+            throw new Error(`${key ? `Field '${key}': ` : ""}` +
+                verdict.errors.map((e) => `${e.path}: ${e.message}`).join("; "));
+        }
+        this.shape = init.shape;
+        this.role = init.role;
+        this.lifecycle = init.lifecycle;
+        this.boundary = init.boundary;
+        this.meta = init.meta;
+    }
+    with(overrides) {
+        return new Field({ ...this, ...overrides });
+    }
 }
 //# 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":"AA+CA,MAAM,UAAU,WAAW,CAA+B,IAAI,GAAc,EAAE;IAC5E,OAAO;QACL,OAAO,EAAE,eAAe;QACxB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CAAC,KAAe,EAAE,SAAS,GAAc,EAAE;IACnE,OAAO,WAAW,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;AACjD,CAAC;AAWD,MAAM,UAAU,OAAO,CAAC,KAAc;IACpC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,SAAS,IAAI,KAAK;QACjB,KAAa,CAAC,OAAO,KAAK,eAAe,CAC3C,CAAC;AACJ,CAAC"}
+{"version":3,"file":"field.js","sourceRoot":"","sources":["../../src/field/field.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAM/C,MAAM,OAAO,KAAK;IACP,KAAK,CAAQ;IACb,IAAI,CAAQ;IACZ,SAAS,CAAa;IACtB,QAAQ,CAAe;IACvB,IAAI,CAAQ;IAGrB,YAAY,IAAe,EAAE,GAAY;QACvC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAElC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;gBAChC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAClE,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACxB,CAAC;IAED,IAAI,CAAQ,SAA6B;QACvC,OAAO,IAAI,KAAK,CAAI,EAAE,GAAG,IAAI,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IACjD,CAAC;CACF"}

package/dist/field/format.d.ts

@@ -0,0 +1,29 @@
+/**
+ * The `format` keyword — JSON Schema's one openly extensible vocabulary, which is why a
+ * custom predicate rides here and not in a keyword of our own.
+ */
+export type StringFormat = 'date-time' | 'date' | 'time' | 'email' | 'uuid' | 'uri' | (string & {});
+/**
+ * A custom format's predicate: one value, one verdict.
+ *
+ * No message, deliberately — a custom format fails exactly like `email` does,
+ * because the NAME is the contract and a consumer reading the card cannot tell
+ * ours from the standard's.
+ */
+export type FormatPredicate = (value: string) => boolean;
+/**
+ * Register a format the engine does not ship — `Formats.register('siret', luhn)` makes
+ * `text({ format: 'siret' })` judged. The field declares a NAME and a module supplies the
+ * realization, so the rule crosses a process or a language: the card carries
+ * `"format": "siret"`, legal JSON Schema, and each runtime resolves it locally.
+ *
+ * Registering a name the engine already judges is cumulative — both predicates must pass.
+ */
+export declare class Formats {
+    private static readonly registry;
+    /** Register a format the engine does not ship — `text({ format: 'siret' })` becomes judged. */
+    static register(name: string, predicate: FormatPredicate): void;
+    /** A registered custom predicate, or undefined — the reader the judge goes through. */
+    static resolve(name: string): FormatPredicate | undefined;
+}
+//# sourceMappingURL=format.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"format.d.ts","sourceRoot":"","sources":["../../src/field/format.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,MAAM,YAAY,GACpB,WAAW,GACX,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,KAAK,GACL,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AAIlB;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;AAEzD;;;;;;;GAOG;AACH,qBAAa,OAAO;IAClB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAsC;IAEtE,+FAA+F;IAC/F,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,GAAG,IAAI,CAE9D;IAED,uFAAuF;IACvF,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAExD;CACF"}

package/dist/field/format.js

@@ -0,0 +1,24 @@
+/**
+ * The `format` keyword — JSON Schema's one openly extensible vocabulary, which is why a
+ * custom predicate rides here and not in a keyword of our own.
+ */
+/**
+ * Register a format the engine does not ship — `Formats.register('siret', luhn)` makes
+ * `text({ format: 'siret' })` judged. The field declares a NAME and a module supplies the
+ * realization, so the rule crosses a process or a language: the card carries
+ * `"format": "siret"`, legal JSON Schema, and each runtime resolves it locally.
+ *
+ * Registering a name the engine already judges is cumulative — both predicates must pass.
+ */
+export class Formats {
+    static registry = new Map();
+    /** Register a format the engine does not ship — `text({ format: 'siret' })` becomes judged. */
+    static register(name, predicate) {
+        this.registry.set(name, predicate);
+    }
+    /** A registered custom predicate, or undefined — the reader the judge goes through. */
+    static resolve(name) {
+        return this.registry.get(name);
+    }
+}
+//# sourceMappingURL=format.js.map

package/dist/field/format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.js","sourceRoot":"","sources":["../../src/field/format.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAsBH;;;;;;;GAOG;AACH,MAAM,OAAO,OAAO;IACV,MAAM,CAAU,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IAEtE,+FAA+F;IAC/F,MAAM,CAAC,QAAQ,CAAC,IAAY,EAAE,SAA0B;QACtD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrC,CAAC;IAED,uFAAuF;IACvF,MAAM,CAAC,OAAO,CAAC,IAAY;QACzB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;CACF"}

package/dist/field/index.d.ts

@@ -1,7 +1,8 @@
-export { type Shape, type ShapeType, type BaseShape, type ShapeAnatomy, type StringFormat, nullableShape, anatomy, isNullable, } from './shape.js';
-export { type Role, type Relation, type EntityConstructor, toTargetThunk, uniqueMembers } from './role.js';
-export { type Lifecycle, type GeneratorRef, registerGenerator, resolveCustomGenerator, } from './lifecycle.js';
-export { type Boundary, type BoundaryRef, type Decoder, type Encoder, resolveBoundary, declaredBoundary, boundaryOf, registerDecoder, registerEncoder, registerBoundaryAlias, } from './boundary.js';
-export { type Meta } from './meta.js';
-export { type Field, type AnyField, type Fields, type FieldInit, type SchemaLike, createField, cloneField, isField, } from './field.js';
+export { type Shape, SHAPE_TYPES, isShape, type ShapeType, type BaseShape, type ShapeAnatomy, nullableShape, Anatomy, } from "./shape.js";
+export { Formats, type FormatPredicate, type StringFormat } from "./format.js";
+export { type Role, type Relation, type EntityConstructor, toTargetThunk, uniqueMembers, } from "./role.js";
+export { type Lifecycle, type GeneratorRef, registerGenerator, resolveCustomGenerator, } from "./lifecycle.js";
+export { type Boundary, type BoundaryRef, type Decoder, type Encoder, resolveBoundary, declaredBoundary, boundaryOf, Boundaries, } from "./boundary.js";
+export { type Meta } from "./meta.js";
+export { Field, type Fields, type FieldData, } from "./field.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/field/index.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,KAAK,KAAK,EACV,KAAK,SAAS,EACd,KAAK,SAAS,EACd,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,aAAa,EACb,OAAO,EACP,UAAU,GACX,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,QAAQ,EAAE,KAAK,iBAAiB,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC3G,OAAO,EACL,KAAK,SAAS,EACd,KAAK,YAAY,EACjB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,WAAW,EAChB,KAAK,OAAO,EACZ,KAAK,OAAO,EACZ,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,eAAe,EACf,eAAe,EACf,qBAAqB,GACtB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EACL,KAAK,KAAK,EACV,KAAK,QAAQ,EACb,KAAK,MAAM,EACX,KAAK,SAAS,EACd,KAAK,UAAU,EACf,WAAW,EACX,UAAU,EACV,OAAO,GACR,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/field/index.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,KAAK,KAAK,EACV,WAAW,EACX,OAAO,EACP,KAAK,SAAS,EACd,KAAK,SAAS,EACd,KAAK,YAAY,EACjB,aAAa,EACb,OAAO,GACR,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAC/E,OAAO,EACL,KAAK,IAAI,EACT,KAAK,QAAQ,EACb,KAAK,iBAAiB,EACtB,aAAa,EACb,aAAa,GACd,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,KAAK,SAAS,EACd,KAAK,YAAY,EACjB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,WAAW,EAChB,KAAK,OAAO,EACZ,KAAK,OAAO,EACZ,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,UAAU,GACX,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EACL,KAAK,EACL,KAAK,MAAM,EACX,KAAK,SAAS,GACf,MAAM,YAAY,CAAC"}

package/dist/field/index.js

@@ -1,9 +1,10 @@
 // The primitive — a Field decomposed on four orthogonal axes plus the meta
 // compartment. Each axis lives in its own file; this barrel is the
 // package-internal (and index-level) view.
-export { nullableShape, anatomy, isNullable, } from './shape.js';
-export { toTargetThunk, uniqueMembers } from './role.js';
-export { registerGenerator, resolveCustomGenerator, } from './lifecycle.js';
-export { resolveBoundary, declaredBoundary, boundaryOf, registerDecoder, registerEncoder, registerBoundaryAlias, } from './boundary.js';
-export { createField, cloneField, isField, } from './field.js';
+export { SHAPE_TYPES, isShape, nullableShape, Anatomy, } from "./shape.js";
+export { Formats } from "./format.js";
+export { toTargetThunk, uniqueMembers, } from "./role.js";
+export { registerGenerator, resolveCustomGenerator, } from "./lifecycle.js";
+export { resolveBoundary, declaredBoundary, boundaryOf, Boundaries, } from "./boundary.js";
+export { Field, } from "./field.js";
 //# sourceMappingURL=index.js.map

package/dist/field/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/field/index.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,mEAAmE;AACnE,2CAA2C;AAC3C,OAAO,EAML,aAAa,EACb,OAAO,EACP,UAAU,GACX,MAAM,YAAY,CAAC;AACpB,OAAO,EAAoD,aAAa,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC3G,OAAO,EAGL,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAKL,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,eAAe,EACf,eAAe,EACf,qBAAqB,GACtB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAML,WAAW,EACX,UAAU,EACV,OAAO,GACR,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/field/index.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,mEAAmE;AACnE,2CAA2C;AAC3C,OAAO,EAEL,WAAW,EACX,OAAO,EAIP,aAAa,EACb,OAAO,GACR,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,OAAO,EAA2C,MAAM,aAAa,CAAC;AAC/E,OAAO,EAIL,aAAa,EACb,aAAa,GACd,MAAM,WAAW,CAAC;AACnB,OAAO,EAGL,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAKL,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,UAAU,GACX,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,KAAK,GAGN,MAAM,YAAY,CAAC"}

package/dist/field/lifecycle.d.ts

@@ -1,38 +1,29 @@
 /**
- * Generator TOKEN — a built-in preset or a name registered via
- * {@link registerGenerator}. Never a closure: a function would silently vanish
- * through describe/reconstruct (JSON.stringify drops it without an error) and
- * the remote frond would pay. With a name, the failure is loud and local
- * ("unknown generator") instead of silent and at the neighbour's.
+ * Generator TOKEN — a preset, or a name registered via {@link registerGenerator}. Never a
+ * closure: a function vanishes through describe/reconstruct without an error, and the
+ * remote frond pays. A name fails loudly and locally instead.
  */
 export type GeneratorRef = 'cuid2' | 'uuid' | 'nanoid' | (string & {});
+/** The moments a value can be written at — the runtime list, from which the types derive. */
+export declare const CREATE_TOKENS: readonly ['now', 'optional'];
+export declare const UPDATE_TOKENS: readonly ['now', 'forbidden'];
 export interface Lifecycle {
     /**
-     * The CREATE rule — what happens when the input omits the value:
-     * - key absent      → required, the caller must supply it
-     * - `{ value }`     → filled with this literal (a `default`)
-     * - `'now'`         → stamped `new Date()` (a managed creation timestamp)
-     * - `{ generate }`  → the storage adapter stamps a fresh id at insert
-     * - `'optional'`    → absence permitted, nothing produced
-     * A supplied value is always accepted (create); restricting WHAT a surface
-     * accepts is a derivation (`pick`), never a rule here.
+     * What happens when the input omits the value. Absent → required. `{ value }` fills a
+     * literal, `'now'` stamps, `{ generate }` has the storage stamp an id, `'optional'`
+     * permits absence and produces nothing. A supplied value is always accepted.
      */
     create?: {
         value: unknown;
-    } | 'now' | {
+    } | {
         generate: GeneratorRef;
-    } | 'optional';
+    } | (typeof CREATE_TOKENS)[number];
     /**
-     * The UPDATE rule — what happens on a patch:
-     * - key absent     → the field is only written if the client supplies it
-     * - `'now'`        → stamped `new Date()` at every update even when absent
-     *                    (the canonical `updatedAt`); a supplied value is accepted
-     * - `'forbidden'`  → immutable: supplying the field in a patch is a
-     *                    validation error; absent, nothing happens
-     * The validation only JUDGES these rules; realising `'now'` (stamping) is the
-     * storage adapter's role at the point of persistence — same split as create.
+     * What happens on a patch. Absent → written only if supplied. `'now'` stamps at every
+     * update (the canonical `updatedAt`). `'forbidden'` makes supplying it an error.
+     * The judge only JUDGES; stamping is the storage's, at the point of persistence.
      */
-    update?: 'now' | 'forbidden';
+    update?: (typeof UPDATE_TOKENS)[number];
 }
 export declare function registerGenerator(name: string, fn: () => string): void;
 /** A registered custom generator, or undefined (built-in presets live storage-side). */

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

@@ -1 +1 @@
-{"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../../src/field/lifecycle.ts"],"names":[],"mappings":"AAQA;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,QAAQ,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AAEvE,MAAM,WAAW,SAAS;IACxB;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,KAAK,GAAG;QAAE,QAAQ,EAAE,YAAY,CAAA;KAAE,GAAG,UAAU,CAAC;IAC9E;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,KAAK,GAAG,WAAW,CAAC;CAC9B;AAgBD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,MAAM,GAAG,IAAI,CAEtE;AAED,wFAAwF;AACxF,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,YAAY,GAAG,CAAC,MAAM,MAAM,CAAC,GAAG,SAAS,CAEpF"}
+{"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../../src/field/lifecycle.ts"],"names":[],"mappings":"AAKA;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,MAAM,GAAG,QAAQ,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AAEvE,6FAA6F;AAC7F,eAAO,MAAM,aAAa,YAAI,KAAK,EAAE,UAAU,CAAU,CAAC;AAC1D,eAAO,MAAM,aAAa,YAAI,KAAK,EAAE,WAAW,CAAU,CAAC;AAE3D,MAAM,WAAW,SAAS;IACxB;;;;OAIG;IACH,MAAM,CAAC,EAAE;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG;QAAE,QAAQ,EAAE,YAAY,CAAA;KAAE,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;IAC1F;;;;OAIG;IACH,MAAM,CAAC,EAAE,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;CACzC;AASD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,MAAM,GAAG,IAAI,CAEtE;AAED,wFAAwF;AACxF,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,YAAY,GAAG,CAAC,MAAM,MAAM,CAAC,GAAG,SAAS,CAEpF"}

package/dist/field/lifecycle.js

@@ -1,21 +1,14 @@
 // ─── Axis 3 · lifecycle — WHO WRITES THE VALUE, AT WHICH MOMENT ────
-// The normal form is indexed by the situation (the write moment); reading is a
-// key access plus a switch on a named token — never an interpreter function.
-// The interpretation happened ONCE, at declaration (the vocabulary translates
-// its sugar into this form). Declarative, named only — never an opaque closure
-// (a value mutation invisible to adapters is forbidden).
-// (Coercion — converting a supplied value — is NOT here; that is the `boundary` axis.)
-// ─── Generator registry (open, same spirit as the boundary registries) ──
-// CUSTOM generators, declared once per module:
-//   registerGenerator('monId', () => …)  →  primary({ generate: 'monId' })
-//
-// The BUILT-IN presets (cuid2/uuid/nanoid) used to be resolved by each storage adapter,
-// on the grounds that this package took no dependency. It took one already
-// (`@cfworker/json-schema`, for the other projection), and the arrangement put the
-// inversion in plain sight: a generator YOU invented reached every adapter, and the
-// three the framework ships did not — so a second adapter honoured `cuid2` differently
-// or not at all. They live with the realization now (`projections/lifecycle.ts`), which
-// consults this registry first.
+// Indexed by the write moment; reading is a key access and a switch on a named token,
+// never an interpreter. Declarative and named — never a closure, which would be a value
+// mutation invisible to adapters. Coercion is the `boundary` axis, not this one.
+/** The moments a value can be written at — the runtime list, from which the types derive. */
+export const CREATE_TOKENS = ['now', 'optional'];
+export const UPDATE_TOKENS = ['now', 'forbidden'];
+// ─── Generator registry ──────────────────────────────────
+// `registerGenerator('monId', fn)` → `primary({ generate: 'monId' })`. The built-in
+// presets live with the realization (`projections/lifecycle.ts`), which consults this
+// first — resolving them per adapter is what made two adapters honour `cuid2` differently.
 const generators = new Map();
 export function registerGenerator(name, fn) {
     generators.set(name, fn);

package/dist/field/lifecycle.js.map

@@ -1 +1 @@
-{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../src/field/lifecycle.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,+EAA+E;AAC/E,6EAA6E;AAC7E,8EAA8E;AAC9E,+EAA+E;AAC/E,yDAAyD;AACzD,uFAAuF;AAoCvF,2EAA2E;AAC3E,+CAA+C;AAC/C,2EAA2E;AAC3E,EAAE;AACF,wFAAwF;AACxF,2EAA2E;AAC3E,mFAAmF;AACnF,oFAAoF;AACpF,uFAAuF;AACvF,wFAAwF;AACxF,gCAAgC;AAEhC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;AAEnD,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,EAAgB;IAC9D,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,sBAAsB,CAAC,GAAiB;IACtD,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC"}
+{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../src/field/lifecycle.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,sFAAsF;AACtF,wFAAwF;AACxF,iFAAiF;AASjF,6FAA6F;AAC7F,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,UAAU,CAAU,CAAC;AAC1D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE,WAAW,CAAU,CAAC;AAiB3D,4DAA4D;AAC5D,oFAAoF;AACpF,sFAAsF;AACtF,2FAA2F;AAE3F,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwB,CAAC;AAEnD,MAAM,UAAU,iBAAiB,CAAC,IAAY,EAAE,EAAgB;IAC9D,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAC3B,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,sBAAsB,CAAC,GAAiB;IACtD,OAAO,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC"}

package/dist/field/meta.d.ts

@@ -1,9 +1,5 @@
 export interface Meta {
-    /**
-     * Human-readable annotation. Read by CLI help (`cli/bridge.ts`) and carried by the
-     * portable card — that is the whole current reach. No OpenAPI generation exists in
-     * this repo, and `schema-graphql` never reads meta.
-     */
+    /** Read by CLI help and carried by the card — that is the whole reach today. */
     description?: string;
 }
 //# sourceMappingURL=meta.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"meta.d.ts","sourceRoot":"","sources":["../../src/field/meta.ts"],"names":[],"mappings":"AAMA,MAAM,WAAW,IAAI;IACnB;;;;OAIG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB"}
+{"version":3,"file":"meta.d.ts","sourceRoot":"","sources":["../../src/field/meta.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,IAAI;IACnB,gFAAgF;IAChF,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB"}

package/dist/field/meta.js

@@ -1,7 +1,5 @@
 // ─── meta — the documentary compartment (NOT an axis) ────────────
-// Universal, human-facing information. The contract is strict and holds: NO consumer
-// ever DECIDES by reading meta — the axes govern behaviour, meta informs humans.
-// Per-consumer specifics belong to `hints`, not here. Future candidates of the same
-// nature: title, example, deprecated.
+// Human-facing only. NO consumer ever DECIDES by reading meta — the axes govern
+// behaviour. Per-consumer specifics belong to `hints`.
 export {};
 //# sourceMappingURL=meta.js.map

package/dist/field/meta.js.map

@@ -1 +1 @@
-{"version":3,"file":"meta.js","sourceRoot":"","sources":["../../src/field/meta.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,qFAAqF;AACrF,iFAAiF;AACjF,oFAAoF;AACpF,sCAAsC"}
+{"version":3,"file":"meta.js","sourceRoot":"","sources":["../../src/field/meta.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,gFAAgF;AAChF,uDAAuD"}

package/dist/field/role.d.ts

@@ -7,30 +7,26 @@ export type EntityConstructor = abstract new (...args: any[]) => any;
  * `getFields`; anything else is treated as the thunk itself.
  */
 export declare function toTargetThunk<E extends EntityConstructor>(target: E | (() => E)): () => E;
+/** A relation's closed vocabularies — the runtime lists the types derive from. */
+export declare const RELATION_KINDS: readonly ['one', 'many'];
+export declare const ON_DELETE: readonly ['cascade', 'restrict', 'set null'];
 export interface Relation {
     to: () => EntityConstructor;
-    kind: 'one' | 'many';
-    onDelete?: 'cascade' | 'restrict' | 'set null';
+    kind: (typeof RELATION_KINDS)[number];
+    onDelete?: (typeof ON_DELETE)[number];
 }
 export interface Role {
     primary?: boolean;
     /**
-     * The unique constraints this field is a member of — one member list per constraint.
+     * The constraints this field belongs to — one member list each. A lone `unique(slug)` is
+     * the degenerate case, a set of one, so there is one shape and not two.
      *
-     * A constraint is a NAMED SET of fields, and a lone `unique(slug)` is the degenerate
-     * case: a set of one. So there is one shape, not two — `boolean` could say "unique on
-     * its own" and nothing else, neither "unique together with docId" nor "in two
-     * constraints at once".
+     * **An empty list denotes the field carrying it** — it does not know its own key. A named
+     * group comes from the entity's own declaration, where a fact about a pair belongs.
+     * NEVER read a group directly: {@link uniqueMembers} is the accessor.
      *
-     * **An empty member list denotes the field carrying it.** `unique(text())` applies to a
-     * field that does not yet know its own key — `slug` exists only once `entity({...})`
-     * assembles the object — so the self-reference is written as `[]` and stays that way:
-     * nothing to resolve, nothing to remap when a view renames the key, and a reader that
-     * never went through `entity()` still reads something true. A group with named members
-     * comes from the entity's own declaration (`entity(fields, { unique: [[...]] })`), which
-     * is where a fact about a pair belongs — no field holds it alone.
-     *
-     * So NEVER read a group directly — {@link uniqueMembers} is the accessor.
+     * `describe` resolves it on the way out, so a card always names its members. Keeping it
+     * unresolved in memory is what makes `rename()` free: nothing to remap.
      */
     unique?: ReadonlyArray<ReadonlyArray<string>>;
     index?: boolean;
@@ -41,14 +37,11 @@ export interface Role {
  * accessor every reader of `role.unique` goes through.
  *
  * ```ts
- * uniqueMembers([], 'slug')                 // ['slug']            — the self-reference
- * uniqueMembers(['listId', 'docId'], 'docId')  // ['listId','docId'] — already named
+ * uniqueMembers([], 'slug')                    // ['slug']            — the self-reference
+ * uniqueMembers(['listId', 'docId'], 'docId')  // ['listId','docId']  — already named
  * ```
  *
- * `ownKey` is the half the field is missing, and only its holder can supply it: iterate
- * `Object.entries(getFields())`, never the field alone. Two spellings for one constraint
- * is the price of a self-reference that survives `rename()` untouched; this function is
- * what makes them one, and it is why the two forms never need to be compared as data.
+ * `ownKey` is the half the field is missing: iterate `Object.entries(getFields())`.
  */
 export declare function uniqueMembers(group: ReadonlyArray<string>, ownKey: string): string[];
 //# sourceMappingURL=role.d.ts.map