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

package/dist/card/Card.d.ts

@@ -0,0 +1,27 @@
+import { type Resolver } from '../axis/Axis.js';
+import { Field, type Fields } from '../fields/Field.js';
+import { type SchemaConstructor } from '../schema/Schema.js';
+import type { Row, SchemaView } from '../schema/SchemaView.js';
+import type { DerivedFrom, SchemaDescriptor } from './Descriptor.js';
+import type { Diff, DiffOptions } from './diff.js';
+type FieldsOf<T> = {
+    [K in keyof T]-?: Field<T[K]>;
+};
+/** One portable schema description and every decision made about that description. */
+export declare class Card<T = Row<Fields>> {
+    readonly descriptor: SchemaDescriptor;
+    private constructor();
+    static fromSchema<TFields extends Fields>(schema: SchemaView<TFields>, name?: string): Card<Row<TFields>>;
+    static fromDescriptor<T = Row<Fields>>(descriptor: SchemaDescriptor): Card<T>;
+    /** The root derivation recorded by this card, when its schema was cut from another. */
+    get origin(): DerivedFrom | undefined;
+    /**
+     * Rebuild the live schema. A bundle supplies `resolve` so relation thunks can find the
+     * other reconstructed cards; a lone card deliberately falls back to a name stand-in.
+     */
+    toSchema(resolve?: Resolver, name?: string): SchemaConstructor<FieldsOf<T>>;
+    /** What must change to turn this card into `other`. */
+    diff(other: Card, options?: DiffOptions): Diff;
+}
+export {};
+//# sourceMappingURL=Card.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Card.d.ts","sourceRoot":"","sources":["../../src/card/Card.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmC,KAAK,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAGjF,OAAO,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAGxD,OAAO,EAAU,KAAK,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE/D,OAAO,KAAK,EACV,WAAW,EAGX,gBAAgB,EACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAU,IAAI,EAAE,WAAW,EAA4B,MAAM,WAAW,CAAC;AAErF,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAErD,sFAAsF;AACtF,qBAAa,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;IACX,QAAQ,CAAC,UAAU,EAAE,gBAAgB;IAAzD,OAAO,eAAsD;IAE7D,MAAM,CAAC,UAAU,CAAC,OAAO,SAAS,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAuBxG;IAED,MAAM,CAAC,cAAc,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,gBAAgB,GAAG,IAAI,CAAC,CAAC,CAAC,CAE5E;IAED,uFAAuF;IACvF,IAAI,MAAM,IAAI,WAAW,GAAG,SAAS,CAEpC;IAED;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAuB1E;IAED,uDAAuD;IACvD,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,GAAE,WAAgB,GAAG,IAAI,CA8CjD;CACF"}

package/dist/card/Card.js

