@earendil-works/chord 1.4.0 → 1.5.0

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

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

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

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

@@ -0,0 +1,3 @@
+// The type-level history of a contract: every version's members and the changes that produced it.
+export {};
+//# sourceMappingURL=history.js.map

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

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

@@ -0,0 +1,40 @@
+import { type Params, type ParamsData, type RequiredFields } from "./params.ts";
+import type { Static } from "./schema.ts";
+/** What an address's type needs of its kind: the name and the params, type only. */
+export type KindShape = {
+    readonly kind: string;
+    readonly "~params"?: Params;
+};
+/** One host of a kind: the kind's name, its params and its key (`session|S1`); two addresses are equal by key. */
+export type Address<K extends KindShape = KindShape> = {
+    readonly kind: K["kind"];
+    readonly params: ParamsOfKind<K>;
+    readonly key: string;
+};
+/** A kind of addressable host: called with its params, it makes an address. */
+export interface HostKind<N extends string = string, P extends Params = Params> {
+    (...params: keyof P extends never ? [params?: Record<never, never>] : [params: {
+        [F in keyof P]: Static<P[F]>;
+    }]): Address<HostKind<N, P>>;
+    readonly kind: N;
+    /** Type only: absent at runtime. */
+    readonly "~params"?: P;
+}
+/** The params object of a host kind. */
+export type ParamsOfKind<K extends KindShape> = {
+    [F in keyof NonNullable<K["~params"]>]: Static<NonNullable<K["~params"]>[F]>;
+};
+/**
+ * Declares a host kind; `params` follow the params policy of contracts (a flat record of required `str()`, `int()`,
+ * `bool()` and `oneOf(...)`). Making an address computes its key only: its params are checked where it is routed.
+ */
+export declare function hostKind<const N extends string, const P extends Params = Record<never, never>>(name: N, params?: P & NoInfer<RequiredFields<P>>): HostKind<N, P>;
+/** The params of a declared host kind. */
+export declare function kindParams(kind: {
+    readonly kind: string;
+}): ParamsData;
+/** An address's key: the kind's name and each field value in declared order, joined (`joinKey`). */
+export declare function addressKey(kind: string, params: ParamsData, values: {
+    readonly [field: string]: unknown;
+}): string;
+//# sourceMappingURL=host-kind.d.ts.map

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

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

@@ -0,0 +1,37 @@
+// Host kinds and addresses (§3): a kind of addressable host with params like a contract's, and the address of one
+// host of a kind, which a remote contract's `hostAddress` computes from its params.
+import { checkName } from "./names.js";
+import { joinKey, readParams } from "./params.js";
+/**
+ * Declares a host kind; `params` follow the params policy of contracts (a flat record of required `str()`, `int()`,
+ * `bool()` and `oneOf(...)`). Making an address computes its key only: its params are checked where it is routed.
+ */
+export function hostKind(name, params) {
+    checkName(name, "A host kind's name");
+    // `client` is the host kind of a host without an address in store names (owner strings, table names).
+    if (name === "client")
+        throw new Error('A host kind\'s name "client" is reserved for hosts without an address');
+    const data = readParams(Object.entries(params ?? {}), `${name}.params`);
+    const make = (values = {}) => ({
+        kind: name,
+        params: values,
+        key: addressKey(name, data, values),
+    });
+    Object.defineProperty(make, "kind", { value: name, enumerable: true });
+    kinds.set(make, data);
+    // The function and its `kind` are the declared shape; the params type is type-level only.
+    return make;
+}
+const kinds = new WeakMap();
+/** The params of a declared host kind. */
+export function kindParams(kind) {
+    const data = kinds.get(kind);
+    if (data === undefined)
+        throw new Error(`${kind.kind}: not a declared host kind`);
+    return data;
+}
+/** An address's key: the kind's name and each field value in declared order, joined (`joinKey`). */
+export function addressKey(kind, params, values) {
+    return joinKey([kind, ...params.fields.map((field) => String(values[field]))]);
+}
+//# sourceMappingURL=host-kind.js.map

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

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

