@earendil-works/chord 1.5.0 → 1.5.1

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

@@ -1,121 +0,0 @@
-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/next/contracts/contract.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/contract.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7D,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/next/contracts/contract.js.map

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

@@ -1 +0,0 @@
-{"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.map

@@ -1 +0,0 @@
-{"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.map

@@ -1 +0,0 @@
-{"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.map

@@ -1 +0,0 @@
-{"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

@@ -1,16 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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.map

@@ -1 +0,0 @@
-{"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"]}

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

@@ -1 +0,0 @@
-{"version":3,"file":"history.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/history.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAElD,iFAAiF;AACjF,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;IACtD,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;IACxD,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;CACvD,CAAC;AAEF,2EAA2E;AAC3E,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,CAAC;AAEpE;;;GAGG;AACH,MAAM,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,MAAM,GAAG,QAAQ,GAAG,OAAO,CAAC,CAAC;AAE7G,8GAA8G;AAC9G,KAAK,IAAI,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhG,iDAAiD;AACjD,MAAM,MAAM,OAAO,GAAG,SAAS,IAAI,EAAE,CAAC;AAEtC,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,SAAS,CAAC,GAAG,IAAI,EAAE,EAAE,MAAM,IAAI,SAAS,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAEpH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AAEtG,uCAAuC;AACvC,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,SAAS,CAAC,GAAG,MAAM,KAAK,SAAS,IAAI,EAAE,EAAE,IAAI,CAAC,GACpG,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GACxB,KAAK,CAAC;AAET,2CAA2C;AAC3C,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,SAAS,IAAI,EAAE,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,SAAS;IAC1F,MAAM,KAAK,SAAS,IAAI;IACxB,GAAG,MAAM,IAAI,SAAS,IAAI,EAAE;CAC5B,GACE,KAAK,CAAC,SAAS,CAAC,SAAS,CAAC,GACzB,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GACvB,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,GACtB,KAAK,CAAC;AAET,4DAA4D;AAC5D,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,QAAQ,EAAE,IAAI,SAAS,MAAM,YAAY,IAAI;KAC7E,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;CAChC,CAAC,MAAM,CAAC,CAAC,GACT,MAAM,CAAC;AAER,yCAAyC;AACzC,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,IAAI;KAChD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK;CAC3D,CAAC,MAAM,CAAC,CAAC,GACT,MAAM,CAAC;AAER,+DAA+D;AAC/D,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,IAAI;KAC5C,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAC5E,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,2EAA2E;AAC3E,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,IAAI,GAAG,GACjE,GAAG,IAAI,SAAS,EAAE,GAAG,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,GAC7C;KAAG,CAAC,IAAI,MAAM,SAAS,GAAG,CAAC,SAAS,GAAG,MAAM,IAAI,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK;CAAE,CAAC,MAAM,SAAS,CAAC,CAAC;AAEjH,KAAK,SAAS,GAAG;IAAE,GAAG,EAAE,GAAG,CAAC;IAAC,GAAG,EAAE,GAAG,CAAC;IAAC,GAAG,EAAE,GAAG,CAAC;IAAC,GAAG,EAAE,GAAG,CAAC;IAAC,GAAG,EAAE,GAAG,CAAC;IAAC,GAAG,EAAE,GAAG,CAAC;IAAC,GAAG,EAAE,GAAG,CAAC;IAAC,GAAG,EAAE,GAAG,CAAC;IAAC,GAAG,EAAE,GAAG,CAAA;CAAE,CAAC"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"history.js","sourceRoot":"","sources":["../../../src/next/contracts/history.ts"],"names":[],"mappings":"AAAA,kGAAkG","sourcesContent":["// The type-level history of a contract: every version's members and the changes that produced it.\n\nimport type { Method, Schema } from \"./schema.ts\";\n\n/** One variant's members at one version: state schemas and method signatures. */\nexport type VariantShape = {\n\treadonly state: { readonly [member: string]: Schema };\n\treadonly methods: { readonly [member: string]: Method };\n\t/** A local contract's keyed state members (slice 6a §12). */\n\treadonly keyed?: { readonly [member: string]: Schema };\n};\n\n/** Variants by name. A local contract has the single variant `members`. */\nexport type Variants = { readonly [variant: string]: VariantShape };\n\n/**\n * What one edit changed: one side of one member in one variant (a union of variants when it changed several); `keyed`\n * for a local contract's keyed member (slice 7b).\n */\nexport type Change = readonly [variant: string, member: string, side: \"state\" | \"args\" | \"result\" | \"keyed\"];\n\n/** One version: its number as digits, its variants, and the changes that produced it (`never` for a base). */\ntype Step = { readonly version: string; readonly variants: Variants; readonly changes: Change };\n\n/** Every version from the base, oldest first. */\nexport type History = readonly Step[];\n\nexport type CurrentStep<H extends History> = H extends readonly [...Step[], infer Last extends Step] ? Last : never;\n\nexport type StepAt<H extends History, V extends string> = Extract<H[number], { readonly version: V }>;\n\n/** Versions before the current one. */\nexport type OlderVersions<H extends History> = H extends readonly [...infer Older extends Step[], Step]\n\t? Older[number][\"version\"]\n\t: never;\n\n/** Every change made after version `V`. */\nexport type ChangesAfter<H extends readonly Step[], V extends string> = H extends readonly [\n\tinfer First extends Step,\n\t...infer Rest extends Step[],\n]\n\t? First[\"version\"] extends V\n\t\t? Rest[number][\"changes\"]\n\t\t: ChangesAfter<Rest, V>\n\t: never;\n\n/** Names of the state members or methods in any variant. */\nexport type MemberNames<V extends Variants, Side extends keyof VariantShape> = {\n\t[X in keyof V]: keyof V[X][Side];\n}[keyof V] &\n\tstring;\n\n/** The variants that have method `M`. */\nexport type VariantsWith<V extends Variants, M> = {\n\t[X in keyof V]: M extends keyof V[X][\"methods\"] ? X : never;\n}[keyof V] &\n\tstring;\n\n/** Method `M` (one signature in every variant that has it). */\nexport type MethodAt<V extends Variants, M> = {\n\t[X in keyof V]: M extends keyof V[X][\"methods\"] ? V[X][\"methods\"][M] : never;\n}[keyof V];\n\n/** `N + 1` on decimal digits, so versions beyond 9 and 99 stay literal. */\nexport type Increment<N extends string> = N extends `${infer Init}9`\n\t? `${Init extends \"\" ? \"1\" : Increment<Init>}0`\n\t: { [D in keyof NextDigit]: N extends `${infer Init}${D}` ? `${Init}${NextDigit[D]}` : never }[keyof NextDigit];\n\ntype NextDigit = { \"0\": \"1\"; \"1\": \"2\"; \"2\": \"3\"; \"3\": \"4\"; \"4\": \"5\"; \"5\": \"6\"; \"6\": \"7\"; \"7\": \"8\"; \"8\": \"9\" };\n"]}

package/dist/next/contracts/host-kind.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"host-kind.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/host-kind.ts"],"names":[],"mappings":"AAIA,OAAO,EAAW,KAAK,MAAM,EAAE,KAAK,UAAU,EAAE,KAAK,cAAc,EAAc,MAAM,aAAa,CAAC;AACrG,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,oFAAoF;AACpF,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/E,kHAAkH;AAClH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI;IACtD,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,+EAA+E;AAC/E,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IAC7E,CACC,GAAG,MAAM,EAAE,MAAM,CAAC,SAAS,KAAK,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE;SAAG,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,CAAC,GAC7G,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,oCAAoC;IACpC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;CACvB;AAED,wCAAwC;AACxC,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,SAAS,IAAI;KAC9C,CAAC,IAAI,MAAM,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5E,CAAC;AAEF;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC7F,IAAI,EAAE,CAAC,EACP,MAAM,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GACrC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAchB;AAID,0CAA0C;AAC1C,wBAAgB,UAAU,CAAC,IAAI,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,UAAU,CAItE;AAED,oGAAoG;AACpG,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE;IAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,GAAG,MAAM,CAElH"}

package/dist/next/contracts/host-kind.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"host-kind.js","sourceRoot":"","sources":["../../../src/next/contracts/host-kind.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,oFAAoF;AAEpF,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,OAAO,EAAqD,UAAU,EAAE,MAAM,aAAa,CAAC;AA4BrG;;;GAGG;AACH,MAAM,UAAU,QAAQ,CACvB,IAAO,EACP,MAAuC;IAEvC,SAAS,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IACtC,sGAAsG;IACtG,IAAI,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;IAChH,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,CAAC,MAAM,GAA0C,EAAE,EAAE,EAAE,CAAC,CAAC;QACrE,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,MAAM;QACd,GAAG,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC;KACnC,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtB,0FAA0F;IAC1F,OAAO,IAAiC,CAAC;AAC1C,CAAC;AAED,MAAM,KAAK,GAAG,IAAI,OAAO,EAAsB,CAAC;AAEhD,0CAA0C;AAC1C,MAAM,UAAU,UAAU,CAAC,IAA+B;IACzD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,4BAA4B,CAAC,CAAC;IAClF,OAAO,IAAI,CAAC;AACb,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,MAAkB,EAAE,MAA6C;IACzG,OAAO,OAAO,CAAC,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChF,CAAC","sourcesContent":["// Host kinds and addresses (§3): a kind of addressable host with params like a contract's, and the address of one\n// host of a kind, which a remote contract's `hostAddress` computes from its params.\n\nimport { checkName } from \"./names.ts\";\nimport { joinKey, type Params, type ParamsData, type RequiredFields, readParams } from \"./params.ts\";\nimport type { Static } from \"./schema.ts\";\n\n/** What an address's type needs of its kind: the name and the params, type only. */\nexport type KindShape = { readonly kind: string; readonly \"~params\"?: Params };\n\n/** One host of a kind: the kind's name, its params and its key (`session|S1`); two addresses are equal by key. */\nexport type Address<K extends KindShape = KindShape> = {\n\treadonly kind: K[\"kind\"];\n\treadonly params: ParamsOfKind<K>;\n\treadonly key: string;\n};\n\n/** A kind of addressable host: called with its params, it makes an address. */\nexport interface HostKind<N extends string = string, P extends Params = Params> {\n\t(\n\t\t...params: keyof P extends never ? [params?: Record<never, never>] : [params: { [F in keyof P]: Static<P[F]> }]\n\t): Address<HostKind<N, P>>;\n\treadonly kind: N;\n\t/** Type only: absent at runtime. */\n\treadonly \"~params\"?: P;\n}\n\n/** The params object of a host kind. */\nexport type ParamsOfKind<K extends KindShape> = {\n\t[F in keyof NonNullable<K[\"~params\"]>]: Static<NonNullable<K[\"~params\"]>[F]>;\n};\n\n/**\n * Declares a host kind; `params` follow the params policy of contracts (a flat record of required `str()`, `int()`,\n * `bool()` and `oneOf(...)`). Making an address computes its key only: its params are checked where it is routed.\n */\nexport function hostKind<const N extends string, const P extends Params = Record<never, never>>(\n\tname: N,\n\tparams?: P & NoInfer<RequiredFields<P>>,\n): HostKind<N, P> {\n\tcheckName(name, \"A host kind's name\");\n\t// `client` is the host kind of a host without an address in store names (owner strings, table names).\n\tif (name === \"client\") throw new Error('A host kind\\'s name \"client\" is reserved for hosts without an address');\n\tconst data = readParams(Object.entries(params ?? {}), `${name}.params`);\n\tconst make = (values: { readonly [field: string]: unknown } = {}) => ({\n\t\tkind: name,\n\t\tparams: values,\n\t\tkey: addressKey(name, data, values),\n\t});\n\tObject.defineProperty(make, \"kind\", { value: name, enumerable: true });\n\tkinds.set(make, data);\n\t// The function and its `kind` are the declared shape; the params type is type-level only.\n\treturn make as unknown as HostKind<N, P>;\n}\n\nconst kinds = new WeakMap<object, ParamsData>();\n\n/** The params of a declared host kind. */\nexport function kindParams(kind: { readonly kind: string }): ParamsData {\n\tconst data = kinds.get(kind);\n\tif (data === undefined) throw new Error(`${kind.kind}: not a declared host kind`);\n\treturn data;\n}\n\n/** An address's key: the kind's name and each field value in declared order, joined (`joinKey`). */\nexport function addressKey(kind: string, params: ParamsData, values: { readonly [field: string]: unknown }): string {\n\treturn joinKey([kind, ...params.fields.map((field) => String(values[field]))]);\n}\n"]}

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/index.ts"],"names":[],"mappings":"AAEA,YAAY,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,YAAY,EAAE,QAAQ,EAAE,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACxF,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,QAAQ,EAAE,QAAQ,EAAE,KAAK,SAAS,EAAE,KAAK,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC1G,OAAO,EACN,GAAG,EACH,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,IAAI,EACJ,KAAK,EACL,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,GAAG,EACH,KAAK,WAAW,EAChB,KAAK,EACL,GAAG,EACH,GAAG,EACH,MAAM,EACN,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,GAAG,EACH,GAAG,EACH,KAAK,QAAQ,EACb,GAAG,EACH,KAAK,EACL,GAAG,EACH,KAAK,MAAM,EACX,KAAK,MAAM,EACX,KAAK,YAAY,EACjB,GAAG,EACH,KAAK,EACL,OAAO,GACP,MAAM,aAAa,CAAC"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/next/contracts/index.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAI/E,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAA+B,QAAQ,EAAqC,MAAM,gBAAgB,CAAC;AAC1G,OAAO,EACN,GAAG,EAGH,IAAI,EACJ,KAAK,EAGL,GAAG,EAEH,KAAK,EACL,GAAG,EACH,GAAG,EACH,MAAM,EAGN,GAAG,EACH,GAAG,EAEH,GAAG,EACH,KAAK,EACL,GAAG,EAIH,GAAG,EACH,KAAK,EACL,OAAO,GACP,MAAM,aAAa,CAAC","sourcesContent":["// Contracts for apps: declaring, evolving and implementing Chord object types.\n\nexport type { AcceptsTable } from \"./accepts.ts\";\nexport type { Contract, Implementation, KeyedWatchable, ParamsOf } from \"./contract.ts\";\nexport { local, remote } from \"./declare.ts\";\nexport { evolve } from \"./evolve.ts\";\nexport { type Address, type HostKind, hostKind, type KindShape, type ParamsOfKind } from \"./host-kind.ts\";\nexport {\n\tarr,\n\ttype BooleanSchema,\n\ttype Bounds,\n\tbool,\n\tbytes,\n\ttype Defaulted,\n\ttype IntegerSchema,\n\tint,\n\ttype KeyedMember,\n\tkeyed,\n\tlit,\n\tmap,\n\tmethod,\n\ttype NullSchema,\n\ttype NumberSchema,\n\tnul,\n\tnum,\n\ttype Optional,\n\tobj,\n\toneOf,\n\topt,\n\ttype Schema,\n\ttype Static,\n\ttype StringSchema,\n\tstr,\n\tunion,\n\tunknown,\n} from \"./schema.ts\";\n"]}

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

