@fougere/schema 0.2.0-alpha.1 → 0.3.0-alpha.0

package/dist/projections/reconstruct.d.ts

@@ -1,36 +0,0 @@
-import { type Field, type Fields } from '../field/index.js';
-import { type SchemaConstructor, type SchemaViewInfer } from '../entity.js';
-import { type SchemaBundle, type SchemaDescriptor } from './card.js';
-/**
- * The field map a stated row shape implies.
- *
- * Every member is marked auto-at-creation, so `CtorInput` asks for nothing: a card
- * describes rows as they are READ, and "what a caller must supply at creation" is a
- * different question — one `required` answers, and one a synced consumer never asks,
- * since it calls the host rather than constructing.
- */
-type FieldsOf<T> = {
-    [K in keyof T]-?: Field<T[K], true>;
-};
-/**
- * Read a lone card back into a working schema — THE single reconstructor. The result
- * carries its `~standard` (live validation) rebuilt locally: the descriptor crosses
- * the wire as data, the behaviour is reconstituted here. Relations stay name stand-ins
- * (no set to resolve against — use {@link reconstructSet} for live targets).
- *
- * `T` states the shape of a row, and that is what makes a rebuilt schema a CLASS rather
- * than a type and a value declared side by side: `class Post extends reconstruct<{…}>(card) {}`
- * is one declaration carrying both, exactly like `class Post extends entity({…}) {}`.
- * Without it the instance type is an index signature, so a synced entity validated
- * perfectly and taught the compiler nothing — `post.titel` compiled.
- */
-export declare function reconstruct<T = SchemaViewInfer<Fields>>(descriptor: SchemaDescriptor): SchemaConstructor<FieldsOf<T>>;
-/**
- * Read a whole bundle back into live schemas, keyed by name — THE set reconstructor.
- * Every entity is rebuilt against a shared `$defs` resolver, so a relation's `to()`
- * hands back the real reconstructed target (feeds adapters), not a name stand-in.
- * Targets absent from the set (external/cross-frond `$ref`) keep the stand-in.
- */
-export declare function reconstructSet(bundle: SchemaBundle): Record<string, SchemaConstructor<Fields>>;
-export {};
-//# sourceMappingURL=reconstruct.d.ts.map

package/dist/projections/reconstruct.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"reconstruct.d.ts","sourceRoot":"","sources":["../../src/projections/reconstruct.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,KAAK,EACV,KAAK,MAAM,EAGZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAA2B,KAAK,iBAAiB,EAAE,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AACrG,OAAO,EAIL,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACtB,MAAM,WAAW,CAAC;AAsHnB;;;;;;;GAOG;AACH,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;CAAE,CAAC;AAE3D;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CAAC,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,EACrD,UAAU,EAAE,gBAAgB,GAC3B,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAEhC;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAc9F"}

package/dist/projections/reconstruct.js

