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

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

@@ -1 +1 @@
-{"version":3,"file":"optional.d.ts","sourceRoot":"","sources":["../../src/vocabulary/optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,KAAK,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1E;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAKlE"}
+{"version":3,"file":"optional.d.ts","sourceRoot":"","sources":["../../src/vocabulary/optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,KAAK,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE9D;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAK5D"}

package/dist/vocabulary/optional.js

@@ -1,4 +1,4 @@
-import { cloneField, nullableShape } from '../field/index.js';
+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
@@ -7,8 +7,8 @@ import { cloneField, nullableShape } from '../field/index.js';
  * answers absence, and with a value rather than an omission.
  */
 export function optional(field) {
-    return cloneField(field, {
-        shape: field.shape && nullableShape(field.shape),
+    return field.with({
+        shape: nullableShape(field.shape),
         lifecycle: { ...field.lifecycle, create: field.lifecycle?.create ?? 'optional' },
     });
 }

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,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"}

package/dist/vocabulary/primary.d.ts

@@ -1,4 +1,4 @@
-import { type Field, type GeneratorRef } from '../field/index.js';
+import { Field, type GeneratorRef } from "../field/index.js";
 interface PrimaryOptions {
     /**
      * Generator token: a built-in preset, a name registered via
@@ -13,10 +13,10 @@ interface PrimaryOptions {
  * - `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)
+ * - `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, 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,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"}

package/dist/vocabulary/primary.js

@@ -1,13 +1,16 @@
-import { cloneField, createField, registerGenerator, } from '../field/index.js';
+import { Field, registerGenerator } from "../field/index.js";
+import { Judge } from "../validation/index.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') {
+    // 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)) {
         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
@@ -19,13 +22,13 @@ 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,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"}

package/dist/vocabulary/readOnly.d.ts

@@ -1,10 +1,7 @@
-import { type Field } from '../field/index.js';
+import { 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.
+ * 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, A extends boolean>(field: Field<T, A>): Field<T, A>;
+export declare function 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":"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"}

package/dist/vocabulary/readOnly.js

@@ -1,12 +1,9 @@
-import { createField, declaredBoundary } from '../field/index.js';
+import { 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.
+ * 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 createField({ ...field, boundary: { ...declaredBoundary(field), in: 'closed' } });
+    return field.with({ boundary: { ...declaredBoundary(field), 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,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"}

package/dist/vocabulary/ref.d.ts

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

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,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"}

package/dist/vocabulary/ref.js

@@ -1,4 +1,4 @@
-import { createField, toTargetThunk } from '../field/index.js';
+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
@@ -6,7 +6,7 @@ import { createField, toTargetThunk } from '../field/index.js';
  * — that path also flips the type to `string | null` (which `ref` alone never did).
  */
 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,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"}

package/dist/vocabulary/text.d.ts

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

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,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"}

package/dist/vocabulary/text.js

@@ -1,6 +1,6 @@
-import { createField } from '../field/index.js';
+import { Field } from '../field/index.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,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"}

package/dist/vocabulary/unique.d.ts

@@ -1,23 +1,13 @@
-import { type Field } from '../field/index.js';
+import { Field } from '../field/index.js';
 /**
- * No two rows may carry the same value — a unique constraint of one, on the role axis.
+ * No two rows 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.
+ * 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.
  *
- * 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.
+ * 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, A extends boolean>(field: Field<T, A>): Field<T, A>;
+export declare function 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":"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"}

package/dist/vocabulary/unique.js

@@ -1,25 +1,14 @@
-import { createField } from '../field/index.js';
 /**
- * No two rows may carry the same value — a unique constraint of one, on the role axis.
+ * No two rows 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.
+ * 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.
  *
- * 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.
+ * 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 createField({ ...field, role: { ...field.role, unique: [[]] } });
+    return field.with({ role: { ...field.role, 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":"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"}

package/dist/vocabulary/updated.d.ts

@@ -1,8 +1,8 @@
-import { type Field } from '../field/index.js';
+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.
  */
-export declare function updated(): Field<Date, true>;
+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,mBAAmB,CAAC;AAE1C;;;;GAIG;AACH,wBAAgB,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAGrC"}

package/dist/vocabulary/updated.js

@@ -1,5 +1,4 @@
 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'`;
@@ -7,6 +6,6 @@ import { createField } from '../field/index.js';
  */
 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;;;;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"}

package/dist/vocabulary/writeOnly.d.ts

@@ -1,9 +1,7 @@
-import { type Field } from '../field/index.js';
+import { 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.
+ * Close the OUTBOUND direction — accepted at create/patch, never emitted (the canonical
+ * password). `encodeFields` omits it. Inbound is untouched.
  */
-export declare function writeOnly<T, A extends boolean>(field: Field<T, A>): Field<T, A>;
+export declare function 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":"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"}

package/dist/vocabulary/writeOnly.js

@@ -1,11 +1,9 @@
-import { createField, declaredBoundary } from '../field/index.js';
+import { 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.
+ * Close the OUTBOUND direction — accepted at create/patch, never emitted (the canonical
+ * password). `encodeFields` omits it. Inbound is untouched.
  */
 export function writeOnly(field) {
-    return createField({ ...field, boundary: { ...declaredBoundary(field), out: 'closed' } });
+    return field.with({ boundary: { ...declaredBoundary(field), 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,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"}

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.2.0-alpha.2",
+  "description": "The entity and its 4 axes — shape, role, lifecycle, boundary. One judge, edge-safe.",
   "keywords": [
     "fougere",
     "typescript",

package/dist/projections/validation.d.ts

@@ -1,57 +0,0 @@
-import type { AnyField, Fields } from '../field/index.js';
-/**
- * Validation — the Field metadata IS the source of truth.
- *
- * Validation is a projection of one axis: `shape` (the value), a PURE predicate —
- * it answers "is this value valid?" and never mutates the value. Null included:
- * the shape's `[T,'null']` union is judged by the engine, there is no hand-rolled
- * null branch. It never looks at `role` (persistence/domain) — a foreign key is
- * just a string here. Converting a valid value (e.g. an ISO string → a `Date`)
- * is a separate step, the `boundary` axis, applied after the predicate passes.
- * Absence is judged by `lifecycle.create` — any create rule makes it legal and
- * the field is OMITTED from the result, never filled: realising the rule
- * (stamp 'now', apply { value }, generate) belongs to the storage adapter at
- * the point of persistence, whose insert returns the complete row.
- */
-export interface ValidationError {
-    path: string;
-    message: string;
-}
-export type ValidationResult<T> = {
-    success: true;
-    data: T;
-} | {
-    success: false;
-    errors: ValidationError[];
-};
-export type Checked = {
-    value: unknown;
-} | {
-    error: string;
-};
-/**
- * Validate a present value (null included) against its field — pure, never mutates.
- *
- * Reads `shape` and nothing else, so it answers "is this a legal value?" without ever
- * asking who is speaking. That is what makes it usable on the way OUT of the domain,
- * where the client-only axes (`boundary`, `lifecycle`) do not apply.
- */
-export declare function checkValue(field: AnyField, value: unknown): Checked;
-export interface ValidateOptions {
-    /**
-     * Patch mode (update). An absent field is OMITTED from the result — not filled,
-     * not required — so `validate({ name })` touches only `name`. Set by `partial()`.
-     * Distinguishes "absent → don't touch" (patch) from "absent → null" (create).
-     */
-    patch?: boolean;
-}
-/**
- * A path is a field NAME here, never a dotted trail: `json(Entity)` is judged as one
- * opaque shape by the engine, so a nested failure answers `{ path: 'addr' }` with the
- * inner field in the prose. This used to take a `pathPrefix` that every call site passed
- * as `''` — a parameter for a recursion nobody wrote, which made the code read as if
- * nesting were handled. Writing that recursion changes what `FougereError.details`
- * carries across processes and languages, so it is a contract decision, not a patch.
- */
-export declare function validateFields(fields: Fields, input: unknown, opts?: ValidateOptions): ValidationResult<Record<string, unknown>>;
-//# sourceMappingURL=validation.d.ts.map

package/dist/projections/validation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../src/projections/validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAS,MAAM,mBAAmB,CAAC;AAIjE;;;;;;;;;;;;;GAaG;AAEH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAC1B;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC1B;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,eAAe,EAAE,CAAA;CAAE,CAAC;AAElD,MAAM,MAAM,OAAO,GAAG;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAmB7D;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAgCnE;AAED,MAAM,WAAW,eAAe;IAC9B;;;;OAIG;IACH,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,IAAI,GAAE,eAAoB,GACzB,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA8E3C"}

package/dist/projections/validation.js

@@ -1,148 +0,0 @@
-import { anatomy, boundaryOf, resolveBoundary } from '../field/index.js';
-import { Validator } from '@cfworker/json-schema';
-/**
- * One validator per shape — the shape object IS the source JSON Schema (the closed
- * grammar the helpers emit), handed straight to the engine. Keyed by the shape
- * reference (stable: derivations copy field refs, `partial()` spreads the field but
- * keeps the same `shape`), built once and reused so the parse cost is amortised.
- */
-const validators = new WeakMap();
-function validatorFor(shape) {
-    let v = validators.get(shape);
-    if (!v) {
-        v = new Validator(shape, '2020-12', true);
-        validators.set(shape, v);
-    }
-    return v;
-}
-/**
- * Validate a present value (null included) against its field — pure, never mutates.
- *
- * Reads `shape` and nothing else, so it answers "is this a legal value?" without ever
- * asking who is speaking. That is what makes it usable on the way OUT of the domain,
- * where the client-only axes (`boundary`, `lifecycle`) do not apply.
- */
-export function checkValue(field, value) {
-    const shape = field.shape;
-    // Relation-only field (`many`): no value shape, just an array of related rows.
-    if (!shape) {
-        if (field.role?.relation?.kind === 'many') {
-            return Array.isArray(value) ? { value } : { error: 'Expected an array' };
-        }
-        return { value };
-    }
-    // The pre-engine guards dispatch on the BASE type — `shape.type` itself may be
-    // the nullable union. They only short-circuit NON-null values: null always goes
-    // to the engine, whose union judges it (that is the whole nullability model).
-    const base = anatomy(shape).base;
-    if (value !== null) {
-        // Opaque JSON (`json()`): no nested shape → passes through unchecked.
-        // `json(Entity)` carries `properties` and falls through to the engine,
-        // which validates the nesting natively (it's plain JSON Schema).
-        if (base?.type === 'object' && !base.properties)
-            return { value };
-        // A date-time field also accepts a live Date — the domain value, not its JSON wire
-        // string — which the boundary then passes through. The engine validates JSON, so a
-        // Date (a non-JSON value) skips the schema check here; a date STRING is validated below.
-        if (base?.type === 'string' && base.format === 'date-time' && value instanceof Date) {
-            return Number.isNaN(value.getTime()) ? { error: 'Invalid date' } : { value };
-        }
-        // NaN is `typeof number` yet has no JSON form, so the JSON-centric engine accepts it —
-        // guard it here (same nature as the Date case: a JS value JSON can't represent).
-        if ((base?.type === 'number' || base?.type === 'integer') && typeof value === 'number' && Number.isNaN(value)) {
-            return { error: 'Expected a number' };
-        }
-    }
-    const result = validatorFor(shape).validate(value);
-    return result.valid ? { value } : { error: result.errors[0]?.error ?? 'Invalid value' };
-}
-/**
- * A path is a field NAME here, never a dotted trail: `json(Entity)` is judged as one
- * opaque shape by the engine, so a nested failure answers `{ path: 'addr' }` with the
- * inner field in the prose. This used to take a `pathPrefix` that every call site passed
- * as `''` — a parameter for a recursion nobody wrote, which made the code read as if
- * nesting were handled. Writing that recursion changes what `FougereError.details`
- * carries across processes and languages, so it is a contract decision, not a patch.
- */
-export function validateFields(fields, input, opts = {}) {
-    if (typeof input !== 'object' || input === null) {
-        return { success: false, errors: [{ path: '.', message: 'Expected an object' }] };
-    }
-    const data = input;
-    const errors = [];
-    const out = {};
-    // Refuse, never strip: a key outside the contract is an error, not a silent
-    // drop. The client derives from the same contract (a form cannot emit a
-    // foreign key), so a stranger is a bug or an attack — both deserve the 400.
-    // Stripping would also let the envelope diverge from GraphQL, which refuses
-    // unknown input keys by construction.
-    //
-    // A FACT is judged by this same rule, deliberately — the one place it was tempting to
-    // relax it. A subscriber's copy of a fact can be older than the sender's, so tolerating
-    // a stranger key would let a rolling deployment through; it would also mean a reader
-    // silently ignoring a field it was supposed to handle. If the judge refuses, that is
-    // the end of it: the sender re-syncs its readers before it ships.
-    for (const key of Object.keys(data)) {
-        if (!(key in fields)) {
-            errors.push({ path: key, message: 'Unknown field' });
-        }
-    }
-    for (const [key, field] of Object.entries(fields)) {
-        const path = key;
-        const value = data[key];
-        if (value === undefined) {
-            if (opts.patch)
-                continue; // patch: an unsent field is left untouched
-            // A read-only field is server-owned: its absence from a client input is
-            // never "Required" (same stance as OpenAPI readOnly+required).
-            if (boundaryOf(field).in === 'closed')
-                continue;
-            // Absence is answered by `lifecycle.create` — a key access on the normal
-            // form. The judge only asks "is there a rule?": any rule ('now',
-            // 'optional', { value }, { generate }) makes absence legal, and the field
-            // is omitted from the result. Realisation is the storage adapter's role.
-            if (field.lifecycle?.create !== undefined)
-                continue;
-            // No create rule: a `many` relation defaults to the empty collection
-            // (graph semantics, read on `role` — never a shared `{ value: [] }`).
-            if (field.role?.relation?.kind === 'many') {
-                out[key] = [];
-                continue;
-            }
-            errors.push({ path, message: 'Required' });
-            continue;
-        }
-        // A PRESENT value can be illegal by an axis other than shape:
-        // boundary `in: 'closed'` — a read-only field never crosses inbound;
-        // lifecycle `update: 'forbidden'` — re-supplying an immutable field in a patch.
-        if (boundaryOf(field).in === 'closed') {
-            errors.push({ path, message: 'Read-only' });
-            continue;
-        }
-        if (opts.patch && field.lifecycle?.update === 'forbidden') {
-            errors.push({ path, message: 'Immutable' });
-            continue;
-        }
-        // The shape predicate judges the value — null included, via the `[T,'null']`
-        // union. Then the boundary's decode converts wire→domain; null skips decode
-        // (a legal null is already the domain value, there is nothing to convert).
-        const checked = checkValue(field, value);
-        if ('error' in checked) {
-            errors.push({ path, message: checked.error });
-            continue;
-        }
-        if (checked.value === null) {
-            out[key] = null;
-            continue;
-        }
-        const decoded = resolveBoundary(field).decode(checked.value);
-        if ('error' in decoded)
-            errors.push({ path, message: decoded.error });
-        else
-            out[key] = decoded.value;
-    }
-    if (errors.length > 0)
-        return { success: false, errors };
-    return { success: true, data: out };
-}
-//# sourceMappingURL=validation.js.map