@@ -0,0 +1,7 @@
+export type { AcceptsTable } from "./accepts.ts";
+export type { Contract, Implementation, KeyedWatchable, ParamsOf } from "./contract.ts";
+export { local, remote } from "./declare.ts";
+export { evolve } from "./evolve.ts";
+export { type Address, type HostKind, hostKind, type KindShape, type ParamsOfKind } from "./host-kind.ts";
+export { arr, type BooleanSchema, type Bounds, bool, bytes, type Defaulted, type IntegerSchema, int, type KeyedMember, keyed, lit, map, method, type NullSchema, type NumberSchema, nul, num, type Optional, obj, oneOf, opt, type Schema, type Static, type StringSchema, str, union, unknown, } from "./schema.ts";
+//# sourceMappingURL=index.d.ts.map

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

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

@@ -0,0 +1,6 @@
+// Contracts for apps: declaring, evolving and implementing Chord object types.
+export { local, remote } from "./declare.js";
+export { evolve } from "./evolve.js";
+export { hostKind } from "./host-kind.js";
+export { arr, bool, bytes, int, keyed, lit, map, method, nul, num, obj, oneOf, opt, str, union, unknown, } from "./schema.js";
+//# sourceMappingURL=index.js.map

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

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

@@ -0,0 +1,10 @@
+export { checkAccepts } from "./accepts.ts";
+export { type ContractShape, type CurrentVariants, contractData, currentVariants, LOCAL, type MethodData, type ShapeOf, takesNoArgs, type VariantData, type VariantImplementation, type VariantNames, variantNames, variantOrder, variantsAt, } from "./contract.ts";
+export { editWith } from "./evolve.ts";
+export { fingerprintOf, hash64, NORMAL_FORM_VERSION } from "./fingerprint.ts";
+export type { Increment } from "./history.ts";
+export { kindParams } from "./host-kind.ts";
+export { checkName } from "./names.ts";
+export type { Params, ParamsData } from "./params.ts";
+export { Method } from "./schema.ts";
+//# sourceMappingURL=internal.d.ts.map

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

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

@@ -0,0 +1,9 @@
+// Contracts for Chord's layers: accepted versions, the data behind a contract handle, and the types L4 dispatches on.
+export { checkAccepts } from "./accepts.js";
+export { contractData, currentVariants, LOCAL, takesNoArgs, variantNames, variantOrder, variantsAt, } from "./contract.js";
+export { editWith } from "./evolve.js";
+export { fingerprintOf, hash64, NORMAL_FORM_VERSION } from "./fingerprint.js";
+export { kindParams } from "./host-kind.js";
+export { checkName } from "./names.js";
+export { Method } from "./schema.js";
+//# sourceMappingURL=internal.js.map

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

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

@@ -0,0 +1,3 @@
+/** Throws unless `name` is a nonempty lowercase name of `[a-z0-9@/._~-]` (`what` names it in the error). */
+export declare function checkName(name: string, what: string): void;
+//# sourceMappingURL=names.d.ts.map

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

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

@@ -0,0 +1,13 @@
+// Names that become SQL names or stored identities in the store (decision "Restricted names"): object types, host
+// kinds, tables, state definitions and jobs use npm package-name characters, lowercase, so `<host kind>:<object
+// type>:<table>` is injective and readable, and a document's or a job record's name is stored as declared.
+/** Lowercase npm package-name characters: `:` cannot occur, so names joined with it stay apart. */
+const NAME = /^[a-z0-9@/._~-]+$/;
+/** Throws unless `name` is a nonempty lowercase name of `[a-z0-9@/._~-]` (`what` names it in the error). */
+export function checkName(name, what) {
+    // Declaration policy: JavaScript callers reach this check.
+    if (typeof name !== "string" || !NAME.test(name)) {
+        throw new Error(`${what} ${JSON.stringify(name)}: expected lowercase [a-z0-9@/._~-]`);
+    }
+}
+//# sourceMappingURL=names.js.map

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

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

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

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

