@fougere/schema 0.2.0-alpha.1 → 0.3.0-alpha.0

package/dist/vocabulary/optional.js

@@ -1,15 +1,7 @@
-import { cloneField, 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 cloneField(field, {
-        shape: field.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,UAAU,EAAE,aAAa,EAAc,MAAM,mBAAmB,CAAC;AAE1E;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAI,KAAe;IACzC,OAAO,UAAU,CAAC,KAAK,EAAE;QACvB,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;QAChD,SAAS,EAAE,EAAE,GAAG,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,SAAS,EAAE,MAAM,IAAI,UAAU,EAAE;KACjF,CAA0B,CAAC;AAC9B,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,22 +1,9 @@
-import { type Field, type GeneratorRef } from '../field/index.js';
+import { Field } from '../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 its `auto` flag is preserved)
- */
-export declare function primary(opts?: PrimaryOptions): Field<string, true>;
-export declare function primary<T, A extends boolean>(field: Field<T, A>): Field<T, A>;
+export declare function primary(opts?: PrimaryOptions): Field<string>;
+export declare function primary<T>(field: Field<T>): Field<T>;
 export {};
 //# sourceMappingURL=primary.d.ts.map

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,EAKL,KAAK,KAAK,EACV,KAAK,YAAY,EAClB,MAAM,mBAAmB,CAAC;AAE3B,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,EAAE,IAAI,CAAC,CAAC;AACpE,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC"}
+{"version":3,"file":"primary.d.ts","sourceRoot":"","sources":["../../src/vocabulary/primary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAqB,KAAK,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAGvF,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,16 +1,14 @@
-import { cloneField, createField, registerGenerator, } from '../field/index.js';
+import { Field } from '../Field.js';
+import { registerGenerator } from '../axis/lifecycle/Generators.js';
+import { Judge } from '../judge/Judge.js';
 export function primary(fieldOrOptions) {
-    // primary(field) — promote an existing field to primary key. cloneField keeps
-    // every axis (boundary, meta…); the role gains `primary`, and identity in the
-    // graph implies immutability in time: `update: 'forbidden'` (decided 2026-07-15).
-    if (fieldOrOptions && '__brand' in fieldOrOptions && fieldOrOptions.__brand === 'fougere_field') {
+    if (Judge.isField(fieldOrOptions)) {
         const field = fieldOrOptions;
-        return cloneField(field, {
+        return field.with({
             role: { ...field.role, primary: true },
-            lifecycle: { ...field.lifecycle, update: 'forbidden' },
+            lifecycle: { ...field.lifecycle, update: "forbidden" },
         });
     }
-    // primary() or primary({ generate }) — auto-generated string ID
     const opts = (fieldOrOptions ?? {});
     let generate;
     if (Array.isArray(opts.generate)) {
@@ -19,13 +17,12 @@ export function primary(fieldOrOptions) {
         generate = name;
     }
     else {
-        generate = opts.generate ?? 'cuid2';
+        generate = opts.generate ?? "cuid2";
     }
-    return createField({
-        shape: { type: 'string' },
+    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' },
+        lifecycle: { create: { generate }, update: "forbidden" },
     });
 }
 //# sourceMappingURL=primary.js.map

package/dist/vocabulary/primary.js.map

@@ -1 +1 @@
-{"version":3,"file":"primary.js","sourceRoot":"","sources":["../../src/vocabulary/primary.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EACV,WAAW,EACX,iBAAiB,GAIlB,MAAM,mBAAmB,CAAC;AAsB3B,MAAM,UAAU,OAAO,CAAC,cAA0C;IAChE,8EAA8E;IAC9E,8EAA8E;IAC9E,kFAAkF;IAClF,IAAI,cAAc,IAAI,SAAS,IAAI,cAAc,IAAI,cAAc,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;QAChG,MAAM,KAAK,GAAG,cAAc,CAAC;QAC7B,OAAO,UAAU,CAAC,KAAK,EAAE;YACvB,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,WAAW,CAAe;QAC/B,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,aAAa,CAAC;AACpC,OAAO,EAAE,iBAAiB,EAAqB,MAAM,iCAAiC,CAAC;AACvF,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAQ1C,MAAM,UAAU,OAAO,CAAC,cAAuC;IAC7D,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,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,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,10 +1,3 @@
-import { type Field } from '../field/index.js';
-/**
- * Close the field's INBOUND direction — emitted normally, never accepted from
- * a client (a server-owned field, e.g. a computed counter). Supplying it in a
- * create or patch input is a validation error ("Read-only"); its absence is
- * never "Required" (the server provides it). Input types exclude it.
- * The outbound direction (and its conversion) is untouched.
- */
-export declare function readOnly<T, A extends boolean>(field: Field<T, A>): Field<T, A>;
+import { Field } from '../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,EAAiC,KAAK,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE9E;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAE9E"}
+{"version":3,"file":"readOnly.d.ts","sourceRoot":"","sources":["../../src/vocabulary/readOnly.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,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,12 +1,6 @@
-import { createField, declaredBoundary } from '../field/index.js';
-/**
- * Close the field's INBOUND direction — emitted normally, never accepted from
- * a client (a server-owned field, e.g. a computed counter). Supplying it in a
- * create or patch input is a validation error ("Read-only"); its absence is
- * never "Required" (the server provides it). Input types exclude it.
- * The outbound direction (and its conversion) is untouched.
- */
-export function readOnly(field) {
-    return createField({ ...field, 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,EAAE,WAAW,EAAE,gBAAgB,EAAc,MAAM,mBAAmB,CAAC;AAE9E;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CAAuB,KAAkB;IAC/D,OAAO,WAAW,CAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;AACjG,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 { type EntityConstructor, type Field } from '../field/index.js';
+import { type EntityConstructor } from '../axis/role/Relation.js';
+import { Field } from '../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,EAA8B,KAAK,iBAAiB,EAAE,KAAK,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAEnG,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,EAAiB,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AACjF,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,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,CAWxG"}

package/dist/vocabulary/ref.js

@@ -1,12 +1,7 @@
-import { createField, toTargetThunk } 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 { toTargetThunk } from '../axis/role/Relation.js';
+import { Field } from '../Field.js';
 export function ref(target, opts) {
-    return createField({
+    return new Field({
         shape: { type: 'string' },
         role: {
             relation: {

package/dist/vocabulary/ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"ref.js","sourceRoot":"","sources":["../../src/vocabulary/ref.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,aAAa,EAAsC,MAAM,mBAAmB,CAAC;AAMnG;;;;;GAKG;AACH,MAAM,UAAU,GAAG,CAA8B,MAAqB,EAAE,IAAiB;IACvF,OAAO,WAAW,CAAS;QACzB,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,aAAa,EAA0B,MAAM,0BAA0B,CAAC;AACjF,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAMpC,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"}

package/dist/vocabulary/text.d.ts

@@ -1,9 +1,9 @@
-import { type Field, type StringFormat } from '../field/index.js';
+import { Field } from '../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,KAAK,EAAE,KAAK,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAE/E,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,aAAa,CAAC;AACpC,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,6 +1,6 @@
-import { createField } from '../field/index.js';
+import { Field } from '../Field.js';
 export function text(opts) {
-    return createField({
+    return new Field({
         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/dist/vocabulary/text.js.map

@@ -1 +1 @@
-{"version":3,"file":"text.js","sourceRoot":"","sources":["../../src/vocabulary/text.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAiC,MAAM,mBAAmB,CAAC;AAY/E,MAAM,UAAU,IAAI,CAAC,IAAkB;IACrC,OAAO,WAAW,CAAS;QACzB,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,aAAa,CAAC;AAYpC,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,23 +1,3 @@
-import { type Field } from '../field/index.js';
-/**
- * No two rows may carry the same value — a unique constraint of one, on the role axis.
- *
- * The role axis is where it belongs because uniqueness is a fact about the field's
- * place in the entity, not about the values it accepts: `text({ max: 80 })` says what
- * a slug looks like, `unique(...)` says there is only one of each. A shape cannot
- * express it — judging a single value can never see the other rows.
- *
- * So the realization is the storage's, and only the storage's: the DDL emits the
- * constraint, the database enforces it on every write, including writes Fougere never
- * saw. A collision surfaces as the driver's error, not as a `validate()` failure.
- *
- * It also travels: `describe()` carries `role.unique` on the card, so a consumer in
- * another language reads the same promise — one that is now kept.
- *
- * The group is `[]` — the empty member list denoting THIS field, because a field does not
- * know its own key here: `slug` is named by the object literal `entity({...})` receives,
- * one call up. Keeping it empty rather than filling it in later means nothing to remap
- * when `rename()` moves the key, and one shape shared with the composite form.
- */
-export declare function unique<T, A extends boolean>(field: Field<T, A>): Field<T, A>;
+import { Field } from "../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,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAE5E"}
+{"version":3,"file":"unique.d.ts","sourceRoot":"","sources":["../../src/vocabulary/unique.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAGpC,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,25 +1,6 @@
-import { createField } from '../field/index.js';
-/**
- * No two rows may carry the same value — a unique constraint of one, on the role axis.
- *
- * The role axis is where it belongs because uniqueness is a fact about the field's
- * place in the entity, not about the values it accepts: `text({ max: 80 })` says what
- * a slug looks like, `unique(...)` says there is only one of each. A shape cannot
- * express it — judging a single value can never see the other rows.
- *
- * So the realization is the storage's, and only the storage's: the DDL emits the
- * constraint, the database enforces it on every write, including writes Fougere never
- * saw. A collision surfaces as the driver's error, not as a `validate()` failure.
- *
- * It also travels: `describe()` carries `role.unique` on the card, so a consumer in
- * another language reads the same promise — one that is now kept.
- *
- * The group is `[]` — the empty member list denoting THIS field, because a field does not
- * know its own key here: `slug` is named by the object literal `entity({...})` receives,
- * one call up. Keeping it empty rather than filling it in later means nothing to remap
- * when `rename()` moves the key, and one shape shared with the composite form.
- */
-export function unique(field) {
-    return createField({ ...field, 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":"AAAA,OAAO,EAAE,WAAW,EAAc,MAAM,mBAAmB,CAAC;AAE5D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,MAAM,CAAuB,KAAkB;IAC7D,OAAO,WAAW,CAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAChF,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 { type 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.
- */
-export declare function updated(): Field<Date, true>;
+import { Field } from '../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,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;;GAIG;AACH,wBAAgB,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAG3C"}
+{"version":3,"file":"updated.d.ts","sourceRoot":"","sources":["../../src/vocabulary/updated.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,wBAAgB,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAGrC"}

package/dist/vocabulary/updated.js

@@ -1,12 +1,6 @@
 import { created } from './created.js';
-import { createField } 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.
- */
 export function updated() {
     const base = created();
-    return createField({ ...base, lifecycle: { ...base.lifecycle, update: 'now' } });
+    return base.with({ lifecycle: { ...base.lifecycle, update: 'now' } });
 }
 //# sourceMappingURL=updated.js.map

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;AACvC,OAAO,EAAE,WAAW,EAAc,MAAM,mBAAmB,CAAC;AAE5D;;;;GAIG;AACH,MAAM,UAAU,OAAO;IACrB,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;IACvB,OAAO,WAAW,CAAa,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AAC/F,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 '../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,aAAa,CAAC;AAEzC,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,5 @@
+import { Field } from '../Field.js';
+import type { FieldData } from '../Field.js';
+export declare function vocabulary(name: string, states: (field: Field) => Partial<FieldData>): 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,aAAa,CAAC;AACpC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAM7C,wBAAgB,UAAU,CACxB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,SAAS,CAAC,GAC3C,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_AXES } from '../axis/Axis.js';
+import { same } from '../same.js';
+const MEMBER_SLOTS = [...EXTENSION_AXES.map((axis) => axis.slot), '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 || same(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":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAElC,MAAM,YAAY,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAU,CAAC;AAEnF,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,MAA4C;IAE5C,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,MAA0B;IACnE,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,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC;gBAAE,SAAS;YAC9D,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,GAAyB,CAAC;AACnC,CAAC"}

package/dist/vocabulary/writeOnly.d.ts

@@ -1,9 +1,3 @@
-import { type Field } from '../field/index.js';
-/**
- * Close the field's OUTBOUND direction — accepted at create/patch, never
- * emitted (the canonical password). `encodeFields` omits it and the adapters
- * exclude it from their output types. The inbound direction (and its
- * conversion) is untouched.
- */
-export declare function writeOnly<T, A extends boolean>(field: Field<T, A>): Field<T, A>;
+import { Field } from '../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,EAAiC,KAAK,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE9E;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAE/E"}
+{"version":3,"file":"writeOnly.d.ts","sourceRoot":"","sources":["../../src/vocabulary/writeOnly.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC,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,11 +1,6 @@
-import { createField, declaredBoundary } from '../field/index.js';
-/**
- * Close the field's OUTBOUND direction — accepted at create/patch, never
- * emitted (the canonical password). `encodeFields` omits it and the adapters
- * exclude it from their output types. The inbound direction (and its
- * conversion) is untouched.
- */
-export function writeOnly(field) {
-    return createField({ ...field, 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,EAAE,WAAW,EAAE,gBAAgB,EAAc,MAAM,mBAAmB,CAAC;AAE9E;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAuB,KAAkB;IAChE,OAAO,WAAW,CAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EAAE,GAAG,gBAAgB,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;AAClG,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.1",
-  "description": "The entity and its 4 axes — shape, role, lifecycle, boundary. No engine dependency.",
+  "version": "0.3.0-alpha.0",
+  "description": "The entity and its 4 axes — shape, role, lifecycle, boundary. One judge, edge-safe.",
   "keywords": [
     "fougere",
     "typescript",

package/dist/field/boundary.d.ts

@@ -1,86 +0,0 @@
-import type { AnyField } from './field.js';
-/**
- * Axis 4 · boundary — HOW AND IN WHICH DIRECTION a value crosses the CLIENT frontier.
- *
- * ⚠️ SCOPE — this axis covers the client frontier ONLY. A direction is meaningless
- * unless stated relative to a centre, and this one is relative to the domain facing a
- * client: `in` parses a request, `out` renders a response. It does NOT cover storage —
- * no storage adapter reads it, which is exactly why `bool`, `list`, `json` and a judged
- * `date` cannot be written today (they reach the driver unconverted). The domain↔column
- * conversion belongs to the storage adapter, and naming that second frontier is an open
- * design question — see the axes study.
- *
- * The normal form is indexed by DIRECTION. Each direction carries one of the two facets
- * of the same frontier:
- * a conversion (`{ decode }` / `{ encode }`, a NAMED rule) or the permission
- * token `'closed'` — read-only closes `in` (never accepted from a client),
- * write-only closes `out` (never emitted, e.g. a password). A key absent →
- * that direction is open, identity conversion. Declarative and named — never
- * an opaque closure, so adapters stay able to read what a field does.
- *
- * Two directional registries (decoders, encoders) are the pure base; an alias is
- * just a named pair. A field rarely declares a boundary: the default is DERIVED
- * from `shape` (convention over config). A declared boundary overrides that
- * default PER DIRECTION — closing `out` on a date field leaves the derived
- * isoDate decode on `in` intact.
- */
-/** 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 function registerDecoder(name: string, fn: Decoder): void;
-export declare function registerEncoder(name: string, fn: Encoder): void;
-/** Register a named boundary — the alias a field can reference. */
-export declare function registerBoundaryAlias(name: string, boundary: Boundary): void;
-/** The field's DECLARED boundary in normal form (alias resolved) — no derived default. */
-export declare function declaredBoundary(field: AnyField): 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: AnyField): Boundary;
-/**
- * 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.
- */
-export declare function resolveBoundary(field: AnyField): {
-    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,QAAQ,EAAE,MAAM,YAAY,CAAC;AAG3C;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;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;AAQ/D,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,GAAG,IAAI,CAE/D;AACD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,GAAG,IAAI,CAE/D;AACD,mEAAmE;AACnE,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAE5E;AAgCD,0FAA0F;AAC1F,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAS1D;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAIpD;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,QAAQ,GAAG;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAMrF"}