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

package/dist/projection/card/FieldExtension.d.ts

@@ -1,9 +1,11 @@
-import type { BoundaryRef } from '../../axis/boundary/BoundaryRef.js';
-import type { LifecycleRules } from '../../axis/lifecycle/LifecycleRules.js';
+import type { BoundaryRef } from '../../axis/boundary/Boundary.js';
+import type { LifecycleRules } from '../../axis/lifecycle/Lifecycle.js';
 import type { RoleDescriptor } from './RoleDescriptor.js';
 export interface FieldExtension {
     role?: RoleDescriptor;
     lifecycle?: LifecycleRules;
     boundary?: BoundaryRef;
+    /** An axis registered from outside writes its own slot here, under its own name. */
+    [slot: string]: unknown;
 }
 //# sourceMappingURL=FieldExtension.d.ts.map

package/dist/projection/card/FieldExtension.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FieldExtension.d.ts","sourceRoot":"","sources":["../../../src/projection/card/FieldExtension.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAC7E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,QAAQ,CAAC,EAAE,WAAW,CAAC;CACxB"}
+{"version":3,"file":"FieldExtension.d.ts","sourceRoot":"","sources":["../../../src/projection/card/FieldExtension.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,QAAQ,CAAC,EAAE,WAAW,CAAC;IAEvB,oFAAoF;IACpF,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;CACzB"}

package/dist/projection/card/RoleDescriptor.d.ts

@@ -1,7 +1,14 @@
-import type { RoleRules } from '../../axis/role/RoleRules.js';
-import type { RelationDescriptor } from './RelationDescriptor.js';
+import type { Relation } from '../../axis/role/Relation.js';
+import type { RoleRules } from '../../axis/role/Role.js';
+import type { CardForm } from './CardForm.js';
+/** What a role becomes on a card: a target is a NAME there, and a unique is a group. */
 export type RoleDescriptor = Pick<RoleRules, 'primary' | 'index'> & {
     unique?: string[][];
     relation?: RelationDescriptor;
 };
+export type RelationDescriptor = Pick<Relation, 'kind' | 'onDelete'> & {
+    to: string;
+};
+/** A card carries the target's NAME: a class cannot cross a process boundary. */
+export declare const roleOnCard: CardForm<RoleRules, RoleDescriptor>;
 //# sourceMappingURL=RoleDescriptor.d.ts.map

package/dist/projection/card/RoleDescriptor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RoleDescriptor.d.ts","sourceRoot":"","sources":["../../../src/projection/card/RoleDescriptor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAElE,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,GAAG;IAClE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;IACpB,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B,CAAC"}
+{"version":3,"file":"RoleDescriptor.d.ts","sourceRoot":"","sources":["../../../src/projection/card/RoleDescriptor.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAGzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C,wFAAwF;AACxF,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,GAAG;IAClE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;IACpB,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAItF,iFAAiF;AACjF,eAAO,MAAM,UAAU,EAAE,QAAQ,CAAC,SAAS,EAAE,cAAc,CAkC1D,CAAC"}

package/dist/projection/card/RoleDescriptor.js

@@ -1,2 +1,41 @@
-export {};
+import { lowerFirst } from '../../lib/utils.js';
+/** A card carries the target's NAME: a class cannot cross a process boundary. */
+export const roleOnCard = {
+    describe(role, key) {
+        const descriptor = {};
+        if (role.primary)
+            descriptor.primary = true;
+        if (role.unique)
+            descriptor.unique = [[key]];
+        if (role.index)
+            descriptor.index = true;
+        if (role.relation) {
+            const target = role.relation.to();
+            descriptor.relation = {
+                to: lowerFirst(target.name ?? ''),
+                kind: role.relation.kind,
+                ...(role.relation.onDelete ? { onDelete: role.relation.onDelete } : {}),
+            };
+        }
+        return Object.keys(descriptor).length ? descriptor : undefined;
+    },
+    reconstruct(wire, resolve) {
+        const rules = {};
+        if (wire.primary)
+            rules.primary = true;
+        if (wire.unique?.some((group) => group.length === 1))
+            rules.unique = true;
+        if (wire.index)
+            rules.index = true;
+        if (wire.relation) {
+            const name = wire.relation.to;
+            rules.relation = {
+                to: () => (resolve?.(name) ?? { name }),
+                kind: wire.relation.kind,
+                ...(wire.relation.onDelete ? { onDelete: wire.relation.onDelete } : {}),
+            };
+        }
+        return rules;
+    },
+};
 //# sourceMappingURL=RoleDescriptor.js.map

package/dist/projection/card/RoleDescriptor.js.map

@@ -1 +1 @@
-{"version":3,"file":"RoleDescriptor.js","sourceRoot":"","sources":["../../../src/projection/card/RoleDescriptor.ts"],"names":[],"mappings":""}
+{"version":3,"file":"RoleDescriptor.js","sourceRoot":"","sources":["../../../src/projection/card/RoleDescriptor.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAahD,iFAAiF;AACjF,MAAM,CAAC,MAAM,UAAU,GAAwC;IAC7D,QAAQ,CAAC,IAAI,EAAE,GAAG;QAChB,MAAM,UAAU,GAA4B,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,OAAO;YAAE,UAAU,CAAC,OAAO,GAAG,IAAI,CAAC;QAC5C,IAAI,IAAI,CAAC,MAAM;YAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,IAAI,CAAC,KAAK;YAAE,UAAU,CAAC,KAAK,GAAG,IAAI,CAAC;QACxC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAuB,CAAC;YACvD,UAAU,CAAC,QAAQ,GAAG;gBACpB,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACjC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gBACxB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACjE,CAAC;IAED,WAAW,CAAC,IAAI,EAAE,OAAkB;QAClC,MAAM,KAAK,GAAuB,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,OAAO;YAAE,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;QACvC,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;YAAE,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;QAC1E,IAAI,IAAI,CAAC,KAAK;YAAE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;QACnC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,QAAQ,GAAG;gBACf,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAK,EAAE,IAAI,EAAc,CAAsB;gBACzE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gBACxB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC"}

package/dist/projection/card/admission.d.ts

@@ -1,23 +1,9 @@
-import type { ValidationError } from '../../lib/ValidationError.js';
 /**
  * Throws with what is wrong AND what to write: a card's author is in another process.
  * FR : lève avec ce qui cloche ET quoi écrire : l'auteur d'une carte est ailleurs.
  * `refuse('role.relation.kind is "maybe"', 'Expected one of one, many.')`
  */
 export declare function refuse(what: string, fix: string): never;
-/**
- * Runs a card's axis through the validator a hand-written field goes through, so there is
- * one judge and not two.
- * FR : passe l'axe d'une carte par le juge d'un champ écrit à la main : un juge, pas deux.
- * `{ update: 'maybe' }` → `lifecycle is malformed — lifecycle.update: Expected 'now' or 'forbidden'`
- */
-export declare function admitWire(validator: (value: unknown, errors: ValidationError[]) => void, value: unknown, slot: string): void;
-/**
- * Checks a token against the list that declares it, never against a copy written here.
- * FR : vérifie un mot contre la liste qui le déclare, jamais contre une copie locale.
- * `oneOfTokens('many', RELATION_KINDS)` → `true`
- */
-export declare const oneOfTokens: <T extends readonly string[]>(value: unknown, tokens: T) => value is T[number];
 /**
  * Compiles every `pattern` at the facade, so a bad one is refused here and not at the first row.
  * FR : compile chaque `pattern` à la porte : un mauvais est refusé ici, pas au premier row.

package/dist/projection/card/admission.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"admission.d.ts","sourceRoot":"","sources":["../../../src/projection/card/admission.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAIpE;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,CAEvD;AAED;;;;;GAKG;AACH,wBAAgB,SAAS,CACvB,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,IAAI,EAC9D,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,MAAM,GACX,IAAI,CASN;AAED;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,SAAS,SAAS,MAAM,EAAE,SAC9C,OAAO,UACN,CAAC,KACR,KAAK,IAAI,CAAC,CAAC,MAAM,CAA+E,CAAC;AAEpG;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAanE"}
+{"version":3,"file":"admission.d.ts","sourceRoot":"","sources":["../../../src/projection/card/admission.ts"],"names":[],"mappings":"AAGA;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,CAEvD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAanE"}

package/dist/projection/card/admission.js

@@ -1,32 +1,13 @@
 import { Shapes } from '../../axis/shape/Shape.js';
-import { dotted } from '../../lib/ValidationResult.js';
+import { SchemaError } from '../../SchemaError.js';
 /**
  * Throws with what is wrong AND what to write: a card's author is in another process.
  * FR : lève avec ce qui cloche ET quoi écrire : l'auteur d'une carte est ailleurs.
  * `refuse('role.relation.kind is "maybe"', 'Expected one of one, many.')`
  */
 export function refuse(what, fix) {
-    throw new Error(`This card cannot be read: ${what}.\n  ${fix}`);
+    throw new SchemaError(`This card cannot be read: ${what}.\n  ${fix}`);
 }
-/**
- * Runs a card's axis through the validator a hand-written field goes through, so there is
- * one judge and not two.
- * FR : passe l'axe d'une carte par le juge d'un champ écrit à la main : un juge, pas deux.
- * `{ update: 'maybe' }` → `lifecycle is malformed — lifecycle.update: Expected 'now' or 'forbidden'`
- */
-export function admitWire(validator, value, slot) {
-    const errors = [];
-    validator(value, errors);
-    if (errors.length) {
-        refuse(`${slot} is malformed — ${errors.map((e) => `${dotted(e.path)}: ${e.message}`).join('; ')}`, 'A card states an axis the way a declaration does.');
-    }
-}
-/**
- * Checks a token against the list that declares it, never against a copy written here.
- * FR : vérifie un mot contre la liste qui le déclare, jamais contre une copie locale.
- * `oneOfTokens('many', RELATION_KINDS)` → `true`
- */
-export const oneOfTokens = (value, tokens) => typeof value === 'string' && tokens.includes(value);
 /**
  * Compiles every `pattern` at the facade, so a bad one is refused here and not at the first row.
  * FR : compile chaque `pattern` à la porte : un mauvais est refusé ici, pas au premier row.

package/dist/projection/card/admission.js.map

@@ -1 +1 @@
-{"version":3,"file":"admission.js","sourceRoot":"","sources":["../../../src/projection/card/admission.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,EAAE,MAAM,EAAE,MAAM,+BAA+B,CAAC;AAEvD;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,GAAW;IAC9C,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,QAAQ,GAAG,EAAE,CAAC,CAAC;AAClE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CACvB,SAA8D,EAC9D,KAAc,EACd,IAAY;IAEZ,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACzB,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,MAAM,CACJ,GAAG,IAAI,mBAAmB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC3F,mDAAmD,CACpD,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAc,EACd,MAAS,EACW,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAK,MAA4B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAEpG;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc,EAAE,OAAe;IAC3D,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC;YACH,mFAAmF;YACnF,uDAAuD;YACvD,IAAI,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CACJ,GAAG,OAAO,sBAAsB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,uCAAuC,EAC7F,KAAe,CAAC,OAAO,CACzB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}
+{"version":3,"file":"admission.js","sourceRoot":"","sources":["../../../src/projection/card/admission.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEnD;;;;GAIG;AACH,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,GAAW;IAC9C,MAAM,IAAI,WAAW,CAAC,6BAA6B,IAAI,QAAQ,GAAG,EAAE,CAAC,CAAC;AACxE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc,EAAE,OAAe;IAC3D,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC;YACH,mFAAmF;YACnF,uDAAuD;YACvD,IAAI,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CACJ,GAAG,OAAO,sBAAsB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,uCAAuC,EAC7F,KAAe,CAAC,OAAO,CACzB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/validator/FieldDeclarationValidator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FieldDeclarationValidator.d.ts","sourceRoot":"","sources":["../../src/validator/FieldDeclarationValidator.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAEnE,qBAAa,yBAAyB;IAChB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAAhD,OAAO,eAAsD;IAE7D,MAAM,CAAC,EAAE,CAAC,WAAW,EAAE,OAAO,GAAG,yBAAyB,CAEzD;IAED,IAAI,OAAO,IAAI,gBAAgB,CAAC,KAAK,CAAC,CA8CrC;CACF"}
+{"version":3,"file":"FieldDeclarationValidator.d.ts","sourceRoot":"","sources":["../../src/validator/FieldDeclarationValidator.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG/C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAGnE,qBAAa,yBAAyB;IAChB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAAhD,OAAO,eAAsD;IAE7D,MAAM,CAAC,EAAE,CAAC,WAAW,EAAE,OAAO,GAAG,yBAAyB,CAEzD;IAED,IAAI,OAAO,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAiCrC;CACF"}

package/dist/validator/FieldDeclarationValidator.js

@@ -1,6 +1,7 @@
-import { EXTENSION_AXES } from '../axis/Axis.js';
+import { Axes } from '../axis/Axes.js';
 import { Shapes } from '../axis/shape/Shape.js';
 import { isObject, shown } from '../lib/utils.js';
+import { JsonSchemaValidator } from './JsonSchemaValidator.js';
 export class FieldDeclarationValidator {
     declaration;
     constructor(declaration) {
@@ -29,22 +30,9 @@ export class FieldDeclarationValidator {
                 message: `Every field states a shape — got ${shown(declaration.shape)}`,
             });
         }
-        for (const axis of EXTENSION_AXES) {
-            const declared = declaration[axis.slot];
-            if (declared !== undefined)
-                axis.validator(declared, errors);
-        }
-        if (declaration.meta !== undefined) {
-            if (!isObject(declaration.meta)) {
-                errors.push({
-                    path: ['meta'],
-                    message: `Expected an object — got ${shown(declaration.meta)}`,
-                });
-            }
-            else if (declaration.meta.description !== undefined &&
-                typeof declaration.meta.description !== 'string') {
-                errors.push({ path: ['meta', 'description'], message: 'Expected a string' });
-            }
+        errors.push(...JsonSchemaValidator.of(Axes.fieldFormat).refusalsOf(declaration, []));
+        for (const [slot, axis] of Axes.entries) {
+            errors.push(...(axis.refusals?.(declaration[slot]) ?? []));
         }
         return errors.length
             ? { success: false, errors }

package/dist/validator/FieldDeclarationValidator.js.map

@@ -1 +1 @@
-{"version":3,"file":"FieldDeclarationValidator.js","sourceRoot":"","sources":["../../src/validator/FieldDeclarationValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAEhD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAIlD,MAAM,OAAO,yBAAyB;IACC,WAAW;IAAhD,YAAqC,WAAoB;2BAApB,WAAW;IAAY,CAAC;IAE7D,MAAM,CAAC,EAAE,CAAC,WAAoB;QAC5B,OAAO,IAAI,yBAAyB,CAAC,WAAW,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,OAAO;QACT,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;QAErC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3B,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,EAAE;wBACR,OAAO,EAAE,4BAA4B,KAAK,CAAC,WAAW,CAAC,EAAE;qBAC1D;iBACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAsB,EAAE,CAAC;QAErC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,OAAO,CAAC;gBACf,OAAO,EAAE,oCAAoC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE;aACxE,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,QAAQ,KAAK,SAAS;gBAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/D,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACnC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,CAAC,MAAM,CAAC;oBACd,OAAO,EAAE,4BAA4B,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE;iBAC/D,CAAC,CAAC;YACL,CAAC;iBAAM,IACL,WAAW,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS;gBAC1C,OAAO,WAAW,CAAC,IAAI,CAAC,WAAW,KAAK,QAAQ,EAChD,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC,MAAM;YAClB,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;YAC5B,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,WAA+B,EAAE,CAAC;IAC/D,CAAC;CACF"}
+{"version":3,"file":"FieldDeclarationValidator.js","sourceRoot":"","sources":["../../src/validator/FieldDeclarationValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AACvC,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAEhD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAGlD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,OAAO,yBAAyB;IACC,WAAW;IAAhD,YAAqC,WAAoB;2BAApB,WAAW;IAAY,CAAC;IAE7D,MAAM,CAAC,EAAE,CAAC,WAAoB;QAC5B,OAAO,IAAI,yBAAyB,CAAC,WAAW,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,OAAO;QACT,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;QAErC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3B,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,EAAE;wBACR,OAAO,EAAE,4BAA4B,KAAK,CAAC,WAAW,CAAC,EAAE;qBAC1D;iBACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAsB,EAAE,CAAC;QAErC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,OAAO,CAAC;gBACf,OAAO,EAAE,oCAAoC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE;aACxE,CAAC,CAAC;QACL,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;QAErF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACxC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC7D,CAAC;QAED,OAAO,MAAM,CAAC,MAAM;YAClB,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;YAC5B,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,WAA+B,EAAE,CAAC;IAC/D,CAAC;CACF"}

package/dist/validator/FieldValueValidator.d.ts

@@ -1,17 +1,17 @@
 import type { Field } from '../field/Field.js';
-import type { Checked } from '../lib/Checked.js';
+import type { Verdict } from '../lib/Verdict.js';
 export declare class FieldValueValidator {
     private readonly field;
     private static readonly plans;
     private constructor();
     /** The shape is compiled once and reused, not rebuilt per value. */
     static of(field: Field): FieldValueValidator;
-    validate(value: unknown): Checked;
+    validate(value: unknown): Verdict;
     /**
      * The value admitted, then handed back in the form the domain writes — an ISO string
      * arrives as a `Date`. `null` passes untouched, and a refusal stops before the codec.
      */
-    parse(value: unknown): Checked;
+    parse(value: unknown): Verdict;
     private static planFor;
     private static customFormatOf;
 }

package/dist/validator/FieldValueValidator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FieldValueValidator.d.ts","sourceRoot":"","sources":["../../src/validator/FieldValueValidator.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AASjD,qBAAa,mBAAmB;IAGV,OAAO,CAAC,QAAQ,CAAC,KAAK;IAF1C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAoC;IAEjE,OAAO,eAA8C;IAErD,oEAAoE;IACpE,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,mBAAmB,CAE3C;IAED,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAoBhC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAM7B;IAED,OAAO,CAAC,MAAM,CAAC,OAAO;IAetB,OAAO,CAAC,MAAM,CAAC,cAAc;CAU9B"}
+{"version":3,"file":"FieldValueValidator.d.ts","sourceRoot":"","sources":["../../src/validator/FieldValueValidator.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAUjD,qBAAa,mBAAmB;IAGV,OAAO,CAAC,QAAQ,CAAC,KAAK;IAF1C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAoC;IAEjE,OAAO,eAA8C;IAErD,oEAAoE;IACpE,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,GAAG,mBAAmB,CAE3C;IAED,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAsBhC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAM7B;IAED,OAAO,CAAC,MAAM,CAAC,OAAO;IActB,OAAO,CAAC,MAAM,CAAC,cAAc;CAU9B"}

package/dist/validator/FieldValueValidator.js

@@ -1,7 +1,9 @@
-import { Validator, format as engineFormats } from '@cfworker/json-schema';
+import { format as engineFormats } from '@cfworker/json-schema';
 import { Boundary } from '../axis/boundary/Boundary.js';
-import { Formats } from '../axis/shape/Formats.js';
+import { StringFormats } from '../axis/shape/StringFormats.js';
 import { Shapes } from '../axis/shape/Shape.js';
+import { SchemaError } from '../SchemaError.js';
+import { JsonSchemaValidator } from './JsonSchemaValidator.js';
 export class FieldValueValidator {
     field;
     static plans = new WeakMap();
@@ -20,18 +22,19 @@ export class FieldValueValidator {
             if (base?.type === 'object' && !base.properties)
                 return { value };
             if (type === 'date' && value instanceof Date) {
-                return Number.isNaN(value.getTime()) ? { error: 'Invalid date' } : { value };
+                return Number.isNaN(value.getTime()) ? { message: 'Invalid date' } : { value };
             }
             if ((type === 'number' || type === 'integer') && typeof value === 'number' && Number.isNaN(value)) {
-                return { error: 'Expected a number' };
+                return { message: 'Expected a number' };
             }
         }
         const plan = FieldValueValidator.planFor(shape);
-        const result = plan.validator.validate(value);
-        if (!result.valid)
-            return refusalOf(result.errors);
+        const refusal = JsonSchemaValidator.of(shape).refusalOf(value, []);
+        if (refusal) {
+            return refusal.path.length > 0 ? { message: refusal.message, path: refusal.path } : { message: refusal.message };
+        }
         if (plan.custom && typeof value === 'string' && !plan.custom(value)) {
-            return { error: `String does not match format "${plan.formatName}".` };
+            return { message: `String does not match format "${plan.formatName}".` };
         }
         return { value };
     }
@@ -40,12 +43,12 @@ export class FieldValueValidator {
      * arrives as a `Date`. `null` passes untouched, and a refusal stops before the codec.
      */
     parse(value) {
-        const checked = this.validate(value);
-        if ('error' in checked)
-            return checked;
-        if (checked.value === null)
+        const verdict = this.validate(value);
+        if ('message' in verdict)
+            return verdict;
+        if (verdict.value === null)
             return { value: null };
-        return Boundary.of(this.field).decode(checked.value);
+        return Boundary.of(this.field).decode(verdict.value);
     }
     static planFor(shape) {
         let plan = this.plans.get(shape);
@@ -53,7 +56,6 @@ export class FieldValueValidator {
             const base = Shapes.of(shape).base;
             const formatName = base?.type === 'string' ? base.format : undefined;
             plan = {
-                validator: new Validator(shape, '2020-12', true),
                 custom: formatName === undefined ? undefined : this.customFormatOf(formatName),
                 formatName,
             };
@@ -62,31 +64,12 @@ export class FieldValueValidator {
         return plan;
     }
     static customFormatOf(name) {
-        const custom = Formats.find(name);
+        const custom = StringFormats.find(name);
         if (!custom && !(name in engineFormats)) {
-            throw new Error(`Unknown format: '${name}'. Register it with Formats.register('${name}', …) — ` +
+            throw new SchemaError(`Unknown format: '${name}'. Register it with StringFormats.register('${name}', …) — ` +
                 `the engine validates ${Object.keys(engineFormats).length} formats natively and this is not one of them.`);
         }
         return custom;
     }
 }
-/**
- * The engine states its refusals outermost first, so `errors[0]` on a nested shape is the
- * parent's `Property "street" does not match schema.` — true, and never the reason. The
- * DEEPEST one is the reason, and it is the one that says where.
- */
-function refusalOf(errors) {
-    const deepest = errors.reduce((held, one) => (held && depthOf(held) >= depthOf(one) ? held : one), undefined);
-    if (!deepest)
-        return { error: 'Invalid value' };
-    const path = locationOf(deepest.instanceLocation);
-    return path.length > 0 ? { error: deepest.error, path } : { error: deepest.error };
-}
-const depthOf = (unit) => locationOf(unit.instanceLocation).length;
-/** `#/city/zip` — a JSON Pointer fragment, and `~1`/`~0` are how it spells `/` and `~`. */
-const locationOf = (instanceLocation) => instanceLocation
-    .replace(/^#/, '')
-    .split('/')
-    .filter(Boolean)
-    .map((segment) => segment.replace(/~1/g, '/').replace(/~0/g, '~'));
 //# sourceMappingURL=FieldValueValidator.js.map

package/dist/validator/FieldValueValidator.js.map

@@ -1 +1 @@
-{"version":3,"file":"FieldValueValidator.js","sourceRoot":"","sources":["../../src/validator/FieldValueValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,IAAI,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAExD,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAWhD,MAAM,OAAO,mBAAmB;IAGO,KAAK;IAFlC,MAAM,CAAU,KAAK,GAAG,IAAI,OAAO,EAAqB,CAAC;IAEjE,YAAqC,KAAY;qBAAZ,KAAK;IAAU,CAAC;IAErD,oEAAoE;IACpE,MAAM,CAAC,EAAE,CAAC,KAAY;QACpB,OAAO,IAAI,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,QAAQ,CAAC,KAAc;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QACnC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAClE,IAAI,IAAI,KAAK,MAAM,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;gBAC7C,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;YAC/E,CAAC;YACD,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClG,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;YACxC,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,CAAC,MAAM,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACnD,IAAI,IAAI,CAAC,MAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACpE,OAAO,EAAE,KAAK,EAAE,iCAAiC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;QACzE,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,CAAC;IACnB,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAc;QAClB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,OAAO,IAAI,OAAO;YAAE,OAAO,OAAO,CAAC;QACvC,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAEnD,OAAO,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;IAEO,MAAM,CAAC,OAAO,CAAC,KAAY;QACjC,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;YACnC,MAAM,UAAU,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YACrE,IAAI,GAAG;gBACL,SAAS,EAAE,IAAI,SAAS,CAAC,KAAe,EAAE,SAAS,EAAE,IAAI,CAAC;gBAC1D,MAAM,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC;gBAC9E,UAAU;aACX,CAAC;YACF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,MAAM,CAAC,cAAc,CAAC,IAAY;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,IAAI,aAAa,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CACb,oBAAoB,IAAI,yCAAyC,IAAI,UAAU;gBAC7E,wBAAwB,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,gDAAgD,CAC5G,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,MAA6B;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAC3B,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EACnE,SAAS,CACV,CAAC;IACF,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC;IAChD,MAAM,IAAI,GAAG,UAAU,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAElD,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;AACrF,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,IAAgB,EAAU,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC;AAEvF,2FAA2F;AAC3F,MAAM,UAAU,GAAG,CAAC,gBAAwB,EAAY,EAAE,CACxD,gBAAgB;KACb,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;KACjB,KAAK,CAAC,GAAG,CAAC;KACV,MAAM,CAAC,OAAO,CAAC;KACf,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC"}
+{"version":3,"file":"FieldValueValidator.js","sourceRoot":"","sources":["../../src/validator/FieldValueValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAExD,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAE/D,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAGhD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAO/D,MAAM,OAAO,mBAAmB;IAGO,KAAK;IAFlC,MAAM,CAAU,KAAK,GAAG,IAAI,OAAO,EAAqB,CAAC;IAEjE,YAAqC,KAAY;qBAAZ,KAAK;IAAU,CAAC;IAErD,oEAAoE;IACpE,MAAM,CAAC,EAAE,CAAC,KAAY;QACpB,OAAO,IAAI,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,QAAQ,CAAC,KAAc;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QACnC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAClE,IAAI,IAAI,KAAK,MAAM,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;gBAC7C,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;YACjF,CAAC;YACD,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClG,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC;YAC1C,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAChD,MAAM,OAAO,GAAG,mBAAmB,CAAC,EAAE,CAAC,KAAmB,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACjF,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;QACnH,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACpE,OAAO,EAAE,OAAO,EAAE,iCAAiC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;QAC3E,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,CAAC;IACnB,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAc;QAClB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,SAAS,IAAI,OAAO;YAAE,OAAO,OAAO,CAAC;QACzC,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAEnD,OAAO,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;IAEO,MAAM,CAAC,OAAO,CAAC,KAAY;QACjC,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;YACnC,MAAM,UAAU,GAAG,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;YACrE,IAAI,GAAG;gBACL,MAAM,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC;gBAC9E,UAAU;aACX,CAAC;YACF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,MAAM,CAAC,cAAc,CAAC,IAAY;QACxC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,IAAI,aAAa,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,WAAW,CACnB,oBAAoB,IAAI,+CAA+C,IAAI,UAAU;gBACnF,wBAAwB,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,gDAAgD,CAC5G,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}

package/dist/validator/InputValidator.d.ts

@@ -10,5 +10,8 @@ export declare class InputValidator {
     onAbsent(field: Field): 'skip' | 'empty-list' | null;
     /** Hands on the value it PARSED, so a handler never re-checks a row. */
     validate(input: unknown): ValidationResult<Record<string, unknown>>;
+    private unknownIn;
+    private admit;
+    private whenAbsent;
 }
 //# sourceMappingURL=InputValidator.d.ts.map

package/dist/validator/InputValidator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"InputValidator.d.ts","sourceRoot":"","sources":["../../src/validator/InputValidator.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAGnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D,qBAAa,cAAc;IAEvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAF1B,OAAO,eAGH;IAEJ,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,eAAoB,GAAG,cAAc,CAEvE;IAED,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,YAAY,GAAG,IAAI,CAKnD;IAED,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAiDlE;CACF"}
+{"version":3,"file":"InputValidator.d.ts","sourceRoot":"","sources":["../../src/validator/InputValidator.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAGjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAGnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D,qBAAa,cAAc;IAEvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAF1B,OAAO,eAGH;IAEJ,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,eAAoB,GAAG,cAAc,CAEvE;IAED,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,YAAY,GAAG,IAAI,CAKnD;IAED,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAsBlE;IAED,OAAO,CAAC,SAAS;IAMjB,OAAO,CAAC,KAAK;IASb,OAAO,CAAC,UAAU;CAQnB"}

package/dist/validator/InputValidator.js

@@ -31,45 +31,42 @@ export class InputValidator {
             };
         }
         const data = input;
-        const errors = [];
+        const errors = this.unknownIn(data);
         const row = {};
-        for (const key of Object.keys(data)) {
-            if (!Object.hasOwn(this.fields, key)) {
-                errors.push({ path: [key], message: InputRefusal.unknownField });
-            }
-        }
         for (const [key, field] of Object.entries(this.fields)) {
-            const path = [key];
-            const value = data[key];
-            if (value === undefined) {
-                if (this.options.patch)
-                    continue;
-                const absence = this.onAbsent(field);
-                if (absence === null) {
-                    errors.push({ path, message: InputRefusal.required });
-                    continue;
-                }
-                if (absence === 'empty-list')
-                    row[key] = [];
-                continue;
-            }
-            if (Boundary.of(field).readOnly) {
-                errors.push({ path, message: InputRefusal.readOnly });
+            const verdict = this.admit(field, data[key]);
+            if (verdict === undefined)
                 continue;
-            }
-            if (this.options.patch && Lifecycle.of(field).immutable) {
-                errors.push({ path, message: InputRefusal.immutable });
-                continue;
-            }
-            const parsed = FieldValueValidator.of(field).parse(value);
-            if ('error' in parsed)
-                errors.push({ path: [...path, ...parsed.path ?? []], message: parsed.error });
+            if ('message' in verdict)
+                errors.push({ path: [key, ...(verdict.path ?? [])], message: verdict.message });
             else
-                row[key] = parsed.value;
+                row[key] = verdict.value;
         }
         if (errors.length > 0)
             return { success: false, errors };
         return { success: true, data: row };
     }
+    unknownIn(data) {
+        return Object.keys(data)
+            .filter((key) => !Object.hasOwn(this.fields, key))
+            .map((key) => ({ path: [key], message: InputRefusal.unknownField }));
+    }
+    admit(field, value) {
+        if (value === undefined)
+            return this.whenAbsent(field);
+        if (Boundary.of(field).readOnly)
+            return { message: InputRefusal.readOnly };
+        if (this.options.patch && Lifecycle.of(field).immutable)
+            return { message: InputRefusal.immutable };
+        return FieldValueValidator.of(field).parse(value);
+    }
+    whenAbsent(field) {
+        if (this.options.patch)
+            return undefined;
+        const absence = this.onAbsent(field);
+        if (absence === null)
+            return { message: InputRefusal.required };
+        return absence === 'empty-list' ? { value: [] } : undefined;
+    }
 }
 //# sourceMappingURL=InputValidator.js.map

package/dist/validator/InputValidator.js.map

@@ -1 +1 @@
-{"version":3,"file":"InputValidator.js","sourceRoot":"","sources":["../../src/validator/InputValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAK5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAGjD,MAAM,OAAO,cAAc;IAEN,MAAM;IACN,OAAO;IAF1B,YACmB,MAAc,EACd,OAAwB;sBADxB,MAAM;uBACN,OAAO;IACvB,CAAC;IAEJ,MAAM,CAAC,EAAE,CAAC,MAAc,EAAE,OAAO,GAAoB,EAAE;QACrD,OAAO,IAAI,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,QAAQ,CAAC,KAAY;QACnB,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ;YAAE,OAAO,MAAM,CAAC;QAC/C,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,gBAAgB;YAAE,OAAO,MAAM,CAAC;QACzD,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,YAAY;YAAE,OAAO,YAAY,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,wEAAwE;IACxE,QAAQ,CAAC,KAAc;QACrB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,YAAY,CAAC,WAAW,EAAE,CAAC;aAC1D,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,KAAgC,CAAC;QAC9C,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,MAAM,GAAG,GAA4B,EAAE,CAAC;QAExC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,YAAY,EAAE,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YACnB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;YAExB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK;oBAAE,SAAS;gBACjC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;oBACrB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC;oBACtD,SAAS;gBACX,CAAC;gBACD,IAAI,OAAO,KAAK,YAAY;oBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;gBAC5C,SAAS;YACX,CAAC;YAED,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAChC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACtD,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;gBACxD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC;gBACvD,SAAS;YACX,CAAC;YAED,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC1D,IAAI,OAAO,IAAI,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;;gBAChG,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;QAC/B,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACzD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACtC,CAAC;CACF"}
+{"version":3,"file":"InputValidator.js","sourceRoot":"","sources":["../../src/validator/InputValidator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAM5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAGjD,MAAM,OAAO,cAAc;IAEN,MAAM;IACN,OAAO;IAF1B,YACmB,MAAc,EACd,OAAwB;sBADxB,MAAM;uBACN,OAAO;IACvB,CAAC;IAEJ,MAAM,CAAC,EAAE,CAAC,MAAc,EAAE,OAAO,GAAoB,EAAE;QACrD,OAAO,IAAI,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,QAAQ,CAAC,KAAY;QACnB,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ;YAAE,OAAO,MAAM,CAAC;QAC/C,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,gBAAgB;YAAE,OAAO,MAAM,CAAC;QACzD,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,YAAY;YAAE,OAAO,YAAY,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,wEAAwE;IACxE,QAAQ,CAAC,KAAc;QACrB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,YAAY,CAAC,WAAW,EAAE,CAAC;aAC1D,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,KAAgC,CAAC;QAC9C,MAAM,MAAM,GAAsB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,GAAG,GAA4B,EAAE,CAAC;QAExC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACvD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7C,IAAI,OAAO,KAAK,SAAS;gBAAE,SAAS;YACpC,IAAI,SAAS,IAAI,OAAO;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;;gBACrG,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;QAChC,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAEzD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACtC,CAAC;IAEO,SAAS,CAAC,IAA6B;QAC7C,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;aACrB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;aACjD,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IACzE,CAAC;IAEO,KAAK,CAAC,KAAY,EAAE,KAAc;QACxC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAEvD,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ;YAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC;QAC3E,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS;YAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,SAAS,EAAE,CAAC;QAEpG,OAAO,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC;IAEO,UAAU,CAAC,KAAY;QAC7B,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAEzC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC;QAEhE,OAAO,OAAO,KAAK,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,CAAC;CACF"}

package/dist/validator/JsonSchemaValidator.d.ts

@@ -0,0 +1,23 @@
+import type { JsonSchema } from '../lib/JsonSchema.js';
+import type { ValidationError } from '../lib/ValidationError.js';
+/**
+ * The one door onto the engine: a field's value against its shape, a declaration against the
+ * format of its key. The format is DATA, not a TypeScript interface: an interface is erased
+ * before a JS caller, a config or a card from another language could be measured against it.
+ */
+export declare class JsonSchemaValidator {
+    private readonly schema;
+    private static readonly held;
+    private first?;
+    private every?;
+    private constructor();
+    static of(schema: JsonSchema): JsonSchemaValidator;
+    /** `refusalOf({ update: 'maybe' }, ['lifecycle'])` → `lifecycle.update: Instance does not match any of ["now","forbidden"].` */
+    refusalOf(value: unknown, path: readonly string[]): ValidationError | undefined;
+    /**
+     * One refusal per key, so a declaration hears every fault at once. It reads through an engine
+     * of its own: the other stops at the first, which is what a single value wants.
+     */
+    refusalsOf(value: unknown, path: readonly string[]): ValidationError[];
+}
+//# sourceMappingURL=JsonSchemaValidator.d.ts.map

package/dist/validator/JsonSchemaValidator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"JsonSchemaValidator.d.ts","sourceRoot":"","sources":["../../src/validator/JsonSchemaValidator.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAGjE;;;;GAIG;AACH,qBAAa,mBAAmB;IAMV,OAAO,CAAC,QAAQ,CAAC,MAAM;IAL3C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAkD;IAE9E,OAAO,CAAC,KAAK,CAAC,CAAY;IAC1B,OAAO,CAAC,KAAK,CAAC,CAAY;IAE1B,OAAO,eAAoD;IAE3D,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,GAAG,mBAAmB,CASjD;IAED,gIAAgI;IAChI,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,eAAe,GAAG,SAAS,CAW9E;IAED;;;OAGG;IACH,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,eAAe,EAAE,CAWrE;CACF"}

package/dist/validator/JsonSchemaValidator.js

@@ -0,0 +1,113 @@
+import { Validator } from '@cfworker/json-schema';
+import { isObject } from '../lib/utils.js';
+import { locationOf } from '../lib/ValidationResult.js';
+/**
+ * The one door onto the engine: a field's value against its shape, a declaration against the
+ * format of its key. The format is DATA, not a TypeScript interface: an interface is erased
+ * before a JS caller, a config or a card from another language could be measured against it.
+ */
+export class JsonSchemaValidator {
+    schema;
+    static held = new WeakMap();
+    first;
+    every;
+    constructor(schema) {
+        this.schema = schema;
+    }
+    static of(schema) {
+        let validator = this.held.get(schema);
+        if (!validator) {
+            validator = new JsonSchemaValidator(schema);
+            this.held.set(schema, validator);
+        }
+        return validator;
+    }
+    /** `refusalOf({ update: 'maybe' }, ['lifecycle'])` → `lifecycle.update: Instance does not match any of ["now","forbidden"].` */
+    refusalOf(value, path) {
+        this.first ??= new Validator(this.schema, '2020-12', true);
+        const refused = refusedBy(this.first, value);
+        if (!Array.isArray(refused))
+            return under(path, refused);
+        if (!refused.length)
+            return undefined;
+        const reasons = named(refused);
+        return at(path, reasons.length ? deepestOf(reasons) : refused[0]);
+    }
+    /**
+     * One refusal per key, so a declaration hears every fault at once. It reads through an engine
+     * of its own: the other stops at the first, which is what a single value wants.
+     */
+    refusalsOf(value, path) {
+        this.every ??= new Validator(this.schema, '2020-12', false);
+        const refused = refusedBy(this.every, value);
+        if (!Array.isArray(refused))
+            return [under(path, refused)];
+        if (!refused.length)
+            return [];
+        const faults = [...byKey(named(refused)).values()];
+        return faults.length ? faults.map((units) => at(path, deepestOf(units))) : [at(path, refused[0])];
+    }
+}
+/** What it refused on, or the member JSON cannot hold — the engine throws on one rather than refusing. */
+function refusedBy(engine, value) {
+    const json = stated(value);
+    try {
+        const verdict = engine.validate(json);
+        return verdict.valid ? [] : verdict.errors;
+    }
+    catch {
+        const where = unreadableIn(json) ?? { path: [], value: json };
+        return { path: where.path, message: `Expected a JSON value — got ${typeof where.value}` };
+    }
+}
+/** `False boolean schema` names nothing: the unit above it carries the offending key. */
+const named = (units) => units.filter((unit) => unit.keyword !== 'false');
+/** The engine states its refusals outermost first: the deepest says where, the last one is why. */
+function deepestOf(units) {
+    return units.reduce((held, unit) => (depthOf(held) > depthOf(unit) ? held : unit));
+}
+/**
+ * The units of one fault, addressed by the key they happened under. A unit on the value ITSELF
+ * points at a key when another one is deeper — `Property "lifecycle" does not match schema.` —
+ * so it is kept only when it is all there is.
+ */
+function byKey(units) {
+    const held = new Map();
+    for (const unit of units) {
+        const key = locationOf(unit.instanceLocation)[0] ?? '';
+        held.set(key, [...(held.get(key) ?? []), unit]);
+    }
+    if (held.size > 1)
+        held.delete('');
+    return held;
+}
+const at = (path, unit) => ({
+    path: [...path, ...locationOf(unit.instanceLocation)],
+    message: unit.error,
+});
+const under = (path, refusal) => ({
+    path: [...path, ...refusal.path],
+    message: refusal.message,
+});
+const depthOf = (unit) => locationOf(unit.instanceLocation).length;
+/** A key set to `undefined` states nothing, as in JSON — and the engine refuses to read one. */
+function stated(value) {
+    if (Array.isArray(value))
+        return value.map(stated);
+    if (!isObject(value))
+        return value;
+    const present = Object.entries(value).filter(([, member]) => member !== undefined);
+    return Object.fromEntries(present.map(([key, member]) => [key, stated(member)]));
+}
+/** Where the engine stopped: a function, a symbol or a bigint is not a value JSON holds. */
+function unreadableIn(value, path = []) {
+    if (['function', 'symbol', 'bigint'].includes(typeof value))
+        return { path, value };
+    if (Array.isArray(value)) {
+        return value.flatMap((member, index) => unreadableIn(member, [...path, String(index)]) ?? [])[0];
+    }
+    if (!isObject(value))
+        return undefined;
+    return Object.entries(value).flatMap(([key, member]) => unreadableIn(member, [...path, key]) ?? [])[0];
+}
+//# sourceMappingURL=JsonSchemaValidator.js.map