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

package/dist/axis/lifecycle/LifecycleAxis.js

@@ -0,0 +1,47 @@
+import { admitWire } from '../../card/admission.js';
+import { isObject, oneOfTokens } from '../../judge/ValueForm.js';
+import { CREATE_TOKENS, UPDATE_TOKENS } from './Lifecycle.js';
+export const lifecycleAxis = {
+    slot: 'lifecycle',
+    judge(value, errors) {
+        if (!isObject(value)) {
+            errors.push({ path: 'lifecycle', message: `Expected an object — got ${JSON.stringify(value)}` });
+            return;
+        }
+        if (value.create !== undefined)
+            judgeCreate(value.create, errors);
+        if (value.update !== undefined && !oneOfTokens(value.update, UPDATE_TOKENS)) {
+            errors.push({
+                path: 'lifecycle.update',
+                message: `Expected 'now' or 'forbidden' — got ${JSON.stringify(value.update)}`,
+            });
+        }
+    },
+    describe: (value) => value,
+    reconstruct: (wire) => {
+        admitWire(lifecycleAxis.judge, wire, 'lifecycle');
+        return wire;
+    },
+};
+function judgeCreate(rule, errors) {
+    if (oneOfTokens(rule, CREATE_TOKENS))
+        return;
+    if (isObject(rule)) {
+        if ('value' in rule)
+            return;
+        if ('generate' in rule) {
+            if (typeof rule.generate !== 'string') {
+                errors.push({
+                    path: 'lifecycle.create.generate',
+                    message: `Expected a generator name — got ${JSON.stringify(rule.generate)}`,
+                });
+            }
+            return;
+        }
+    }
+    errors.push({
+        path: 'lifecycle.create',
+        message: `Expected 'now', 'optional', { value } or { generate } — got ${JSON.stringify(rule)}`,
+    });
+}
+//# sourceMappingURL=LifecycleAxis.js.map

package/dist/axis/lifecycle/LifecycleAxis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LifecycleAxis.js","sourceRoot":"","sources":["../../../src/axis/lifecycle/LifecycleAxis.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,aAAa,EAAE,aAAa,EAAuB,MAAM,gBAAgB,CAAC;AAEnF,MAAM,CAAC,MAAM,aAAa,GAAyC;IACjE,IAAI,EAAE,WAAW;IAEjB,KAAK,CAAC,KAAK,EAAE,MAAM;QACjB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YACjG,OAAO;QACT,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAClE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC;YAC5E,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,uCAAuC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;aAC/E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;IAC1B,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE;QACpB,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;CACF,CAAC;AAEF,SAAS,WAAW,CAAC,IAAa,EAAE,MAAyB;IAC3D,IAAI,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC;QAAE,OAAO;IAC7C,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnB,IAAI,OAAO,IAAI,IAAI;YAAE,OAAO;QAC5B,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACtC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,mCAAmC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE;iBAC5E,CAAC,CAAC;YACL,CAAC;YACD,OAAO;QACT,CAAC;IACH,CAAC;IACD,MAAM,CAAC,IAAI,CAAC;QACV,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,+DAA+D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;KAC/F,CAAC,CAAC;AACL,CAAC"}

package/dist/axis/lifecycle/apply.d.ts

@@ -0,0 +1,6 @@
+import { type Fields } from '../../fields/Field.js';
+type Row = Record<string, unknown>;
+export declare function applyCreate(fields: Fields, input: Row): Row;
+export declare function applyUpdate(fields: Fields, patch: Row): Row;
+export {};
+//# sourceMappingURL=apply.d.ts.map

package/dist/axis/lifecycle/apply.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply.d.ts","sourceRoot":"","sources":["../../../src/axis/lifecycle/apply.ts"],"names":[],"mappings":"AAGA,OAAO,EAAc,KAAK,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEhE,KAAK,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAEnC,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,GAAG,CAc3D;AAOD,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,GAAG,CAS3D"}

package/dist/axis/lifecycle/apply.js

