@earendil-works/chord 1.4.0 → 1.5.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"declare.d.ts","sourceRoot":"","sources":["../../../src/next/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"}

package/dist/next/contracts/declare.js

@@ -0,0 +1,136 @@
+// Declarations: `remote(...)` and `local(...)`, the checks every declared version passes, and the reading of
+// untyped declaration input.
+import { createContract, LOCAL, } from "./contract.js";
+import { materialize } from "./fingerprint.js";
+import { checkName } from "./names.js";
+import { readParams } from "./params.js";
+import { KeyedMember, Method } from "./schema.js";
+import { snapshotArguments, snapshotSchema } from "./snapshot.js";
+/** Declares a remote contract: per-principal variants of state and methods. */
+export function remote(name, declaration) {
+    // Declaration policy: JavaScript callers reach every check below.
+    checkName(name, "A contract name");
+    checkKeys(declaration, ["version", "params", "hostAddress", "variants"], name);
+    const variants = entriesOf(declaration.variants, `${name}.variants`);
+    if (variants.length === 0)
+        throw new Error(`${name}.variants: at least one variant is required`);
+    const { hostAddress } = declaration;
+    if (typeof hostAddress !== "function")
+        throw new Error(`${name}.hostAddress: expected a function of the params`);
+    const read = variants.map(([variant, members]) => [variant, readVariant(members, `${name}.${variant}`)]);
+    // The host address gets the checked params of this contract.
+    return declare("remote", name, declaration, new Map(read), hostAddress);
+}
+/**
+ * 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 function local(name, declaration) {
+    // Declaration policy: JavaScript callers reach every check below.
+    checkName(name, "A contract name");
+    checkKeys(declaration, ["version", "params", "members"], name);
+    const state = new Map();
+    const methods = new Map();
+    const keyed = new Map();
+    for (const [member, value] of entriesOf(declaration.members, `${name}.${LOCAL}`)) {
+        const path = `${name}.${LOCAL}.${member}`;
+        if (value instanceof Method)
+            methods.set(member, readMethod(value, path));
+        else if (value instanceof KeyedMember)
+            keyed.set(member, snapshotSchema(value.schema, path));
+        else
+            state.set(member, snapshotSchema(value, path));
+    }
+    return declare("local", name, declaration, new Map([[LOCAL, { state, methods, keyed }]]));
+}
+function readVariant(source, path) {
+    checkKeys(source, ["state", "methods"], path);
+    const { state = {}, methods = {} } = source;
+    const stateEntries = entriesOf(state, `${path}.state`).map(([member, schema]) => {
+        if (schema instanceof Method)
+            throw new Error(`${path}.state.${member}: a method belongs in methods`);
+        if (schema instanceof KeyedMember) {
+            throw new Error(`${path}.state.${member}: keyed members are only in local contracts`);
+        }
+        return [member, snapshotSchema(schema, `${path}.state.${member}`)];
+    });
+    const methodEntries = entriesOf(methods, `${path}.methods`).map(([member, method]) => {
+        if (!(method instanceof Method))
+            throw new Error(`${path}.methods.${member}: expected method(...)`);
+        return [member, readMethod(method, `${path}.methods.${member}`)];
+    });
+    return { state: new Map(stateEntries), methods: new Map(methodEntries), keyed: new Map() };
+}
+/** One method declaration as Chord-owned snapshots; its arguments must be closed. */
+export function readMethod(method, path) {
+    return {
+        args: snapshotArguments(method.args, `${path}.args`),
+        result: snapshotSchema(method.result, `${path}.result`),
+    };
+}
+function declare(kind, name, declaration, variants, hostAddress) {
+    const { version } = declaration;
+    if (!Number.isSafeInteger(version) || version < 1)
+        throw new Error(`${name}.version: expected a positive integer`);
+    const kinds = new Map();
+    checkMembers(variants, kinds, (variant, member, memberKind) => memberPath(name, kind, variant, member, memberKind));
+    const params = readParams(entriesOf(declaration.params, `${name}.params`), `${name}.params`);
+    const versions = [materialize(kind, params, version, variants, [])];
+    return createContract({ kind, name, params, hostAddress, versions, kinds });
+}
+/**
+ * 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 function checkMembers(variants, kinds, path) {
+    const signatures = new Map();
+    for (const [variant, { state, methods, keyed }] of variants) {
+        for (const member of state.keys())
+            recordKind(kinds, member, "state", path(variant, member, "state"));
+        for (const member of keyed.keys())
+            recordKind(kinds, member, "keyed", path(variant, member, "keyed"));
+        for (const [member, { args, result }] of methods) {
+            recordKind(kinds, member, "method", path(variant, member, "method"));
+            const signature = JSON.stringify([args.normal, result.normal]);
+            if ((signatures.get(member) ?? signature) !== signature) {
+                throw new Error(`${path(variant, member, "method")}: a method has the same signature in every variant`);
+            }
+            signatures.set(member, signature);
+        }
+    }
+}
+function recordKind(kinds, member, kind, path) {
+    if (RESERVED_MEMBERS.has(member))
+        throw new Error(`${path}: "${member}" is reserved: a reference has it`);
+    const known = kinds.get(member);
+    if (known !== undefined && known !== kind) {
+        throw new Error(`${path}: "${member}" is a ${known} member; its kind never changes`);
+    }
+    kinds.set(member, kind);
+}
+/**
+ * Names a reference has itself (`release`, `variant`, and `state` and `retry` with failures), and `then`, which would
+ * make an awaited reference thenable.
+ */
+const RESERVED_MEMBERS = new Set(["then", "release", "variant", "state", "retry"]);
+/** The path of a member in errors: `notes.editor.methods.add`, `info.members.clear`. */
+export function memberPath(base, kind, variant, member, memberKind) {
+    if (kind === "local")
+        return `${base}.${LOCAL}.${member}`;
+    return `${base}.${variant}.${memberKind === "state" ? "state" : "methods"}.${member}`;
+}
+/** Refuses a non-object and unknown keys. */
+export function checkKeys(source, allowed, path) {
+    for (const [key] of entriesOf(source, path)) {
+        if (!allowed.includes(key))
+            throw new Error(`${path}: unknown key "${key}"`);
+    }
+}
+/** The entries of an object; anything else is refused. */
+export function entriesOf(source, path) {
+    if (typeof source !== "object" || source === null || Array.isArray(source)) {
+        throw new Error(`${path}: expected an object`);
+    }
+    return Object.entries(source);
+}
+//# sourceMappingURL=declare.js.map