@@ -1 +0,0 @@
-{"version":3,"file":"internal.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/internal.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EACN,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,YAAY,EACZ,eAAe,EACf,KAAK,EACL,KAAK,UAAU,EACf,KAAK,OAAO,EACZ,WAAW,EACX,KAAK,WAAW,EAChB,KAAK,qBAAqB,EAC1B,KAAK,YAAY,EACjB,YAAY,EACZ,YAAY,EACZ,UAAU,GACV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAC9E,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"internal.js","sourceRoot":"","sources":["../../../src/next/contracts/internal.ts"],"names":[],"mappings":"AAAA,sHAAsH;AAEtH,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAGN,YAAY,EACZ,eAAe,EACf,KAAK,EAGL,WAAW,EAIX,YAAY,EACZ,YAAY,EACZ,UAAU,GACV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAE9E,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC","sourcesContent":["// Contracts for Chord's layers: accepted versions, the data behind a contract handle, and the types L4 dispatches on.\n\nexport { checkAccepts } from \"./accepts.ts\";\nexport {\n\ttype ContractShape,\n\ttype CurrentVariants,\n\tcontractData,\n\tcurrentVariants,\n\tLOCAL,\n\ttype MethodData,\n\ttype ShapeOf,\n\ttakesNoArgs,\n\ttype VariantData,\n\ttype VariantImplementation,\n\ttype VariantNames,\n\tvariantNames,\n\tvariantOrder,\n\tvariantsAt,\n} from \"./contract.ts\";\nexport { editWith } from \"./evolve.ts\";\nexport { fingerprintOf, hash64, NORMAL_FORM_VERSION } from \"./fingerprint.ts\";\nexport type { Increment } from \"./history.ts\";\nexport { kindParams } from \"./host-kind.ts\";\nexport { checkName } from \"./names.ts\";\nexport type { Params, ParamsData } from \"./params.ts\";\nexport { Method } from \"./schema.ts\";\n"]}

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

@@ -1 +0,0 @@
-{"version":3,"file":"names.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/names.ts"],"names":[],"mappings":"AAOA,4GAA4G;AAC5G,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAK1D"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"names.js","sourceRoot":"","sources":["../../../src/next/contracts/names.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,gHAAgH;AAChH,2GAA2G;AAE3G,mGAAmG;AACnG,MAAM,IAAI,GAAG,mBAAmB,CAAC;AAEjC,4GAA4G;AAC5G,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,IAAY;IACnD,2DAA2D;IAC3D,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IACvF,CAAC;AACF,CAAC","sourcesContent":["// Names that become SQL names or stored identities in the store (decision \"Restricted names\"): object types, host\n// kinds, tables, state definitions and jobs use npm package-name characters, lowercase, so `<host kind>:<object\n// type>:<table>` is injective and readable, and a document's or a job record's name is stored as declared.\n\n/** Lowercase npm package-name characters: `:` cannot occur, so names joined with it stay apart. */\nconst NAME = /^[a-z0-9@/._~-]+$/;\n\n/** Throws unless `name` is a nonempty lowercase name of `[a-z0-9@/._~-]` (`what` names it in the error). */\nexport function checkName(name: string, what: string): void {\n\t// Declaration policy: JavaScript callers reach this check.\n\tif (typeof name !== \"string\" || !NAME.test(name)) {\n\t\tthrow new Error(`${what} ${JSON.stringify(name)}: expected lowercase [a-z0-9@/._~-]`);\n\t}\n}\n"]}

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

@@ -1,28 +0,0 @@
-import type { JsonValue } from "../../json.ts";
-import { type BooleanSchema, type IntegerSchema, type LiteralsSchema, type Optional, type Schema, type StringSchema } from "./schema.ts";
-/** A params field: a string, an integer, a boolean or a union of string literals; constraints allowed, no default. */
-type ParamSchema = (StringSchema | IntegerSchema | BooleanSchema | LiteralsSchema<string>) & {
-    readonly default?: never;
-};
-/** Params: a flat record of required fields, in identity order. */
-export type Params = {
-    readonly [field: string]: ParamSchema;
-};
-/** Refuses optional params fields, which the field types alone admit. */
-export type RequiredFields<P extends Params> = {
-    [F in keyof P]: P[F] extends Optional ? never : P[F];
-};
-export type ParamsData = {
-    /** Field names in identity order. */
-    readonly fields: readonly string[];
-    /** The closed object schema of all fields. */
-    readonly schema: Schema;
-    /** `[field, normal form]` pairs in identity order. */
-    readonly normal: JsonValue;
-};
-/** Reads declared params fields: each a required str(), int(), bool() or oneOf(...) of strings, constraints allowed. */
-export declare function readParams(declared: readonly [string, unknown][], path: string): ParamsData;
-/** Joins key parts with `|`, each escaped (`\\` and `|`), so two different part lists never join to one key. */
-export declare function joinKey(parts: readonly string[]): string;
-export {};
-//# sourceMappingURL=params.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"params.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/params.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EACN,KAAK,aAAa,EAClB,KAAK,aAAa,EAElB,KAAK,cAAc,EACnB,KAAK,QAAQ,EACb,KAAK,MAAM,EACX,KAAK,YAAY,EACjB,MAAM,aAAa,CAAC;AAGrB,sHAAsH;AACtH,KAAK,WAAW,GAAG,CAAC,YAAY,GAAG,aAAa,GAAG,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,GAAG;IAC5F,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC;CACzB,CAAC;AAEF,mEAAmE;AACnE,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,CAAA;CAAE,CAAC;AAE/D,yEAAyE;AACzE,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,IAAI;KAC7C,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACxB,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,8CAA8C;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;CAC3B,CAAC;AAEF,wHAAwH;AACxH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAoB3F;AAED,gHAAgH;AAChH,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAExD"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"params.js","sourceRoot":"","sources":["../../../src/next/contracts/params.ts"],"names":[],"mappings":"AAAA,uGAAuG;AAGvG,OAAO,EAGN,UAAU,GAKV,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAwB/C,wHAAwH;AACxH,MAAM,UAAU,UAAU,CAAC,QAAsC,EAAE,IAAY;IAC9E,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE;QAC/C,MAAM,SAAS,GAAG,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,KAAK,CAAC,GAAG,SAAS,uEAAuE,CAAC,CAAC;QAC/G,IAAI,UAAU,CAAC,MAAM,CAAC;YAAE,MAAM,OAAO,CAAC;QACtC,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACnD,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,MAAM,OAAO,CAAC;QACnD,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAU,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG;QACd,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3F,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC;QACxC,oBAAoB,EAAE,KAAK;KAC3B,CAAC;IACF,OAAO;QACN,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC;QACtC,MAAM;QACN,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;KACnE,CAAC;AACH,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,OAAO,CAAC,KAAwB;IAC/C,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5F,CAAC;AAID,SAAS,aAAa,CAAC,MAAiB;IACvC,MAAM,IAAI,GAAG,MAAoB,CAAC;IAClC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IACzG,CAAC;IACD,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,gDAAgD;AAChD,MAAM,cAAc,GAAG,IAAI,GAAG,CAA+B;IAC5D,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC5E,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,YAAY,CAAC,CAAC,CAAC;IAC1G,CAAC,SAAS,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;CAC9B,CAAC,CAAC;AAEH,SAAS,eAAe,CAAC,MAAiB;IACzC,MAAM,IAAI,GAAG,MAAoB,CAAC;IAClC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AACnG,CAAC","sourcesContent":["// Params declarations: the policy for params fields and the closed object schema checked on every get.\n\nimport type { JsonValue } from \"../../json.ts\";\nimport {\n\ttype BooleanSchema,\n\ttype IntegerSchema,\n\tisOptional,\n\ttype LiteralsSchema,\n\ttype Optional,\n\ttype Schema,\n\ttype StringSchema,\n} from \"./schema.ts\";\nimport { snapshotSchema } from \"./snapshot.ts\";\n\n/** A params field: a string, an integer, a boolean or a union of string literals; constraints allowed, no default. */\ntype ParamSchema = (StringSchema | IntegerSchema | BooleanSchema | LiteralsSchema<string>) & {\n\treadonly default?: never;\n};\n\n/** Params: a flat record of required fields, in identity order. */\nexport type Params = { readonly [field: string]: ParamSchema };\n\n/** Refuses optional params fields, which the field types alone admit. */\nexport type RequiredFields<P extends Params> = {\n\t[F in keyof P]: P[F] extends Optional ? never : P[F];\n};\n\nexport type ParamsData = {\n\t/** Field names in identity order. */\n\treadonly fields: readonly string[];\n\t/** The closed object schema of all fields. */\n\treadonly schema: Schema;\n\t/** `[field, normal form]` pairs in identity order. */\n\treadonly normal: JsonValue;\n};\n\n/** Reads declared params fields: each a required str(), int(), bool() or oneOf(...) of strings, constraints allowed. */\nexport function readParams(declared: readonly [string, unknown][], path: string): ParamsData {\n\tconst fields = declared.map(([field, schema]) => {\n\t\tconst fieldPath = `${path}.${field}`;\n\t\tconst refused = new Error(`${fieldPath}: a param is a required str(), int(), bool() or oneOf(...) of strings`);\n\t\tif (isOptional(schema)) throw refused;\n\t\tconst snapshot = snapshotSchema(schema, fieldPath);\n\t\tif (!isParamSchema(snapshot.normal)) throw refused;\n\t\treturn [field, snapshot] as const;\n\t});\n\tconst schema = {\n\t\ttype: \"object\",\n\t\tproperties: Object.fromEntries(fields.map(([field, snapshot]) => [field, snapshot.schema])),\n\t\trequired: fields.map(([field]) => field),\n\t\tadditionalProperties: false,\n\t};\n\treturn {\n\t\tfields: fields.map(([field]) => field),\n\t\tschema,\n\t\tnormal: fields.map(([field, snapshot]) => [field, snapshot.normal]),\n\t};\n}\n\n/** Joins key parts with `|`, each escaped (`\\\\` and `|`), so two different part lists never join to one key. */\nexport function joinKey(parts: readonly string[]): string {\n\treturn parts.map((part) => part.replaceAll(\"\\\\\", \"\\\\\\\\\").replaceAll(\"|\", \"\\\\|\")).join(\"|\");\n}\n\ntype SchemaNode = { readonly [keyword: string]: JsonValue };\n\nfunction isParamSchema(normal: JsonValue): boolean {\n\tconst node = normal as SchemaNode;\n\tif (node.anyOf !== undefined) {\n\t\treturn Object.keys(node).length === 1 && Array.isArray(node.anyOf) && node.anyOf.every(isStringLiteral);\n\t}\n\tconst allowed = PARAM_KEYWORDS.get(node.type);\n\treturn allowed !== undefined && Object.keys(node).every((key) => allowed.has(key));\n}\n\n/** Keywords a params field may use, by type. */\nconst PARAM_KEYWORDS = new Map<unknown, ReadonlySet<string>>([\n\t[\"string\", new Set([\"type\", \"minLength\", \"maxLength\", \"pattern\", \"format\"])],\n\t[\"integer\", new Set([\"type\", \"minimum\", \"maximum\", \"exclusiveMinimum\", \"exclusiveMaximum\", \"multipleOf\"])],\n\t[\"boolean\", new Set([\"type\"])],\n]);\n\nfunction isStringLiteral(branch: JsonValue): boolean {\n\tconst node = branch as SchemaNode;\n\treturn node.type === \"string\" && typeof node.const === \"string\" && Object.keys(node).length === 2;\n}\n"]}

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

@@ -1 +0,0 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/schema.ts"],"names":[],"mappings":"AAIA,OAAO,EAON,QAAQ,EAER,KAAK,UAAU,EACf,KAAK,MAAM,EACX,KAAK,MAAM,EACX,KAAK,YAAY,EAIjB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAEpF,8DAA8D;AAC9D,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtE,kGAAkG;AAClG,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;CAAE,CAAC;AAKnD,kFAAkF;AAClF,MAAM,WAAW,YAAa,SAAQ,MAAM,CAAC,MAAM,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CACxB;AAED,iCAAiC;AACjC,MAAM,WAAW,YAAa,SAAQ,MAAM,CAAC,MAAM,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CACxB;AAED,mCAAmC;AACnC,MAAM,WAAW,aAAc,SAAQ,MAAM,CAAC,MAAM,CAAC;IACpD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CACzB;AAED,mCAAmC;AACnC,MAAM,WAAW,aAAc,SAAQ,MAAM,CAAC,OAAO,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CACzB;AAED,sEAAsE;AACtE,MAAM,WAAW,UAAW,SAAQ,MAAM,CAAC,IAAI,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACtB;AAED,0CAA0C;AAC1C,MAAM,WAAW,cAAc,CAAC,CAAC,SAAS,OAAO,CAAE,SAAQ,MAAM,CAAC,CAAC,CAAC;IACnE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;CACrC;AAED,kEAAkE;AAClE,wBAAgB,GAAG,CAClB,OAAO,EAAE,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACvE,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;AACpC,wBAAgB,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,YAAY,CAAC;AAUpF,wEAAwE;AACxE,wBAAgB,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;AACtG,wBAAgB,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC;AAKpD,mEAAmE;AACnE,wBAAgB,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG,aAAa,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;AACvG,wBAAgB,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC;AAKrD,2CAA2C;AAC3C,wBAAgB,IAAI,CAAC,OAAO,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAAG,aAAa,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;AACjG,wBAAgB,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,aAAa,CAAC;AAUpE,iDAAiD;AACjD,wBAAgB,GAAG,IAAI,UAAU,CAGhC;AAED,sFAAsF;AACtF,wBAAgB,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAEhE;AAED,gDAAgD;AAChD,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;AAEhD,0EAA0E;AAC1E,wBAAgB,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAExF;AAED,gCAAgC;AAChC,wBAAgB,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAE9F;AAED,uFAAuF;AACvF,wBAAgB,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,UAAU,EAAE,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAEtF;AAED,6CAA6C;AAC7C,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,GAAE,MAAW,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAE1E;AAED,sEAAsE;AACtE,wBAAgB,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAElE;AAED,iBAAiB;AACjB,wBAAgB,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,CAEzC;AAED;;;GAGG;AACH,wBAAgB,KAAK,CAAC,OAAO,GAAE,MAAW,GAAG,MAAM,CAAC,UAAU,CAAC,CAE9D;AAUD,qDAAqD;AACrD,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,QAAQ,CAE5D;AAED,oGAAoG;AACpG,qBAAa,MAAM,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM;IACvE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAEnB,YAAY,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAG7B;CACD;AAED,yHAAyH;AACzH,qBAAa,WAAW,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM;IACjD,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAEnB,YAAY,MAAM,EAAE,CAAC,EAEpB;CACD;AAED,gHAAgH;AAChH,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAEjE;AAED,4GAA4G;AAC5G,wBAAgB,MAAM,IAAI,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AACzD,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;AACzE,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;AAC5F,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../src/next/contracts/schema.ts"],"names":[],"mappings":"AAAA,sHAAsH;AACtH,oHAAoH;AACpH,gGAAgG;AAEhG,OAAO,EACN,GAAG,IAAI,SAAS,EAChB,IAAI,IAAI,UAAU,EAClB,KAAK,IAAI,WAAW,EACpB,GAAG,IAAI,SAAS,EAChB,GAAG,IAAI,SAAS,EAChB,GAAG,IAAI,SAAS,EAChB,QAAQ,EACR,GAAG,IAAI,SAAS,EAKhB,GAAG,IAAI,SAAS,EAChB,KAAK,IAAI,WAAW,EACpB,OAAO,IAAI,aAAa,GACxB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAA4B,MAAM,2BAA2B,CAAC;AA8CpF,MAAM,UAAU,GAAG,CAAC,OAAO,GAAsE,EAAE;IAClG,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;IAClF,OAAO,SAAS,CAAC;QAChB,GAAG,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC;QAC5C,GAAG,OAAO;QACV,GAAG,SAAS,CAAC,OAAO,CAAC;KACrB,CAAiB,CAAC;AACpB,CAAC;AAKD,MAAM,UAAU,GAAG,CAAC,OAAO,GAA2C,EAAE;IACvE,OAAO,SAAS,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,EAAE,CAAiB,CAAC;AACvG,CAAC;AAKD,MAAM,UAAU,GAAG,CAAC,OAAO,GAA2C,EAAE;IACvE,OAAO,SAAS,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,EAAE,CAAkB,CAAC;AACxG,CAAC;AAKD,MAAM,UAAU,IAAI,CAAC,OAAO,GAAmC,EAAE;IAChE,OAAO,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAkB,CAAC;AACxD,CAAC;AAED,+FAA+F;AAC/F,SAAS,SAAS,CAAsC,OAAiC;IACxF,OAAO,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;AAC1E,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,GAAG;IAClB,+CAA+C;IAC/C,OAAO,SAAS,EAAgB,CAAC;AAClC,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,GAAG,CAA0B,KAAQ;IACpD,OAAO,EAAE,IAAI,EAAE,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC7C,CAAC;AAKD,0EAA0E;AAC1E,MAAM,UAAU,KAAK,CAA4B,GAAG,MAAS;IAC5D,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;AACrD,CAAC;AAED,gCAAgC;AAChC,MAAM,UAAU,KAAK,CAAoC,OAAU;IAClE,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,GAAG,CAA6B,UAAa;IAC5D,OAAO,SAAS,CAAC,UAAU,CAAC,CAAC;AAC9B,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,GAAG,CAAI,KAAgB,EAAE,OAAO,GAAW,EAAE;IAC5D,OAAO,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,GAAG,CAAI,KAAgB;IACtC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;AACjE,CAAC;AAED,iBAAiB;AACjB,MAAM,UAAU,OAAO;IACtB,OAAO,aAAa,EAAE,CAAC;AACxB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,KAAK,CAAC,OAAO,GAAW,EAAE;IACzC,OAAO,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,6GAA6G;AAC7G,SAAS,MAAM,CAAC,OAAe,EAAE,GAAW,EAAE,GAAW;IACxD,MAAM,MAAM,GAAkC,EAAE,CAAC;IACjD,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC;IACzD,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC;IACzD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,UAAU,CAAC,KAAc;IACxC,OAAO,KAAK,YAAY,QAAQ,CAAC;AAClC,CAAC;AAED,oGAAoG;AACpG,MAAM,OAAO,MAAM;IACT,IAAI,CAAI;IACR,MAAM,CAAI;IAEnB,YAAY,IAAO,EAAE,MAAS;QAC7B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACtB,CAAC;CACD;AAED,yHAAyH;AACzH,MAAM,OAAO,WAAW;IACd,MAAM,CAAI;IAEnB,YAAY,MAAS;QACpB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACtB,CAAC;CACD;AAED,gHAAgH;AAChH,MAAM,UAAU,KAAK,CAAmB,MAAS;IAChD,OAAO,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAOD,MAAM,UAAU,MAAM,CAAC,IAAa,EAAE,MAAe;IACpD,OAAO,IAAI,MAAM,CAAC,IAAI,IAAI,GAAG,EAAE,EAAE,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC;AACnD,CAAC","sourcesContent":["// Schema helpers: Chord's short constructors over pi-schema's builders (plain JSON Schema, typed with the values they\n// accept), and method and keyed member declarations. The helpers keep the shapes contracts were fingerprinted with:\n// literals carry their `type`, `oneOf` is a union of literals, `map` a pattern-property record.\n\nimport {\n\tarr as arrSchema,\n\tbool as boolSchema,\n\tbytes as bytesSchema,\n\tint as intSchema,\n\tnul as nulSchema,\n\tnum as numSchema,\n\tOptional,\n\tobj as objSchema,\n\ttype Properties,\n\ttype Schema,\n\ttype Static,\n\ttype StaticObject,\n\tstr as strSchema,\n\tunion as unionSchema,\n\tunknown as unknownSchema,\n} from \"@earendil-works/pi-schema\";\n\nexport { Optional, opt, type Schema, type Static } from \"@earendil-works/pi-schema\";\n\n/** Bounds of a string length, a number or an array length. */\nexport type Bounds = { readonly min?: number; readonly max?: number };\n\n/** A declared default value: a table column with one may be left out of a `put` (slice 6a §5). */\nexport type Defaulted<T> = { readonly default: T };\n\n// Interfaces, not intersections: declarations of apps' exported contracts and tables name them (an intersection with\n// `Schema<T>` would print pi-schema's private brand, which declaration files cannot name).\n\n/** A string schema (`str()`), told apart from the other scalars by its `type`. */\nexport interface StringSchema extends Schema<string> {\n\treadonly type: \"string\";\n}\n\n/** A number schema (`num()`). */\nexport interface NumberSchema extends Schema<number> {\n\treadonly type: \"number\";\n}\n\n/** An integer schema (`int()`). */\nexport interface IntegerSchema extends Schema<number> {\n\treadonly type: \"integer\";\n}\n\n/** A boolean schema (`bool()`). */\nexport interface BooleanSchema extends Schema<boolean> {\n\treadonly type: \"boolean\";\n}\n\n/** The `null` schema (`nul()`): also the omitted side of a method. */\nexport interface NullSchema extends Schema<null> {\n\treadonly type: \"null\";\n}\n\n/** A union of literals (`oneOf(...)`). */\nexport interface LiteralsSchema<V extends Literal> extends Schema<V> {\n\treadonly anyOf: readonly Schema<V>[];\n}\n\n/** A string, with optional length bounds, pattern and default. */\nexport function str(\n\toptions: Bounds & { readonly pattern?: string; readonly default: string },\n): StringSchema & Defaulted<string>;\nexport function str(options?: Bounds & { readonly pattern?: string }): StringSchema;\nexport function str(options: Bounds & { readonly pattern?: string; readonly default?: string } = {}): StringSchema {\n\tconst pattern = options.pattern === undefined ? {} : { pattern: options.pattern };\n\treturn strSchema({\n\t\t...limits(options, \"minLength\", \"maxLength\"),\n\t\t...pattern,\n\t\t...defaultOf(options),\n\t}) as StringSchema;\n}\n\n/** A finite number within optional bounds, with an optional default. */\nexport function num(options: Bounds & { readonly default: number }): NumberSchema & Defaulted<number>;\nexport function num(options?: Bounds): NumberSchema;\nexport function num(options: Bounds & { readonly default?: number } = {}): NumberSchema {\n\treturn numSchema({ ...limits(options, \"minimum\", \"maximum\"), ...defaultOf(options) }) as NumberSchema;\n}\n\n/** An integer within optional bounds, with an optional default. */\nexport function int(options: Bounds & { readonly default: number }): IntegerSchema & Defaulted<number>;\nexport function int(options?: Bounds): IntegerSchema;\nexport function int(options: Bounds & { readonly default?: number } = {}): IntegerSchema {\n\treturn intSchema({ ...limits(options, \"minimum\", \"maximum\"), ...defaultOf(options) }) as IntegerSchema;\n}\n\n/** A boolean, with an optional default. */\nexport function bool(options: { readonly default: boolean }): BooleanSchema & Defaulted<boolean>;\nexport function bool(options?: Record<never, never>): BooleanSchema;\nexport function bool(options: { readonly default?: boolean } = {}): BooleanSchema {\n\treturn boolSchema(defaultOf(options)) as BooleanSchema;\n}\n\n/** The `default` keyword of `options`, left out when absent (snapshots refuse `undefined`). */\nfunction defaultOf<T extends string | number | boolean>(options: { readonly default?: T }): { default?: T } {\n\treturn options.default === undefined ? {} : { default: options.default };\n}\n\n/** `null`; also the omitted side of a method. */\nexport function nul(): NullSchema {\n\t// The builder's `type: \"null\"`, typed as such.\n\treturn nulSchema() as NullSchema;\n}\n\n/** Exactly the given value, with its JSON type (`{ type: \"string\", const: \"a\" }`). */\nexport function lit<const V extends Literal>(value: V): Schema<V> {\n\treturn { type: typeof value, const: value };\n}\n\n/** A value `lit(...)` and `oneOf(...)` take. */\nexport type Literal = string | number | boolean;\n\n/** One of the given literals: a union of `lit(...)` schemas, in order. */\nexport function oneOf<const V extends Literal[]>(...values: V): LiteralsSchema<V[number]> {\n\treturn { anyOf: values.map((value) => lit(value)) };\n}\n\n/** Any of the given schemas. */\nexport function union<const S extends readonly Schema[]>(schemas: S): Schema<Static<S[number]>> {\n\treturn unionSchema(schemas);\n}\n\n/** A closed object: unknown fields are refused; `opt(...)` marks an optional field. */\nexport function obj<const P extends Properties>(properties: P): Schema<StaticObject<P>> {\n\treturn objSchema(properties);\n}\n\n/** An array, with optional length bounds. */\nexport function arr<T>(items: Schema<T>, options: Bounds = {}): Schema<T[]> {\n\treturn arrSchema(items, limits(options, \"minItems\", \"maxItems\"));\n}\n\n/** A string-keyed record: one pattern property matching every key. */\nexport function map<T>(value: Schema<T>): Schema<Record<string, T>> {\n\treturn { type: \"object\", patternProperties: { \"^.*$\": value } };\n}\n\n/** Any value. */\nexport function unknown(): Schema<unknown> {\n\treturn unknownSchema();\n}\n\n/**\n * A `Uint8Array` leaf, checked by `instanceof` and length, never enumerated: `{ type: \"bytes\", minLength?, maxLength? }`\n * (pi-schema's extension of JSON Schema for values that never pass through JSON).\n */\nexport function bytes(options: Bounds = {}): Schema<Uint8Array> {\n\treturn bytesSchema(limits(options, \"minLength\", \"maxLength\"));\n}\n\n/** Builder options for the given bounds; an absent bound is left out, since snapshots refuse `undefined`. */\nfunction limits(options: Bounds, min: string, max: string): { [keyword: string]: number } {\n\tconst result: { [keyword: string]: number } = {};\n\tif (options.min !== undefined) result[min] = options.min;\n\tif (options.max !== undefined) result[max] = options.max;\n\treturn result;\n}\n\n/** Whether a declared object field is `opt(...)`. */\nexport function isOptional(value: unknown): value is Optional {\n\treturn value instanceof Optional;\n}\n\n/** A method declaration: its argument and result schemas; an omitted side is `null` on the wire. */\nexport class Method<A extends Schema = Schema, R extends Schema = Schema> {\n\treadonly args: A;\n\treadonly result: R;\n\n\tconstructor(args: A, result: R) {\n\t\tthis.args = args;\n\t\tthis.result = result;\n\t}\n}\n\n/** A keyed state member's declaration (slice 6a §12): documents of `schema` by string key; only in `local` contracts. */\nexport class KeyedMember<S extends Schema = Schema> {\n\treadonly schema: S;\n\n\tconstructor(schema: S) {\n\t\tthis.schema = schema;\n\t}\n}\n\n/** Declares a keyed state member of a `local` contract: documents of `schema` by string key, each watchable. */\nexport function keyed<S extends Schema>(schema: S): KeyedMember<S> {\n\treturn new KeyedMember(schema);\n}\n\n/** Declares a method: `method()`, `method(args)`, `method(args, result)` or `method(undefined, result)`. */\nexport function method(): Method<NullSchema, NullSchema>;\nexport function method<A extends Schema>(args: A): Method<A, NullSchema>;\nexport function method<R extends Schema>(args: undefined, result: R): Method<NullSchema, R>;\nexport function method<A extends Schema, R extends Schema>(args: A, result: R): Method<A, R>;\nexport function method(args?: Schema, result?: Schema): Method {\n\treturn new Method(args ?? nul(), result ?? nul());\n}\n"]}

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

@@ -1,16 +0,0 @@
-import type { JsonSchema } from "@earendil-works/pi-schema";
-import { type JsonValue } from "../../json.ts";
-/**
- * A Chord-owned copy of an app schema, its normal form, and whether it has a `bytes()` leaf (values crossing a link
- * then carry raw byte segments); immutable by convention.
- */
-export type Snapshot = {
-    readonly schema: JsonSchema;
-    readonly normal: JsonValue;
-    readonly bytes: boolean;
-};
-/** Snapshot of a state, result or params schema. Throws an Error naming `path` for anything outside the vocabulary. */
-export declare function snapshotSchema(source: unknown, path: string): Snapshot;
-/** Snapshot of a method's arguments: every object schema inside must also be closed (records allowed). */
-export declare function snapshotArguments(source: unknown, path: string): Snapshot;
-//# sourceMappingURL=snapshot.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../../src/next/contracts/snapshot.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAe,KAAK,SAAS,EAAE,MAAM,eAAe,CAAC;AAE5D;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AAE5G,uHAAuH;AACvH,wBAAgB,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAEtE;AAED,0GAA0G;AAC1G,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAEzE"}