@fougere/schema 0.11.0-alpha.0 → 0.12.1-alpha.0

package/dist/validator/JsonSchemaValidator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JsonSchemaValidator.js","sourceRoot":"","sources":["../../src/validator/JsonSchemaValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAmB,MAAM,uBAAuB,CAAC;AAEnE,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE3C,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAExD;;;;GAIG;AACH,MAAM,OAAO,mBAAmB;IAMO,MAAM;IALnC,MAAM,CAAU,IAAI,GAAG,IAAI,OAAO,EAAmC,CAAC;IAEtE,KAAK,CAAa;IAClB,KAAK,CAAa;IAE1B,YAAqC,MAAkB;sBAAlB,MAAM;IAAe,CAAC;IAE3D,MAAM,CAAC,EAAE,CAAC,MAAkB;QAC1B,IAAI,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEtC,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,SAAS,GAAG,IAAI,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACnC,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,gIAAgI;IAChI,SAAS,CAAC,KAAc,EAAE,IAAuB;QAC/C,IAAI,CAAC,KAAK,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QAE3D,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAE7C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAEtC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;QAE/B,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC;IAED;;;OAGG;IACH,UAAU,CAAC,KAAc,EAAE,IAAuB;QAChD,IAAI,CAAC,KAAK,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAE5D,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAE7C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,OAAO,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QAE/B,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAEnD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpG,CAAC;CACF;AAED,0GAA0G;AAC1G,SAAS,SAAS,CAAC,MAAiB,EAAE,KAAc;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAE3B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAEtC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAE9D,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,+BAA+B,OAAO,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;IAC5F,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,MAAM,KAAK,GAAG,CAAC,KAA4B,EAAgB,EAAE,CAC3D,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;AAEnD,mGAAmG;AACnG,SAAS,SAAS,CAAC,KAA4B;IAC7C,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AACrF,CAAC;AAED;;;;GAIG;AACH,SAAS,KAAK,CAAC,KAA4B;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAwB,CAAC;IAE7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACvD,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;QAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAEnC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,EAAE,GAAG,CAAC,IAAuB,EAAE,IAAgB,EAAmB,EAAE,CAAC,CAAC;IAC1E,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACrD,OAAO,EAAE,IAAI,CAAC,KAAK;CACpB,CAAC,CAAC;AAEH,MAAM,KAAK,GAAG,CAAC,IAAuB,EAAE,OAAwB,EAAmB,EAAE,CAAC,CAAC;IACrF,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAChC,OAAO,EAAE,OAAO,CAAC,OAAO;CACzB,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,CAAC,IAAgB,EAAU,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC;AAEvF,gGAAgG;AAChG,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAEnD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAEnC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAEnF,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,4FAA4F;AAC5F,SAAS,YAAY,CACnB,KAAc,EACd,IAAI,GAAsB,EAAE;IAE5B,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAEpF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACzG,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"list.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/list.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE7C,MAAM,WAAW,WAAW;IAC1B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAQtE"}
+{"version":3,"file":"list.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/list.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAG7C,MAAM,WAAW,WAAW;IAC1B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAQtE"}

package/dist/vocabulary/primitive/list.js

@@ -1,4 +1,5 @@
 import { Field } from '../../field/Field.js';