@@ -0,0 +1,50 @@
+// Params declarations: the policy for params fields and the closed object schema checked on every get.
+import { isOptional, } from "./schema.js";
+import { snapshotSchema } from "./snapshot.js";
+/** Reads declared params fields: each a required str(), int(), bool() or oneOf(...) of strings, constraints allowed. */
+export function readParams(declared, path) {
+    const fields = declared.map(([field, schema]) => {
+        const fieldPath = `${path}.${field}`;
+        const refused = new Error(`${fieldPath}: a param is a required str(), int(), bool() or oneOf(...) of strings`);
+        if (isOptional(schema))
+            throw refused;
+        const snapshot = snapshotSchema(schema, fieldPath);
+        if (!isParamSchema(snapshot.normal))
+            throw refused;
+        return [field, snapshot];
+    });
+    const schema = {
+        type: "object",
+        properties: Object.fromEntries(fields.map(([field, snapshot]) => [field, snapshot.schema])),
+        required: fields.map(([field]) => field),
+        additionalProperties: false,
+    };
+    return {
+        fields: fields.map(([field]) => field),
+        schema,
+        normal: fields.map(([field, snapshot]) => [field, snapshot.normal]),
+    };
+}
+/** Joins key parts with `|`, each escaped (`\\` and `|`), so two different part lists never join to one key. */
+export function joinKey(parts) {
+    return parts.map((part) => part.replaceAll("\\", "\\\\").replaceAll("|", "\\|")).join("|");
+}
+function isParamSchema(normal) {
+    const node = normal;
+    if (node.anyOf !== undefined) {
+        return Object.keys(node).length === 1 && Array.isArray(node.anyOf) && node.anyOf.every(isStringLiteral);
+    }
+    const allowed = PARAM_KEYWORDS.get(node.type);
+    return allowed !== undefined && Object.keys(node).every((key) => allowed.has(key));
+}
+/** Keywords a params field may use, by type. */
+const PARAM_KEYWORDS = new Map([
+    ["string", new Set(["type", "minLength", "maxLength", "pattern", "format"])],
+    ["integer", new Set(["type", "minimum", "maximum", "exclusiveMinimum", "exclusiveMaximum", "multipleOf"])],
+    ["boolean", new Set(["type"])],
+]);
+function isStringLiteral(branch) {
+    const node = branch;
+    return node.type === "string" && typeof node.const === "string" && Object.keys(node).length === 2;
+}
+//# sourceMappingURL=params.js.map

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

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