@@ -1,149 +0,0 @@
-import { createField, } from '../field/index.js';
-import { createSchemaConstructor } from '../entity.js';
-import { clean, } from './card.js';
-// ─── reconstruct — card → schema (the single reconstructor) ────────
-/**
- * Read a JSON Schema property back into a Fougère shape. The `type` travels
- * VERBATIM — nullability is the `[T,'null']` union on both sides, so there is
- * nothing to split; only the keyword subset of the base type is picked.
- */
-function reconstructShape(prop) {
-    const types = Array.isArray(prop.type) ? prop.type : prop.type ? [prop.type] : [];
-    const base = types.find((t) => t !== 'null');
-    if (base === undefined)
-        return undefined;
-    const type = prop.type;
-    // `array` is two distinct things: with `items` it is a value list (a real shape);
-    // without, it is a bare `many` relation marker — no shape, the role carries it.
-    if (base === 'array') {
-        if (!prop.items)
-            return undefined;
-        const items = reconstructShape(prop.items);
-        return clean({ type, items, minItems: prop.minItems, maxItems: prop.maxItems });
-    }
-    switch (base) {
-        case 'string':
-            return clean({ type, minLength: prop.minLength, maxLength: prop.maxLength, pattern: prop.pattern, enum: prop.enum, format: prop.format });
-        case 'number':
-        case 'integer':
-            return clean({ type, minimum: prop.minimum, maximum: prop.maximum });
-        case 'boolean':
-            return { type };
-        default: // 'object' or anything unrecognised → opaque value (nesting travels verbatim)
-            return clean({ type, properties: prop.properties, required: prop.required });
-    }
-}
-function reconstructRole(role, resolve) {
-    const out = {};
-    if (role.primary)
-        out.primary = true;
-    // Members arrive spelled out and stay that way — a single-member group read back as the
-    // empty self-reference would re-describe identically but lose the distinction for no
-    // gain. `uniqueMembers` treats a named group as already resolved.
-    if (role.unique?.length)
-        out.unique = role.unique.map((group) => [...group]);
-    if (role.index)
-        out.index = true;
-    if (role.relation) {
-        const name = role.relation.to;
-        out.relation = {
-            // `to` is the `$ref` (a name). With a resolver (a bundle), it hands back the real
-            // reconstructed target — adapters can read its fields. Lazy, so circular relations
-            // resolve fine. Without one (a lone card), a name-only stand-in: enough to validate
-            // (`kind`) and re-describe identically, but not to feed an adapter.
-            to: () => resolve?.(name) ?? { name },
-            kind: role.relation.kind,
-            ...(role.relation.onDelete ? { onDelete: role.relation.onDelete } : {}),
-        };
-    }
-    return out;
-}
-function reconstructField(prop, resolve) {
-    const ext = prop['x-fougere'];
-    return createField({
-        shape: reconstructShape(prop),
-        role: ext?.role ? reconstructRole(ext.role, resolve) : undefined,
-        // The normal forms are pure JSON — they travelled verbatim, they read back verbatim.
-        lifecycle: ext?.lifecycle,
-        boundary: ext?.boundary,
-        meta: prop.description !== undefined ? { description: prop.description } : undefined,
-    });
-}
-/**
- * The entity-level groups implied by the fields — the inverse of
- * `projectUniqueOntoFields`. Only groups of more than one member: a lone `unique(slug)`
- * is fully stated by the field's own role, and listing it here would make `getUnique()`
- * answer a composite the author never declared.
- */
-function compositeFromFields(fields) {
-    const seen = new Map();
-    for (const field of Object.values(fields)) {
-        for (const group of field.role?.unique ?? []) {
-            if (group.length < 2)
-                continue;
-            // A key that cannot collide with a field name — `JSON.stringify` rather than a
-            // separator byte: a NUL in the source made every `grep` read this whole file as
-            // binary and skip it silently, a poor price for a de-duplication key.
-            seen.set(JSON.stringify(group), [...group]);
-        }
-    }
-    return seen.size ? [...seen.values()] : undefined;
-}
-/** Build a live schema from a card; `resolve` wires relation targets when in a bundle. */
-function buildSchema(descriptor, resolve) {
-    const fields = {};
-    for (const [key, prop] of Object.entries(descriptor.properties)) {
-        fields[key] = reconstructField(prop, resolve);
-    }
-    // Recover the entity-level declaration from what the members carry. The card holds the
-    // fact once per member; a group of two arrives twice, so the set is de-duplicated —
-    // `getUnique()` then answers what the original author wrote, and the DDL on this side
-    // emits the same constraint as the DDL on the other.
-    const schema = createSchemaConstructor(fields, undefined, undefined, {}, compositeFromFields(fields));
-    // The name is the identity everything downstream keys on — the registration key, the
-    // table, the GraphQL type, what a relation's `to` points at. `describe` writes it as
-    // `title`; dropping it here left a rebuilt schema called `Schema`, so a card could not
-    // round-trip and an adapter standing on one had no entity name to work from.
-    // `reconstructSet` still overrides with the bundle key, which is the more specific truth.
-    if (descriptor.title) {
-        Object.defineProperty(schema, 'name', { value: descriptor.title, configurable: true });
-    }
-    return schema;
-}
-/**
- * Read a lone card back into a working schema — THE single reconstructor. The result
- * carries its `~standard` (live validation) rebuilt locally: the descriptor crosses
- * the wire as data, the behaviour is reconstituted here. Relations stay name stand-ins
- * (no set to resolve against — use {@link reconstructSet} for live targets).
- *
- * `T` states the shape of a row, and that is what makes a rebuilt schema a CLASS rather
- * than a type and a value declared side by side: `class Post extends reconstruct<{…}>(card) {}`
- * is one declaration carrying both, exactly like `class Post extends entity({…}) {}`.
- * Without it the instance type is an index signature, so a synced entity validated
- * perfectly and taught the compiler nothing — `post.titel` compiled.
- */
-export function reconstruct(descriptor) {
-    return buildSchema(descriptor);
-}
-/**
- * Read a whole bundle back into live schemas, keyed by name — THE set reconstructor.
- * Every entity is rebuilt against a shared `$defs` resolver, so a relation's `to()`
- * hands back the real reconstructed target (feeds adapters), not a name stand-in.
- * Targets absent from the set (external/cross-frond `$ref`) keep the stand-in.
- */
-export function reconstructSet(bundle) {
-    const map = {};
-    const resolve = (name) => map[name.toLowerCase()];
-    const out = {};
-    for (const [name, descriptor] of Object.entries(bundle.$defs)) {
-        const schema = buildSchema(descriptor, resolve);
-        // Name the rebuilt class after its key so re-describing it yields the same `to` name
-        // (describe reads `relation.to().name`). Lazy `to` means the map need only be full
-        // before any `.to()` call — true once this loop ends.
-        Object.defineProperty(schema, 'name', { value: name, configurable: true });
-        map[name.toLowerCase()] = schema;
-        out[name] = schema;
-    }
-    return out;
-}
-//# sourceMappingURL=reconstruct.js.map

package/dist/projections/reconstruct.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"reconstruct.js","sourceRoot":"","sources":["../../src/projections/reconstruct.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,GAOZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,uBAAuB,EAAgD,MAAM,cAAc,CAAC;AACrG,OAAO,EACL,KAAK,GAKN,MAAM,WAAW,CAAC;AAEnB,sEAAsE;AAEtE;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,IAAqB;IAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;IAC7C,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAqB,CAAC;IACxC,kFAAkF;IAClF,gFAAgF;IAChF,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAClC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,OAAO,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAqB,CAAC;IACtG,CAAC;IACD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAU,CAAC;QACrJ,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAU,CAAC;QAChF,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAW,CAAC;QAC3B,SAAS,8EAA8E;YACrF,OAAO,KAAK,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAqB,CAAC;IACrG,CAAC;AACH,CAAC;AAQD,SAAS,eAAe,CAAC,IAAoB,EAAE,OAAkB;IAC/D,MAAM,GAAG,GAAS,EAAE,CAAC;IACrB,IAAI,IAAI,CAAC,OAAO;QAAE,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;IACrC,wFAAwF;IACxF,qFAAqF;IACrF,kEAAkE;IAClE,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM;QAAE,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;IAC7E,IAAI,IAAI,CAAC,KAAK;QAAE,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC;IACjC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9B,GAAG,CAAC,QAAQ,GAAG;YACb,kFAAkF;YAClF,mFAAmF;YACnF,oFAAoF;YACpF,oEAAoE;YACpE,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAK,EAAE,IAAI,EAAmC;YACvE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;YACxB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxE,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAqB,EAAE,OAAkB;IACjE,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IAC9B,OAAO,WAAW,CAAC;QACjB,KAAK,EAAE,gBAAgB,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS;QAChE,qFAAqF;QACrF,SAAS,EAAE,GAAG,EAAE,SAAS;QACzB,QAAQ,EAAE,GAAG,EAAE,QAAQ;QACvB,IAAI,EAAE,IAAI,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;KACrF,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAS,mBAAmB,CAAC,MAAc;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,IAAI,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAC/B,+EAA+E;YAC/E,gFAAgF;YAChF,sEAAsE;YACtE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC;AAED,0FAA0F;AAC1F,SAAS,WAAW,CAAC,UAA4B,EAAE,OAAkB;IACnE,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,CAAC;IACD,uFAAuF;IACvF,oFAAoF;IACpF,sFAAsF;IACtF,qDAAqD;IACrD,MAAM,MAAM,GAAG,uBAAuB,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC;IAEtG,qFAAqF;IACrF,qFAAqF;IACrF,uFAAuF;IACvF,6EAA6E;IAC7E,0FAA0F;IAC1F,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACrB,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAYD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CACzB,UAA4B;IAE5B,OAAO,WAAW,CAAC,UAAU,CAA8C,CAAC;AAC9E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,MAAoB;IACjD,MAAM,GAAG,GAAsC,EAAE,CAAC;IAClD,MAAM,OAAO,GAAa,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IAC5D,MAAM,GAAG,GAA8C,EAAE,CAAC;IAC1D,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAChD,qFAAqF;QACrF,mFAAmF;QACnF,sDAAsD;QACtD,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3E,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,GAAG,MAAsC,CAAC;QACjE,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;IACrB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/projections/source.d.ts

@@ -1,41 +0,0 @@
-import type { Fields, SchemaLike } from '../field/index.js';
-import type { SchemaDescriptor } from './card.js';
-/**
- * The two forms a schema reaches an adapter in — and the single reader that takes both.
- *
- * An adapter has never needed the class, only its fields. In-process it gets the class
- * because the class is there; from a remote or foreign frond it gets the card, because a
- * class does not cross a wire. Naming that union here is what lets one projection serve
- * both, instead of each adapter growing its own branch.
- *
- * The card was built for exactly this and had no in-repo reader: every adapter called
- * `getFields()` on the live class, so writing a Fougere adapter meant being inside the
- * repo, in TypeScript, with the class in hand.
- */
-export type SchemaSource = SchemaLike | SchemaDescriptor;
-/**
- * Normalize a source to a live schema — reconstructing a card, passing a class through.
- *
- * This is what an adapter reaching for the schema MORE THAN ONCE should call, once, at its
- * boundary: `reconstruct` runs per call (6.5 µs for a 17-field entity), so a component that
- * reads fields in two places would otherwise rebuild the schema twice and hold two
- * unrelated field objects. Normalize at the edge, then nothing downstream knows the
- * difference — which is the point.
- */
-export declare function schemaOf(source: SchemaSource): SchemaLike;
-/**
- * The fields an adapter projects from, whichever form it was handed — {@link schemaOf}
- * for the single-read case.
- *
- * Cost: nothing for a class. For a card, one `reconstruct` — measured at 6.5 µs for a
- * 17-field entity, paid once per entity when the adapter builds, never per request. Read
- * twice and you pay twice: hold the result, or normalize with `schemaOf` instead.
- */
-export declare function fieldsOf(source: SchemaSource): Fields;
-/**
- * The composite unique groups, whichever form. A bare wrapper (a view mid-derivation)
- * carries no `getUnique` and answers `undefined`; a card's groups are recovered from what
- * its members carry, so `reconstruct` has already restored them by the time this reads.
- */
-export declare function uniqueOf(source: SchemaSource): ReadonlyArray<ReadonlyArray<string>> | undefined;
-//# sourceMappingURL=source.d.ts.map

package/dist/projections/source.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"source.d.ts","sourceRoot":"","sources":["../../src/projections/source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAGlD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,gBAAgB,CAAC;AAOzD;;;;;;;;GAQG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,UAAU,CAEzD;AAED;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAErD;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,aAAa,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAE/F"}

package/dist/projections/source.js

@@ -1,37 +0,0 @@
-import { reconstruct } from './reconstruct.js';
-/** A card is the plain document — no behaviour, so no `getFields`. */
-function isDescriptor(source) {
-    return typeof source.getFields !== 'function';
-}
-/**
- * Normalize a source to a live schema — reconstructing a card, passing a class through.
- *
- * This is what an adapter reaching for the schema MORE THAN ONCE should call, once, at its
- * boundary: `reconstruct` runs per call (6.5 µs for a 17-field entity), so a component that
- * reads fields in two places would otherwise rebuild the schema twice and hold two
- * unrelated field objects. Normalize at the edge, then nothing downstream knows the
- * difference — which is the point.
- */
-export function schemaOf(source) {
-    return isDescriptor(source) ? reconstruct(source) : source;
-}
-/**
- * The fields an adapter projects from, whichever form it was handed — {@link schemaOf}
- * for the single-read case.
- *
- * Cost: nothing for a class. For a card, one `reconstruct` — measured at 6.5 µs for a
- * 17-field entity, paid once per entity when the adapter builds, never per request. Read
- * twice and you pay twice: hold the result, or normalize with `schemaOf` instead.
- */
-export function fieldsOf(source) {
-    return schemaOf(source).getFields();
-}
-/**
- * The composite unique groups, whichever form. A bare wrapper (a view mid-derivation)
- * carries no `getUnique` and answers `undefined`; a card's groups are recovered from what
- * its members carry, so `reconstruct` has already restored them by the time this reads.
- */
-export function uniqueOf(source) {
-    return schemaOf(source).getUnique?.();
-}
-//# sourceMappingURL=source.js.map

package/dist/projections/source.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"source.js","sourceRoot":"","sources":["../../src/projections/source.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAgB/C,sEAAsE;AACtE,SAAS,YAAY,CAAC,MAAoB;IACxC,OAAO,OAAQ,MAAqB,CAAC,SAAS,KAAK,UAAU,CAAC;AAChE,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAoB;IAC3C,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAC7D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAoB;IAC3C,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,CAAC;AACtC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAoB;IAC3C,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC;AACxC,CAAC"}

package/dist/projections/standard.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"standard.d.ts","sourceRoot":"","sources":["../../src/projections/standard.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,WAAW,gBAAgB,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK;IAC/D,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;CAC7D;AAED,MAAM,CAAC,OAAO,WAAW,gBAAgB,CAAC;IACxC,UAAU,KAAK,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK;QAC7C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;QACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,QAAQ,EAAE,CACjB,KAAK,EAAE,OAAO,KACX,MAAM,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC9C,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,SAAS,CAAC;KACnD;IAED,KAAK,MAAM,CAAC,MAAM,IAAI,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC;IAE5D,UAAU,aAAa,CAAC,MAAM;QAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;KAC7B;IAED,UAAU,aAAa;QACrB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;KACvC;IAED,UAAU,KAAK;QACb,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,WAAW,GAAG,WAAW,CAAC,GAAG,SAAS,CAAC;KACtE;IAED,UAAU,WAAW;QACnB,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;KAC3B;IAED,UAAU,KAAK,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK;QAC7C,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB;IAED,KAAK,UAAU,CAAC,MAAM,SAAS,gBAAgB,IAAI,WAAW,CAC5D,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAC7B,CAAC,OAAO,CAAC,CAAC;IAEX,KAAK,WAAW,CAAC,MAAM,SAAS,gBAAgB,IAAI,WAAW,CAC7D,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAC7B,CAAC,QAAQ,CAAC,CAAC;CACb"}

package/dist/projections/standard.js

@@ -1,10 +0,0 @@
-/**
- * Standard Schema v1 — types inlined from @standard-schema/spec.
- *
- * We inline instead of depending on the package to keep @fougere/schema zero-dep.
- * The spec is stable (v1) and unlikely to change.
- *
- * @see https://standardschema.dev/
- */
-export {};
-//# sourceMappingURL=standard.js.map

package/dist/projections/standard.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"standard.js","sourceRoot":"","sources":["../../src/projections/standard.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/projections/typescript.d.ts

@@ -1,53 +0,0 @@
-import type { SchemaDescriptor } from './card.js';
-export interface TypeSourceOptions {
-    /** Name of the emitted interface. Defaults to the card's `title`, capitalized. */
-    name?: string;
-    /** Emit `export` before the declaration. Default: true. */
-    exported?: boolean;
-}
-/**
- * The anonymous object type one card describes — the members, nothing around them.
- *
- * Every property is present: `required` on a Fougère card answers "what must a CALLER
- * supply at creation", not "what is always there when read" — an `id` the system
- * generates is absent from `required` and always present on a row. Typing the read
- * shape from the create rule would make `post.id` possibly-undefined for everyone.
- */
-export declare function shapeTypeOf(descriptor: SchemaDescriptor, indent?: string): string;
-/**
- * Emit the entity a card describes — ONE class, judge and shape together.
- *
- * An entity is a class here (`class Post extends entity({…}) {}`), and a class is the
- * language's own answer to "a name that is both a value and a type". Emitting an
- * interface next to a const said the same thing twice and relied on declaration
- * merging to look like a class; this IS one.
- *
- * The card travels inline, so the rebuilt judge is exact — the shape written above it
- * is read off that same card, never a second source to keep in step.
- *
- * Requires `reconstruct` in scope: the caller writes the import, since only it knows
- * whether the consumer says `@fougere/schema` or a path.
- */
-export declare function entitySourceOf(descriptor: SchemaDescriptor, options?: TypeSourceOptions): string;
-/** One operation, as much of it as a card can say. */
-export interface OpDescriptor {
-    name: string;
-    description?: string;
-    output?: SchemaDescriptor;
-    /** How much `output` describes. Absent means the card did not say. */
-    cardinality?: 'one' | 'maybe' | 'many' | 'page' | 'none';
-}
-/**
- * Emit the type of a façade — every operation an entity serves, as a caller meets it.
- *
- * This is what `Facade<T>` needs and what no consumer in another repository could have:
- * writing `Facade<ArticleHandler>` used to require importing the handler's class, which
- * `sync` does not carry and should not. The card carries the operations; this reads them.
- *
- * Each op takes an optional invocation and returns a promise — the door's signature, not
- * the handler's. A handler's method takes positional arguments; its door takes the call.
- */
-export declare function facadeTypeSourceOf(ops: readonly OpDescriptor[], options?: TypeSourceOptions & {
-    rowType?: string;
-}): string;
-//# sourceMappingURL=typescript.d.ts.map

package/dist/projections/typescript.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"typescript.d.ts","sourceRoot":"","sources":["../../src/projections/typescript.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAmB,gBAAgB,EAAE,MAAM,WAAW,CAAC;AA0FnE,MAAM,WAAW,iBAAiB;IAChC,kFAAkF;IAClF,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,2DAA2D;IAC3D,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,UAAU,EAAE,gBAAgB,EAAE,MAAM,SAAK,GAAG,MAAM,CAS7E;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,gBAAgB,EAAE,OAAO,GAAE,iBAAsB,GAAG,MAAM,CASpG;AAmBD,sDAAsD;AACtD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,sEAAsE;IACtE,WAAW,CAAC,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;CAC1D;AAyBD;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,GAAG,EAAE,SAAS,YAAY,EAAE,EAC5B,OAAO,GAAE,iBAAiB,GAAG;IAAE,OAAO,CAAC,EAAE,MAAM,CAAA;CAAO,GACrD,MAAM,CAYR"}

package/dist/projections/typescript.js

@@ -1,184 +0,0 @@
-/**
- * card → TypeScript source — the projection that was missing.
- *
- * `describe` turns a schema into a card and `reconstruct` turns it back into a
- * living judge, so a consumer in another repository validates by the host's rules
- * without holding its code. What it did NOT get is a type: left to infer, a rebuilt
- * schema has an index signature for an instance type, so `post.title` was `any` and
- * `post.titel` compiled. The declaration travelled and the compiler learned nothing.
- *
- * So the card gets a third reader, and it writes the shape where `reconstruct` now
- * accepts it — as the type argument of the class's own base expression, one
- * declaration for the judge and the rows it judges. Same input as the other two
- * readers, same rule: the shape IS JSON Schema, and JSON Schema has a type form.
- *
- * Deliberately NOT a JSON Schema→TS library: the input is not arbitrary JSON Schema,
- * it is a Fougère card, whose vocabulary is closed (`describe` writes it). A general
- * library would carry `$ref`, `allOf`, tuple `items`, `additionalProperties` and the
- * rest of a spec we never emit, and would still need this file to know that
- * `format: date-time` means `Date` here — a fact about our boundary, not about JSON.
- */
-/** What a field's value looks like once `reconstruct` has decoded it. */
-function typeOf(field) {
-    const types = Array.isArray(field.type) ? field.type : field.type ? [field.type] : [];
-    const nullable = types.includes('null');
-    const base = types.find((t) => t !== 'null');
-    const inner = baseTypeOf(base, field);
-    return nullable ? `${inner} | null` : inner;
-}
-function baseTypeOf(base, field) {
-    // A bounded value set IS a type — the enum travels, so the union does too.
-    if (field.enum?.length) {
-        return field.enum.map((v) => (v === null ? 'null' : JSON.stringify(v))).join(' | ');
-    }
-    switch (base) {
-        case 'string':
-            // `date-time` is the wire form of a value the boundary decodes to a Date, and
-            // the façade now hands the decoded value on. The type says what you receive.
-            return field.format === 'date-time' ? 'Date' : 'string';
-        case 'number':
-        case 'integer':
-            return 'number';
-        case 'boolean':
-            return 'boolean';
-        case 'array':
-            // Two distinct things share `array`: a value list carries `items`, a bare `many`
-            // relation carries none — the ids of the other side, which the card names as a
-            // relation rather than a shape.
-            return field.items ? `${typeOf(field.items)}[]` : 'string[]';
-        case 'object':
-            return field.properties ? objectTypeOf(field.properties, field.required ?? []) : 'Record<string, unknown>';
-        default:
-            return 'unknown';
-    }
-}
-function objectTypeOf(properties, required) {
-    const members = Object.entries(properties).map(([name, field]) => {
-        const optional = required.includes(name) ? '' : '?';
-        return `${propertyKey(name)}${optional}: ${typeOf(field)}`;
-    });
-    return `{ ${members.join('; ')} }`;
-}
-/** Quote a key only when it is not a plain identifier — generated source stays readable. */
-function propertyKey(name) {
-    return /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(name) ? name : JSON.stringify(name);
-}
-/**
- * A description lands INSIDE a comment, and a card can come from a stranger.
- *
- * `identifierOf` already refuses a name for this reason — a name stops being data when it
- * lands in a declaration. So does a description: `*\/` ends the comment, and everything
- * after it is source. A card carrying `*\/ } console.log(…); interface X {` produced a file
- * that compiled with zero diagnostics and emitted a top-level statement, which `fougere
- * sync` then wrote into the consumer's repository for its next import to run.
- *
- * Escaped rather than refused, unlike a name: a description is prose, and prose contains
- * `*\/` legitimately (a sentence about a comment, a regex). `*\/` renders the same to a
- * reader and terminates nothing, so the text survives and the exit does not.
- */
-function docCommentOf(text, indent) {
-    if (!text)
-        return '';
-    return `${indent}/** ${text.replace(/\*\//g, '*\\/')} */\n`;
-}
-/**
- * The anonymous object type one card describes — the members, nothing around them.
- *
- * Every property is present: `required` on a Fougère card answers "what must a CALLER
- * supply at creation", not "what is always there when read" — an `id` the system
- * generates is absent from `required` and always present on a row. Typing the read
- * shape from the create rule would make `post.id` possibly-undefined for everyone.
- */
-export function shapeTypeOf(descriptor, indent = '') {
-    const entries = Object.entries(descriptor.properties ?? {});
-    if (entries.length === 0)
-        return '{}';
-    const lines = entries.map(([key, field]) => {
-        const doc = docCommentOf(field.description, `${indent}  `);
-        return `${doc}${indent}  ${propertyKey(key)}: ${typeOf(field)};`;
-    });
-    return `{\n${lines.join('\n')}\n${indent}}`;
-}
-/**
- * Emit the entity a card describes — ONE class, judge and shape together.
- *
- * An entity is a class here (`class Post extends entity({…}) {}`), and a class is the
- * language's own answer to "a name that is both a value and a type". Emitting an
- * interface next to a const said the same thing twice and relied on declaration
- * merging to look like a class; this IS one.
- *
- * The card travels inline, so the rebuilt judge is exact — the shape written above it
- * is read off that same card, never a second source to keep in step.
- *
- * Requires `reconstruct` in scope: the caller writes the import, since only it knows
- * whether the consumer says `@fougere/schema` or a path.
- */
-export function entitySourceOf(descriptor, options = {}) {
-    const name = identifierOf(options.name ?? capitalize(descriptor.title ?? 'Schema'));
-    const exported = options.exported === false ? '' : 'export ';
-    const card = JSON.stringify(descriptor, null, 2)
-        .split('\n')
-        .map((line, i) => (i === 0 ? line : `  ${line}`))
-        .join('\n');
-    return `${exported}class ${name} extends reconstruct<${shapeTypeOf(descriptor)}>(${card}) {}`;
-}
-/**
- * A card names itself, and a card can come from a stranger. Everything else here emits
- * data — a string lands inside `JSON.stringify` — but a name lands in a DECLARATION,
- * so it is the one value that could stop being data. Refuse it here as well as at the
- * caller: the projection should not depend on who calls it to be safe.
- */
-function identifierOf(name) {
-    if (!/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(name)) {
-        throw new Error(`'${name}' is not a TypeScript identifier — it cannot name a generated declaration`);
-    }
-    return name;
-}
-function capitalize(s) {
-    return s ? s[0].toUpperCase() + s.slice(1) : s;
-}
-/**
- * What one operation hands back, in TypeScript.
- *
- * `output` is the shape of a ROW; `cardinality` is how many rows. Separating them is
- * what makes this honest — `list` returns a page, not an array, and a generator that
- * assumed otherwise would have written a signature that compiles and lies.
- *
- * A page is spelled as what it IS: `ListResult<T> extends Array<T>`, an array carrying
- * its own totals. So the type is the array intersected with them, not a wrapper.
- */
-function returnTypeOf(op, rowType) {
-    switch (op.cardinality) {
-        case 'many': return `${rowType}[]`;
-        case 'page': return `${rowType}[] & { total?: number; endCursor?: string; hasMore?: boolean }`;
-        case 'maybe': return `${rowType} | undefined`;
-        case 'one': return rowType;
-        // `none` says there is no shaped output — a boolean, a void. Saying `unknown` is
-        // the truth; guessing `void` would forbid reading a value that does come back.
-        case 'none': return 'unknown';
-        default: return 'unknown';
-    }
-}
-/**
- * Emit the type of a façade — every operation an entity serves, as a caller meets it.
- *
- * This is what `Facade<T>` needs and what no consumer in another repository could have:
- * writing `Facade<ArticleHandler>` used to require importing the handler's class, which
- * `sync` does not carry and should not. The card carries the operations; this reads them.
- *
- * Each op takes an optional invocation and returns a promise — the door's signature, not
- * the handler's. A handler's method takes positional arguments; its door takes the call.
- */
-export function facadeTypeSourceOf(ops, options = {}) {
-    const name = options.name ?? 'Facade';
-    const exported = options.exported === false ? '' : 'export ';
-    const rowType = options.rowType ?? 'unknown';
-    const members = ops.map((op) => {
-        const doc = docCommentOf(op.description, '  ');
-        return `${doc}  ${propertyKey(op.name)}(invocation?: Invocation): Promise<${returnTypeOf(op, rowType)}>;`;
-    });
-    if (members.length === 0)
-        return `${exported}interface ${name} {}`;
-    return `${exported}interface ${name} {\n${members.join('\n')}\n}`;
-}
-//# sourceMappingURL=typescript.js.map

package/dist/projections/typescript.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"typescript.js","sourceRoot":"","sources":["../../src/projections/typescript.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,yEAAyE;AACzE,SAAS,MAAM,CAAC,KAAsB;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtF,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,OAAO,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9C,CAAC;AAED,SAAS,UAAU,CAAC,IAAwB,EAAE,KAAsB;IAClE,2EAA2E;IAC3E,IAAI,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtF,CAAC;IACD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,8EAA8E;YAC9E,6EAA6E;YAC7E,OAAO,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC1D,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,OAAO;YACV,iFAAiF;YACjF,+EAA+E;YAC/E,gCAAgC;YAChC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC;QAC/D,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC;QAC7G;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,UAA2C,EAAE,QAA2B;IAC5F,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE;QAC/D,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QACpD,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACrC,CAAC;AAED,4FAA4F;AAC5F,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAO,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,YAAY,CAAC,IAAwB,EAAE,MAAc;IAC5D,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,OAAO,GAAG,MAAM,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC;AAC9D,CAAC;AASD;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,UAA4B,EAAE,MAAM,GAAG,EAAE;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IAC5D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEtC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QACzC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC;QAC3D,OAAO,GAAG,GAAG,GAAG,MAAM,KAAK,WAAW,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC;IACnE,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,GAAG,CAAC;AAC9C,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,cAAc,CAAC,UAA4B,EAAE,OAAO,GAAsB,EAAE;IAC1F,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,IAAI,UAAU,CAAC,UAAU,CAAC,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;SAC7C,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;SAChD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO,GAAG,QAAQ,SAAS,IAAI,wBAAwB,WAAW,CAAC,UAAU,CAAC,KAAK,IAAI,MAAM,CAAC;AAChG,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,CAAC,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,IAAI,IAAI,2EAA2E,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAWD;;;;;;;;;GASG;AACH,SAAS,YAAY,CAAC,EAAgB,EAAE,OAAe;IACrD,QAAQ,EAAE,CAAC,WAAW,EAAE,CAAC;QACvB,KAAK,MAAM,EAAE,OAAO,GAAG,OAAO,IAAI,CAAC;QACnC,KAAK,MAAM,EAAE,OAAO,GAAG,OAAO,gEAAgE,CAAC;QAC/F,KAAK,OAAO,EAAE,OAAO,GAAG,OAAO,cAAc,CAAC;QAC9C,KAAK,KAAK,EAAE,OAAO,OAAO,CAAC;QAC3B,iFAAiF;QACjF,+EAA+E;QAC/E,KAAK,MAAM,EAAE,OAAO,SAAS,CAAC;QAC9B,SAAS,OAAO,SAAS,CAAC;IAC5B,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAChC,GAA4B,EAC5B,OAAO,GAA6C,EAAE;IAEtD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,QAAQ,CAAC;IACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,SAAS,CAAC;IAE7C,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAC7B,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC/C,OAAO,GAAG,GAAG,KAAK,WAAW,CAAC,EAAE,CAAC,IAAI,CAAC,sCAAsC,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC;IAC5G,CAAC,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,QAAQ,aAAa,IAAI,KAAK,CAAC;IACnE,OAAO,GAAG,QAAQ,aAAa,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;AACpE,CAAC"}

package/dist/projections/validation.d.ts

@@ -1,57 +0,0 @@
-import type { AnyField, Fields } from '../field/index.js';
-/**
- * Validation — the Field metadata IS the source of truth.
- *
- * Validation is a projection of one axis: `shape` (the value), a PURE predicate —
- * it answers "is this value valid?" and never mutates the value. Null included:
- * the shape's `[T,'null']` union is judged by the engine, there is no hand-rolled
- * null branch. It never looks at `role` (persistence/domain) — a foreign key is
- * just a string here. Converting a valid value (e.g. an ISO string → a `Date`)
- * is a separate step, the `boundary` axis, applied after the predicate passes.
- * Absence is judged by `lifecycle.create` — any create rule makes it legal and
- * the field is OMITTED from the result, never filled: realising the rule
- * (stamp 'now', apply { value }, generate) belongs to the storage adapter at
- * the point of persistence, whose insert returns the complete row.
- */
-export interface ValidationError {
-    path: string;
-    message: string;
-}
-export type ValidationResult<T> = {
-    success: true;
-    data: T;
-} | {
-    success: false;
-    errors: ValidationError[];
-};
-export type Checked = {
-    value: unknown;
-} | {
-    error: string;
-};
-/**
- * Validate a present value (null included) against its field — pure, never mutates.
- *
- * Reads `shape` and nothing else, so it answers "is this a legal value?" without ever
- * asking who is speaking. That is what makes it usable on the way OUT of the domain,
- * where the client-only axes (`boundary`, `lifecycle`) do not apply.
- */
-export declare function checkValue(field: AnyField, value: unknown): Checked;
-export interface ValidateOptions {
-    /**
-     * Patch mode (update). An absent field is OMITTED from the result — not filled,
-     * not required — so `validate({ name })` touches only `name`. Set by `partial()`.
-     * Distinguishes "absent → don't touch" (patch) from "absent → null" (create).
-     */
-    patch?: boolean;
-}
-/**
- * A path is a field NAME here, never a dotted trail: `json(Entity)` is judged as one
- * opaque shape by the engine, so a nested failure answers `{ path: 'addr' }` with the
- * inner field in the prose. This used to take a `pathPrefix` that every call site passed
- * as `''` — a parameter for a recursion nobody wrote, which made the code read as if
- * nesting were handled. Writing that recursion changes what `FougereError.details`
- * carries across processes and languages, so it is a contract decision, not a patch.
- */
-export declare function validateFields(fields: Fields, input: unknown, opts?: ValidateOptions): ValidationResult<Record<string, unknown>>;
-//# sourceMappingURL=validation.d.ts.map

package/dist/projections/validation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../src/projections/validation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAS,MAAM,mBAAmB,CAAC;AAIjE;;;;;;;;;;;;;GAaG;AAEH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAC1B;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC1B;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,eAAe,EAAE,CAAA;CAAE,CAAC;AAElD,MAAM,MAAM,OAAO,GAAG;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAmB7D;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAgCnE;AAED,MAAM,WAAW,eAAe;IAC9B;;;;OAIG;IACH,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,IAAI,GAAE,eAAoB,GACzB,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA8E3C"}