@fougere/schema 0.3.0-alpha.0 → 0.4.0-alpha.0

package/dist/fields/FieldSet.js

@@ -0,0 +1,55 @@
+import { Role } from '../axis/role/Role.js';
+import { FieldGroup } from '../constraint/FieldGroup.js';
+import { Unique } from '../constraint/Unique.js';
+import { Field } from './Field.js';
+export class FieldSet {
+    fields;
+    constructor(fields) {
+        this.fields = fields;
+    }
+    static of(fields) {
+        return new FieldSet(fields);
+    }
+    /**
+     * Every entry through the field door, then the groups declared over several of them.
+     * A group written here names its members; one written on a field named itself, and the
+     * key it sat under resolved it.
+     */
+    static declared(declared, unique) {
+        let fields = {};
+        for (const [key, field] of Object.entries(declared))
+            fields[key] = new Field(field, key);
+        for (const group of unique ?? [])
+            fields = new Unique(group).onto(fields);
+        return fields;
+    }
+    /**
+     * The name of the field that carries `primary`, or `undefined` when none does.
+     *
+     * `Role.of(field).isPrimary` answers about ONE field; this answers about a shape, which
+     * is the question every reader actually had. It was the same three lines spelled five
+     * times — a mirror's key, a form's row identity, GraphQL's node id, the DDL's primary
+     * key and the ORM's `findById` column — so a shape with two primaries meant whichever
+     * one that loop happened to see first, five times over.
+     *
+     * The absence is answered and not defaulted: `'id'` is a fine fallback for a form and a
+     * lie for a DDL, so the caller decides.
+     */
+    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];
+    }
+    get uniqueGroups() {
+        const groups = FieldGroup.groupsOf(this.fields, Unique);
+        return groups.length
+            ? groups.map((group) => [...group.members])
+            : undefined;
+    }
+}
+//# sourceMappingURL=FieldSet.js.map

package/dist/fields/FieldSet.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FieldSet.js","sourceRoot":"","sources":["../../src/fields/FieldSet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAEjD,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;;;;OAIG;IACH,MAAM,CAAC,QAAQ,CACb,QAAiB,EACjB,MAAiC;QAEjC,IAAI,MAAM,GAAW,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACzF,KAAK,MAAM,KAAK,IAAI,MAAM,IAAI,EAAE;YAAE,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1E,OAAO,MAAiB,CAAC;IAC3B,CAAC;IAED;;;;;;;;;;;OAWG;IACH,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;gBAC5F,yDAAyD,CAC1D,CAAC;QACJ,CAAC;QAED,OAAO,SAAS,CAAC,CAAC,CAAmC,CAAC;IACxD,CAAC;IAED,IAAI,YAAY;QACd,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACxD,OAAO,MAAM,CAAC,MAAM;YAClB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAwC;YAClF,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;CACF"}

package/dist/index.d.ts

@@ -1,20 +1,25 @@
-export { Field, type Fields } from './Field.js';
+export { Field, type Fields } from './fields/Field.js';
+export { FieldSet } from './fields/FieldSet.js';
 export { type Shape, Anatomy } from './axis/shape/Shape.js';
 export { type StringFormat, type FormatPredicate, Formats } from './axis/shape/Formats.js';
-export { Role, primaryFieldOf, type RoleRules } from './axis/role/Role.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, registerGenerator } from './axis/lifecycle/Generators.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 { FieldGroup } from './constraint/FieldGroup.js';
 export { Unique } from './constraint/Unique.js';
-export { Schema, ANONYMOUS_SCHEMA_NAME, type SchemaConstructor } from './Schema.js';
-export { casesFor, holds, refusalBranches, type Case } from './judge/cases.js';
-export { type SchemaView, type Row, type PartialRow } from './SchemaView.js';
-export { type FougereHints, type Hints } from './EntityDeclarations.js';
-export { same } from './same.js';
+export { Schema, ANONYMOUS_SCHEMA_NAME, type SchemaConstructor } from './schema/Schema.js';
+export { SchemaDerivation } from './schema/SchemaDerivation.js';
+export { isObject } from './judge/ValueForm.js';
+export { Cases, type Case } from './judge/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 './EntityAdapters.js';
+export { lowerFirst, upperFirst } from './utils.js';
 export { primary } from './vocabulary/primary.js';
 export { text } from './vocabulary/text.js';
 export { email } from './vocabulary/email.js';
