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

package/src/vocabulary/oneOf.ts

@@ -0,0 +1,24 @@
+import { Field } from '../fields/Field.js';
+
+interface OneOfOptions<V extends string = string> {
+  description?: string;
+  default?: V;
+}
+
+export function oneOf<const T extends readonly string[]>(...values: [...T]): Field<T[number]>;
+export function oneOf<const T extends readonly string[]>(
+  ...args: [...T, OneOfOptions<T[number]>]
+): Field<T[number]>;
+export function oneOf<const T extends readonly string[]>(
+  ...args: [...T] | [...T, OneOfOptions<T[number]>]
+): Field<T[number]> {
+  const last = args[args.length - 1];
+  const hasOpts = typeof last === 'object' && last !== null && !Array.isArray(last);
+  const values = (hasOpts ? args.slice(0, -1) : args) as unknown as readonly string[];
+  const opts = hasOpts ? (last as OneOfOptions) : {};
+  return new Field<T[number]>({
+    shape: { type: 'string', enum: values },
+    lifecycle: opts.default !== undefined ? { create: { value: opts.default } } : undefined,
+    meta: opts.description !== undefined ? { description: opts.description } : undefined,
+  });
+}

package/src/vocabulary/optional.ts

@@ -0,0 +1,8 @@
+import { vocabulary } from './vocabulary.js';
+import { Anatomy } from '../axis/shape/Shape.js';
+import { type Field } from '../fields/Field.js';
+
+export const optional: <T>(field: Field<T>) => Field<T | null> = vocabulary('optional', (field) => ({
+  shape: Anatomy.nullable(field.shape),
+  ...(field.lifecycle?.create === undefined ? { lifecycle: { create: 'optional' as const } } : {}),
+}));

package/src/vocabulary/primary.ts

@@ -0,0 +1,33 @@
+import { Field } from '../fields/Field.js';
+import { Generators, type GeneratorRef } from '../axis/lifecycle/Generators.js';
+
+interface PrimaryOptions {
+  generate?: GeneratorRef | [name: string, fn: () => string];
+}
+
+export function primary(opts?: PrimaryOptions): Field<string>;
+export function primary<T>(field: Field<T>): Field<T>;
+export function primary(fieldOrOptions?: Field | PrimaryOptions): Field {
+  if (Field.is(fieldOrOptions)) {
+    const field = fieldOrOptions;
+    return field.with({
+      role: { ...field.role, primary: true },
+      lifecycle: { ...field.lifecycle, update: "forbidden" },
+    });
+  }
+
+  const opts = (fieldOrOptions ?? {}) as PrimaryOptions;
+  let generate: GeneratorRef;
+  if (Array.isArray(opts.generate)) {
+    const [name, fn] = opts.generate;
+    Generators.register(name, fn);
+    generate = name;
+  } else {
+    generate = opts.generate ?? "cuid2";
+  }
+  return new Field<string>({
+    shape: { type: "string" },
+    role: { primary: true },
+    lifecycle: { create: { generate }, update: "forbidden" },
+  });
+}

package/src/vocabulary/readOnly.ts

@@ -0,0 +1,7 @@
+import { vocabulary } from './vocabulary.js';
+import { Boundary } from '../axis/boundary/Boundary.js';
+import { Field } from '../fields/Field.js';
+
+export const readOnly: <T>(field: Field<T>) => Field<T> = vocabulary('readOnly', (field) => ({
+  boundary: Boundary.declared(field).with({ in: 'closed' }),
+}));

package/src/vocabulary/ref.ts

@@ -0,0 +1,13 @@
+import { Relation, type EntityConstructor } from '../axis/role/Relation.js';
+import { Field } from '../fields/Field.js';
+
+export interface RefOptions {
+  cascade?: boolean;
+}
+
+export function ref<E extends EntityConstructor>(target: E | (() => E), opts?: RefOptions): Field<string> {
+  return new Field<string>({
+    shape: { type: 'string' },
+    role: { relation: Relation.one(target, opts?.cascade) },
+  });
+}

