@earendil-works/chord 1.4.0 → 1.5.1

package/dist/contracts/accepts.d.ts

@@ -0,0 +1,81 @@
+import type { Context } from "../context/index.ts";
+import { type Contract, type ContractShape, type Kind, LOCAL, type ShapeOf } from "./contract.ts";
+import type { Change, ChangesAfter, CurrentStep, MemberNames, MethodAt, OlderVersions, StepAt, VariantShape, Variants, VariantsWith } from "./history.ts";
+import type { Method, Static } from "./schema.ts";
+/** Per accepted older version, exactly the mappings its later edits require (direct: old to current). */
+export type AcceptsTable<C extends Contract> = AcceptsOf<ShapeOf<C>>;
+type AcceptsOf<S extends ContractShape> = {
+    readonly [V in OlderVersions<S["history"]>]?: VersionMappings<S["kind"], StepAt<S["history"], V>["variants"], CurrentStep<S["history"]>["variants"], ChangesAfter<S["history"], V>>;
+};
+type VersionMappings<K extends Kind, Old extends Variants, Current extends Variants, C extends Change> = Section<"state", K extends "local" ? StateMappings<Old[Local], Current[Local], Local, C> : RemoteStateMappings<Old, Current, C>> & Section<"methods", MethodMappings<Old, Current, C>> & Section<"keyed", K extends "local" ? KeyedMappings<Old[Local], Current[Local], C> : Record<never, never>>;
+/**
+ * A local contract's keyed members (slice 7b): a changed one maps each document of the current version back, or
+ * refuses; a removed one refuses (no document maps from the whole state).
+ */
+type KeyedMappings<Old extends VariantShape, Current extends VariantShape, C extends Change> = OmitNever<{
+    [S in keyof NonNullable<Old["keyed"]>]: S extends keyof NonNullable<Current["keyed"]> ? [Local, S, "keyed"] extends C ? ((current: Static<NonNullable<Current["keyed"]>[S]>) => Static<NonNullable<Old["keyed"]>[S]>) | "refuse" : never : "refuse";
+}>;
+type Local = typeof LOCAL;
+/** A section is required when it holds a required mapping; otherwise it may be absent or empty. */
+type Section<Key extends string, T> = [keyof T] extends [never] ? {
+    readonly [K in Key]?: {
+        readonly [member: string]: never;
+    };
+} : {
+    readonly [K in Key]: T;
+};
+/** `T` without its `never` properties: the members that need no mapping. */
+type OmitNever<T> = {
+    readonly [K in keyof T as [T[K]] extends [never] ? never : K]: T[K];
+};
+type RemoteStateMappings<Old extends Variants, Current extends Variants, C extends Change> = OmitNever<{
+    [X in keyof Old & keyof Current]: [keyof StateMappings<Old[X], Current[X], X, C>] extends [never] ? never : StateMappings<Old[X], Current[X], X, C>;
+}>;
+type StateMappings<Old extends VariantShape, Current extends VariantShape, X, C extends Change> = OmitNever<{
+    [S in keyof Old["state"]]: StateMapping<Old, Current, X, S, C>;
+}>;
+/** A changed member maps the current member back; a removed one maps the variant's whole current state, or refuses. */
+type StateMapping<Old extends VariantShape, Current extends VariantShape, X, S extends keyof Old["state"], C> = S extends keyof Current["state"] ? [X, S, "state"] extends C ? (current: Static<Current["state"][S]>) => Static<Old["state"][S]> : never : ((state: {
+    [M in keyof Current["state"]]: Static<Current["state"][M]>;
+}) => Static<Old["state"][S]>) | "refuse";
+type MethodMappings<Old extends Variants, Current extends Variants, C extends Change> = OmitNever<{
+    [M in MemberNames<Old, "methods">]: [RemovedFrom<Current, VariantsWith<Old, M>, M>] extends [never] ? ChangedMethod<Changed<C, VariantsWith<Old, M>, M, "args">, Changed<C, VariantsWith<Old, M>, M, "result">, MethodAt<Old, M>, MethodAt<Current, M>> : Replacement<MethodAt<Old, M>>;
+}>;
+/** The variants among `Xs` that no longer have method `M`. */
+type RemovedFrom<Current extends Variants, Xs extends keyof Current, M> = {
+    [X in Xs]: M extends keyof Current[X]["methods"] ? never : X;
+}[Xs];
+/** `true` when an edit changed `Side` of `M` in one of `Xs`. */
+type Changed<C, Xs, M, Side> = Xs extends unknown ? ([Xs, M, Side] extends C ? true : never) : never;
+/** Mappings for the changed sides of a method (`A`, `R` are `true` when changed), or a replacement. */
+type ChangedMethod<A, R, Old extends Method, Current extends Method> = [A | R] extends [never] ? never : ({
+    readonly call?: never;
+} & ([A] extends [never] ? {
+    readonly args?: never;
+} : {
+    readonly args: (old: Static<Old["args"]>) => Static<Current["args"]>;
+}) & ([R] extends [never] ? {
+    readonly result?: never;
+} : {
+    readonly result: (current: Static<Current["result"]>) => Static<Old["result"]>;
+})) | Replacement<Old>;
+/** A removed (or changed) method served by the provider's own function, or refused. */
+type Replacement<Old extends Method> = {
+    readonly call: (args: Static<Old["args"]>, context: Context) => Promise<Static<Old["result"]>>;
+    readonly args?: never;
+    readonly result?: never;
+} | "refuse";
+/** An accepted older version and its fingerprint. */
+export type AcceptedVersion = {
+    readonly version: number;
+    readonly fingerprint: string;
+};
+/**
+ * Validates an accepts table without calling any mapping: known older versions only, exactly the required mappings
+ * with the right shapes. Fails with an Error naming the path (`notes accepts[1].methods.add`).
+ */
+export declare function checkAccepts<C extends Contract>(contract: C, accepts: AcceptsTable<C>): {
+    readonly versions: readonly AcceptedVersion[];
+};
+export {};
+//# sourceMappingURL=accepts.d.ts.map