package/dist/next/contracts/declare.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declare.js","sourceRoot":"","sources":["../../../src/next/contracts/declare.ts"],"names":[],"mappings":"AAAA,6GAA6G;AAC7G,6BAA6B;AAE7B,OAAO,EAEN,cAAc,EAGd,KAAK,GAIL,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAoC,UAAU,EAAE,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,EAA4B,MAAM,aAAa,CAAC;AAC5E,OAAO,EAAiB,iBAAiB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAkDjF,+EAA+E;AAC/E,MAAM,UAAU,MAAM,CAMrB,IAAO,EACP,WAMC;IAOD,kEAAkE;IAClE,SAAS,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;IACnC,SAAS,CAAC,WAAW,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,SAAS,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;IACrE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,6CAA6C,CAAC,CAAC;IACjG,MAAM,EAAE,WAAW,EAAE,GAAG,WAAW,CAAC;IACpC,IAAI,OAAO,WAAW,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,iDAAiD,CAAC,CAAC;IACjH,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,OAAO,EAAE,CAAC,CAAU,CAAC,CAAC;IAClH,6DAA6D;IAC7D,OAAO,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,WAA0B,CAAC,CAAC;AACxF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,KAAK,CAMpB,IAAO,EACP,WAA0G;IAO1G,kEAAkE;IAClE,SAAS,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;IACnC,SAAS,CAAC,WAAW,EAAE,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,KAAK,IAAI,MAAM,EAAE,CAAC;QAC1C,IAAI,KAAK,YAAY,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;aACrE,IAAI,KAAK,YAAY,WAAW;YAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;;YACxF,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,WAAW,CAAC,MAAe,EAAE,IAAY;IACjD,SAAS,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,EAAE,KAAK,GAAG,EAAE,EAAE,OAAO,GAAG,EAAE,EAAE,GAAG,MAA4B,CAAC;IAClE,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE;QAC/E,IAAI,MAAM,YAAY,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,MAAM,+BAA+B,CAAC,CAAC;QACtG,IAAI,MAAM,YAAY,WAAW,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,MAAM,6CAA6C,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,GAAG,IAAI,UAAU,MAAM,EAAE,CAAC,CAAU,CAAC;IAC7E,CAAC,CAAC,CAAC;IACH,MAAM,aAAa,GAAG,SAAS,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE;QACpF,IAAI,CAAC,CAAC,MAAM,YAAY,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,YAAY,MAAM,wBAAwB,CAAC,CAAC;QACpG,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,GAAG,IAAI,YAAY,MAAM,EAAE,CAAC,CAAU,CAAC;IAC3E,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AAC5F,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,UAAU,CAAC,MAAc,EAAE,IAAY;IACtD,OAAO;QACN,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC;QACpD,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC;KACvD,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CACf,IAAU,EACV,IAAY,EACZ,WAAmE,EACnE,QAA0C,EAC1C,WAAyB;IAEzB,MAAM,EAAE,OAAO,EAAE,GAAG,WAAW,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,uCAAuC,CAAC,CAAC;IACnH,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,YAAY,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACpH,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;IAC7F,MAAM,QAAQ,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;IACpE,OAAO,cAAc,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC3B,QAA0C,EAC1C,KAA8B,EAC9B,IAAmE;IAEnE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,KAAK,MAAM,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC;QAC7D,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE;YAAE,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QACtG,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,IAAI,EAAE;YAAE,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QACtG,KAAK,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC;YAClD,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;YACrE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAC/D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;gBACzD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,oDAAoD,CAAC,CAAC;YACzG,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACnC,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,UAAU,CAAC,KAA8B,EAAE,MAAc,EAAE,IAAgB,EAAE,IAAY;IACjG,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,MAAM,MAAM,mCAAmC,CAAC,CAAC;IAC1G,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,MAAM,MAAM,UAAU,KAAK,iCAAiC,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AACzB,CAAC;AAED;;;GAGG;AACH,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAExG,wFAAwF;AACxF,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,IAAU,EAAE,OAAe,EAAE,MAAc,EAAE,UAAsB;IAC3G,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,GAAG,IAAI,IAAI,KAAK,IAAI,MAAM,EAAE,CAAC;IAC1D,OAAO,GAAG,IAAI,IAAI,OAAO,IAAI,UAAU,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,MAAM,EAAE,CAAC;AACvF,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,SAAS,CAAC,MAAe,EAAE,OAA0B,EAAE,IAAY;IAClF,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,kBAAkB,GAAG,GAAG,CAAC,CAAC;IAC9E,CAAC;AACF,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,SAAS,CAAC,MAAe,EAAE,IAAY;IACtD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,sBAAsB,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC","sourcesContent":["// Declarations: `remote(...)` and `local(...)`, the checks every declared version passes, and the reading of\n// untyped declaration input.\n\nimport {\n\ttype Contract,\n\tcreateContract,\n\ttype HostAddress,\n\ttype Kind,\n\tLOCAL,\n\ttype MemberKind,\n\ttype MethodData,\n\ttype VariantData,\n} from \"./contract.ts\";\nimport { materialize } from \"./fingerprint.ts\";\nimport type { MemberNames, MethodAt, VariantShape } from \"./history.ts\";\nimport type { Address } from \"./host-kind.ts\";\nimport { checkName } from \"./names.ts\";\nimport { type Params, type RequiredFields, readParams } from \"./params.ts\";\nimport { KeyedMember, Method, type Schema, type Static } from \"./schema.ts\";\nimport { type Snapshot, snapshotArguments, snapshotSchema } from \"./snapshot.ts\";\n\ntype VariantDeclaration = {\n\treadonly state?: { readonly [member: string]: Schema };\n\treadonly methods?: { readonly [member: string]: Method };\n};\n\ntype VariantDeclarations = { readonly [variant: string]: VariantDeclaration };\n\ntype RemoteVariants<D extends VariantDeclarations> = {\n\t[V in keyof D]: {\n\t\tstate: D[V][\"state\"] extends object ? D[V][\"state\"] : Record<never, never>;\n\t\tmethods: D[V][\"methods\"] extends object ? D[V][\"methods\"] : Record<never, never>;\n\t};\n};\n\ntype LocalVariants<M extends { readonly [member: string]: LocalMember }> = {\n\t[LOCAL]: {\n\t\tstate: { [K in keyof M as M[K] extends Method | KeyedMember ? never : K]: Exclude<M[K], Method | KeyedMember> };\n\t\tmethods: { [K in keyof M as M[K] extends Method ? K : never]: Extract<M[K], Method> };\n\t\tkeyed: { [K in keyof M as M[K] extends KeyedMember ? K : never]: SchemaOf<M[K]> };\n\t};\n};\n\n/** A local contract's member: a state schema, `method(...)` or `keyed(schema)`. */\ntype LocalMember = Schema | Method | KeyedMember;\n\ntype SchemaOf<M> = M extends KeyedMember<infer S> ? S : never;\n\n/** D11: a member name has one kind in every variant, a method one signature; no keyed members. */\ntype SameMembers<D extends VariantDeclarations, V extends { [variant: string]: VariantShape } = RemoteVariants<D>> = {\n\t[X in keyof D]: {\n\t\tstate?: {\n\t\t\t// Keyed members are only in local contracts (slice 6a §12).\n\t\t\t[M in keyof D[X][\"state\"]]: M extends MemberNames<V, \"methods\">\n\t\t\t\t? never\n\t\t\t\t: D[X][\"state\"][M] extends KeyedMember\n\t\t\t\t\t? never\n\t\t\t\t\t: D[X][\"state\"][M];\n\t\t};\n\t\tmethods?: {\n\t\t\t[M in keyof D[X][\"methods\"]]: M extends MemberNames<V, \"state\">\n\t\t\t\t? never\n\t\t\t\t: [MethodAt<V, M>] extends [D[X][\"methods\"][M]]\n\t\t\t\t\t? D[X][\"methods\"][M]\n\t\t\t\t\t: never;\n\t\t};\n\t};\n};\n\n/** Declares a remote contract: per-principal variants of state and methods. */\nexport function remote<\n\tconst N extends string,\n\tconst P extends Params,\n\tconst V extends number,\n\tconst D extends VariantDeclarations,\n>(\n\tname: N,\n\tdeclaration: {\n\t\treadonly version: V;\n\t\treadonly params: P & NoInfer<RequiredFields<P>>;\n\t\t/** The address of the host serving an object for these params; never part of the fingerprint. */\n\t\treadonly hostAddress: (params: { [F in keyof P]: Static<P[F]> }) => Address;\n\t\treadonly variants: D & NoInfer<SameMembers<D>>;\n\t},\n): Contract<{\n\tkind: \"remote\";\n\tname: N;\n\tparams: P;\n\thistory: [{ version: `${V}`; variants: RemoteVariants<D>; changes: never }];\n}> {\n\t// Declaration policy: JavaScript callers reach every check below.\n\tcheckName(name, \"A contract name\");\n\tcheckKeys(declaration, [\"version\", \"params\", \"hostAddress\", \"variants\"], name);\n\tconst variants = entriesOf(declaration.variants, `${name}.variants`);\n\tif (variants.length === 0) throw new Error(`${name}.variants: at least one variant is required`);\n\tconst { hostAddress } = declaration;\n\tif (typeof hostAddress !== \"function\") throw new Error(`${name}.hostAddress: expected a function of the params`);\n\tconst read = variants.map(([variant, members]) => [variant, readVariant(members, `${name}.${variant}`)] as const);\n\t// The host address gets the checked params of this contract.\n\treturn declare(\"remote\", name, declaration, new Map(read), hostAddress as HostAddress);\n}\n\n/**\n * Declares a local contract: one flat map of members, where a schema is state, `method(...)` a method and\n * `keyed(schema)` a keyed state member.\n */\nexport function local<\n\tconst N extends string,\n\tconst P extends Params,\n\tconst V extends number,\n\tconst M extends { readonly [member: string]: LocalMember },\n>(\n\tname: N,\n\tdeclaration: { readonly version: V; readonly params: P & NoInfer<RequiredFields<P>>; readonly members: M },\n): Contract<{\n\tkind: \"local\";\n\tname: N;\n\tparams: P;\n\thistory: [{ version: `${V}`; variants: LocalVariants<M>; changes: never }];\n}> {\n\t// Declaration policy: JavaScript callers reach every check below.\n\tcheckName(name, \"A contract name\");\n\tcheckKeys(declaration, [\"version\", \"params\", \"members\"], name);\n\tconst state = new Map<string, Snapshot>();\n\tconst methods = new Map<string, MethodData>();\n\tconst keyed = new Map<string, Snapshot>();\n\tfor (const [member, value] of entriesOf(declaration.members, `${name}.${LOCAL}`)) {\n\t\tconst path = `${name}.${LOCAL}.${member}`;\n\t\tif (value instanceof Method) methods.set(member, readMethod(value, path));\n\t\telse if (value instanceof KeyedMember) keyed.set(member, snapshotSchema(value.schema, path));\n\t\telse state.set(member, snapshotSchema(value, path));\n\t}\n\treturn declare(\"local\", name, declaration, new Map([[LOCAL, { state, methods, keyed }]]));\n}\n\nfunction readVariant(source: unknown, path: string): VariantData {\n\tcheckKeys(source, [\"state\", \"methods\"], path);\n\tconst { state = {}, methods = {} } = source as VariantDeclaration;\n\tconst stateEntries = entriesOf(state, `${path}.state`).map(([member, schema]) => {\n\t\tif (schema instanceof Method) throw new Error(`${path}.state.${member}: a method belongs in methods`);\n\t\tif (schema instanceof KeyedMember) {\n\t\t\tthrow new Error(`${path}.state.${member}: keyed members are only in local contracts`);\n\t\t}\n\t\treturn [member, snapshotSchema(schema, `${path}.state.${member}`)] as const;\n\t});\n\tconst methodEntries = entriesOf(methods, `${path}.methods`).map(([member, method]) => {\n\t\tif (!(method instanceof Method)) throw new Error(`${path}.methods.${member}: expected method(...)`);\n\t\treturn [member, readMethod(method, `${path}.methods.${member}`)] as const;\n\t});\n\treturn { state: new Map(stateEntries), methods: new Map(methodEntries), keyed: new Map() };\n}\n\n/** One method declaration as Chord-owned snapshots; its arguments must be closed. */\nexport function readMethod(method: Method, path: string): MethodData {\n\treturn {\n\t\targs: snapshotArguments(method.args, `${path}.args`),\n\t\tresult: snapshotSchema(method.result, `${path}.result`),\n\t};\n}\n\nfunction declare<C extends Contract>(\n\tkind: Kind,\n\tname: string,\n\tdeclaration: { readonly version: number; readonly params: unknown },\n\tvariants: ReadonlyMap<string, VariantData>,\n\thostAddress?: HostAddress,\n): C {\n\tconst { version } = declaration;\n\tif (!Number.isSafeInteger(version) || version < 1) throw new Error(`${name}.version: expected a positive integer`);\n\tconst kinds = new Map<string, MemberKind>();\n\tcheckMembers(variants, kinds, (variant, member, memberKind) => memberPath(name, kind, variant, member, memberKind));\n\tconst params = readParams(entriesOf(declaration.params, `${name}.params`), `${name}.params`);\n\tconst versions = [materialize(kind, params, version, variants, [])];\n\treturn createContract({ kind, name, params, hostAddress, versions, kinds });\n}\n\n/**\n * Checks the members of every variant: a name keeps one kind across variants and the whole history (`kinds`, updated\n * here), a method one signature across variants.\n */\nexport function checkMembers(\n\tvariants: ReadonlyMap<string, VariantData>,\n\tkinds: Map<string, MemberKind>,\n\tpath: (variant: string, member: string, kind: MemberKind) => string,\n): void {\n\tconst signatures = new Map<string, string>();\n\tfor (const [variant, { state, methods, keyed }] of variants) {\n\t\tfor (const member of state.keys()) recordKind(kinds, member, \"state\", path(variant, member, \"state\"));\n\t\tfor (const member of keyed.keys()) recordKind(kinds, member, \"keyed\", path(variant, member, \"keyed\"));\n\t\tfor (const [member, { args, result }] of methods) {\n\t\t\trecordKind(kinds, member, \"method\", path(variant, member, \"method\"));\n\t\t\tconst signature = JSON.stringify([args.normal, result.normal]);\n\t\t\tif ((signatures.get(member) ?? signature) !== signature) {\n\t\t\t\tthrow new Error(`${path(variant, member, \"method\")}: a method has the same signature in every variant`);\n\t\t\t}\n\t\t\tsignatures.set(member, signature);\n\t\t}\n\t}\n}\n\nfunction recordKind(kinds: Map<string, MemberKind>, member: string, kind: MemberKind, path: string): void {\n\tif (RESERVED_MEMBERS.has(member)) throw new Error(`${path}: \"${member}\" is reserved: a reference has it`);\n\tconst known = kinds.get(member);\n\tif (known !== undefined && known !== kind) {\n\t\tthrow new Error(`${path}: \"${member}\" is a ${known} member; its kind never changes`);\n\t}\n\tkinds.set(member, kind);\n}\n\n/**\n * Names a reference has itself (`release`, `variant`, and `state` and `retry` with failures), and `then`, which would\n * make an awaited reference thenable.\n */\nconst RESERVED_MEMBERS: ReadonlySet<string> = new Set([\"then\", \"release\", \"variant\", \"state\", \"retry\"]);\n\n/** The path of a member in errors: `notes.editor.methods.add`, `info.members.clear`. */\nexport function memberPath(base: string, kind: Kind, variant: string, member: string, memberKind: MemberKind): string {\n\tif (kind === \"local\") return `${base}.${LOCAL}.${member}`;\n\treturn `${base}.${variant}.${memberKind === \"state\" ? \"state\" : \"methods\"}.${member}`;\n}\n\n/** Refuses a non-object and unknown keys. */\nexport function checkKeys(source: unknown, allowed: readonly string[], path: string): void {\n\tfor (const [key] of entriesOf(source, path)) {\n\t\tif (!allowed.includes(key)) throw new Error(`${path}: unknown key \"${key}\"`);\n\t}\n}\n\n/** The entries of an object; anything else is refused. */\nexport function entriesOf(source: unknown, path: string): [string, unknown][] {\n\tif (typeof source !== \"object\" || source === null || Array.isArray(source)) {\n\t\tthrow new Error(`${path}: expected an object`);\n\t}\n\treturn Object.entries(source);\n}\n"]}