package/src/vocabulary/text.ts

@@ -0,0 +1,19 @@
+import { Field } from '../fields/Field.js';
+import { type StringFormat } from '../axis/shape/Formats.js';
+
+export interface TextOptions {
+  min?: number;
+  max?: number;
+  pattern?: string;
+  format?: StringFormat;
+  default?: string;
+  description?: string;
+}
+
+export function text(opts?: TextOptions): Field<string> {
+  return new Field<string>({
+    shape: { type: 'string', minLength: opts?.min, maxLength: opts?.max, pattern: opts?.pattern, format: opts?.format },
+    lifecycle: opts?.default !== undefined ? { create: { value: opts.default } } : undefined,
+    meta: opts?.description !== undefined ? { description: opts.description } : undefined,
+  });
+}

package/src/vocabulary/unique.ts

@@ -0,0 +1,10 @@
+import { vocabulary } from "./vocabulary.js";
+import { Field } from "../fields/Field.js";
+import { Unique } from "../constraint/Unique.js";
+
+export const unique: <T>(field: Field<T>) => Field<T> = vocabulary(
+  "unique",
+  (field) => ({
+    role: { rules: [...(field.role?.rules ?? []), new Unique([])] },
+  }),
+);

package/src/vocabulary/updated.ts

@@ -0,0 +1,7 @@
+import { created } from './created.js';
+import { Field } from '../fields/Field.js';
+
+export function updated(): Field<Date> {
+  const base = created();
+  return base.with({ lifecycle: { ...base.lifecycle, update: 'now' } });
+}

package/src/vocabulary/url.ts

@@ -0,0 +1,6 @@
+import { text, type TextOptions } from './text.js';
+import type { Field } from '../fields/Field.js';
+
+export function url(opts?: Omit<TextOptions, 'format'>): Field<string> {
+  return text({ ...opts, format: 'uri' });
+}

package/src/vocabulary/vocabulary.ts

@@ -0,0 +1,40 @@
+import { Field } from '../fields/Field.js';
+import { EXTENSION_SLOTS } from '../axis/Axis.js';
+import { dequal } from 'dequal';
+
+const MEMBER_SLOTS = [...EXTENSION_SLOTS, 'meta'] as const;
+
+export function vocabulary(
+  name: string,
+  states: (field: Field) => Partial<Field>,
+): FieldWord {
+  return (field) => field.with(merge(name, field, states(field)));
+}
+
+export type FieldWord = (field: Field<any>) => Field<any>;
+
+function merge(name: string, field: Field, stated: Partial<Field>): Partial<Field> {
+  const out: Record<string, unknown> = {};
+  if ('shape' in stated) out.shape = stated.shape;
+
+  for (const slot of MEMBER_SLOTS) {
+    const members = stated[slot];
+    if (members === undefined) continue;
+    const held = field[slot] as Record<string, unknown> | undefined;
+    if (typeof members !== 'object' || members === null || typeof held !== 'object') {
+      out[slot] = members;
+      continue;
+    }
+    for (const [member, value] of Object.entries(members)) {
+      const previous = held?.[member];
+      if (previous === undefined || dequal(previous, value)) continue;
+      throw new Error(
+        `vocabulary: \`${name}\` states ${slot}.${member} = ${JSON.stringify(value)}, but the ` +
+          `field already states ${JSON.stringify(previous)}. Apply one or the other, not both.`,
+      );
+    }
+    out[slot] = { ...held, ...members };
+  }
+  return out as Partial<Field>;
+}
+

package/src/vocabulary/writeOnly.ts

@@ -0,0 +1,7 @@
+import { vocabulary } from './vocabulary.js';
+import { Boundary } from '../axis/boundary/Boundary.js';
+import { Field } from '../fields/Field.js';
+
+export const writeOnly: <T>(field: Field<T>) => Field<T> = vocabulary('writeOnly', (field) => ({
+  boundary: Boundary.declared(field).with({ out: 'closed' }),
+}));

package/dist/field/boundary.d.ts