@@ -0,0 +1,34 @@
+import { Lifecycle } from './Lifecycle.js';
+import { Generators } from './Generators.js';
+import { Clock } from './Clock.js';
+export function applyCreate(fields, input) {
+    const out = { ...input };
+    const instant = Clock.now();
+    for (const [name, field] of Object.entries(fields)) {
+        if (name in out)
+            continue;
+        const rule = Lifecycle.of(field);
+        if (rule.create === 'now')
+            out[name] = new Date(instant);
+        else if (rule.literal)
+            out[name] = freshValue(rule.literal.value);
+        else if (rule.generator)
+            out[name] = Generators.resolve(rule.generator)();
+    }
+    return out;
+}
+function freshValue(value) {
+    if (value === null || typeof value !== 'object')
+        return value;
+    return structuredClone(value);
+}
+export function applyUpdate(fields, patch) {
+    const out = { ...patch };
+    const instant = Clock.now();
+    for (const [name, field] of Object.entries(fields)) {
+        if (Lifecycle.of(field).stampedOnUpdate && !(name in out))
+            out[name] = new Date(instant);
+    }
+    return out;
+}
+//# sourceMappingURL=apply.js.map

package/dist/axis/lifecycle/apply.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply.js","sourceRoot":"","sources":["../../../src/axis/lifecycle/apply.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAKnC,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,KAAU;IACpD,MAAM,GAAG,GAAQ,EAAE,GAAG,KAAK,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;IAE5B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAsB,EAAE,CAAC;QACxE,IAAI,IAAI,IAAI,GAAG;YAAE,SAAS;QAC1B,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAEjC,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;aACpD,IAAI,IAAI,CAAC,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;aAC7D,IAAI,IAAI,CAAC,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;IAC5E,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,KAAU;IACpD,MAAM,GAAG,GAAQ,EAAE,GAAG,KAAK,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;IAE5B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAsB,EAAE,CAAC;QACxE,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3F,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/axis/role/Relation.d.ts

@@ -0,0 +1,20 @@
+export type EntityConstructor = abstract new (...args: any[]) => any;
+export declare const RELATION_KINDS: readonly ['one', 'many'];
+export declare const ON_DELETE: readonly ['cascade', 'restrict', 'set null'];
+export interface Relation {
+    to: () => EntityConstructor;
+    kind: (typeof RELATION_KINDS)[number];
+    onDelete?: (typeof ON_DELETE)[number];
+}
+/**
+ * How a relation is built — the one place a target becomes a thunk.
+ *
+ * A target arrives as the class or as a function returning it, because a cycle between two
+ * entities can only be written the second way. Recognised by FORM, `getFields` on the
+ * value: a class answers it, a thunk does not.
+ */
+export declare const Relation: {
+    one(target: EntityConstructor | (() => EntityConstructor), cascade?: boolean): Relation;
+    many(target: EntityConstructor | (() => EntityConstructor)): Relation;
+};
+//# sourceMappingURL=Relation.d.ts.map

package/dist/axis/role/Relation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Relation.d.ts","sourceRoot":"","sources":["../../../src/axis/role/Relation.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,iBAAiB,GAAG,QAAQ,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;AAErE,eAAO,MAAM,cAAc,YAAI,KAAK,EAAE,MAAM,CAAU,CAAC;AACvD,eAAO,MAAM,SAAS,YAAI,SAAS,EAAE,UAAU,EAAE,UAAU,CAAU,CAAC;AAEtE,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,iBAAiB,CAAC;IAC5B,IAAI,EAAE,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,EAAE,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;CACvC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ;IACnB,GAAG,SAAS,iBAAiB,GAAG,CAAC,MAAM,iBAAiB,CAAC,YAAY,OAAO,GAAG,QAAQ;IAIvF,IAAI,SAAS,iBAAiB,GAAG,CAAC,MAAM,iBAAiB,CAAC,GAAG,QAAQ;CAGtE,CAAC"}

package/dist/axis/role/Relation.js