@@ -36,20 +41,20 @@ 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, freezeClock } from './axis/lifecycle/apply.js';
-export { encodeFields } from './projection/encode.js';
-export { inputFields, outputFields } from './projection/io.js';
-export { registrationKeyOf, classNameOf } from './name.js';
-export { describe, describeSet, sourceNameOf } from './card/describe.js';
-export { reconstruct, reconstructSet } from './card/reconstruct.js';
-export { diff, diffSet } from './card/diff.js';
+export { applyCreate, applyUpdate } from './axis/lifecycle/apply.js';
+export { Visibility } from './projection/Visibility.js';
+export { Card } from './card/Card.js';
+export { Bundle } from './card/Bundle.js';
 export type { Change, Diff, DiffOptions, SetDiff, SetDiffOptions, RenameCandidate, TypeSet } from './card/diff.js';
-export { entitySourceOf, facadeTypeSourceOf, type TypeSourceOptions, type OpDescriptor } from './card/typescript.js';
+export { EntityTypeSource, type EntityTypeSourceOptions } from './card/EntityTypeSource.js';
+export { FacadeTypeSource, type FacadeTypeSourceOptions, type OpDescriptor } from './card/FacadeTypeSource.js';
 export { type SchemaBundle, type SchemaDescriptor, type FieldDescriptor, type FieldExtension, type RoleDescriptor, type RelationDescriptor } from './card/Descriptor.js';
-export { type SchemaSource, schemaOf, fieldsOf } from './projection/source.js';
+export { type SchemaOrCard, schemaOf, fieldsOf } from './projection/SchemaOrCard.js';
 export type { StandardSchemaV1 } from './projection/standard.js';
 export { entity } from './entity.js';
-export { Judge } from './judge/Judge.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';
 //# 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,YAAY,CAAC;AAChD,OAAO,EAAE,KAAK,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,eAAe,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAC3F,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAC3E,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,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACtF,OAAO,EAAE,QAAQ,EAAE,KAAK,aAAa,EAAE,KAAK,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC7F,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AACvF,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAEhD,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAAE,KAAK,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC/E,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,GAAG,EAAE,KAAK,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,KAAK,EAAE,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,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,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC/C,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACnH,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,KAAK,iBAAiB,EAAE,KAAK,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACrH,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,gBAAgB,EAAE,KAAK,eAAe,EAAE,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,KAAK,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AACzK,OAAO,EAAE,KAAK,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAC/E,YAAY,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,gBAAgB,EAAE,KAAK,OAAO,EAAE,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,mBAAmB,CAAC;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,KAAK,KAAK,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,eAAe,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAC3F,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,EAAE,QAAQ,EAAE,KAAK,aAAa,EAAE,KAAK,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC7F,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AACvF,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAEhD,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAAE,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAC3F,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,KAAK,IAAI,EAAE,MAAM,kBAAkB,CAAC;AACpD,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,qBAAqB,CAAC;AACtF,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEpD,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,gBAAgB,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACnH,OAAO,EAAE,gBAAgB,EAAE,KAAK,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AAC5F,OAAO,EAAE,gBAAgB,EAAE,KAAK,uBAAuB,EAAE,KAAK,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC/G,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,gBAAgB,EAAE,KAAK,eAAe,EAAE,KAAK,cAAc,EAAE,KAAK,cAAc,EAAE,KAAK,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AACzK,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,EAAE,KAAK,eAAe,EAAE,KAAK,gBAAgB,EAAE,KAAK,OAAO,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/index.js

@@ -1,16 +1,21 @@
-export { Field } from './Field.js';
+export { Field } from './fields/Field.js';
+export { FieldSet } from './fields/FieldSet.js';
 export { Anatomy } from './axis/shape/Shape.js';
 export { Formats } from './axis/shape/Formats.js';
-export { Role, primaryFieldOf } from './axis/role/Role.js';
+export { Role } from './axis/role/Role.js';
 export { Lifecycle } from './axis/lifecycle/Lifecycle.js';
-export { registerGenerator } from './axis/lifecycle/Generators.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 { FieldGroup } from './constraint/FieldGroup.js';
 export { Unique } from './constraint/Unique.js';
