@fougere/schema 0.2.0-alpha.2 → 0.4.0-alpha.0

package/dist/card/diff.d.ts

@@ -0,0 +1,96 @@
+import type { BoundaryRef } from '../axis/boundary/Boundary.js';
+import type { LifecycleRules } from '../axis/lifecycle/Lifecycle.js';
+import type { FieldDescriptor, RoleDescriptor } from './Descriptor.js';
+/** One named difference, at one place. Each kind exists because a reader asks for it. */
+export type Change = 
+/** DDL: add the column. Codec: the old caller never sends it. Boot: refuse when required. */
+{
+    kind: 'added';
+    field: string;
+    to: FieldDescriptor;
+    required: boolean;
+}
+/** DDL: drop the column. Codec: the old caller still sends it, and it goes nowhere. */
+ | {
+    kind: 'removed';
+    field: string;
+    from: FieldDescriptor;
+    required: boolean;
+}
+/** DDL: rename the column. Codec and ORM: one more entry in the field-to-column map. */
+ | {
+    kind: 'renamed';
+    from: string;
+    to: string;
+    field: FieldDescriptor;
+}
+/** DDL: alter the type. Codec: convert the value, when it can. */
+ | {
+    kind: 'retyped';
+    field: string;
+    from: TypeSet;
+    to: TypeSet;
+}
+/** Same type, different bounds: a CHECK moves, and a value legal yesterday may not be. */
+ | {
+    kind: 'reshaped';
+    field: string;
+    from: FieldDescriptor;
+    to: FieldDescriptor;
+}
+/** NOT NULL in either direction. Boot: an old writer cannot fill what it never knew. */
+ | {
+    kind: 'required';
+    field: string;
+    from: boolean;
+    to: boolean;
+}
+/** An axis other than shape was restated. */
+ | {
+    kind: 'restated';
+    field: string;
+    axis: 'role';
+    from?: RoleDescriptor;
+    to?: RoleDescriptor;
+} | {
+    kind: 'restated';
+    field: string;
+    axis: 'lifecycle';
+    from?: LifecycleRules;
+    to?: LifecycleRules;
+} | {
+    kind: 'restated';
+    field: string;
+    axis: 'boundary';
+    from?: BoundaryRef;
+    to?: BoundaryRef;
+};
+/** A field's declared types, always represented as a set. */
+export type TypeSet = string[];
+/** A removal and an addition that could be one rename: same shape, different name. */
+export interface RenameCandidate {
+    removed: string;
+    added: string;
+}
+export interface Diff {
+    changes: Change[];
+    /** Questions the comparison refuses to decide without an explicit rename declaration. */
+    ambiguous: RenameCandidate[];
+}
+export interface DiffOptions {
+    /** Renames as declared at the time: old name to new name. */
+    renamed?: Record<string, string>;
+}
+export interface SetDiff {
+    /** Entities the target bundle has and the source bundle had not. */
+    entitiesAdded: string[];
+    /** Entities the source bundle had and the target bundle has not. */
+    entitiesRemoved: string[];
+    /** Differences for entities present in both bundles; unchanged entities are absent. */
+    entities: Record<string, Diff>;
+}
+export interface SetDiffOptions {
+    /** Declared renames, per entity: `{ post: { body: 'content' } }`. */
+    renamed?: Record<string, Record<string, string>>;
+}
+//# sourceMappingURL=diff.d.ts.map

package/dist/card/diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../src/card/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEvE,yFAAyF;AACzF,MAAM,MAAM,MAAM;AAChB,6FAA6F;AAC3F;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE;AAC1E,uFAAuF;GACrF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE;AAC9E,wFAAwF;GACtF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CAAE;AACvE,kEAAkE;GAChE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE;AAChE,0FAA0F;GACxF;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,EAAE,EAAE,eAAe,CAAA;CAAE;AACjF,wFAAwF;GACtF;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE;AACjE,6CAA6C;GAC3C;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,cAAc,CAAC;IAAC,EAAE,CAAC,EAAE,cAAc,CAAA;CAAE,GAC7F;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,CAAC,EAAE,cAAc,CAAC;IAAC,EAAE,CAAC,EAAE,cAAc,CAAA;CAAE,GAClG;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,CAAC,EAAE,WAAW,CAAC;IAAC,EAAE,CAAC,EAAE,WAAW,CAAA;CAAE,CAAC;AAEhG,6DAA6D;AAC7D,MAAM,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;AAE/B,sFAAsF;AACtF,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,IAAI;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,yFAAyF;IACzF,SAAS,EAAE,eAAe,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,6DAA6D;IAC7D,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,OAAO;IACtB,oEAAoE;IACpE,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,oEAAoE;IACpE,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,uFAAuF;IACvF,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;CAChC;AAED,MAAM,WAAW,cAAc;IAC7B,qEAAqE;IACrE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAClD"}

