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

package/dist/schema/SchemaDerivation.js

@@ -0,0 +1,37 @@
+/**
+ * What a derived schema says about its ORIGIN: the class it was cut from, and what the cut
+ * left of each of that class's fields.
+ *
+ * The origin is the ROOT — `Post.pick(a, b).omit(b)` answers `Post` and never the
+ * intermediate — so a chain is flattened rather than journalled, and the two halves cannot
+ * disagree: a derivation always carries both, which `source` and `survived` as independent
+ * properties could not promise.
+ */
+export class SchemaDerivation {
+    source;
+    survived;
+    constructor(source, survived) {
+        this.source = source;
+        this.survived = survived;
+    }
+    /** The first cut: every field of the origin still answers to its own name. */
+    static first(source, fields) {
+        return new SchemaDerivation(source, Object.fromEntries(Object.keys(fields).map((key) => [key, key])));
+    }
+    /** The same origin, seen through one more cut. */
+    compose(survives) {
+        return new SchemaDerivation(this.source, Object.fromEntries(Object.entries(this.survived).map(([origin, here]) => [origin, here === undefined ? undefined : survives(here)])));
+    }
+    get sourceName() {
+        return this.source.name;
+    }
+    /**
+     * What the ROOT calls `key`, translated to the name it carries here — `undefined` when a
+     * cut dropped it. A reader that needs something the root declared about a field asks the
+     * root and comes back through this; it does not keep a copy of the answer.
+     */
+    hereFor(key) {
+        return this.survived[key];
+    }
+}
+//# sourceMappingURL=SchemaDerivation.js.map

package/dist/schema/SchemaDerivation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaDerivation.js","sourceRoot":"","sources":["../../src/schema/SchemaDerivation.ts"],"names":[],"mappings":"AAGA;;;;;;;;GAQG;AACH,MAAM,OAAO,gBAAgB;IAEhB,MAAM;IACN,QAAQ;IAFnB,YACW,MAAkB,EAClB,QAAsD;sBADtD,MAAM;wBACN,QAAQ;IAChB,CAAC;IAEJ,8EAA8E;IAC9E,MAAM,CAAC,KAAK,CAAC,MAAkB,EAAE,MAAc;QAC7C,OAAO,IAAI,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxG,CAAC;IAED,kDAAkD;IAClD,OAAO,CAAC,QAA6C;QACnD,OAAO,IAAI,gBAAgB,CACzB,IAAI,CAAC,MAAM,EACX,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CACjH,CACF,CAAC;IACJ,CAAC;IAED,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAC1B,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,GAAW;QACjB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC;CACF"}

package/dist/schema/SchemaView.d.ts

@@ -0,0 +1,23 @@
+import type { Field, Fields } from '../fields/Field.js';
+import type { CompositeUnique, PreviousNames } from '../EntityDeclarations.js';
+import type { EntityAdapters } from '../EntityAdapters.js';
+import type { ValidationResult } from '../judge/result.js';
+import type { ValidateOptions } from '../judge/options.js';
+import type { SchemaDerivation } from './SchemaDerivation.js';
+export type Row<TFields extends Fields> = {
+    [K in keyof TFields]: TFields[K] extends Field<infer T> ? T : never;
+};
+export type PartialRow<TFields extends Fields> = Partial<Row<TFields>>;
+export interface SchemaView<TFields extends Fields = Fields> {
+    readonly name: string;
+    /** What this schema was cut from, when it was cut from anything. */
+    readonly derivation?: SchemaDerivation;
+    /** What its fields were called before, keyed by the names they carry now. */
+    readonly previous?: PreviousNames<TFields>;
+    getFields(): TFields;
+    getAdapters(): EntityAdapters<TFields> | undefined;
+    getUnique(): CompositeUnique<TFields> | undefined;
+    getOpts(): ValidateOptions;
+    validate(input: unknown): ValidationResult<Row<TFields>>;
+}
+//# sourceMappingURL=SchemaView.d.ts.map