@@ -0,0 +1,21 @@
+export const RELATION_KINDS = ['one', 'many'];
+export const ON_DELETE = ['cascade', 'restrict', 'set null'];
+/**
+ * How a relation is built — the one place a target becomes a thunk.
+ *
+ * A target arrives as the class or as a function returning it, because a cycle between two
+ * entities can only be written the second way. Recognised by FORM, `getFields` on the
+ * value: a class answers it, a thunk does not.
+ */
+export const Relation = {
+    one(target, cascade) {
+        return { to: thunk(target), kind: 'one', onDelete: cascade ? 'cascade' : undefined };
+    },
+    many(target) {
+        return { to: thunk(target), kind: 'many' };
+    },
+};
+function thunk(target) {
+    return 'getFields' in target ? () => target : target;
+}
+//# sourceMappingURL=Relation.js.map

package/dist/axis/role/Relation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Relation.js","sourceRoot":"","sources":["../../../src/axis/role/Relation.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAK,EAAE,MAAM,CAAU,CAAC;AACvD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,CAAU,CAAC;AAQtE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,GAAG,CAAC,MAAqD,EAAE,OAAiB;QAC1E,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IACvF,CAAC;IAED,IAAI,CAAC,MAAqD;QACxD,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC7C,CAAC;CACF,CAAC;AAEF,SAAS,KAAK,CAA8B,MAAqB;IAC/D,OAAO,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,MAAW,CAAC,CAAC,CAAE,MAAkB,CAAC;AACzE,CAAC"}

package/dist/axis/role/Role.d.ts

@@ -0,0 +1,26 @@
+import { FieldGroup } from "../../constraint/FieldGroup.js";
+import type { EntityConstructor, Relation } from "./Relation.js";
+export interface RoleRules {
+    primary?: boolean;
+    index?: boolean;
+    relation?: Relation;
+    rules?: readonly FieldGroup[];
+}
+export declare class Role implements RoleRules {
+    readonly primary?: boolean;
+    readonly index?: boolean;
+    readonly relation?: Relation;
+    readonly rules?: readonly FieldGroup[];
+    private constructor();
+    static of(field: {
+        role?: RoleRules;
+    }): Role;
+    /** A group written with no members means "this field": only the key it is declared under resolves it. */
+    static resolvedOn(role: RoleRules | undefined, key?: string): RoleRules | undefined;
+    get isPrimary(): boolean;
+    get isIndexed(): boolean;
+    get isCollection(): boolean;
+    get isReference(): boolean;
+    get target(): EntityConstructor | undefined;
+}
+//# sourceMappingURL=Role.d.ts.map

package/dist/axis/role/Role.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Role.d.ts","sourceRoot":"","sources":["../../../src/axis/role/Role.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAE5D,OAAO,KAAK,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEjE,MAAM,WAAW,SAAS;IACxB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,KAAK,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CAC/B;AAED,qBAAa,IAAK,YAAW,SAAS;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAEvC,OAAO,eAKN;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,GAAG,IAAI,CAE3C;IAED,yGAAyG;IACzG,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAKlF;IAED,IAAI,SAAS,IAAI,OAAO,CAEvB;IAED,IAAI,SAAS,IAAI,OAAO,CAEvB;IAED,IAAI,YAAY,IAAI,OAAO,CAE1B;IAED,IAAI,WAAW,IAAI,OAAO,CAEzB;IAED,IAAI,MAAM,IAAI,iBAAiB,GAAG,SAAS,CAE1C;CACF"}

package/dist/axis/role/Role.js

@@ -0,0 +1,40 @@
+import { FieldGroup } from "../../constraint/FieldGroup.js";
+import { Unique } from "../../constraint/Unique.js";
+export class Role {
+    primary;
+    index;
+    relation;
+    rules;
+    constructor(declared = {}) {
+        this.primary = declared.primary;
+        this.index = declared.index;
+        this.relation = declared.relation;
+        this.rules = declared.rules;
+    }
+    static of(field) {
+        return new Role(field.role);
+    }
+    /** A group written with no members means "this field": only the key it is declared under resolves it. */
+    static resolvedOn(role, key) {
+        let rules = FieldGroup.normalize(role?.rules, (members) => new Unique(members));
+        if (rules && key !== undefined && rules.some((group) => group.isSelf))
+            rules = rules.map((group) => group.resolvedOn(key));
+        return rules === role?.rules ? role : { ...role, rules };
+    }
+    get isPrimary() {
+        return this.primary === true;
+    }
+    get isIndexed() {
+        return this.index === true;
+    }
+    get isCollection() {
+        return this.relation?.kind === "many";
+    }
+    get isReference() {
+        return this.relation?.kind === "one";
+    }
+    get target() {
+        return this.relation?.to();
+    }
+}
+//# sourceMappingURL=Role.js.map