package/dist/card/diff.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=diff.js.map

package/dist/card/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../src/card/diff.ts"],"names":[],"mappings":""}

package/dist/constraint/FieldGroup.d.ts

@@ -0,0 +1,21 @@
+import type { Field, Fields } from "../fields/Field.js";
+export declare abstract class FieldGroup {
+    readonly members: readonly string[];
+    constructor(members: readonly string[]);
+    protected withMembers(members: readonly string[]): this;
+    get isSelf(): boolean;
+    resolvedOn(ownKey: string): this;
+    covers(key: string): boolean;
+    equals(other: FieldGroup): boolean;
+    onto(fields: Fields): Fields;
+    rename(map: (key: string) => string | undefined): this | null;
+    toJSON(): string[];
+    static normalize<R extends FieldGroup>(groups: readonly (R | readonly string[])[] | undefined, make: (members: readonly string[]) => R): readonly R[] | undefined;
+    static on<R extends FieldGroup>(field: Field, kind: Function & {
+        prototype: R;
+    }): R[];
+    static groupsOf<R extends FieldGroup>(fields: Fields, kind: Function & {
+        prototype: R;
+    }): R[];
+}
+//# sourceMappingURL=FieldGroup.d.ts.map

package/dist/constraint/FieldGroup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"FieldGroup.d.ts","sourceRoot":"","sources":["../../src/constraint/FieldGroup.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAExD,8BAAsB,UAAU;IAClB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE;IAA/C,YAAqB,OAAO,EAAE,SAAS,MAAM,EAAE,EAAI;IAEnD,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAItD;IAED,IAAI,MAAM,IAAI,OAAO,CAEpB;IAED,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAE/B;IAED,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAE3B;IAED,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAMjC;IAED,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAgB3B;IAED,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,IAAI,CAM5D;IAED,MAAM,IAAI,MAAM,EAAE,CAEjB;IAED,MAAM,CAAC,SAAS,CAAC,CAAC,SAAS,UAAU,EACnC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,SAAS,MAAM,EAAE,CAAC,EAAE,GAAG,SAAS,EACtD,IAAI,EAAE,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,KAAK,CAAC,GACtC,SAAS,CAAC,EAAE,GAAG,SAAS,CAK1B;IAED,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,UAAU,EAC5B,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,QAAQ,GAAG;QAAE,SAAS,EAAE,CAAC,CAAA;KAAE,GAChC,CAAC,EAAE,CAIL;IAED,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,UAAU,EAClC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,QAAQ,GAAG;QAAE,SAAS,EAAE,CAAC,CAAA;KAAE,GAChC,CAAC,EAAE,CAML;CACF"}

package/dist/constraint/FieldGroup.js