package/dist/contracts/accepts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"accepts.d.ts","sourceRoot":"","sources":["../../src/contracts/accepts.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EACN,KAAK,QAAQ,EAEb,KAAK,aAAa,EAElB,KAAK,IAAI,EACT,KAAK,EACL,KAAK,OAAO,EACZ,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,EACX,MAAM,EACN,YAAY,EACZ,WAAW,EACX,WAAW,EACX,QAAQ,EACR,aAAa,EACb,MAAM,EACN,YAAY,EACZ,QAAQ,EACR,YAAY,EACZ,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAElD,yGAAyG;AACzG,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,QAAQ,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAErE,KAAK,SAAS,CAAC,CAAC,SAAS,aAAa,IAAI;IACzC,QAAQ,EAAE,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,CAC5D,CAAC,CAAC,MAAM,CAAC,EACT,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EACnC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,EACrC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAC7B;CACD,CAAC;AAEF,KAAK,eAAe,CAAC,CAAC,SAAS,IAAI,EAAE,GAAG,SAAS,QAAQ,EAAE,OAAO,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM,IAAI,OAAO,CAC/G,OAAO,EACP,CAAC,SAAS,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,mBAAmB,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAC9G,GACA,OAAO,CAAC,SAAS,EAAE,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,GACnD,OAAO,CAAC,OAAO,EAAE,CAAC,SAAS,OAAO,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAE3G;;;GAGG;AACH,KAAK,aAAa,CAAC,GAAG,SAAS,YAAY,EAAE,OAAO,SAAS,YAAY,EAAE,CAAC,SAAS,MAAM,IAAI,SAAS,CAAC;KACvG,CAAC,IAAI,MAAM,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAClF,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,GAC5B,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,GACxG,KAAK,GACN,QAAQ;CACX,CAAC,CAAC;AAEH,KAAK,KAAK,GAAG,OAAO,KAAK,CAAC;AAE1B,mGAAmG;AACnG,KAAK,OAAO,CAAC,GAAG,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC5D;IAAE,QAAQ,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK,CAAA;KAAE;CAAE,GAC9D;IAAE,QAAQ,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC;CAAE,CAAC;AAE9B,4EAA4E;AAC5E,KAAK,SAAS,CAAC,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAE5F,KAAK,mBAAmB,CAAC,GAAG,SAAS,QAAQ,EAAE,OAAO,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM,IAAI,SAAS,CAAC;KACrG,CAAC,IAAI,MAAM,GAAG,GAAG,MAAM,OAAO,GAAG,CAAC,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC9F,KAAK,GACL,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;CAC1C,CAAC,CAAC;AAEH,KAAK,aAAa,CAAC,GAAG,SAAS,YAAY,EAAE,OAAO,SAAS,YAAY,EAAE,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,SAAS,CAAC;KAC1G,CAAC,IAAI,MAAM,GAAG,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;CAC9D,CAAC,CAAC;AAEH,uHAAuH;AACvH,KAAK,YAAY,CAChB,GAAG,SAAS,YAAY,EACxB,OAAO,SAAS,YAAY,EAC5B,CAAC,EACD,CAAC,SAAS,MAAM,GAAG,CAAC,OAAO,CAAC,EAC5B,CAAC,IACE,CAAC,SAAS,MAAM,OAAO,CAAC,OAAO,CAAC,GACjC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,SAAS,CAAC,GACxB,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GACjE,KAAK,GACN,CAAC,CAAC,KAAK,EAAE;KAAG,CAAC,IAAI,MAAM,OAAO,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,KAAK,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC;AAEnH,KAAK,cAAc,CAAC,GAAG,SAAS,QAAQ,EAAE,OAAO,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM,IAAI,SAAS,CAAC;KAChG,CAAC,IAAI,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAChG,aAAa,CACb,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,EAC3C,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAC7C,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAChB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CACpB,GACA,WAAW,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;CAChC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,KAAK,WAAW,CAAC,OAAO,SAAS,QAAQ,EAAE,EAAE,SAAS,MAAM,OAAO,EAAE,CAAC,IAAI;KACxE,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC;CAC5D,CAAC,EAAE,CAAC,CAAC;AAEN,gEAAgE;AAChE,KAAK,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,IAAI,EAAE,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAErG,uGAAuG;AACvG,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3F,KAAK,GAEH,CAAC;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAA;CAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC/C;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;CAAE,CAAC,GAC3E,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;CAAE,CAAC,CAAC,GACvF,WAAW,CAAC,GAAG,CAAC,CAAC;AAEtB,uFAAuF;AACvF,KAAK,WAAW,CAAC,GAAG,SAAS,MAAM,IAChC;IACA,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC/F,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;CACvB,GACD,QAAQ,CAAC;AAEZ,qDAAqD;AACrD,MAAM,MAAM,eAAe,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzF;;;GAGG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,QAAQ,EAC9C,QAAQ,EAAE,CAAC,EACX,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,GACtB;IAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,CAYnD"}

package/dist/contracts/accepts.js

@@ -0,0 +1,123 @@
+// Accepted versions: the older versions a provider still serves, with the direct mappings their edits require.
+import { contractData, LOCAL, } from "./contract.js";
+import { checkKeys, entriesOf } from "./declare.js";
+/**
+ * Validates an accepts table without calling any mapping: known older versions only, exactly the required mappings
+ * with the right shapes. Fails with an Error naming the path (`notes accepts[1].methods.add`).
+ */
+export function checkAccepts(contract, accepts) {
+    const data = contractData(contract);
+    // Declaration policy: JavaScript callers reach every check below.
+    const versions = entriesOf(accepts, `${data.name} accepts`).map(([key, mappings]) => {
+        const path = `${data.name} accepts[${key}]`;
+        const index = data.versions.findIndex(({ version }) => String(version) === key);
+        if (index === -1 || index === data.versions.length - 1)
+            throw new Error(`${path}: not an older version`);
+        checkMappings(mappings, needs(data, index), data.kind, path);
+        const { version, fingerprint } = data.versions[index];
+        return { version, fingerprint };
+    });
+    return { versions };
+}
+function needs(data, index) {
+    const old = data.versions[index];
+    const current = data.versions.at(-1);
+    const changes = new Set(data.versions.slice(index + 1).flatMap((version) => version.changes.map(changeKey)));
+    const changed = (...change) => changes.has(changeKey(change));
+    const state = new Map();
+    const methods = new Map();
+    const keyed = new Map();
+    for (const [variant, { state: oldState, methods: oldMethods, keyed: oldKeyed }] of old.variants) {
+        const now = current.variants.get(variant);
+        for (const member of oldKeyed.keys()) {
+            if (!now.keyed.has(member))
+                keyed.set(member, "removed");
+            else if (changed(variant, member, "keyed"))
+                keyed.set(member, "changed");
+        }
+        const variantNeeds = new Map();
+        for (const member of oldState.keys()) {
+            if (!now.state.has(member))
+                variantNeeds.set(member, "removed");
+            else if (changed(variant, member, "state"))
+                variantNeeds.set(member, "changed");
+        }
+        if (variantNeeds.size > 0)
+            state.set(variant, variantNeeds);
+        for (const member of oldMethods.keys()) {
+            const need = methods.get(member) ?? { removed: false, args: false, result: false };
+            need.removed ||= !now.methods.has(member);
+            need.args ||= changed(variant, member, "args");
+            need.result ||= changed(variant, member, "result");
+            methods.set(member, need);
+        }
+    }
+    const methodNeeds = new Map();
+    for (const [member, { removed, args, result }] of methods) {
+        if (removed)
+            methodNeeds.set(member, { kind: "removed" });
+        else if (args || result)
+            methodNeeds.set(member, { kind: "changed", args, result });
+    }
+    return { state, methods: methodNeeds, keyed };
+}
+function changeKey(change) {
+    return JSON.stringify(change);
+}
+function checkMappings(mappings, needs, kind, path) {
+    checkKeys(mappings, ["state", "methods", "keyed"], path);
+    const { state, methods, keyed } = mappings;
+    const checkVariant = (variantMappings, variantNeeds, at) => checkSection(variantMappings, variantNeeds, at, checkStateMapping);
+    // A local table is flat: its state section is the one variant's.
+    if (kind === "local")
+        checkVariant(state, needs.state.get(LOCAL) ?? new Map(), `${path}.state`);
+    else
+        checkSection(state, needs.state, `${path}.state`, checkVariant);
+    checkSection(methods, needs.methods, `${path}.methods`, checkMethodMapping);
+    checkSection(keyed, needs.keyed, `${path}.keyed`, checkKeyedMapping);
+}
+/** Exactly the needed keys: no missing and no unnecessary mapping; absent only when nothing is needed. */
+function checkSection(section, needs, path, check) {
+    const mappings = new Map(section === undefined ? [] : entriesOf(section, path));
+    for (const key of mappings.keys())
+        if (!needs.has(key))
+            throw new Error(`${path}.${key}: unnecessary mapping`);
+    for (const [key, need] of needs) {
+        if (!mappings.has(key))
+            throw new Error(`${path}.${key}: missing mapping`);
+        check(mappings.get(key), need, `${path}.${key}`);
+    }
+}
+function checkStateMapping(mapping, need, path) {
+    if (typeof mapping === "function" || (need === "removed" && mapping === "refuse"))
+        return;
+    throw new Error(`${path}: expected ${need === "removed" ? 'a function or "refuse"' : "a function"}`);
+}
+function checkKeyedMapping(mapping, need, path) {
+    if (mapping === "refuse" || (need === "changed" && typeof mapping === "function"))
+        return;
+    throw new Error(`${path}: expected ${need === "changed" ? 'a function or "refuse"' : '"refuse"'}`);
+}
+function checkMethodMapping(mapping, need, path) {
+    if (mapping === "refuse")
+        return;
+    checkKeys(mapping, ["args", "result", "call"], path);
+    const { args, result, call } = mapping;
+    if (call !== undefined || need.kind === "removed") {
+        if (typeof call !== "function" || args !== undefined || result !== undefined) {
+            throw new Error(`${path}: expected { call } or "refuse"`);
+        }
+        return;
+    }
+    checkSide(args, need.args, `${path}.args`);
+    checkSide(result, need.result, `${path}.result`);
+}
+function checkSide(mapping, needed, path) {
+    if (!needed && mapping !== undefined)
+        throw new Error(`${path}: unnecessary mapping`);
+    if (needed && mapping === undefined)
+        throw new Error(`${path}: missing mapping`);
+    if (needed && typeof mapping !== "function")
+        throw new Error(`${path}: expected a function`);
+}
+//# sourceMappingURL=accepts.js.map