-export { Schema, ANONYMOUS_SCHEMA_NAME } from './Schema.js';
-export { casesFor, holds, refusalBranches } from './judge/cases.js';
-export { same } from './same.js';
+export { Schema, ANONYMOUS_SCHEMA_NAME } from './schema/Schema.js';
+export { SchemaDerivation } from './schema/SchemaDerivation.js';
+export { isObject } from './judge/ValueForm.js';
+export { Cases } from './judge/Cases.js';
+export { RowRefusal } from './judge/RowRefusal.js';
+export { lowerFirst, upperFirst } from './utils.js';
 export { primary } from './vocabulary/primary.js';
 export { text } from './vocabulary/text.js';
 export { email } from './vocabulary/email.js';
@@ -32,16 +37,15 @@ 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, freezeClock } from './axis/lifecycle/apply.js';
-export { encodeFields } from './projection/encode.js';
-export { inputFields, outputFields } from './projection/io.js';
-export { registrationKeyOf, classNameOf } from './name.js';
-export { describe, describeSet, sourceNameOf } from './card/describe.js';
-export { reconstruct, reconstructSet } from './card/reconstruct.js';
-// What separates two descriptors — one calculation, read by a DDL, a codec and a boot.
-export { diff, diffSet } from './card/diff.js';
-export { entitySourceOf, facadeTypeSourceOf } from './card/typescript.js';
-export { schemaOf, fieldsOf } from './projection/source.js';
+export { applyCreate, applyUpdate } from './axis/lifecycle/apply.js';
+export { Visibility } from './projection/Visibility.js';
+export { Card } from './card/Card.js';
+export { Bundle } from './card/Bundle.js';
+export { EntityTypeSource } from './card/EntityTypeSource.js';
+export { FacadeTypeSource } from './card/FacadeTypeSource.js';
+export { schemaOf, fieldsOf } from './projection/SchemaOrCard.js';
 export { entity } from './entity.js';
-export { Judge } from './judge/Judge.js';
+export { FieldJudge } from './judge/FieldJudge.js';
+export { ValueJudge } from './judge/ValueJudge.js';
+export { RowJudge } from './judge/RowJudge.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,YAAY,CAAC;AAChD,OAAO,EAAc,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAA2C,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAC3F,OAAO,EAAE,IAAI,EAAE,cAAc,EAAkB,MAAM,qBAAqB,CAAC;AAE3E,OAAO,EAAE,SAAS,EAAuB,MAAM,+BAA+B,CAAC;AAC/E,OAAO,EAAqB,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACtF,OAAO,EAAE,QAAQ,EAAwC,MAAM,6BAA6B,CAAC;AAC7F,OAAO,EAA8B,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEvF,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAEhD,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAA0B,MAAM,aAAa,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,eAAe,EAAa,MAAM,kBAAkB,CAAC;AAG/E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,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,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACpE,uFAAuF;AACvF,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAA6C,MAAM,sBAAsB,CAAC;AAErH,OAAO,EAAqB,QAAQ,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAG/E,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAe,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAc,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAA2C,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAC3F,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,EAAE,QAAQ,EAAwC,MAAM,6BAA6B,CAAC;AAC7F,OAAO,EAA8B,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAEvF,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAEhD,OAAO,EAAE,MAAM,EAAE,qBAAqB,EAA0B,MAAM,oBAAoB,CAAC;AAC3F,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAa,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAGnD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEpD,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,gBAAgB,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE1C,OAAO,EAAE,gBAAgB,EAAgC,MAAM,4BAA4B,CAAC;AAC5F,OAAO,EAAE,gBAAgB,EAAmD,MAAM,4BAA4B,CAAC;AAE/G,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"}

package/dist/judge/{cases.d.ts → Cases.d.ts}

@@ -1,4 +1,4 @@
-import type { SchemaView } from '../SchemaView.js';
+import type { SchemaView } from '../schema/SchemaView.js';
 /**
  * One input, and what the judge must answer.
  *
@@ -27,24 +27,24 @@ export interface Case {
  * Use the complete entity so a derived view cannot hide a divergent field. The caller
  * supplies a valid row; generating data belongs to the testing package.
  */
