@fougere/schema 0.6.0-alpha.0 → 0.8.0-alpha.0

package/dist/vocabulary/unique.js

@@ -1,6 +1,10 @@
 import { vocabulary } from './vocabulary.js';
-import { Unique } from '../schema/fields/constraint/Unique.js';
-export const unique = vocabulary('unique', (field) => ({
-    role: { rules: [...(field.role?.rules ?? []), new Unique([])] },
+/**
+ * So a field is unique on its own, whatever key it ends up under.
+ * FR : pour qu'un champ soit unique à lui seul, quelle que soit sa clé.
+ * `unique(email)` → `role.unique` is true
+ */
+export const unique = vocabulary('unique', () => ({
+    role: { unique: true },
 }));
 //# 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,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EAAE,MAAM,EAAE,MAAM,uCAAuC,CAAC;AAE/D,MAAM,CAAC,MAAM,MAAM,GAAqC,UAAU,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACvF,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,CAAC,CAAC"}
+{"version":3,"file":"unique.js","sourceRoot":"","sources":["../../src/vocabulary/unique.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG7C;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAqC,UAAU,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAClF,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;CACvB,CAAC,CAAC,CAAC"}

package/dist/vocabulary/updated.d.ts

@@ -1,3 +1,8 @@
-import { Field } from '../schema/fields/Field.js';
+import { Field } from '../field/Field.js';
+/**
+ * So the dual of `created()` is re-stamped at every write, by the same hand.
+ * FR : pour que le dual de `created()` soit ré-estampé à chaque écriture, par la même main.
+ * `updated()` → `create: 'now'`, `update: 'now'`
+ */
 export declare function updated(): Field<Date>;
 //# sourceMappingURL=updated.d.ts.map

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

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

package/dist/vocabulary/updated.js

@@ -1,4 +1,9 @@
 import { created } from './created.js';
+/**
+ * So the dual of `created()` is re-stamped at every write, by the same hand.
+ * FR : pour que le dual de `created()` soit ré-estampé à chaque écriture, par la même main.
+ * `updated()` → `create: 'now'`, `update: 'now'`
+ */
 export function updated() {
     const base = created();
     return base.with({ lifecycle: { ...base.lifecycle, update: 'now' } });

package/dist/vocabulary/updated.js.map

@@ -1 +1 @@
-{"version":3,"file":"updated.js","sourceRoot":"","sources":["../../src/vocabulary/updated.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAGvC,MAAM,UAAU,OAAO;IACrB,MAAM,IAAI,GAAG,OAAO,EAAE,CAAC;IACvB,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;AACxE,CAAC"}
+{"version":3,"file":"updated.js","sourceRoot":"","sources":["../../src/vocabulary/updated.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAGvC;;;;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/url.d.ts

@@ -1,4 +1,9 @@
 import { type TextOptions } from './text.js';
-import type { Field } from '../schema/fields/Field.js';
+import type { Field } from '../field/Field.js';
+/**
+ * So a URL is a text with a stated format, not a type of its own.
+ * FR : pour qu'une URL soit un texte au format énoncé, pas un type à part.
+ * `url()` → `{ type: 'string', format: 'uri' }`
+ */
 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,2BAA2B,CAAC;AAEvD,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,mBAAmB,CAAC;AAE/C;;;;GAIG;AACH,wBAAgB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAErE"}

package/dist/vocabulary/url.js

@@ -1,4 +1,9 @@
 import { text } from './text.js';
+/**
+ * So a URL is a text with a stated format, not a type of its own.
+ * FR : pour qu'une URL soit un texte au format énoncé, pas un type à part.
+ * `url()` → `{ type: 'string', format: 'uri' }`
+ */
 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,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;;;;GAIG;AACH,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

@@ -1,4 +1,9 @@
-import { Field } from '../schema/fields/Field.js';
+import { Field } from '../field/Field.js';
+/**
+ * So a word is one statement about a field, not a rebuilt field.
+ * FR : pour qu'un mot soit une affirmation sur un champ, pas un champ reconstruit.
+ * `vocabulary('indexed', () => ({ role: { index: true } }))`
+ */
 export declare function vocabulary(name: string, states: (field: Field) => Partial<Field>): FieldWord;
 export type FieldWord = (field: Field<any>) => Field<any>;
 //# sourceMappingURL=vocabulary.d.ts.map

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

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

package/dist/vocabulary/vocabulary.js

@@ -1,31 +1,41 @@
-import { EXTENSION_SLOTS } from '../schema/axis/Axis.js';
+import { EXTENSION_SLOTS } from '../axis/Axis.js';
 import { dequal } from 'dequal';
 const MEMBER_SLOTS = [...EXTENSION_SLOTS, 'meta'];
+/**
+ * So a word is one statement about a field, not a rebuilt field.
+ * FR : pour qu'un mot soit une affirmation sur un champ, pas un champ reconstruit.
+ * `vocabulary('indexed', () => ({ role: { index: true } }))`
+ */
 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;
+/**
+ * So two words that state the same member differently refuse instead of one winning.
+ * FR : pour que deux mots contredisant un même membre refusent, plutôt qu'un l'emporte.
+ * `readOnly(writeOnly(text()))` → both close a different side, so both apply
+ */
+function merge(name, field, given) {
+    const merged = {};
+    if ('shape' in given)
+        merged.shape = given.shape;
     for (const slot of MEMBER_SLOTS) {
-        const members = stated[slot];
+        const members = given[slot];
         if (members === undefined)
             continue;
-        const held = field[slot];
-        if (typeof members !== 'object' || members === null || typeof held !== 'object') {
-            out[slot] = members;
+        const already = field[slot];
+        if (typeof members !== 'object' || members === null || typeof already !== 'object') {
+            merged[slot] = members;
             continue;
         }
         for (const [member, value] of Object.entries(members)) {
-            const previous = held?.[member];
+            const previous = already?.[member];
             if (previous === undefined || dequal(previous, value))
                 continue;
             throw new Error(`vocabulary: \`${name}\` states ${slot}.${member} = ${JSON.stringify(value)}, but the ` +
                 `field already states ${JSON.stringify(previous)}. Apply one or the other, not both.`);
         }
-        out[slot] = { ...held, ...members };
+        merged[slot] = { ...already, ...members };
     }
-    return out;
+    return merged;
 }
 //# sourceMappingURL=vocabulary.js.map

package/dist/vocabulary/vocabulary.js.map

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

package/dist/vocabulary/writeOnly.d.ts

@@ -1,3 +1,8 @@
-import { Field } from '../schema/fields/Field.js';
+import { Field } from '../field/Field.js';
+/**
+ * So a secret leaves no response, the dual of `readOnly` on the same axis.
+ * FR : pour qu'un secret ne reparte dans aucune réponse, dual de `readOnly`.
+ * `writeOnly(text())` → `boundary.out` is `'closed'`
+ */
 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":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAElD,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAKtD,CAAC"}
+{"version":3,"file":"writeOnly.d.ts","sourceRoot":"","sources":["../../src/vocabulary/writeOnly.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE1C;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAKtD,CAAC"}

package/dist/vocabulary/writeOnly.js

@@ -1,5 +1,10 @@
 import { vocabulary } from './vocabulary.js';
-import { Boundary } from '../schema/axis/boundary/Boundary.js';
+import { Boundary } from '../axis/boundary/Boundary.js';
+/**
+ * So a secret leaves no response, the dual of `readOnly` on the same axis.
+ * FR : pour qu'un secret ne reparte dans aucune réponse, dual de `readOnly`.
+ * `writeOnly(text())` → `boundary.out` is `'closed'`
+ */
 export const writeOnly = vocabulary('writeOnly', (field) => ({
     boundary: Boundary.declared(field).with({ out: 'closed' }),
 }));

package/dist/vocabulary/writeOnly.js.map

@@ -1 +1 @@
-{"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,qCAAqC,CAAC;AAG/D,MAAM,CAAC,MAAM,SAAS,GAAqC,UAAU,CACnE,WAAW,EACX,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACV,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;CAC3D,CAAC,CACH,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;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAqC,UAAU,CACnE,WAAW,EACX,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IACV,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;CAC3D,CAAC,CACH,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fougere/schema",
-  "version": "0.6.0-alpha.0",
+  "version": "0.8.0-alpha.0",
   "description": "The entity and its 4 axes — shape, role, lifecycle, boundary. Subject-owned judgments, edge-safe.",
   "keywords": [
     "fougere",

package/src/{schema/Schema.ts → Schema.ts}

@@ -1,29 +1,27 @@
 import { Boundary } from './axis/boundary/Boundary.js';
-import { type Fields } from './fields/Field.js';
+import { type Fields } from './field/Field.js';
 import {
   type CompositeUnique,
   type EntityDeclarations,
   type PreviousNames,
-} from '../entity/EntityDeclarations.js';
-import { EntityAdapterSet, type EntityAdapters } from '../entity/EntityAdapters.js';
-import { FieldGroup } from './fields/constraint/FieldGroup.js';
-import { Unique } from './fields/constraint/Unique.js';
-import { RowJudge } from '../judge/RowJudge.js';
+} from './entity/EntityDeclarations.js';
+import { type EntityAdapters } from './entity/EntityAdapters.js';
+import { InputValidator } from './validator/InputValidator.js';
 import { SchemaDerivation } from './SchemaDerivation.js';
-import { SchemaDefinition } from './SchemaDefinition.js';
-import { type ValidateOptions } from '../judge/options.js';
-import type { StandardSchemaV1 } from '../projection/standard.js';
-import type { PartialRow, Row, SchemaView } from './SchemaView.js';
+import { SchemaDefinition, type SchemaConstraints } from './SchemaDefinition.js';
+import { type ValidateOptions } from './validator/InputValidator.js';
+import type { StandardSchemaV1 } from './projection/standard.js';
+import type { PartialValues, Values, SchemaView } from './SchemaView.js';
 
 export const ANONYMOUS_SCHEMA_NAME = 'Schema';
 
 export interface SchemaConstructor<TFields extends Fields> extends SchemaView<TFields> {
-  new (data: PartialRow<TFields>): Row<TFields>;
-  readonly '~standard': StandardSchemaV1.Props<Record<string, unknown>, Row<TFields>>;
+  new (data: PartialValues<TFields>): Values<TFields>;
+  readonly '~standard': StandardSchemaV1.Props<Record<string, unknown>, Values<TFields>>;
   readonly derivation?: SchemaDerivation;
   readonly previous?: PreviousNames<TFields>;
   readonly anchored?: boolean;
-  from(data: Record<string, unknown>): Row<TFields>;
+  from(data: Record<string, unknown>): Values<TFields>;
   pick<K extends string & keyof TFields>(
     ...keys: K[]
   ): SchemaConstructor<Pick<TFields, K>>;
@@ -42,13 +40,14 @@ export interface SchemaConstructor<TFields extends Fields> extends SchemaView<TF
 
 export class Schema {
   /** The one place a schema holds what it is. The readings below are its projections. */
-  static definition: SchemaDefinition = SchemaDefinition.stated({ fields: {} });
+  static definition: SchemaDefinition = SchemaDefinition.of({ fields: {} });
 
   static get fields(): Fields {
     return this.definition.fields;
   }
-  static get adapters(): EntityAdapters<Fields> | undefined {
-    return this.definition.adapters;
+  /** An entry survives every derivation that kept its field: `Post.pick('body').adapters`. */
+  static get adapters(): EntityAdapters<Fields> {
+    return this.definition.adapterSet.adapters;
   }
   static get opts(): ValidateOptions {
     return this.definition.opts;
@@ -59,6 +58,7 @@ export class Schema {
   static get previous(): PreviousNames<Fields> | undefined {
     return this.definition.previous;
   }
+  /** An anchor holds rows of its own; a derivation borrows them. */
   static get anchored(): boolean {
     return this.definition.anchored;
   }
@@ -82,30 +82,29 @@ export class Schema {
     return this.adapters;
   }
   static getUnique(): CompositeUnique<Fields> | undefined {
-    const groups = FieldGroup.groupsOf(this.fields, Unique);
-    return groups.length ? groups.map((group) => [...group.members]) : undefined;
+    return this.definition.constraints.unique;
   }
   static getOpts() {
     return this.opts;
   }
 
   static validate(input: unknown) {
-    return RowJudge.of(this.fields, this.opts).check(input);
+    return InputValidator.of(this.fields, this.opts).validate(input);
   }
 
   static from(data: Record<string, unknown>) {
-    const out: Record<string, unknown> = {};
+    const row: Record<string, unknown> = {};
     for (const [key, field] of Object.entries(this.fields)) {
-      if (!(key in data)) continue;
+      if (!Object.hasOwn(data, key)) continue;
       const value = data[key];
       if (value === null || value === undefined) {
-        out[key] = value;
+        row[key] = value;
         continue;
       }
       const decoded = Boundary.of(field).decode(value);
-      out[key] = 'error' in decoded ? value : decoded.value;
+      row[key] = 'error' in decoded ? value : decoded.value;
     }
-    return out;
+    return row;
   }
 
   static get ['~standard'](): StandardSchemaV1.Props<Record<string, unknown>> {
@@ -114,10 +113,10 @@ export class Schema {
       version: 1,
       vendor: 'fougere',
       validate(value: unknown) {
-        const result = RowJudge.of(fields, opts).check(value);
-        if (result.success) return { value: result.data };
+        const verdict = InputValidator.of(fields, opts).validate(value);
+        if (verdict.success) return { value: verdict.data };
         return {
-          issues: result.errors.map((e) => ({
+          issues: verdict.errors.map((e) => ({
             message: e.message,
             path: e.path && e.path !== '.' ? [{ key: e.path }] : undefined,
           })),
@@ -127,50 +126,21 @@ export class Schema {
   }
 
   static pick(...keys: string[]) {
-    assertKnownKeys('pick', keys, this.fields);
-    const picked: Fields = {};
-    for (const key of keys) if (this.fields[key]) picked[key] = this.fields[key];
-    return this.derive(picked, (k) => (keys.includes(k) ? k : undefined));
+    return Schema.subclass(this.definition.pick(keys, this));
   }
 
   static omit(...keys: string[]) {
-    assertKnownKeys('omit', keys, this.fields);
-    const kept: Fields = {};
-    for (const [key, field] of Object.entries(this.fields))
-      if (!keys.includes(key)) kept[key] = field;
-    return this.derive(kept, (k) => (keys.includes(k) ? undefined : k));
+    return Schema.subclass(this.definition.omit(keys, this));
   }
 
   static rename(mapping: Record<string, string>) {
-    assertKnownKeys('rename', Object.keys(mapping), this.fields);
-    const renamed: Fields = {};
-    for (const [key, field] of Object.entries(this.fields))
-      renamed[mapping[key] ?? key] = field;
-    return this.derive(renamed, (k) => mapping[k] ?? k);
+    return Schema.subclass(this.definition.rename(mapping, this));
   }
 
-  /**
-   * Everything a schema states about ITSELF, available wherever a schema is. `entity(fields, …)`
-   * is this same gesture at the declaration site; the fields do not move, so neither does the type.
-   */
   static declares(declarations: EntityDeclarations<Fields>) {
-    const addressed = EntityAdapterSet.of(declarations.adapters)?.fieldNames ?? [];
-    assertKnownKeys(
-      'declares',
-      [...addressed, ...Object.keys(declarations.previous ?? {})],
-      this.fields,
-    );
-
     return Schema.subclass(this.definition.declaring(declarations));
   }
 
-  /**
-   * This schema holds rows of its own — every entity is one, and a derivation says so.
-   *
-   * An anchor is where a walk STOPS: `derivation.anchor` climbs to the nearest one, and what
-   * is cut from an anchor roots on it. Two anchors are two entities that happen to share a
-   * shape, never a hierarchy — nothing here subtypes, so a relation between them is `ref()`.
-   */
   static anchor() {
     return Schema.subclass(this.definition.anchoring());
   }
@@ -202,20 +172,20 @@ export class Schema {
     ) as unknown as SchemaConstructor<Merged<T>>;
   }
 
-  static of<TFields extends Fields>(stated: {
+  static of<TFields extends Fields>(declaration: {
     fields: TFields;
     derivation?: SchemaDerivation;
     adapters?: EntityAdapters<TFields>;
     opts?: ValidateOptions;
     previous?: PreviousNames<TFields>;
     anchored?: boolean;
+    constraints?: SchemaConstraints;
   }): SchemaConstructor<TFields> {
     return Schema.subclass(
-      SchemaDefinition.stated(stated),
+      SchemaDefinition.of(declaration),
     ) as unknown as SchemaConstructor<TFields>;
   }
 
-  /** The class a definition becomes. The one place a Schema subclass is born. */
   private static subclass(definition: SchemaDefinition): SchemaConstructor<Fields> {
     class Derived extends Schema {}
     Derived.definition = definition;
@@ -225,19 +195,6 @@ export class Schema {
     });
     return Derived as unknown as SchemaConstructor<Fields>;
   }
-
-  private static derive(fields: Fields, survives: (key: string) => string | undefined) {
-    return Schema.subclass(this.definition.cut(fields, survives, this));
-  }
-}
-
-function assertKnownKeys(operation: string, keys: string[], fields: Fields): void {
-  const strangers = keys.filter((key) => !(key in fields));
-  if (strangers.length === 0) return;
-  throw new Error(
-    `${operation}(): unknown field ${strangers.map((s) => `\`${s}\``).join(', ')}. ` +
-      `This schema carries ${Object.keys(fields).join(', ')}.`,
-  );
 }
 
 type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (