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

package/dist/entity.d.ts

@@ -1,117 +1,20 @@
-import { type Field, type Fields } from "./field/index.js";
-import type { Hints } from "./hints.js";
-import { type CompositeUnique, type EntityDeclarations } from "./unique.js";
-import { type ValidationResult, type ValidateOptions } from "./projections/validation.js";
-import type { StandardSchemaV1 } from "./projections/standard.js";
-/** The data shape an entity carries — every field present. */
-export type SchemaViewInfer<TFields extends Fields> = {
-    [K in keyof TFields]: TFields[K] extends Field<infer T, any> ? T : never;
-};
-/** Keys whose value is auto-supplied at creation (primary/auto/default/optional). */
-type AutoKeys<TFields extends Fields> = {
-    [K in keyof TFields]: TFields[K] extends Field<any, true> ? K : never;
-}[keyof TFields];
-/**
- * Constructor input — like the data shape, but auto-at-creation fields are
- * optional. `new Post({ title })` works without passing the generated id.
- */
-export type CtorInput<TFields extends Fields> = Omit<SchemaViewInfer<TFields>, AutoKeys<TFields>> & Partial<Pick<SchemaViewInfer<TFields>, AutoKeys<TFields>>>;
-/**
- * Fields as seen by a patch input: every field becomes OMISSIBLE (presence axis,
- * `A = true` → optional in the input), but its nullity does NOT change — `null`
- * stays governed by the base field (`optional()`). A patch may leave a field
- * untouched; it may not erase a non-nullable field.
- */
-type PatchFields<TFields extends Fields> = {
-    [K in keyof TFields]: TFields[K] extends Field<infer T, any> ? Field<T, true> : never;
-};
-/**
- * A schema constructor returned by Entity.pick(), omit(), partial(), extend().
- *
- * - Usable as a base class: `class X extends Post.pick('id') {}`
- * - Instance type = the data shape (no Infer needed)
- * - Has static methods: getFields(), validate(), pick(), omit(), partial(), extend()
- */
-export interface SchemaConstructor<TFields extends Fields> {
-    new (data: CtorInput<TFields>): SchemaViewInfer<TFields>;
-    readonly name: string;
-    readonly '~standard': StandardSchemaV1.Props<Record<string, unknown>, SchemaViewInfer<TFields>>;
-    /** The original Entity class this derivation was created from (undefined for compose() results). */
-    readonly source?: abstract new (...args: never[]) => unknown;
-    getFields(): TFields;
-    /**
-     * Per-consumer hints passed as the 2nd arg of `entity()`. Derivations carry them:
-     * pick/omit filter to surviving fields, rename remaps keys, partial/extend pass through.
-     */
-    getHints(): Hints<TFields> | undefined;
-    /**
-     * Field groups that are unique together, from the 2nd arg of `entity()`.
-     * Derivations carry them; a group loses a member and the group is dropped.
-     */
-    getUnique(): CompositeUnique<TFields> | undefined;
-    /** Validation options of this view (e.g. `patch` set by `partial()`). Derivations carry them. */
-    getOpts(): ValidateOptions;
-    validate(input: unknown): ValidationResult<SchemaViewInfer<TFields>>;
-    from(data: Record<string, unknown>): SchemaViewInfer<TFields>;
-    pick<K extends string & keyof TFields>(...keys: K[]): SchemaConstructor<Pick<TFields, K>>;
-    omit<K extends string & keyof TFields>(...keys: K[]): SchemaConstructor<Omit<TFields, K>>;
-    partial(): SchemaConstructor<PatchFields<TFields>>;
-    extend<E extends Fields>(extra: E): SchemaConstructor<TFields & E>;
-    /** Give an anonymous derivation an explicit runtime name. */
-    named(name: string): SchemaConstructor<TFields>;
-    rename(mapping: Partial<Record<string & keyof TFields, string>>): SchemaConstructor<Fields>;
-}
-/** Create a schema constructor from a field record. */
-/**
- * The runtime name a derivation carries when no class declaration named it.
- *
- * `class Post extends entity({…}) {}` is named by its declaration; `User.pick('id')` has
- * only the factory's own class to be named after. A reader — the scanner, notably — needs
- * to tell one from the other, so the name is stamped from here rather than read off a
- * class whose identifier someone could rename without noticing the other end.
- */
-export declare const ANONYMOUS_SCHEMA_NAME = "Schema";
-export declare function createSchemaConstructor<TFields extends Fields>(fields: TFields, source?: abstract new (...args: never[]) => unknown, hints?: Hints<TFields>, opts?: ValidateOptions, unique?: CompositeUnique<Fields>): SchemaConstructor<TFields>;
+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 })   // real instance, data-typed (NOT a bag of Fields)
- * Post.getFields()          // metadata, no instantiation
- * Post.pick('title')        // derived view, same static API
- * function publish(p: Post) // `Post` IS the data type — no Infer needed
+ * 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
  * ```
  *
- * The class carries data + schema metadata only. No business behaviour lives on
- * an entity — that belongs to handlers/commands (keeps form and behaviour apart).
- *
- * An optional 2nd argument carries per-consumer hints (see {@link Hints}) for the
- * irreducible bits a neutral field can't express — only adapters present in the
- * compilation are accepted; the field declarations themselves stay adapter-blind.
+ * 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>;
-/** Anything that exposes its fields — an `entity()` class or a SchemaConstructor. */
-interface HasFields {
-    getFields(): Fields;
-}
-type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
-type FieldsFrom<T> = T extends {
-    getFields(): infer F;
-} ? F : Fields;
-/**
- * Compose multiple entities/schemas into a single SchemaConstructor.
- *
- * ```ts
- * class User extends compose(UserBase, Timestamps) {}
- * class SearchPosts extends compose(Post.pick('title'), Pagination) {}
- * ```
- *
- * One merge law for EVERYTHING a schema carries — fields, hints, opts: left to
- * right, later sources override earlier ones on conflict (hints merge per adapter,
- * per field key). Use .rename() before compose() to avoid field conflicts.
- */
-export declare function compose<T extends HasFields[]>(...sources: T): SchemaConstructor<UnionToIntersection<FieldsFrom<T[number]>> & Fields>;
-export {};
 //# 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,EAA+B,KAAK,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAA4D,KAAK,eAAe,EAAE,KAAK,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACtI,OAAO,EAA8B,KAAK,gBAAgB,EAAE,KAAK,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACtH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAIlE,8DAA8D;AAC9D,MAAM,MAAM,eAAe,CAAC,OAAO,SAAS,MAAM,IAAI;KACnD,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK;CACzE,CAAC;AAEF,qFAAqF;AACrF,KAAK,QAAQ,CAAC,OAAO,SAAS,MAAM,IAAI;KACrC,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK;CACtE,CAAC,MAAM,OAAO,CAAC,CAAC;AAEjB;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,OAAO,SAAS,MAAM,IAC1C,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,GACjD,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE7D;;;;;GAKG;AACH,KAAK,WAAW,CAAC,OAAO,SAAS,MAAM,IAAI;KACxC,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,KAAK;CACtF,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB,CAAC,OAAO,SAAS,MAAM;IACvD,KAAK,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;IAChG,oGAAoG;IACpG,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,CAAC;IAC7D,SAAS,IAAI,OAAO,CAAC;IACrB;;;OAGG;IACH,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;IACvC;;;OAGG;IACH,SAAS,IAAI,eAAe,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;IAClD,iGAAiG;IACjG,OAAO,IAAI,eAAe,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;IACrE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,OAAO,EACnC,GAAG,IAAI,EAAE,CAAC,EAAE,GACX,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,OAAO,EACnC,GAAG,IAAI,EAAE,CAAC,EAAE,GACX,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,OAAO,IAAI,iBAAiB,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,CAAC,SAAS,MAAM,EACrB,KAAK,EAAE,CAAC,GACP,iBAAiB,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IAClC,6DAA6D;IAC7D,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,OAAO,EAAE,MAAM,CAAC,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;CAC7F;AAkED,uDAAuD;AACvD;;;;;;;GAOG;AACH,eAAO,MAAM,qBAAqB,WAAW,CAAC;AAE9C,wBAAgB,uBAAuB,CAAC,OAAO,SAAS,MAAM,EAC5D,MAAM,EAAE,OAAO,EACf,MAAM,CAAC,EAAE,QAAQ,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,EACnD,KAAK,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,EACtB,IAAI,GAAE,eAAoB,EAC1B,MAAM,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,GAC/B,iBAAiB,CAAC,OAAO,CAAC,CA+H5B;AAID;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,MAAM,CAAC,OAAO,SAAS,MAAM,EAC3C,MAAM,EAAE,OAAO,EACf,YAAY,CAAC,EAAE,kBAAkB,CAAC,OAAO,CAAC,GACzC,iBAAiB,CAAC,OAAO,CAAC,CAO5B;AAkCD,qFAAqF;AACrF,UAAU,SAAS;IACjB,SAAS,IAAI,MAAM,CAAC;CACrB;AAED,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAEpH,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,SAAS,IAAI,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,MAAM,CAAC;AAErE;;;;;;;;;;;GAWG;AACH,wBAAgB,OAAO,CAAC,CAAC,SAAS,SAAS,EAAE,EAC3C,GAAG,OAAO,EAAE,CAAC,GACZ,iBAAiB,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAoBxE"}
+{"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"}

package/dist/entity.js

@@ -1,254 +1,36 @@
-import { resolveBoundary } from "./field/index.js";
-import { deriveUnique, deriveUniqueRoles, projectUniqueOntoFields } from "./unique.js";
-import { checkValue, validateFields } from "./projections/validation.js";
-// ─── Factory ────────────────────────────────────
-/**
- * The single "trust me" point. The schema class is built from a runtime field-map:
- * its instances get their shape from the constructor *data* (`Object.assign`), not
- * from members written in the class body, and its derivations rebuild maps on the
- * fly. TypeScript sees an empty class, so it cannot prove this matches the precise
- * generic type — one assertion declares that it does. Every schema/mixin library
- * (Effect's `Schema.Class`, ts-mixer, …) carries this same one line. Keeping it
- * here, named and explained, keeps it the *only* such assertion in the package.
- */
-function asSchemaConstructor(impl) {
-    return impl;
-}
-/**
- * Carry hints across a field-key transform — the schema-level twin of `cloneField`'s
- * invariant: a derivation preserves everything it doesn't explicitly change. `transform`
- * maps an old key to its new name, or to `undefined` when the field is dropped; each
- * adapter's per-field hints follow their fields.
- */
-function deriveHints(hints, transform) {
-    if (!hints)
-        return undefined;
-    const out = {};
-    for (const [adapter, perField] of Object.entries(hints)) {
-        if (!perField || typeof perField !== 'object')
-            continue;
-        const mapped = {};
-        for (const [key, hint] of Object.entries(perField)) {
-            const next = transform(key);
-            if (next !== undefined)
-                mapped[next] = hint;
-        }
-        if (Object.keys(mapped).length)
-            out[adapter] = mapped;
-    }
-    return Object.keys(out).length ? out : undefined;
-}
-/**
- * Refuse a key the schema does not carry, naming it and what was expected — the twin of
- * `assertListOptions` in `@fougere/core`, applied to the derivation algebra.
- *
- * `pick` skipped an unknown key and `omit` filtered on a key nothing matched, so a typo
- * was silently obeyed. `pick('titel')` returned a view without the field, and — the
- * dangerous half — `omit('ownerUserID')` removed NOTHING: the field stayed in the input
- * view, so the façade's unknown-key refusal no longer applied to it, and a client could
- * write the very field the view was written to close. Measured: the view accepted
- * `ownerUserId: 'someone-else'`.
- *
- * TypeScript catches this at the call site when the key is a literal. It does not when
- * the keys come from a variable, from JSON, or across a package boundary — and a view
- * that quietly widens is not a thing to leave to the type-checker alone.
- */
-function assertKnownKeys(operation, keys, fields) {
-    const strangers = keys.filter((key) => !(key in fields));
-    if (strangers.length === 0)
-        return;
-    throw new Error(`${operation}(): unknown field ${strangers.map((s) => `\`${s}\``).join(', ')}. ` +
-        `This schema carries ${Object.keys(fields).join(', ')}.`);
-}
-/** Create a schema constructor from a field record. */
-/**
- * The runtime name a derivation carries when no class declaration named it.
- *
- * `class Post extends entity({…}) {}` is named by its declaration; `User.pick('id')` has
- * only the factory's own class to be named after. A reader — the scanner, notably — needs
- * to tell one from the other, so the name is stamped from here rather than read off a
- * class whose identifier someone could rename without noticing the other end.
- */
-export const ANONYMOUS_SCHEMA_NAME = 'Schema';
-export function createSchemaConstructor(fields, source, hints, opts = {}, unique) {
-    class Schema {
-        /** Trusted constructor — assigns already-shaped data. Validate untrusted input via `validate()`/`from()` first. */
-        constructor(data) {
-            if (data)
-                Object.assign(this, data);
-        }
-        static get ['~standard']() {
-            return {
-                version: 1,
-                vendor: 'fougere',
-                validate(value) {
-                    const result = validateFields(fields, value, opts);
-                    if (result.success) {
-                        return { value: result.data };
-                    }
-                    return {
-                        issues: result.errors.map((e) => ({
-                            message: e.message,
-                            // ONE segment, not a split: `validateFields` joins with `.` only when it
-                            // receives a `pathPrefix`, and no caller passes one — the recursion that
-                            // parameter exists for is not written. So a path is always a single field
-                            // name, and splitting it invented segments for a name legally spelled `a.b`.
-                            // The day nested objects report their own path, this becomes a real split
-                            // and the joining side has to say where the boundaries are.
-                            path: e.path && e.path !== '.' ? [{ key: e.path }] : undefined,
-                        })),
-                    };
-                },
-            };
-        }
-        static source = source;
-        static getFields() {
-            return fields;
-        }
-        static getHints() {
-            return hints;
-        }
-        static getUnique() {
-            return unique;
-        }
-        static getOpts() {
-            return opts;
-        }
-        static validate(input) {
-            return validateFields(fields, input, opts);
-        }
-        static from(data) {
-            // Trusted projection: keep known keys, drop the rest. Runs the boundary's decode
-            // (the same wire→domain step validate() applies) so the returned value matches
-            // its declared type — a date-string in becomes the `Date` the type promises.
-            // Best-effort: a value that fails to decode is kept as-is rather than dropped.
-            const result = {};
-            for (const [key, field] of Object.entries(fields)) {
-                if (!(key in data))
-                    continue;
-                const value = data[key];
-                if (value === null || value === undefined) {
-                    result[key] = value;
-                    continue;
-                }
-                const decoded = resolveBoundary(field).decode(value);
-                result[key] = 'error' in decoded ? value : decoded.value;
-            }
-            return result;
-        }
-        // Every derivation carries hints and opts — same invariant as cloneField, one
-        // level up: change the fields you mean, keep everything else the view holds.
-        //
-        // `source ?? this` records WHERE a view came from, once, at the first derivation:
-        // `this` is the class the static was called on (`Post`), and a view of a view keeps
-        // the origin rather than the intermediate. The slot existed and was only ever
-        // propagated — `entity()` passes `undefined` — so `describe` read an empty field and
-        // titled a view `Schema`, the anonymous class. One reader assumed it; now two do
-        // (GraphQL names `PostStatus` from it, so an input view and the type share one enum).
-        static pick(...keys) {
-            assertKnownKeys('pick', keys, fields);
-            const picked = {};
-            for (const key of keys) {
-                if (fields[key])
-                    picked[key] = fields[key];
-            }
-            const survives = (k) => (keys.includes(k) ? k : undefined);
-            return createSchemaConstructor(deriveUniqueRoles(picked, survives), source ?? this, deriveHints(hints, survives), opts, deriveUnique(unique, survives));
-        }
-        static omit(...keys) {
-            assertKnownKeys('omit', keys, fields);
-            const omitted = {};
-            for (const [key, value] of Object.entries(fields)) {
-                if (!keys.includes(key))
-                    omitted[key] = value;
-            }
-            const survives = (k) => (keys.includes(k) ? undefined : k);
-            return createSchemaConstructor(deriveUniqueRoles(omitted, survives), source ?? this, deriveHints(hints, survives), opts, deriveUnique(unique, survives));
-        }
-        static partial() {
-            // patch mode: an unsent field is omitted ("don't touch"), enforced by
-            // ValidateOptions.patch — the fields themselves are untouched, so `null`
-            // stays legal only where the base field is nullable. partial() moves the
-            // presence axis, never the nullity axis.
-            return createSchemaConstructor({ ...fields }, source ?? this, hints, { ...opts, patch: true }, unique);
-        }
-        static extend(extra) {
-            return createSchemaConstructor({ ...fields, ...extra }, source ?? this, hints, opts, unique);
-        }
-        static named(name) {
-            if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(name)) {
-                throw new Error(`named(): \`${name}\` is not a valid class name.`);
-            }
-            // It renames in place, so it may only name what has no name. On a declared class
-            // `Post.named('Other')` would silently retarget its table, its GraphQL type and
-            // its registration key — every projection reads this name.
-            if (this.name !== ANONYMOUS_SCHEMA_NAME) {
-                throw new Error(`named(): \`${this.name}\` is already named by its class declaration.`);
-            }
-            Object.defineProperty(this, 'name', { value: name, configurable: true });
-            return this;
-        }
-        static rename(mapping) {
-            assertKnownKeys('rename', Object.keys(mapping), fields);
-            const renamed = {};
-            for (const [key, field] of Object.entries(fields)) {
-                renamed[mapping[key] ?? key] = field;
-            }
-            const remap = (k) => mapping[k] ?? k;
-            return createSchemaConstructor(deriveUniqueRoles(renamed, remap), source ?? this, deriveHints(hints, remap), opts, deriveUnique(unique, remap));
-        }
-    }
-    Object.defineProperty(Schema, 'name', { value: ANONYMOUS_SCHEMA_NAME, configurable: true });
-    return asSchemaConstructor(Schema);
-}
-// ─── Public entry ───────────────────────────────
+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 })   // real instance, data-typed (NOT a bag of Fields)
- * Post.getFields()          // metadata, no instantiation
- * Post.pick('title')        // derived view, same static API
- * function publish(p: Post) // `Post` IS the data type — no Infer needed
+ * 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
  * ```
  *
- * The class carries data + schema metadata only. No business behaviour lives on
- * an entity — that belongs to handlers/commands (keeps form and behaviour apart).
- *
- * An optional 2nd argument carries per-consumer hints (see {@link Hints}) for the
- * irreducible bits a neutral field can't express — only adapters present in the
- * compilation are accepted; the field declarations themselves stay adapter-blind.
+ * 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) {
-    // This is the only place that knows both the field KEYS and the entity's declarations,
-    // so it is where a composite group becomes readable on each member's role axis. The
-    // declaration remains the source — `getUnique()` still answers it.
-    const projected = projectUniqueOntoFields(fields, declarations?.unique);
+    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 createSchemaConstructor(projected, undefined, declarations?.hints, {}, declarations?.unique);
+    return Schema.of(projected, undefined, declarations?.hints, {}, declarations?.unique);
 }
-/**
- * A declared default must satisfy its own shape — checked once, here.
- *
- * `applyCreate` writes it into every row without passing the client judge, which is
- * correct: the judge asks "is what the CALLER sent legal", and this value comes from the
- * author. But that means `text({ min: 5, default: 'ab' })` produced rows the entity's own
- * `validate` refuses — silently on a store that judges nothing, as a constraint violation
- * on SQL, as a validator error on MongoDB. Three symptoms, one cause, none of them naming
- * it.
- *
- * The value is static and so is the shape, so the answer is static: it belongs at the
- * declaration, not on every write. `oneOf` closes its own case in the type system; this
- * catches what no type can — a bound, a pattern, a format.
- */
 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 = checkValue(field, create.value);
+        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 `
@@ -256,36 +38,4 @@ function assertDefaultsAreValid(fields) {
         }
     }
 }