package/dist/schema/SchemaView.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaView.d.ts","sourceRoot":"","sources":["../../src/schema/SchemaView.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAE9D,MAAM,MAAM,GAAG,CAAC,OAAO,SAAS,MAAM,IAAI;KACvC,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CACpE,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AAEvE,MAAM,WAAW,UAAU,CAAC,OAAO,SAAS,MAAM,GAAG,MAAM;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,QAAQ,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAC;IACvC,6EAA6E;IAC7E,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAC3C,SAAS,IAAI,OAAO,CAAC;IACrB,WAAW,IAAI,cAAc,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;IACnD,SAAS,IAAI,eAAe,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;IAClD,OAAO,IAAI,eAAe,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;CAC1D"}

package/dist/schema/SchemaView.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=SchemaView.js.map

package/dist/schema/SchemaView.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SchemaView.js","sourceRoot":"","sources":["../../src/schema/SchemaView.ts"],"names":[],"mappings":""}

package/dist/utils.d.ts

@@ -0,0 +1,4 @@
+export declare function lowerFirst(text: string): string;
+export declare function upperFirst(text: string): string;
+export declare function clean<T extends Record<string, unknown>>(obj: T): T;
+//# sourceMappingURL=utils.d.ts.map

package/dist/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAIlE"}

package/dist/utils.js

@@ -0,0 +1,13 @@
+export function lowerFirst(text) {
+    return text ? text[0].toLowerCase() + text.slice(1) : text;
+}
+export function upperFirst(text) {
+    return text ? text[0].toUpperCase() + text.slice(1) : text;
+}
+export function clean(obj) {
+    for (const key of Object.keys(obj))
+        if (obj[key] === undefined)
+            delete obj[key];
+    return obj;
+}
+//# sourceMappingURL=utils.js.map

package/dist/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,KAAK,CAAoC,GAAM;IAC7D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;IAEhF,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/vocabulary/bool.d.ts