@@ -0,0 +1,230 @@
+import { EXTENSION_AXES, EXTENSION_SLOTS } from '../axis/Axis.js';
+import { dequal } from 'dequal';
+import { clean } from '../utils.js';
+import { Field } from '../fields/Field.js';
+import { isObject } from '../judge/ValueForm.js';
+import { RowJudge } from '../judge/RowJudge.js';
+import { Schema } from '../schema/Schema.js';
+import { refuse } from './admission.js';
+/** One portable schema description and every decision made about that description. */
+export class Card {
+    descriptor;
+    constructor(descriptor) {
+        this.descriptor = descriptor;
+    }
+    static fromSchema(schema, name) {
+        const fields = schema.getFields();
+        const judge = RowJudge.of(fields);
+        const properties = {};
+        const required = [];
+        for (const [key, field] of Object.entries(fields)) {
+            properties[key] = describeField(field, key);
+            if (judge.onAbsent(field) === null)
+                required.push(key);
+        }
+        const descriptor = {
+            type: 'object',
+            properties,
+            'x-fougere-version': 1,
+            'x-fougere-vendor': 'fougere',
+        };
+        const title = name ?? schema.derivation?.sourceName ?? schema.name;
+        if (title)
+            descriptor.title = title;
+        if (required.length)
+            descriptor.required = required;
+        const origin = originOf(schema);
+        if (origin)
+            descriptor['x-fougere-derived'] = origin;
+        return new Card(descriptor);
+    }
+    static fromDescriptor(descriptor) {
+        return new Card(descriptor);
+    }
+    /** The root derivation recorded by this card, when its schema was cut from another. */
+    get origin() {
+        return this.descriptor['x-fougere-derived'];
+    }
+    /**
+     * Rebuild the live schema. A bundle supplies `resolve` so relation thunks can find the
+     * other reconstructed cards; a lone card deliberately falls back to a name stand-in.
+     */
+    toSchema(resolve, name) {
+        const descriptor = this.descriptor;
+        const where = name ? `schema '${name}'` : 'this schema';
+        if (!isObject(descriptor))
+            refuse(`${where} is not an object`, 'A card carries one JSON Schema per door.');
+        const version = descriptor['x-fougere-version'];
+        if (version !== 1) {
+            refuse(`${where} states \`x-fougere-version: ${JSON.stringify(version)}\` and this reader speaks 1`, 'A producer and its readers move together: re-sync the consumer, or serve the version it speaks.');
+        }
+        if (!isObject(descriptor.properties)) {
+            refuse(`${where} carries no \`properties\` object`, 'A schema is its fields; there is nothing to rebuild.');
+        }
+        const fields = {};
+        for (const [key, property] of Object.entries(descriptor.properties)) {
+            fields[key] = reconstructField(property, key, resolve);
+        }
+        const schema = Schema.of({ fields });
+        const title = name ?? descriptor.title;
+        if (title)
+            Object.defineProperty(schema, 'name', { value: title, configurable: true });
+        return schema;
+    }
+    /** What must change to turn this card into `other`. */
+    diff(other, options = {}) {
+        const changes = [];
+        const renamed = options.renamed ?? {};
+        const before = this.descriptor.properties ?? {};
+        const after = other.descriptor.properties ?? {};
+        const requiredBefore = new Set(this.descriptor.required ?? []);
+        const requiredAfter = new Set(other.descriptor.required ?? []);
+        // Apply a declared rename first so subsequent differences use the new field name.
+        const nameAfter = (field) => renamed[field] ?? field;
+        const removed = [];
+        for (const [field, descriptor] of Object.entries(before)) {
+            const now = nameAfter(field);
+            const target = after[now];
+            if (target === undefined) {
+                removed.push(field);
+                continue;
+            }
+            if (now !== field)
+                changes.push({ kind: 'renamed', from: field, to: now, field: target });
+            const wasType = typesOf(descriptor);
+            const isType = typesOf(target);
+            if (!dequal(wasType, isType))
+                changes.push({ kind: 'retyped', field: now, from: wasType, to: isType });
+            else if (!dequal(boundsOf(descriptor), boundsOf(target))) {
+                changes.push({ kind: 'reshaped', field: now, from: descriptor, to: target });
+            }
+            const wasRequired = requiredBefore.has(field);
+            const isRequired = requiredAfter.has(now);
+            if (wasRequired !== isRequired) {
+                changes.push({ kind: 'required', field: now, from: wasRequired, to: isRequired });
+            }
+            changes.push(...restated(now, descriptor['x-fougere'], target['x-fougere']));
+        }
+        const claimed = new Set(Object.values(renamed));
+        const added = Object.keys(after).filter((field) => !(field in before) && !claimed.has(field));
+        for (const field of removed) {
+            changes.push({ kind: 'removed', field, from: before[field], required: requiredBefore.has(field) });
+        }
+        for (const field of added) {
+            changes.push({ kind: 'added', field, to: after[field], required: requiredAfter.has(field) });
+        }
+        return { changes, ambiguous: candidates(removed, added, before, after) };
+    }
+}
+function describeExtension(field, key) {
+    const extension = {};
+    for (const axis of EXTENSION_AXES) {
+        const declared = field[axis.slot];
+        if (declared === undefined)
+            continue;
+        const wire = axis.describe(declared, key);
+        if (wire !== undefined)
+            extension[axis.slot] = wire;
+    }
+    clean(extension);
+    return Object.keys(extension).length ? extension : undefined;
+}
+function describeField(field, key) {
+    const descriptor = {};
+    for (const [shapeKey, value] of Object.entries(field.shape)) {
+        if (value !== undefined)
+            descriptor[shapeKey] = value;
+    }
+    if (field.meta?.description)
+        descriptor.description = field.meta.description;
+    const extension = describeExtension(field, key);
+    if (extension)
+        descriptor['x-fougere'] = extension;
+    return descriptor;
+}
+function originOf(schema) {
+    const { derivation } = schema;
+    if (!derivation)
+        return undefined;
+    const survived = Object.fromEntries(Object.entries(derivation.survived).map(([key, value]) => [key, value ?? null]));
+    return { from: derivation.sourceName, survived };
+}
+function reconstructShape(property) {
+    const types = Array.isArray(property.type) ? property.type : property.type ? [property.type] : [];
+    const base = types.find((type) => type !== 'null');
+    if (base === undefined)
+        return undefined;
+    const type = property.type;
+    if (base === 'array') {
+        const items = property.items ? reconstructShape(property.items) : undefined;
+        return clean({ type, items, minItems: property.minItems, maxItems: property.maxItems });
+    }
+    switch (base) {
+        case 'string':
+            return clean({
+                type,
+                minLength: property.minLength,
+                maxLength: property.maxLength,
+                pattern: property.pattern,
+                enum: property.enum,
+                format: property.format,
+            });
+        case 'number':
+        case 'integer':
+            return clean({ type, minimum: property.minimum, maximum: property.maximum });
+        case 'boolean':
+            return { type };
+        default:
+            return clean({ type, properties: property.properties, required: property.required });
+    }
+}
+function reconstructField(property, key, resolve) {
+    const shape = reconstructShape(property);
+    if (!shape) {
+        throw new Error(`Field '${key}': the card carries no \`type\` for it, so there is no shape to rebuild. `
+            + 'A field always states one.');
+    }
+    const extension = property['x-fougere'];
+    const axes = {};
+    for (const axis of EXTENSION_AXES) {
+        const wire = extension?.[axis.slot];
+        if (wire !== undefined)
+            axes[axis.slot] = axis.reconstruct(wire, resolve);
+    }
+    return new Field({
+        shape,
+        ...axes,
+        meta: property.description !== undefined ? { description: property.description } : undefined,
+    });
+}
+function restated(field, before, after) {
+    return EXTENSION_SLOTS.filter((axis) => !dequal(before?.[axis], after?.[axis])).map((axis) => ({ kind: 'restated', field, axis, from: before?.[axis], to: after?.[axis] }));
+}
+function shapeOf(descriptor) {
+    const { 'x-fougere': _extension, ...shape } = descriptor;
+    return shape;
+}
+function typesOf(descriptor) {
+    const type = descriptor.type;
+    if (type === undefined)
+        return [];
+    return (Array.isArray(type) ? [...type] : [type]).sort();
+}
+function boundsOf(descriptor) {
+    const { type: _type, ...rest } = shapeOf(descriptor);
+    return rest;
+}
+function candidates(removed, added, before, after) {
+    const found = [];
+    for (const gone of removed) {
+        for (const appeared of added) {
+            if (dequal(shapeOf(before[gone]), shapeOf(after[appeared])))
+                found.push({ removed: gone, added: appeared });
+        }
+    }
+    const was = Object.keys(before);
+    const now = Object.keys(after);
+    const apart = ({ removed: gone, added: appeared }) => Math.abs(now.indexOf(appeared) - was.indexOf(gone));
+    return found.sort((a, b) => apart(a) - apart(b));
+}
+//# sourceMappingURL=Card.js.map