@@ -1,69 +0,0 @@
-import type { Field } from './field.js';
-/**
- * Axis 4 · boundary — HOW and IN WHICH DIRECTION a value crosses the CLIENT frontier.
- *
- * ⚠️ The client frontier ONLY: `in` parses a request, `out` renders a response. No storage
- * adapter reads it, so the domain↔column conversion is a second frontier, unnamed today.
- *
- * Each direction carries one of two facets: a NAMED conversion (`{ decode }`/`{ encode }`)
- * or the permission token `'closed'`. Absent → open, identity. Named and never a closure,
- * so an adapter can read what a field does. The default is derived from `shape`; a
- * declared boundary overrides it per direction.
- */
-/** Inbound: a supplied wire value → domain value. May fail (transformOrFail-style). */
-export type Decoder = (value: unknown) => {
-    value: unknown;
-} | {
-    error: string;
-};
-/** Outbound: a domain value → wire value. Total — a valid domain value always encodes. */
-export type Encoder = (value: unknown) => unknown;
-/** The normal form, indexed by direction. Either direction absent → open, identity. */
-export interface Boundary {
-    in?: 'closed' | {
-        decode: string;
-    };
-    out?: 'closed' | {
-        encode: string;
-    };
-}
-/**
- * What a field may carry on its `boundary` slot:
- * - a string — an ALIAS, resolved to a {@link Boundary} in the alias registry
- * - a {@link Boundary} — directional rules directly (allows asymmetry)
- *
- * The bare string literals are the built-in aliases; `(string & {})` keeps
- * autocomplete on them while leaving the set open to `registerBoundaryAlias`.
- */
-export type BoundaryRef = 'isoDate' | (string & {}) | Boundary;
-export declare class Boundaries {
-    private static readonly decoders;
-    private static readonly encoders;
-    private static readonly aliases;
-    static registerDecoder(name: string, fn: Decoder): void;
-    static registerEncoder(name: string, fn: Encoder): void;
-    /** Name a pair of directional rules, so a field declares `boundary: 'moneyCents'`. */
-    static registerAlias(name: string, boundary: Boundary): void;
-    static alias(name: string): Boundary | undefined;
-    static decoder(name: string): Decoder;
-    static encoder(name: string): Encoder;
-    private static named;
-}
-/** The field's DECLARED boundary in normal form (alias resolved) — no derived default. */
-export declare function declaredBoundary(field: Field): Boundary;
-/**
- * The field's EFFECTIVE boundary: declared rules win per direction, the
- * shape-derived default fills the rest. This is the reader every consumer of
- * the axis goes through — `boundaryOf(f).in === 'closed'` is the read-only
- * test, `.out === 'closed'` the write-only one.
- */
-export declare function boundaryOf(field: Field): Boundary;
-/**
- * A field's effective conversion functions. A closed direction converts as identity — the
- * permission facet is judged by the façade, not here.
- */
-export declare function resolveBoundary(field: Field): {
-    decode: Decoder;
-    encode: Encoder;
-};
-//# sourceMappingURL=boundary.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"boundary.d.ts","sourceRoot":"","sources":["../../src/field/boundary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAGxC;;;;;;;;;;GAUG;AAEH,uFAAuF;AACvF,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AACjF,0FAA0F;AAC1F,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;AAElD,uFAAuF;AACvF,MAAM,WAAW,QAAQ;IACvB,EAAE,CAAC,EAAE,QAAQ,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACnC,GAAG,CAAC,EAAE,QAAQ,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACrC;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,GAAG,QAAQ,CAAC;AAI/D,qBAAa,UAAU;IACrB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAA8B;IAC9D,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAA8B;IAC9D,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAA+B;IAE9D,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,GAAG,IAAI,CAAiC;IACxF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,GAAG,IAAI,CAAiC;IAExF,sFAAsF;IACtF,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAsC;IAElG,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAmC;IAEnF,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAuD;IAC5F,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAuD;IAE5F,OAAO,CAAC,MAAM,CAAC,KAAK;CAUrB;AA8BD,0FAA0F;AAC1F,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,CASvD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,CAIjD;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAMlF"}

