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

package/dist/axis/shape/Formats.js

@@ -0,0 +1,10 @@
+export class Formats {
+    static registry = new Map();
+    static register(name, predicate) {
+        this.registry.set(name, predicate);
+    }
+    static resolve(name) {
+        return this.registry.get(name);
+    }
+}
+//# sourceMappingURL=Formats.js.map

package/dist/axis/shape/Formats.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Formats.js","sourceRoot":"","sources":["../../../src/axis/shape/Formats.ts"],"names":[],"mappings":"AAWA,MAAM,OAAO,OAAO;IACV,MAAM,CAAU,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IAEtE,MAAM,CAAC,QAAQ,CAAC,IAAY,EAAE,SAA0B;QACtD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,IAAY;QACzB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;CACF"}

package/dist/axis/shape/Shape.d.ts

@@ -0,0 +1,58 @@
+import type { StringFormat } from './Formats.js';
+type Nullably<T extends string> = T | readonly [T, 'null'];
+interface StringConstraints {
+    minLength?: number;
+    maxLength?: number;
+    pattern?: string;
+    enum?: readonly (string | null)[];
+    format?: StringFormat;
+}
+interface NumericConstraints {
+    minimum?: number;
+    maximum?: number;
+}
+interface ArrayConstraints {
+    items?: Shape;
+    minItems?: number;
+    maxItems?: number;
+}
+interface ObjectConstraints {
+    properties?: Record<string, unknown>;
+    required?: readonly string[];
+}
+export type Shape = ({
+    type: Nullably<'string'>;
+} & StringConstraints) | ({
+    type: Nullably<'number'> | Nullably<'integer'>;
+} & NumericConstraints) | {
+    type: Nullably<'boolean'>;
+} | ({
+    type: Nullably<'array'>;
+} & ArrayConstraints) | ({
+    type: Nullably<'object'>;
+} & ObjectConstraints);
+type BaseShape = ({
+    type: 'string';
+} & StringConstraints) | ({
+    type: 'number' | 'integer';
+} & NumericConstraints) | {
+    type: 'boolean';
+} | ({
+    type: 'array';
+} & ArrayConstraints) | ({
+    type: 'object';
+} & ObjectConstraints);
+interface ShapeAnatomy {
+    base?: BaseShape;
+    nullable: boolean;
+}
+export declare class Anatomy {
+    static is(value: unknown): value is Shape;
+    static nullable(shape: Shape): Shape;
+    private static readonly cache;
+    private static readonly none;
+    static of(shape?: Shape): ShapeAnatomy;
+    static isNullable(shape?: Shape): boolean;
+}
+export {};
+//# sourceMappingURL=Shape.d.ts.map

package/dist/axis/shape/Shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Shape.d.ts","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAE3D,UAAU,iBAAiB;IAAG,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,YAAY,CAAA;CAAE;AAClJ,UAAU,kBAAkB;IAAG,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE;AACnE,UAAU,gBAAgB;IAAG,KAAK,CAAC,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE;AAClF,UAAU,iBAAiB;IAAG,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE;AAElG,MAAM,MAAM,KAAK,GACb,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;CAAE,GAAG,iBAAiB,CAAC,GAClD,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAA;CAAE,GAAG,kBAAkB,CAAC,GACzE;IAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAA;CAAE,GAC7B,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;CAAE,GAAG,gBAAgB,CAAC,GAChD,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;CAAE,GAAG,iBAAiB,CAAC,CAAC;AAcvD,KAAK,SAAS,GACV,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,iBAAiB,CAAC,GACxC,CAAC;IAAE,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAA;CAAE,GAAG,kBAAkB,CAAC,GACrD;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB,CAAC;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,gBAAgB,CAAC,GACtC,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,iBAAiB,CAAC,CAAC;AAW7C,UAAU,YAAY;IACpB,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,qBAAa,OAAO;IAClB,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,KAAK,CAExC;IAED,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAEnC;IAED,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAuC;IACpE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAsD;IAElF,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,YAAY,CAiBrC;IAED,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,OAAO,CAExC;CACF"}

