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

package/dist/projections/validation.js

@@ -1,148 +0,0 @@
-import { anatomy, boundaryOf, resolveBoundary } from '../field/index.js';
-import { Validator } from '@cfworker/json-schema';
-/**
- * One validator per shape — the shape object IS the source JSON Schema (the closed
- * grammar the helpers emit), handed straight to the engine. Keyed by the shape
- * reference (stable: derivations copy field refs, `partial()` spreads the field but
- * keeps the same `shape`), built once and reused so the parse cost is amortised.
- */
-const validators = new WeakMap();
-function validatorFor(shape) {
-    let v = validators.get(shape);
-    if (!v) {
-        v = new Validator(shape, '2020-12', true);
-        validators.set(shape, v);
-    }
-    return v;
-}
-/**
- * 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 function checkValue(field, value) {
-    const shape = field.shape;
-    // Relation-only field (`many`): no value shape, just an array of related rows.
-    if (!shape) {
-        if (field.role?.relation?.kind === 'many') {
-            return Array.isArray(value) ? { value } : { error: 'Expected an array' };
-        }
-        return { value };
-    }
-    // The pre-engine guards dispatch on the BASE type — `shape.type` itself may be
-    // the nullable union. They only short-circuit NON-null values: null always goes
-    // to the engine, whose union judges it (that is the whole nullability model).
-    const base = anatomy(shape).base;
-    if (value !== null) {
-        // Opaque JSON (`json()`): no nested shape → passes through unchecked.
-        // `json(Entity)` carries `properties` and falls through to the engine,
-        // which validates the nesting natively (it's plain JSON Schema).
-        if (base?.type === 'object' && !base.properties)
-            return { value };
-        // A date-time field also accepts a live Date — the domain value, not its JSON wire
-        // string — which the boundary then passes through. The engine validates JSON, so a
-        // Date (a non-JSON value) skips the schema check here; a date STRING is validated below.
-        if (base?.type === 'string' && base.format === 'date-time' && value instanceof Date) {
-            return Number.isNaN(value.getTime()) ? { error: 'Invalid date' } : { value };
-        }
-        // NaN is `typeof number` yet has no JSON form, so the JSON-centric engine accepts it —
-        // guard it here (same nature as the Date case: a JS value JSON can't represent).
-        if ((base?.type === 'number' || base?.type === 'integer') && typeof value === 'number' && Number.isNaN(value)) {
-            return { error: 'Expected a number' };
-        }
-    }
-    const result = validatorFor(shape).validate(value);
-    return result.valid ? { value } : { error: result.errors[0]?.error ?? 'Invalid value' };
-}
-/**
- * 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 function validateFields(fields, input, opts = {}) {
-    if (typeof input !== 'object' || input === null) {
-        return { success: false, errors: [{ path: '.', message: 'Expected an object' }] };
-    }
-    const data = input;
-    const errors = [];
-    const out = {};
-    // Refuse, never strip: a key outside the contract is an error, not a silent
-    // drop. The client derives from the same contract (a form cannot emit a
-    // foreign key), so a stranger is a bug or an attack — both deserve the 400.
-    // Stripping would also let the envelope diverge from GraphQL, which refuses
-    // unknown input keys by construction.
-    //
-    // A FACT is judged by this same rule, deliberately — the one place it was tempting to
-    // relax it. A subscriber's copy of a fact can be older than the sender's, so tolerating
-    // a stranger key would let a rolling deployment through; it would also mean a reader
-    // silently ignoring a field it was supposed to handle. If the judge refuses, that is
-    // the end of it: the sender re-syncs its readers before it ships.
-    for (const key of Object.keys(data)) {
-        if (!(key in fields)) {
-            errors.push({ path: key, message: 'Unknown field' });
-        }
-    }
-    for (const [key, field] of Object.entries(fields)) {
-        const path = key;
-        const value = data[key];
-        if (value === undefined) {
-            if (opts.patch)
-                continue; // patch: an unsent field is left untouched
-            // A read-only field is server-owned: its absence from a client input is
-            // never "Required" (same stance as OpenAPI readOnly+required).
-            if (boundaryOf(field).in === 'closed')
-                continue;
-            // Absence is answered by `lifecycle.create` — a key access on the normal
-            // form. The judge only asks "is there a rule?": any rule ('now',
-            // 'optional', { value }, { generate }) makes absence legal, and the field
-            // is omitted from the result. Realisation is the storage adapter's role.
-            if (field.lifecycle?.create !== undefined)
-                continue;
-            // No create rule: a `many` relation defaults to the empty collection
-            // (graph semantics, read on `role` — never a shared `{ value: [] }`).
-            if (field.role?.relation?.kind === 'many') {
-                out[key] = [];
-                continue;
-            }
-            errors.push({ path, message: 'Required' });
-            continue;
-        }
-        // A PRESENT value can be illegal by an axis other than shape:
-        // boundary `in: 'closed'` — a read-only field never crosses inbound;
-        // lifecycle `update: 'forbidden'` — re-supplying an immutable field in a patch.
-        if (boundaryOf(field).in === 'closed') {
-            errors.push({ path, message: 'Read-only' });
-            continue;
-        }
-        if (opts.patch && field.lifecycle?.update === 'forbidden') {
-            errors.push({ path, message: 'Immutable' });
-            continue;
-        }
-        // The shape predicate judges the value — null included, via the `[T,'null']`
-        // union. Then the boundary's decode converts wire→domain; null skips decode
-        // (a legal null is already the domain value, there is nothing to convert).
-        const checked = checkValue(field, value);
-        if ('error' in checked) {
-            errors.push({ path, message: checked.error });
-            continue;
-        }
-        if (checked.value === null) {
-            out[key] = null;
-            continue;
-        }
-        const decoded = resolveBoundary(field).decode(checked.value);
-        if ('error' in decoded)
-            errors.push({ path, message: decoded.error });
-        else
-            out[key] = decoded.value;
-    }
-    if (errors.length > 0)
-        return { success: false, errors };
-    return { success: true, data: out };
-}
-//# sourceMappingURL=validation.js.map

package/dist/projections/validation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../src/projections/validation.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AA4BlD;;;;;GAKG;AACH,MAAM,UAAU,GAAG,IAAI,OAAO,EAAqB,CAAC;AAEpD,SAAS,YAAY,CAAC,KAAY;IAChC,IAAI,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9B,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,CAAC,GAAG,IAAI,SAAS,CAAC,KAAe,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;QACpD,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,KAAe,EAAE,KAAc;IACxD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,+EAA+E;IAC/E,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;QAC3E,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,CAAC;IACnB,CAAC;IACD,+EAA+E;IAC/E,gFAAgF;IAChF,8EAA8E;IAC9E,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;IACjC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,sEAAsE;QACtE,uEAAuE;QACvE,iEAAiE;QACjE,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QAClE,mFAAmF;QACnF,mFAAmF;QACnF,yFAAyF;QACzF,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;YACpF,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QAC/E,CAAC;QACD,uFAAuF;QACvF,iFAAiF;QACjF,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9G,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC;QACxC,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACnD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,eAAe,EAAE,CAAC;AAC1F,CAAC;AAWD;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAc,EACd,KAAc,EACd,IAAI,GAAoB,EAAE;IAE1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,CAAC;IACpF,CAAC;IAED,MAAM,IAAI,GAAG,KAAgC,CAAC;IAC9C,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,GAAG,GAA4B,EAAE,CAAC;IAExC,4EAA4E;IAC5E,wEAAwE;IACxE,4EAA4E;IAC5E,4EAA4E;IAC5E,sCAAsC;IACtC,EAAE;IACF,sFAAsF;IACtF,wFAAwF;IACxF,qFAAqF;IACrF,qFAAqF;IACrF,kEAAkE;IAClE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,GAAG,CAAC;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAExB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,IAAI,CAAC,KAAK;gBAAE,SAAS,CAAC,2CAA2C;YACrE,wEAAwE;YACxE,+DAA+D;YAC/D,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,QAAQ;gBAAE,SAAS;YAChD,yEAAyE;YACzE,iEAAiE;YACjE,0EAA0E;YAC1E,yEAAyE;YACzE,IAAI,KAAK,CAAC,SAAS,EAAE,MAAM,KAAK,SAAS;gBAAE,SAAS;YACpD,qEAAqE;YACrE,sEAAsE;YACtE,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;gBAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;gBAAC,SAAS;YAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;YAC3C,SAAS;QACX,CAAC;QAED,8DAA8D;QAC9D,qEAAqE;QACrE,gFAAgF;QAChF,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;YACtC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;YAC5C,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,SAAS,EAAE,MAAM,KAAK,WAAW,EAAE,CAAC;YAC1D,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;YAC5C,SAAS;QACX,CAAC;QAED,6EAA6E;QAC7E,4EAA4E;QAC5E,2EAA2E;QAC3E,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,OAAO,IAAI,OAAO,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;YAC9C,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAC3B,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;YAChB,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7D,IAAI,OAAO,IAAI,OAAO;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;;YACjE,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;IAChC,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IACzD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACtC,CAAC"}

package/dist/unique.d.ts

@@ -1,65 +0,0 @@
-import type { Fields } from './field/index.js';
-import type { Hints } from './hints.js';
-/**
- * Field names that identify at most one row when taken together.
- *
- * `unique(field)` states a fact about one column; some facts are about a pair.
- * "A book appears once in a list" is true of `(listId, docId)` and of neither
- * alone, and there is no shape that can express it — judging one value never
- * sees the other rows. So it is declared on the entity and realized by storage.
- *
- * Held here rather than in a handler because a handler cannot hold it: a check
- * followed by a write is two round trips, and a concurrent request fits between
- * them. The database is the only place where the promise is keepable.
- */
-export type CompositeUnique<TFields extends Fields> = ReadonlyArray<ReadonlyArray<Extract<keyof TFields, string>>>;
-/**
- * What an entity declares about itself, beyond its fields — the 2nd argument of
- * `entity()`.
- *
- * One object rather than a growing parameter list: a second fact about an entity
- * adds a key here, never a positional argument.
- */
-export interface EntityDeclarations<TFields extends Fields> {
-    /** Field groups that must be unique together. */
-    unique?: CompositeUnique<TFields>;
-    /** Per-consumer hints, keyed by registered adapter. See {@link Hints}. */
-    hints?: Hints<TFields>;
-}
-/**
- * Carry composite groups across a field-key transform — the entity-level twin of
- * `deriveHints`.
- *
- * A group whose members did not all survive is dropped rather than narrowed: the
- * pair `(listId, docId)` says nothing about `listId` alone, and keeping the
- * remnant would silently state a stronger fact than the author ever wrote.
- */
-export declare function deriveUnique(groups: CompositeUnique<Fields> | undefined, mapKey: (key: string) => string | undefined): CompositeUnique<Fields> | undefined;
-/**
- * Carry the projected groups across the same key transform — the field-level twin of
- * {@link deriveUnique}, and it has to run with it: the group lives in TWO places once
- * projected (the declaration and each member's role), so remapping one alone left
- * `pick('id','listId')` with a role still claiming a pair whose other member was gone.
- *
- * Same rule as the declaration — a group that lost a member is dropped, not narrowed.
- * The empty self-reference needs no remapping: it names no key, which is exactly why it
- * survives a `rename()` for free.
- */
-export declare function deriveUniqueRoles<TFields extends Fields>(fields: TFields, mapKey: (key: string) => string | undefined): TFields;
-/**
- * Project the entity's composite groups onto the role of every member — the single
- * place the two ways of stating uniqueness meet.
- *
- * The author writes each fact where it lives: `unique(slug)` on the field it is about,
- * `entity(fields, { unique: [['listId','docId']] })` on the entity, because a fact about
- * a pair is held by neither field alone. Both then read as ONE normal form on the role
- * axis, so every consumer — the DDL, the card, a foreign adapter — has a single shape to
- * handle, and a field belonging to two constraints simply carries two member lists.
- *
- * The entity declaration stays the source (`getUnique()` keeps answering it); this is a
- * projection of it, never a second place to edit. A named member group is spelled out
- * here, while a lone `unique()` keeps its `[]` self-reference — resolved by whoever reads
- * it, which is what makes `rename()` free.
- */
-export declare function projectUniqueOntoFields<TFields extends Fields>(fields: TFields, groups: CompositeUnique<TFields> | undefined): TFields;
-//# sourceMappingURL=unique.d.ts.map

