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

package/dist/field/FieldSet.d.ts

@@ -0,0 +1,22 @@
+import type { CompositeUnique } from '../entity/EntityDeclarations.js';
+import { type FieldName, type Fields } from './Field.js';
+export declare class FieldSet<TFields extends Fields = Fields> {
+    private readonly fields;
+    private constructor();
+    static of<TFields extends Fields>(fields: TFields): FieldSet<TFields>;
+    /**
+     * So a declared unique lands where it belongs: on the field, or on the schema.
+     * FR : pour qu'une unicité déclarée atterrisse sur le champ ou sur le schéma.
+     * `declaring(fields, [['email'], ['listId', 'docId']])`
+     * → `email` carries `role.unique`, the pair becomes a schema constraint
+     */
+    static declaring<TFields extends Fields>(declared: TFields, unique?: CompositeUnique<TFields>): {
+        fields: TFields;
+        unique: CompositeUnique<TFields> | undefined;
+    };
+    /** A second `primary` is refused, naming both, rather than the first winning silently. */
+    get primary(): FieldName<TFields> | undefined;
+}
+/** The order is part of a group: `['a','b']` and `['b','a']` are two constraints. */
+export declare function deduplicated(groups: readonly (readonly string[])[]): readonly (readonly string[])[] | undefined;
+//# sourceMappingURL=FieldSet.d.ts.map

package/dist/field/FieldSet.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FieldSet.d.ts","sourceRoot":"","sources":["../../src/field/FieldSet.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AACvE,OAAO,EAAS,KAAK,SAAS,EAAE,KAAK,MAAM,EAAE,MAAM,YAAY,CAAC;AAEhE,qBAAa,QAAQ,CAAC,OAAO,SAAS,MAAM,GAAG,MAAM;IAC/B,OAAO,CAAC,QAAQ,CAAC,MAAM;IAA3C,OAAO,eAAiD;IAExD,MAAM,CAAC,EAAE,CAAC,OAAO,SAAS,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,CAEpE;IAED;;;;;OAKG;IACH,MAAM,CAAC,SAAS,CAAC,OAAO,SAAS,MAAM,EACrC,QAAQ,EAAE,OAAO,EACjB,MAAM,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,GAChC;QAAE,MAAM,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,GAAG,SAAS,CAAA;KAAE,CA0BnE;IAED,0FAA0F;IAC1F,IAAI,OAAO,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,SAAS,CAa5C;CAEF;AAED,qFAAqF;AACrF,wBAAgB,YAAY,CAC1B,MAAM,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,GACrC,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,GAAG,SAAS,CAK5C"}

package/dist/field/FieldSet.js

@@ -0,0 +1,58 @@
+import { Role } from '../axis/role/Role.js';
+import { Field } from './Field.js';
+export class FieldSet {
+    fields;
+    constructor(fields) {
+        this.fields = fields;
+    }
+    static of(fields) {
+        return new FieldSet(fields);
+    }
+    /**
+     * So a declared unique lands where it belongs: on the field, or on the schema.
+     * FR : pour qu'une unicité déclarée atterrisse sur le champ ou sur le schéma.
+     * `declaring(fields, [['email'], ['listId', 'docId']])`
+     * → `email` carries `role.unique`, the pair becomes a schema constraint
+     */
+    static declaring(declared, unique) {
+        const fields = {};
+        for (const [key, field] of Object.entries(declared))
+            fields[key] = new Field(field, key);
+        const composite = [];
+        for (const group of unique ?? []) {
+            const missing = group.filter((key) => !Object.hasOwn(fields, key));
+            if (missing.length)
+                throw new Error(`unique: [${group.join(', ')}] names ` +
+                    `${missing.map((key) => `'${key}'`).join(', ')}, which the entity does not declare.`);
+            if (group.length === 1) {
+                const key = group[0];
+                fields[key] = fields[key].with({ role: { ...fields[key].role, unique: true } });
+                continue;
+            }
+            composite.push([...group]);
+        }
+        return {
+            fields: fields,
+            unique: deduplicated(composite),
+        };
+    }
+    /** A second `primary` is refused, naming both, rather than the first winning silently. */
+    get primary() {
+        const primaries = Object.entries(this.fields)
+            .filter(([, field]) => Role.of(field).isPrimary)
+            .map(([name]) => name);
+        if (primaries.length > 1) {
+            throw new Error(`FieldSet.primary: ${primaries.map((name) => JSON.stringify(name)).join(', ')} all declare ` +
+                '`primary`; a field set can have only one primary field.');
+        }
+        return primaries[0];
+    }
+}
+/** The order is part of a group: `['a','b']` and `['b','a']` are two constraints. */
+export function deduplicated(groups) {
+    const seen = new Map();
+    for (const group of groups)
+        seen.set(JSON.stringify(group), group);
+    return seen.size ? [...seen.values()] : undefined;
+}
+//# sourceMappingURL=FieldSet.js.map