@@ -0,0 +1,65 @@
+export class FieldGroup {
+    members;
+    constructor(members) {
+        this.members = members;
+    }
+    withMembers(members) {
+        return new this.constructor(members);
+    }
+    get isSelf() {
+        return this.members.length === 0;
+    }
+    resolvedOn(ownKey) {
+        return this.isSelf ? this.withMembers([ownKey]) : this;
+    }
+    covers(key) {
+        return this.members.includes(key);
+    }
+    equals(other) {
+        return (this.constructor === other.constructor &&
+            this.members.length === other.members.length &&
+            this.members.every((member, i) => member === other.members[i]));
+    }
+    onto(fields) {
+        const missing = this.members.filter((key) => !(key in fields));
+        if (missing.length)
+            throw new Error(`${this.constructor.name.toLowerCase()}: [${this.members.join(", ")}] names ` +
+                `${missing.map((m) => `'${m}'`).join(", ")}, which the entity does not declare.`);
+        const out = { ...fields };
+        for (const key of this.members) {
+            const field = out[key];
+            out[key] = field.with({
+                role: { ...field.role, rules: [...(field.role?.rules ?? []), this] },
+            });
+        }
+        return out;
+    }
+    rename(map) {
+        if (this.isSelf)
+            return this;
+        const carried = this.members.map(map);
+        return carried.every((key) => key !== undefined)
+            ? this.withMembers(carried)
+            : null;
+    }
+    toJSON() {
+        return [...this.members];
+    }
+    static normalize(groups, make) {
+        if (!groups)
+            return undefined;
+        return groups.map((group) => group instanceof FieldGroup ? group : make(group));
+    }
+    static on(field, kind) {
+        return (field.role?.rules ?? []).filter((rule) => rule instanceof kind);
+    }
+    static groupsOf(fields, kind) {
+        const seen = new Map();
+        for (const field of Object.values(fields))
+            for (const rule of FieldGroup.on(field, kind))
+                if (rule.members.length > 1)
+                    seen.set(rule.members.join(" "), rule);
+        return [...seen.values()];
+    }
+}
+//# sourceMappingURL=FieldGroup.js.map

package/dist/constraint/FieldGroup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FieldGroup.js","sourceRoot":"","sources":["../../src/constraint/FieldGroup.ts"],"names":[],"mappings":"AAEA,MAAM,OAAgB,UAAU;IACT,OAAO;IAA5B,YAAqB,OAA0B;uBAA1B,OAAO;IAAsB,CAAC;IAEzC,WAAW,CAAC,OAA0B;QAC9C,OAAO,IAAK,IAAI,CAAC,WAAwD,CACvE,OAAO,CACR,CAAC;IACJ,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,UAAU,CAAC,MAAc;QACvB,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACzD,CAAC;IAED,MAAM,CAAC,GAAW;QAChB,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,CAAC,KAAiB;QACtB,OAAO,CACL,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;YACtC,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM;YAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,MAAc;QACjB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC;QAC/D,IAAI,OAAO,CAAC,MAAM;YAChB,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU;gBAC3E,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sCAAsC,CACnF,CAAC;QAEJ,MAAM,GAAG,GAAW,EAAE,GAAG,MAAM,EAAE,CAAC;QAClC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAE,CAAC;YACxB,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;gBACpB,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE;aACrE,CAAC,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,CAAC,GAAwC;QAC7C,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACtC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC;YAC7D,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC;YAC3B,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAED,MAAM;QACJ,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,CAAC,SAAS,CACd,MAAsD,EACtD,IAAuC;QAEvC,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,KAAK,YAAY,UAAU,CAAC,CAAC,CAAE,KAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CACzD,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,EAAE,CACP,KAAY,EACZ,IAAiC;QAEjC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CACrC,CAAC,IAAI,EAAa,EAAE,CAAC,IAAI,YAAY,IAAI,CAC1C,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,QAAQ,CACb,MAAc,EACd,IAAiC;QAEjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAa,CAAC;QAClC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;YACvC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC;gBAC3C,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;QACxE,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5B,CAAC;CACF"}

package/dist/constraint/Unique.d.ts

@@ -0,0 +1,4 @@
+import { FieldGroup } from './FieldGroup.js';
+export declare class Unique extends FieldGroup {
+}
+//# sourceMappingURL=Unique.d.ts.map

package/dist/constraint/Unique.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Unique.d.ts","sourceRoot":"","sources":["../../src/constraint/Unique.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,qBAAa,MAAO,SAAQ,UAAU;CAAG"}

package/dist/constraint/Unique.js

@@ -0,0 +1,4 @@
+import { FieldGroup } from './FieldGroup.js';
+export class Unique extends FieldGroup {
+}
+//# sourceMappingURL=Unique.js.map

package/dist/constraint/Unique.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Unique.js","sourceRoot":"","sources":["../../src/constraint/Unique.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,MAAM,OAAO,MAAO,SAAQ,UAAU;CAAG"}

package/dist/entity.d.ts