package/dist/axis/role/Role.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Role.js","sourceRoot":"","sources":["../../../src/axis/role/Role.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAUpD,MAAM,OAAO,IAAI;IACN,OAAO,CAAW;IAClB,KAAK,CAAW;IAChB,QAAQ,CAAY;IACpB,KAAK,CAAyB;IAEvC,YAAoB,QAAQ,GAAc,EAAE;QAC1C,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;QAChC,IAAI,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC5B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QAClC,IAAI,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC9B,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAA2B;QACnC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,yGAAyG;IACzG,MAAM,CAAC,UAAU,CAAC,IAA2B,EAAE,GAAY;QACzD,IAAI,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAChF,IAAI,KAAK,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;YACnE,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,OAAO,KAAK,KAAK,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC;IAC3D,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC;IAC/B,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC;IAC7B,CAAC;IAED,IAAI,YAAY;QACd,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,KAAK,MAAM,CAAC;IACxC,CAAC;IAED,IAAI,WAAW;QACb,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,KAAK,KAAK,CAAC;IACvC,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC7B,CAAC;CACF"}

package/dist/axis/role/RoleAxis.d.ts

@@ -0,0 +1,5 @@
+import type { Axis } from '../Axis.js';
+import { type RoleRules } from './Role.js';
+import type { RoleDescriptor } from '../../card/Descriptor.js';
+export declare const roleAxis: Axis<RoleRules, RoleDescriptor>;
+//# sourceMappingURL=RoleAxis.d.ts.map

package/dist/axis/role/RoleAxis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RoleAxis.d.ts","sourceRoot":"","sources":["../../../src/axis/role/RoleAxis.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAY,MAAM,YAAY,CAAC;AAKjD,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,WAAW,CAAC;AAG3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG/D,eAAO,MAAM,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,cAAc,CA+EpD,CAAC"}

package/dist/axis/role/RoleAxis.js