package/dist/contracts/accepts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"accepts.js","sourceRoot":"","sources":["../../src/contracts/accepts.ts"],"names":[],"mappings":"AAAA,+GAA+G;AAG/G,OAAO,EAIN,YAAY,EAEZ,KAAK,GAEL,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AA0HpD;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC3B,QAAW,EACX,OAAwB;IAExB,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACpC,kEAAkE;IAClE,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,EAAE,EAAE;QACnF,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,YAAY,GAAG,GAAG,CAAC;QAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;QAChF,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,wBAAwB,CAAC,CAAC;QACzG,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7D,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAE,CAAC;QACvD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,CAAC;AACrB,CAAC;AAiBD,SAAS,KAAK,CAAC,IAAkB,EAAE,KAAa;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAE,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7G,MAAM,OAAO,GAAG,CAAC,GAAG,MAAc,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgE,CAAC;IACxF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,KAAK,MAAM,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjG,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC;QAC3C,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;iBACpD,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAqB,CAAC;QAClD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;iBAC3D,IAAI,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC;gBAAE,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAC5D,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;YACnF,IAAI,CAAC,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YAC/C,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC3B,CAAC;IACF,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAClD,KAAK,MAAM,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;QAC3D,IAAI,OAAO;YAAE,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;aACrD,IAAI,IAAI,IAAI,MAAM;YAAE,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,SAAS,CAAC,MAAc;IAChC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,aAAa,CAAC,QAAiB,EAAE,KAAY,EAAE,IAAU,EAAE,IAAY;IAC/E,SAAS,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;IACzD,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,QAIjC,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,eAAwB,EAAE,YAA4C,EAAE,EAAU,EAAE,EAAE,CAC3G,YAAY,CAAC,eAAe,EAAE,YAAY,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;IACpE,iEAAiE;IACjE,IAAI,IAAI,KAAK,OAAO;QAAE,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAE,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;;QAC3F,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,EAAE,YAAY,CAAC,CAAC;IACrE,YAAY,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,EAAE,kBAAkB,CAAC,CAAC;IAC5E,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,EAAE,iBAAiB,CAAC,CAAC;AACtE,CAAC;AAED,0GAA0G;AAC1G,SAAS,YAAY,CACpB,OAAgB,EAChB,KAA6B,EAC7B,IAAY,EACZ,KAAwD;IAExD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;IAChF,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,GAAG,uBAAuB,CAAC,CAAC;IAC/G,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,GAAG,mBAAmB,CAAC,CAAC;QAC3E,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;IAClD,CAAC;AACF,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAY;IACzE,IAAI,OAAO,OAAO,KAAK,UAAU,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,QAAQ,CAAC;QAAE,OAAO;IAC1F,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,cAAc,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAgB,EAAE,IAAe,EAAE,IAAY;IACzE,IAAI,OAAO,KAAK,QAAQ,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,OAAO,KAAK,UAAU,CAAC;QAAE,OAAO;IAC1F,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,cAAc,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAgB,EAAE,IAAgB,EAAE,IAAY;IAC3E,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO;IACjC,SAAS,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,OAI9B,CAAC;IACF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnD,IAAI,OAAO,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC9E,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,iCAAiC,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO;IACR,CAAC;IACD,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;IAC3C,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,SAAS,CAAC,OAAgB,EAAE,MAAe,EAAE,IAAY;IACjE,IAAI,CAAC,MAAM,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,uBAAuB,CAAC,CAAC;IACtF,IAAI,MAAM,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,mBAAmB,CAAC,CAAC;IACjF,IAAI,MAAM,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,uBAAuB,CAAC,CAAC;AAC9F,CAAC","sourcesContent":["// Accepted versions: the older versions a provider still serves, with the direct mappings their edits require.\n\nimport type { Context } from \"../context/index.ts\";\nimport {\n\ttype Contract,\n\ttype ContractData,\n\ttype ContractShape,\n\tcontractData,\n\ttype Kind,\n\tLOCAL,\n\ttype ShapeOf,\n} from \"./contract.ts\";\nimport { checkKeys, entriesOf } from \"./declare.ts\";\nimport type {\n\tChange,\n\tChangesAfter,\n\tCurrentStep,\n\tMemberNames,\n\tMethodAt,\n\tOlderVersions,\n\tStepAt,\n\tVariantShape,\n\tVariants,\n\tVariantsWith,\n} from \"./history.ts\";\nimport type { Method, Static } from \"./schema.ts\";\n\n/** Per accepted older version, exactly the mappings its later edits require (direct: old to current). */\nexport type AcceptsTable<C extends Contract> = AcceptsOf<ShapeOf<C>>;\n\ntype AcceptsOf<S extends ContractShape> = {\n\treadonly [V in OlderVersions<S[\"history\"]>]?: VersionMappings<\n\t\tS[\"kind\"],\n\t\tStepAt<S[\"history\"], V>[\"variants\"],\n\t\tCurrentStep<S[\"history\"]>[\"variants\"],\n\t\tChangesAfter<S[\"history\"], V>\n\t>;\n};\n\ntype VersionMappings<K extends Kind, Old extends Variants, Current extends Variants, C extends Change> = Section<\n\t\"state\",\n\tK extends \"local\" ? StateMappings<Old[Local], Current[Local], Local, C> : RemoteStateMappings<Old, Current, C>\n> &\n\tSection<\"methods\", MethodMappings<Old, Current, C>> &\n\tSection<\"keyed\", K extends \"local\" ? KeyedMappings<Old[Local], Current[Local], C> : Record<never, never>>;\n\n/**\n * A local contract's keyed members (slice 7b): a changed one maps each document of the current version back, or\n * refuses; a removed one refuses (no document maps from the whole state).\n */\ntype KeyedMappings<Old extends VariantShape, Current extends VariantShape, C extends Change> = OmitNever<{\n\t[S in keyof NonNullable<Old[\"keyed\"]>]: S extends keyof NonNullable<Current[\"keyed\"]>\n\t\t? [Local, S, \"keyed\"] extends C\n\t\t\t? ((current: Static<NonNullable<Current[\"keyed\"]>[S]>) => Static<NonNullable<Old[\"keyed\"]>[S]>) | \"refuse\"\n\t\t\t: never\n\t\t: \"refuse\";\n}>;\n\ntype Local = typeof LOCAL;\n\n/** A section is required when it holds a required mapping; otherwise it may be absent or empty. */\ntype Section<Key extends string, T> = [keyof T] extends [never]\n\t? { readonly [K in Key]?: { readonly [member: string]: never } }\n\t: { readonly [K in Key]: T };\n\n/** `T` without its `never` properties: the members that need no mapping. */\ntype OmitNever<T> = { readonly [K in keyof T as [T[K]] extends [never] ? never : K]: T[K] };\n\ntype RemoteStateMappings<Old extends Variants, Current extends Variants, C extends Change> = OmitNever<{\n\t[X in keyof Old & keyof Current]: [keyof StateMappings<Old[X], Current[X], X, C>] extends [never]\n\t\t? never\n\t\t: StateMappings<Old[X], Current[X], X, C>;\n}>;\n\ntype StateMappings<Old extends VariantShape, Current extends VariantShape, X, C extends Change> = OmitNever<{\n\t[S in keyof Old[\"state\"]]: StateMapping<Old, Current, X, S, C>;\n}>;\n\n/** A changed member maps the current member back; a removed one maps the variant's whole current state, or refuses. */\ntype StateMapping<\n\tOld extends VariantShape,\n\tCurrent extends VariantShape,\n\tX,\n\tS extends keyof Old[\"state\"],\n\tC,\n> = S extends keyof Current[\"state\"]\n\t? [X, S, \"state\"] extends C\n\t\t? (current: Static<Current[\"state\"][S]>) => Static<Old[\"state\"][S]>\n\t\t: never\n\t: ((state: { [M in keyof Current[\"state\"]]: Static<Current[\"state\"][M]> }) => Static<Old[\"state\"][S]>) | \"refuse\";\n\ntype MethodMappings<Old extends Variants, Current extends Variants, C extends Change> = OmitNever<{\n\t[M in MemberNames<Old, \"methods\">]: [RemovedFrom<Current, VariantsWith<Old, M>, M>] extends [never]\n\t\t? ChangedMethod<\n\t\t\t\tChanged<C, VariantsWith<Old, M>, M, \"args\">,\n\t\t\t\tChanged<C, VariantsWith<Old, M>, M, \"result\">,\n\t\t\t\tMethodAt<Old, M>,\n\t\t\t\tMethodAt<Current, M>\n\t\t\t>\n\t\t: Replacement<MethodAt<Old, M>>;\n}>;\n\n/** The variants among `Xs` that no longer have method `M`. */\ntype RemovedFrom<Current extends Variants, Xs extends keyof Current, M> = {\n\t[X in Xs]: M extends keyof Current[X][\"methods\"] ? never : X;\n}[Xs];\n\n/** `true` when an edit changed `Side` of `M` in one of `Xs`. */\ntype Changed<C, Xs, M, Side> = Xs extends unknown ? ([Xs, M, Side] extends C ? true : never) : never;\n\n/** Mappings for the changed sides of a method (`A`, `R` are `true` when changed), or a replacement. */\ntype ChangedMethod<A, R, Old extends Method, Current extends Method> = [A | R] extends [never]\n\t? never\n\t:\n\t\t\t| ({ readonly call?: never } & ([A] extends [never]\n\t\t\t\t\t? { readonly args?: never }\n\t\t\t\t\t: { readonly args: (old: Static<Old[\"args\"]>) => Static<Current[\"args\"]> }) &\n\t\t\t\t\t([R] extends [never]\n\t\t\t\t\t\t? { readonly result?: never }\n\t\t\t\t\t\t: { readonly result: (current: Static<Current[\"result\"]>) => Static<Old[\"result\"]> }))\n\t\t\t| Replacement<Old>;\n\n/** A removed (or changed) method served by the provider's own function, or refused. */\ntype Replacement<Old extends Method> =\n\t| {\n\t\t\treadonly call: (args: Static<Old[\"args\"]>, context: Context) => Promise<Static<Old[\"result\"]>>;\n\t\t\treadonly args?: never;\n\t\t\treadonly result?: never;\n\t  }\n\t| \"refuse\";\n\n/** An accepted older version and its fingerprint. */\nexport type AcceptedVersion = { readonly version: number; readonly fingerprint: string };\n\n/**\n * Validates an accepts table without calling any mapping: known older versions only, exactly the required mappings\n * with the right shapes. Fails with an Error naming the path (`notes accepts[1].methods.add`).\n */\nexport function checkAccepts<C extends Contract>(\n\tcontract: C,\n\taccepts: AcceptsTable<C>,\n): { readonly versions: readonly AcceptedVersion[] } {\n\tconst data = contractData(contract);\n\t// Declaration policy: JavaScript callers reach every check below.\n\tconst versions = entriesOf(accepts, `${data.name} accepts`).map(([key, mappings]) => {\n\t\tconst path = `${data.name} accepts[${key}]`;\n\t\tconst index = data.versions.findIndex(({ version }) => String(version) === key);\n\t\tif (index === -1 || index === data.versions.length - 1) throw new Error(`${path}: not an older version`);\n\t\tcheckMappings(mappings, needs(data, index), data.kind, path);\n\t\tconst { version, fingerprint } = data.versions[index]!;\n\t\treturn { version, fingerprint };\n\t});\n\treturn { versions };\n}\n\n/** What an accepted version needs, by edit and never by schema comparison. */\ntype Needs = {\n\t/** Per variant, per state member. */\n\treadonly state: ReadonlyMap<string, ReadonlyMap<string, StateNeed>>;\n\treadonly methods: ReadonlyMap<string, MethodNeed>;\n\t/** Per keyed member (local contracts). */\n\treadonly keyed: ReadonlyMap<string, StateNeed>;\n};\n\ntype StateNeed = \"changed\" | \"removed\";\n\ntype MethodNeed =\n\t| { readonly kind: \"removed\" }\n\t| { readonly kind: \"changed\"; readonly args: boolean; readonly result: boolean };\n\nfunction needs(data: ContractData, index: number): Needs {\n\tconst old = data.versions[index]!;\n\tconst current = data.versions.at(-1)!;\n\tconst changes = new Set(data.versions.slice(index + 1).flatMap((version) => version.changes.map(changeKey)));\n\tconst changed = (...change: Change) => changes.has(changeKey(change));\n\tconst state = new Map<string, Map<string, StateNeed>>();\n\tconst methods = new Map<string, { removed: boolean; args: boolean; result: boolean }>();\n\tconst keyed = new Map<string, StateNeed>();\n\tfor (const [variant, { state: oldState, methods: oldMethods, keyed: oldKeyed }] of old.variants) {\n\t\tconst now = current.variants.get(variant)!;\n\t\tfor (const member of oldKeyed.keys()) {\n\t\t\tif (!now.keyed.has(member)) keyed.set(member, \"removed\");\n\t\t\telse if (changed(variant, member, \"keyed\")) keyed.set(member, \"changed\");\n\t\t}\n\t\tconst variantNeeds = new Map<string, StateNeed>();\n\t\tfor (const member of oldState.keys()) {\n\t\t\tif (!now.state.has(member)) variantNeeds.set(member, \"removed\");\n\t\t\telse if (changed(variant, member, \"state\")) variantNeeds.set(member, \"changed\");\n\t\t}\n\t\tif (variantNeeds.size > 0) state.set(variant, variantNeeds);\n\t\tfor (const member of oldMethods.keys()) {\n\t\t\tconst need = methods.get(member) ?? { removed: false, args: false, result: false };\n\t\t\tneed.removed ||= !now.methods.has(member);\n\t\t\tneed.args ||= changed(variant, member, \"args\");\n\t\t\tneed.result ||= changed(variant, member, \"result\");\n\t\t\tmethods.set(member, need);\n\t\t}\n\t}\n\tconst methodNeeds = new Map<string, MethodNeed>();\n\tfor (const [member, { removed, args, result }] of methods) {\n\t\tif (removed) methodNeeds.set(member, { kind: \"removed\" });\n\t\telse if (args || result) methodNeeds.set(member, { kind: \"changed\", args, result });\n\t}\n\treturn { state, methods: methodNeeds, keyed };\n}\n\nfunction changeKey(change: Change): string {\n\treturn JSON.stringify(change);\n}\n\nfunction checkMappings(mappings: unknown, needs: Needs, kind: Kind, path: string): void {\n\tcheckKeys(mappings, [\"state\", \"methods\", \"keyed\"], path);\n\tconst { state, methods, keyed } = mappings as {\n\t\treadonly state?: unknown;\n\t\treadonly methods?: unknown;\n\t\treadonly keyed?: unknown;\n\t};\n\tconst checkVariant = (variantMappings: unknown, variantNeeds: ReadonlyMap<string, StateNeed>, at: string) =>\n\t\tcheckSection(variantMappings, variantNeeds, at, checkStateMapping);\n\t// A local table is flat: its state section is the one variant's.\n\tif (kind === \"local\") checkVariant(state, needs.state.get(LOCAL) ?? new Map(), `${path}.state`);\n\telse checkSection(state, needs.state, `${path}.state`, checkVariant);\n\tcheckSection(methods, needs.methods, `${path}.methods`, checkMethodMapping);\n\tcheckSection(keyed, needs.keyed, `${path}.keyed`, checkKeyedMapping);\n}\n\n/** Exactly the needed keys: no missing and no unnecessary mapping; absent only when nothing is needed. */\nfunction checkSection<N>(\n\tsection: unknown,\n\tneeds: ReadonlyMap<string, N>,\n\tpath: string,\n\tcheck: (mapping: unknown, need: N, path: string) => void,\n): void {\n\tconst mappings = new Map(section === undefined ? [] : entriesOf(section, path));\n\tfor (const key of mappings.keys()) if (!needs.has(key)) throw new Error(`${path}.${key}: unnecessary mapping`);\n\tfor (const [key, need] of needs) {\n\t\tif (!mappings.has(key)) throw new Error(`${path}.${key}: missing mapping`);\n\t\tcheck(mappings.get(key), need, `${path}.${key}`);\n\t}\n}\n\nfunction checkStateMapping(mapping: unknown, need: StateNeed, path: string): void {\n\tif (typeof mapping === \"function\" || (need === \"removed\" && mapping === \"refuse\")) return;\n\tthrow new Error(`${path}: expected ${need === \"removed\" ? 'a function or \"refuse\"' : \"a function\"}`);\n}\n\nfunction checkKeyedMapping(mapping: unknown, need: StateNeed, path: string): void {\n\tif (mapping === \"refuse\" || (need === \"changed\" && typeof mapping === \"function\")) return;\n\tthrow new Error(`${path}: expected ${need === \"changed\" ? 'a function or \"refuse\"' : '\"refuse\"'}`);\n}\n\nfunction checkMethodMapping(mapping: unknown, need: MethodNeed, path: string): void {\n\tif (mapping === \"refuse\") return;\n\tcheckKeys(mapping, [\"args\", \"result\", \"call\"], path);\n\tconst { args, result, call } = mapping as {\n\t\treadonly args?: unknown;\n\t\treadonly result?: unknown;\n\t\treadonly call?: unknown;\n\t};\n\tif (call !== undefined || need.kind === \"removed\") {\n\t\tif (typeof call !== \"function\" || args !== undefined || result !== undefined) {\n\t\t\tthrow new Error(`${path}: expected { call } or \"refuse\"`);\n\t\t}\n\t\treturn;\n\t}\n\tcheckSide(args, need.args, `${path}.args`);\n\tcheckSide(result, need.result, `${path}.result`);\n}\n\nfunction checkSide(mapping: unknown, needed: boolean, path: string): void {\n\tif (!needed && mapping !== undefined) throw new Error(`${path}: unnecessary mapping`);\n\tif (needed && mapping === undefined) throw new Error(`${path}: missing mapping`);\n\tif (needed && typeof mapping !== \"function\") throw new Error(`${path}: expected a function`);\n}\n"]}