package/dist/field/FieldSet.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FieldSet.js","sourceRoot":"","sources":["../../src/field/FieldSet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAE5C,OAAO,EAAE,KAAK,EAA+B,MAAM,YAAY,CAAC;AAEhE,MAAM,OAAO,QAAQ;IACkB,MAAM;IAA3C,YAAqC,MAAe;sBAAf,MAAM;IAAY,CAAC;IAExD,MAAM,CAAC,EAAE,CAAyB,MAAe;QAC/C,OAAO,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC;IAED;;;;;OAKG;IACH,MAAM,CAAC,SAAS,CACd,QAAiB,EACjB,MAAiC;QAEjC,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;YACjD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAEtC,MAAM,SAAS,GAAe,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;YACnE,IAAI,OAAO,CAAC,MAAM;gBAChB,MAAM,IAAI,KAAK,CACb,YAAY,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU;oBACpC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sCAAsC,CACvF,CAAC;YAEJ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;gBACtB,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,MAAM,CAAC,GAAG,CAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;gBAClF,SAAS;YACX,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO;YACL,MAAM,EAAE,MAAiB;YACzB,MAAM,EAAE,YAAY,CAAC,SAAS,CAAyC;SACxE,CAAC;IACJ,CAAC;IAED,0FAA0F;IAC1F,IAAI,OAAO;QACT,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;aAC1C,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC;aAC/C,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;QAEzB,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CACb,qBAAqB,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe;gBAC1F,yDAAyD,CAC5D,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC,CAAC,CAAmC,CAAC;IACxD,CAAC;CAEF;AAED,qFAAqF;AACrF,MAAM,UAAU,YAAY,CAC1B,MAAsC;IAEtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAA6B,CAAC;IAClD,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAEnE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC"}

package/dist/index.d.ts

@@ -1,60 +1,30 @@
-export { Field, type Fields } from './schema/fields/Field.js';
-export { FieldSet } from './schema/fields/FieldSet.js';
-export { type Shape, Anatomy } from './schema/axis/shape/Shape.js';
-export { type StringFormat, type FormatPredicate, Formats, } from './schema/axis/shape/Formats.js';
-export { Role, type RoleRules } from './schema/axis/role/Role.js';
-export { type Relation, type EntityConstructor } from './schema/axis/role/Relation.js';
-export { Lifecycle, type LifecycleRules } from './schema/axis/lifecycle/Lifecycle.js';
-export { type GeneratorRef, Generators } from './schema/axis/lifecycle/Generators.js';
-export { Clock } from './schema/axis/lifecycle/Clock.js';
-export { Boundary, type BoundaryRules, type BoundaryRef, } from './schema/axis/boundary/Boundary.js';
-export { type Decoder, type Encoder, Boundaries } from './schema/axis/boundary/Boundaries.js';
-export { type Meta } from './schema/axis/Meta.js';
-export { FieldGroup } from './schema/fields/constraint/FieldGroup.js';
-export { Unique } from './schema/fields/constraint/Unique.js';
-export { Schema, ANONYMOUS_SCHEMA_NAME, type SchemaConstructor, } from './schema/Schema.js';
-export { SchemaDerivation } from './schema/SchemaDerivation.js';
-export { Cases, type Case } from './projection/Cases.js';
-export { RowRefusal } from './judge/RowRefusal.js';
-export { type SchemaView, type Row, type PartialRow } from './schema/SchemaView.js';
-export { type FougereEntityAdapters, type EntityAdapters } from './entity/EntityAdapters.js';
-export { type EntityDeclarations, type CompositeUnique, type PreviousNames, } from './entity/EntityDeclarations.js';
-export { lowerFirst, upperFirst, isObject } from './utils.js';
-export { primary } from './vocabulary/primary.js';
-export { text } from './vocabulary/text.js';
-export { email } from './vocabulary/email.js';
-export { url } from './vocabulary/url.js';
-export { list } from './vocabulary/list.js';
-export { number } from './vocabulary/number.js';
-export { bool } from './vocabulary/bool.js';
-export { date } from './vocabulary/date.js';
-export { created } from './vocabulary/created.js';
-export { updated } from './vocabulary/updated.js';
-export { oneOf } from './vocabulary/oneOf.js';
-export { ref } from './vocabulary/ref.js';
-export { many } from './vocabulary/many.js';
-export { optional } from './vocabulary/optional.js';
-export { nullable } from './vocabulary/nullable.js';
-export { immutable } from './vocabulary/immutable.js';
-export { unique } from './vocabulary/unique.js';
-export { indexed } from './vocabulary/indexed.js';
-export { readOnly } from './vocabulary/readOnly.js';
-export { writeOnly } from './vocabulary/writeOnly.js';
-export { json } from './vocabulary/json.js';
-export { applyCreate, applyUpdate } from './schema/axis/lifecycle/apply.js';
-export { Visibility } from './projection/Visibility.js';
+export { entity } from './entity.js';
+export * from './vocabulary/index.js';
+export { Schema, ANONYMOUS_SCHEMA_NAME, type SchemaConstructor } from './Schema.js';
+export { type SchemaView } from './SchemaView.js';
+export { Field, type Fields } from './field/Field.js';
+export { FieldSet } from './field/FieldSet.js';
+export { type Shape, Shapes } from './axis/shape/Shape.js';
+export { Role } from './axis/role/Role.js';
+export { type EntityConstructor } from './axis/role/Relation.js';
+export { Lifecycle, type LifecycleRules } from './axis/lifecycle/Lifecycle.js';
+export { Boundary, type BoundaryRef } from './axis/boundary/Boundary.js';
+export { applyCreate, applyUpdate } from './axis/lifecycle/apply.js';
+export { InputRefusal } from './validator/InputRefusal.js';
+export { type ValidationError, type ValidationResult } from './validation.js';
 export { Card } from './projection/card/Card.js';
 export { Bundle } from './projection/card/Bundle.js';