@@ -0,0 +1,102 @@
+import { refuse } from '../../card/admission.js';
+import { isObject, oneOfTokens } from '../../judge/ValueForm.js';
+import { ON_DELETE, RELATION_KINDS } from './Relation.js';
+import { FieldGroup } from '../../constraint/FieldGroup.js';
+import { Unique } from '../../constraint/Unique.js';
+import { lowerFirst } from '../../utils.js';
+export const roleAxis = {
+    slot: 'role',
+    judge(value, errors) {
+        if (!isObject(value)) {
+            errors.push({ path: 'role', message: `Expected an object — got ${JSON.stringify(value)}` });
+            return;
+        }
+        for (const flag of ['primary', 'index']) {
+            if (value[flag] !== undefined && typeof value[flag] !== 'boolean') {
+                errors.push({
+                    path: `role.${flag}`,
+                    message: `Expected a boolean — got ${JSON.stringify(value[flag])}`,
+                });
+            }
+        }
+        if (value.rules !== undefined) {
+            const legal = Array.isArray(value.rules) &&
+                value.rules.every((rule) => rule instanceof FieldGroup ||
+                    (Array.isArray(rule) && rule.every((member) => typeof member === 'string')));
+            if (!legal) {
+                errors.push({
+                    path: 'role.rules',
+                    message: 'Expected field groups, or the member lists they denote — string[][]',
+                });
+            }
+        }
+        if (value.relation !== undefined)
+            judgeRelation(value.relation, errors);
+    },
+    describe(role, key) {
+        const out = {};
+        if (role.primary)
+            out.primary = true;
+        const unique = (role.rules ?? []).filter((rule) => rule instanceof Unique);
+        if (unique.length)
+            out.unique = unique.map((rule) => [...rule.resolvedOn(key).members]);
+        if (role.index)
+            out.index = true;
+        if (role.relation) {
+            const target = role.relation.to();
+            out.relation = {
+                to: lowerFirst(target.name ?? ''),
+                kind: role.relation.kind,
+                ...(role.relation.onDelete ? { onDelete: role.relation.onDelete } : {}),
+            };
+        }
+        return Object.keys(out).length ? out : undefined;
+    },
+    reconstruct(wire, resolve) {
+        const out = {};
+        if (wire.primary)
+            out.primary = true;
+        if (wire.unique?.length)
+            out.rules = wire.unique.map((group) => new Unique(group));
+        if (wire.index)
+            out.index = true;
+        if (wire.relation) {
+            // `judge` cannot serve here: it demands a thunk where a card carries a name.
+            if (!oneOfTokens(wire.relation.kind, RELATION_KINDS)) {
+                refuse(`role.relation.kind is ${JSON.stringify(wire.relation.kind)}`, `Expected one of ${RELATION_KINDS.join(', ')}.`);
+            }
+            if (wire.relation.onDelete !== undefined && !oneOfTokens(wire.relation.onDelete, ON_DELETE)) {
+                refuse(`role.relation.onDelete is ${JSON.stringify(wire.relation.onDelete)}`, `Expected one of ${ON_DELETE.join(', ')}.`);
+            }
+            const name = wire.relation.to;
+            out.relation = {
+                to: () => (resolve?.(name) ?? { name }),
+                kind: wire.relation.kind,
+                ...(wire.relation.onDelete ? { onDelete: wire.relation.onDelete } : {}),
+            };
+        }
+        return out;
+    },
+};
+function judgeRelation(relation, errors) {
+    if (!isObject(relation)) {
+        errors.push({ path: 'role.relation', message: `Expected an object — got ${JSON.stringify(relation)}` });
+        return;
+    }
+    if (!oneOfTokens(relation.kind, RELATION_KINDS)) {
+        errors.push({
+            path: 'role.relation.kind',
+            message: `Expected 'one' or 'many' — got ${JSON.stringify(relation.kind)}`,
+        });
+    }
+    if (typeof relation.to !== 'function') {
+        errors.push({ path: 'role.relation.to', message: 'Expected a thunk returning the target entity' });
+    }
+    if (relation.onDelete !== undefined && !oneOfTokens(relation.onDelete, ON_DELETE)) {
+        errors.push({
+            path: 'role.relation.onDelete',
+            message: `Expected 'cascade', 'restrict' or 'set null' — got ${JSON.stringify(relation.onDelete)}`,
+        });
+    }
+}
+//# sourceMappingURL=RoleAxis.js.map