@@ -1,20 +1,5 @@
-import { type Fields } from "./field/index.js";
-import { type EntityDeclarations } from "./unique.js";
-import { type SchemaConstructor } from "./schema/index.js";
-/**
- * Define an entity — the factory that produces a schema-carrying class.
- *
- * ```ts
- * class Post extends entity({ id: primary(), title: text({ min: 1 }) }) {}
- *
- * new Post({ id, title })   // a real instance, data-typed
- * Post.pick('title')        // a derived view, same static API
- * function publish(p: Post) // `Post` IS the data type
- * ```
- *
- * Data and schema metadata only — no business behaviour lives on an entity. The 2nd
- * argument carries what the entity states about itself: `unique` groups, and per-adapter
- * hints for what a neutral field cannot express.
- */
-export declare function entity<TFields extends Fields>(fields: TFields, declarations?: EntityDeclarations<TFields>): SchemaConstructor<TFields>;
+import { type Fields } from './fields/Field.js';
+import { type EntityDeclarations } from './EntityDeclarations.js';
+import { type SchemaConstructor } from './schema/Schema.js';
+export declare function entity<TFields extends Fields>(originalFields: TFields, { unique, adapters, previous }?: EntityDeclarations<TFields>): SchemaConstructor<TFields>;
 //# sourceMappingURL=entity.d.ts.map