package/dist/next/contracts/evolve.d.ts

@@ -0,0 +1,92 @@
+import { type Contract, type ContractShape, type CurrentVariants, type Kind, LOCAL, type ShapeOf } from "./contract.ts";
+import type { Change, CurrentStep, Increment, MemberNames, MethodAt, Variants, VariantsWith } from "./history.ts";
+import { Method, type Schema } from "./schema.ts";
+/** Method edits, the same for both kinds: each changes the method in every variant that has it. */
+interface MethodEditor<K extends Kind, V extends Variants, C extends Change> {
+    /** Type only: the variants after the edits so far. */
+    readonly "~variants"?: V;
+    /** Type only: the changes made by the edits so far. */
+    readonly "~changes"?: C;
+    args<M extends MemberNames<V, "methods">, A extends Schema>(member: M, args: A): Editor<K, Put<V, VariantsWith<V, M>, "methods", M, Method<A, MethodAt<V, M>["result"]>>, C | [VariantsWith<V, M>, M, "args"]>;
+    result<M extends MemberNames<V, "methods">, R extends Schema>(member: M, result: R): Editor<K, Put<V, VariantsWith<V, M>, "methods", M, Method<MethodAt<V, M>["args"], R>>, C | [VariantsWith<V, M>, M, "result"]>;
+    method<M extends MemberNames<V, "methods">, A extends Schema, R extends Schema>(member: M, args: A, result: R): Editor<K, Put<V, VariantsWith<V, M>, "methods", M, Method<A, R>>, C | [VariantsWith<V, M>, M, "args" | "result"]>;
+    removeMethod<M extends MemberNames<V, "methods">>(member: M): Editor<K, Drop<V, keyof V, "methods", M>, C>;
+}
+/** Edits of a remote contract. */
+interface RemoteEditor<V extends Variants, C extends Change> extends MethodEditor<"remote", V, C> {
+    state<X extends keyof V & string, M extends keyof V[X]["state"] & string, S extends Schema>(variant: X, member: M, schema: S): RemoteEditor<Put<V, X, "state", M, S>, C | [X, M, "state"]>;
+    addState<X extends keyof V & string, const M extends string, S extends Schema>(variant: X, member: M, schema: S): RemoteEditor<Put<V, X, "state", M, S>, C | [X, M, "state"]>;
+    removeState<X extends keyof V & string, M extends keyof V[X]["state"] & string>(variant: X, member: M): RemoteEditor<Drop<V, X, "state", M>, C>;
+    addMethod<X extends keyof V & string, const M extends string, A extends Schema, R extends Schema>(variant: X, member: M, args: A, result: R): RemoteEditor<Put<V, X, "methods", M, Method<A, R>>, C | [X, M, "args" | "result"]>;
+}
+/** Edits of a local contract: like remote ones, without a variant. */
+interface LocalEditor<V extends Variants, C extends Change> extends MethodEditor<"local", V, C> {
+    state<M extends keyof V[Local]["state"] & string, S extends Schema>(member: M, schema: S): LocalEditor<Put<V, Local, "state", M, S>, C | [Local, M, "state"]>;
+    addState<const M extends string, S extends Schema>(member: M, schema: S): LocalEditor<Put<V, Local, "state", M, S>, C | [Local, M, "state"]>;
+    removeState<M extends keyof V[Local]["state"] & string>(member: M): LocalEditor<Drop<V, Local, "state", M>, C>;
+    addMethod<const M extends string, A extends Schema, R extends Schema>(member: M, args: A, result: R): LocalEditor<Put<V, Local, "methods", M, Method<A, R>>, C | [Local, M, "args" | "result"]>;
+    /** Changes keyed member `member`'s schema (slice 7b: an older consumer reads each key mapped, or is refused). */
+    keyed<M extends KeyedNames<V> & string, S extends Schema>(member: M, schema: S): LocalEditor<PutKeyed<V, M, S>, C | [Local, M, "keyed"]>;
+    addKeyed<const M extends string, S extends Schema>(member: M, schema: S): LocalEditor<PutKeyed<V, M, S>, C | [Local, M, "keyed"]>;
+    removeKeyed<M extends KeyedNames<V> & string>(member: M): LocalEditor<DropKeyed<V, M>, C>;
+}
+/** The local variant's keyed member names. */
+type KeyedNames<V extends Variants> = keyof NonNullable<V[Local]["keyed"]>;
+/** The local variant with keyed member `M` set to `T`. */
+type PutKeyed<V extends Variants, M extends string, T> = {
+    [Y in keyof V]: Y extends Local ? {
+        [S in keyof V[Y] | "keyed"]: S extends "keyed" ? {
+            [K in keyof NonNullable<V[Y]["keyed"]> | M]: K extends M ? T : NonNullable<V[Y]["keyed"]>[K];
+        } : V[Y][S & keyof V[Y]];
+    } : V[Y];
+};
+/** The local variant without keyed member `M`. */
+type DropKeyed<V extends Variants, M extends string> = {
+    [Y in keyof V]: Y extends Local ? {
+        [S in keyof V[Y]]: S extends "keyed" ? Omit<NonNullable<V[Y]["keyed"]>, M> : V[Y][S];
+    } : V[Y];
+};
+type Local = typeof LOCAL;
+type Editor<K extends Kind, V extends Variants, C extends Change> = K extends "remote" ? RemoteEditor<V, C> : LocalEditor<V, C>;
+type EditorOf<C extends Contract> = Editor<ShapeOf<C>["kind"], CurrentVariants<C>, never>;
+/** Variants `X` with member `M` of `Side` set to `T`. */
+type Put<V extends Variants, X, Side extends EditedSide, M extends string, T> = {
+    [Y in keyof V]: Y extends X ? {
+        [S in keyof V[Y]]: S extends Side ? {
+            [K in keyof V[Y][S] | M]: K extends M ? T : V[Y][S][K];
+        } : V[Y][S];
+    } : V[Y];
+};
+/** Variants `X` without member `M` of `Side`. */
+type Drop<V extends Variants, X, Side extends EditedSide, M extends string> = {
+    [Y in keyof V]: Y extends X ? {
+        [S in keyof V[Y]]: S extends Side ? Omit<V[Y][S], M> : V[Y][S];
+    } : V[Y];
+};
+/** The sides of a variant that `Put` and `Drop` edit (keyed members have their own, `PutKeyed` and `DropKeyed`). */
+type EditedSide = "state" | "methods";
+type Evolved<S extends ContractShape, E extends MethodEditor<S["kind"], Variants, Change>> = {
+    kind: S["kind"];
+    name: S["name"];
+    params: S["params"];
+    history: [
+        ...S["history"],
+        {
+            version: Increment<CurrentStep<S["history"]>["version"]>;
+            variants: NonNullable<E["~variants"]>;
+            changes: NonNullable<E["~changes"]>;
+        }
+    ];
+};
+/**
+ * Appends the next version (`previous.version + 1`) with the edits `edit` makes; `edit` must return the editor it was
+ * given. Params and the variant set never change: a change to either is a new history base.
+ */
+export declare function evolve<C extends Contract, E extends MethodEditor<ShapeOf<C>["kind"], Variants, Change>>(previous: C, edit: (editor: EditorOf<C>) => E): Contract<Evolved<ShapeOf<C>, E>>;
+/**
+ * Runs `edit` on `editor` (contracts' and tables' rule): an edit returning anything but the editor it was given throws
+ * (`what` names the call).
+ */
+export declare function editWith<E>(editor: E, edit: (editor: E) => unknown, what: string): void;
+export {};
+//# sourceMappingURL=evolve.d.ts.map