package/dist/unique.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"unique.d.ts","sourceRoot":"","sources":["../src/unique.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,eAAe,CAAC,OAAO,SAAS,MAAM,IAAI,aAAa,CACjE,aAAa,CAAC,OAAO,CAAC,MAAM,OAAO,EAAE,MAAM,CAAC,CAAC,CAC9C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,MAAM;IACxD,iDAAiD;IACjD,MAAM,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC;IAClC,0EAA0E;IAC1E,KAAK,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;CACxB;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,GAAG,SAAS,EAC3C,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GAC1C,eAAe,CAAC,MAAM,CAAC,GAAG,SAAS,CAQrC;AAED;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,SAAS,MAAM,EACtD,MAAM,EAAE,OAAO,EACf,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,SAAS,GAC1C,OAAO,CAkBT;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,uBAAuB,CAAC,OAAO,SAAS,MAAM,EAC5D,MAAM,EAAE,OAAO,EACf,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,GAAG,SAAS,GAC3C,OAAO,CAiBT"}

package/dist/unique.js

@@ -1,80 +0,0 @@
-/**
- * Carry composite groups across a field-key transform — the entity-level twin of
- * `deriveHints`.
- *
- * A group whose members did not all survive is dropped rather than narrowed: the
- * pair `(listId, docId)` says nothing about `listId` alone, and keeping the
- * remnant would silently state a stronger fact than the author ever wrote.
- */
-export function deriveUnique(groups, mapKey) {
-    if (!groups)
-        return undefined;
-    const carried = groups
-        .map((group) => group.map(mapKey))
-        .filter((group) => group.every((key) => key !== undefined));
-    return carried.length > 0 ? carried : undefined;
-}
-/**
- * Carry the projected groups across the same key transform — the field-level twin of
- * {@link deriveUnique}, and it has to run with it: the group lives in TWO places once
- * projected (the declaration and each member's role), so remapping one alone left
- * `pick('id','listId')` with a role still claiming a pair whose other member was gone.
- *
- * Same rule as the declaration — a group that lost a member is dropped, not narrowed.
- * The empty self-reference needs no remapping: it names no key, which is exactly why it
- * survives a `rename()` for free.
- */
-export function deriveUniqueRoles(fields, mapKey) {
-    const out = { ...fields };
-    for (const [key, field] of Object.entries(out)) {
-        const groups = field.role?.unique;
-        if (!groups?.length)
-            continue;
-        const carried = groups
-            .map((group) => (group.length === 0 ? [] : group.map(mapKey)))
-            .filter((group) => group.every((member) => member !== undefined));
-        if (carried.length === groups.length)
-            continue; // nothing lost, keep the field as is
-        const { unique: _dropped, ...rest } = field.role;
-        out[key] = {
-            ...field,
-            role: carried.length ? { ...rest, unique: carried } : rest,
-        };
-    }
-    return out;
-}
-/**
- * Project the entity's composite groups onto the role of every member — the single
- * place the two ways of stating uniqueness meet.
- *
- * The author writes each fact where it lives: `unique(slug)` on the field it is about,
- * `entity(fields, { unique: [['listId','docId']] })` on the entity, because a fact about
- * a pair is held by neither field alone. Both then read as ONE normal form on the role
- * axis, so every consumer — the DDL, the card, a foreign adapter — has a single shape to
- * handle, and a field belonging to two constraints simply carries two member lists.
- *
- * The entity declaration stays the source (`getUnique()` keeps answering it); this is a
- * projection of it, never a second place to edit. A named member group is spelled out
- * here, while a lone `unique()` keeps its `[]` self-reference — resolved by whoever reads
- * it, which is what makes `rename()` free.
- */
-export function projectUniqueOntoFields(fields, groups) {
-    if (!groups || groups.length === 0)
-        return fields;
-    const projected = { ...fields };
-    for (const group of groups) {
-        const members = [...group];
-        for (const key of members) {
-            const field = projected[key];
-            if (!field)
-                continue; // a group naming an absent field states nothing here
-            const already = field.role?.unique ?? [];
-            projected[key] = {
-                ...field,
-                role: { ...field.role, unique: [...already, members] },
-            };
-        }
-    }
-    return projected;
-}
-//# sourceMappingURL=unique.js.map