package/dist/entity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../src/entity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAEtD,OAAO,EAA2B,KAAK,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAC/E,OAAO,EAAU,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEnE;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,MAAM,CAAC,OAAO,SAAS,MAAM,EAC3C,MAAM,EAAE,OAAO,EACf,YAAY,CAAC,EAAE,kBAAkB,CAAC,OAAO,CAAC,GACzC,iBAAiB,CAAC,OAAO,CAAC,CAM5B"}
+{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../src/entity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAU,KAAK,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEpE,wBAAgB,MAAM,CAAC,OAAO,SAAS,MAAM,EAC3C,cAAc,EAAE,OAAO,EACvB,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAE,kBAAkB,CAAC,OAAO,CAAM,GAC/D,iBAAiB,CAAC,OAAO,CAAC,CAM5B"}

package/dist/entity.js

@@ -1,41 +1,10 @@
-import { Field } from "./field/index.js";
-import { Judge } from './validation/index.js';
-import { projectUniqueOntoFields } from "./unique.js";
-import { Schema } from "./schema/index.js";
-/**
- * Define an entity — the factory that produces a schema-carrying class.
- *
- * ```ts
- * class Post extends entity({ id: primary(), title: text({ min: 1 }) }) {}
- *
- * new Post({ id, title })   // a real instance, data-typed
- * Post.pick('title')        // a derived view, same static API
- * function publish(p: Post) // `Post` IS the data type
- * ```
- *
- * Data and schema metadata only — no business behaviour lives on an entity. The 2nd
- * argument carries what the entity states about itself: `unique` groups, and per-adapter
- * hints for what a neutral field cannot express.
- */
-export function entity(fields, declarations) {
-    const own = {};
-    for (const [key, field] of Object.entries(fields))
-        own[key] = new Field(field, key);
-    const projected = projectUniqueOntoFields(own, declarations?.unique);
-    assertDefaultsAreValid(projected);
-    return Schema.of(projected, undefined, declarations?.hints, {}, declarations?.unique);
-}
-function assertDefaultsAreValid(fields) {
-    for (const [name, field] of Object.entries(fields)) {
-        const create = field.lifecycle?.create;
-        if (typeof create !== 'object' || create === null || !('value' in create))
-            continue;
-        const checked = Judge.value(field, create.value);
-        if ('error' in checked) {
-            throw new Error(`Field '${name}': the declared default ${JSON.stringify(create.value)} `
-                + `is not a legal value for it — ${checked.error}. It would be written into every row `
-                + `without passing the judge.`);
-        }
-    }
+import { FieldSet } from './fields/FieldSet.js';
+import { Schema } from './schema/Schema.js';
+export function entity(originalFields, { unique, adapters, previous } = {}) {
+    return Schema.of({
+        fields: FieldSet.declared(originalFields, unique),
+        adapters,
+        previous,
+    });
 }
 //# sourceMappingURL=entity.js.map

package/dist/entity.js.map

@@ -1 +1 @@
-{"version":3,"file":"entity.js","sourceRoot":"","sources":["../src/entity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAe,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAC9C,OAAO,EAAE,uBAAuB,EAA2B,MAAM,aAAa,CAAC;AAC/E,OAAO,EAAE,MAAM,EAA0B,MAAM,mBAAmB,CAAC;AAEnE;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,MAAM,CACpB,MAAe,EACf,YAA0C;IAE1C,MAAM,GAAG,GAAG,EAA2B,CAAC;IACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACpF,MAAM,SAAS,GAAG,uBAAuB,CAAC,GAAc,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IAChF,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAc;IAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC;QACvC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC;YAAE,SAAS;QAEpF,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,EAAG,MAA6B,CAAC,KAAK,CAAC,CAAC;QACzE,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CACb,UAAU,IAAI,2BAA2B,IAAI,CAAC,SAAS,CAAE,MAA6B,CAAC,KAAK,CAAC,GAAG;kBAC9F,iCAAiC,OAAO,CAAC,KAAK,uCAAuC;kBACrF,4BAA4B,CAC/B,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}
+{"version":3,"file":"entity.js","sourceRoot":"","sources":["../src/entity.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAEhD,OAAO,EAAE,MAAM,EAA0B,MAAM,oBAAoB,CAAC;AAEpE,MAAM,UAAU,MAAM,CACpB,cAAuB,EACvB,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAgC,EAAE;IAEhE,OAAO,MAAM,CAAC,EAAE,CAAC;QACf,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;QACjD,QAAQ;QACR,QAAQ;KACT,CAAC,CAAC;AACL,CAAC"}

package/dist/fields/Field.d.ts

@@ -0,0 +1,24 @@
+import type { Shape } from "../axis/shape/Shape.js";
+import { type RoleRules } from "../axis/role/Role.js";
+import type { LifecycleRules } from "../axis/lifecycle/Lifecycle.js";
+import type { BoundaryRef } from "../axis/boundary/Boundary.js";
+import type { Meta } from "../axis/Meta.js";
+import type { Axis } from "../axis/Axis.js";
+export type Fields = Record<string, Field>;
+/** A key of a field set — the name a declaration addresses a field by. */
+export type FieldName<TFields extends Fields> = Extract<keyof TFields, string>;
+/** The carrier, the three extension axes, the annotation — the five the judge reads. */
+export type FieldDeclaration = Pick<Field, "shape" | Axis["slot"] | "meta">;
+export declare class Field<T = unknown> {
+    readonly shape: Shape;
+    readonly role?: RoleRules;
+    readonly lifecycle?: LifecycleRules;
+    readonly boundary?: BoundaryRef;
+    readonly meta?: Meta;
+    readonly _type?: T;
+    constructor(init: FieldDeclaration, key?: string);
+    static is(value: unknown): value is Field;
+    with<U = T>(overrides: Partial<FieldDeclaration>): Field<U>;
+    rename(map: (key: string) => string | undefined): Field<T>;
+}
+//# sourceMappingURL=Field.d.ts.map

package/dist/fields/Field.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Field.d.ts","sourceRoot":"","sources":["../../src/fields/Field.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAQ,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAI5C,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE3C,0EAA0E;AAC1E,MAAM,MAAM,SAAS,CAAC,OAAO,SAAS,MAAM,IAAI,OAAO,CAAC,MAAM,OAAO,EAAE,MAAM,CAAC,CAAC;AAE/E,wFAAwF;AACxF,MAAM,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;AAE5E,qBAAa,KAAK,CAAC,CAAC,GAAG,OAAO;IAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;IAErB,SAAiB,KAAK,CAAC,EAAE,CAAC,CAAC;IAE3B,YAAY,IAAI,EAAE,gBAAgB,EAAE,GAAG,CAAC,EAAE,MAAM,EAyB/C;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,KAAK,CAExC;IAED,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAE1D;IAED,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAgBzD;CACF"}

package/dist/fields/Field.js

@@ -0,0 +1,52 @@
+import { Role } from "../axis/role/Role.js";
+import { FieldJudge } from "../judge/FieldJudge.js";
+import { ValueJudge } from "../judge/ValueJudge.js";
+export class Field {
+    shape;
+    role;
+    lifecycle;
+    boundary;
+    meta;
+    constructor(init, key) {
+        const verdict = FieldJudge.of(init).verdict;
+        if (!verdict.success) {
+            throw new Error(`${key ? `Field '${key}': ` : ""}` +
+                verdict.errors.map((e) => `${e.path}: ${e.message}`).join("; "));
+        }
+        this.shape = init.shape;
+        this.role = Role.resolvedOn(init.role, key);
+        this.lifecycle = init.lifecycle;
+        this.boundary = init.boundary;
+        this.meta = init.meta;
+        const create = this.lifecycle?.create;
+        if (typeof create === "object" && create !== null && "value" in create) {
+            const checked = ValueJudge.of(this).check(create.value);
+            if ("error" in checked)
+                throw new Error(`${key ? `Field '${key}': ` : ""}the declared default ${JSON.stringify(create.value)} ` +
+                    `is not a legal value for it — ${checked.error}.`);
+        }
+    }
+    static is(value) {
+        return FieldJudge.of(value).verdict.success;
+    }
+    with(overrides) {
+        return new Field({ ...this, ...overrides });
+    }
+    rename(map) {
+        const rules = this.role?.rules;
+        if (!rules?.length)
+            return this;
+        const carried = rules
+            .map((group) => group.rename(map))
+            .filter((group) => group !== null);
+        const unchanged = carried.length === rules.length &&
+            carried.every((group, i) => group.equals(rules[i]));
+        if (unchanged)
+            return this;
+        const { rules: _dropped, ...rest } = this.role;
+        return this.with({
+            role: carried.length ? { ...rest, rules: carried } : rest,
+        });
+    }
+}
+//# sourceMappingURL=Field.js.map

package/dist/fields/Field.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Field.js","sourceRoot":"","sources":["../../src/fields/Field.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAkB,MAAM,sBAAsB,CAAC;AAK5D,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAUpD,MAAM,OAAO,KAAK;IACP,KAAK,CAAQ;IACb,IAAI,CAAa;IACjB,SAAS,CAAkB;IAC3B,QAAQ,CAAe;IACvB,IAAI,CAAQ;IAIrB,YAAY,IAAsB,EAAE,GAAY;QAC9C,MAAM,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;QAE5C,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;gBAChC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAClE,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5C,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC9B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QAEtB,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC;QACtC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACxD,IAAI,OAAO,IAAI,OAAO;gBACpB,MAAM,IAAI,KAAK,CACb,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,wBAAwB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG;oBACrF,iCAAiC,OAAO,CAAC,KAAK,GAAG,CACpD,CAAC;QACN,CAAC;IACH,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAAc;QACtB,OAAO,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IAC9C,CAAC;IAED,IAAI,CAAQ,SAAoC;QAC9C,OAAO,IAAI,KAAK,CAAI,EAAE,GAAG,IAAI,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,CAAC,GAAwC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC;QAC/B,IAAI,CAAC,KAAK,EAAE,MAAM;YAAE,OAAO,IAAI,CAAC;QAEhC,MAAM,OAAO,GAAG,KAAK;aAClB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;aACjC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;QACrC,MAAM,SAAS,GACb,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAC/B,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;QACvD,IAAI,SAAS;YAAE,OAAO,IAAI,CAAC;QAE3B,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC,IAAK,CAAC;QAChD,OAAO,IAAI,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI;SAC1D,CAAC,CAAC;IACL,CAAC;CACF"}

package/dist/fields/FieldSet.d.ts

@@ -0,0 +1,28 @@
+import type { CompositeUnique } from '../EntityDeclarations.js';
+import { type FieldName, type Fields } from './Field.js';
+export declare class FieldSet<TFields extends Fields = Fields> {
+    private readonly fields;
+    private constructor();
+    static of<TFields extends Fields>(fields: TFields): FieldSet<TFields>;
+    /**
+     * 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<TFields extends Fields>(declared: TFields, unique?: CompositeUnique<TFields>): TFields;
+    /**
+     * 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(): FieldName<TFields> | undefined;
+    get uniqueGroups(): CompositeUnique<TFields> | undefined;
+}
+//# sourceMappingURL=FieldSet.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FieldSet.d.ts","sourceRoot":"","sources":["../../src/fields/FieldSet.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAChE,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;;;;OAIG;IACH,MAAM,CAAC,QAAQ,CAAC,OAAO,SAAS,MAAM,EACpC,QAAQ,EAAE,OAAO,EACjB,MAAM,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,GAChC,OAAO,CAKT;IAED;;;;;;;;;;;OAWG;IACH,IAAI,OAAO,IAAI,SAAS,CAAC,OAAO,CAAC,GAAG,SAAS,CAa5C;IAED,IAAI,YAAY,IAAI,eAAe,CAAC,OAAO,CAAC,GAAG,SAAS,CAKvD;CACF"}

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,38 +1,60 @@
-export { Field, type Fields, type Shape, type ShapeType, type StringFormat, type FormatPredicate, type Role, type Relation, type Lifecycle, type GeneratorRef, type Boundary, type BoundaryRef, type Decoder, type Encoder, type Meta, nullableShape, uniqueMembers, registerGenerator, resolveCustomGenerator, resolveBoundary, boundaryOf, Anatomy, Formats, Boundaries, type EntityConstructor, } from "./field/index.js";
-export { compose, Schema, ANONYMOUS_SCHEMA_NAME, type SchemaConstructor, type SchemaView, type Row, type PartialRow, } from "./schema/index.js";
-export { type FougereHints, type Hints } from "./hints.js";
-export { type CompositeUnique, type EntityDeclarations } from "./unique.js";
-export { primary } from "./vocabulary/primary.js";
-export { text, type TextOptions } from "./vocabulary/text.js";
-export { email } from "./vocabulary/email.js";
-export { url } from "./vocabulary/url.js";
-export { list, type ListOptions } from "./vocabulary/list.js";
-export { number } from "./vocabulary/number.js";
-export { bool } from "./vocabulary/bool.js";
-export { date } from "./vocabulary/date.js";
-export { created } from "./vocabulary/created.js";
-export { updated } from "./vocabulary/updated.js";
-export { oneOf } from "./vocabulary/oneOf.js";
-export { ref } from "./vocabulary/ref.js";
-export { many } from "./vocabulary/many.js";
-export { optional } from "./vocabulary/optional.js";
-export { nullable } from "./vocabulary/nullable.js";
-export { immutable } from "./vocabulary/immutable.js";
-export { unique } from "./vocabulary/unique.js";
-export { indexed } from "./vocabulary/indexed.js";
-export { readOnly } from "./vocabulary/readOnly.js";
-export { writeOnly } from "./vocabulary/writeOnly.js";
-export { json } from "./vocabulary/json.js";
-export { applyCreate, applyUpdate } from "./projections/lifecycle.js";
-export { encodeFields } from "./projections/encode.js";
-export { inputFields, outputFields } from "./projections/io.js";
-export { registrationKeyOf } from "./name.js";
-export { describe, describeSet, sourceNameOf } from "./projections/describe.js";
-export { reconstruct, reconstructSet } from "./projections/reconstruct.js";
-export { entitySourceOf, facadeTypeSourceOf, type TypeSourceOptions, type OpDescriptor, } from "./projections/typescript.js";
-export { type SchemaBundle, type SchemaDescriptor, type FieldDescriptor, type FieldExtension, type RoleDescriptor, type RelationDescriptor, } from "./projections/card.js";
-export { type SchemaSource, schemaOf, fieldsOf, } from "./projections/source.js";
-export type { StandardSchemaV1 } from "./projections/standard.js";
-export { entity } from "./entity.js";
-export { Judge, type ValidateOptions, type ValidationError, type ValidationResult, type Checked } from "./validation/index.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, 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 { FieldGroup } from './constraint/FieldGroup.js';
+export { Unique } from './constraint/Unique.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';
+export { url } from './vocabulary/url.js';
+export { list } from './vocabulary/list.js';
+export { number } from './vocabulary/number.js';
+export { bool } from './vocabulary/bool.js';
+export { date } from './vocabulary/date.js';
+export { created } from './vocabulary/created.js';
+export { updated } from './vocabulary/updated.js';
+export { oneOf } from './vocabulary/oneOf.js';
+export { ref } from './vocabulary/ref.js';
+export { many } from './vocabulary/many.js';
+export { optional } from './vocabulary/optional.js';
+export { nullable } from './vocabulary/nullable.js';
+export { immutable } from './vocabulary/immutable.js';
+export { unique } from './vocabulary/unique.js';
+export { indexed } from './vocabulary/indexed.js';
+export { readOnly } from './vocabulary/readOnly.js';
+export { writeOnly } from './vocabulary/writeOnly.js';
+export { json } from './vocabulary/json.js';
+export { applyCreate, applyUpdate } from './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 { 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 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';
 //# sourceMappingURL=index.d.ts.map