-export declare function casesFor(entity: SchemaView, valid: Record<string, unknown>): Case[];
-/**
- * The verdict a case expects, obtained from any judge.
- *
- * 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.
- */
-export declare function holds(expected: Case['expect'], result: {
-    success: boolean;
-    errors?: {
-        path: string;
-    }[];
-}): boolean;
-/**
- * Every way `Judge.row` can refuse, read from its own source.
- *
- * Returning names instead of a count makes an uncovered branch identifiable. Custom
- * decoder failures remain outside the derived table because user code defines them.
- */
-export declare function refusalBranches(): string[];
-//# sourceMappingURL=cases.d.ts.map
+export declare class Cases {
+    readonly all: readonly Case[];
+    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: {
+        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>;
+}
+//# sourceMappingURL=Cases.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Cases.d.ts","sourceRoot":"","sources":["../../src/judge/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;AAoCD;;;;;GAKG;AACH,qBAAa,KAAK;IAEd,QAAQ,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE;IAD/B,OAAO,eAEH;IAEJ,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,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,CAAC,EAAE;YAAE,IAAI,EAAE,MAAM,CAAA;SAAE,EAAE,CAAA;KAAE,GAAG,OAAO,CAIzG;IAED,2FAA2F;IAC3F,MAAM,KAAK,QAAQ,IAAI,MAAM,EAAE,CAE9B;IAED,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAElC;CACF"}

package/dist/judge/{cases.js → Cases.js}

@@ -2,7 +2,8 @@ import { Anatomy } 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 { Judge } from './Judge.js';
+import { RowJudge } from './RowJudge.js';
+import { RowRefusal } from './RowRefusal.js';
 /** A value of the wrong type for the declared shape — the one violation every field has. */
 function wrongTypeFor(field) {
     const declared = field.shape.type;
@@ -44,8 +45,38 @@ function outOfBoundsFor(field) {
  * Use the complete entity so a derived view cannot hide a divergent field. The caller
  * supplies a valid row; generating data belongs to the testing package.
  */
-export function casesFor(entity, valid) {
+export class Cases {
+    all;
+    constructor(all) {
+        this.all = all;
+    }
+    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;
+        if (result.success)
+            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);
+    }
+    [Symbol.iterator]() {
+        return this.all[Symbol.iterator]();
+    }
+}
+function enumerate(entity, valid) {
     const fields = entity.getFields();
+    const judge = RowJudge.of(fields);
     const cases = [];
     const withField = (name, value) => ({ ...valid, [name]: value });
     cases.push({ why: 'a valid body', body: valid, patch: false, expect: 'accept' });
@@ -55,7 +86,7 @@ export function casesFor(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) {
+        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 } });
@@ -74,27 +105,4 @@ export function casesFor(entity, valid) {
     }
     return cases;
 }