@@ -1,4 +1,4 @@
-import { Field } from '../field/index.js';
+import { Field } from '../fields/Field.js';
 export declare function bool(opts?: {
     default?: boolean;
     description?: string;

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

@@ -1 +1 @@
-{"version":3,"file":"bool.d.ts","sourceRoot":"","sources":["../../src/vocabulary/bool.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,wBAAgB,IAAI,CAAC,IAAI,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAMvF"}
+{"version":3,"file":"bool.d.ts","sourceRoot":"","sources":["../../src/vocabulary/bool.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,wBAAgB,IAAI,CAAC,IAAI,CAAC,EAAE;IAAE,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,KAAK,CAAC,OAAO,CAAC,CAMvF"}

package/dist/vocabulary/bool.js

@@ -1,4 +1,4 @@
-import { Field } from '../field/index.js';
+import { Field } from '../fields/Field.js';
 export function bool(opts) {
     return new Field({
         shape: { type: 'boolean' },

package/dist/vocabulary/bool.js.map

@@ -1 +1 @@
-{"version":3,"file":"bool.js","sourceRoot":"","sources":["../../src/vocabulary/bool.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,MAAM,UAAU,IAAI,CAAC,IAAkD;IACrE,OAAO,IAAI,KAAK,CAAU;QACxB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC1B,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":"bool.js","sourceRoot":"","sources":["../../src/vocabulary/bool.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,MAAM,UAAU,IAAI,CAAC,IAAkD;IACrE,OAAO,IAAI,KAAK,CAAU;QACxB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC1B,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/created.d.ts

@@ -1,7 +1,3 @@
-import { Field } from "../field/index.js";
-/**
- * The canonical `createdAt` — stamped at creation, immutable after: a creation timestamp
- * re-supplied in a patch is an error.
- */
+import { Field } from '../fields/Field.js';
 export declare function created(): Field<Date>;
 //# sourceMappingURL=created.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"created.d.ts","sourceRoot":"","sources":["../../src/vocabulary/created.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG1C;;;GAGG;AACH,wBAAgB,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAIrC"}
+{"version":3,"file":"created.d.ts","sourceRoot":"","sources":["../../src/vocabulary/created.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAG3C,wBAAgB,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,CAIrC"}

package/dist/vocabulary/created.js

@@ -1,8 +1,4 @@
-import { date } from "./date.js";
-/**
- * The canonical `createdAt` — stamped at creation, immutable after: a creation timestamp
- * re-supplied in a patch is an error.
- */
+import { date } from './date.js';
 export function created() {
     return date().with({
         lifecycle: { create: "now", update: "forbidden" },

package/dist/vocabulary/created.js.map

@@ -1 +1 @@
-{"version":3,"file":"created.js","sourceRoot":"","sources":["../../src/vocabulary/created.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC;;;GAGG;AACH,MAAM,UAAU,OAAO;IACrB,OAAO,IAAI,EAAE,CAAC,IAAI,CAAC;QACjB,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE;KAClD,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"created.js","sourceRoot":"","sources":["../../src/vocabulary/created.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,MAAM,UAAU,OAAO;IACrB,OAAO,IAAI,EAAE,CAAC,IAAI,CAAC;QACjB,SAAS,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE;KAClD,CAAC,CAAC;AACL,CAAC"}

package/dist/vocabulary/date.d.ts

@@ -1,3 +1,3 @@
-import { Field } from '../field/index.js';
+import { Field } from '../fields/Field.js';
 export declare function date(): Field<Date>;
 //# sourceMappingURL=date.d.ts.map

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

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

package/dist/vocabulary/date.js

@@ -1,4 +1,4 @@
-import { Field } from '../field/index.js';
+import { Field } from '../fields/Field.js';
 export function date() {
     return new Field({ shape: { type: 'string', format: 'date-time' } });
 }

package/dist/vocabulary/date.js.map

@@ -1 +1 @@
-{"version":3,"file":"date.js","sourceRoot":"","sources":["../../src/vocabulary/date.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,MAAM,UAAU,IAAI;IAClB,OAAO,IAAI,KAAK,CAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;AAC7E,CAAC"}
+{"version":3,"file":"date.js","sourceRoot":"","sources":["../../src/vocabulary/date.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,MAAM,UAAU,IAAI;IAClB,OAAO,IAAI,KAAK,CAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;AAC7E,CAAC"}

package/dist/vocabulary/email.d.ts

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

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

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

package/dist/vocabulary/email.js

@@ -1,5 +1,4 @@
 import { text } from './text.js';
-/** A string holding an email address — `text({ format: 'email' })`, named. */
 export function email(opts) {
     return text({ ...opts, format: 'email' });
 }

package/dist/vocabulary/email.js.map

@@ -1 +1 @@
-{"version":3,"file":"email.js","sourceRoot":"","sources":["../../src/vocabulary/email.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,MAAM,WAAW,CAAC;AAGnD,8EAA8E;AAC9E,MAAM,UAAU,KAAK,CAAC,IAAkC;IACtD,OAAO,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;AAC5C,CAAC"}
+{"version":3,"file":"email.js","sourceRoot":"","sources":["../../src/vocabulary/email.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,MAAM,WAAW,CAAC;AAGnD,MAAM,UAAU,KAAK,CAAC,IAAkC;IACtD,OAAO,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;AAC5C,CAAC"}

package/dist/vocabulary/immutable.d.ts

@@ -1,7 +1,3 @@
-import { Field } from '../field/index.js';
-/**
- * Forbid re-writing after creation — `update: 'forbidden'`. Creation is untouched;
- * supplying the field in a patch is an "Immutable" error. The rule rejects it, not the view.
- */
-export declare function immutable<T>(field: Field<T>): Field<T>;
+import { Field } from '../fields/Field.js';
+export declare const immutable: <T>(field: Field<T>) => Field<T>;
 //# sourceMappingURL=immutable.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"immutable.d.ts","sourceRoot":"","sources":["../../src/vocabulary/immutable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C;;;GAGG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAEtD"}
+{"version":3,"file":"immutable.d.ts","sourceRoot":"","sources":["../../src/vocabulary/immutable.ts"],"names":[],"mappings":"AACA,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/immutable.js

@@ -1,8 +1,5 @@
-/**
- * Forbid re-writing after creation — `update: 'forbidden'`. Creation is untouched;
- * supplying the field in a patch is an "Immutable" error. The rule rejects it, not the view.
- */
-export function immutable(field) {
-    return field.with({ lifecycle: { ...field.lifecycle, update: 'forbidden' } });
-}
+import { vocabulary } from './vocabulary.js';
+export const immutable = vocabulary('immutable', () => ({
+    lifecycle: { update: 'forbidden' },
+}));
 //# sourceMappingURL=immutable.js.map

package/dist/vocabulary/immutable.js.map

@@ -1 +1 @@
-{"version":3,"file":"immutable.js","sourceRoot":"","sources":["../../src/vocabulary/immutable.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAI,KAAe;IAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,GAAG,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC;AAChF,CAAC"}
+{"version":3,"file":"immutable.js","sourceRoot":"","sources":["../../src/vocabulary/immutable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG7C,MAAM,CAAC,MAAM,SAAS,GAAqC,UAAU,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;IACxF,SAAS,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE;CACnC,CAAC,CAAC,CAAC"}

package/dist/vocabulary/indexed.d.ts

@@ -1,8 +1,3 @@
-import { Field } from '../field/index.js';
-/**
- * Reads filter on this field often — `index: true` on the role axis. It changes no answer,
- * only the cost of one, which is why it is the one word here that is a hint and not a rule.
- * `unique()` already implies an index on every engine, so declaring both is redundant.
- */
-export declare function indexed<T>(field: Field<T>): Field<T>;
+import { Field } from '../fields/Field.js';
+export declare const indexed: <T>(field: Field<T>) => Field<T>;
 //# sourceMappingURL=indexed.d.ts.map

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

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

package/dist/vocabulary/indexed.js

@@ -1,9 +1,3 @@
-/**
- * Reads filter on this field often — `index: true` on the role axis. It changes no answer,
- * only the cost of one, which is why it is the one word here that is a hint and not a rule.
- * `unique()` already implies an index on every engine, so declaring both is redundant.
- */
-export function indexed(field) {
-    return field.with({ role: { ...field.role, index: true } });
-}
+import { vocabulary } from './vocabulary.js';
+export const indexed = vocabulary('indexed', () => ({ role: { index: true } }));
 //# sourceMappingURL=indexed.js.map

package/dist/vocabulary/indexed.js.map

@@ -1 +1 @@
-{"version":3,"file":"indexed.js","sourceRoot":"","sources":["../../src/vocabulary/indexed.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAI,KAAe;IACxC,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAC9D,CAAC"}
+{"version":3,"file":"indexed.js","sourceRoot":"","sources":["../../src/vocabulary/indexed.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG7C,MAAM,CAAC,MAAM,OAAO,GAAqC,UAAU,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC"}

package/dist/vocabulary/json.d.ts

@@ -1,13 +1,5 @@
-import { Field } from '../field/index.js';
-import type { SchemaView } from '../schema/index.js';
-/**
- * A JSON value field. `json()` is OPAQUE — it passes validation unchecked. `json(Entity)`
- * inlines the entity's SHAPE as JSON Schema nesting, so the engine validates the structure
- * and the card carries it verbatim.
- *
- * Only the value axis travels: the embedded fields' role, lifecycle and boundary are
- * stripped, so a nested date stays its wire string.
- */
+import { Field } from '../fields/Field.js';
+import type { SchemaView } from '../schema/SchemaView.js';
 export declare function json<T = unknown>(): Field<T>;
 export declare function json<E extends SchemaView & (new (...args: any[]) => any)>(of: E): Field<InstanceType<E>>;
 //# sourceMappingURL=json.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"json.d.ts","sourceRoot":"","sources":["../../src/vocabulary/json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAe,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAIrD;;;;;;;GAOG;AACH,wBAAgB,IAAI,CAAC,CAAC,GAAG,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;AAC9C,wBAAgB,IAAI,CAAC,CAAC,SAAS,UAAU,GAAG,CAAC,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"json.d.ts","sourceRoot":"","sources":["../../src/vocabulary/json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAG1D,wBAAgB,IAAI,CAAC,CAAC,GAAG,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;AAC9C,wBAAgB,IAAI,CAAC,CAAC,SAAS,UAAU,GAAG,CAAC,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/vocabulary/json.js

@@ -1,16 +1,21 @@
-import { Field } from '../field/index.js';
-import { describe } from '../projections/describe.js';
+import { Field } from '../fields/Field.js';
+import { RowJudge } from '../judge/RowJudge.js';
 export function json(of) {
     if (!of)
         return new Field({ shape: { type: 'object' } });
-    const card = describe(of);
+    const fields = of.getFields();
+    const judge = RowJudge.of(fields);
     const properties = {};
-    for (const [key, prop] of Object.entries(card.properties)) {
-        const { 'x-fougere': _ext, ...shapeOnly } = prop;
-        properties[key] = shapeOnly;
+    const required = [];
+    for (const [key, field] of Object.entries(fields)) {
+        properties[key] = field.meta?.description
+            ? { ...field.shape, description: field.meta.description }
+            : field.shape;
+        if (judge.onAbsent(field) === null)
+            required.push(key);
     }
     return new Field({
-        shape: { type: 'object', properties, ...(card.required ? { required: card.required } : {}) },
+        shape: { type: 'object', properties, ...(required.length ? { required } : {}) },
     });
 }
 //# sourceMappingURL=json.js.map

package/dist/vocabulary/json.js.map

@@ -1 +1 @@
-{"version":3,"file":"json.js","sourceRoot":"","sources":["../../src/vocabulary/json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAe,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAatD,MAAM,UAAU,IAAI,CAAC,EAAe;IAClC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC1B,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1D,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,SAAS,EAAE,GAAG,IAAuB,CAAC;QACpE,UAAU,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC;IAC9B,CAAC;IACD,OAAO,IAAI,KAAK,CAAC;QACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;KAC7F,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"json.js","sourceRoot":"","sources":["../../src/vocabulary/json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAIhD,MAAM,UAAU,IAAI,CAAC,EAAe;IAClC,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,WAAW;YACvC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE;YACzD,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QAChB,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,IAAI,KAAK,CAAC;QACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;KAChF,CAAC,CAAC;AACL,CAAC"}

package/dist/vocabulary/list.d.ts

@@ -1,18 +1,7 @@
-import { Field } from '../field/index.js';
+import { Field } from '../fields/Field.js';
 export interface ListOptions {
     min?: number;
     max?: number;
 }
-/**
- * A list of VALUES — `tags: list(text())`, `scores: list(number())`. The element's
- * shape travels as JSON Schema `items`, so the engine validates every element natively.
- *
- * NOT a relation: `many(Post)` is a role (related rows, no value shape); `list(text())`
- * is a value (an array column/JSON, fully owned by the record).
- *
- * Only the element's `shape` embeds. Its other axes are meaningless per-element and are
- * DROPPED SILENTLY — `list(primary())` is accepted and loses the role. The guard below
- * only rejects a relation. Tightening it to reject a carried lifecycle/boundary is open.
- */
 export declare function list<T>(item: Field<T>, opts?: ListOptions): Field<T[]>;
 //# sourceMappingURL=list.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"list.d.ts","sourceRoot":"","sources":["../../src/vocabulary/list.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,MAAM,WAAW,WAAW;IAC1B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAOtE"}
+{"version":3,"file":"list.d.ts","sourceRoot":"","sources":["../../src/vocabulary/list.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,MAAM,WAAW,WAAW;IAC1B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAKtE"}

package/dist/vocabulary/list.js

@@ -1,18 +1,5 @@
-import { Field } from '../field/index.js';
-/**
- * A list of VALUES — `tags: list(text())`, `scores: list(number())`. The element's
- * shape travels as JSON Schema `items`, so the engine validates every element natively.
- *
- * NOT a relation: `many(Post)` is a role (related rows, no value shape); `list(text())`
- * is a value (an array column/JSON, fully owned by the record).
- *
- * Only the element's `shape` embeds. Its other axes are meaningless per-element and are
- * DROPPED SILENTLY — `list(primary())` is accepted and loses the role. The guard below
- * only rejects a relation. Tightening it to reject a carried lifecycle/boundary is open.
- */
+import { Field } from '../fields/Field.js';
 export function list(item, opts) {
-    // Reads the ROLE, not the absence of a shape: since every field carries one, `many(Post)`
-    // now has an array shape too, and embedding it would claim the other side's rows are ours.
     if (item.role?.relation)
         throw new Error('list() takes a value field (text(), number()…) — a relation has no value shape');
     return new Field({

package/dist/vocabulary/list.js.map

@@ -1 +1 @@
-{"version":3,"file":"list.js","sourceRoot":"","sources":["../../src/vocabulary/list.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAO1C;;;;;;;;;;GAUG;AACH,MAAM,UAAU,IAAI,CAAI,IAAc,EAAE,IAAkB;IACxD,0FAA0F;IAC1F,2FAA2F;IAC3F,IAAI,IAAI,CAAC,IAAI,EAAE,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;IAC3H,OAAO,IAAI,KAAK,CAAM;QACpB,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE;KACtF,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"list.js","sourceRoot":"","sources":["../../src/vocabulary/list.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAO3C,MAAM,UAAU,IAAI,CAAI,IAAc,EAAE,IAAkB;IACxD,IAAI,IAAI,CAAC,IAAI,EAAE,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;IAC3H,OAAO,IAAI,KAAK,CAAM;QACpB,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE;KACtF,CAAC,CAAC;AACL,CAAC"}

package/dist/vocabulary/many.d.ts

@@ -1,7 +1,4 @@
-import { Field, type EntityConstructor } from '../field/index.js';
-/**
- * A collection of related entities — `many(Post)`, or `many(() => Post)` for a cycle.
- * Shape `array` without `items`: the element shape lives on the other side, named by the role.
- */
+import { type EntityConstructor } from '../axis/role/Relation.js';
+import { Field } from '../fields/Field.js';
 export declare function many<E extends EntityConstructor>(target: E | (() => E)): Field<InstanceType<E>[]>;
 //# sourceMappingURL=many.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"many.d.ts","sourceRoot":"","sources":["../../src/vocabulary/many.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,KAAK,EAAE,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEjF;;;GAGG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,iBAAiB,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAKjG"}
+{"version":3,"file":"many.d.ts","sourceRoot":"","sources":["../../src/vocabulary/many.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,KAAK,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,wBAAgB,IAAI,CAAC,CAAC,SAAS,iBAAiB,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAKjG"}

package/dist/vocabulary/many.js

@@ -1,12 +1,9 @@
-import { toTargetThunk, Field } from '../field/index.js';
-/**
- * A collection of related entities — `many(Post)`, or `many(() => Post)` for a cycle.
- * Shape `array` without `items`: the element shape lives on the other side, named by the role.
- */
+import { Relation } from '../axis/role/Relation.js';
+import { Field } from '../fields/Field.js';
 export function many(target) {
     return new Field({
         shape: { type: 'array' },
-        role: { relation: { to: toTargetThunk(target), kind: 'many' } },
+        role: { relation: Relation.many(target) },
     });
 }
 //# sourceMappingURL=many.js.map

package/dist/vocabulary/many.js.map

@@ -1 +1 @@
-{"version":3,"file":"many.js","sourceRoot":"","sources":["../../src/vocabulary/many.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,KAAK,EAA0B,MAAM,mBAAmB,CAAC;AAEjF;;;GAGG;AACH,MAAM,UAAU,IAAI,CAA8B,MAAqB;IACrE,OAAO,IAAI,KAAK,CAAoB;QAClC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QACxB,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE;KAChE,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"many.js","sourceRoot":"","sources":["../../src/vocabulary/many.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAA0B,MAAM,0BAA0B,CAAC;AAC5E,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,MAAM,UAAU,IAAI,CAA8B,MAAqB;IACrE,OAAO,IAAI,KAAK,CAAoB;QAClC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QACxB,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;KAC1C,CAAC,CAAC;AACL,CAAC"}

package/dist/vocabulary/nullable.d.ts

@@ -1,7 +1,3 @@
-import { type Field } from '../field/index.js';
-/**
- * Make `null` a legal VALUE without touching presence — the missing quadrant, "nullable
- * but required". For null-legal AND omissible, use `optional()`.
- */
-export declare function nullable<T>(field: Field<T>): Field<T | null>;
+import { type Field } from '../fields/Field.js';
+export declare const nullable: <T>(field: Field<T>) => Field<T | null>;
 //# sourceMappingURL=nullable.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"nullable.d.ts","sourceRoot":"","sources":["../../src/vocabulary/nullable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,KAAK,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE9D;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAE5D"}
+{"version":3,"file":"nullable.d.ts","sourceRoot":"","sources":["../../src/vocabulary/nullable.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAEhD,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,IAAI,CAE1D,CAAC"}

package/dist/vocabulary/nullable.js

@@ -1,9 +1,6 @@
-import { nullableShape } from '../field/index.js';
-/**
- * Make `null` a legal VALUE without touching presence — the missing quadrant, "nullable
- * but required". For null-legal AND omissible, use `optional()`.
- */
-export function nullable(field) {
-    return field.with({ shape: nullableShape(field.shape) });
-}
+import { vocabulary } from './vocabulary.js';
+import { Anatomy } from '../axis/shape/Shape.js';
+export const nullable = vocabulary('nullable', (field) => ({
+    shape: Anatomy.nullable(field.shape),
+}));
 //# sourceMappingURL=nullable.js.map

package/dist/vocabulary/nullable.js.map

@@ -1 +1 @@
-{"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../src/vocabulary/nullable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAc,MAAM,mBAAmB,CAAC;AAE9D;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAI,KAAe;IACzC,OAAO,KAAK,CAAC,IAAI,CAAW,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACrE,CAAC"}
+{"version":3,"file":"nullable.js","sourceRoot":"","sources":["../../src/vocabulary/nullable.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;CACrC,CAAC,CAAC,CAAC"}

package/dist/vocabulary/number.d.ts

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

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

@@ -1 +1 @@
-{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../src/vocabulary/number.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,MAAM,WAAW,aAAa;IAC5B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,wBAAgB,MAAM,CAAC,IAAI,CAAC,EAAE,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAM1D"}
+{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../src/vocabulary/number.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,MAAM,WAAW,aAAa;IAC5B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,wBAAgB,MAAM,CAAC,IAAI,CAAC,EAAE,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAM1D"}

package/dist/vocabulary/number.js

@@ -1,4 +1,4 @@
-import { Field } from '../field/index.js';
+import { Field } from '../fields/Field.js';
 export function number(opts) {
     return new Field({
         shape: { type: opts?.integer ? 'integer' : 'number', minimum: opts?.min, maximum: opts?.max },

package/dist/vocabulary/number.js.map

@@ -1 +1 @@
-{"version":3,"file":"number.js","sourceRoot":"","sources":["../../src/vocabulary/number.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAU1C,MAAM,UAAU,MAAM,CAAC,IAAoB;IACzC,OAAO,IAAI,KAAK,CAAS;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;QAC7F,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":"number.js","sourceRoot":"","sources":["../../src/vocabulary/number.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAU3C,MAAM,UAAU,MAAM,CAAC,IAAoB;IACzC,OAAO,IAAI,KAAK,CAAS;QACvB,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;QAC7F,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/oneOf.d.ts

@@ -1,13 +1,6 @@
-import { Field } from '../field/index.js';
+import { Field } from '../fields/Field.js';
 interface OneOfOptions<V extends string = string> {
     description?: string;
-    /**
-     * Value filled at create when the input omits the field (same as text/number/bool).
-     *
-     * Typed to the members, not to `string`: a default is written into every row without
-     * passing the client judge, so `oneOf('draft', 'published', { default: 'typo' })` used
-     * to compile and produce rows the entity's own `validate` refuses.
-     */
     default?: V;
 }
 export declare function oneOf<const T extends readonly string[]>(...values: [...T]): Field<T[number]>;

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

@@ -1 +1 @@
-{"version":3,"file":"oneOf.d.ts","sourceRoot":"","sources":["../../src/vocabulary/oneOf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C,UAAU,YAAY,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IAC9C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,CAAC,CAAC;CACb;AAID,wBAAgB,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9F,wBAAgB,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACrD,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GACvC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC"}
+{"version":3,"file":"oneOf.d.ts","sourceRoot":"","sources":["../../src/vocabulary/oneOf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAE3C,UAAU,YAAY,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IAC9C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,CAAC,CAAC;CACb;AAED,wBAAgB,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9F,wBAAgB,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACrD,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GACvC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC"}

package/dist/vocabulary/oneOf.js

@@ -1,4 +1,4 @@
-import { Field } from '../field/index.js';
+import { Field } from '../fields/Field.js';
 export function oneOf(...args) {
     const last = args[args.length - 1];
     const hasOpts = typeof last === 'object' && last !== null && !Array.isArray(last);

package/dist/vocabulary/oneOf.js.map

@@ -1 +1 @@
-{"version":3,"file":"oneOf.js","sourceRoot":"","sources":["../../src/vocabulary/oneOf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAoB1C,MAAM,UAAU,KAAK,CACnB,GAAG,IAA8C;IAEjD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAClF,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAiC,CAAC;IACpF,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAE,IAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;IACnD,OAAO,IAAI,KAAK,CAAY;QAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;QACvC,SAAS,EAAE,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS;QACvF,IAAI,EAAE,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;KACrF,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"oneOf.js","sourceRoot":"","sources":["../../src/vocabulary/oneOf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAW3C,MAAM,UAAU,KAAK,CACnB,GAAG,IAA8C;IAEjD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,MAAM,OAAO,GAAG,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAClF,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAiC,CAAC;IACpF,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAE,IAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;IACnD,OAAO,IAAI,KAAK,CAAY;QAC1B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE;QACvC,SAAS,EAAE,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS;QACvF,IAAI,EAAE,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;KACrF,CAAC,CAAC;AACL,CAAC"}

package/dist/vocabulary/optional.d.ts

@@ -1,10 +1,3 @@
-import { type Field } 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 declare function optional<T>(field: Field<T>): Field<T | null>;
+import { type Field } from '../fields/Field.js';
+export declare const optional: <T>(field: Field<T>) => Field<T | null>;
 //# sourceMappingURL=optional.d.ts.map

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,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"}
+{"version":3,"file":"optional.d.ts","sourceRoot":"","sources":["../../src/vocabulary/optional.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAEhD,eAAO,MAAM,QAAQ,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,GAAG,IAAI,CAG1D,CAAC"}