-/**
- * Compose multiple entities/schemas into a single SchemaConstructor.
- *
- * ```ts
- * class User extends compose(UserBase, Timestamps) {}
- * class SearchPosts extends compose(Post.pick('title'), Pagination) {}
- * ```
- *
- * One merge law for EVERYTHING a schema carries — fields, hints, opts: left to
- * right, later sources override earlier ones on conflict (hints merge per adapter,
- * per field key). Use .rename() before compose() to avoid field conflicts.
- */
-export function compose(...sources) {
-    const merged = {};
-    const mergedHints = {};
-    let mergedOpts = {};
-    for (const source of sources) {
-        Object.assign(merged, source.getFields());
-        const carrier = source;
-        const hints = carrier.getHints?.();
-        if (hints) {
-            for (const [adapter, perField] of Object.entries(hints)) {
-                if (!perField || typeof perField !== 'object')
-                    continue;
-                mergedHints[adapter] = { ...mergedHints[adapter], ...perField };
-            }
-        }
-        mergedOpts = { ...mergedOpts, ...carrier.getOpts?.() };
-    }
-    const hints = Object.keys(mergedHints).length ? mergedHints : undefined;
-    return asSchemaConstructor(createSchemaConstructor(merged, undefined, hints, mergedOpts));
-}
 //# 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,EAAc,eAAe,EAA2B,MAAM,kBAAkB,CAAC;AAExF,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,uBAAuB,EAAiD,MAAM,aAAa,CAAC;AACtI,OAAO,EAAE,UAAU,EAAE,cAAc,EAA+C,MAAM,6BAA6B,CAAC;AA4EtH,mDAAmD;AAEnD;;;;;;;;GAQG;AACH,SAAS,mBAAmB,CAAmB,IAAY;IACzD,OAAO,IAA4B,CAAC;AACtC,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAClB,KAAgC,EAChC,SAA8C;IAE9C,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,GAAG,GAA4C,EAAE,CAAC;IACxD,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAA4D,CAAC,EAAE,CAAC;QAC/G,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ;YAAE,SAAS;QACxD,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QAC9C,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM;YAAE,GAAG,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;IACxD,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,GAAqB,CAAC,CAAC,CAAC,SAAS,CAAC;AACtE,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,eAAe,CAAC,SAAiB,EAAE,IAAc,EAAE,MAAc;IACxE,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC;IACzD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAEnC,MAAM,IAAI,KAAK,CACb,GAAG,SAAS,qBAAqB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;QAChF,uBAAuB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACzD,CAAC;AACJ,CAAC;AAED,uDAAuD;AACvD;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,QAAQ,CAAC;AAE9C,MAAM,UAAU,uBAAuB,CACrC,MAAe,EACf,MAAmD,EACnD,KAAsB,EACtB,IAAI,GAAoB,EAAE,EAC1B,MAAgC;IAEhC,MAAM,MAAM;QACV,mHAAmH;QACnH,YAAY,IAA8B;YACxC,IAAI,IAAI;gBAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtC,CAAC;QACD,MAAM,KAAK,CAAC,WAAW,CAAC;YACtB,OAAO;gBACL,OAAO,EAAE,CAAC;gBACV,MAAM,EAAE,SAAS;gBACjB,QAAQ,CAAC,KAAc;oBACrB,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;oBACnD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;wBACnB,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC;oBAChC,CAAC;oBACD,OAAO;wBACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;4BAChC,OAAO,EAAE,CAAC,CAAC,OAAO;4BAClB,yEAAyE;4BACzE,yEAAyE;4BACzE,0EAA0E;4BAC1E,6EAA6E;4BAC7E,0EAA0E;4BAC1E,4DAA4D;4BAC5D,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;yBAC/D,CAAC,CAAC;qBACJ,CAAC;gBACJ,CAAC;aACF,CAAC;QACJ,CAAC;QACD,MAAM,CAAU,MAAM,GAAG,MAAM,CAAC;QAChC,MAAM,CAAC,SAAS;YACd,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,CAAC,QAAQ;YACb,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,CAAC,SAAS;YACd,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,CAAC,OAAO;YACZ,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,CAAC,QAAQ,CAAC,KAAc;YAC5B,OAAO,cAAc,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC7C,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,IAA6B;YACvC,iFAAiF;YACjF,+EAA+E;YAC/E,6EAA6E;YAC7E,+EAA+E;YAC/E,MAAM,MAAM,GAA4B,EAAE,CAAC;YAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClD,IAAI,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC;oBAAE,SAAS;gBAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;gBACxB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBAC1C,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;oBACpB,SAAS;gBACX,CAAC;gBACD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACrD,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;YAC3D,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,8EAA8E;QAC9E,6EAA6E;QAC7E,EAAE;QACF,kFAAkF;QAClF,oFAAoF;QACpF,8EAA8E;QAC9E,qFAAqF;QACrF,iFAAiF;QACjF,sFAAsF;QACtF,MAAM,CAAC,IAAI,CAAC,GAAG,IAAc;YAC3B,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACtC,MAAM,MAAM,GAAW,EAAE,CAAC;YAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,IAAI,MAAM,CAAC,GAAG,CAAC;oBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YAC7C,CAAC;YACD,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACnE,OAAO,uBAAuB,CAAC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,IAAI,IAAI,EAAE,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1J,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAc;YAC3B,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACtC,MAAM,OAAO,GAAW,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;YAChD,CAAC;YACD,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,OAAO,uBAAuB,CAAC,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,MAAM,IAAI,IAAI,EAAE,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC3J,CAAC;QACD,MAAM,CAAC,OAAO;YACZ,sEAAsE;YACtE,yEAAyE;YACzE,yEAAyE;YACzE,yCAAyC;YACzC,OAAO,uBAAuB,CAAC,EAAE,GAAG,MAAM,EAAE,EAAE,MAAM,IAAI,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC;QACzG,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,KAAa;YACzB,OAAO,uBAAuB,CAAC,EAAE,GAAG,MAAM,EAAE,GAAG,KAAK,EAAE,EAAE,MAAM,IAAI,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,IAAY;YACvB,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7C,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,+BAA+B,CAAC,CAAC;YACrE,CAAC;YACD,iFAAiF;YACjF,gFAAgF;YAChF,2DAA2D;YAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACxC,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,IAAI,+CAA+C,CAAC,CAAC;YAC1F,CAAC;YACD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YACzE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,OAA+B;YAC3C,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;YACxD,MAAM,OAAO,GAAW,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClD,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;YACvC,CAAC;YACD,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC7C,OAAO,uBAAuB,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,IAAI,IAAI,EAAE,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;QAClJ,CAAC;KACF;IAED,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,qBAAqB,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5F,OAAO,mBAAmB,CAAU,MAAM,CAAC,CAAC;AAC9C,CAAC;AAED,mDAAmD;AAEnD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,MAAM,CACpB,MAAe,EACf,YAA0C;IAE1C,uFAAuF;IACvF,oFAAoF;IACpF,mEAAmE;IACnE,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IACxE,sBAAsB,CAAC,SAAS,CAAC,CAAC;IAClC,OAAO,uBAAuB,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;AACtG,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,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,UAAU,CAAC,KAAK,EAAG,MAA6B,CAAC,KAAK,CAAC,CAAC;QACxE,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;AAaD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,OAAO,CACrB,GAAG,OAAU;IAEb,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,MAAM,WAAW,GAA4C,EAAE,CAAC;IAChE,IAAI,UAAU,GAAoB,EAAE,CAAC;IACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,MAA4C,CAAC;QAC7D,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;QACnC,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAA4D,CAAC,EAAE,CAAC;gBAC/G,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ;oBAAE,SAAS;gBACxD,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,EAAE,CAAC;YAClE,CAAC;QACH,CAAC;QACD,UAAU,GAAG,EAAE,GAAG,UAAU,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC;IACzD,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,WAA6B,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3F,OAAO,mBAAmB,CACxB,uBAAuB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,CAC9D,CAAC;AACJ,CAAC"}