package/dist/card/Card.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Card.js","sourceRoot":"","sources":["../../src/card/Card.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,eAAe,EAAiB,MAAM,iBAAiB,CAAC;AACjF,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,KAAK,EAAe,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,MAAM,EAA0B,MAAM,qBAAqB,CAAC;AAErE,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAWxC,sFAAsF;AACtF,MAAM,OAAO,IAAI;IACc,UAAU;IAAvC,YAA6B,UAA4B;0BAA5B,UAAU;IAAqB,CAAC;IAE7D,MAAM,CAAC,UAAU,CAAyB,MAA2B,EAAE,IAAa;QAClF,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,UAAU,GAAoC,EAAE,CAAC;QACvD,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,UAAU,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC5C,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzD,CAAC;QAED,MAAM,UAAU,GAAqB;YACnC,IAAI,EAAE,QAAQ;YACd,UAAU;YACV,mBAAmB,EAAE,CAAC;YACtB,kBAAkB,EAAE,SAAS;SAC9B,CAAC;QACF,MAAM,KAAK,GAAG,IAAI,IAAI,MAAM,CAAC,UAAU,EAAE,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC;QACnE,IAAI,KAAK;YAAE,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;QACpC,IAAI,QAAQ,CAAC,MAAM;YAAE,UAAU,CAAC,QAAQ,GAAG,QAAQ,CAAC;QAEpD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QAChC,IAAI,MAAM;YAAE,UAAU,CAAC,mBAAmB,CAAC,GAAG,MAAM,CAAC;QACrD,OAAO,IAAI,IAAI,CAAe,UAAU,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,CAAC,cAAc,CAAkB,UAA4B;QACjE,OAAO,IAAI,IAAI,CAAI,UAAU,CAAC,CAAC;IACjC,CAAC;IAED,uFAAuF;IACvF,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;IAC9C,CAAC;IAED;;;OAGG;IACH,QAAQ,CAAC,OAAkB,EAAE,IAAa;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC;QACxD,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YAAE,MAAM,CAAC,GAAG,KAAK,mBAAmB,EAAE,0CAA0C,CAAC,CAAC;QAC3G,MAAM,OAAO,GAAG,UAAU,CAAC,mBAAmB,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;YAClB,MAAM,CACJ,GAAG,KAAK,gCAAgC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,6BAA6B,EAC5F,iGAAiG,CAClG,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,GAAG,KAAK,mCAAmC,EAAE,sDAAsD,CAAC,CAAC;QAC9G,CAAC;QAED,MAAM,MAAM,GAAW,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACpE,MAAM,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACzD,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAI,IAAI,UAAU,CAAC,KAAK,CAAC;QACvC,IAAI,KAAK;YAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QACvF,OAAO,MAAmD,CAAC;IAC7D,CAAC;IAED,uDAAuD;IACvD,IAAI,CAAC,KAAW,EAAE,OAAO,GAAgB,EAAE;QACzC,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,UAAU,IAAI,EAAE,CAAC;QAChD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QAC/D,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;QAE/D,kFAAkF;QAClF,MAAM,SAAS,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;QACrE,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACzD,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpB,SAAS;YACX,CAAC;YAED,IAAI,GAAG,KAAK,KAAK;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;YAE1F,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;YAC/B,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;iBAClG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBACzD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;YAC/E,CAAC;YAED,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC9C,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1C,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;gBAC/B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;YACpF,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC/E,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9F,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrG,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/F,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;IAC3E,CAAC;CACF;AAED,SAAS,iBAAiB,CAAC,KAAY,EAAE,GAAW;IAClD,MAAM,SAAS,GAA4B,EAAE,CAAC;IAC9C,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAI,KAA4C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC1C,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACtD,CAAC;IACD,KAAK,CAAC,SAAS,CAAC,CAAC;IACjB,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,SAA4B,CAAC,CAAC,CAAC,SAAS,CAAC;AACnF,CAAC;AAED,SAAS,aAAa,CAAC,KAAY,EAAE,GAAW;IAC9C,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5D,IAAI,KAAK,KAAK,SAAS;YAAG,UAAsC,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;IACrF,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,EAAE,WAAW;QAAE,UAAU,CAAC,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC;IAC7E,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAChD,IAAI,SAAS;QAAE,UAAU,CAAC,WAAW,CAAC,GAAG,SAAS,CAAC;IACnD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,QAAQ,CAAC,MAAkB;IAClC,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC;IAC9B,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IACrH,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAyB;IACjD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClG,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACnD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAA8B,CAAC;IACrD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,OAAO,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAmB,CAAC;IAC5G,CAAC;IACD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC;gBACX,IAAI;gBACJ,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;aACxB,CAAmB,CAAC;QACvB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAmB,CAAC;QACjG,KAAK,SAAS;YACZ,OAAO,EAAE,IAAI,EAAoB,CAAC;QACpC;YACE,OAAO,KAAK,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAmB,CAAC;IAC3G,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAyB,EAAE,GAAW,EAAE,OAAkB;IAClF,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CACb,UAAU,GAAG,2EAA2E;cACtF,4BAA4B,CAC/B,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;IACxC,MAAM,IAAI,GAA4B,EAAE,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,IAAI,GAAI,SAAiD,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,IAAI,KAAK,CAAC;QACf,KAAK;QACL,GAAG,IAAI;QACP,IAAI,EAAE,QAAQ,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS;KACpF,CAAC,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa,EAAE,MAAkC,EAAE,KAAiC;IACpG,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CACjF,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAW,CACjG,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,UAA2B;IAC1C,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,KAAK,EAAE,GAAG,UAAU,CAAC;IACzD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,OAAO,CAAC,UAA2B;IAC1C,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;IAC7B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,QAAQ,CAAC,UAA2B;IAC3C,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACrD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CACjB,OAAiB,EACjB,KAAe,EACf,MAAuC,EACvC,KAAsC;IAEtC,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAmB,EAAU,EAAE,CAC5E,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC"}