package/dist/next/contracts/evolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evolve.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/evolve.ts"],"names":[],"mappings":"AAEA,OAAO,EACN,KAAK,QAAQ,EAEb,KAAK,aAAa,EAClB,KAAK,eAAe,EAGpB,KAAK,IAAI,EACT,KAAK,EAGL,KAAK,OAAO,EACZ,MAAM,eAAe,CAAC;AAGvB,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAClH,OAAO,EAAE,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAGlD,mGAAmG;AACnG,UAAU,YAAY,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM;IAC1E,sDAAsD;IACtD,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IACzB,uDAAuD;IACvD,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACxB,IAAI,CAAC,CAAC,SAAS,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,SAAS,MAAM,EACzD,MAAM,EAAE,CAAC,EACT,IAAI,EAAE,CAAC,GACL,MAAM,CACR,CAAC,EACD,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC7E,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CACnC,CAAC;IACF,MAAM,CAAC,CAAC,SAAS,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,SAAS,MAAM,EAC3D,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,CAAC,GACP,MAAM,CACR,CAAC,EACD,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAC3E,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,CACrC,CAAC;IACF,MAAM,CAAC,CAAC,SAAS,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAC7E,MAAM,EAAE,CAAC,EACT,IAAI,EAAE,CAAC,EACP,MAAM,EAAE,CAAC,GACP,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC;IACrH,YAAY,CAAC,CAAC,SAAS,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC3G;AAED,kCAAkC;AAClC,UAAU,YAAY,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM,CAAE,SAAQ,YAAY,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IAChG,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,EACzF,OAAO,EAAE,CAAC,EACV,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,CAAC,GACP,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAC5E,OAAO,EAAE,CAAC,EACV,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,CAAC,GACP,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/D,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,MAAM,EAC7E,OAAO,EAAE,CAAC,EACV,MAAM,EAAE,CAAC,GACP,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3C,SAAS,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAC/F,OAAO,EAAE,CAAC,EACV,MAAM,EAAE,CAAC,EACT,IAAI,EAAE,CAAC,EACP,MAAM,EAAE,CAAC,GACP,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC;CACtF;AAED,sEAAsE;AACtE,UAAU,WAAW,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM,CAAE,SAAQ,YAAY,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9F,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,EACjE,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,CAAC,GACP,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IACtE,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAChD,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,CAAC,GACP,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IACtE,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/G,SAAS,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EACnE,MAAM,EAAE,CAAC,EACT,IAAI,EAAE,CAAC,EACP,MAAM,EAAE,CAAC,GACP,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC;IAC7F,iHAAiH;IACjH,KAAK,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,EACvD,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,CAAC,GACP,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAChD,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,CAAC,GACP,WAAW,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3D,WAAW,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC1F;AAED,8CAA8C;AAC9C,KAAK,UAAU,CAAC,CAAC,SAAS,QAAQ,IAAI,MAAM,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAE3E,0DAA0D;AAC1D,KAAK,QAAQ,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI;KACvD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,KAAK,GAC5B;SACC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,SAAS,OAAO,GAC3C;aACC,CAAC,IAAI,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;SAC5F,GACA,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;KACvB,GACA,CAAC,CAAC,CAAC,CAAC;CACP,CAAC;AAEF,kDAAkD;AAClD,KAAK,SAAS,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM,IAAI;KACrD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,KAAK,GAC5B;SAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,GACxF,CAAC,CAAC,CAAC,CAAC;CACP,CAAC;AAEF,KAAK,KAAK,GAAG,OAAO,KAAK,CAAC;AAE1B,KAAK,MAAM,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,QAAQ,GACnF,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAClB,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAErB,KAAK,QAAQ,CAAC,CAAC,SAAS,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAE1F,yDAAyD;AACzD,KAAK,GAAG,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,EAAE,IAAI,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI;KAC9E,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GACxB;SACC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG;aAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACxG,GACA,CAAC,CAAC,CAAC,CAAC;CACP,CAAC;AAEF,iDAAiD;AACjD,KAAK,IAAI,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,EAAE,IAAI,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,IAAI;KAC5E,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG;SAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,GAAG,CAAC,CAAC,CAAC,CAAC;CACvG,CAAC;AAEF,oHAAoH;AACpH,KAAK,UAAU,GAAG,OAAO,GAAG,SAAS,CAAC;AAEtC,KAAK,OAAO,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI;IAC5F,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAChB,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAChB,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;IACpB,OAAO,EAAE;QACR,GAAG,CAAC,CAAC,SAAS,CAAC;QACf;YACC,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YACzD,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YACtC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;SACpC;KACD,CAAC;CACF,CAAC;AAEF;;;GAGG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EACtG,QAAQ,EAAE,CAAC,EACX,IAAI,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,GAC9B,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAMlC;AAED;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAEvF"}

package/dist/next/contracts/evolve.js

@@ -0,0 +1,179 @@
+// Evolution: `evolve(previous, (e) => e...)` appends the next version of a history with structured edits.
+import { contractData, createContract, LOCAL, } from "./contract.js";
+import { checkMembers, memberPath, readMethod } from "./declare.js";
+import { materialize } from "./fingerprint.js";
+import { Method } from "./schema.js";
+import { snapshotArguments, snapshotSchema } from "./snapshot.js";
+/**
+ * Appends the next version (`previous.version + 1`) with the edits `edit` makes; `edit` must return the editor it was
+ * given. Params and the variant set never change: a change to either is a new history base.
+ */
+export function evolve(previous, edit) {
+    const draft = new Draft(contractData(previous));
+    const editor = draft.kind === "local" ? localEditor(draft) : draft;
+    // The editor interfaces track the edits in the types; at runtime every edit returns the same editor.
+    editWith(editor, edit, `${draft.path}: evolve`);
+    return createContract(draft.next());
+}
+/**
+ * Runs `edit` on `editor` (contracts' and tables' rule): an edit returning anything but the editor it was given throws
+ * (`what` names the call).
+ */
+export function editWith(editor, edit, what) {
+    if (edit(editor) !== editor)
+        throw new Error(`${what} must return the editor it was given`);
+}
+/** The next version under construction, and the remote editor. Every edit is checked as it is made. */
+class Draft {
+    kind;
+    path;
+    /** What edits return: the draft itself, or the local editor wrapping it. */
+    editor = this;
+    #data;
+    #version;
+    #variants;
+    #kinds;
+    #changes = [];
+    constructor(data) {
+        const current = data.versions.at(-1);
+        this.kind = data.kind;
+        this.#data = data;
+        this.#version = current.version + 1;
+        this.path = `${data.name} v${this.#version}`;
+        this.#variants = new Map([...current.variants].map(([name, { state, methods, keyed }]) => [
+            name,
+            { state: new Map(state), methods: new Map(methods), keyed: new Map(keyed) },
+        ]));
+        this.#kinds = new Map(data.kinds);
+    }
+    state(variant, member, schema) {
+        if (!this.#variant(variant).state.has(member)) {
+            throw new Error(`${this.#path(variant, member, "state")}: no such state member`);
+        }
+        return this.#putState(variant, member, schema);
+    }
+    addState(variant, member, schema) {
+        this.#refuseDeclared(variant, member, "state");
+        return this.#putState(variant, member, schema);
+    }
+    removeState(variant, member) {
+        if (!this.#variant(variant).state.delete(member)) {
+            throw new Error(`${this.#path(variant, member, "state")}: no such state member`);
+        }
+        return this.editor;
+    }
+    args(member, args) {
+        return this.#changeMethod(member, args, undefined);
+    }
+    result(member, result) {
+        return this.#changeMethod(member, undefined, result);
+    }
+    method(member, args, result) {
+        return this.#changeMethod(member, args, result);
+    }
+    addMethod(variant, member, args, result) {
+        this.#refuseDeclared(variant, member, "method");
+        this.#variant(variant).methods.set(member, readMethod(new Method(args, result), this.#path(variant, member, "method")));
+        this.#changes.push([variant, member, "args"], [variant, member, "result"]);
+        return this.#checked();
+    }
+    keyed(variant, member, schema) {
+        if (!this.#variant(variant).keyed.has(member)) {
+            throw new Error(`${this.#path(variant, member, "keyed")}: no such keyed member`);
+        }
+        return this.#putKeyed(variant, member, schema);
+    }
+    addKeyed(variant, member, schema) {
+        this.#refuseDeclared(variant, member, "keyed");
+        return this.#putKeyed(variant, member, schema);
+    }
+    removeKeyed(variant, member) {
+        if (!this.#variant(variant).keyed.delete(member)) {
+            throw new Error(`${this.#path(variant, member, "keyed")}: no such keyed member`);
+        }
+        return this.editor;
+    }
+    removeMethod(member) {
+        for (const variant of this.#variantsWith(member))
+            this.#variant(variant).methods.delete(member);
+        return this.editor;
+    }
+    /** The contract data with this version appended. */
+    next() {
+        const { kind, params, versions } = this.#data;
+        const version = materialize(kind, params, this.#version, this.#variants, this.#changes);
+        return { ...this.#data, versions: [...versions, version], kinds: this.#kinds };
+    }
+    #putState(variant, member, schema) {
+        this.#variant(variant).state.set(member, snapshotSchema(schema, this.#path(variant, member, "state")));
+        this.#changes.push([variant, member, "state"]);
+        return this.#checked();
+    }
+    #putKeyed(variant, member, schema) {
+        this.#variant(variant).keyed.set(member, snapshotSchema(schema, this.#path(variant, member, "keyed")));
+        this.#changes.push([variant, member, "keyed"]);
+        return this.#checked();
+    }
+    /** Changes the given sides of a method in every variant that has it. */
+    #changeMethod(member, args, result) {
+        const variants = this.#variantsWith(member);
+        const path = this.#path(variants[0], member, "method");
+        const newArgs = args === undefined ? undefined : snapshotArguments(args, `${path}.args`);
+        const newResult = result === undefined ? undefined : snapshotSchema(result, `${path}.result`);
+        for (const variant of variants) {
+            const { methods } = this.#variant(variant);
+            const old = methods.get(member);
+            methods.set(member, { args: newArgs ?? old.args, result: newResult ?? old.result });
+            if (newArgs !== undefined)
+                this.#changes.push([variant, member, "args"]);
+            if (newResult !== undefined)
+                this.#changes.push([variant, member, "result"]);
+        }
+        return this.#checked();
+    }
+    #variant(variant) {
+        const found = this.#variants.get(variant);
+        if (found === undefined) {
+            throw new Error(`${this.path}.${variant}: unknown variant (the variant set never changes)`);
+        }
+        return found;
+    }
+    #variantsWith(member) {
+        const variants = [...this.#variants].filter(([, { methods }]) => methods.has(member)).map(([variant]) => variant);
+        if (variants.length === 0)
+            throw new Error(`${this.path}: no method "${member}"`);
+        return variants;
+    }
+    #refuseDeclared(variant, member, kind) {
+        const { state, methods, keyed } = this.#variant(variant);
+        if (state.has(member) || methods.has(member) || keyed.has(member)) {
+            throw new Error(`${this.#path(variant, member, kind)}: already declared`);
+        }
+    }
+    #path(variant, member, kind) {
+        return memberPath(this.path, this.kind, variant, member, kind);
+    }
+    /** A member's kind never changes, also not after a removal; a method keeps one signature across variants. */
+    #checked() {
+        checkMembers(this.#variants, this.#kinds, (variant, member, kind) => this.#path(variant, member, kind));
+        return this.editor;
+    }
+}
+/** The local editor: the draft's edits with the variant filled in. */
+function localEditor(draft) {
+    draft.editor = {
+        state: (member, schema) => draft.state(LOCAL, member, schema),
+        addState: (member, schema) => draft.addState(LOCAL, member, schema),
+        removeState: (member) => draft.removeState(LOCAL, member),
+        addMethod: (member, args, result) => draft.addMethod(LOCAL, member, args, result),
+        args: (member, args) => draft.args(member, args),
+        result: (member, result) => draft.result(member, result),
+        method: (member, args, result) => draft.method(member, args, result),
+        removeMethod: (member) => draft.removeMethod(member),
+        keyed: (member, schema) => draft.keyed(LOCAL, member, schema),
+        addKeyed: (member, schema) => draft.addKeyed(LOCAL, member, schema),
+        removeKeyed: (member) => draft.removeKeyed(LOCAL, member),
+    };
+    return draft.editor;
+}
+//# sourceMappingURL=evolve.js.map