+import { SchemaError } from '../../SchemaError.js';
 /**
  * A list of VALUES. The other side of a relation is `many()`, and passing one here throws.
  * FR : une liste de VALEURS. L'autre côté d'une relation est `many()`, et en passer une ici lève.
@@ -6,7 +7,7 @@ import { Field } from '../../field/Field.js';
  */
 export function list(item, opts) {
     if (item.role?.relation)
-        throw new Error('list() takes a value field (text(), number()…) — a relation has no value shape');
+        throw new SchemaError('list() takes a value field (text(), number()…) — a relation has no value shape');
     return new Field({
         shape: { type: 'array', items: item.shape, minItems: opts?.min, maxItems: opts?.max },
     });

package/dist/vocabulary/primitive/list.js.map

@@ -1 +1 @@
-{"version":3,"file":"list.js","sourceRoot":"","sources":["../../../src/vocabulary/primitive/list.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAO7C;;;;GAIG;AACH,MAAM,UAAU,IAAI,CAAI,IAAc,EAAE,IAAkB;IACxD,IAAI,IAAI,CAAC,IAAI,EAAE,QAAQ;QACrB,MAAM,IAAI,KAAK,CACb,gFAAgF,CACjF,CAAC;IACJ,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/primitive/list.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAOnD;;;;GAIG;AACH,MAAM,UAAU,IAAI,CAAI,IAAc,EAAE,IAAkB;IACxD,IAAI,IAAI,CAAC,IAAI,EAAE,QAAQ;QACrB,MAAM,IAAI,WAAW,CACnB,gFAAgF,CACjF,CAAC;IACJ,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/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,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"}
+{"version":3,"file":"vocabulary.d.ts","sourceRoot":"","sources":["../../src/vocabulary/vocabulary.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAO1C;;;;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,6 +1,7 @@
-import { EXTENSION_SLOTS } from '../axis/Axis.js';
+import { Axes } from '../axis/Axes.js';
 import { dequal } from 'dequal';
-const MEMBER_SLOTS = [...EXTENSION_SLOTS, 'meta'];
+import { SchemaError } from '../SchemaError.js';
+const memberSlots = () => [...Axes.names, 'meta'];
 /**
  * Builds a `rule/` word, which states members on the field it receives.
  * FR : fabrique un mot de `rule/`, qui énonce des membres sur le champ reçu.
@@ -16,13 +17,15 @@ export function vocabulary(name, states) {
  */
 function merge(name, field, given) {
     const merged = {};
+    const stated = given;
+    const held = field;
     if ('shape' in given)
         merged.shape = given.shape;
-    for (const slot of MEMBER_SLOTS) {
-        const members = given[slot];
+    for (const slot of memberSlots()) {
+        const members = stated[slot];
         if (members === undefined)
             continue;
-        const already = field[slot];
+        const already = held[slot];
         if (typeof members !== 'object' || members === null || typeof already !== 'object') {
             merged[slot] = members;
             continue;
@@ -31,7 +34,7 @@ function merge(name, field, given) {
             const previous = already?.[member];
             if (previous === undefined || dequal(previous, value))
                 continue;
-            throw new Error(`vocabulary: \`${name}\` states ${slot}.${member} = ${JSON.stringify(value)}, but the ` +
+            throw new SchemaError(`vocabulary: \`${name}\` states ${slot}.${member} = ${JSON.stringify(value)}, but the ` +
                 `field already states ${JSON.stringify(previous)}. Apply one or the other, not both.`);
         }
         merged[slot] = { ...already, ...members };

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,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"}
+{"version":3,"file":"vocabulary.js","sourceRoot":"","sources":["../../src/vocabulary/vocabulary.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,WAAW,GAAG,GAAa,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AAE5D;;;;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,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,MAAM,IAAI,GAAG,KAA2C,CAAC;IACzD,IAAI,OAAO,IAAI,KAAK;QAAE,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAEjD,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAwC,CAAC;QAClE,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,WAAW,CACnB,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/package.json

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

package/src/Schema.ts

@@ -1,3 +1,5 @@
+import type { StandardSchemaV1 } from '@standard-schema/spec';
+
 import { Boundary } from './axis/boundary/Boundary.js';
 import { type Fields } from './field/Fields.js';
 import { type CompositeUnique } from './entity/CompositeUnique.js';
@@ -9,11 +11,11 @@ import { SchemaDerivation } from './SchemaDerivation.js';
 import { type SchemaConstraints } from './SchemaConstraints.js';
 import { SchemaDefinition } from './SchemaDefinition.js';
 import { type ValidateOptions } from './validator/ValidateOptions.js';
-import type { StandardSchemaV1 } from './projection/standard.js';
 
 import type { SchemaView } from './SchemaView.js';
 
 import type { SchemaConstructor } from './SchemaConstructor.js';
+import { SchemaError } from './SchemaError.js';
 
 export const ANONYMOUS_SCHEMA_NAME = 'Schema';
 
@@ -74,7 +76,7 @@ export class Schema {
         continue;
       }
       const decoded = Boundary.of(field).decode(value);
-      row[key] = 'error' in decoded ? value : decoded.value;
+      row[key] = 'message' in decoded ? value : decoded.value;
     }
     return row;
   }
@@ -128,10 +130,10 @@ export class Schema {
 
   static named(name: string) {
     if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(name)) {
-      throw new Error(`named(): \`${name}\` is not a valid class name.`);
+      throw new SchemaError(`named(): \`${name}\` is not a valid class name.`);
     }
     if (this.name !== ANONYMOUS_SCHEMA_NAME) {
-      throw new Error(
+      throw new SchemaError(
         `named(): \`${this.name}\` is already named by its class declaration.`,
       );
     }

package/src/SchemaConstructor.ts

@@ -1,15 +1,15 @@
+import type { StandardSchemaV1 } from '@standard-schema/spec';
+
 import { type Fields } from './field/Fields.js';
 
 import { type EntityDeclarations } from './entity/EntityDeclarations.js';
 import { type PreviousNames } from './entity/PreviousNames.js';
 import { SchemaDerivation } from './SchemaDerivation.js';
-import type { StandardSchemaV1 } from './projection/standard.js';
-import type { PartialValues } from './PartialValues.js';
 import type { SchemaView } from './SchemaView.js';
-import type { Values } from './Values.js';
+import type { Values } from './field/Values.js';
 
 export interface SchemaConstructor<TFields extends Fields> extends SchemaView<TFields> {
-  new (data: PartialValues<TFields>): Values<TFields>;
+  new (data: Partial<Values<TFields>>): Values<TFields>;
   readonly '~standard': StandardSchemaV1.Props<Record<string, unknown>, Values<TFields>>;
   readonly derivation?: SchemaDerivation;
   readonly previous?: PreviousNames<TFields>;

package/src/SchemaDefinition.ts

@@ -9,6 +9,7 @@ import { SchemaDerivation } from './SchemaDerivation.js';
 import { type ValidateOptions } from './validator/ValidateOptions.js';
 import type { SchemaView } from './SchemaView.js';
 import { SchemaConstraints } from './SchemaConstraints.js';
+import { SchemaError } from './SchemaError.js';
 
 /**
  * Everything a definition is made of, every member required.
@@ -225,7 +226,7 @@ export class SchemaDefinition {
     const strangers = keys.filter((key) => !Object.hasOwn(this.fields, key));
     if (strangers.length === 0) return;
 
-    throw new Error(
+    throw new SchemaError(
       `${operation}(): unknown field ${strangers.map((s) => `\`${s}\``).join(', ')}. ` +
         `This schema carries ${Object.keys(this.fields).join(', ')}.`,
     );

package/src/SchemaError.ts

@@ -0,0 +1,7 @@
+export class SchemaError extends Error {
+  constructor(message: string) {
+    super(message);
+
+    this.name = 'SchemaError';
+  }
+}

package/src/SchemaView.ts

@@ -5,7 +5,7 @@ import type { EntityAdapters } from './entity/EntityAdapters.js';
 import type { ValidationResult } from './lib/ValidationResult.js';
 import type { ValidateOptions } from './validator/ValidateOptions.js';
 import type { SchemaDerivation } from './SchemaDerivation.js';
-import type { Values } from './Values.js';
+import type { Values } from './field/Values.js';
 
 export interface SchemaView<TFields extends Fields = Fields> {
   readonly name: string;

package/src/axis/Axes.ts

@@ -0,0 +1,34 @@
+import { Registry } from '../lib/Registry.js';
+import type { JsonSchema } from '../lib/JsonSchema.js';
+import { fieldFormat } from '../field/FieldFormat.js';
+import type { Axis } from './Axis.js';
+import { Boundary } from './boundary/Boundary.js';
+import { Lifecycle } from './lifecycle/Lifecycle.js';
+import { Role } from './role/Role.js';
+
+class AxisRegistry extends Registry<Axis> {
+  private composed?: JsonSchema;
+
+  register(slot: string, axis: Axis): Axis {
+    this.composed = undefined;
+
+    return super.register(slot, axis);
+  }
+
+  /** The document a field declaration is judged against, rebuilt the next time one arrives. */
+  get fieldFormat(): JsonSchema {
+    this.composed ??= fieldFormat(this.entries);
+
+    return this.composed;
+  }
+}
+
+/**
+ * The axes this process reads, and the door an axis declared elsewhere comes through.
+ * `Axes.register('tenancy', Tenancy)` — from a `vocabulary/` file, read before `entities/`
+ */
+export const Axes = new AxisRegistry('axis', 'call Axes.register(slot, axis)', [
+  ['role', Role],
+  ['lifecycle', Lifecycle],
+  ['boundary', Boundary],
+]);

package/src/axis/Axis.ts

@@ -1,24 +1,9 @@
-import { roleAxis } from './role/RoleAxis.js';
-import { lifecycleAxis } from './lifecycle/LifecycleAxis.js';
-import { boundaryAxis } from './boundary/BoundaryAxis.js';
+import type { Format } from '../lib/Format.js';
 import type { ValidationError } from '../lib/ValidationError.js';
-import type { Resolver } from './Resolver.js';
 
-export interface Axis<Declared = unknown, Wire = unknown> {
-  readonly slot: 'role' | 'lifecycle' | 'boundary';
+export interface Axis {
+  readonly format: Format;
 
-  validator(value: unknown, errors: ValidationError[]): void;
-
-  describe(value: Declared, key: string): Wire | undefined;
-
-  reconstruct(wire: Wire, resolve?: Resolver): Declared;
+  /** What a format cannot state: `role.relation.to` is a function, and JSON holds none. */
+  refusals?(value: unknown): ValidationError[];
 }
-
-export const EXTENSION_AXES: readonly Axis[] = [
-  roleAxis,
-  lifecycleAxis,
-  boundaryAxis,
-];
-
-/** The slots they occupy: the keys of `x-fougere` on a field descriptor. */
-export const EXTENSION_SLOTS = EXTENSION_AXES.map((axis) => axis.slot);

package/src/axis/boundary/Boundary.ts

@@ -4,24 +4,37 @@ import { Boundaries } from './Decoder.js';
 import type { Field } from '../../field/Field.js';
 import { type Shape } from '../shape/Shape.js';
 import { Shapes } from '../shape/Shape.js';
-import type { BoundaryRules } from './BoundaryRules.js';
+import { SchemaError } from '../../SchemaError.js';
+import { Format, type Accepted } from '../../lib/Format.js';
+
+const closedOr = <Verb extends 'decode' | 'encode'>(verb: Verb) =>
+  Format.either(Format.tokens(['closed']), Format.of().key(verb, Format.text).needs(verb).closed());
+
+const RULES = Format.of().key('in', closedOr('decode')).key('out', closedOr('encode')).closed();
+
+const BOUNDARY = Format.named(
+  'axis/boundary',
+  Format.either(Format.text.as<'isoDate' | (string & {})>(), RULES),
+);
+
+export type BoundaryRules = Accepted<typeof RULES>;
+
+export type BoundaryRef = Accepted<typeof BOUNDARY>;
 
 const identityDecoder: Decoder = (value) => ({ value });
 
 const identityEncoder: Encoder = (value) => value;
 
 export class Boundary {
-  private readonly in?: BoundaryRules['in'];
-  private readonly out?: BoundaryRules['out'];
+  static readonly format = BOUNDARY;
+
   readonly decode: Decoder;
   readonly encode: Encoder;
 
   private constructor(
-    rules: BoundaryRules = {},
+    private readonly rules: BoundaryRules = {},
     codecs?: { decode: Decoder; encode: Encoder },
   ) {
-    this.in = rules.in;
-    this.out = rules.out;
     this.decode = codecs?.decode ?? identityDecoder;
     this.encode = codecs?.encode ?? identityEncoder;
   }
@@ -33,7 +46,7 @@ export class Boundary {
     if (typeof ref !== 'string') return new Boundary(ref);
 
     const alias = Boundaries.aliases.find(ref);
-    if (!alias) throw new Error(`Unknown boundary alias: '${ref}'`);
+    if (!alias) throw new SchemaError(`Unknown boundary alias: '${ref}'`);
     return new Boundary(alias);
   }
 
@@ -41,8 +54,8 @@ export class Boundary {
     const declared = Boundary.declared(field);
     const derived = Boundary.forShape(field.shape);
     const rules: BoundaryRules = {
-      in: declared.in ?? derived.in,
-      out: declared.out ?? derived.out,
+      in: declared.rules.in ?? derived.rules.in,
+      out: declared.rules.out ?? derived.rules.out,
     };
     return new Boundary(rules, {
       decode:
@@ -58,20 +71,20 @@ export class Boundary {
 
   /** `date-time` means a `Date` on both sides, without a word in the entity. */
   static forShape(shape: Shape | undefined): Boundary {
-    if (Shapes.typeOf(shape) === 'date') return new Boundary(Boundaries.aliases.find('isoDate')!);
+    if (Shapes.typeOf(shape) === 'date') return new Boundary(Boundaries.aliases.resolve('isoDate'));
     return new Boundary();
   }
 
   /** The dual of `declared`: what `readOnly()` writes back on the field, not a judge. */
   declaring(overrides: BoundaryRules): BoundaryRules {
-    return { in: overrides.in ?? this.in, out: overrides.out ?? this.out };
+    return { in: overrides.in ?? this.rules.in, out: overrides.out ?? this.rules.out };
   }
 
   get readOnly(): boolean {
-    return this.in === 'closed';
+    return this.rules.in === 'closed';
   }
 
   get writeOnly(): boolean {
-    return this.out === 'closed';
+    return this.rules.out === 'closed';
   }
 }

package/src/axis/boundary/Decoder.ts

@@ -1,13 +1,14 @@
-import type { BoundaryRules } from './BoundaryRules.js';
+import type { BoundaryRules } from './Boundary.js';
 import { Registry } from '../../lib/Registry.js';
 import type { Encoder } from './Encoder.js';
+import type { Verdict } from '../../lib/Verdict.js';
 
 /**
  * Wire to domain, and it must ANSWER a value it already produced: two facades decode — the
  * client one on what arrives, `StorageGuard` on what a handler writes — so a decoder that
  * halves cents halves them twice and stores a hundredth.
  */
-export type Decoder = (value: unknown) => { value: unknown } | { error: string };
+export type Decoder = (value: unknown) => Verdict;
 
 /**
  * `decoders` for a value coming in, `encoders` for one going out, `aliases` for the word
@@ -32,9 +33,9 @@ Boundaries.decoders.register('isoDate', (value) => {
   if (value instanceof Date) return { value };
   if (typeof value === 'string') {
     const date = new Date(value);
-    return Number.isNaN(date.getTime()) ? { error: 'Invalid date' } : { value: date };
+    return Number.isNaN(date.getTime()) ? { message: 'Invalid date' } : { value: date };
   }
-  return { error: 'Expected a date' };
+  return { message: 'Expected a date' };
 });
 Boundaries.encoders.register('isoDate', (value) =>
   value instanceof Date ? value.toISOString() : value,

package/src/axis/lifecycle/Generators.ts

@@ -2,28 +2,16 @@ import { createId } from '@paralleldrive/cuid2';
 
 import { Registry } from '../../lib/Registry.js';
 
-export type GeneratorRef = 'cuid2' | 'uuid' | 'nanoid' | (string & {});
-
-const NANOID_ALPHABET = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789-_';
-
-function nanoid(): string {
-  const bytes = new Uint8Array(21);
-  globalThis.crypto.getRandomValues(bytes);
-  return Array.from(bytes, (byte) => NANOID_ALPHABET[byte & 63]).join('');
-}
+export type GeneratorRef = 'cuid2' | (string & {});
 
 /**
- * Who answers a `generate:` name. `cuid2`, `uuid` and `nanoid` are registered like any
- * other, so `Generators.resolve('ulid')` is refused here and lists the three.
- * FR : pour qu'un `generate:` soit répondu par un registre, builtins compris.
- * `Generators.register('ulid', ulid)` → `create: { generate: 'ulid' }` now resolves
+ * Who answers a `generate:` name. `cuid2` is registered like any other, so
+ * `Generators.resolve('uuid')` is refused here and names what the process holds.
+ * `Generators.register('uuid', () => globalThis.crypto.randomUUID())` →
+ * `create: { generate: 'uuid' }` now resolves
  */
 export const Generators = new Registry<() => string>(
   'generator',
   'call Generators.register(name, fn)',
-  [
-    ['cuid2', createId],
-    ['uuid', () => globalThis.crypto.randomUUID()],
-    ['nanoid', nanoid],
-  ],
+  [['cuid2', createId]],
 );

package/src/axis/lifecycle/Lifecycle.ts

@@ -1,32 +1,60 @@
+import { Format, type Accepted } from '../../lib/Format.js';
+import { Generators } from './Generators.js';
 import type { GeneratorRef } from './Generators.js';
-import type { LifecycleRules } from './LifecycleRules.js';
 
+export type LifecycleRules = Accepted<typeof Lifecycle.format>;
 export class Lifecycle {
-  private readonly create?: LifecycleRules['create'];
-  private readonly update?: LifecycleRules['update'];
+  static readonly CREATE = ['now', 'optional'] as const;
+  static readonly UPDATE = ['now', 'forbidden'] as const;
 
-  private constructor(rules: LifecycleRules = {}) {
-    this.create = rules.create;
-    this.update = rules.update;
-  }
+  static readonly format = Format.of('axis/lifecycle')
+    .key(
+      'create',
+      Format.either(
+        Format.tokens(Lifecycle.CREATE),
+        Format.exactlyOne({
+          value: Format.anything,
+          generate: Format.text.as<GeneratorRef>(),
+        }),
+      ),
+    )
+    .key('update', Format.tokens(Lifecycle.UPDATE))
+    .closed();
+
+  private constructor(private readonly rules: LifecycleRules = {}) {}
 
   static of(field: { lifecycle?: LifecycleRules }): Lifecycle {
     return new Lifecycle(field.lifecycle);
   }
 
+  private get create() {
+    return this.rules.create;
+  }
+
+  private get update() {
+    return this.rules.update;
+  }
+
+  bornWith(instant: number): { value: unknown } | undefined {
+    const rule = this.create;
+
+    if (rule === 'now') return { value: new Date(instant) };
+
+    if (typeof rule !== 'object') return undefined;
+
+    if ('value' in rule) return { value: structuredClone(rule.value) };
+
+    return { value: Generators.resolve(rule.generate)() };
+  }
+
   get requiredAtCreate(): boolean {
     return this.create === undefined;
   }
 
-  /** The server fills it at create, so a client form never carries it. */
   get stampedAtCreate(): boolean {
     return this.create === 'now';
   }
 
-  get stampedOnce(): boolean {
-    return this.stampedAtCreate && !this.stampedOnUpdate;
-  }
-
   get immutable(): boolean {
     return this.update === 'forbidden';
   }
@@ -37,15 +65,9 @@ export class Lifecycle {
 
   get literal(): { value: unknown } | undefined {
     const rule = this.create;
+
     return typeof rule === 'object' && rule !== null && 'value' in rule
       ? { value: (rule as { value: unknown }).value }
       : undefined;
   }
-
-  get generator(): GeneratorRef | undefined {
-    const rule = this.create;
-    return typeof rule === 'object' && rule !== null && 'generate' in rule
-      ? (rule as { generate: GeneratorRef }).generate
-      : undefined;
-  }
 }

package/src/axis/lifecycle/apply.ts

@@ -1,6 +1,4 @@
 import { Lifecycle } from './Lifecycle.js';
-import { Generators } from './Generators.js';
-import { Clock } from './Clock.js';
 import { type Field } from '../../field/Field.js';
 import { type Fields } from '../../field/Fields.js';
 
@@ -9,42 +7,36 @@ import { type Fields } from '../../field/Fields.js';
  * FR : remplit ce que la déclaration laisse au storage : aucun handler n'estampe lui-même.
  * `applyCreate({ id: primary(), createdAt: created() }, { title: 'a' })` → `id`, `createdAt`
  */
-export function applyCreate(fields: Fields, input: Record<string, unknown>): Record<string, unknown> {
+export function applyCreate(
+  fields: Fields,
+  input: Record<string, unknown>,
+): Record<string, unknown> {
   const values: Record<string, unknown> = { ...input };
-  const instant = Clock.now();
+  const instant = Date.now();
 
   for (const [name, field] of Object.entries(fields) as [string, Field][]) {
     if (name in values) continue;
-    const rule = Lifecycle.of(field);
 
-    if (rule.stampedAtCreate) values[name] = new Date(instant);
-    else if (rule.literal) values[name] = freshValue(rule.literal.value);
-    else if (rule.generator) values[name] = Generators.resolve(rule.generator)();
+    const born = Lifecycle.of(field).bornWith(instant);
+
+    if (born) values[name] = born.value;
   }
 
   return values;
 }
 
-/**
- * Clones a declared default, so two rows born of `create: { value: [] }` hold two arrays.
- * FR : clone un défaut déclaré, pour que deux lignes nées de `create: { value: [] }`
- * tiennent deux tableaux.
- * `create: { value: [] }` → each instance gets its own array
- */
-function freshValue(value: unknown): unknown {
-  if (value === null || typeof value !== 'object') return value;
-  return structuredClone(value);
-}
-
 /**
  * The dual of `applyCreate` on a patch: only `update: 'now'` fields are touched.
  * FR : le dual d'`applyCreate` sur une modification : seuls les champs `update: 'now'`
  * sont touchés.
  * `applyUpdate(fields, { title: 'b' })` → `updatedAt` added, nothing else
  */
-export function applyUpdate(fields: Fields, patch: Record<string, unknown>): Record<string, unknown> {
+export function applyUpdate(
+  fields: Fields,
+  patch: Record<string, unknown>,
+): Record<string, unknown> {
   const values: Record<string, unknown> = { ...patch };
-  const instant = Clock.now();
+  const instant = Date.now();
 
   for (const [name, field] of Object.entries(fields) as [string, Field][]) {
     if (Lifecycle.of(field).stampedOnUpdate && !(name in values))