package/dist/card/Descriptor.d.ts

@@ -0,0 +1,55 @@
+import type { BoundaryRef } from '../axis/boundary/Boundary.js';
+import type { LifecycleRules } from '../axis/lifecycle/Lifecycle.js';
+import type { Relation } from '../axis/role/Relation.js';
+import type { RoleRules } from '../axis/role/Role.js';
+import type { Shape } from '../axis/shape/Shape.js';
+type JsonSchemaType = 'string' | 'number' | 'integer' | 'boolean' | 'object' | 'array' | 'null';
+type ShapeKeywords = UnionToIntersection<KeywordsOf<Shape>>;
+type KeywordsOf<S> = S extends unknown ? Partial<Omit<S, 'type' | 'items' | 'properties'>> : never;
+type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+export type FieldDescriptor = ShapeKeywords & {
+    type?: JsonSchemaType | JsonSchemaType[];
+    items?: FieldDescriptor;
+    properties?: Record<string, FieldDescriptor>;
+    description?: string;
+    'x-fougere'?: FieldExtension;
+};
+export interface FieldExtension {
+    role?: RoleDescriptor;
+    lifecycle?: LifecycleRules;
+    boundary?: BoundaryRef;
+}
+export type RoleDescriptor = Pick<RoleRules, 'primary' | 'index'> & {
+    unique?: string[][];
+    relation?: RelationDescriptor;
+};
+export type RelationDescriptor = Pick<Relation, 'kind' | 'onDelete'> & {
+    to: string;
+};
+/**
+ * What a derivation was cut from, and what the cut left — `survived` keyed by the
+ * ORIGIN's field names. Absent on a declaration that derives from nothing.
+ *
+ * A dropped field is `null` and never `undefined`: JSON.stringify erases the second,
+ * which would leave the card saying only what remains — what `properties` already says.
+ */
+export interface DerivedFrom {
+    from: string;
+    survived: Record<string, string | null>;
+}
+export interface SchemaDescriptor {
+    title?: string;
+    type: 'object';
+    properties: Record<string, FieldDescriptor>;
+    required?: string[];
+    'x-fougere-derived'?: DerivedFrom;
+    'x-fougere-version': 1;
+    'x-fougere-vendor': 'fougere';
+}
+export interface SchemaBundle {
+    $defs: Record<string, SchemaDescriptor>;
+    'x-fougere-version': 1;
+    'x-fougere-vendor': 'fougere';
+}
+export {};
+//# sourceMappingURL=Descriptor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Descriptor.d.ts","sourceRoot":"","sources":["../../src/card/Descriptor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AAEpD,KAAK,cAAc,GACf,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,SAAS,GACT,QAAQ,GACR,OAAO,GACP,MAAM,CAAC;AAEX,KAAK,aAAa,GAAG,mBAAmB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;AAE5D,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC;AACnG,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,MAAM,MAAM,eAAe,GAAG,aAAa,GAAG;IAC5C,IAAI,CAAC,EAAE,cAAc,GAAG,cAAc,EAAE,CAAC;IACzC,KAAK,CAAC,EAAE,eAAe,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC7C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,cAAc,CAAC;CAC9B,CAAC;AAEF,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,QAAQ,CAAC,EAAE,WAAW,CAAC;CACxB;AAED,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,GAAG;IAClE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;IACpB,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtF;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;CACzC;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC5C,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,mBAAmB,CAAC,EAAE,WAAW,CAAC;IAClC,mBAAmB,EAAE,CAAC,CAAC;IACvB,kBAAkB,EAAE,SAAS,CAAC;CAC/B;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACxC,mBAAmB,EAAE,CAAC,CAAC;IACvB,kBAAkB,EAAE,SAAS,CAAC;CAC/B"}