@@ -0,0 +1,102 @@
+import { Optional, type Properties, type Schema, type Static, type StaticObject } from "@earendil-works/pi-schema";
+export { Optional, opt, type Schema, type Static } from "@earendil-works/pi-schema";
+/** Bounds of a string length, a number or an array length. */
+export type Bounds = {
+    readonly min?: number;
+    readonly max?: number;
+};
+/** A declared default value: a table column with one may be left out of a `put` (slice 6a §5). */
+export type Defaulted<T> = {
+    readonly default: T;
+};
+/** A string schema (`str()`), told apart from the other scalars by its `type`. */
+export interface StringSchema extends Schema<string> {
+    readonly type: "string";
+}
+/** A number schema (`num()`). */
+export interface NumberSchema extends Schema<number> {
+    readonly type: "number";
+}
+/** An integer schema (`int()`). */
+export interface IntegerSchema extends Schema<number> {
+    readonly type: "integer";
+}
+/** A boolean schema (`bool()`). */
+export interface BooleanSchema extends Schema<boolean> {
+    readonly type: "boolean";
+}
+/** The `null` schema (`nul()`): also the omitted side of a method. */
+export interface NullSchema extends Schema<null> {
+    readonly type: "null";
+}
+/** A union of literals (`oneOf(...)`). */
+export interface LiteralsSchema<V extends Literal> extends Schema<V> {
+    readonly anyOf: readonly Schema<V>[];
+}
+/** A string, with optional length bounds, pattern and default. */
+export declare function str(options: Bounds & {
+    readonly pattern?: string;
+    readonly default: string;
+}): StringSchema & Defaulted<string>;
+export declare function str(options?: Bounds & {
+    readonly pattern?: string;
+}): StringSchema;
+/** A finite number within optional bounds, with an optional default. */
+export declare function num(options: Bounds & {
+    readonly default: number;
+}): NumberSchema & Defaulted<number>;
+export declare function num(options?: Bounds): NumberSchema;
+/** An integer within optional bounds, with an optional default. */
+export declare function int(options: Bounds & {
+    readonly default: number;
+}): IntegerSchema & Defaulted<number>;
+export declare function int(options?: Bounds): IntegerSchema;
+/** A boolean, with an optional default. */
+export declare function bool(options: {
+    readonly default: boolean;
+}): BooleanSchema & Defaulted<boolean>;
+export declare function bool(options?: Record<never, never>): BooleanSchema;
+/** `null`; also the omitted side of a method. */
+export declare function nul(): NullSchema;
+/** Exactly the given value, with its JSON type (`{ type: "string", const: "a" }`). */
+export declare function lit<const V extends Literal>(value: V): Schema<V>;
+/** A value `lit(...)` and `oneOf(...)` take. */
+export type Literal = string | number | boolean;
+/** One of the given literals: a union of `lit(...)` schemas, in order. */
+export declare function oneOf<const V extends Literal[]>(...values: V): LiteralsSchema<V[number]>;
+/** Any of the given schemas. */
+export declare function union<const S extends readonly Schema[]>(schemas: S): Schema<Static<S[number]>>;
+/** A closed object: unknown fields are refused; `opt(...)` marks an optional field. */
+export declare function obj<const P extends Properties>(properties: P): Schema<StaticObject<P>>;
+/** An array, with optional length bounds. */
+export declare function arr<T>(items: Schema<T>, options?: Bounds): Schema<T[]>;
+/** A string-keyed record: one pattern property matching every key. */
+export declare function map<T>(value: Schema<T>): Schema<Record<string, T>>;
+/** Any value. */
+export declare function unknown(): Schema<unknown>;
+/**
+ * A `Uint8Array` leaf, checked by `instanceof` and length, never enumerated: `{ type: "bytes", minLength?, maxLength? }`
+ * (pi-schema's extension of JSON Schema for values that never pass through JSON).
+ */
+export declare function bytes(options?: Bounds): Schema<Uint8Array>;
+/** Whether a declared object field is `opt(...)`. */
+export declare function isOptional(value: unknown): value is Optional;
+/** A method declaration: its argument and result schemas; an omitted side is `null` on the wire. */
+export declare class Method<A extends Schema = Schema, R extends Schema = Schema> {
+    readonly args: A;
+    readonly result: R;
+    constructor(args: A, result: R);
+}
+/** A keyed state member's declaration (slice 6a §12): documents of `schema` by string key; only in `local` contracts. */
+export declare class KeyedMember<S extends Schema = Schema> {
+    readonly schema: S;
+    constructor(schema: S);
+}
+/** Declares a keyed state member of a `local` contract: documents of `schema` by string key, each watchable. */
+export declare function keyed<S extends Schema>(schema: S): KeyedMember<S>;
+/** Declares a method: `method()`, `method(args)`, `method(args, result)` or `method(undefined, result)`. */
+export declare function method(): Method<NullSchema, NullSchema>;
+export declare function method<A extends Schema>(args: A): Method<A, NullSchema>;
+export declare function method<R extends Schema>(args: undefined, result: R): Method<NullSchema, R>;
+export declare function method<A extends Schema, R extends Schema>(args: A, result: R): Method<A, R>;
+//# sourceMappingURL=schema.d.ts.map

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

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

