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

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) => !(key in fields));
+            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,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC;YACxD,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,25 +1,23 @@
-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 { Field, type Fields } from './field/Field.js';
+export { FieldSet } from './field/FieldSet.js';
+export { type Shape, Shapes } from './axis/shape/Shape.js';
+export { type StringFormat, type FormatPredicate, Formats, } from './axis/shape/Formats.js';
+export { Role, type RoleRules } from './axis/role/Role.js';
+export { type Relation, type EntityConstructor } from './axis/role/Relation.js';
+export { Lifecycle, type LifecycleRules } from './axis/lifecycle/Lifecycle.js';
+export { type GeneratorRef, Generators } from './axis/lifecycle/Generators.js';
+export { Clock } from './axis/lifecycle/Clock.js';
+export { Boundary, type BoundaryRules, type BoundaryRef, } from './axis/boundary/Boundary.js';
+export { type Decoder, type Encoder, Boundaries } from './axis/boundary/Boundaries.js';
+export { type Meta } from './axis/Meta.js';
+export { Schema, ANONYMOUS_SCHEMA_NAME, type SchemaConstructor } from './Schema.js';
+export { SchemaDerivation } from './SchemaDerivation.js';
+export { Cases, type ValidationCase } from './projection/Cases.js';
+export { InputRefusal } from './validator/InputRefusal.js';
+export { type SchemaView, type Values, type PartialValues } from './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 { lowerFirst, upperFirst, isObject } from './lib/utils.js';
 export { primary } from './vocabulary/primary.js';
 export { text } from './vocabulary/text.js';
 export { email } from './vocabulary/email.js';
@@ -41,20 +39,19 @@ 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 { applyCreate, applyUpdate } from './axis/lifecycle/apply.js';
 export { Visibility } from './projection/Visibility.js';
 export { Card } from './projection/card/Card.js';
 export { Bundle } from './projection/card/Bundle.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 { FieldDeclarationValidator } from './validator/FieldDeclarationValidator.js';
+export { FieldValueValidator } from './validator/FieldValueValidator.js';
+export { InputValidator } from './validator/InputValidator.js';
+export { AdapterFieldValidator } from './validator/AdapterFieldValidator.js';
+export { Registry } from './lib/Registry.js';
+export { type ValidateOptions } from './validator/InputValidator.js';
+export { type ValidationError, type ValidationResult, type Checked } from './validation.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,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,EACL,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,OAAO,GACR,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,KAAK,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAChF,OAAO,EAAE,SAAS,EAAE,KAAK,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/E,OAAO,EAAE,KAAK,YAAY,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAClD,OAAO,EACL,QAAQ,EACR,KAAK,aAAa,EAClB,KAAK,WAAW,GACjB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AACvF,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAE3C,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAAE,KAAK,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,KAAK,EAAE,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,MAAM,EAAE,KAAK,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACnF,OAAO,EACL,KAAK,qBAAqB,EAC1B,KAAK,cAAc,GACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,aAAa,GACnB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAElE,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,2BAA2B,CAAC;AACrE,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,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,kBAAkB,GACxB,MAAM,iCAAiC,CAAC;AACzC,YAAY,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,yBAAyB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,gBAAgB,EAAE,KAAK,OAAO,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/index.js

@@ -1,20 +1,18 @@
-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 { Field } from './field/Field.js';
+export { FieldSet } from './field/FieldSet.js';
+export { Shapes } from './axis/shape/Shape.js';
+export { Formats, } from './axis/shape/Formats.js';
+export { Role } from './axis/role/Role.js';
+export { Lifecycle } from './axis/lifecycle/Lifecycle.js';
+export { Generators } from './axis/lifecycle/Generators.js';
+export { Clock } from './axis/lifecycle/Clock.js';
+export { Boundary, } from './axis/boundary/Boundary.js';
+export { Boundaries } from './axis/boundary/Boundaries.js';
+export { Schema, ANONYMOUS_SCHEMA_NAME } from './Schema.js';
+export { SchemaDerivation } from './SchemaDerivation.js';
 export { Cases } from './projection/Cases.js';
-export { RowRefusal } from './judge/RowRefusal.js';
-export { lowerFirst, upperFirst, isObject } from './utils.js';
+export { InputRefusal } from './validator/InputRefusal.js';
+export { lowerFirst, upperFirst, isObject } from './lib/utils.js';
 export { primary } from './vocabulary/primary.js';
 export { text } from './vocabulary/text.js';
 export { email } from './vocabulary/email.js';
@@ -36,15 +34,14 @@ 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 { applyCreate, applyUpdate } from './axis/lifecycle/apply.js';
 export { Visibility } from './projection/Visibility.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 { FieldDeclarationValidator } from './validator/FieldDeclarationValidator.js';