package/dist/card/Descriptor.js

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

package/dist/card/Descriptor.js.map

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

package/dist/card/EntityTypeSource.d.ts

@@ -0,0 +1,12 @@
+import type { SchemaDescriptor } from './Descriptor.js';
+export interface EntityTypeSourceOptions {
+    name?: string;
+    exported?: boolean;
+}
+export declare class EntityTypeSource {
+    private readonly descriptor;
+    private constructor();
+    static of(descriptor: SchemaDescriptor): EntityTypeSource;
+    render(options?: EntityTypeSourceOptions): string;
+}
+//# sourceMappingURL=EntityTypeSource.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"EntityTypeSource.d.ts","sourceRoot":"","sources":["../../src/card/EntityTypeSource.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAmB,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAgDzE,MAAM,WAAW,uBAAuB;IACtC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAaD,qBAAa,gBAAgB;IACP,OAAO,CAAC,QAAQ,CAAC,UAAU;IAA/C,OAAO,eAA8D;IAErE,MAAM,CAAC,EAAE,CAAC,UAAU,EAAE,gBAAgB,GAAG,gBAAgB,CAExD;IAED,MAAM,CAAC,OAAO,GAAE,uBAA4B,GAAG,MAAM,CASpD;CACF"}

package/dist/card/EntityTypeSource.js