+export { Visibility } from './projection/Visibility.js';
+export { Cases, type ValidationCase } from './projection/Cases.js';
+export type { SchemaBundle, SchemaDescriptor, DerivedFrom, FieldDescriptor, FieldExtension, RoleDescriptor, RelationDescriptor, } from './projection/card/Descriptor.js';
 export type { Change, Diff, DiffOptions, SetDiff, SetDiffOptions, RenameCandidate, TypeSet, } from './projection/card/diff.js';
-export { EntityTypeSource, type EntityTypeSourceOptions, } from './projection/card/EntityTypeSource.js';
-export { FacadeTypeSource, type FacadeTypeSourceOptions, type OpDescriptor, } from './projection/card/FacadeTypeSource.js';
-export { type SchemaBundle, type SchemaDescriptor, type FieldDescriptor, type FieldExtension, type RoleDescriptor, type RelationDescriptor, } from './projection/card/Descriptor.js';
-export { type SchemaOrCard, schemaOf, fieldsOf } from './projection/SchemaOrCard.js';
-export type { StandardSchemaV1 } from './projection/standard.js';
-export { entity } from './entity.js';
-export { FieldJudge } from './judge/FieldJudge.js';
-export { ValueJudge } from './judge/ValueJudge.js';
-export { RowJudge } from './judge/RowJudge.js';
-export { type ValidateOptions } from './judge/options.js';
-export { type ValidationError, type ValidationResult, type Checked, } from './judge/result.js';
+export * from './lib/index.js';
+export { Formats } from './axis/shape/Formats.js';
+export { Generators } from './axis/lifecycle/Generators.js';
+export { Boundaries } from './axis/boundary/Boundaries.js';
+export { Clock } from './axis/lifecycle/Clock.js';
+export { type FougereEntityAdapters } from './entity/EntityAdapters.js';
+export { InputValidator } from './validator/InputValidator.js';
+export { FieldValueValidator } from './validator/FieldValueValidator.js';
+export { AdapterFieldValidator } from './validator/AdapterFieldValidator.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,KAAK,KAAK,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,OAAO,GACR,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,KAAK,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACvF,OAAO,EAAE,SAAS,EAAE,KAAK,cAAc,EAAE,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAE,KAAK,YAAY,EAAE,UAAU,EAAE,MAAM,uCAAuC,CAAC;AACtF,OAAO,EAAE,KAAK,EAAE,MAAM,kCAAkC,CAAC;AACzD,OAAO,EACL,QAAQ,EACR,KAAK,aAAa,EAClB,KAAK,WAAW,GACjB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,OAAO,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AAC9F,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,0CAA0C,CAAC;AACtE,OAAO,EAAE,MAAM,EAAE,MAAM,sCAAsC,CAAC;AAE9D,OAAO,EACL,MAAM,EACN,qBAAqB,EACrB,KAAK,iBAAiB,GACvB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,KAAK,EAAE,KAAK,IAAI,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,GAAG,EAAE,KAAK,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpF,OAAO,EAAE,KAAK,qBAAqB,EAAE,KAAK,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC7F,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,aAAa,GACnB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE9D,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAE5C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,YAAY,EACV,MAAM,EACN,IAAI,EACJ,WAAW,EACX,OAAO,EACP,cAAc,EACd,eAAe,EACf,OAAO,GACR,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,gBAAgB,EAChB,KAAK,uBAAuB,GAC7B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,gBAAgB,EAChB,KAAK,uBAAuB,EAC5B,KAAK,YAAY,GAClB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,kBAAkB,GACxB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,KAAK,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACrF,YAAY,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,OAAO,GACb,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,cAAc,uBAAuB,CAAC;AAEtC,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAAE,KAAK,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAC3C,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,SAAS,EAAE,KAAK,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAE,KAAK,WAAW,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAE9E,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACnE,YAAY,EACV,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,eAAe,EACf,cAAc,EACd,cAAc,EACd,kBAAkB,GACnB,MAAM,iCAAiC,CAAC;AACzC,YAAY,EACV,MAAM,EACN,IAAI,EACJ,WAAW,EACX,OAAO,EACP,cAAc,EACd,eAAe,EACf,OAAO,GACR,MAAM,2BAA2B,CAAC;AAEnC,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAClD,OAAO,EAAE,KAAK,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC"}