+export { FieldValueValidator } from './validator/FieldValueValidator.js';
+export { InputValidator } from './validator/InputValidator.js';
+export { AdapterFieldValidator } from './validator/AdapterFieldValidator.js';
+export { Registry } from './lib/Registry.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,KAAK,EAAe,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAc,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAGL,OAAO,GACR,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,IAAI,EAAkB,MAAM,qBAAqB,CAAC;AAE3D,OAAO,EAAE,SAAS,EAAuB,MAAM,+BAA+B,CAAC;AAC/E,OAAO,EAAqB,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAClD,OAAO,EACL,QAAQ,GAGT,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAA8B,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGvF,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAA0B,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,KAAK,EAAuB,MAAM,uBAAuB,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAW3D,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAElE,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,2BAA2B,CAAC;AACrE,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAoBrD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,yBAAyB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,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/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 },
                 });

package/dist/projection/Cases.js.map

@@ -1 +1 @@
-{"version":3,"file":"Cases.js","sourceRoot":"","sources":["../../src/projection/Cases.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,+BAA+B,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,qCAAqC,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAGnD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAuBpD,4FAA4F;AAC5F,SAAS,YAAY,CAAC,KAAY;IAChC,MAAM,QAAQ,GAAI,KAAK,CAAC,KAA+C,CAAC,IAAI,CAAC;IAC7E,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,2BAA2B,CAAC;AACrE,CAAC;AAED,0EAA0E;AAC1E,SAAS,cAAc,CAAC,KAAY;IAClC,gFAAgF;IAChF,qFAAqF;IACrF,sFAAsF;IACtF,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;IAC3C,MAAM,GAAG,GAAsC,EAAE,CAAC;IAClD,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC;YAC5D,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,kBAAkB,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAChF,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;YACrC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,IAAI,KAAK,CAAC,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1D,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YACnC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YACnC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC;YAC1D,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,sBAAsB,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACvD,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;YACpC,GAAG,CAAC,IAAI,CAAC;gBACP,GAAG,EAAE,qBAAqB;gBAC1B,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC;aAC9D,CAAC,CAAC;IACP,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,KAAK;IACa,GAAG;IAAhC,YAA6B,GAAoB;mBAApB,GAAG;IAAoB,CAAC;IAErD,MAAM,CAAC,EAAE,CAAC,MAAkB,EAAE,KAA8B;QAC1D,OAAO,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED;;;;;OAKG;IACH,MAAM,CAAC,KAAK,CACV,QAAwB,EACxB,MAAyD;QAEzD,IAAI,QAAQ,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC;QACjD,IAAI,MAAM,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QACjC,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/E,CAAC;IAED,2FAA2F;IAC3F,MAAM,KAAK,QAAQ;QACjB,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC;IAED,CAAC,MAAM,CAAC,QAAQ,CAAC;QACf,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IACrC,CAAC;CACF;AAED,SAAS,SAAS,CAAC,MAAkB,EAAE,KAA8B;IACnE,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,KAAc,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAElF,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjF,KAAK,CAAC,IAAI,CAAC;QACT,GAAG,EAAE,4BAA4B;QACjC,IAAI,EAAE,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE;QACpC,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE;KAClC,CAAC,CAAC;IACH,KAAK,CAAC,IAAI,CAAC;QACT,GAAG,EAAE,sBAAsB;QAC3B,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;KACxB,CAAC,CAAC;IAEH,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAsB,EAAE,CAAC;QACxE,oFAAoF;QACpF,uFAAuF;QACvF,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC;QAEzC,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;YACpD,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACtF,CAAC;QAED,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC;gBACT,GAAG,EAAE,GAAG,IAAI,8BAA8B;gBAC1C,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;gBAC1C,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;aACzB,CAAC,CAAC;QACL,CAAC;QAED,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC;gBACT,GAAG,EAAE,GAAG,IAAI,wBAAwB;gBACpC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE;gBACpD,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;aACzB,CAAC,CAAC;QACL,CAAC;QAED,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC;gBACT,GAAG,EAAE,GAAG,IAAI,oBAAoB;gBAChC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;gBAC1C,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;aACzB,CAAC,CAAC;YACH,KAAK,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,cAAc,CAAC,KAAK,CAAC;gBAChD,KAAK,CAAC,IAAI,CAAC;oBACT,GAAG,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE;oBACrB,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC;oBAC5B,KAAK,EAAE,KAAK;oBACZ,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;iBACzB,CAAC,CAAC;QACP,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"Cases.js","sourceRoot":"","sources":["../../src/projection/Cases.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAG5C,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAmB5D;;;;GAIG;AACH,SAAS,YAAY,CAAC,KAAY;IAChC,MAAM,QAAQ,GAAI,KAAK,CAAC,KAA+C,CAAC,IAAI,CAAC;IAC7E,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC9D,OAAO,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,2BAA2B,CAAC;AACrE,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,KAAY;IAClC,+EAA+E;IAC/E,qFAAqF;IACrF,sFAAsF;IACtF,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;IAC1C,MAAM,KAAK,GAAsC,EAAE,CAAC;IACpD,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,kBAAkB,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAClF,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;YACrC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACjF,IAAI,KAAK,CAAC,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,KAAK,EAAE,IAAI,KAAK,QAAQ,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1D,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YACnC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YACnC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC;YAC1D,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,sBAAsB,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACzD,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;YACpC,KAAK,CAAC,IAAI,CAAC;gBACT,GAAG,EAAE,qBAAqB;gBAC1B,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC;aAC9D,CAAC,CAAC;IACP,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,KAAK;IACa,GAAG;IAAhC,YAA6B,GAA8B;mBAA9B,GAAG;IAA8B,CAAC;IAE/D,MAAM,CAAC,EAAE,CAAC,MAAkB,EAAE,KAA8B;QAC1D,OAAO,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,CAAC,KAAK,CACV,QAAkC,EAClC,MAAyD;QAEzD,IAAI,QAAQ,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC;QACjD,IAAI,MAAM,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QACjC,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/E,CAAC;IAED,MAAM,KAAK,QAAQ;QACjB,OAAO,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACrC,CAAC;IAED,CAAC,MAAM,CAAC,QAAQ,CAAC;QACf,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;IACrC,CAAC;CACF;AAED;;;GAGG;AACH,SAAS,SAAS,CAAC,MAAkB,EAAE,KAA8B;IACnE,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,KAAc,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IAElF,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IACnF,KAAK,CAAC,IAAI,CAAC;QACT,GAAG,EAAE,4BAA4B;QACjC,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE;QACrC,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE;KAClC,CAAC,CAAC;IACH,KAAK,CAAC,IAAI,CAAC;QACT,GAAG,EAAE,sBAAsB;QAC3B,KAAK,EAAE,UAAU;QACjB,KAAK,EAAE,KAAK;QACZ,MAAM,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;KACxB,CAAC,CAAC;IAEH,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAsB,EAAE,CAAC;QACxE,oFAAoF;QACpF,uFAAuF;QACvF,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC;QAEzC,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;YACxD,MAAM,KAAK,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;YAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC;YACnB,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACvF,CAAC;QAED,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC;gBACT,GAAG,EAAE,GAAG,IAAI,8BAA8B;gBAC1C,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;gBAC3C,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;aACzB,CAAC,CAAC;QACL,CAAC;QAED,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;YAC/D,KAAK,CAAC,IAAI,CAAC;gBACT,GAAG,EAAE,GAAG,IAAI,wBAAwB;gBACpC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE;gBACrD,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;aACzB,CAAC,CAAC;QACL,CAAC;QAED,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC;gBACT,GAAG,EAAE,GAAG,IAAI,oBAAoB;gBAChC,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC;gBAC3C,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;aACzB,CAAC,CAAC;YACH,KAAK,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,cAAc,CAAC,KAAK,CAAC;gBAChD,KAAK,CAAC,IAAI,CAAC;oBACT,GAAG,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE;oBACrB,KAAK,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC;oBAC7B,KAAK,EAAE,KAAK;oBACZ,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE;iBACzB,CAAC,CAAC;QACP,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/projection/Visibility.d.ts

@@ -1,8 +1,9 @@
-import type { Fields } from '../schema/fields/Field.js';
+import type { Fields } from '../field/Field.js';
 export declare class Visibility {
     private readonly fields;
     private constructor();
     static of(fields: Fields): Visibility;
+    /** A write-only secret is absent from the type, not just from the value. */
     get input(): Fields;
     get output(): Fields;
     encode(record: Record<string, unknown>): Record<string, unknown>;

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

@@ -1 +1 @@
-{"version":3,"file":"Visibility.d.ts","sourceRoot":"","sources":["../../src/projection/Visibility.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAExD,qBAAa,UAAU;IACD,OAAO,CAAC,QAAQ,CAAC,MAAM;IAA3C,OAAO,eAAgD;IAEvD,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAEpC;IAED,IAAI,KAAK,IAAI,MAAM,CAWlB;IAED,IAAI,MAAM,IAAI,MAAM,CAOnB;IAED,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAc/D;CACF"}
+{"version":3,"file":"Visibility.d.ts","sourceRoot":"","sources":["../../src/projection/Visibility.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEhD,qBAAa,UAAU;IACD,OAAO,CAAC,QAAQ,CAAC,MAAM;IAA3C,OAAO,eAAgD;IAEvD,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAEpC;IAED,4EAA4E;IAC5E,IAAI,KAAK,IAAI,MAAM,CAWlB;IAED,IAAI,MAAM,IAAI,MAAM,CAOnB;IAED,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAc/D;CACF"}

package/dist/projection/Visibility.js

@@ -1,6 +1,6 @@
-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 { Boundary } from '../axis/boundary/Boundary.js';
+import { Lifecycle } from '../axis/lifecycle/Lifecycle.js';
+import { Role } from '../axis/role/Role.js';
 export class Visibility {
     fields;
     constructor(fields) {
@@ -9,6 +9,7 @@ export class Visibility {
     static of(fields) {
         return new Visibility(fields);
     }
+    /** A write-only secret is absent from the type, not just from the value. */
     get input() {
         const result = {};
         for (const [name, field] of Object.entries(this.fields)) {