@@ -0,0 +1,78 @@
+import { upperFirst } from '../utils.js';
+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) {
+    if (field.enum?.length) {
+        return field.enum.map((v) => (v === null ? 'null' : JSON.stringify(v))).join(' | ');
+    }
+    switch (base) {
+        case 'string':
+            return field.format === 'date-time' ? 'Date' : 'string';
+        case 'number':
+        case 'integer':
+            return 'number';
+        case 'boolean':
+            return 'boolean';
+        case 'array':
+            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('; ')} }`;
+}
+function propertyKey(name) {
+    return /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(name) ? name : JSON.stringify(name);
+}
+function docCommentOf(text, indent) {
+    if (!text)
+        return '';
+    return `${indent}/** ${text.replace(/\*\//g, '*\\/')} */\n`;
+}
+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}}`;
+}
+export class EntityTypeSource {
+    descriptor;
+    constructor(descriptor) {
+        this.descriptor = descriptor;
+    }
+    static of(descriptor) {
+        return new EntityTypeSource(descriptor);
+    }
+    render(options = {}) {
+        const name = identifierOf(options.name ?? upperFirst(this.descriptor.title ?? 'Schema'));
+        const exported = options.exported === false ? '' : 'export ';
+        const card = JSON.stringify(this.descriptor, null, 2)
+            .split('\n')
+            .map((line, i) => (i === 0 ? line : `  ${line}`))
+            .join('\n');
+        return `${exported}class ${name} extends Card.fromDescriptor<${shapeTypeOf(this.descriptor)}>(${card}).toSchema() {}`;
+    }
+}
+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;
+}
+//# sourceMappingURL=EntityTypeSource.js.map