package/dist/next/contracts/evolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evolve.js","sourceRoot":"","sources":["../../../src/next/contracts/evolve.ts"],"names":[],"mappings":"AAAA,0GAA0G;AAE1G,OAAO,EAKN,YAAY,EACZ,cAAc,EAEd,KAAK,GAIL,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACpE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,EAAE,MAAM,EAAe,MAAM,aAAa,CAAC;AAClD,OAAO,EAAiB,iBAAiB,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAkJjF;;;GAGG;AACH,MAAM,UAAU,MAAM,CACrB,QAAW,EACX,IAAgC;IAEhC,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACnE,qGAAqG;IACrG,QAAQ,CAAC,MAAgC,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,UAAU,CAAC,CAAC;IAC1E,OAAO,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;AACrC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAI,MAAS,EAAE,IAA4B,EAAE,IAAY;IAChF,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,sCAAsC,CAAC,CAAC;AAC7F,CAAC;AASD,uGAAuG;AACvG,MAAM,KAAK;IACD,IAAI,CAAO;IACX,IAAI,CAAS;IACtB,4EAA4E;IAC5E,MAAM,GAAW,IAAI,CAAC;IACb,KAAK,CAAe;IACpB,QAAQ,CAAS;IACjB,SAAS,CAA4B;IACrC,MAAM,CAA0B;IAChC,QAAQ,GAAa,EAAE,CAAC;IAEjC,YAAY,IAAkB;QAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;QACtC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7C,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CACvB,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAChE,IAAI;YACJ,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE;SAC3E,CAAC,CACF,CAAC;QACF,IAAI,CAAC,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IAED,KAAK,CAAC,OAAe,EAAE,MAAc,EAAE,MAAc;QACpD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAED,QAAQ,CAAC,OAAe,EAAE,MAAc,EAAE,MAAc;QACvD,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAED,WAAW,CAAC,OAAe,EAAE,MAAc;QAC1C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;IAED,IAAI,CAAC,MAAc,EAAE,IAAY;QAChC,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,CAAC,MAAc,EAAE,MAAc;QACpC,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACtD,CAAC;IAED,MAAM,CAAC,MAAc,EAAE,IAAY,EAAE,MAAc;QAClD,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACjD,CAAC;IAED,SAAS,CAAC,OAAe,EAAE,MAAc,EAAE,IAAY,EAAE,MAAc;QACtE,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CACjC,MAAM,EACN,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAC3E,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC3E,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACxB,CAAC;IAED,KAAK,CAAC,OAAe,EAAE,MAAc,EAAE,MAAc;QACpD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAED,QAAQ,CAAC,OAAe,EAAE,MAAc,EAAE,MAAc;QACvD,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAED,WAAW,CAAC,OAAe,EAAE,MAAc;QAC1C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;IAED,YAAY,CAAC,MAAc;QAC1B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAChG,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;IAED,oDAAoD;IACpD,IAAI;QACH,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC;QAC9C,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxF,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IAChF,CAAC;IAED,SAAS,CAAC,OAAe,EAAE,MAAc,EAAE,MAAc;QACxD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QACvG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACxB,CAAC;IAED,SAAS,CAAC,OAAe,EAAE,MAAc,EAAE,MAAc;QACxD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QACvG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACxB,CAAC;IAED,wEAAwE;IACxE,aAAa,CAAC,MAAc,EAAE,IAAwB,EAAE,MAA0B;QACjF,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,IAAI,OAAO,CAAC,CAAC;QACzF,MAAM,SAAS,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;QAC9F,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAChC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC3C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;YACjC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,IAAI,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;YACpF,IAAI,OAAO,KAAK,SAAS;gBAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YACzE,IAAI,SAAS,KAAK,SAAS;gBAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC9E,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IACxB,CAAC;IAED,QAAQ,CAAC,OAAe;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,OAAO,mDAAmD,CAAC,CAAC;QAC7F,CAAC;QACD,OAAO,KAAK,CAAC;IACd,CAAC;IAED,aAAa,CAAC,MAAc;QAC3B,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC;QAClH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,gBAAgB,MAAM,GAAG,CAAC,CAAC;QAClF,OAAO,QAAQ,CAAC;IACjB,CAAC;IAED,eAAe,CAAC,OAAe,EAAE,MAAc,EAAE,IAAgB;QAChE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACzD,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACnE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC3E,CAAC;IACF,CAAC;IAED,KAAK,CAAC,OAAe,EAAE,MAAc,EAAE,IAAgB;QACtD,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAChE,CAAC;IAED,6GAA6G;IAC7G,QAAQ;QACP,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACxG,OAAO,IAAI,CAAC,MAAM,CAAC;IACpB,CAAC;CACD;AAED,sEAAsE;AACtE,SAAS,WAAW,CAAC,KAAY;IAChC,KAAK,CAAC,MAAM,GAAG;QACd,KAAK,EAAE,CAAC,MAAc,EAAE,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;QAC7E,QAAQ,EAAE,CAAC,MAAc,EAAE,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;QACnF,WAAW,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC;QACjE,SAAS,EAAE,CAAC,MAAc,EAAE,IAAY,EAAE,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC;QACzG,IAAI,EAAE,CAAC,MAAc,EAAE,IAAY,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;QAChE,MAAM,EAAE,CAAC,MAAc,EAAE,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;QACxE,MAAM,EAAE,CAAC,MAAc,EAAE,IAAY,EAAE,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC;QAC5F,YAAY,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC;QAC5D,KAAK,EAAE,CAAC,MAAc,EAAE,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;QAC7E,QAAQ,EAAE,CAAC,MAAc,EAAE,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;QACnF,WAAW,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC;KACjE,CAAC;IACF,OAAO,KAAK,CAAC,MAAM,CAAC;AACrB,CAAC","sourcesContent":["// Evolution: `evolve(previous, (e) => e...)` appends the next version of a history with structured edits.\n\nimport {\n\ttype Contract,\n\ttype ContractData,\n\ttype ContractShape,\n\ttype CurrentVariants,\n\tcontractData,\n\tcreateContract,\n\ttype Kind,\n\tLOCAL,\n\ttype MemberKind,\n\ttype MethodData,\n\ttype ShapeOf,\n} from \"./contract.ts\";\nimport { checkMembers, memberPath, readMethod } from \"./declare.ts\";\nimport { materialize } from \"./fingerprint.ts\";\nimport type { Change, CurrentStep, Increment, MemberNames, MethodAt, Variants, VariantsWith } from \"./history.ts\";\nimport { Method, type Schema } from \"./schema.ts\";\nimport { type Snapshot, snapshotArguments, snapshotSchema } from \"./snapshot.ts\";\n\n/** Method edits, the same for both kinds: each changes the method in every variant that has it. */\ninterface MethodEditor<K extends Kind, V extends Variants, C extends Change> {\n\t/** Type only: the variants after the edits so far. */\n\treadonly \"~variants\"?: V;\n\t/** Type only: the changes made by the edits so far. */\n\treadonly \"~changes\"?: C;\n\targs<M extends MemberNames<V, \"methods\">, A extends Schema>(\n\t\tmember: M,\n\t\targs: A,\n\t): Editor<\n\t\tK,\n\t\tPut<V, VariantsWith<V, M>, \"methods\", M, Method<A, MethodAt<V, M>[\"result\"]>>,\n\t\tC | [VariantsWith<V, M>, M, \"args\"]\n\t>;\n\tresult<M extends MemberNames<V, \"methods\">, R extends Schema>(\n\t\tmember: M,\n\t\tresult: R,\n\t): Editor<\n\t\tK,\n\t\tPut<V, VariantsWith<V, M>, \"methods\", M, Method<MethodAt<V, M>[\"args\"], R>>,\n\t\tC | [VariantsWith<V, M>, M, \"result\"]\n\t>;\n\tmethod<M extends MemberNames<V, \"methods\">, A extends Schema, R extends Schema>(\n\t\tmember: M,\n\t\targs: A,\n\t\tresult: R,\n\t): Editor<K, Put<V, VariantsWith<V, M>, \"methods\", M, Method<A, R>>, C | [VariantsWith<V, M>, M, \"args\" | \"result\"]>;\n\tremoveMethod<M extends MemberNames<V, \"methods\">>(member: M): Editor<K, Drop<V, keyof V, \"methods\", M>, C>;\n}\n\n/** Edits of a remote contract. */\ninterface RemoteEditor<V extends Variants, C extends Change> extends MethodEditor<\"remote\", V, C> {\n\tstate<X extends keyof V & string, M extends keyof V[X][\"state\"] & string, S extends Schema>(\n\t\tvariant: X,\n\t\tmember: M,\n\t\tschema: S,\n\t): RemoteEditor<Put<V, X, \"state\", M, S>, C | [X, M, \"state\"]>;\n\taddState<X extends keyof V & string, const M extends string, S extends Schema>(\n\t\tvariant: X,\n\t\tmember: M,\n\t\tschema: S,\n\t): RemoteEditor<Put<V, X, \"state\", M, S>, C | [X, M, \"state\"]>;\n\tremoveState<X extends keyof V & string, M extends keyof V[X][\"state\"] & string>(\n\t\tvariant: X,\n\t\tmember: M,\n\t): RemoteEditor<Drop<V, X, \"state\", M>, C>;\n\taddMethod<X extends keyof V & string, const M extends string, A extends Schema, R extends Schema>(\n\t\tvariant: X,\n\t\tmember: M,\n\t\targs: A,\n\t\tresult: R,\n\t): RemoteEditor<Put<V, X, \"methods\", M, Method<A, R>>, C | [X, M, \"args\" | \"result\"]>;\n}\n\n/** Edits of a local contract: like remote ones, without a variant. */\ninterface LocalEditor<V extends Variants, C extends Change> extends MethodEditor<\"local\", V, C> {\n\tstate<M extends keyof V[Local][\"state\"] & string, S extends Schema>(\n\t\tmember: M,\n\t\tschema: S,\n\t): LocalEditor<Put<V, Local, \"state\", M, S>, C | [Local, M, \"state\"]>;\n\taddState<const M extends string, S extends Schema>(\n\t\tmember: M,\n\t\tschema: S,\n\t): LocalEditor<Put<V, Local, \"state\", M, S>, C | [Local, M, \"state\"]>;\n\tremoveState<M extends keyof V[Local][\"state\"] & string>(member: M): LocalEditor<Drop<V, Local, \"state\", M>, C>;\n\taddMethod<const M extends string, A extends Schema, R extends Schema>(\n\t\tmember: M,\n\t\targs: A,\n\t\tresult: R,\n\t): LocalEditor<Put<V, Local, \"methods\", M, Method<A, R>>, C | [Local, M, \"args\" | \"result\"]>;\n\t/** Changes keyed member `member`'s schema (slice 7b: an older consumer reads each key mapped, or is refused). */\n\tkeyed<M extends KeyedNames<V> & string, S extends Schema>(\n\t\tmember: M,\n\t\tschema: S,\n\t): LocalEditor<PutKeyed<V, M, S>, C | [Local, M, \"keyed\"]>;\n\taddKeyed<const M extends string, S extends Schema>(\n\t\tmember: M,\n\t\tschema: S,\n\t): LocalEditor<PutKeyed<V, M, S>, C | [Local, M, \"keyed\"]>;\n\tremoveKeyed<M extends KeyedNames<V> & string>(member: M): LocalEditor<DropKeyed<V, M>, C>;\n}\n\n/** The local variant's keyed member names. */\ntype KeyedNames<V extends Variants> = keyof NonNullable<V[Local][\"keyed\"]>;\n\n/** The local variant with keyed member `M` set to `T`. */\ntype PutKeyed<V extends Variants, M extends string, T> = {\n\t[Y in keyof V]: Y extends Local\n\t\t? {\n\t\t\t\t[S in keyof V[Y] | \"keyed\"]: S extends \"keyed\"\n\t\t\t\t\t? {\n\t\t\t\t\t\t\t[K in keyof NonNullable<V[Y][\"keyed\"]> | M]: K extends M ? T : NonNullable<V[Y][\"keyed\"]>[K];\n\t\t\t\t\t\t}\n\t\t\t\t\t: V[Y][S & keyof V[Y]];\n\t\t\t}\n\t\t: V[Y];\n};\n\n/** The local variant without keyed member `M`. */\ntype DropKeyed<V extends Variants, M extends string> = {\n\t[Y in keyof V]: Y extends Local\n\t\t? { [S in keyof V[Y]]: S extends \"keyed\" ? Omit<NonNullable<V[Y][\"keyed\"]>, M> : V[Y][S] }\n\t\t: V[Y];\n};\n\ntype Local = typeof LOCAL;\n\ntype Editor<K extends Kind, V extends Variants, C extends Change> = K extends \"remote\"\n\t? RemoteEditor<V, C>\n\t: LocalEditor<V, C>;\n\ntype EditorOf<C extends Contract> = Editor<ShapeOf<C>[\"kind\"], CurrentVariants<C>, never>;\n\n/** Variants `X` with member `M` of `Side` set to `T`. */\ntype Put<V extends Variants, X, Side extends EditedSide, M extends string, T> = {\n\t[Y in keyof V]: Y extends X\n\t\t? {\n\t\t\t\t[S in keyof V[Y]]: S extends Side ? { [K in keyof V[Y][S] | M]: K extends M ? T : V[Y][S][K] } : V[Y][S];\n\t\t\t}\n\t\t: V[Y];\n};\n\n/** Variants `X` without member `M` of `Side`. */\ntype Drop<V extends Variants, X, Side extends EditedSide, M extends string> = {\n\t[Y in keyof V]: Y extends X ? { [S in keyof V[Y]]: S extends Side ? Omit<V[Y][S], M> : V[Y][S] } : V[Y];\n};\n\n/** The sides of a variant that `Put` and `Drop` edit (keyed members have their own, `PutKeyed` and `DropKeyed`). */\ntype EditedSide = \"state\" | \"methods\";\n\ntype Evolved<S extends ContractShape, E extends MethodEditor<S[\"kind\"], Variants, Change>> = {\n\tkind: S[\"kind\"];\n\tname: S[\"name\"];\n\tparams: S[\"params\"];\n\thistory: [\n\t\t...S[\"history\"],\n\t\t{\n\t\t\tversion: Increment<CurrentStep<S[\"history\"]>[\"version\"]>;\n\t\t\tvariants: NonNullable<E[\"~variants\"]>;\n\t\t\tchanges: NonNullable<E[\"~changes\"]>;\n\t\t},\n\t];\n};\n\n/**\n * Appends the next version (`previous.version + 1`) with the edits `edit` makes; `edit` must return the editor it was\n * given. Params and the variant set never change: a change to either is a new history base.\n */\nexport function evolve<C extends Contract, E extends MethodEditor<ShapeOf<C>[\"kind\"], Variants, Change>>(\n\tprevious: C,\n\tedit: (editor: EditorOf<C>) => E,\n): Contract<Evolved<ShapeOf<C>, E>> {\n\tconst draft = new Draft(contractData(previous));\n\tconst editor = draft.kind === \"local\" ? localEditor(draft) : draft;\n\t// The editor interfaces track the edits in the types; at runtime every edit returns the same editor.\n\teditWith(editor as unknown as EditorOf<C>, edit, `${draft.path}: evolve`);\n\treturn createContract(draft.next());\n}\n\n/**\n * Runs `edit` on `editor` (contracts' and tables' rule): an edit returning anything but the editor it was given throws\n * (`what` names the call).\n */\nexport function editWith<E>(editor: E, edit: (editor: E) => unknown, what: string): void {\n\tif (edit(editor) !== editor) throw new Error(`${what} must return the editor it was given`);\n}\n\n/** A variant under construction. */\ntype DraftVariant = {\n\treadonly state: Map<string, Snapshot>;\n\treadonly methods: Map<string, MethodData>;\n\treadonly keyed: Map<string, Snapshot>;\n};\n\n/** The next version under construction, and the remote editor. Every edit is checked as it is made. */\nclass Draft {\n\treadonly kind: Kind;\n\treadonly path: string;\n\t/** What edits return: the draft itself, or the local editor wrapping it. */\n\teditor: object = this;\n\treadonly #data: ContractData;\n\treadonly #version: number;\n\treadonly #variants: Map<string, DraftVariant>;\n\treadonly #kinds: Map<string, MemberKind>;\n\treadonly #changes: Change[] = [];\n\n\tconstructor(data: ContractData) {\n\t\tconst current = data.versions.at(-1)!;\n\t\tthis.kind = data.kind;\n\t\tthis.#data = data;\n\t\tthis.#version = current.version + 1;\n\t\tthis.path = `${data.name} v${this.#version}`;\n\t\tthis.#variants = new Map(\n\t\t\t[...current.variants].map(([name, { state, methods, keyed }]) => [\n\t\t\t\tname,\n\t\t\t\t{ state: new Map(state), methods: new Map(methods), keyed: new Map(keyed) },\n\t\t\t]),\n\t\t);\n\t\tthis.#kinds = new Map(data.kinds);\n\t}\n\n\tstate(variant: string, member: string, schema: Schema): object {\n\t\tif (!this.#variant(variant).state.has(member)) {\n\t\t\tthrow new Error(`${this.#path(variant, member, \"state\")}: no such state member`);\n\t\t}\n\t\treturn this.#putState(variant, member, schema);\n\t}\n\n\taddState(variant: string, member: string, schema: Schema): object {\n\t\tthis.#refuseDeclared(variant, member, \"state\");\n\t\treturn this.#putState(variant, member, schema);\n\t}\n\n\tremoveState(variant: string, member: string): object {\n\t\tif (!this.#variant(variant).state.delete(member)) {\n\t\t\tthrow new Error(`${this.#path(variant, member, \"state\")}: no such state member`);\n\t\t}\n\t\treturn this.editor;\n\t}\n\n\targs(member: string, args: Schema): object {\n\t\treturn this.#changeMethod(member, args, undefined);\n\t}\n\n\tresult(member: string, result: Schema): object {\n\t\treturn this.#changeMethod(member, undefined, result);\n\t}\n\n\tmethod(member: string, args: Schema, result: Schema): object {\n\t\treturn this.#changeMethod(member, args, result);\n\t}\n\n\taddMethod(variant: string, member: string, args: Schema, result: Schema): object {\n\t\tthis.#refuseDeclared(variant, member, \"method\");\n\t\tthis.#variant(variant).methods.set(\n\t\t\tmember,\n\t\t\treadMethod(new Method(args, result), this.#path(variant, member, \"method\")),\n\t\t);\n\t\tthis.#changes.push([variant, member, \"args\"], [variant, member, \"result\"]);\n\t\treturn this.#checked();\n\t}\n\n\tkeyed(variant: string, member: string, schema: Schema): object {\n\t\tif (!this.#variant(variant).keyed.has(member)) {\n\t\t\tthrow new Error(`${this.#path(variant, member, \"keyed\")}: no such keyed member`);\n\t\t}\n\t\treturn this.#putKeyed(variant, member, schema);\n\t}\n\n\taddKeyed(variant: string, member: string, schema: Schema): object {\n\t\tthis.#refuseDeclared(variant, member, \"keyed\");\n\t\treturn this.#putKeyed(variant, member, schema);\n\t}\n\n\tremoveKeyed(variant: string, member: string): object {\n\t\tif (!this.#variant(variant).keyed.delete(member)) {\n\t\t\tthrow new Error(`${this.#path(variant, member, \"keyed\")}: no such keyed member`);\n\t\t}\n\t\treturn this.editor;\n\t}\n\n\tremoveMethod(member: string): object {\n\t\tfor (const variant of this.#variantsWith(member)) this.#variant(variant).methods.delete(member);\n\t\treturn this.editor;\n\t}\n\n\t/** The contract data with this version appended. */\n\tnext(): ContractData {\n\t\tconst { kind, params, versions } = this.#data;\n\t\tconst version = materialize(kind, params, this.#version, this.#variants, this.#changes);\n\t\treturn { ...this.#data, versions: [...versions, version], kinds: this.#kinds };\n\t}\n\n\t#putState(variant: string, member: string, schema: Schema): object {\n\t\tthis.#variant(variant).state.set(member, snapshotSchema(schema, this.#path(variant, member, \"state\")));\n\t\tthis.#changes.push([variant, member, \"state\"]);\n\t\treturn this.#checked();\n\t}\n\n\t#putKeyed(variant: string, member: string, schema: Schema): object {\n\t\tthis.#variant(variant).keyed.set(member, snapshotSchema(schema, this.#path(variant, member, \"keyed\")));\n\t\tthis.#changes.push([variant, member, \"keyed\"]);\n\t\treturn this.#checked();\n\t}\n\n\t/** Changes the given sides of a method in every variant that has it. */\n\t#changeMethod(member: string, args: Schema | undefined, result: Schema | undefined): object {\n\t\tconst variants = this.#variantsWith(member);\n\t\tconst path = this.#path(variants[0]!, member, \"method\");\n\t\tconst newArgs = args === undefined ? undefined : snapshotArguments(args, `${path}.args`);\n\t\tconst newResult = result === undefined ? undefined : snapshotSchema(result, `${path}.result`);\n\t\tfor (const variant of variants) {\n\t\t\tconst { methods } = this.#variant(variant);\n\t\t\tconst old = methods.get(member)!;\n\t\t\tmethods.set(member, { args: newArgs ?? old.args, result: newResult ?? old.result });\n\t\t\tif (newArgs !== undefined) this.#changes.push([variant, member, \"args\"]);\n\t\t\tif (newResult !== undefined) this.#changes.push([variant, member, \"result\"]);\n\t\t}\n\t\treturn this.#checked();\n\t}\n\n\t#variant(variant: string): DraftVariant {\n\t\tconst found = this.#variants.get(variant);\n\t\tif (found === undefined) {\n\t\t\tthrow new Error(`${this.path}.${variant}: unknown variant (the variant set never changes)`);\n\t\t}\n\t\treturn found;\n\t}\n\n\t#variantsWith(member: string): string[] {\n\t\tconst variants = [...this.#variants].filter(([, { methods }]) => methods.has(member)).map(([variant]) => variant);\n\t\tif (variants.length === 0) throw new Error(`${this.path}: no method \"${member}\"`);\n\t\treturn variants;\n\t}\n\n\t#refuseDeclared(variant: string, member: string, kind: MemberKind): void {\n\t\tconst { state, methods, keyed } = this.#variant(variant);\n\t\tif (state.has(member) || methods.has(member) || keyed.has(member)) {\n\t\t\tthrow new Error(`${this.#path(variant, member, kind)}: already declared`);\n\t\t}\n\t}\n\n\t#path(variant: string, member: string, kind: MemberKind): string {\n\t\treturn memberPath(this.path, this.kind, variant, member, kind);\n\t}\n\n\t/** A member's kind never changes, also not after a removal; a method keeps one signature across variants. */\n\t#checked(): object {\n\t\tcheckMembers(this.#variants, this.#kinds, (variant, member, kind) => this.#path(variant, member, kind));\n\t\treturn this.editor;\n\t}\n}\n\n/** The local editor: the draft's edits with the variant filled in. */\nfunction localEditor(draft: Draft): object {\n\tdraft.editor = {\n\t\tstate: (member: string, schema: Schema) => draft.state(LOCAL, member, schema),\n\t\taddState: (member: string, schema: Schema) => draft.addState(LOCAL, member, schema),\n\t\tremoveState: (member: string) => draft.removeState(LOCAL, member),\n\t\taddMethod: (member: string, args: Schema, result: Schema) => draft.addMethod(LOCAL, member, args, result),\n\t\targs: (member: string, args: Schema) => draft.args(member, args),\n\t\tresult: (member: string, result: Schema) => draft.result(member, result),\n\t\tmethod: (member: string, args: Schema, result: Schema) => draft.method(member, args, result),\n\t\tremoveMethod: (member: string) => draft.removeMethod(member),\n\t\tkeyed: (member: string, schema: Schema) => draft.keyed(LOCAL, member, schema),\n\t\taddKeyed: (member: string, schema: Schema) => draft.addKeyed(LOCAL, member, schema),\n\t\tremoveKeyed: (member: string) => draft.removeKeyed(LOCAL, member),\n\t};\n\treturn draft.editor;\n}\n"]}