package/dist/field/boundary.js

@@ -1,82 +0,0 @@
-import { Anatomy } from './shape.js';
-// ─── Registries (open, extensible — same spirit as FougereHints) ──
-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;
-    }
-}
-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.
-Boundaries.registerDecoder('isoDate', (value) => {
-    if (value instanceof Date)
-        return { value };
-    if (typeof value === 'string') {
-        const d = new Date(value);
-        return Number.isNaN(d.getTime()) ? { error: 'Invalid date' } : { value: d };
-    }
-    return { error: 'Expected a date' };
-});
-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.of(shape).base;
-    if (base && base.type === 'string' && base.format === 'date-time')
-        return Boundaries.alias('isoDate');
-    return {};
-}
-// ─── Resolution ──────────────────────────────────────
-/** The field's DECLARED boundary in normal form (alias resolved) — no derived default. */
-export function declaredBoundary(field) {
-    const ref = field.boundary;
-    if (ref === undefined)
-        return {};
-    if (typeof ref === 'string') {
-        const alias = Boundaries.alias(ref);
-        if (!alias)
-            throw new Error(`Unknown boundary alias: '${ref}'`);
-        return alias;
-    }
-    return ref;
-}
-/**
- * The field's EFFECTIVE boundary: declared rules win per direction, the
- * shape-derived default fills the rest. This is the reader every consumer of
- * the axis goes through — `boundaryOf(f).in === 'closed'` is the read-only
- * test, `.out === 'closed'` the write-only one.
- */
-export function boundaryOf(field) {
-    const declared = declaredBoundary(field);
-    const derived = defaultBoundaryForShape(field.shape);
-    return { in: declared.in ?? derived.in, out: declared.out ?? derived.out };
-}
-/**
- * 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' ? Boundaries.decoder(boundary.in.decode) : identityDecoder,
-        encode: typeof boundary.out === 'object' ? Boundaries.encoder(boundary.out.encode) : identityEncoder,
-    };
-}
-//# sourceMappingURL=boundary.js.map

package/dist/field/boundary.js.map

@@ -1 +0,0 @@
-{"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,21 +0,0 @@
-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;
-    readonly _type?: T;
-    constructor(init: FieldData, key?: string);
-    with<U = T>(overrides: Partial<FieldData>): Field<U>;
-}
-/** A record of fields — the input to `entity()` and every derivation. */
-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 +0,0 @@
-{"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,24 +0,0 @@
-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 +0,0 @@
-{"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

@@ -1,29 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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

@@ -1,24 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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,8 +0,0 @@
-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 +0,0 @@
-{"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,10 +0,0 @@
-// 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 { 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 +0,0 @@
-{"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,31 +0,0 @@
-/**
- * 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 {
-    /**
-     * 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;
-    } | {
-        generate: GeneratorRef;
-    } | (typeof CREATE_TOKENS)[number];
-    /**
-     * 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?: (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). */
-export declare function resolveCustomGenerator(ref: GeneratorRef): (() => string) | undefined;
-//# sourceMappingURL=lifecycle.d.ts.map

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

@@ -1 +0,0 @@
-{"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,20 +0,0 @@
-// ─── Axis 3 · lifecycle — WHO WRITES THE VALUE, AT WHICH MOMENT ────
-// 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);
-}
-/** A registered custom generator, or undefined (built-in presets live storage-side). */
-export function resolveCustomGenerator(ref) {
-    return generators.get(ref);
-}
-//# sourceMappingURL=lifecycle.js.map

package/dist/field/lifecycle.js.map

@@ -1 +0,0 @@
-{"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,5 +0,0 @@
-export interface 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 +0,0 @@
-{"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,5 +0,0 @@
-// ─── meta — the documentary compartment (NOT an axis) ────────────
-// 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 +0,0 @@
-{"version":3,"file":"meta.js","sourceRoot":"","sources":["../../src/field/meta.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,gFAAgF;AAChF,uDAAuD"}