package/dist/index.js

@@ -1,50 +1,24 @@
-export { Field } from './schema/fields/Field.js';
-export { FieldSet } from './schema/fields/FieldSet.js';
-export { Anatomy } from './schema/axis/shape/Shape.js';
-export { Formats, } from './schema/axis/shape/Formats.js';
-export { Role } from './schema/axis/role/Role.js';
-export { Lifecycle } from './schema/axis/lifecycle/Lifecycle.js';
-export { Generators } from './schema/axis/lifecycle/Generators.js';
-export { Clock } from './schema/axis/lifecycle/Clock.js';
-export { Boundary, } from './schema/axis/boundary/Boundary.js';
-export { Boundaries } from './schema/axis/boundary/Boundaries.js';
-export { FieldGroup } from './schema/fields/constraint/FieldGroup.js';
-export { Unique } from './schema/fields/constraint/Unique.js';
-export { Schema, ANONYMOUS_SCHEMA_NAME, } from './schema/Schema.js';
-export { SchemaDerivation } from './schema/SchemaDerivation.js';
-export { Cases } from './projection/Cases.js';
-export { RowRefusal } from './judge/RowRefusal.js';
-export { lowerFirst, upperFirst, isObject } from './utils.js';
-export { primary } from './vocabulary/primary.js';
-export { text } from './vocabulary/text.js';
-export { email } from './vocabulary/email.js';
-export { url } from './vocabulary/url.js';
-export { list } from './vocabulary/list.js';
-export { number } from './vocabulary/number.js';
-export { bool } from './vocabulary/bool.js';
-export { date } from './vocabulary/date.js';
-export { created } from './vocabulary/created.js';
-export { updated } from './vocabulary/updated.js';
-export { oneOf } from './vocabulary/oneOf.js';
-export { ref } from './vocabulary/ref.js';
-export { many } from './vocabulary/many.js';
-export { optional } from './vocabulary/optional.js';
-export { nullable } from './vocabulary/nullable.js';
-export { immutable } from './vocabulary/immutable.js';
-export { unique } from './vocabulary/unique.js';
-export { indexed } from './vocabulary/indexed.js';
-export { readOnly } from './vocabulary/readOnly.js';
-export { writeOnly } from './vocabulary/writeOnly.js';
-export { json } from './vocabulary/json.js';
-export { applyCreate, applyUpdate } from './schema/axis/lifecycle/apply.js';
-export { Visibility } from './projection/Visibility.js';
+export { entity } from './entity.js';
+export * from './vocabulary/index.js';
+export { Schema, ANONYMOUS_SCHEMA_NAME } from './Schema.js';
+export { Field } from './field/Field.js';
+export { FieldSet } from './field/FieldSet.js';
+export { Shapes } from './axis/shape/Shape.js';
+export { Role } from './axis/role/Role.js';
+export { Lifecycle } from './axis/lifecycle/Lifecycle.js';
+export { Boundary } from './axis/boundary/Boundary.js';
+export { applyCreate, applyUpdate } from './axis/lifecycle/apply.js';
+export { InputRefusal } from './validator/InputRefusal.js';
 export { Card } from './projection/card/Card.js';
 export { Bundle } from './projection/card/Bundle.js';