package/dist/next/contracts/fingerprint.d.ts

@@ -0,0 +1,16 @@
+import type { JsonValue } from "../../json.ts";
+import { type Kind, type VariantData, type VersionData } from "./contract.ts";
+import type { Change } from "./history.ts";
+import type { ParamsData } from "./params.ts";
+/** Version of the normal form; changing the normal form changes it and is a link-protocol change. */
+export declare const NORMAL_FORM_VERSION = 2;
+/**
+ * Materializes a version with its fingerprint: `hash64` of `JSON.stringify({ normalFormVersion, value })` over the
+ * normal form `{ kind: "remote", params, variants }` or `{ kind: "local", params, members }`.
+ */
+export declare function materialize(kind: Kind, params: ParamsData, version: number, variants: ReadonlyMap<string, VariantData>, changes: readonly Change[]): VersionData;
+/** `hash64` of `JSON.stringify({ normalFormVersion, value: normal })`: the fingerprint of a normal form. */
+export declare function fingerprintOf(normal: JsonValue): string;
+/** 16 hex characters from two 32-bit FNV-1a lanes (different offset bases and primes) over the UTF-8 bytes. */
+export declare function hash64(text: string): string;
+//# sourceMappingURL=fingerprint.d.ts.map

package/dist/next/contracts/fingerprint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/fingerprint.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,KAAK,IAAI,EAAS,KAAK,WAAW,EAAE,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AACrF,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,qGAAqG;AACrG,eAAO,MAAM,mBAAmB,IAAI,CAAC;AAErC;;;GAGG;AACH,wBAAgB,WAAW,CAC1B,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,UAAU,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EAC1C,OAAO,EAAE,SAAS,MAAM,EAAE,GACxB,WAAW,CAUb;AAED,4GAA4G;AAC5G,wBAAgB,aAAa,CAAC,MAAM,EAAE,SAAS,GAAG,MAAM,CAEvD;AAoBD,+GAA+G;AAC/G,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQ3C"}

