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

package/dist/vocabulary/optional.js

@@ -1,15 +1,7 @@
-import { nullableShape } from '../field/index.js';
-/**
- * Make a field nullable AND omissible at creation — `null` enters the shape's
- * grammar (the `[T,'null']` union) and the lifecycle permits absence. The two
- * moves are independent: for null-legal-but-still-required, use `nullable()`.
- * An existing create rule (a default) wins over `'optional'` — it already
- * answers absence, and with a value rather than an omission.
- */
-export function optional(field) {
-    return field.with({
-        shape: nullableShape(field.shape),
-        lifecycle: { ...field.lifecycle, create: field.lifecycle?.create ?? 'optional' },
-    });
-}
+import { vocabulary } from './vocabulary.js';
+import { Anatomy } from '../axis/shape/Shape.js';
+export const optional = vocabulary('optional', (field) => ({
+    shape: Anatomy.nullable(field.shape),
+    ...(field.lifecycle?.create === undefined ? { lifecycle: { create: 'optional' } } : {}),
+}));
 //# sourceMappingURL=optional.js.map

package/dist/vocabulary/optional.js.map

@@ -1 +1 @@
-{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../src/vocabulary/optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAc,MAAM,mBAAmB,CAAC;AAE9D;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAI,KAAe;IACzC,OAAO,KAAK,CAAC,IAAI,CAAW;QAC1B,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;QACjC,SAAS,EAAE,EAAE,GAAG,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,SAAS,EAAE,MAAM,IAAI,UAAU,EAAE;KACjF,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../src/vocabulary/optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAGjD,MAAM,CAAC,MAAM,QAAQ,GAA4C,UAAU,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAClG,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;IACpC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,UAAmB,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CACjG,CAAC,CAAC,CAAC"}

package/dist/vocabulary/primary.d.ts

@@ -1,21 +1,8 @@
-import { Field, type GeneratorRef } from "../field/index.js";
+import { Field } from '../fields/Field.js';
+import { type GeneratorRef } from '../axis/lifecycle/Generators.js';
 interface PrimaryOptions {
-    /**
-     * Generator token: a built-in preset, a name registered via
-     * `registerGenerator`, or the colocated `[name, fn]` tuple — which registers
-     * and names in one gesture (the Field only ever carries the name).
-     */
     generate?: GeneratorRef | [name: string, fn: () => string];
 }
-/**
- * Create a primary key field.
- *
- * - `primary()` — auto-generated CUID2 string ID (default)
- * - `primary({ generate: 'uuid' })` — auto-generated UUID v4
- * - `primary({ generate: ['monId', fn] })` — custom generator, registered + named
- * - `primary(field)` — promote any field to primary key (no auto-generation:
- *   the value must be supplied, so no `create` rule is stated)
- */
 export declare function primary(opts?: PrimaryOptions): Field<string>;
 export declare function primary<T>(field: Field<T>): Field<T>;
 export {};

package/dist/vocabulary/primary.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"primary.d.ts","sourceRoot":"","sources":["../../src/vocabulary/primary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAqB,KAAK,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAGhF,UAAU,cAAc;IACtB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,MAAM,CAAC,CAAC;CAC5D;AAED;;;;;;;;GAQG;AACH,wBAAgB,OAAO,CAAC,IAAI,CAAC,EAAE,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;AAC9D,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"primary.d.ts","sourceRoot":"","sources":["../../src/vocabulary/primary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAc,KAAK,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAEhF,UAAU,cAAc;IACtB,QAAQ,CAAC,EAAE,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,MAAM,CAAC,CAAC;CAC5D;AAED,wBAAgB,OAAO,CAAC,IAAI,CAAC,EAAE,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;AAC9D,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC"}

package/dist/vocabulary/primary.js

@@ -1,24 +1,18 @@
-import { Field, registerGenerator } from "../field/index.js";
-import { Judge } from "../validation/index.js";
+import { Field } from '../fields/Field.js';
+import { Generators } from '../axis/lifecycle/Generators.js';
 export function primary(fieldOrOptions) {
-    // primary(field) — promote an existing field to primary key. `with` keeps every axis
-    // (boundary, meta…); the role gains `primary`, and identity in the graph implies
-    // immutability in time: `update: 'forbidden'` (decided 2026-07-15).
-    // `isField` and not a brand: the two overloads are told apart by SHAPE, which a field
-    // always states and `PrimaryOptions` (a lone `generate?`) never does.
-    if (Judge.isField(fieldOrOptions)) {
+    if (Field.is(fieldOrOptions)) {
         const field = fieldOrOptions;
         return field.with({
             role: { ...field.role, primary: true },
             lifecycle: { ...field.lifecycle, update: "forbidden" },
         });
     }
-    // primary() or primary({ generate }) — auto-generated string ID
     const opts = (fieldOrOptions ?? {});
     let generate;
     if (Array.isArray(opts.generate)) {
         const [name, fn] = opts.generate;
-        registerGenerator(name, fn);
+        Generators.register(name, fn);
         generate = name;
     }
     else {
@@ -27,7 +21,6 @@ export function primary(fieldOrOptions) {
     return new Field({
         shape: { type: "string" },
         role: { primary: true },
-        // An id is immutable by default: re-supplying it in a patch is an error.
         lifecycle: { create: { generate }, update: "forbidden" },
     });
 }

package/dist/vocabulary/primary.js.map

@@ -1 +1 @@
-{"version":3,"file":"primary.js","sourceRoot":"","sources":["../../src/vocabulary/primary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAqB,MAAM,mBAAmB,CAAC;AAChF,OAAO,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAsB/C,MAAM,UAAU,OAAO,CAAC,cAAuC;IAC7D,qFAAqF;IACrF,iFAAiF;IACjF,oEAAoE;IACpE,sFAAsF;IACtF,sEAAsE;IACtE,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,cAAc,CAAC;QAC7B,OAAO,KAAK,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;YACtC,SAAS,EAAE,EAAE,GAAG,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE;SACvD,CAAC,CAAC;IACL,CAAC;IAED,gEAAgE;IAChE,MAAM,IAAI,GAAG,CAAC,cAAc,IAAI,EAAE,CAAmB,CAAC;IACtD,IAAI,QAAsB,CAAC;IAC3B,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;QACjC,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC5B,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,KAAK,CAAS;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACzB,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;QACvB,yEAAyE;QACzE,SAAS,EAAE,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE;KACzD,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"primary.js","sourceRoot":"","sources":["../../src/vocabulary/primary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAqB,MAAM,iCAAiC,CAAC;AAQhF,MAAM,UAAU,OAAO,CAAC,cAAuC;IAC7D,IAAI,KAAK,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,cAAc,CAAC;QAC7B,OAAO,KAAK,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;YACtC,SAAS,EAAE,EAAE,GAAG,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE;SACvD,CAAC,CAAC;IACL,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,cAAc,IAAI,EAAE,CAAmB,CAAC;IACtD,IAAI,QAAsB,CAAC;IAC3B,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;QACjC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9B,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC;SAAM,CAAC;QACN,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,KAAK,CAAS;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACzB,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;QACvB,SAAS,EAAE,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE;KACzD,CAAC,CAAC;AACL,CAAC"}

package/dist/vocabulary/readOnly.d.ts

@@ -1,7 +1,3 @@
-import { Field } from '../field/index.js';
-/**
- * Close the INBOUND direction — emitted normally, never accepted from a client. Supplying
- * it is a "Read-only" error; its absence is never "Required". Outbound is untouched.
- */
-export declare function readOnly<T>(field: Field<T>): Field<T>;
+import { Field } from '../fields/Field.js';
+export declare const readOnly: <T>(field: Field<T>) => Field<T>;
 //# sourceMappingURL=readOnly.d.ts.map

package/dist/vocabulary/readOnly.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"readOnly.d.ts","sourceRoot":"","sources":["../../src/vocabulary/readOnly.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAoB,MAAM,mBAAmB,CAAC;AAE5D;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAErD"}
+{"version":3,"file":"readOnly.d.ts","sourceRoot":"","sources":["../../src/vocabulary/readOnly.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAEnD,CAAC"}

package/dist/vocabulary/readOnly.js

@@ -1,9 +1,6 @@
-import { declaredBoundary } from '../field/index.js';
-/**
- * Close the INBOUND direction — emitted normally, never accepted from a client. Supplying
- * it is a "Read-only" error; its absence is never "Required". Outbound is untouched.
- */
-export function readOnly(field) {
-    return field.with({ boundary: { ...declaredBoundary(field), in: 'closed' } });
-}
+import { vocabulary } from './vocabulary.js';
+import { Boundary } from '../axis/boundary/Boundary.js';
+export const readOnly = vocabulary('readOnly', (field) => ({
+    boundary: Boundary.declared(field).with({ in: 'closed' }),
+}));
 //# sourceMappingURL=readOnly.js.map

package/dist/vocabulary/readOnly.js.map

@@ -1 +1 @@
-{"version":3,"file":"readOnly.js","sourceRoot":"","sources":["../../src/vocabulary/readOnly.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAI,KAAe;IACzC,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;AAChF,CAAC"}
+{"version":3,"file":"readOnly.js","sourceRoot":"","sources":["../../src/vocabulary/readOnly.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAGxD,MAAM,CAAC,MAAM,QAAQ,GAAqC,UAAU,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC3F,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;CAC1D,CAAC,CAAC,CAAC"}

package/dist/vocabulary/ref.d.ts

@@ -1,12 +1,7 @@
-import { Field, type EntityConstructor } from '../field/index.js';
+import { type EntityConstructor } from '../axis/role/Relation.js';
+import { Field } from '../fields/Field.js';
 export interface RefOptions {
     cascade?: boolean;
 }
-/**
- * A reference to another entity — a foreign-key string plus a one-relation role.
- * Pass the target class (`ref(Author)`) or, for circular/forward references, a
- * thunk (`ref(() => Author)`). For a nullable FK, wrap it: `optional(ref(Author))`
- * — that path also flips the type to `string | null` (which `ref` alone never did).
- */
 export declare function ref<E extends EntityConstructor>(target: E | (() => E), opts?: RefOptions): Field<string>;
 //# sourceMappingURL=ref.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"ref.d.ts","sourceRoot":"","sources":["../../src/vocabulary/ref.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,KAAK,EAAE,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEjF,MAAM,WAAW,UAAU;IACzB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,GAAG,CAAC,CAAC,SAAS,iBAAiB,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAWxG"}
+{"version":3,"file":"ref.d.ts","sourceRoot":"","sources":["../../src/vocabulary/ref.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,MAAM,WAAW,UAAU;IACzB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,wBAAgB,GAAG,CAAC,CAAC,SAAS,iBAAiB,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAKxG"}

package/dist/vocabulary/ref.js

@@ -1,20 +1,9 @@
-import { toTargetThunk, Field } from '../field/index.js';
-/**
- * A reference to another entity — a foreign-key string plus a one-relation role.
- * Pass the target class (`ref(Author)`) or, for circular/forward references, a
- * thunk (`ref(() => Author)`). For a nullable FK, wrap it: `optional(ref(Author))`
- * — that path also flips the type to `string | null` (which `ref` alone never did).
- */
+import { Relation } from '../axis/role/Relation.js';
+import { Field } from '../fields/Field.js';
 export function ref(target, opts) {
     return new Field({
         shape: { type: 'string' },
-        role: {
-            relation: {
-                to: toTargetThunk(target),
-                kind: 'one',
-                onDelete: opts?.cascade ? 'cascade' : undefined,
-            },
-        },
+        role: { relation: Relation.one(target, opts?.cascade) },
     });
 }
 //# sourceMappingURL=ref.js.map

package/dist/vocabulary/ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"ref.js","sourceRoot":"","sources":["../../src/vocabulary/ref.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,KAAK,EAA0B,MAAM,mBAAmB,CAAC;AAMjF;;;;;GAKG;AACH,MAAM,UAAU,GAAG,CAA8B,MAAqB,EAAE,IAAiB;IACvF,OAAO,IAAI,KAAK,CAAS;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;QACzB,IAAI,EAAE;YACJ,QAAQ,EAAE;gBACR,EAAE,EAAE,aAAa,CAAC,MAAM,CAAC;gBACzB,IAAI,EAAE,KAAK;gBACX,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;aAChD;SACF;KACF,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"ref.js","sourceRoot":"","sources":["../../src/vocabulary/ref.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAA0B,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAM3C,MAAM,UAAU,GAAG,CAA8B,MAAqB,EAAE,IAAiB;IACvF,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/text.d.ts

@@ -1,9 +1,9 @@
-import { Field, type StringFormat } from '../field/index.js';
+import { Field } from '../fields/Field.js';
+import { type StringFormat } from '../axis/shape/Formats.js';
 export interface TextOptions {
     min?: number;
     max?: number;
     pattern?: string;
-    /** JSON Schema format predicate (email, uuid, uri, date, time…), asserted by the engine. */
     format?: StringFormat;
     default?: string;
     description?: string;

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

@@ -1 +1 @@
-{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../../src/vocabulary/text.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAE7D,MAAM,WAAW,WAAW;IAC1B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,4FAA4F;IAC5F,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,CAMtD"}
+{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../../src/vocabulary/text.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAE7D,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,CAMtD"}

package/dist/vocabulary/text.js

@@ -1,4 +1,4 @@
-import { Field } from '../field/index.js';
+import { Field } from '../fields/Field.js';
 export function text(opts) {
     return new Field({
         shape: { type: 'string', minLength: opts?.min, maxLength: opts?.max, pattern: opts?.pattern, format: opts?.format },

package/dist/vocabulary/text.js.map

@@ -1 +1 @@
-{"version":3,"file":"text.js","sourceRoot":"","sources":["../../src/vocabulary/text.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAqB,MAAM,mBAAmB,CAAC;AAY7D,MAAM,UAAU,IAAI,CAAC,IAAkB;IACrC,OAAO,IAAI,KAAK,CAAS;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;QACnH,SAAS,EAAE,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS;QACxF,IAAI,EAAE,IAAI,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;KACtF,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"text.js","sourceRoot":"","sources":["../../src/vocabulary/text.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAY3C,MAAM,UAAU,IAAI,CAAC,IAAkB;IACrC,OAAO,IAAI,KAAK,CAAS;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE;QACnH,SAAS,EAAE,IAAI,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS;QACxF,IAAI,EAAE,IAAI,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;KACtF,CAAC,CAAC;AACL,CAAC"}

package/dist/vocabulary/unique.d.ts

@@ -1,13 +1,3 @@
-import { Field } from '../field/index.js';
-/**
- * No two rows carry the same value — a unique constraint of one, on the role axis.
- *
- * A shape cannot express it: judging one value never sees the other rows. So only the
- * storage realizes it, and a collision surfaces as the driver's error. It travels on the
- * card, so a consumer in another language reads the same promise.
- *
- * The group is `[]` — the empty list denoting THIS field, which does not know its own key.
- * See the ⚠️ on the role axis.
- */
-export declare function unique<T>(field: Field<T>): Field<T>;
+import { Field } from "../fields/Field.js";
+export declare const unique: <T>(field: Field<T>) => Field<T>;
 //# sourceMappingURL=unique.d.ts.map

package/dist/vocabulary/unique.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"unique.d.ts","sourceRoot":"","sources":["../../src/vocabulary/unique.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C;;;;;;;;;GASG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAEnD"}
+{"version":3,"file":"unique.d.ts","sourceRoot":"","sources":["../../src/vocabulary/unique.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAG3C,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAKnD,CAAC"}

package/dist/vocabulary/unique.js

@@ -1,14 +1,6 @@
-/**
- * No two rows carry the same value — a unique constraint of one, on the role axis.
- *
- * A shape cannot express it: judging one value never sees the other rows. So only the
- * storage realizes it, and a collision surfaces as the driver's error. It travels on the
- * card, so a consumer in another language reads the same promise.
- *
- * The group is `[]` — the empty list denoting THIS field, which does not know its own key.
- * See the ⚠️ on the role axis.
- */
-export function unique(field) {
-    return field.with({ role: { ...field.role, unique: [[]] } });
-}
+import { vocabulary } from "./vocabulary.js";
+import { Unique } from "../constraint/Unique.js";
+export const unique = vocabulary("unique", (field) => ({
+    role: { rules: [...(field.role?.rules ?? []), new Unique([])] },
+}));
 //# sourceMappingURL=unique.js.map

package/dist/vocabulary/unique.js.map

@@ -1 +1 @@
-{"version":3,"file":"unique.js","sourceRoot":"","sources":["../../src/vocabulary/unique.ts"],"names":[],"mappings":"AAEA;;;;;;;;;GASG;AACH,MAAM,UAAU,MAAM,CAAI,KAAe;IACvC,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAC/D,CAAC"}
+{"version":3,"file":"unique.js","sourceRoot":"","sources":["../../src/vocabulary/unique.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAEjD,MAAM,CAAC,MAAM,MAAM,GAAqC,UAAU,CAChE,QAAQ,EACR,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACV,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE;CAChE,CAAC,CACH,CAAC"}

package/dist/vocabulary/updated.d.ts

@@ -1,8 +1,3 @@
-import { Field } from '../field/index.js';
-/**
- * `auto()`, plus the update stamp — the canonical `updatedAt` (Prisma
- * `@updatedAt`, Kysely-side `$onUpdate` equivalents). The only new fact is `update: 'now'`;
- * shape and creation rule are auto()'s, stated once there.
- */
+import { Field } from '../fields/Field.js';
 export declare function updated(): Field<Date>;
 //# sourceMappingURL=updated.d.ts.map

package/dist/vocabulary/updated.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"updated.d.ts","sourceRoot":"","sources":["../../src/vocabulary/updated.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C;;;;GAIG;AACH,wBAAgB,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAGrC"}
+{"version":3,"file":"updated.d.ts","sourceRoot":"","sources":["../../src/vocabulary/updated.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,wBAAgB,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAGrC"}

package/dist/vocabulary/updated.js

@@ -1,9 +1,4 @@
 import { created } from './created.js';
-/**
- * `auto()`, plus the update stamp — the canonical `updatedAt` (Prisma
- * `@updatedAt`, Kysely-side `$onUpdate` equivalents). The only new fact is `update: 'now'`;
- * shape and creation rule are auto()'s, stated once there.
- */
 export function updated() {
     const base = created();
     return base.with({ lifecycle: { ...base.lifecycle, update: 'now' } });

package/dist/vocabulary/updated.js.map

@@ -1 +1 @@
-{"version":3,"file":"updated.js","sourceRoot":"","sources":["../../src/vocabulary/updated.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAGvC;;;;GAIG;AACH,MAAM,UAAU,OAAO;IACrB,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;IACvB,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AACxE,CAAC"}
+{"version":3,"file":"updated.js","sourceRoot":"","sources":["../../src/vocabulary/updated.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAGvC,MAAM,UAAU,OAAO;IACrB,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;IACvB,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AACxE,CAAC"}

package/dist/vocabulary/url.d.ts

@@ -1,5 +1,4 @@
 import { type TextOptions } from './text.js';
-import type { Field } from '../field/index.js';
-/** A string holding a URL — `text({ format: 'uri' })` (JSON Schema's name), named. */
+import type { Field } from '../fields/Field.js';
 export declare function url(opts?: Omit<TextOptions, 'format'>): Field<string>;
 //# sourceMappingURL=url.d.ts.map

package/dist/vocabulary/url.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"url.d.ts","sourceRoot":"","sources":["../../src/vocabulary/url.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE/C,sFAAsF;AACtF,wBAAgB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAErE"}
+{"version":3,"file":"url.d.ts","sourceRoot":"","sources":["../../src/vocabulary/url.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAEhD,wBAAgB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAErE"}

package/dist/vocabulary/url.js

@@ -1,5 +1,4 @@
 import { text } from './text.js';
-/** A string holding a URL — `text({ format: 'uri' })` (JSON Schema's name), named. */
 export function url(opts) {
     return text({ ...opts, format: 'uri' });
 }

package/dist/vocabulary/url.js.map

@@ -1 +1 @@
-{"version":3,"file":"url.js","sourceRoot":"","sources":["../../src/vocabulary/url.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,MAAM,WAAW,CAAC;AAGnD,sFAAsF;AACtF,MAAM,UAAU,GAAG,CAAC,IAAkC;IACpD,OAAO,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAC1C,CAAC"}
+{"version":3,"file":"url.js","sourceRoot":"","sources":["../../src/vocabulary/url.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,MAAM,WAAW,CAAC;AAGnD,MAAM,UAAU,GAAG,CAAC,IAAkC;IACpD,OAAO,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AAC1C,CAAC"}

package/dist/vocabulary/vocabulary.d.ts

@@ -0,0 +1,4 @@
+import { Field } from '../fields/Field.js';
+export declare function vocabulary(name: string, states: (field: Field) => Partial<Field>): FieldWord;
+export type FieldWord = (field: Field<any>) => Field<any>;
+//# sourceMappingURL=vocabulary.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"vocabulary.d.ts","sourceRoot":"","sources":["../../src/vocabulary/vocabulary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAM3C,wBAAgB,UAAU,CACxB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,KAAK,CAAC,GACvC,SAAS,CAEX;AAED,MAAM,MAAM,SAAS,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC"}

package/dist/vocabulary/vocabulary.js

@@ -0,0 +1,31 @@
+import { EXTENSION_SLOTS } from '../axis/Axis.js';
+import { dequal } from 'dequal';
+const MEMBER_SLOTS = [...EXTENSION_SLOTS, 'meta'];
+export function vocabulary(name, states) {
+    return (field) => field.with(merge(name, field, states(field)));
+}
+function merge(name, field, stated) {
+    const out = {};
+    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];
+        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;
+}
+//# sourceMappingURL=vocabulary.js.map

package/dist/vocabulary/vocabulary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vocabulary.js","sourceRoot":"","sources":["../../src/vocabulary/vocabulary.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,YAAY,GAAG,CAAC,GAAG,eAAe,EAAE,MAAM,CAAU,CAAC;AAE3D,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,MAAwC;IAExC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAID,SAAS,KAAK,CAAC,IAAY,EAAE,KAAY,EAAE,MAAsB;IAC/D,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,IAAI,OAAO,IAAI,MAAM;QAAE,GAAG,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAEhD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAwC,CAAC;QAChE,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChF,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;YACpB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACtD,MAAM,QAAQ,GAAG,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC;gBAAE,SAAS;YAChE,MAAM,IAAI,KAAK,CACb,iBAAiB,IAAI,aAAa,IAAI,IAAI,MAAM,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY;gBACrF,wBAAwB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,qCAAqC,CACxF,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,EAAE,CAAC;IACtC,CAAC;IACD,OAAO,GAAqB,CAAC;AAC/B,CAAC"}

package/dist/vocabulary/writeOnly.d.ts

@@ -1,7 +1,3 @@
-import { Field } from '../field/index.js';
-/**
- * Close the OUTBOUND direction — accepted at create/patch, never emitted (the canonical
- * password). `encodeFields` omits it. Inbound is untouched.
- */
-export declare function writeOnly<T>(field: Field<T>): Field<T>;
+import { Field } from '../fields/Field.js';
+export declare const writeOnly: <T>(field: Field<T>) => Field<T>;
 //# sourceMappingURL=writeOnly.d.ts.map

package/dist/vocabulary/writeOnly.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"writeOnly.d.ts","sourceRoot":"","sources":["../../src/vocabulary/writeOnly.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAoB,MAAM,mBAAmB,CAAC;AAE5D;;;GAGG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAEtD"}
+{"version":3,"file":"writeOnly.d.ts","sourceRoot":"","sources":["../../src/vocabulary/writeOnly.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAEpD,CAAC"}

package/dist/vocabulary/writeOnly.js

@@ -1,9 +1,6 @@
-import { declaredBoundary } from '../field/index.js';
-/**
- * Close the OUTBOUND direction — accepted at create/patch, never emitted (the canonical
- * password). `encodeFields` omits it. Inbound is untouched.
- */
-export function writeOnly(field) {
-    return field.with({ boundary: { ...declaredBoundary(field), out: 'closed' } });
-}
+import { vocabulary } from './vocabulary.js';
+import { Boundary } from '../axis/boundary/Boundary.js';
+export const writeOnly = vocabulary('writeOnly', (field) => ({
+    boundary: Boundary.declared(field).with({ out: 'closed' }),
+}));
 //# sourceMappingURL=writeOnly.js.map

package/dist/vocabulary/writeOnly.js.map

@@ -1 +1 @@
-{"version":3,"file":"writeOnly.js","sourceRoot":"","sources":["../../src/vocabulary/writeOnly.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAI,KAAe;IAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;AACjF,CAAC"}
+{"version":3,"file":"writeOnly.js","sourceRoot":"","sources":["../../src/vocabulary/writeOnly.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAGxD,MAAM,CAAC,MAAM,SAAS,GAAqC,UAAU,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC7F,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;CAC3D,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@fougere/schema",
-  "version": "0.2.0-alpha.2",
-  "description": "The entity and its 4 axes — shape, role, lifecycle, boundary. One judge, edge-safe.",
+  "version": "0.4.0-alpha.0",
+  "description": "The entity and its 4 axes — shape, role, lifecycle, boundary. Subject-owned judgments, edge-safe.",
   "keywords": [
     "fougere",
     "typescript",
@@ -29,13 +29,17 @@
     }
   },
   "files": [
-    "dist"
+    "dist",
+    "src"
   ],
   "dependencies": {
     "@cfworker/json-schema": "^4.1.1",
-    "@paralleldrive/cuid2": "^3.3.0"
+    "@paralleldrive/cuid2": "^3.3.0",
+    "dequal": "^2.0.3"
   },
   "devDependencies": {
+    "@tanstack/form-core": "^1.33.5",
+    "@trpc/server": "^11.18.0",
     "@types/json-schema": "^7.0.15"
   },
   "publishConfig": {

package/src/EntityAdapters.ts

@@ -0,0 +1,95 @@
+import type { FieldName, Fields } from './fields/Field.js';
+import { isObject } from './judge/ValueForm.js';
+
+// eslint-disable-next-line @typescript-eslint/no-unused-vars, @typescript-eslint/no-empty-object-type
+export interface FougereEntityAdapters<K extends string> {}
+
+export type EntityAdapters<TFields extends Fields> = Partial<FougereEntityAdapters<FieldName<TFields>>>;
+
+/** What `cut` REQUIRES of an augmentation, and the open registry cannot state: addressed by field. */
+type FieldEntries = Record<FieldName<Fields>, unknown>;
+
+type AdapterEntries = Record<string, FieldEntries>;
+
+/**
+ * What one schema states per adapter: an adapter name, a field name, then that adapter's own value.
+ */
+export class EntityAdapterSet {
+  private constructor(private readonly byAdapter: AdapterEntries) {}
+
+  static of(declared: EntityAdapters<Fields> | undefined): EntityAdapterSet | undefined {
+    if (declared === undefined) return undefined;
+
+    if (!isObject(declared)) {
+      throw new Error(
+        `adapters: expected an object keyed by adapter name, got ${typeof declared}.`,
+      );
+    }
+
+    const byAdapter: AdapterEntries = {};
+
+    for (const [adapter, perField] of Object.entries(declared as AdapterEntries)) {
+      if (perField === undefined) continue;
+
+      if (!isObject(perField)) {
+        throw new Error(
+          `adapters.${adapter}: expected an object keyed by field name, got ${typeof perField}. ` +
+            `What an adapter is handed is addressed by the field it applies to.`,
+        );
+      }
+
+      if (Object.keys(perField).length) byAdapter[adapter] = perField;
+    }
+
+    return EntityAdapterSet.made(byAdapter);
+  }
+
+  /** Several schemas folded into one set; a later source wins, per adapter and per field. */
+  static merged(sources: readonly (EntityAdapters<Fields> | undefined)[]): EntityAdapterSet | undefined {
+    const out: AdapterEntries = {};
+
+    for (const source of sources) {
+      const set = EntityAdapterSet.of(source);
+      if (!set) continue;
+
+      for (const [adapter, perField] of Object.entries(set.byAdapter)) {
+        out[adapter] = { ...out[adapter], ...perField };
+      }
+    }
+
+    return EntityAdapterSet.made(out);
+  }
+
+  /** The plain object, which is what a reader outside this package receives. */
+  get stated(): EntityAdapters<Fields> {
+    return this.byAdapter as EntityAdapters<Fields>;
+  }
+
+  /**
+   * The entries whose field survives a cut, re-addressed by that field's new name.
+   *
+   * The adapter name is not a field and does not move; only the level below it does. An
+   * entry left on the old name is not an error anywhere downstream — `adapter/sql` looks
+   * it up by the field it is iterating and simply finds nothing.
+   */
+  cut(survives: (key: string) => string | undefined): EntityAdapterSet | undefined {
+    const out: AdapterEntries = {};
+
+    for (const [adapter, perField] of Object.entries(this.byAdapter)) {
+      const mapped: FieldEntries = {};
+
+      for (const [key, entry] of Object.entries(perField)) {
+        const next = survives(key);
+        if (next !== undefined) mapped[next] = entry;
+      }
+
+      if (Object.keys(mapped).length) out[adapter] = mapped;
+    }
+
+    return EntityAdapterSet.made(out);
+  }
+
+  private static made(byAdapter: AdapterEntries): EntityAdapterSet | undefined {
+    return Object.keys(byAdapter).length ? new EntityAdapterSet(byAdapter) : undefined;
+  }
+}

package/src/EntityDeclarations.ts

@@ -0,0 +1,19 @@
+import type { FieldName, Fields } from './fields/Field.js';
+import type { EntityAdapters } from './EntityAdapters.js';
+
+export type CompositeUnique<TFields extends Fields> = readonly (readonly FieldName<TFields>[])[];
+
+/** New name to old name: the field states what it WAS, which is how a human writes it. */
+export type PreviousNames<TFields extends Fields> = Partial<
+  Record<FieldName<TFields>, string>
+>;
+
+export interface EntityDeclarations<TFields extends Fields> {
+  unique?: CompositeUnique<TFields>;
+  adapters?: EntityAdapters<TFields>;
+  /**
+   * What a field used to be called — read by `fougere freeze` and by nothing else.
+   * It answers the one question two shapes cannot, and is meant to be deleted after.
+   */
+  previous?: PreviousNames<TFields>;
+}

package/src/axis/Axis.ts

@@ -0,0 +1,25 @@
+import { roleAxis } from './role/RoleAxis.js';
+import { lifecycleAxis } from './lifecycle/LifecycleAxis.js';
+import { boundaryAxis } from './boundary/BoundaryAxis.js';
+import type { ValidationError } from '../judge/result.js';
+
+export interface Axis<Declared = unknown, Wire = unknown> {
+  readonly slot: 'role' | 'lifecycle' | 'boundary';
+
+  judge(value: unknown, errors: ValidationError[]): void;
+
+  describe(value: Declared, key: string): Wire | undefined;
+
+  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,
+  boundaryAxis,
+];
+
+/** The slots they occupy: the keys of `x-fougere` on a field descriptor. */
+export const EXTENSION_SLOTS = EXTENSION_AXES.map((axis) => axis.slot);

package/src/axis/Meta.ts

@@ -0,0 +1,3 @@
+export interface Meta {
+  description?: string;
+}