package/dist/contracts/contract.d.ts

@@ -0,0 +1,121 @@
+import type { Context } from "../context/index.ts";
+import type { Watchable, WatchHandle } from "../watch.ts";
+import type { Change, CurrentStep, History, VariantShape } from "./history.ts";
+import type { Address } from "./host-kind.ts";
+import type { Params, ParamsData } from "./params.ts";
+import type { Method, NullSchema, Static } from "./schema.ts";
+import type { Snapshot } from "./snapshot.ts";
+export type Kind = "remote" | "local";
+/** The variant name of a local contract's members. */
+export declare const LOCAL = "members";
+/** Everything the types know about a contract: kind, name, params and the whole history. */
+export type ContractShape = {
+    readonly kind: Kind;
+    readonly name: string;
+    readonly params: Params;
+    readonly history: History;
+};
+/** A declared contract: a branded handle, immutable by convention. Spread or hand-built copies are refused. */
+export interface Contract<S extends ContractShape = ContractShape> {
+    readonly kind: S["kind"];
+    readonly name: S["name"];
+    readonly version: number;
+    readonly fingerprint: string;
+    /** Type only: absent at runtime. */
+    readonly "~shape"?: S;
+}
+export type ShapeOf<C extends Contract> = NonNullable<C["~shape"]>;
+/** The variants of a contract's current version. */
+export type CurrentVariants<C extends Contract> = CurrentStep<ShapeOf<C>["history"]>["variants"];
+/** The params object of a contract. */
+export type ParamsOf<C extends Contract> = {
+    [F in keyof ShapeOf<C>["params"]]: Static<ShapeOf<C>["params"][F]>;
+};
+/**
+ * What a factory returns: for `local`, a `Watchable` per state member and a function per method, `(args, context)`,
+ * or `(context)` when the method takes no arguments; for `remote`, one variant `{ variant, members }` with exactly
+ * that variant's members. `X` is the context the methods get.
+ */
+export type Implementation<C extends Contract, X extends Context = Context> = ImplementationOf<ShapeOf<C>["kind"], CurrentVariants<C>, X>;
+type ImplementationOf<K extends Kind, V extends {
+    readonly [variant: string]: VariantShape;
+}, X extends Context> = K extends "local" ? VariantImplementation<V[typeof LOCAL], X> : {
+    [N in keyof V]: {
+        readonly variant: N;
+        readonly members: VariantImplementation<V[N], X>;
+    };
+}[keyof V];
+/**
+ * One variant's members: a `Watchable` per state member, a function per method and, in a local contract, a
+ * `KeyedWatchable` per keyed member.
+ */
+export type VariantImplementation<V extends VariantShape, X extends Context = Context> = {
+    [M in keyof V["state"] | keyof V["methods"] | keyof NonNullable<V["keyed"]>]: M extends keyof V["methods"] ? MethodFunction<V["methods"][M], X> : M extends keyof V["state"] ? Watchable<Static<V["state"][M]>> : M extends keyof NonNullable<V["keyed"]> ? KeyedWatchable<Static<NonNullable<V["keyed"]>[M]>> : never;
+};
+/**
+ * A keyed state member (slice 6a §12): documents by key, each watchable on its own; a keyed document handle
+ * provides it. `at(key)` is valid only in a factory (it pins the key while that attempt lives).
+ */
+export interface KeyedWatchable<T> {
+    /** The document at `key`, `undefined` when absent. */
+    get(key: string, context: Context): Promise<T | undefined>;
+    /** A watch of the document at `key` that follows its address, `undefined` when absent. */
+    watch(key: string, context: Context): Promise<WatchHandle<T> | undefined>;
+    /** In a factory only: the document at `key` as a watchable, `initial()` while absent. */
+    at(key: string): Watchable<T>;
+}
+/** A method as a function: without the argument when its argument schema is `null` (`null` stays the wire form). */
+type MethodFunction<M extends Method, X extends Context = Context> = M["args"] extends NullSchema ? (context: X) => Promise<Static<M["result"]>> : (args: Static<M["args"]>, context: X) => Promise<Static<M["result"]>>;
+/** The Chord-owned data behind a contract handle. */
+export type ContractData = {
+    readonly kind: Kind;
+    readonly name: string;
+    readonly params: ParamsData;
+    /** A remote contract's host address: the address of the host serving an object for its params; none for local. */
+    readonly hostAddress: HostAddress | undefined;
+    /** Every version of the history, oldest first; the last is current. */
+    readonly versions: readonly VersionData[];
+    /** The kind of every member name ever declared in the history. */
+    readonly kinds: ReadonlyMap<string, MemberKind>;
+};
+export type MemberKind = "state" | "method" | "keyed";
+/** A `hostAddress` as Chord calls it: with checked params. Plugin code: what it returns is checked where routed. */
+export type HostAddress = (params: ParamsOf<Contract>) => Address;
+export type VersionData = {
+    readonly version: number;
+    readonly fingerprint: string;
+    readonly variants: ReadonlyMap<string, VariantData>;
+    /** The changes that produced this version; empty for a base. */
+    readonly changes: readonly Change[];
+};
+export type VariantData = {
+    readonly state: ReadonlyMap<string, Snapshot>;
+    readonly methods: ReadonlyMap<string, MethodData>;
+    /** Keyed state members (slice 6a §12): only a local contract has any. */
+    readonly keyed: ReadonlyMap<string, Snapshot>;
+};
+export type MethodData = {
+    readonly args: Snapshot;
+    readonly result: Snapshot;
+};
+/** The data behind a contract handle; refuses spread and hand-built copies. */
+export declare function contractData(contract: Contract): ContractData;
+/** Whether a method takes no arguments: its argument schema is `null`, so its functions omit the argument. */
+export declare function takesNoArgs(method: MethodData): boolean;
+/** The variants of a contract's current version; a local contract has the one variant `LOCAL`. */
+export declare function currentVariants(contract: Contract): ReadonlyMap<string, VariantData>;
+/** The variants of version `version` of a contract's history (an older consumer's binding, Q10). */
+export declare function variantsAt(contract: Contract, version: number): ReadonlyMap<string, VariantData>;
+/** A variant's names as links index them (2b): its state members and its methods, each sorted. */
+export type VariantNames = {
+    readonly state: readonly string[];
+    readonly methods: readonly string[];
+};
+/** The current version's variant names in the order links index them: sorted. */
+export declare function variantOrder(contract: Contract): readonly string[];
+/** A variant's state members and methods in the order links index them: each sorted. */
+export declare function variantNames(variant: VariantData): VariantNames;
+/** A new contract handle for `data`; the caller states the type-level shape. */
+export declare function createContract<C extends Contract>(data: ContractData): C;
+export {};
+//# sourceMappingURL=contract.d.ts.map