package/dist/{field/shape.js → axis/shape/Shape.js}

@@ -1,13 +1,5 @@
-/**
- * The BASE type names — what `Anatomy.of(shape).base?.type` narrows to for a dispatch.
- *
- * The runtime list is the source and the type derives from it, not the reverse: a type
- * union cannot be enumerated at runtime, so writing both by hand means two lists that
- * drift. {@link isShape} needs the values, so it is the values that are declared.
- */
-export const SHAPE_TYPES = ['string', 'number', 'integer', 'boolean', 'array', 'object'];
-/** Is this a shape? Asked of its `type`, against {@link SHAPE_TYPES}. */
-export function isShape(value) {
+const SHAPE_TYPES = ['string', 'number', 'integer', 'boolean', 'array', 'object'];
+function isShapeImpl(value) {
     if (typeof value !== 'object' || value === null)
         return false;
     const declared = value.type;
@@ -15,13 +7,7 @@ export function isShape(value) {
     return (names.some((name) => SHAPE_TYPES.includes(name)) &&
         names.every((name) => name === 'null' || SHAPE_TYPES.includes(name)));
 }
-// ─── nullableShape / anatomy — the two gates of the union ──────────
-/**
- * Write side: make a shape's grammar accept `null` — the type becomes the union
- * `[T, 'null']`, and `null` joins `enum` when present (an enum is a closed value
- * set; null must be IN it to be legal). Idempotent.
- */
-export function nullableShape(shape) {
+function nullableShapeImpl(shape) {
     if (Array.isArray(shape.type))
         return shape;
     const out = { ...shape, type: [shape.type, 'null'] };
@@ -30,13 +16,13 @@ export function nullableShape(shape) {
     }
     return out;
 }
-/**
- * The read side — the single customs post at the standard's border. Every consumer that
- * dispatches on a shape's type comes through here: `shape.type` may be the union
- * `[T,'null']`, and a direct comparison fails silently on it.
- */
 export class Anatomy {
-    /** Cached per shape reference — derivations copy field refs, they never rebuild shapes. */
+    static is(value) {
+        return isShapeImpl(value);
+    }
+    static nullable(shape) {
+        return nullableShapeImpl(shape);
+    }
     static cache = new WeakMap();
     static none = { base: undefined, nullable: false };
     static of(shape) {
@@ -59,9 +45,8 @@ export class Anatomy {
         }
         return a;
     }
-    /** Sugar for the most common read: does this shape's grammar accept `null`? */
     static isNullable(shape) {
         return this.of(shape).nullable;
     }
 }
-//# sourceMappingURL=shape.js.map
+//# sourceMappingURL=Shape.js.map

package/dist/axis/shape/Shape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Shape.js","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AAiBA,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAU,CAAC;AAE3F,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,QAAQ,GAAI,KAAe,CAAC,IAAI,CAAC;IACvC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC9D,OAAO,CACL,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAE,WAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,IAAK,WAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAC7F,CAAC;AACJ,CAAC;AASD,SAAS,iBAAiB,CAAC,KAAY;IACrC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,MAAM,GAAG,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,EAAsB,CAAC;IACzE,IAAI,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,GAA4C,CAAC,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAOD,MAAM,OAAO,OAAO;IAClB,MAAM,CAAC,EAAE,CAAC,KAAc;QACtB,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,KAAY;QAC1B,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IAEO,MAAM,CAAU,KAAK,GAAG,IAAI,OAAO,EAAwB,CAAC;IAC5D,MAAM,CAAU,IAAI,GAAiB,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAElF,MAAM,CAAC,EAAE,CAAC,KAAa;QACrB,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;gBACtD,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAe,CAAC;gBACvD,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC/B,IAA6C,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;gBAC5F,CAAC;gBACD,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,CAAC,GAAG,EAAE,IAAI,EAAE,KAAkB,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YACpD,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,KAAa;QAC7B,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC;IACjC,CAAC;CACF"}

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/describe.d.ts

@@ -0,0 +1,12 @@
+import type { SchemaView } from '../SchemaView.js';
+import { type DerivedFrom, type SchemaBundle, type SchemaDescriptor } from './Descriptor.js';
+export declare function describe(schema: SchemaView, name?: string): SchemaDescriptor;
+/**
+ * A view says what it is a view OF. `title` already carries the origin's name, and
+ * carried it alone: two derivations of one entity described identically while serving
+ * different fields, and nothing in the card said which was which.
+ */
+export declare function derivedOf(schema: SchemaView): DerivedFrom | undefined;
+export declare function sourceNameOf(schema: SchemaView): string | undefined;
+export declare function describeSet(schemas: Record<string, SchemaView> | SchemaView[]): SchemaBundle;
+//# sourceMappingURL=describe.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"describe.d.ts","sourceRoot":"","sources":["../../src/card/describe.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,KAAK,WAAW,EAA6C,KAAK,YAAY,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AA0BxI,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAmB5E;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,UAAU,GAAG,WAAW,GAAG,SAAS,CAKrE;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAGnE;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,UAAU,EAAE,GAAG,YAAY,CAU5F"}

package/dist/card/describe.js

@@ -0,0 +1,83 @@
+import { clean } from '../clean.js';
+import { Judge } from '../judge/Judge.js';
+import { EXTENSION_AXES } from '../axis/Axis.js';
+import { registrationKeyOf } from '../name.js';
+function describeExtension(field, key) {
+    const ext = {};
+    for (const axis of EXTENSION_AXES) {
+        const declared = field[axis.slot];
+        if (declared === undefined)
+            continue;
+        const wire = axis.describe(declared, key);
+        if (wire !== undefined)
+            ext[axis.slot] = wire;
+    }
+    clean(ext);
+    return Object.keys(ext).length ? ext : undefined;
+}
+function describeField(field, key) {
+    const out = {};
+    for (const [key, value] of Object.entries(field.shape)) {
+        if (value === undefined)
+            continue;
+        out[key] = value;
+    }
+    if (field.meta?.description)
+        out.description = field.meta.description;
+    const ext = describeExtension(field, key);
+    if (ext)
+        out['x-fougere'] = ext;
+    return out;
+}
+export function describe(schema, name) {
+    const properties = {};
+    const required = [];
+    for (const [key, field] of Object.entries(schema.getFields())) {
+        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 ?? sourceNameOf(schema);
+    if (title)
+        descriptor.title = title;
+    if (required.length)
+        descriptor.required = required;
+    const derived = derivedOf(schema);
+    if (derived)
+        descriptor['x-fougere-derived'] = derived;
+    return descriptor;
+}
+/**
+ * A view says what it is a view OF. `title` already carries the origin's name, and
+ * carried it alone: two derivations of one entity described identically while serving
+ * different fields, and nothing in the card said which was which.
+ */
+export function derivedOf(schema) {
+    const s = schema;
+    if (!s.source?.name || !s.survived)
+        return undefined;
+    const survived = Object.fromEntries(Object.entries(s.survived).map(([k, v]) => [k, v ?? null]));
+    return { from: s.source.name, survived };
+}
+export function sourceNameOf(schema) {
+    const s = schema;
+    return s.source?.name ?? s.name;
+}
+export function describeSet(schemas) {
+    const entries = Array.isArray(schemas)
+        ? schemas.map((s) => [sourceNameOf(s) ?? '', s])
+        : Object.entries(schemas);
+    const $defs = {};
+    for (const [name, schema] of entries) {
+        const key = registrationKeyOf(name);
+        $defs[key] = describe(schema, key);
+    }
+    return { $defs, 'x-fougere-version': 1, 'x-fougere-vendor': 'fougere' };
+}
+//# sourceMappingURL=describe.js.map

package/dist/card/describe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"describe.js","sourceRoot":"","sources":["../../src/card/describe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAGjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAG/C,SAAS,iBAAiB,CAAC,KAAY,EAAE,GAAW;IAClD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,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,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IAChD,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,CAAC;IACX,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,GAAsB,CAAC,CAAC,CAAC,SAAS,CAAC;AACvE,CAAC;AAED,SAAS,aAAa,CAAC,KAAY,EAAE,GAAW;IAC9C,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QACjC,GAA+B,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAChD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,EAAE,WAAW;QAAE,GAAG,CAAC,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC;IACtE,MAAM,GAAG,GAAG,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1C,IAAI,GAAG;QAAE,GAAG,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC;IAChC,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,MAAkB,EAAE,IAAa;IACxD,MAAM,UAAU,GAAoC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC;QAC9D,UAAU,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,UAAU,GAAqB;QACnC,IAAI,EAAE,QAAQ;QACd,UAAU;QACV,mBAAmB,EAAE,CAAC;QACtB,kBAAkB,EAAE,SAAS;KAC9B,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,KAAK;QAAE,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;IACpC,IAAI,QAAQ,CAAC,MAAM;QAAE,UAAU,CAAC,QAAQ,GAAG,QAAQ,CAAC;IACpD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,OAAO;QAAE,UAAU,CAAC,mBAAmB,CAAC,GAAG,OAAO,CAAC;IACvD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,MAAkB;IAC1C,MAAM,CAAC,GAAG,MAAuF,CAAC;IAClG,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;IAChG,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAkB;IAC7C,MAAM,CAAC,GAAG,MAAuD,CAAC;IAClE,OAAO,CAAC,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,OAAkD;IAC5E,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACpC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAU,CAAC;QACzD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAqC,EAAE,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC,EAAE,kBAAkB,EAAE,SAAS,EAAE,CAAC;AAC1E,CAAC"}

package/dist/card/diff.d.ts

@@ -0,0 +1,140 @@
+/**
+ * What changed between two shapes — the one calculation three readers share.
+ *
+ * A DDL applies it ONCE to the rows (a migration), a codec applies it at EVERY call
+ * (an old API version still being served), and a boot reads it to refuse a version that
+ * can no longer produce a valid row. Writing it three times would let the three disagree
+ * about the same two shapes.
+ *
+ * It knows no engine and no protocol: a `Change` is a fact about descriptors, and the
+ * dialect stays where the dialect belongs.
+ *
+ * **It never guesses a rename.** A field gone plus a field appeared is either a rename or
+ * a drop-and-add, and the two produce opposite DDL — one keeps the data, the other throws
+ * it away. The intent lives in the transition and no pair of snapshots holds it, so it is
+ * an input here (`renamed`) and what is left over is REPORTED rather than resolved.
+ */
+import type { BoundaryRef } from '../axis/boundary/Boundary.js';
+import type { LifecycleRules } from '../axis/lifecycle/Lifecycle.js';
+import type { FieldDescriptor, RoleDescriptor, SchemaBundle, SchemaDescriptor } from './Descriptor.js';
+/** One named difference, at one place. Each kind exists because a reader asks for it. */
+export type Change = 
+/** DDL: add the column. Codec: the old caller never sends it. Boot: refuse when required. */
+{
+    kind: 'added';
+    field: string;
+    to: FieldDescriptor;
+    required: boolean;
+}
+/** DDL: drop the column. Codec: the old caller still sends it, and it goes nowhere. */
+ | {
+    kind: 'removed';
+    field: string;
+    from: FieldDescriptor;
+    required: boolean;
+}
+/** DDL: rename the column. Codec and ORM: one more entry in the field→column map. */
+ | {
+    kind: 'renamed';
+    from: string;
+    to: string;
+    field: FieldDescriptor;
+}
+/** DDL: alter the type. Codec: convert the value, when it can. */
+ | {
+    kind: 'retyped';
+    field: string;
+    from: TypeSet;
+    to: TypeSet;
+}
+/** Same type, different bounds — a CHECK moves, and a value legal yesterday may not be. */
+ | {
+    kind: 'reshaped';
+    field: string;
+    from: FieldDescriptor;
+    to: FieldDescriptor;
+}
+/** NOT NULL in either direction. Boot: an old writer cannot fill what it never knew. */
+ | {
+    kind: 'required';
+    field: string;
+    from: boolean;
+    to: boolean;
+}
+/**
+ * An axis other than shape was restated — `axis` names which, so a reader switches on
+ * it rather than re-comparing the descriptor it was handed.
+ *
+ * One kind for three axes and three kinds for shape is not lopsided: shape is the half
+ * a JSON Schema reader honours, and its differences mean different things to a table.
+ * A field is FOUR axes, and a comparison that reads one of them answers a quarter of
+ * the question — measured, and every reader of `diff` was blind the same way.
+ */
+ | {
+    kind: 'restated';
+    field: string;
+    axis: 'role';
+    from?: RoleDescriptor;
+    to?: RoleDescriptor;
+} | {
+    kind: 'restated';
+    field: string;
+    axis: 'lifecycle';
+    from?: LifecycleRules;
+    to?: LifecycleRules;
+} | {
+    kind: 'restated';
+    field: string;
+    axis: 'boundary';
+    from?: BoundaryRef;
+    to?: BoundaryRef;
+};
+/** A field's declared type(s) — `describe` folds nullable into a union, so it is a set. */
+export type TypeSet = string[];
+/** A removal and an addition that could be one rename — same shape, different name. */
+export interface RenameCandidate {
+    removed: string;
+    added: string;
+}
+export interface Diff {
+    changes: Change[];
+    /**
+     * What the calculation refuses to decide. Empty means the answer is complete; anything
+     * here has to be settled by whoever made the change, while they still remember.
+     */
+    ambiguous: RenameCandidate[];
+}
+export interface DiffOptions {
+    /** Renames as declared at the time — old name → new name. */
+    renamed?: Record<string, string>;
+}
+/**
+ * What separates two shapes.
+ *
+ * `from` is the older one — a frozen version, or the state a migration starts at. The
+ * changes read as instructions to get from it to `to`.
+ */
+export declare function diff(from: SchemaDescriptor, to: SchemaDescriptor, options?: DiffOptions): Diff;
+/**
+ * What separates two BUNDLES — the dual of `describeSet`, and the shape a freeze
+ * actually compares: a version is a set of entities, not one.
+ *
+ * An entity that appeared or left is reported by name and nothing more. Renaming an
+ * ENTITY is deliberately not modelled here: the field-level ambiguity has a declaration
+ * to resolve it (`renamed`), and inventing a second one before anything asks would be
+ * two mechanisms for one question.
+ */
+export interface SetDiff {
+    /** Entities `to` has and `from` had not — a `createTable` for a migration. */
+    entitiesAdded: string[];
+    /** Entities `from` had and `to` has not. */
+    entitiesRemoved: string[];
+    /** Per entity present in both, when anything differs. An unchanged entity is absent. */
+    entities: Record<string, Diff>;
+}
+export interface SetDiffOptions {
+    /** Declared renames, per entity: `{ post: { body: 'content' } }`. */
+    renamed?: Record<string, Record<string, string>>;
+}
+export declare function diffSet(from: SchemaBundle, to: SchemaBundle, options?: SetDiffOptions): SetDiff;
+//# sourceMappingURL=diff.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../src/card/diff.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,KAAK,EAAE,eAAe,EAAkB,cAAc,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAGvH,yFAAyF;AACzF,MAAM,MAAM,MAAM;AAChB,6FAA6F;AAC3F;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE;AAC1E,uFAAuF;GACrF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE;AAC9E,qFAAqF;GACnF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CAAE;AACvE,kEAAkE;GAChE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE;AAChE,2FAA2F;GACzF;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,EAAE,EAAE,eAAe,CAAA;CAAE;AACjF,wFAAwF;GACtF;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE;AACjE;;;;;;;;GAQG;GACD;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,cAAc,CAAC;IAAC,EAAE,CAAC,EAAE,cAAc,CAAA;CAAE,GAC7F;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,CAAC,EAAE,cAAc,CAAC;IAAC,EAAE,CAAC,EAAE,cAAc,CAAA;CAAE,GAClG;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,CAAC,EAAE,WAAW,CAAC;IAAC,EAAE,CAAC,EAAE,WAAW,CAAA;CAAE,CAAC;AAEhG,2FAA2F;AAC3F,MAAM,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;AAE/B,uFAAuF;AACvF,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,IAAI;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;OAGG;IACH,SAAS,EAAE,eAAe,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,6DAA6D;IAC7D,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAClC;AAqCD;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,gBAAgB,EAAE,OAAO,GAAE,WAAgB,GAAG,IAAI,CAqDlG;AAgCD;;;;;;;;GAQG;AACH,MAAM,WAAW,OAAO;IACtB,8EAA8E;IAC9E,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,4CAA4C;IAC5C,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,wFAAwF;IACxF,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;CAChC;AAED,MAAM,WAAW,cAAc;IAC7B,qEAAqE;IACrE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAClD;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,GAAE,cAAmB,GAAG,OAAO,CAkBnG"}

package/dist/card/diff.js

@@ -0,0 +1,123 @@
+import { same } from '../same.js';
+/** The three axes `shapeOf` sets aside, compared one by one. */
+const AXES = ['role', 'lifecycle', 'boundary'];
+/**
+ * What moved on the axes a JSON Schema reader cannot see.
+ *
+ * Compared as VALUES: every axis is normal-form data by construction — that is what makes
+ * a descriptor travel — so equality is the whole test and no axis needs its own reader.
+ */
+function restated(field, before, after) {
+    return AXES.filter((axis) => !same(before?.[axis], after?.[axis])).map((axis) => ({ kind: 'restated', field, axis, from: before?.[axis], to: after?.[axis] }));
+}
+/** The shape half of a descriptor: everything a JSON Schema reader would honour. */
+function shapeOf(descriptor) {
+    const { 'x-fougere': _extension, ...shape } = descriptor;
+    return shape;
+}
+/** Its type, always as a set — `'string'` and `['string', 'null']` compare as sets. */
+function typesOf(descriptor) {
+    const type = descriptor.type;
+    if (type === undefined)
+        return [];
+    return (Array.isArray(type) ? [...type] : [type]).sort();
+}
+/** Everything but the type — the bounds, the format, the value list. */
+function boundsOf(descriptor) {
+    const { type: _type, ...rest } = shapeOf(descriptor);
+    return rest;
+}
+/**
+ * What separates two shapes.
+ *
+ * `from` is the older one — a frozen version, or the state a migration starts at. The
+ * changes read as instructions to get from it to `to`.
+ */
+export function diff(from, to, options = {}) {
+    const changes = [];
+    const renamed = options.renamed ?? {};
+    const before = from.properties ?? {};
+    const after = to.properties ?? {};
+    const requiredBefore = new Set(from.required ?? []);
+    const requiredAfter = new Set(to.required ?? []);
+    // A declared rename is applied FIRST: past this point the field is compared under its
+    // new name, so a rename plus a type change reads as two changes and not as a
+    // drop-and-add that happens to look alike.
+    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 (!same(wasType, isType))
+            changes.push({ kind: 'retyped', field: now, from: wasType, to: isType });
+        else if (!same(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) };
+}
+/**
+ * Which removal could be which addition. Paired on an identical shape, because that is
+ * the whole of what a snapshot knows: two fields carrying the same declaration under two
+ * names is exactly what a rename leaves behind.
+ *
+ * Reported, never applied — including when there is only one pair. A confident guess is
+ * still a guess, and being wrong here drops a column of live data.
+ */
+function candidates(removed, added, before, after) {
+    const found = [];
+    for (const gone of removed) {
+        for (const appeared of added) {
+            if (same(shapeOf(before[gone]), shapeOf(after[appeared])))
+                found.push({ removed: gone, added: appeared });
+        }
+    }
+    // Nearest first: a rename usually leaves the field where it was, so the declaration's
+    // own order ranks the pairs. It ORDERS them and decides nothing — the list is whole.
+    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));
+}
+export function diffSet(from, to, options = {}) {
+    const before = from.$defs ?? {};
+    const after = to.$defs ?? {};
+    const entities = {};
+    for (const [name, descriptor] of Object.entries(before)) {
+        const target = after[name];
+        if (target === undefined)
+            continue;
+        const answer = diff(descriptor, target, { renamed: options.renamed?.[name] ?? {} });
+        // An entity that did not move says nothing — a freeze records differences, not a census.
+        if (answer.changes.length > 0 || answer.ambiguous.length > 0)
+            entities[name] = answer;
+    }
+    return {
+        entitiesAdded: Object.keys(after).filter((name) => !(name in before)),
+        entitiesRemoved: Object.keys(before).filter((name) => !(name in after)),
+        entities,
+    };
+}
+//# sourceMappingURL=diff.js.map

package/dist/card/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../src/card/diff.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAoDlC,gEAAgE;AAChE,MAAM,IAAI,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,UAAU,CAAU,CAAC;AAExD;;;;;GAKG;AACH,SAAS,QAAQ,CAAC,KAAa,EAAE,MAAkC,EAAE,KAAiC;IACpG,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CACpE,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,oFAAoF;AACpF,SAAS,OAAO,CAAC,UAA2B;IAC1C,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,KAAK,EAAE,GAAG,UAAU,CAAC;IACzD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED,uFAAuF;AACvF,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,wEAAwE;AACxE,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;AAGD;;;;;GAKG;AACH,MAAM,UAAU,IAAI,CAAC,IAAsB,EAAE,EAAoB,EAAE,OAAO,GAAgB,EAAE;IAC1F,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC;IAEtC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC;IAClC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IACpD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IAEjD,sFAAsF;IACtF,6EAA6E;IAC7E,2CAA2C;IAC3C,MAAM,SAAS,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;IAErE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACzD,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QAE1B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QAED,IAAI,GAAG,KAAK,KAAK;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAE1F,MAAM,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;aAChG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACvD,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC/E,CAAC;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;QACpF,CAAC;QAED,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAChD,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;IAE9F,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,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;IACrG,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,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;IAC/F,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED;;;;;;;GAOG;AACH,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,IAAI,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;QAC5G,CAAC;IACH,CAAC;IAED,sFAAsF;IACtF,qFAAqF;IACrF,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;AAyBD,MAAM,UAAU,OAAO,CAAC,IAAkB,EAAE,EAAgB,EAAE,OAAO,GAAmB,EAAE;IACxF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAE1C,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACxD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACpF,yFAAyF;QACzF,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;IACxF,CAAC;IAED,OAAO;QACL,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC;QACrE,eAAe,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC;QACvE,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/card/reconstruct.d.ts

@@ -0,0 +1,11 @@
+import { Field, type Fields } from '../Field.js';
+import { type SchemaConstructor } from '../Schema.js';
+import { type SchemaView, type Row } from '../SchemaView.js';
+import { type SchemaBundle, type SchemaDescriptor } from './Descriptor.js';
+type FieldsOf<T> = {
+    [K in keyof T]-?: Field<T[K]>;
+};
+export declare function reconstruct<T = Row<Fields>>(descriptor: SchemaDescriptor): SchemaConstructor<FieldsOf<T>>;
+export declare function reconstructSet(bundle: SchemaBundle): Record<string, SchemaView>;
+export {};
+//# sourceMappingURL=reconstruct.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reconstruct.d.ts","sourceRoot":"","sources":["../../src/card/reconstruct.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAGjD,OAAO,EAAU,KAAK,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,GAAG,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAwB,KAAK,YAAY,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAwEjG,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAErD,wBAAgB,WAAW,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,EACzC,UAAU,EAAE,gBAAgB,GAC3B,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAEhC;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAU/E"}