-/**
- * The verdict a case expects, obtained from any judge.
- *
- * 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.
- */
-export function holds(expected, result) {
-    if (expected === 'accept')
-        return result.success;
-    if (result.success)
-        return false;
-    return (result.errors ?? []).some((error) => error.path === expected.reject);
-}
-/**
- * Every way `Judge.row` can refuse, read from its own source.
- *
- * Returning names instead of a count makes an uncovered branch identifiable. Custom
- * decoder failures remain outside the derived table because user code defines them.
- */
-export function refusalBranches() {
-    const source = Judge.row.toString();
-    return [...source.matchAll(/message:\s*([^,}]+)/g)].map((match) => match[1].trim().replace(/^['"]|['"]$/g, ''));
-}
-//# sourceMappingURL=cases.js.map
+//# sourceMappingURL=Cases.js.map

package/dist/judge/Cases.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Cases.js","sourceRoot":"","sources":["../../src/judge/Cases.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACjD,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,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAuB7C,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;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;QACpG,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;IACtG,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,EAAE,GAAG,EAAE,qBAAqB,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,KAAK;IAEL,GAAG;IADd,YACW,GAAoB;mBAApB,GAAG;IACX,CAAC;IAEJ,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,CAAC,QAAwB,EAAE,MAAyD;QAC9F,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,EAAE,GAAG,EAAE,4BAA4B,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;IACzI,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,sBAAsB,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAErG,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,EAAE,GAAG,EAAE,GAAG,IAAI,8BAA8B,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACjJ,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,EAAE,GAAG,EAAE,GAAG,IAAI,wBAAwB,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACpJ,CAAC;QAED,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,KAAK,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,oBAAoB,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACrI,KAAK,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,cAAc,CAAC,KAAK,CAAC;gBAChD,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QAChH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/judge/FieldJudge.d.ts

@@ -0,0 +1,9 @@
+import type { Field } from "../fields/Field.js";
+import type { ValidationResult } from "./result.js";
+export declare class FieldJudge {
+    private readonly declaration;
+    private constructor();
+    static of(declaration: unknown): FieldJudge;
+    get verdict(): ValidationResult<Field>;
+}
+//# sourceMappingURL=FieldJudge.d.ts.map

package/dist/judge/FieldJudge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FieldJudge.d.ts","sourceRoot":"","sources":["../../src/judge/FieldJudge.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAEhD,OAAO,KAAK,EAAmB,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAErE,qBAAa,UAAU;IACD,OAAO,CAAC,QAAQ,CAAC,WAAW;IAAhD,OAAO,eAAsD;IAE7D,MAAM,CAAC,EAAE,CAAC,WAAW,EAAE,OAAO,GAAG,UAAU,CAE1C;IAED,IAAI,OAAO,IAAI,gBAAgB,CAAC,KAAK,CAAC,CA8CrC;CACF"}

package/dist/judge/FieldJudge.js

@@ -0,0 +1,54 @@
+import { EXTENSION_AXES } from "../axis/Axis.js";
+import { Anatomy } from "../axis/shape/Shape.js";
+import { isObject } from "./ValueForm.js";
+export class FieldJudge {
+    declaration;
+    constructor(declaration) {
+        this.declaration = declaration;
+    }
+    static of(declaration) {
+        return new FieldJudge(declaration);
+    }
+    get verdict() {
+        const declaration = this.declaration;
+        if (!isObject(declaration)) {
+            return {
+                success: false,
+                errors: [
+                    {
+                        path: ".",
+                        message: `Expected an object — got ${JSON.stringify(declaration)}`,
+                    },
+                ],
+            };
+        }
+        const errors = [];
+        if (!Anatomy.is(declaration.shape)) {
+            errors.push({
+                path: "shape",
+                message: `Every field states a shape — got ${JSON.stringify(declaration.shape)}`,
+            });
+        }
+        for (const axis of EXTENSION_AXES) {
+            const declared = declaration[axis.slot];
+            if (declared !== undefined)
+                axis.judge(declared, errors);
+        }
+        if (declaration.meta !== undefined) {
+            if (!isObject(declaration.meta)) {
+                errors.push({
+                    path: "meta",
+                    message: `Expected an object — got ${JSON.stringify(declaration.meta)}`,
+                });
+            }
+            else if (declaration.meta.description !== undefined &&
+                typeof declaration.meta.description !== "string") {
+                errors.push({ path: "meta.description", message: "Expected a string" });
+            }
+        }
+        return errors.length
+            ? { success: false, errors }
+            : { success: true, data: declaration };
+    }
+}
+//# sourceMappingURL=FieldJudge.js.map

package/dist/judge/FieldJudge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FieldJudge.js","sourceRoot":"","sources":["../../src/judge/FieldJudge.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAEjD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG1C,MAAM,OAAO,UAAU;IACgB,WAAW;IAAhD,YAAqC,WAAoB;2BAApB,WAAW;IAAY,CAAC;IAE7D,MAAM,CAAC,EAAE,CAAC,WAAoB;QAC5B,OAAO,IAAI,UAAU,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,OAAO;QACT,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;QAErC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3B,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,GAAG;wBACT,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE;qBACnE;iBACF;aACF,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAsB,EAAE,CAAC;QAErC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,oCAAoC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE;aACjF,CAAC,CAAC;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;YAClC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,QAAQ,KAAK,SAAS;gBAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC3D,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACnC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM;oBACZ,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE;iBACxE,CAAC,CAAC;YACL,CAAC;iBAAM,IACL,WAAW,CAAC,IAAI,CAAC,WAAW,KAAK,SAAS;gBAC1C,OAAO,WAAW,CAAC,IAAI,CAAC,WAAW,KAAK,QAAQ,EAChD,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC,MAAM;YAClB,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE;YAC5B,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,WAA+B,EAAE,CAAC;IAC/D,CAAC;CACF"}

package/dist/judge/RowJudge.d.ts

@@ -0,0 +1,12 @@
+import type { Field, Fields } from '../fields/Field.js';
+import type { ValidateOptions } from './options.js';
+import type { ValidationResult } from './result.js';
+export declare class RowJudge {
+    private readonly fields;
+    private readonly options;
+    private constructor();
+    static of(fields: Fields, options?: ValidateOptions): RowJudge;
+    onAbsent(field: Field): 'skip' | 'empty-list' | null;
+    check(input: unknown): ValidationResult<Record<string, unknown>>;
+}
+//# sourceMappingURL=RowJudge.d.ts.map

package/dist/judge/RowJudge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RowJudge.d.ts","sourceRoot":"","sources":["../../src/judge/RowJudge.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,KAAK,EAAmB,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAIrE,qBAAa,QAAQ;IAEjB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO;IAF1B,OAAO,eAGH;IAEJ,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,eAAoB,GAAG,QAAQ,CAEjE;IAED,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,YAAY,GAAG,IAAI,CAKnD;IAED,KAAK,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAwD/D;CACF"}

package/dist/judge/RowJudge.js

@@ -0,0 +1,81 @@
+import { Boundary } from '../axis/boundary/Boundary.js';
+import { Lifecycle } from '../axis/lifecycle/Lifecycle.js';
+import { Role } from '../axis/role/Role.js';
+import { ValueJudge } from './ValueJudge.js';
+import { RowRefusal } from './RowRefusal.js';
+export class RowJudge {
+    fields;
+    options;
+    constructor(fields, options) {
+        this.fields = fields;
+        this.options = options;
+    }
+    static of(fields, options = {}) {
+        return new RowJudge(fields, options);
+    }
+    onAbsent(field) {
+        if (Boundary.of(field).readOnly)
+            return 'skip';
+        if (!Lifecycle.of(field).requiredAtCreate)
+            return 'skip';
+        if (Role.of(field).isCollection)
+            return 'empty-list';
+        return null;
+    }
+    check(input) {
+        if (typeof input !== 'object' || input === null) {
+            return { success: false, errors: [{ path: '.', message: RowRefusal.notAnObject }] };
+        }
+        const data = input;
+        const errors = [];
+        const out = {};
+        for (const key of Object.keys(data)) {
+            if (!(key in this.fields)) {
+                errors.push({ path: key, message: RowRefusal.unknownField });
+            }
+        }
+        for (const [key, field] of Object.entries(this.fields)) {
+            const path = key;
+            const value = data[key];
+            if (value === undefined) {
+                if (this.options.patch)
+                    continue;
+                const absence = this.onAbsent(field);
+                if (absence === null) {
+                    errors.push({ path, message: RowRefusal.required });
+                    continue;
+                }
+                if (absence === 'empty-list')
+                    out[key] = [];
+                continue;
+            }
+            const boundary = Boundary.of(field);
+            if (boundary.readOnly) {
+                errors.push({ path, message: RowRefusal.readOnly });
+                continue;
+            }
+            if (this.options.patch && Lifecycle.of(field).immutable) {
+                errors.push({ path, message: RowRefusal.immutable });
+                continue;
+            }
+            const checked = ValueJudge.of(field).check(value);
+            if ('error' in checked) {
+                errors.push({ path, message: checked.error });
+                continue;
+            }
+            if (checked.value === null) {
+                out[key] = null;
+                continue;
+            }
+            const decoded = boundary.decode(checked.value);
+            if ('error' in decoded)
+                errors.push({ path, message: decoded.error });
+            else
+                out[key] = decoded.value;
+        }
+        if (errors.length > 0)
+            return { success: false, errors };
+        return { success: true, data: out };
+    }
+}
+//# sourceMappingURL=RowJudge.js.map

package/dist/judge/RowJudge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RowJudge.js","sourceRoot":"","sources":["../../src/judge/RowJudge.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAI5C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,MAAM,OAAO,QAAQ;IAEA,MAAM;IACN,OAAO;IAF1B,YACmB,MAAc,EACd,OAAwB;sBADxB,MAAM;uBACN,OAAO;IACvB,CAAC;IAEJ,MAAM,CAAC,EAAE,CAAC,MAAc,EAAE,OAAO,GAAoB,EAAE;QACrD,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC;IAED,QAAQ,CAAC,KAAY;QACnB,IAAI,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ;YAAE,OAAO,MAAM,CAAC;QAC/C,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,gBAAgB;YAAE,OAAO,MAAM,CAAC;QACzD,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,YAAY;YAAE,OAAO,YAAY,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,KAAc;QAClB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;QACtF,CAAC;QAED,MAAM,IAAI,GAAG,KAAgC,CAAC;QAC9C,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,MAAM,GAAG,GAA4B,EAAE,CAAC;QAExC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,YAAY,EAAE,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,GAAG,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;YAExB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK;oBAAE,SAAS;gBACjC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;oBACrB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;oBACpD,SAAS;gBACX,CAAC;gBACD,IAAI,OAAO,KAAK,YAAY;oBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;gBAC5C,SAAS;YACX,CAAC;YAED,MAAM,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACpC,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACtB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;gBACpD,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;gBACxD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,SAAS,EAAE,CAAC,CAAC;gBACrD,SAAS;YACX,CAAC;YAED,MAAM,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAClD,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBAC3B,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC/C,IAAI,OAAO,IAAI,OAAO;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;;gBACjE,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;QAChC,CAAC;QAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACzD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACtC,CAAC;CACF"}

package/dist/judge/RowRefusal.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Every way a row is refused for its STRUCTURE — the closed set, stated once.
+ *
+ * A value refused by its own shape carries the engine's message and a decoder refused by
+ * user code carries that code's; neither is structural and neither belongs here. These
+ * five are `RowJudge`'s own, and a table of cases enumerates them instead of reading the
+ * text of a function — which a minifier rewrites without a word.
+ */
+export declare const RowRefusal: {
+    readonly notAnObject: 'Expected an object';
+    readonly unknownField: 'Unknown field';
+    readonly required: 'Required';
+    readonly readOnly: 'Read-only';
+    readonly immutable: 'Immutable';
+};
+export type RowRefusal = (typeof RowRefusal)[keyof typeof RowRefusal];
+//# sourceMappingURL=RowRefusal.d.ts.map

package/dist/judge/RowRefusal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RowRefusal.d.ts","sourceRoot":"","sources":["../../src/judge/RowRefusal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,eAAO,MAAM,UAAU;aACrB,WAAW,EAAE,oBAAoB;aACjC,YAAY,EAAE,eAAe;aAC7B,QAAQ,EAAE,UAAU;aACpB,QAAQ,EAAE,WAAW;aACrB,SAAS,EAAE,WAAW;CACd,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,OAAO,UAAU,CAAC,CAAC"}

package/dist/judge/RowRefusal.js

@@ -0,0 +1,16 @@
+/**
+ * Every way a row is refused for its STRUCTURE — the closed set, stated once.
+ *
+ * A value refused by its own shape carries the engine's message and a decoder refused by
+ * user code carries that code's; neither is structural and neither belongs here. These
+ * five are `RowJudge`'s own, and a table of cases enumerates them instead of reading the
+ * text of a function — which a minifier rewrites without a word.
+ */
+export const RowRefusal = {
+    notAnObject: 'Expected an object',
+    unknownField: 'Unknown field',
+    required: 'Required',
+    readOnly: 'Read-only',
+    immutable: 'Immutable',
+};
+//# sourceMappingURL=RowRefusal.js.map

package/dist/judge/RowRefusal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RowRefusal.js","sourceRoot":"","sources":["../../src/judge/RowRefusal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,WAAW,EAAE,oBAAoB;IACjC,YAAY,EAAE,eAAe;IAC7B,QAAQ,EAAE,UAAU;IACpB,QAAQ,EAAE,WAAW;IACrB,SAAS,EAAE,WAAW;CACd,CAAC"}

package/dist/judge/ValueForm.d.ts

@@ -0,0 +1,3 @@
+export declare const isObject: (value: unknown) => value is Record<string, unknown>;
+export declare const oneOfTokens: <T extends readonly string[]>(value: unknown, tokens: T) => value is T[number];
+//# sourceMappingURL=ValueForm.d.ts.map

package/dist/judge/ValueForm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValueForm.d.ts","sourceRoot":"","sources":["../../src/judge/ValueForm.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,QAAQ,UAAW,OAAO,KAAG,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CACH,CAAC;AAEvE,eAAO,MAAM,WAAW,GAAI,CAAC,SAAS,SAAS,MAAM,EAAE,SAC9C,OAAO,UACN,CAAC,KACR,KAAK,IAAI,CAAC,CAAC,MAAM,CAA+E,CAAC"}

package/dist/judge/ValueForm.js

@@ -0,0 +1,3 @@
+export const isObject = (value) => typeof value === 'object' && value !== null && !Array.isArray(value);
+export const oneOfTokens = (value, tokens) => typeof value === 'string' && tokens.includes(value);
+//# sourceMappingURL=ValueForm.js.map

package/dist/judge/ValueForm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValueForm.js","sourceRoot":"","sources":["../../src/judge/ValueForm.ts"],"names":[],"mappings":"AAAA,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;AAEvE,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAc,EACd,MAAS,EACW,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAK,MAA4B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC"}