package/dist/contracts/contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../src/contracts/contract.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC/E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,MAAM,IAAI,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEtC,sDAAsD;AACtD,eAAO,MAAM,KAAK,YAAY,CAAC;AAE/B,4FAA4F;AAC5F,MAAM,MAAM,aAAa,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,+GAA+G;AAC/G,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,aAAa,GAAG,aAAa;IAChE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,oCAAoC;IACpC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;CACtB;AAED,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEnE,oDAAoD;AACpD,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,QAAQ,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;AAEjG,uCAAuC;AACvC,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,QAAQ,IAAI;KAAG,CAAC,IAAI,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAElH;;;;GAIG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI,gBAAgB,CAC7F,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAClB,eAAe,CAAC,CAAC,CAAC,EAClB,CAAC,CACD,CAAC;AAEF,KAAK,gBAAgB,CACpB,CAAC,SAAS,IAAI,EACd,CAAC,SAAS;IAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,EACtD,CAAC,SAAS,OAAO,IACd,CAAC,SAAS,OAAO,GAClB,qBAAqB,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC,CAAC,GACzC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG;QAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;KAAE;CAAE,CAAC,MAAM,CAAC,CAAC,CAAC;AAE1G;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI;KACvF,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,CAAC,SAAS,CAAC,GACvG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAClC,CAAC,SAAS,MAAM,CAAC,CAAC,OAAO,CAAC,GACzB,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAChC,CAAC,SAAS,MAAM,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GACtC,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAClD,KAAK;CACV,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,cAAc,CAAC,CAAC;IAChC,sDAAsD;IACtD,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC;IAC3D,0FAA0F;IAC1F,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC;IAC1E,yFAAyF;IACzF,EAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;CAC9B;AAED,oHAAoH;AACpH,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,UAAU,GAC9F,CAAC,OAAO,EAAE,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAC5C,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEzE,qDAAqD;AACrD,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,kHAAkH;IAClH,QAAQ,CAAC,WAAW,EAAE,WAAW,GAAG,SAAS,CAAC;IAC9C,uEAAuE;IACvE,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,kEAAkE;IAClE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEtD,oHAAoH;AACpH,MAAM,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC;AAElE,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACpD,gEAAgE;IAChE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAClD,yEAAyE;IACzE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEhF,+EAA+E;AAC/E,wBAAgB,YAAY,CAAC,QAAQ,EAAE,QAAQ,GAAG,YAAY,CAM7D;AAID,8GAA8G;AAC9G,wBAAgB,WAAW,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAIvD;AAED,kGAAkG;AAClG,wBAAgB,eAAe,CAAC,QAAQ,EAAE,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAEpF;AAED,oGAAoG;AACpG,wBAAgB,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAGhG;AAED,kGAAkG;AAClG,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAEtG,iFAAiF;AACjF,wBAAgB,YAAY,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,MAAM,EAAE,CAElE;AAED,wFAAwF;AACxF,wBAAgB,YAAY,CAAC,OAAO,EAAE,WAAW,GAAG,YAAY,CAE/D;AAED,gFAAgF;AAChF,wBAAgB,cAAc,CAAC,CAAC,SAAS,QAAQ,EAAE,IAAI,EAAE,YAAY,GAAG,CAAC,CAWxE"}