@@ -0,0 +1,103 @@
+// Schema helpers: Chord's short constructors over pi-schema's builders (plain JSON Schema, typed with the values they
+// accept), and method and keyed member declarations. The helpers keep the shapes contracts were fingerprinted with:
+// literals carry their `type`, `oneOf` is a union of literals, `map` a pattern-property record.
+import { arr as arrSchema, bool as boolSchema, bytes as bytesSchema, int as intSchema, nul as nulSchema, num as numSchema, Optional, obj as objSchema, str as strSchema, union as unionSchema, unknown as unknownSchema, } from "@earendil-works/pi-schema";
+export { Optional, opt } from "@earendil-works/pi-schema";
+export function str(options = {}) {
+    const pattern = options.pattern === undefined ? {} : { pattern: options.pattern };
+    return strSchema({
+        ...limits(options, "minLength", "maxLength"),
+        ...pattern,
+        ...defaultOf(options),
+    });
+}
+export function num(options = {}) {
+    return numSchema({ ...limits(options, "minimum", "maximum"), ...defaultOf(options) });
+}
+export function int(options = {}) {
+    return intSchema({ ...limits(options, "minimum", "maximum"), ...defaultOf(options) });
+}
+export function bool(options = {}) {
+    return boolSchema(defaultOf(options));
+}
+/** The `default` keyword of `options`, left out when absent (snapshots refuse `undefined`). */
+function defaultOf(options) {
+    return options.default === undefined ? {} : { default: options.default };
+}
+/** `null`; also the omitted side of a method. */
+export function nul() {
+    // The builder's `type: "null"`, typed as such.
+    return nulSchema();
+}
+/** Exactly the given value, with its JSON type (`{ type: "string", const: "a" }`). */
+export function lit(value) {
+    return { type: typeof value, const: value };
+}
+/** One of the given literals: a union of `lit(...)` schemas, in order. */
+export function oneOf(...values) {
+    return { anyOf: values.map((value) => lit(value)) };
+}
+/** Any of the given schemas. */
+export function union(schemas) {
+    return unionSchema(schemas);
+}
+/** A closed object: unknown fields are refused; `opt(...)` marks an optional field. */
+export function obj(properties) {
+    return objSchema(properties);
+}
+/** An array, with optional length bounds. */
+export function arr(items, options = {}) {
+    return arrSchema(items, limits(options, "minItems", "maxItems"));
+}
+/** A string-keyed record: one pattern property matching every key. */
+export function map(value) {
+    return { type: "object", patternProperties: { "^.*$": value } };
+}
+/** Any value. */
+export function unknown() {
+    return unknownSchema();
+}
+/**
+ * A `Uint8Array` leaf, checked by `instanceof` and length, never enumerated: `{ type: "bytes", minLength?, maxLength? }`
+ * (pi-schema's extension of JSON Schema for values that never pass through JSON).
+ */
+export function bytes(options = {}) {
+    return bytesSchema(limits(options, "minLength", "maxLength"));
+}
+/** Builder options for the given bounds; an absent bound is left out, since snapshots refuse `undefined`. */
+function limits(options, min, max) {
+    const result = {};
+    if (options.min !== undefined)
+        result[min] = options.min;
+    if (options.max !== undefined)
+        result[max] = options.max;
+    return result;
+}
+/** Whether a declared object field is `opt(...)`. */
+export function isOptional(value) {
+    return value instanceof Optional;
+}
+/** A method declaration: its argument and result schemas; an omitted side is `null` on the wire. */
+export class Method {
+    args;
+    result;
+    constructor(args, result) {
+        this.args = args;
+        this.result = result;
+    }
+}
+/** A keyed state member's declaration (slice 6a §12): documents of `schema` by string key; only in `local` contracts. */
+export class KeyedMember {
+    schema;
+    constructor(schema) {
+        this.schema = schema;
+    }
+}
+/** Declares a keyed state member of a `local` contract: documents of `schema` by string key, each watchable. */
+export function keyed(schema) {
+    return new KeyedMember(schema);
+}
+export function method(args, result) {
+    return new Method(args ?? nul(), result ?? nul());
+}
+//# sourceMappingURL=schema.js.map