-export { EntityTypeSource, } from './projection/card/EntityTypeSource.js';
-export { FacadeTypeSource, } from './projection/card/FacadeTypeSource.js';
-export { schemaOf, fieldsOf } from './projection/SchemaOrCard.js';
-export { entity } from './entity.js';
-export { FieldJudge } from './judge/FieldJudge.js';
-export { ValueJudge } from './judge/ValueJudge.js';
-export { RowJudge } from './judge/RowJudge.js';
+export { Visibility } from './projection/Visibility.js';
+export { Cases } from './projection/Cases.js';
+export * from './lib/index.js';
+export { Formats } from './axis/shape/Formats.js';
+export { Generators } from './axis/lifecycle/Generators.js';
+export { Boundaries } from './axis/boundary/Boundaries.js';
+export { Clock } from './axis/lifecycle/Clock.js';
+export { InputValidator } from './validator/InputValidator.js';
+export { FieldValueValidator } from './validator/FieldValueValidator.js';
+export { AdapterFieldValidator } from './validator/AdapterFieldValidator.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAe,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAc,OAAO,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAGL,OAAO,GACR,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,IAAI,EAAkB,MAAM,4BAA4B,CAAC;AAElE,OAAO,EAAE,SAAS,EAAuB,MAAM,sCAAsC,CAAC;AACtF,OAAO,EAAqB,UAAU,EAAE,MAAM,uCAAuC,CAAC;AACtF,OAAO,EAAE,KAAK,EAAE,MAAM,kCAAkC,CAAC;AACzD,OAAO,EACL,QAAQ,GAGT,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAA8B,UAAU,EAAE,MAAM,sCAAsC,CAAC;AAE9F,OAAO,EAAE,UAAU,EAAE,MAAM,0CAA0C,CAAC;AACtE,OAAO,EAAE,MAAM,EAAE,MAAM,sCAAsC,CAAC;AAE9D,OAAO,EACL,MAAM,EACN,qBAAqB,GAEtB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,KAAK,EAAa,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAQnD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE9D,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAE5C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAUrD,OAAO,EACL,gBAAgB,GAEjB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,gBAAgB,GAGjB,MAAM,uCAAuC,CAAC;AAS/C,OAAO,EAAqB,QAAQ,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAGrF,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,cAAc,uBAAuB,CAAC;AAEtC,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAA0B,MAAM,aAAa,CAAC;AAEpF,OAAO,EAAE,KAAK,EAAe,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAc,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAE3C,OAAO,EAAE,SAAS,EAAuB,MAAM,+BAA+B,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAoB,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAG3D,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,KAAK,EAAuB,MAAM,uBAAuB,CAAC;AAoBnE,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC"}

package/dist/lib/Registry.d.ts

@@ -0,0 +1,12 @@
+export declare class Registry<T> {
+    private readonly label;
+    private readonly hint?;
+    private readonly entries;
+    /** `Unknown boundary decoder 'celsius' — call Boundaries.decoders.register(name, fn).` */
+    constructor(label: string, hint?: string | undefined, builtins?: Iterable<readonly [string, T]>);
+    register(name: string, value: T): T;
+    find(name: string): T | undefined;
+    resolve(name: string, path?: string): T;
+    private get names();
+}
+//# sourceMappingURL=Registry.d.ts.map

package/dist/lib/Registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Registry.d.ts","sourceRoot":"","sources":["../../src/lib/Registry.ts"],"names":[],"mappings":"AAAA,qBAAa,QAAQ,CAAC,CAAC;IAKnB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;IALxB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAiB;IAEzC,0FAA0F;IAC1F,YACmB,KAAK,EAAE,MAAM,EACb,IAAI,CAAC,EAAE,MAAM,YAAA,EAC9B,QAAQ,CAAC,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAG1C;IAED,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAIlC;IAED,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS,CAEhC;IAED,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,CAAC,CAStC;IAED,OAAO,KAAK,KAAK,GAEhB;CACF"}

package/dist/lib/Registry.js

@@ -0,0 +1,29 @@
+export class Registry {
+    label;
+    hint;
+    entries;
+    /** `Unknown boundary decoder 'celsius' — call Boundaries.decoders.register(name, fn).` */
+    constructor(label, hint, builtins) {
+        this.label = label;
+        this.hint = hint;
+        this.entries = new Map(builtins);
+    }
+    register(name, value) {
+        this.entries.set(name, value);
+        return value;
+    }
+    find(name) {
+        return this.entries.get(name);
+    }
+    resolve(name, path) {
+        const found = this.find(name);
+        if (found !== undefined)
+            return found;
+        throw new Error(`${path ? `${path}: ` : ''}Unknown ${this.label} '${name}'${this.hint ? ` — ${this.hint}` : ''}. ` +
+            `This process answers ${this.names.join(', ') || 'nothing yet'}.`);
+    }
+    get names() {
+        return [...this.entries.keys()];
+    }
+}
+//# sourceMappingURL=Registry.js.map