package/dist/axis/role/RoleAxis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RoleAxis.js","sourceRoot":"","sources":["../../../src/axis/role/RoleAxis.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAEjE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAyC,MAAM,eAAe,CAAC;AAEjG,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAEpD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE5C,MAAM,CAAC,MAAM,QAAQ,GAAoC;IACvD,IAAI,EAAE,MAAM;IAEZ,KAAK,CAAC,KAAK,EAAE,MAAM;QACjB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5F,OAAO;QACT,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,OAAO,CAAU,EAAE,CAAC;YACjD,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBAClE,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,QAAQ,IAAI,EAAE;oBACpB,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE;iBACnE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,KAAK,GACT,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;gBAC1B,KAAK,CAAC,KAAK,CAAC,KAAK,CACf,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,YAAY,UAAU;oBAC1B,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAC9E,CAAC;YACJ,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,qEAAqE;iBAC/E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;YAAE,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC1E,CAAC;IAED,QAAQ,CAAC,IAAI,EAAE,GAAG;QAChB,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,OAAO;YAAE,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;QACrC,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,YAAY,MAAM,CAAC,CAAC;QAC3E,IAAI,MAAM,CAAC,MAAM;YAAE,GAAG,CAAC,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACxF,IAAI,IAAI,CAAC,KAAK;YAAE,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC;QACjC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAuB,CAAC;YACvD,GAAG,CAAC,QAAQ,GAAG;gBACb,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACjC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gBACxB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IACnD,CAAC;IAED,WAAW,CAAC,IAAI,EAAE,OAAkB;QAClC,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,OAAO;YAAE,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;QACrC,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM;YAAE,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACnF,IAAI,IAAI,CAAC,KAAK;YAAE,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC;QACjC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,6EAA6E;YAC7E,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,CAAC;gBACrD,MAAM,CACJ,yBAAyB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAC7D,mBAAmB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAChD,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;gBAC5F,MAAM,CACJ,6BAA6B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,EACrE,mBAAmB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3C,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,GAAG,CAAC,QAAQ,GAAG;gBACb,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAK,EAAE,IAAI,EAAc,CAAsB;gBACzE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAwB;gBAC5C,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAgC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACvE,CAAC;QAC7B,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,SAAS,aAAa,CAAC,QAAiB,EAAE,MAAyB;IACjE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,4BAA4B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;QACxG,OAAO;IACT,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,oBAAoB;YAC1B,OAAO,EAAE,kCAAkC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE;SAC3E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,OAAO,QAAQ,CAAC,EAAE,KAAK,UAAU,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,8CAA8C,EAAE,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;QAClF,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,sDAAsD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;SACnG,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,8 @@
+export type StringFormat = 'date-time' | 'date' | 'time' | 'email' | 'uuid' | 'uri' | (string & {});
+export type FormatPredicate = (value: string) => boolean;
+export declare class Formats {
+    private static readonly registry;
+    static register(name: string, predicate: FormatPredicate): void;
+    static resolve(name: string): FormatPredicate | undefined;
+}
+//# sourceMappingURL=Formats.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Formats.d.ts","sourceRoot":"","sources":["../../../src/axis/shape/Formats.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,YAAY,GACpB,WAAW,GACX,MAAM,GACN,MAAM,GACN,OAAO,GACP,MAAM,GACN,KAAK,GACL,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AAElB,MAAM,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;AAEzD,qBAAa,OAAO;IAClB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAsC;IAEtE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,eAAe,GAAG,IAAI,CAE9D;IAED,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAExD;CACF"}

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

@@ -0,0 +1,15 @@
+import type { SchemaView } from '../schema/SchemaView.js';
+import type { SchemaBundle } from './Descriptor.js';
+import type { SetDiff, SetDiffOptions } from './diff.js';
+type SchemaSet = Record<string, SchemaView> | SchemaView[];
+/** A portable schema map and the decisions that only a map can make. */
+export declare class Bundle {
+    readonly descriptor: SchemaBundle;
+    private constructor();
+    static fromSchemas(schemas: SchemaSet): Bundle;
+    static fromDescriptor(descriptor: SchemaBundle): Bundle;
+    toSchemas(): Record<string, SchemaView>;
+    diff(other: Bundle, options?: SetDiffOptions): SetDiff;
+}
+export {};
+//# sourceMappingURL=Bundle.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Bundle.d.ts","sourceRoot":"","sources":["../../src/card/Bundle.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,KAAK,EAAE,YAAY,EAAoB,MAAM,iBAAiB,CAAC;AACtE,OAAO,KAAK,EAAQ,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAE/D,KAAK,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,UAAU,EAAE,CAAC;AAE3D,wEAAwE;AACxE,qBAAa,MAAM;IACG,QAAQ,CAAC,UAAU,EAAE,YAAY;IAArD,OAAO,eAAkD;IAEzD,MAAM,CAAC,WAAW,CAAC,OAAO,EAAE,SAAS,GAAG,MAAM,CA4B7C;IAED,MAAM,CAAC,cAAc,CAAC,UAAU,EAAE,YAAY,GAAG,MAAM,CAEtD;IAED,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAUtC;IAED,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,GAAE,cAAmB,GAAG,OAAO,CAkBzD;CACF"}

package/dist/card/Bundle.js