package/dist/next/contracts/fingerprint.js

@@ -0,0 +1,50 @@
+// Fingerprints: the normal form of a contract version and its portable 64-bit hash. Not a security boundary.
+import { LOCAL } from "./contract.js";
+/** Version of the normal form; changing the normal form changes it and is a link-protocol change. */
+export const NORMAL_FORM_VERSION = 2;
+/**
+ * Materializes a version with its fingerprint: `hash64` of `JSON.stringify({ normalFormVersion, value })` over the
+ * normal form `{ kind: "remote", params, variants }` or `{ kind: "local", params, members }`.
+ */
+export function materialize(kind, params, version, variants, changes) {
+    const normal = kind === "local"
+        ? { kind, params: params.normal, members: variantNormal(variants.get(LOCAL)) }
+        : {
+            kind,
+            params: params.normal,
+            variants: sortedDict([...variants].map(([name, v]) => [name, variantNormal(v)])),
+        };
+    return { version, fingerprint: fingerprintOf(normal), variants, changes };
+}
+/** `hash64` of `JSON.stringify({ normalFormVersion, value: normal })`: the fingerprint of a normal form. */
+export function fingerprintOf(normal) {
+    return hash64(JSON.stringify({ normalFormVersion: NORMAL_FORM_VERSION, value: normal }));
+}
+/**
+ * Members as a sorted dictionary of `{ state }`, `{ args, result }` or `{ keyed }` (slice 6a §12: a node of its own,
+ * so contracts without keyed members keep their fingerprints and `NORMAL_FORM_VERSION` stays).
+ */
+function variantNormal({ state, methods, keyed }) {
+    return sortedDict([
+        ...[...state].map(([member, schema]) => [member, { state: schema.normal }]),
+        ...[...keyed].map(([member, schema]) => [member, { keyed: schema.normal }]),
+        ...[...methods].map(([member, { args, result }]) => [member, { args: args.normal, result: result.normal }]),
+    ]);
+}
+function sortedDict(entries) {
+    return Object.fromEntries(entries.sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0)));
+}
+/** 16 hex characters from two 32-bit FNV-1a lanes (different offset bases and primes) over the UTF-8 bytes. */
+export function hash64(text) {
+    let low = 0x811c9dc5;
+    let high = 0xcbf29ce4;
+    for (const byte of new TextEncoder().encode(text)) {
+        low = Math.imul(low ^ byte, 0x01000193);
+        high = Math.imul(high ^ byte, 0x01000197);
+    }
+    return hex(high) + hex(low);
+}
+function hex(lane) {
+    return (lane >>> 0).toString(16).padStart(8, "0");
+}
+//# sourceMappingURL=fingerprint.js.map

package/dist/next/contracts/fingerprint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../../../src/next/contracts/fingerprint.ts"],"names":[],"mappings":"AAAA,6GAA6G;AAG7G,OAAO,EAAa,KAAK,EAAsC,MAAM,eAAe,CAAC;AAIrF,qGAAqG;AACrG,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAErC;;;GAGG;AACH,MAAM,UAAU,WAAW,CAC1B,IAAU,EACV,MAAkB,EAClB,OAAe,EACf,QAA0C,EAC1C,OAA0B;IAE1B,MAAM,MAAM,GACX,IAAI,KAAK,OAAO;QACf,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,EAAE;QAC/E,CAAC,CAAC;YACA,IAAI;YACJ,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,QAAQ,EAAE,UAAU,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAChF,CAAC;IACL,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAC3E,CAAC;AAED,4GAA4G;AAC5G,MAAM,UAAU,aAAa,CAAC,MAAiB;IAC9C,OAAO,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAe;IAC5D,OAAO,UAAU,CAAC;QACjB,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAU,CAAC;QACpF,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAU,CAAC;QACpF,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAClB,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAU,CAC/F;KACD,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,OAAyC;IAC5D,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,+GAA+G;AAC/G,MAAM,UAAU,MAAM,CAAC,IAAY;IAClC,IAAI,GAAG,GAAG,UAAU,CAAC;IACrB,IAAI,IAAI,GAAG,UAAU,CAAC;IACtB,KAAK,MAAM,IAAI,IAAI,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC;QACxC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,EAAE,UAAU,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,GAAG,CAAC,IAAY;IACxB,OAAO,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACnD,CAAC","sourcesContent":["// Fingerprints: the normal form of a contract version and its portable 64-bit hash. Not a security boundary.\n\nimport type { JsonValue } from \"../../json.ts\";\nimport { type Kind, LOCAL, type VariantData, type VersionData } from \"./contract.ts\";\nimport type { Change } from \"./history.ts\";\nimport type { ParamsData } from \"./params.ts\";\n\n/** Version of the normal form; changing the normal form changes it and is a link-protocol change. */\nexport const NORMAL_FORM_VERSION = 2;\n\n/**\n * Materializes a version with its fingerprint: `hash64` of `JSON.stringify({ normalFormVersion, value })` over the\n * normal form `{ kind: \"remote\", params, variants }` or `{ kind: \"local\", params, members }`.\n */\nexport function materialize(\n\tkind: Kind,\n\tparams: ParamsData,\n\tversion: number,\n\tvariants: ReadonlyMap<string, VariantData>,\n\tchanges: readonly Change[],\n): VersionData {\n\tconst normal: JsonValue =\n\t\tkind === \"local\"\n\t\t\t? { kind, params: params.normal, members: variantNormal(variants.get(LOCAL)!) }\n\t\t\t: {\n\t\t\t\t\tkind,\n\t\t\t\t\tparams: params.normal,\n\t\t\t\t\tvariants: sortedDict([...variants].map(([name, v]) => [name, variantNormal(v)])),\n\t\t\t\t};\n\treturn { version, fingerprint: fingerprintOf(normal), variants, changes };\n}\n\n/** `hash64` of `JSON.stringify({ normalFormVersion, value: normal })`: the fingerprint of a normal form. */\nexport function fingerprintOf(normal: JsonValue): string {\n\treturn hash64(JSON.stringify({ normalFormVersion: NORMAL_FORM_VERSION, value: normal }));\n}\n\n/**\n * Members as a sorted dictionary of `{ state }`, `{ args, result }` or `{ keyed }` (slice 6a §12: a node of its own,\n * so contracts without keyed members keep their fingerprints and `NORMAL_FORM_VERSION` stays).\n */\nfunction variantNormal({ state, methods, keyed }: VariantData): JsonValue {\n\treturn sortedDict([\n\t\t...[...state].map(([member, schema]) => [member, { state: schema.normal }] as const),\n\t\t...[...keyed].map(([member, schema]) => [member, { keyed: schema.normal }] as const),\n\t\t...[...methods].map(\n\t\t\t([member, { args, result }]) => [member, { args: args.normal, result: result.normal }] as const,\n\t\t),\n\t]);\n}\n\nfunction sortedDict(entries: (readonly [string, JsonValue])[]): JsonValue {\n\treturn Object.fromEntries(entries.sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0)));\n}\n\n/** 16 hex characters from two 32-bit FNV-1a lanes (different offset bases and primes) over the UTF-8 bytes. */\nexport function hash64(text: string): string {\n\tlet low = 0x811c9dc5;\n\tlet high = 0xcbf29ce4;\n\tfor (const byte of new TextEncoder().encode(text)) {\n\t\tlow = Math.imul(low ^ byte, 0x01000193);\n\t\thigh = Math.imul(high ^ byte, 0x01000197);\n\t}\n\treturn hex(high) + hex(low);\n}\n\nfunction hex(lane: number): string {\n\treturn (lane >>> 0).toString(16).padStart(8, \"0\");\n}\n"]}