package/dist/contracts/contract.js

@@ -0,0 +1,50 @@
+// Contract handles: the branded, immutable value an app declares, its type-level shape, and the Chord-owned data
+// behind it.
+/** The variant name of a local contract's members. */
+export const LOCAL = "members";
+/** The data behind a contract handle; refuses spread and hand-built copies. */
+export function contractData(contract) {
+    const data = contracts.get(contract);
+    if (data === undefined) {
+        throw new Error(`${contract.name}: not a declared contract (spread and hand-built copies are refused)`);
+    }
+    return data;
+}
+const contracts = new WeakMap();
+/** Whether a method takes no arguments: its argument schema is `null`, so its functions omit the argument. */
+export function takesNoArgs(method) {
+    // A schema's normal form is an object of keywords.
+    const normal = method.args.normal;
+    return normal.type === "null" && Object.keys(normal).length === 1;
+}
+/** The variants of a contract's current version; a local contract has the one variant `LOCAL`. */
+export function currentVariants(contract) {
+    return contractData(contract).versions.at(-1).variants;
+}
+/** The variants of version `version` of a contract's history (an older consumer's binding, Q10). */
+export function variantsAt(contract, version) {
+    // Callers name a version the provider binds (`binds`): its history has it.
+    return contractData(contract).versions.find((data) => data.version === version).variants;
+}
+/** The current version's variant names in the order links index them: sorted. */
+export function variantOrder(contract) {
+    return [...currentVariants(contract).keys()].sort();
+}
+/** A variant's state members and methods in the order links index them: each sorted. */
+export function variantNames(variant) {
+    return { state: [...variant.state.keys()].sort(), methods: [...variant.methods.keys()].sort() };
+}
+/** A new contract handle for `data`; the caller states the type-level shape. */
+export function createContract(data) {
+    const current = data.versions.at(-1);
+    const contract = {
+        kind: data.kind,
+        name: data.name,
+        version: current.version,
+        fingerprint: current.fingerprint,
+    };
+    contracts.set(contract, data);
+    // The shape is type-level only; every caller states the shape it built.
+    return contract;
+}
+//# sourceMappingURL=contract.js.map