package/dist/card/EntityTypeSource.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityTypeSource.js","sourceRoot":"","sources":["../../src/card/EntityTypeSource.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGzC,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,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,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,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,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,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;AAOD,SAAS,WAAW,CAAC,UAA4B,EAAE,MAAM,GAAG,EAAE;IAC5D,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,MAAM,OAAO,gBAAgB;IACU,UAAU;IAA/C,YAAqC,UAA4B;0BAA5B,UAAU;IAAqB,CAAC;IAErE,MAAM,CAAC,EAAE,CAAC,UAA4B;QACpC,OAAO,IAAI,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,OAAO,GAA4B,EAAE;QAC1C,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,QAAQ,CAAC,CAAC,CAAC;QACzF,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;aAClD,KAAK,CAAC,IAAI,CAAC;aACX,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;aAChD,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,OAAO,GAAG,QAAQ,SAAS,IAAI,gCAAgC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,iBAAiB,CAAC;IACxH,CAAC;CACF;AAED,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"}

package/dist/card/FacadeTypeSource.d.ts

@@ -0,0 +1,19 @@
+import type { SchemaDescriptor } from './Descriptor.js';
+export interface FacadeTypeSourceOptions {
+    name?: string;
+    exported?: boolean;
+    rowType?: string;
+}
+export interface OpDescriptor {
+    name: string;
+    description?: string;
+    output?: SchemaDescriptor;
+    cardinality?: 'one' | 'maybe' | 'many' | 'page' | 'none';
+}
+export declare class FacadeTypeSource {
+    private readonly operations;
+    private constructor();
+    static of(operations: readonly OpDescriptor[]): FacadeTypeSource;
+    render(options?: FacadeTypeSourceOptions): string;
+}
+//# sourceMappingURL=FacadeTypeSource.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"FacadeTypeSource.d.ts","sourceRoot":"","sources":["../../src/card/FacadeTypeSource.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAExD,MAAM,WAAW,uBAAuB;IACtC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,WAAW,CAAC,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;CAC1D;AAsBD,qBAAa,gBAAgB;IACP,OAAO,CAAC,QAAQ,CAAC,UAAU;IAA/C,OAAO,eAAqE;IAE5E,MAAM,CAAC,EAAE,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,GAAG,gBAAgB,CAE/D;IAED,MAAM,CAAC,OAAO,GAAE,uBAA4B,GAAG,MAAM,CAWpD;CACF"}

package/dist/card/FacadeTypeSource.js

@@ -0,0 +1,40 @@
+function propertyKey(name) {
+    return /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(name) ? name : JSON.stringify(name);
+}
+function docCommentOf(text, indent) {
+    if (!text)
+        return '';
+    return `${indent}/** ${text.replace(/\*\//g, '*\\/')} */\n`;
+}
+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;
+        case 'none': return 'unknown';
+        default: return 'unknown';
+    }
+}
+export class FacadeTypeSource {
+    operations;
+    constructor(operations) {
+        this.operations = operations;
+    }
+    static of(operations) {
+        return new FacadeTypeSource(operations);
+    }
+    render(options = {}) {
+        const name = options.name ?? 'Facade';
+        const exported = options.exported === false ? '' : 'export ';
+        const rowType = options.rowType ?? 'unknown';
+        const members = this.operations.map((operation) => {
+            const doc = docCommentOf(operation.description, '  ');
+            return `${doc}  ${propertyKey(operation.name)}(invocation?: Invocation): Promise<${returnTypeOf(operation, rowType)}>;`;
+        });
+        if (members.length === 0)
+            return `${exported}interface ${name} {}`;
+        return `${exported}interface ${name} {\n${members.join('\n')}\n}`;
+    }
+}
+//# sourceMappingURL=FacadeTypeSource.js.map