@@ -0,0 +1,67 @@
+import { lowerFirst } from '../utils.js';
+import { Card } from './Card.js';
+/** A portable schema map and the decisions that only a map can make. */
+export class Bundle {
+    descriptor;
+    constructor(descriptor) {
+        this.descriptor = descriptor;
+    }
+    static fromSchemas(schemas) {
+        const definitions = {};
+        const claimedBy = new Map();
+        const entries = Array.isArray(schemas)
+            ? schemas.map((schema) => {
+                const card = Card.fromSchema(schema);
+                return { name: card.descriptor.title ?? '', schema };
+            })
+            : Object.entries(schemas).map(([name, schema]) => ({ name, schema }));
+        for (const entry of entries) {
+            const key = lowerFirst(entry.name);
+            const previous = claimedBy.get(key);
+            if (previous !== undefined) {
+                throw new Error(`Schemas '${previous}' and '${entry.name}' both claim bundle key '${key}'. `
+                    + 'Each schema in a bundle must have a distinct registration key.');
+            }
+            claimedBy.set(key, entry.name);
+            definitions[key] = Card.fromSchema(entry.schema, key).descriptor;
+        }
+        return new Bundle({
+            $defs: definitions,
+            'x-fougere-version': 1,
+            'x-fougere-vendor': 'fougere',
+        });
+    }
+    static fromDescriptor(descriptor) {
+        return new Bundle(descriptor);
+    }
+    toSchemas() {
+        const map = {};
+        const resolve = (name) => map[name.toLowerCase()];
+        const schemas = {};
+        for (const [name, descriptor] of Object.entries(this.descriptor.$defs)) {
+            const schema = Card.fromDescriptor(descriptor).toSchema(resolve, name);
+            map[name.toLowerCase()] = schema;
+            schemas[name] = schema;
+        }
+        return schemas;
+    }
+    diff(other, options = {}) {
+        const before = this.descriptor.$defs ?? {};
+        const after = other.descriptor.$defs ?? {};
+        const entities = {};
+        for (const [name, descriptor] of Object.entries(before)) {
+            const target = after[name];
+            if (target === undefined)
+                continue;
+            const answer = Card.fromDescriptor(descriptor).diff(Card.fromDescriptor(target), { renamed: options.renamed?.[name] ?? {} });
+            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=Bundle.js.map

package/dist/card/Bundle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bundle.js","sourceRoot":"","sources":["../../src/card/Bundle.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAMjC,wEAAwE;AACxE,MAAM,OAAO,MAAM;IACY,UAAU;IAAvC,YAA6B,UAAwB;0BAAxB,UAAU;IAAiB,CAAC;IAEzD,MAAM,CAAC,WAAW,CAAC,OAAkB;QACnC,MAAM,WAAW,GAAqC,EAAE,CAAC;QACzD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YACpC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;gBACrB,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;gBACrC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC;YACvD,CAAC,CAAC;YACJ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAExE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACb,YAAY,QAAQ,UAAU,KAAK,CAAC,IAAI,4BAA4B,GAAG,KAAK;sBAC1E,gEAAgE,CACnE,CAAC;YACJ,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/B,WAAW,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC;QACnE,CAAC;QAED,OAAO,IAAI,MAAM,CAAC;YAChB,KAAK,EAAE,WAAW;YAClB,mBAAmB,EAAE,CAAC;YACtB,kBAAkB,EAAE,SAAS;SAC9B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,cAAc,CAAC,UAAwB;QAC5C,OAAO,IAAI,MAAM,CAAC,UAAU,CAAC,CAAC;IAChC,CAAC;IAED,SAAS;QACP,MAAM,GAAG,GAAsC,EAAE,CAAC;QAClD,MAAM,OAAO,GAAa,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC5D,MAAM,OAAO,GAA+B,EAAE,CAAC;QAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACvE,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YACvE,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,GAAG,MAAsC,CAAC;YACjE,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;QACzB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,IAAI,CAAC,KAAa,EAAE,OAAO,GAAmB,EAAE;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAyB,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,MAAM,KAAK,SAAS;gBAAE,SAAS;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,IAAI,CACjD,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAC3B,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAC3C,CAAC;YACF,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;QACxF,CAAC;QACD,OAAO;YACL,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC;YACrE,eAAe,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC;YACvE,QAAQ;SACT,CAAC;IACJ,CAAC;CACF"}