package/dist/contracts/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../src/contracts/contract.ts"],"names":[],"mappings":"AAAA,iHAAiH;AACjH,aAAa;AAYb,sDAAsD;AACtD,MAAM,CAAC,MAAM,KAAK,GAAG,SAAS,CAAC;AAkH/B,+EAA+E;AAC/E,MAAM,UAAU,YAAY,CAAC,QAAkB;IAC9C,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,GAAG,QAAQ,CAAC,IAAI,sEAAsE,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,MAAM,SAAS,GAAG,IAAI,OAAO,EAA0B,CAAC;AAExD,8GAA8G;AAC9G,MAAM,UAAU,WAAW,CAAC,MAAkB;IAC7C,mDAAmD;IACnD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAiD,CAAC;IAC7E,OAAO,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AACnE,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,eAAe,CAAC,QAAkB;IACjD,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC;AACzD,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,UAAU,CAAC,QAAkB,EAAE,OAAe;IAC7D,2EAA2E;IAC3E,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAE,CAAC,QAAQ,CAAC;AAC3F,CAAC;AAKD,iFAAiF;AACjF,MAAM,UAAU,YAAY,CAAC,QAAkB;IAC9C,OAAO,CAAC,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACrD,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,YAAY,CAAC,OAAoB;IAChD,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACjG,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,cAAc,CAAqB,IAAkB;IACpE,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;IACtC,MAAM,QAAQ,GAAa;QAC1B,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,WAAW,EAAE,OAAO,CAAC,WAAW;KAChC,CAAC;IACF,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC9B,wEAAwE;IACxE,OAAO,QAAa,CAAC;AACtB,CAAC","sourcesContent":["// Contract handles: the branded, immutable value an app declares, its type-level shape, and the Chord-owned data\n// behind it.\n\nimport type { Context } from \"../context/index.ts\";\nimport type { Watchable, WatchHandle } from \"../watch.ts\";\nimport type { Change, CurrentStep, History, VariantShape } from \"./history.ts\";\nimport type { Address } from \"./host-kind.ts\";\nimport type { Params, ParamsData } from \"./params.ts\";\nimport type { Method, NullSchema, Static } from \"./schema.ts\";\nimport type { Snapshot } from \"./snapshot.ts\";\n\nexport type Kind = \"remote\" | \"local\";\n\n/** The variant name of a local contract's members. */\nexport const LOCAL = \"members\";\n\n/** Everything the types know about a contract: kind, name, params and the whole history. */\nexport type ContractShape = {\n\treadonly kind: Kind;\n\treadonly name: string;\n\treadonly params: Params;\n\treadonly history: History;\n};\n\n/** A declared contract: a branded handle, immutable by convention. Spread or hand-built copies are refused. */\nexport interface Contract<S extends ContractShape = ContractShape> {\n\treadonly kind: S[\"kind\"];\n\treadonly name: S[\"name\"];\n\treadonly version: number;\n\treadonly fingerprint: string;\n\t/** Type only: absent at runtime. */\n\treadonly \"~shape\"?: S;\n}\n\nexport type ShapeOf<C extends Contract> = NonNullable<C[\"~shape\"]>;\n\n/** The variants of a contract's current version. */\nexport type CurrentVariants<C extends Contract> = CurrentStep<ShapeOf<C>[\"history\"]>[\"variants\"];\n\n/** The params object of a contract. */\nexport type ParamsOf<C extends Contract> = { [F in keyof ShapeOf<C>[\"params\"]]: Static<ShapeOf<C>[\"params\"][F]> };\n\n/**\n * What a factory returns: for `local`, a `Watchable` per state member and a function per method, `(args, context)`,\n * or `(context)` when the method takes no arguments; for `remote`, one variant `{ variant, members }` with exactly\n * that variant's members. `X` is the context the methods get.\n */\nexport type Implementation<C extends Contract, X extends Context = Context> = ImplementationOf<\n\tShapeOf<C>[\"kind\"],\n\tCurrentVariants<C>,\n\tX\n>;\n\ntype ImplementationOf<\n\tK extends Kind,\n\tV extends { readonly [variant: string]: VariantShape },\n\tX extends Context,\n> = K extends \"local\"\n\t? VariantImplementation<V[typeof LOCAL], X>\n\t: { [N in keyof V]: { readonly variant: N; readonly members: VariantImplementation<V[N], X> } }[keyof V];\n\n/**\n * One variant's members: a `Watchable` per state member, a function per method and, in a local contract, a\n * `KeyedWatchable` per keyed member.\n */\nexport type VariantImplementation<V extends VariantShape, X extends Context = Context> = {\n\t[M in keyof V[\"state\"] | keyof V[\"methods\"] | keyof NonNullable<V[\"keyed\"]>]: M extends keyof V[\"methods\"]\n\t\t? MethodFunction<V[\"methods\"][M], X>\n\t\t: M extends keyof V[\"state\"]\n\t\t\t? Watchable<Static<V[\"state\"][M]>>\n\t\t\t: M extends keyof NonNullable<V[\"keyed\"]>\n\t\t\t\t? KeyedWatchable<Static<NonNullable<V[\"keyed\"]>[M]>>\n\t\t\t\t: never;\n};\n\n/**\n * A keyed state member (slice 6a §12): documents by key, each watchable on its own; a keyed document handle\n * provides it. `at(key)` is valid only in a factory (it pins the key while that attempt lives).\n */\nexport interface KeyedWatchable<T> {\n\t/** The document at `key`, `undefined` when absent. */\n\tget(key: string, context: Context): Promise<T | undefined>;\n\t/** A watch of the document at `key` that follows its address, `undefined` when absent. */\n\twatch(key: string, context: Context): Promise<WatchHandle<T> | undefined>;\n\t/** In a factory only: the document at `key` as a watchable, `initial()` while absent. */\n\tat(key: string): Watchable<T>;\n}\n\n/** A method as a function: without the argument when its argument schema is `null` (`null` stays the wire form). */\ntype MethodFunction<M extends Method, X extends Context = Context> = M[\"args\"] extends NullSchema\n\t? (context: X) => Promise<Static<M[\"result\"]>>\n\t: (args: Static<M[\"args\"]>, context: X) => Promise<Static<M[\"result\"]>>;\n\n/** The Chord-owned data behind a contract handle. */\nexport type ContractData = {\n\treadonly kind: Kind;\n\treadonly name: string;\n\treadonly params: ParamsData;\n\t/** A remote contract's host address: the address of the host serving an object for its params; none for local. */\n\treadonly hostAddress: HostAddress | undefined;\n\t/** Every version of the history, oldest first; the last is current. */\n\treadonly versions: readonly VersionData[];\n\t/** The kind of every member name ever declared in the history. */\n\treadonly kinds: ReadonlyMap<string, MemberKind>;\n};\n\nexport type MemberKind = \"state\" | \"method\" | \"keyed\";\n\n/** A `hostAddress` as Chord calls it: with checked params. Plugin code: what it returns is checked where routed. */\nexport type HostAddress = (params: ParamsOf<Contract>) => Address;\n\nexport type VersionData = {\n\treadonly version: number;\n\treadonly fingerprint: string;\n\treadonly variants: ReadonlyMap<string, VariantData>;\n\t/** The changes that produced this version; empty for a base. */\n\treadonly changes: readonly Change[];\n};\n\nexport type VariantData = {\n\treadonly state: ReadonlyMap<string, Snapshot>;\n\treadonly methods: ReadonlyMap<string, MethodData>;\n\t/** Keyed state members (slice 6a §12): only a local contract has any. */\n\treadonly keyed: ReadonlyMap<string, Snapshot>;\n};\n\nexport type MethodData = { readonly args: Snapshot; readonly result: Snapshot };\n\n/** The data behind a contract handle; refuses spread and hand-built copies. */\nexport function contractData(contract: Contract): ContractData {\n\tconst data = contracts.get(contract);\n\tif (data === undefined) {\n\t\tthrow new Error(`${contract.name}: not a declared contract (spread and hand-built copies are refused)`);\n\t}\n\treturn data;\n}\n\nconst contracts = new WeakMap<Contract, ContractData>();\n\n/** Whether a method takes no arguments: its argument schema is `null`, so its functions omit the argument. */\nexport function takesNoArgs(method: MethodData): boolean {\n\t// A schema's normal form is an object of keywords.\n\tconst normal = method.args.normal as { readonly [keyword: string]: unknown };\n\treturn normal.type === \"null\" && Object.keys(normal).length === 1;\n}\n\n/** The variants of a contract's current version; a local contract has the one variant `LOCAL`. */\nexport function currentVariants(contract: Contract): ReadonlyMap<string, VariantData> {\n\treturn contractData(contract).versions.at(-1)!.variants;\n}\n\n/** The variants of version `version` of a contract's history (an older consumer's binding, Q10). */\nexport function variantsAt(contract: Contract, version: number): ReadonlyMap<string, VariantData> {\n\t// Callers name a version the provider binds (`binds`): its history has it.\n\treturn contractData(contract).versions.find((data) => data.version === version)!.variants;\n}\n\n/** A variant's names as links index them (2b): its state members and its methods, each sorted. */\nexport type VariantNames = { readonly state: readonly string[]; readonly methods: readonly string[] };\n\n/** The current version's variant names in the order links index them: sorted. */\nexport function variantOrder(contract: Contract): readonly string[] {\n\treturn [...currentVariants(contract).keys()].sort();\n}\n\n/** A variant's state members and methods in the order links index them: each sorted. */\nexport function variantNames(variant: VariantData): VariantNames {\n\treturn { state: [...variant.state.keys()].sort(), methods: [...variant.methods.keys()].sort() };\n}\n\n/** A new contract handle for `data`; the caller states the type-level shape. */\nexport function createContract<C extends Contract>(data: ContractData): C {\n\tconst current = data.versions.at(-1)!;\n\tconst contract: Contract = {\n\t\tkind: data.kind,\n\t\tname: data.name,\n\t\tversion: current.version,\n\t\tfingerprint: current.fingerprint,\n\t};\n\tcontracts.set(contract, data);\n\t// The shape is type-level only; every caller states the shape it built.\n\treturn contract as C;\n}\n"]}

package/dist/contracts/declare.d.ts