package/dist/unique.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"unique.js","sourceRoot":"","sources":["../src/unique.ts"],"names":[],"mappings":"AAiCA;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,MAA2C,EAC3C,MAA2C;IAE3C,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAE9B,MAAM,OAAO,GAAG,MAAM;SACnB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;SACjC,MAAM,CAAC,CAAC,KAAK,EAAqB,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC;IAEjF,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;AAClD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAe,EACf,MAA2C;IAE3C,MAAM,GAAG,GAAG,EAAE,GAAG,MAAM,EAAY,CAAC;IACpC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,MAAM;YAAE,SAAS;QAE9B,MAAM,OAAO,GAAG,MAAM;aACnB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;aAC7D,MAAM,CAAC,CAAC,KAAK,EAAqB,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC;QAEvF,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAAE,SAAS,CAAG,qCAAqC;QACvF,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC,IAAK,CAAC;QAClD,GAAG,CAAC,GAAG,CAAC,GAAG;YACT,GAAG,KAAK;YACR,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI;SAC3D,CAAC;IACJ,CAAC;IACD,OAAO,GAAc,CAAC;AACxB,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,uBAAuB,CACrC,MAAe,EACf,MAA4C;IAE5C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAElD,MAAM,SAAS,GAAG,EAAE,GAAG,MAAM,EAAY,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QAC3B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK;gBAAE,SAAS,CAAG,qDAAqD;YAC7E,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,IAAI,EAAE,CAAC;YACzC,SAAS,CAAC,GAAG,CAAC,GAAG;gBACf,GAAG,KAAK;gBACR,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,OAAO,EAAE,OAAO,CAAC,EAAE;aACvD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,SAAoB,CAAC;AAC9B,CAAC"}