package/dist/lib/Registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Registry.js","sourceRoot":"","sources":["../../src/lib/Registry.ts"],"names":[],"mappings":"AAAA,MAAM,OAAO,QAAQ;IAKA,KAAK;IACL,IAAI;IALN,OAAO,CAAiB;IAEzC,0FAA0F;IAC1F,YACmB,KAAa,EACb,IAAa,EAC9B,QAAyC;qBAFxB,KAAK;oBACL,IAAI;QAGrB,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC;IAED,QAAQ,CAAC,IAAY,EAAE,KAAQ;QAC7B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAE9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,CAAC,IAAY;QACf,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,CAAC,IAAY,EAAE,IAAa;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE9B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAEtC,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI;YAChG,wBAAwB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,aAAa,GAAG,CACpE,CAAC;IACJ,CAAC;IAED,IAAY,KAAK;QACf,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAClC,CAAC;CACF"}

package/dist/lib/index.d.ts

@@ -0,0 +1,3 @@
+export * from './Registry.js';
+export * from './utils.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/lib/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC"}

package/dist/lib/index.js

@@ -0,0 +1,3 @@
+export * from './Registry.js';
+export * from './utils.js';
+//# sourceMappingURL=index.js.map

package/dist/lib/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC"}

package/dist/lib/utils.d.ts.map

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

package/dist/lib/utils.js.map

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

package/dist/projection/Cases.d.ts

@@ -1,21 +1,17 @@
-import type { SchemaView } from '../schema/SchemaView.js';
+import type { SchemaView } from '../SchemaView.js';
 /**
- * One input, and what the judge must answer.
+ * One input, and what the validator must answer.
  *
  * `expect` carries the PATH of the field at fault and never the message. We know which
  * field must be refused because we are the ones who broke it; naming the message would
- * make this list a second judge, and the two would then have to be kept in step by hand —
+ * make this list a second validator, and the two would then have to be kept in step by hand —
  * which is the duplication the whole thing exists to remove.
  */