+{"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"}

package/dist/field/boundary.d.ts

@@ -1,28 +1,14 @@
-import type { AnyField } from './field.js';
+import type { Field } from './field.js';
 /**
- * Axis 4 · boundary — HOW AND IN WHICH DIRECTION a value crosses the CLIENT frontier.
+ * Axis 4 · boundary — HOW and IN WHICH DIRECTION a value crosses the CLIENT frontier.
  *
- * ⚠️ SCOPE — this axis covers the client frontier ONLY. A direction is meaningless
- * unless stated relative to a centre, and this one is relative to the domain facing a
- * client: `in` parses a request, `out` renders a response. It does NOT cover storage —
- * no storage adapter reads it, which is exactly why `bool`, `list`, `json` and a judged
- * `date` cannot be written today (they reach the driver unconverted). The domain↔column
- * conversion belongs to the storage adapter, and naming that second frontier is an open
- * design question — see the axes study.
+ * ⚠️ The client frontier ONLY: `in` parses a request, `out` renders a response. No storage
+ * adapter reads it, so the domain↔column conversion is a second frontier, unnamed today.
  *
- * The normal form is indexed by DIRECTION. Each direction carries one of the two facets
- * of the same frontier:
- * a conversion (`{ decode }` / `{ encode }`, a NAMED rule) or the permission
- * token `'closed'` — read-only closes `in` (never accepted from a client),
- * write-only closes `out` (never emitted, e.g. a password). A key absent →
- * that direction is open, identity conversion. Declarative and named — never
- * an opaque closure, so adapters stay able to read what a field does.
- *
- * Two directional registries (decoders, encoders) are the pure base; an alias is
- * just a named pair. A field rarely declares a boundary: the default is DERIVED
- * from `shape` (convention over config). A declared boundary overrides that
- * default PER DIRECTION — closing `out` on a date field leaves the derived
- * isoDate decode on `in` intact.
+ * Each direction carries one of two facets: a NAMED conversion (`{ decode }`/`{ encode }`)
+ * or the permission token `'closed'`. Absent → open, identity. Named and never a closure,
+ * so an adapter can read what a field does. The default is derived from `shape`; a
+ * declared boundary overrides it per direction.
  */
 /** Inbound: a supplied wire value → domain value. May fail (transformOrFail-style). */
 export type Decoder = (value: unknown) => {
@@ -50,36 +36,33 @@ export interface Boundary {
  * autocomplete on them while leaving the set open to `registerBoundaryAlias`.
  */
 export type BoundaryRef = 'isoDate' | (string & {}) | Boundary;
-export declare function registerDecoder(name: string, fn: Decoder): void;
-export declare function registerEncoder(name: string, fn: Encoder): void;
-/** Register a named boundary — the alias a field can reference. */
-export declare function registerBoundaryAlias(name: string, boundary: Boundary): void;
+export declare class Boundaries {
+    private static readonly decoders;
+    private static readonly encoders;
+    private static readonly aliases;
+    static registerDecoder(name: string, fn: Decoder): void;
+    static registerEncoder(name: string, fn: Encoder): void;
+    /** Name a pair of directional rules, so a field declares `boundary: 'moneyCents'`. */
+    static registerAlias(name: string, boundary: Boundary): void;
+    static alias(name: string): Boundary | undefined;
+    static decoder(name: string): Decoder;
+    static encoder(name: string): Encoder;
+    private static named;
+}
 /** The field's DECLARED boundary in normal form (alias resolved) — no derived default. */
-export declare function declaredBoundary(field: AnyField): Boundary;
+export declare function declaredBoundary(field: Field): Boundary;
 /**
  * The field's EFFECTIVE boundary: declared rules win per direction, the
  * shape-derived default fills the rest. This is the reader every consumer of
  * the axis goes through — `boundaryOf(f).in === 'closed'` is the read-only
  * test, `.out === 'closed'` the write-only one.
  */
-export declare function boundaryOf(field: AnyField): Boundary;
+export declare function boundaryOf(field: Field): Boundary;
 /**
- * A field's effective conversion functions. The permission facet is not read
- * here: a `'closed'` direction converts as identity — its rejection/omission
- * happens in the readers (validation, encode) BEFORE any conversion.
- *
- * A NAMED codec that no one registered throws, exactly like an unknown alias
- * (`declaredBoundary`). It used to fall back to identity: a frond declared
- * `{ decode: 'celsius' }`, the consumer never called `registerDecoder`, and the
- * value arrived unconverted while the card said it had been converted — the same
- * silent loss this repo measured on Remult (`validate: [null, null]`) and on
- * zod v4 (a computed default frozen at export). One axis, two spellings, one
- * failure mode.
- *
- * It throws where the conversion is needed, not at boot: nothing walks every
- * field at startup. Loud and late beats silent and never.
+ * A field's effective conversion functions. A closed direction converts as identity — the
+ * permission facet is judged by the façade, not here.
  */
-export declare function resolveBoundary(field: AnyField): {
+export declare function resolveBoundary(field: Field): {
     decode: Decoder;
     encode: Encoder;
 };

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

@@ -1 +1 @@
-{"version":3,"file":"boundary.d.ts","sourceRoot":"","sources":["../../src/field/boundary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAG3C;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,uFAAuF;AACvF,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AACjF,0FAA0F;AAC1F,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;AAElD,uFAAuF;AACvF,MAAM,WAAW,QAAQ;IACvB,EAAE,CAAC,EAAE,QAAQ,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACnC,GAAG,CAAC,EAAE,QAAQ,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACrC;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,GAAG,QAAQ,CAAC;AAQ/D,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,GAAG,IAAI,CAE/D;AACD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,GAAG,IAAI,CAE/D;AACD,mEAAmE;AACnE,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAE5E;AAgCD,0FAA0F;AAC1F,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAS1D;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,QAAQ,GAAG,QAAQ,CAIpD;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,QAAQ,GAAG;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAMrF"}
+{"version":3,"file":"boundary.d.ts","sourceRoot":"","sources":["../../src/field/boundary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAGxC;;;;;;;;;;GAUG;AAEH,uFAAuF;AACvF,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AACjF,0FAA0F;AAC1F,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;AAElD,uFAAuF;AACvF,MAAM,WAAW,QAAQ;IACvB,EAAE,CAAC,EAAE,QAAQ,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACnC,GAAG,CAAC,EAAE,QAAQ,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CACrC;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,GAAG,QAAQ,CAAC;AAI/D,qBAAa,UAAU;IACrB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAA8B;IAC9D,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAA8B;IAC9D,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAA+B;IAE9D,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,GAAG,IAAI,CAAiC;IACxF,MAAM,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,GAAG,IAAI,CAAiC;IAExF,sFAAsF;IACtF,MAAM,CAAC,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAsC;IAElG,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAmC;IAEnF,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAuD;IAC5F,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAuD;IAE5F,OAAO,CAAC,MAAM,CAAC,KAAK;CAUrB;AA8BD,0FAA0F;AAC1F,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,CASvD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,CAIjD;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,KAAK,GAAG;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAMlF"}