@@ -0,0 +1,107 @@
+import { type Contract, type Kind, LOCAL, type MemberKind, type MethodData, type VariantData } from "./contract.ts";
+import type { MemberNames, MethodAt, VariantShape } from "./history.ts";
+import type { Address } from "./host-kind.ts";
+import { type Params, type RequiredFields } from "./params.ts";
+import { KeyedMember, Method, type Schema, type Static } from "./schema.ts";
+type VariantDeclaration = {
+    readonly state?: {
+        readonly [member: string]: Schema;
+    };
+    readonly methods?: {
+        readonly [member: string]: Method;
+    };
+};
+type VariantDeclarations = {
+    readonly [variant: string]: VariantDeclaration;
+};
+type RemoteVariants<D extends VariantDeclarations> = {
+    [V in keyof D]: {
+        state: D[V]["state"] extends object ? D[V]["state"] : Record<never, never>;
+        methods: D[V]["methods"] extends object ? D[V]["methods"] : Record<never, never>;
+    };
+};
+type LocalVariants<M extends {
+    readonly [member: string]: LocalMember;
+}> = {
+    [LOCAL]: {
+        state: {
+            [K in keyof M as M[K] extends Method | KeyedMember ? never : K]: Exclude<M[K], Method | KeyedMember>;
+        };
+        methods: {
+            [K in keyof M as M[K] extends Method ? K : never]: Extract<M[K], Method>;
+        };
+        keyed: {
+            [K in keyof M as M[K] extends KeyedMember ? K : never]: SchemaOf<M[K]>;
+        };
+    };
+};
+/** A local contract's member: a state schema, `method(...)` or `keyed(schema)`. */
+type LocalMember = Schema | Method | KeyedMember;
+type SchemaOf<M> = M extends KeyedMember<infer S> ? S : never;
+/** D11: a member name has one kind in every variant, a method one signature; no keyed members. */
+type SameMembers<D extends VariantDeclarations, V extends {
+    [variant: string]: VariantShape;
+} = RemoteVariants<D>> = {
+    [X in keyof D]: {
+        state?: {
+            [M in keyof D[X]["state"]]: M extends MemberNames<V, "methods"> ? never : D[X]["state"][M] extends KeyedMember ? never : D[X]["state"][M];
+        };
+        methods?: {
+            [M in keyof D[X]["methods"]]: M extends MemberNames<V, "state"> ? never : [MethodAt<V, M>] extends [D[X]["methods"][M]] ? D[X]["methods"][M] : never;
+        };
+    };
+};
+/** Declares a remote contract: per-principal variants of state and methods. */
+export declare function remote<const N extends string, const P extends Params, const V extends number, const D extends VariantDeclarations>(name: N, declaration: {
+    readonly version: V;
+    readonly params: P & NoInfer<RequiredFields<P>>;
+    /** The address of the host serving an object for these params; never part of the fingerprint. */
+    readonly hostAddress: (params: {
+        [F in keyof P]: Static<P[F]>;
+    }) => Address;
+    readonly variants: D & NoInfer<SameMembers<D>>;
+}): Contract<{
+    kind: "remote";
+    name: N;
+    params: P;
+    history: [{
+        version: `${V}`;
+        variants: RemoteVariants<D>;
+        changes: never;
+    }];
+}>;
+/**
+ * Declares a local contract: one flat map of members, where a schema is state, `method(...)` a method and
+ * `keyed(schema)` a keyed state member.
+ */
+export declare function local<const N extends string, const P extends Params, const V extends number, const M extends {
+    readonly [member: string]: LocalMember;
+}>(name: N, declaration: {
+    readonly version: V;
+    readonly params: P & NoInfer<RequiredFields<P>>;
+    readonly members: M;
+}): Contract<{
+    kind: "local";
+    name: N;
+    params: P;
+    history: [{
+        version: `${V}`;
+        variants: LocalVariants<M>;
+        changes: never;
+    }];
+}>;
+/** One method declaration as Chord-owned snapshots; its arguments must be closed. */
+export declare function readMethod(method: Method, path: string): MethodData;
+/**
+ * Checks the members of every variant: a name keeps one kind across variants and the whole history (`kinds`, updated
+ * here), a method one signature across variants.
+ */
+export declare function checkMembers(variants: ReadonlyMap<string, VariantData>, kinds: Map<string, MemberKind>, path: (variant: string, member: string, kind: MemberKind) => string): void;
+/** The path of a member in errors: `notes.editor.methods.add`, `info.members.clear`. */
+export declare function memberPath(base: string, kind: Kind, variant: string, member: string, memberKind: MemberKind): string;
+/** Refuses a non-object and unknown keys. */
+export declare function checkKeys(source: unknown, allowed: readonly string[], path: string): void;
+/** The entries of an object; anything else is refused. */
+export declare function entriesOf(source: unknown, path: string): [string, unknown][];
+export {};
+//# sourceMappingURL=declare.d.ts.map

package/dist/contracts/declare.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declare.d.ts","sourceRoot":"","sources":["../../src/contracts/declare.ts"],"names":[],"mappings":"AAGA,OAAO,EACN,KAAK,QAAQ,EAGb,KAAK,IAAI,EACT,KAAK,EACL,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,MAAM,eAAe,CAAC;AAEvB,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAE9C,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAc,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAG5E,KAAK,kBAAkB,GAAG;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;IACvD,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;CACzD,CAAC;AAEF,KAAK,mBAAmB,GAAG;IAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,kBAAkB,CAAA;CAAE,CAAC;AAE9E,KAAK,cAAc,CAAC,CAAC,SAAS,mBAAmB,IAAI;KACnD,CAAC,IAAI,MAAM,CAAC,GAAG;QACf,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3E,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;KACjF;CACD,CAAC;AAEF,KAAK,aAAa,CAAC,CAAC,SAAS;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,IAAI;IAC1E,CAAC,KAAK,CAAC,EAAE;QACR,KAAK,EAAE;aAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,WAAW,GAAG,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC;SAAE,CAAC;QAChH,OAAO,EAAE;aAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,CAAC,GAAG,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;SAAE,CAAC;QACtF,KAAK,EAAE;aAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,GAAG,CAAC,GAAG,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAAE,CAAC;KAClF,CAAC;CACF,CAAC;AAEF,mFAAmF;AACnF,KAAK,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,WAAW,CAAC;AAEjD,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE9D,kGAAkG;AAClG,KAAK,WAAW,CAAC,CAAC,SAAS,mBAAmB,EAAE,CAAC,SAAS;IAAE,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI;KACnH,CAAC,IAAI,MAAM,CAAC,GAAG;QACf,KAAK,CAAC,EAAE;aAEN,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,GAC5D,KAAK,GACL,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,GACnC,KAAK,GACL,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;SACpB,CAAC;QACF,OAAO,CAAC,EAAE;aACR,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,GAC5D,KAAK,GACL,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GAC5C,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAClB,KAAK;SACT,CAAC;KACF;CACD,CAAC;AAEF,+EAA+E;AAC/E,wBAAgB,MAAM,CACrB,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,mBAAmB,EAEnC,IAAI,EAAE,CAAC,EACP,WAAW,EAAE;IACZ,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,iGAAiG;IACjG,QAAQ,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE;SAAG,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,KAAK,OAAO,CAAC;IAC5E,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/C,GACC,QAAQ,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,CAAC,CAAC;IACR,MAAM,EAAE,CAAC,CAAC;IACV,OAAO,EAAE,CAAC;QAAE,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC;QAAC,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;QAAC,OAAO,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;CAC5E,CAAC,CAWD;AAED;;;GAGG;AACH,wBAAgB,KAAK,CACpB,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,EAE1D,IAAI,EAAE,CAAC,EACP,WAAW,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CAAE,GACxG,QAAQ,CAAC;IACX,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,CAAC,CAAC;IACR,MAAM,EAAE,CAAC,CAAC;IACV,OAAO,EAAE,CAAC;QAAE,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC;QAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;QAAC,OAAO,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;CAC3E,CAAC,CAcD;AAmBD,qFAAqF;AACrF,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAKnE;AAkBD;;;GAGG;AACH,wBAAgB,YAAY,CAC3B,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EAC1C,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EAC9B,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,KAAK,MAAM,GACjE,IAAI,CAcN;AAiBD,wFAAwF;AACxF,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,GAAG,MAAM,CAGpH;AAED,6CAA6C;AAC7C,wBAAgB,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAIzF;AAED,0DAA0D;AAC1D,wBAAgB,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAK5E"}