package/dist/card/FacadeTypeSource.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FacadeTypeSource.js","sourceRoot":"","sources":["../../src/card/FacadeTypeSource.ts"],"names":[],"mappings":"AAeA,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,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;AAED,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,KAAK,MAAM,EAAE,OAAO,SAAS,CAAC;QAC9B,SAAS,OAAO,SAAS,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,MAAM,OAAO,gBAAgB;IACU,UAAU;IAA/C,YAAqC,UAAmC;0BAAnC,UAAU;IAA4B,CAAC;IAE5E,MAAM,CAAC,EAAE,CAAC,UAAmC;QAC3C,OAAO,IAAI,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,OAAO,GAA4B,EAAE;QAC1C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,QAAQ,CAAC;QACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,SAAS,CAAC;QAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;YAChD,MAAM,GAAG,GAAG,YAAY,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACtD,OAAO,GAAG,GAAG,KAAK,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,sCAAsC,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC;QAC1H,CAAC,CAAC,CAAC;QAEH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,GAAG,QAAQ,aAAa,IAAI,KAAK,CAAC;QACnE,OAAO,GAAG,QAAQ,aAAa,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;IACpE,CAAC;CACF"}

package/dist/card/admission.d.ts

@@ -0,0 +1,9 @@
+import type { ValidationError } from '../judge/result.js';
+/** A card is refused by naming what is wrong AND the remedy — never by a bare throw. */
+export declare function refuse(what: string, fix: string): never;
+/**
+ * A wire value admitted by the axis's OWN judge — legal only where its declared and wire
+ * forms are the same value, which `describe: v => v` states.
+ */
+export declare function admitWire(judge: (value: unknown, errors: ValidationError[]) => void, value: unknown, slot: string): void;
+//# sourceMappingURL=admission.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"admission.d.ts","sourceRoot":"","sources":["../../src/card/admission.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAE1D,wFAAwF;AACxF,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,KAAK,CAEvD;AAED;;;GAGG;AACH,wBAAgB,SAAS,CACvB,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,IAAI,EAC1D,KAAK,EAAE,OAAO,EACd,IAAI,EAAE,MAAM,GACX,IAAI,CASN"}

package/dist/card/admission.js

@@ -0,0 +1,16 @@
+/** A card is refused by naming what is wrong AND the remedy — never by a bare throw. */
+export function refuse(what, fix) {
+    throw new Error(`This card cannot be read: ${what}.\n  ${fix}`);
+}
+/**
+ * A wire value admitted by the axis's OWN judge — legal only where its declared and wire
+ * forms are the same value, which `describe: v => v` states.
+ */
+export function admitWire(judge, value, slot) {
+    const errors = [];
+    judge(value, errors);
+    if (errors.length) {
+        refuse(`${slot} is malformed — ${errors.map((e) => `${e.path}: ${e.message}`).join('; ')}`, 'A card states an axis the way a declaration does.');
+    }
+}
+//# sourceMappingURL=admission.js.map

package/dist/card/admission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"admission.js","sourceRoot":"","sources":["../../src/card/admission.ts"],"names":[],"mappings":"AAEA,wFAAwF;AACxF,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,GAAW;IAC9C,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,QAAQ,GAAG,EAAE,CAAC,CAAC;AAClE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CACvB,KAA0D,EAC1D,KAAc,EACd,IAAY;IAEZ,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACrB,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,MAAM,CACJ,GAAG,IAAI,mBAAmB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACnF,mDAAmD,CACpD,CAAC;IACJ,CAAC;AACH,CAAC"}