-export interface Case {
+export interface ValidationCase {
     /** What this input does, in one clause — carried into the assertion so a failure reads. */
     why: string;
-    body: unknown;
-    /**
-     * Judged as an update rather than a creation. The two modes refuse different things:
-     * an absence is `Required` on create and legal on patch, an immutable field is legal
-     * on create and refused on patch.
-     */
+    input: unknown;
+    /** Judged as an update rather than a creation. */
     patch: boolean;
     expect: 'accept' | {
         reject: string;
@@ -28,23 +24,16 @@ export interface Case {
  * supplies a valid row; generating data belongs to the testing package.
  */
 export declare class Cases {
-    readonly all: readonly Case[];
+    readonly all: readonly ValidationCase[];
     private constructor();
     static of(entity: SchemaView, valid: Record<string, unknown>): Cases;
-    /**
-     * Whether a verdict is the one a case expected.
-     *
-     * Takes the RESULT rather than the input so the same reader serves the local judge, the
-     * façade and a door — the three that have to agree.
-     */
-    static holds(expected: Case['expect'], result: {
+    static holds(expected: ValidationCase['expect'], result: {
         success: boolean;
         errors?: {
             path: string;
         }[];
     }): boolean;
-    /** Every way a row is refused for its structure — the closed set this table must cover. */
     static get refusals(): string[];
-    [Symbol.iterator](): Iterator<Case>;
+    [Symbol.iterator](): Iterator<ValidationCase>;
 }
 //# sourceMappingURL=Cases.d.ts.map

package/dist/projection/Cases.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Cases.d.ts","sourceRoot":"","sources":["../../src/projection/Cases.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAI1D;;;;;;;GAOG;AACH,MAAM,WAAW,IAAI;IACnB,2FAA2F;IAC3F,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,OAAO,CAAC;IACd;;;;OAIG;IACH,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,QAAQ,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACvC;AAyCD;;;;;GAKG;AACH,qBAAa,KAAK;IACI,QAAQ,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE;IAAjD,OAAO,eAA8C;IAErD,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,KAAK,CAEnE;IAED;;;;;OAKG;IACH,MAAM,CAAC,KAAK,CACV,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EACxB,MAAM,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE;YAAE,IAAI,EAAE,MAAM,CAAA;SAAE,EAAE,CAAA;KAAE,GACxD,OAAO,CAIT;IAED,2FAA2F;IAC3F,MAAM,KAAK,QAAQ,IAAI,MAAM,EAAE,CAE9B;IAED,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAElC;CACF"}
+{"version":3,"file":"Cases.d.ts","sourceRoot":"","sources":["../../src/projection/Cases.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAInD;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAC7B,2FAA2F;IAC3F,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,OAAO,CAAC;IACf,kDAAkD;IAClD,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,QAAQ,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACvC;AAiDD;;;;;GAKG;AACH,qBAAa,KAAK;IACI,QAAQ,CAAC,GAAG,EAAE,SAAS,cAAc,EAAE;IAA3D,OAAO,eAAwD;IAE/D,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,KAAK,CAEnE;IAED,MAAM,CAAC,KAAK,CACV,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,EAClC,MAAM,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE;YAAE,IAAI,EAAE,MAAM,CAAA;SAAE,EAAE,CAAA;KAAE,GACxD,OAAO,CAIT;IAED,MAAM,KAAK,QAAQ,IAAI,MAAM,EAAE,CAE9B;IAED,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,cAAc,CAAC,CAE5C;CACF"}

package/dist/projection/Cases.js

@@ -1,46 +1,54 @@
-import { Anatomy } from '../schema/axis/shape/Shape.js';
-import { Boundary } from '../schema/axis/boundary/Boundary.js';
-import { Lifecycle } from '../schema/axis/lifecycle/Lifecycle.js';
-import { Role } from '../schema/axis/role/Role.js';
-import { RowJudge } from '../judge/RowJudge.js';
-import { RowRefusal } from '../judge/RowRefusal.js';
-/** A value of the wrong type for the declared shape — the one violation every field has. */
+import { Shapes } from '../axis/shape/Shape.js';
+import { Boundary } from '../axis/boundary/Boundary.js';
+import { Lifecycle } from '../axis/lifecycle/Lifecycle.js';
+import { Role } from '../axis/role/Role.js';
+import { InputValidator } from '../validator/InputValidator.js';
+import { InputRefusal } from '../validator/InputRefusal.js';
+/**
+ * So every field has at least one case, whatever else it declares.
+ * FR : pour que chaque champ ait un cas, quoi qu'il déclare par ailleurs.
+ * `text()` → `42`; `number()` → `'not-a-value-of-this-shape'`
+ */
 function wrongTypeFor(field) {
     const declared = field.shape.type;
     const names = Array.isArray(declared) ? declared : [declared];
     return names.includes('string') ? 42 : 'not-a-value-of-this-shape';
 }
-/** Values that break a stated bound. Empty when the field states none. */
+/**
+ * So a bound stated in a shape produces the case that breaks it, and none is invented.
+ * FR : pour qu'une borne énoncée produise le cas qui la casse, et aucun autre.
+ * `text({ maxLength: 3 })` → one case with `'xxxx'`; `text()` → no case
+ */
 function outOfBoundsFor(field) {
-    // Through `Anatomy`, not a cast: the cast admitted any keyword, and it declared
+    // Through `Shapes`, not a cast: the cast admitted any keyword, and it declared
     // `maxItems` — which no branch below ever produced. In the one function whose job is
     // to be exhaustive, a bound the type does not carry is a case nobody notices missing.
-    const shape = Anatomy.of(field.shape).base;
-    const out = [];
+    const shape = Shapes.of(field.shape).base;
+    const cases = [];
     if (shape?.type === 'string') {
         if (typeof shape.minLength === 'number' && shape.minLength > 0)
-            out.push({ why: 'shorter than min', value: 'x'.repeat(shape.minLength - 1) });
+            cases.push({ why: 'shorter than min', value: 'x'.repeat(shape.minLength - 1) });
         if (typeof shape.maxLength === 'number')
-            out.push({ why: 'longer than max', value: 'x'.repeat(shape.maxLength + 1) });
+            cases.push({ why: 'longer than max', value: 'x'.repeat(shape.maxLength + 1) });
         if (shape.enum)
-            out.push({ why: 'outside the stated set', value: '__not-in-enum__' });
+            cases.push({ why: 'outside the stated set', value: '__not-in-enum__' });
     }
     if (shape?.type === 'number' || shape?.type === 'integer') {
         if (typeof shape.minimum === 'number')
-            out.push({ why: 'below minimum', value: shape.minimum - 1 });
+            cases.push({ why: 'below minimum', value: shape.minimum - 1 });
         if (typeof shape.maximum === 'number')
-            out.push({ why: 'above maximum', value: shape.maximum + 1 });
+            cases.push({ why: 'above maximum', value: shape.maximum + 1 });
     }
     if (shape?.type === 'array') {
         if (typeof shape.minItems === 'number' && shape.minItems > 0)
-            out.push({ why: 'fewer items than min', value: [] });
+            cases.push({ why: 'fewer items than min', value: [] });
         if (typeof shape.maxItems === 'number')
-            out.push({
+            cases.push({
                 why: 'more items than max',
                 value: Array.from({ length: shape.maxItems + 1 }, () => null),
             });
     }
-    return out;
+    return cases;
 }
 /**
  * The decision table, enumerated on the entity's own fields.
@@ -56,12 +64,6 @@ export class Cases {
     static of(entity, valid) {
         return new Cases(enumerate(entity, valid));
     }
-    /**
-     * Whether a verdict is the one a case expected.
-     *
-     * Takes the RESULT rather than the input so the same reader serves the local judge, the
-     * façade and a door — the three that have to agree.
-     */
     static holds(expected, result) {
         if (expected === 'accept')
             return result.success;
@@ -69,29 +71,32 @@ export class Cases {
             return false;
         return (result.errors ?? []).some((error) => error.path === expected.reject);
     }
-    /** Every way a row is refused for its structure — the closed set this table must cover. */
     static get refusals() {
-        return Object.values(RowRefusal);
+        return Object.values(InputRefusal);
     }
     [Symbol.iterator]() {
         return this.all[Symbol.iterator]();
     }
 }
+/**
+ * So the four axes decide which cases exist, and no list of them is maintained by hand.
+ * FR : pour que les axes décident des cas, sans liste tenue à la main.
+ */
 function enumerate(entity, valid) {
     const fields = entity.getFields();
-    const judge = RowJudge.of(fields);
+    const validator = InputValidator.of(fields);
     const cases = [];
     const withField = (name, value) => ({ ...valid, [name]: value });
-    cases.push({ why: 'a valid body', body: valid, patch: false, expect: 'accept' });
+    cases.push({ why: 'a valid input', input: valid, patch: false, expect: 'accept' });
     cases.push({
         why: 'a key outside the contract',
-        body: { ...valid, __unknown__: 'x' },
+        input: { ...valid, __unknown__: 'x' },
         patch: false,
         expect: { reject: '__unknown__' },
     });
     cases.push({
         why: 'not an object at all',
-        body: 'a string',
+        input: 'a string',
         patch: false,
         expect: { reject: '.' },
     });
@@ -99,15 +104,15 @@ function enumerate(entity, valid) {
         // A reference names a row that must exist; the caller supplied its id and we do not
         // get to invent a second one, so the only case we can state about it is the bound one.
         const isRef = Role.of(field).isReference;
-        if (judge.onAbsent(field) === null && name in valid) {
-            const body = { ...valid };
-            delete body[name];
-            cases.push({ why: `${name} absent`, body, patch: false, expect: { reject: name } });
+        if (validator.onAbsent(field) === null && name in valid) {
+            const input = { ...valid };
+            delete input[name];
+            cases.push({ why: `${name} absent`, input, patch: false, expect: { reject: name } });
         }
         if (Boundary.of(field).readOnly) {
             cases.push({
                 why: `${name} supplied although read-only`,
-                body: withField(name, wrongTypeFor(field)),
+                input: withField(name, wrongTypeFor(field)),
                 patch: false,
                 expect: { reject: name },
             });
@@ -115,7 +120,7 @@ function enumerate(entity, valid) {
         if (Lifecycle.of(field).immutable && !Role.of(field).isPrimary) {
             cases.push({
                 why: `${name} supplied on an update`,
-                body: { [name]: valid[name] ?? wrongTypeFor(field) },
+                input: { [name]: valid[name] ?? wrongTypeFor(field) },
                 patch: true,
                 expect: { reject: name },
             });
@@ -123,14 +128,14 @@ function enumerate(entity, valid) {
         if (name in valid && !isRef) {
             cases.push({
                 why: `${name} of the wrong type`,
-                body: withField(name, wrongTypeFor(field)),
+                input: withField(name, wrongTypeFor(field)),
                 patch: false,
                 expect: { reject: name },
             });
             for (const { why, value } of outOfBoundsFor(field))
                 cases.push({
                     why: `${name} ${why}`,
-                    body: withField(name, value),
+                    input: withField(name, value),
                     patch: false,
                     expect: { reject: name },
                 });