@procedures/compiler 0.0.0-stage → 0.3.0

package/dist/types.d.ts

@@ -0,0 +1,129 @@
+/**
+ * The types and schemas of the procedures of this package: `program.check`, `program.compile`,
+ * `program.diagram`, `program.explain`, `sdk.openrpc` and `sdk.typescript`.
+ *
+ * mark procedure new adds the types of each new procedure here.
+ */
+import { z } from "zod";
+import type { Capability } from "@procedures/client/browser";
+import type { Diagnostic } from "./diagnostics.js";
+/** The JSON form of a capability: the effects that the run can have. */
+export interface CapabilityInput {
+    clearance?: unknown;
+    effects?: {
+        reads?: string[] | "any" | undefined;
+        writes?: string[] | "any" | undefined;
+        destructive?: boolean | undefined;
+    } | undefined;
+    deadline?: number | undefined;
+}
+/** The schema of a capability in the input of the procedures. */
+export declare const CapabilityInputSchema: z.ZodType<CapabilityInput>;
+/** This function makes a capability from its JSON form. */
+export declare function toCapability(input: CapabilityInput): Capability<unknown>;
+/** The effects of a program, in the output of the procedures. */
+export interface EffectsOutput {
+    reads?: string[] | undefined;
+    writes?: string[] | undefined;
+    destructive?: boolean | undefined;
+    idempotent?: boolean | undefined;
+}
+/** The input of `program.check`. */
+export interface ProgramCheckInput {
+    program: unknown;
+    capability?: CapabilityInput | undefined;
+    mode?: "exec" | "body" | undefined;
+}
+export declare const ProgramCheckInputSchema: z.ZodType<ProgramCheckInput>;
+/** The output of `program.check`. */
+export interface ProgramCheckOutput {
+    ok: boolean;
+    effects: EffectsOutput;
+    mustEffects: {
+        reads: string[];
+        writes: string[];
+    };
+    diagnostics: Diagnostic[];
+    registryHash: string;
+}
+export declare const ProgramCheckOutputSchema: z.ZodType<ProgramCheckOutput>;
+/** The input of `program.compile`. */
+export interface ProgramCompileInput extends ProgramCheckInput {
+    fold?: boolean | undefined;
+    language?: "js" | "ts" | undefined;
+}
+export declare const ProgramCompileInputSchema: z.ZodType<ProgramCompileInput>;
+/** The output of `program.compile`. */
+export interface ProgramCompileOutput extends ProgramCheckOutput {
+    code: string;
+    sourceMap: Array<{
+        line: number;
+        pointer: string;
+    }>;
+    folded: string[];
+}
+export declare const ProgramCompileOutputSchema: z.ZodType<ProgramCompileOutput>;
+/** The input of `program.diagram`. */
+export interface ProgramDiagramInput {
+    program: unknown;
+    mode?: "exec" | "body" | undefined;
+    direction?: "TD" | "LR" | undefined;
+}
+export declare const ProgramDiagramInputSchema: z.ZodType<ProgramDiagramInput>;
+/** The output of `program.diagram`. */
+export interface ProgramDiagramOutput {
+    mermaid: string;
+    diagnostics: Diagnostic[];
+}
+export declare const ProgramDiagramOutputSchema: z.ZodType<ProgramDiagramOutput>;
+/** The input of `program.explain`. */
+export type ProgramExplainInput = ProgramCheckInput;
+export declare const ProgramExplainInputSchema: z.ZodType<ProgramExplainInput>;
+/** The explanation of one call, in the output of `program.explain`. */
+export interface CallExplanationOutput {
+    key: string;
+    path: string[];
+    pointer: string;
+    kind: "call" | "control" | "dynamic";
+    effects?: EffectsOutput | undefined;
+    known: boolean;
+    exposed: boolean;
+    permitted: boolean;
+    reason?: "effects-undeclared" | "effects-exceeded" | "clearance" | "deadline" | "not-found" | undefined;
+    message: string;
+}
+/** The output of `program.explain`. */
+export interface ProgramExplainOutput extends ProgramCheckOutput {
+    calls: CallExplanationOutput[];
+    summary: string;
+}
+export declare const ProgramExplainOutputSchema: z.ZodType<ProgramExplainOutput>;
+/** The input of `sdk.openrpc` and `sdk.typescript`. */
+export interface SdkInput {
+    namespace?: string | undefined;
+}
+/** The input of `sdk.openrpc`. */
+export type SdkOpenrpcInput = SdkInput;
+export declare const SdkOpenrpcInputSchema: z.ZodType<SdkOpenrpcInput>;
+/** The output of `sdk.openrpc`: an OpenRPC 1.3 document. */
+export interface SdkOpenrpcOutput {
+    openrpc: string;
+    info: {
+        title: string;
+        version: string;
+        description?: string | undefined;
+    };
+    methods: Array<Record<string, unknown>>;
+}
+export declare const SdkOpenrpcOutputSchema: z.ZodType<SdkOpenrpcOutput>;
+/** The input of `sdk.typescript`. */
+export type SdkTypescriptInput = SdkInput;
+export declare const SdkTypescriptInputSchema: z.ZodType<SdkTypescriptInput>;
+/** The output of `sdk.typescript`. */
+export interface SdkTypescriptOutput {
+    code: string;
+    procedures: number;
+    registryHash: string;
+}
+export declare const SdkTypescriptOutputSchema: z.ZodType<SdkTypescriptOutput>;
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,UAAU,EAAoB,MAAM,4BAA4B,CAAC;AAC/E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAMnD,wEAAwE;AACxE,MAAM,WAAW,eAAe;IAC9B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,OAAO,CAAC,EACJ;QACE,KAAK,CAAC,EAAE,MAAM,EAAE,GAAG,KAAK,GAAG,SAAS,CAAC;QACrC,MAAM,CAAC,EAAE,MAAM,EAAE,GAAG,KAAK,GAAG,SAAS,CAAC;QACtC,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;KACnC,GACD,SAAS,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC/B;AAID,iEAAiE;AACjE,eAAO,MAAM,qBAAqB,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAagD,CAAC;AAE9G,2DAA2D;AAC3D,wBAAgB,YAAY,CAAC,KAAK,EAAE,eAAe,GAAG,UAAU,CAAC,OAAO,CAAC,CAUxE;AAED,iEAAiE;AACjE,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC7B,MAAM,CAAC,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC9B,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAClC,UAAU,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAClC;AAmCD,oCAAoC;AACpC,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,eAAe,GAAG,SAAS,CAAC;IACzC,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CACpC;AAED,eAAO,MAAM,uBAAuB,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAI/B,CAAC;AAEnC,qCAAqC;AACrC,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,OAAO,CAAC;IACZ,OAAO,EAAE,aAAa,CAAC;IACvB,WAAW,EAAE;QAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACnD,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;CACtB;AAUD,eAAO,MAAM,wBAAwB,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAgE,CAAC;AAMpI,sCAAsC;AACtC,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D,IAAI,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC3B,QAAQ,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,CAAC;CACpC;AAED,eAAO,MAAM,yBAAyB,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAMjC,CAAC;AAErC,uCAAuC;AACvC,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC9D,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpD,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,eAAO,MAAM,0BAA0B,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAOlC,CAAC;AAMtC,sCAAsC;AACtC,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IACnC,SAAS,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,CAAC;CACrC;AAED,eAAO,MAAM,yBAAyB,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAIjC,CAAC;AAErC,uCAAuC;AACvC,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED,eAAO,MAAM,0BAA0B,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAGlC,CAAC;AAMtC,sCAAsC;AACtC,MAAM,MAAM,mBAAmB,GAAG,iBAAiB,CAAC;AAEpD,eAAO,MAAM,yBAAyB,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAIjC,CAAC;AAErC,uEAAuE;AACvE,MAAM,WAAW,qBAAqB;IACpC,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IACrC,OAAO,CAAC,EAAE,aAAa,GAAG,SAAS,CAAC;IACpC,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;IACnB,MAAM,CAAC,EAAE,oBAAoB,GAAG,kBAAkB,GAAG,WAAW,GAAG,UAAU,GAAG,WAAW,GAAG,SAAS,CAAC;IACxG,OAAO,EAAE,MAAM,CAAC;CACjB;AA2BD,uCAAuC;AACvC,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC9D,KAAK,EAAE,qBAAqB,EAAE,CAAC;IAC/B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,eAAO,MAAM,0BAA0B,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAIlC,CAAC;AAMtC,uDAAuD;AACvD,MAAM,WAAW,QAAQ;IACvB,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAChC;AAMD,kCAAkC;AAClC,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;AAEvC,eAAO,MAAM,qBAAqB,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAkB,CAAC;AAEhF,4DAA4D;AAC5D,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAC;IAC3E,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACzC;AAED,eAAO,MAAM,sBAAsB,EAAE,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAY9B,CAAC;AAMlC,qCAAqC;AACrC,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;AAE1C,eAAO,MAAM,wBAAwB,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAkB,CAAC;AAEtF,sCAAsC;AACtC,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,eAAO,MAAM,yBAAyB,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAIjC,CAAC"}

package/dist/types.js

@@ -0,0 +1,157 @@
+/**
+ * The types and schemas of the procedures of this package: `program.check`, `program.compile`,
+ * `program.diagram`, `program.explain`, `sdk.openrpc` and `sdk.typescript`.
+ *
+ * mark procedure new adds the types of each new procedure here.
+ */
+import { z } from "zod";
+const PermitSchema = z.union([z.array(z.string()), z.literal("any")]);
+/** The schema of a capability in the input of the procedures. */
+export const CapabilityInputSchema = z
+    .object({
+    clearance: z.unknown().optional().describe("The clearance of the run"),
+    effects: z
+        .object({
+        reads: PermitSchema.optional().describe('The resources that a call can read: names, or "any"'),
+        writes: PermitSchema.optional().describe('The resources that a call can change: names, or "any". An empty list: no change.'),
+        destructive: z.boolean().optional().describe("False: a call cannot start a destructive procedure"),
+    })
+        .optional()
+        .describe("The effects that the calls can have. Absent: all effects."),
+    deadline: z.number().optional().describe("The deadline (the static check does not use it)"),
+})
+    .describe("The capability of the run. Absent: the capability of the caller.");
+/** This function makes a capability from its JSON form. */
+export function toCapability(input) {
+    const effects = {};
+    if (input.effects?.reads !== undefined)
+        effects.reads = input.effects.reads;
+    if (input.effects?.writes !== undefined)
+        effects.writes = input.effects.writes;
+    if (input.effects?.destructive !== undefined)
+        effects.destructive = input.effects.destructive;
+    return {
+        ...(input.clearance !== undefined ? { clearance: input.clearance } : {}),
+        ...(input.effects ? { effects: effects } : {}),
+        ...(input.deadline !== undefined ? { deadline: input.deadline } : {}),
+    };
+}
+const EffectsOutputSchema = z
+    .object({
+    reads: z.array(z.string()).optional().describe("The resources that a run can read. Absent: not known."),
+    writes: z.array(z.string()).optional().describe("The resources that a run can change. Absent: not known."),
+    destructive: z.boolean().optional().describe("True: a call can delete or overwrite data"),
+    idempotent: z.boolean().optional().describe("True: each call that changes data is idempotent"),
+})
+    .describe("The effects that a run can have (the upper bound)");
+const MustEffectsSchema = z
+    .object({
+    reads: z.array(z.string()).describe("The resources that each run reads"),
+    writes: z.array(z.string()).describe("The resources that each run changes"),
+})
+    .describe("The effects of each run in which no call fails (the lower bound)");
+const DiagnosticSchema = z.object({
+    severity: z.enum(["error", "warning", "info"]).describe("An error stops the program"),
+    code: z.string().describe("The code of the problem, for example unknown-name"),
+    message: z.string().describe("The text of the problem"),
+    pointer: z.string().describe("The JSON pointer of the part of the program"),
+});
+const ProgramField = z.unknown().describe("The program: a call ({ $proc, input }). The procedure reads it as data: nothing in it starts.");
+const ModeField = z
+    .enum(["exec", "body"])
+    .optional()
+    .describe("exec (the default): the program runs as client.exec runs it. body: as the body of a defined procedure, with input in scope.");
+export const ProgramCheckInputSchema = z.object({
+    program: ProgramField,
+    capability: CapabilityInputSchema.optional(),
+    mode: ModeField,
+});
+const checkOutputFields = {
+    ok: z.boolean().describe("True when no diagnostic is an error: then the host can start the program"),
+    effects: EffectsOutputSchema,
+    mustEffects: MustEffectsSchema,
+    diagnostics: z.array(DiagnosticSchema).describe("The problems, in the order of the program"),
+    registryHash: z.string().describe("The hash of the manifest that the check used"),
+};
+export const ProgramCheckOutputSchema = z.object(checkOutputFields);
+export const ProgramCompileInputSchema = z.object({
+    program: ProgramField,
+    capability: CapabilityInputSchema.optional(),
+    mode: ModeField,
+    fold: z.boolean().optional().describe("True: compute the pure core calls with literal inputs now"),
+    language: z.enum(["js", "ts"]).optional().describe("The language of the code: js (the default) or ts"),
+});
+export const ProgramCompileOutputSchema = z.object({
+    ...checkOutputFields,
+    code: z.string().describe("The ES module: its default export is async (ctx, input) => output"),
+    sourceMap: z
+        .array(z.object({ line: z.number().describe("The line of the code, from 1"), pointer: z.string().describe("The JSON pointer of the part of the program") }))
+        .describe("The lines of the code that start a part of the program"),
+    folded: z.array(z.string()).describe("The pointers of the calls that the fold pass computed"),
+});
+export const ProgramDiagramInputSchema = z.object({
+    program: ProgramField,
+    mode: ModeField,
+    direction: z.enum(["TD", "LR"]).optional().describe("The direction of the flowchart: TD (from the top down, the default) or LR (from left to right)"),
+});
+export const ProgramDiagramOutputSchema = z.object({
+    mermaid: z.string().describe("The Mermaid flowchart of the program. A node with an error has the class error."),
+    diagnostics: z.array(DiagnosticSchema).describe("The problems that the check found, in the order of the program"),
+});
+export const ProgramExplainInputSchema = z.object({
+    program: ProgramField,
+    capability: CapabilityInputSchema.optional(),
+    mode: ModeField,
+});
+const DeclaredEffectsSchema = z
+    .object({
+    reads: z.array(z.string()).optional().describe("The resources that the procedure can read. Absent: not declared."),
+    writes: z.array(z.string()).optional().describe("The resources that the procedure can change. Absent: not declared."),
+    destructive: z.boolean().optional().describe("True: the procedure can delete or overwrite data"),
+    idempotent: z.boolean().optional().describe("True: a second call with the same input changes nothing more"),
+})
+    .describe("The effects that the procedure declares. Absent: the procedure declares none.");
+const CallExplanationSchema = z.object({
+    key: z.string().describe("The key of the procedure: its path with dots"),
+    path: z.array(z.string()).describe("The path of the procedure"),
+    pointer: z.string().describe("The JSON pointer of the call in the program"),
+    kind: z.enum(["call", "control", "dynamic"]).describe("call, a control-flow call, or a dynamic call whose input is a program"),
+    effects: DeclaredEffectsSchema.optional(),
+    known: z.boolean().describe("True when the host has a procedure at the path"),
+    exposed: z.boolean().describe("True when the host has the procedure and lets a program call it"),
+    permitted: z.boolean().describe("True when the capability permits the call"),
+    reason: z
+        .enum(["effects-undeclared", "effects-exceeded", "clearance", "deadline", "not-found"])
+        .optional()
+        .describe("The reason of a refusal, or not-found for a path without a procedure"),
+    message: z.string().describe("The answer of the capability in words"),
+});
+export const ProgramExplainOutputSchema = z.object({
+    ...checkOutputFields,
+    calls: z.array(CallExplanationSchema).describe("The calls of the program, in the order of the tree: a call comes before the calls of its input"),
+    summary: z.string().describe("The explanation in short sentences"),
+});
+const SdkInputSchema = z.object({
+    namespace: z.string().optional().describe("Only the procedures under this first path segment"),
+});
+export const SdkOpenrpcInputSchema = SdkInputSchema;
+export const SdkOpenrpcOutputSchema = z.object({
+    openrpc: z.string().describe("The version of the OpenRPC specification"),
+    info: z
+        .object({
+        title: z.string().describe("The title of the document"),
+        version: z.string().describe("The version of the document: the hash of the manifest"),
+        description: z.string().optional().describe("The description of the document"),
+    })
+        .describe("The information about the document"),
+    methods: z
+        .array(z.record(z.string(), z.unknown()))
+        .describe("One method for each procedure, in the order of the names: params, result, x-path and x-effects"),
+});
+export const SdkTypescriptInputSchema = SdkInputSchema;
+export const SdkTypescriptOutputSchema = z.object({
+    code: z.string().describe("The source of the TypeScript module: the types, the interface Sdk and the function createSdk"),
+    procedures: z.number().describe("The number of procedures in the SDK"),
+    registryHash: z.string().describe("The hash of the manifest that the SDK comes from"),
+});
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAqBxB,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEtE,iEAAiE;AACjE,MAAM,CAAC,MAAM,qBAAqB,GAA+B,CAAC;KAC/D,MAAM,CAAC;IACN,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,0BAA0B,CAAC;IACtE,OAAO,EAAE,CAAC;SACP,MAAM,CAAC;QACN,KAAK,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qDAAqD,CAAC;QAC9F,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kFAAkF,CAAC;QAC5H,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,oDAAoD,CAAC;KACnG,CAAC;SACD,QAAQ,EAAE;SACV,QAAQ,CAAC,2DAA2D,CAAC;IACxE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,iDAAiD,CAAC;CAC5F,CAAC;KACD,QAAQ,CAAC,kEAAkE,CAA+B,CAAC;AAE9G,2DAA2D;AAC3D,MAAM,UAAU,YAAY,CAAC,KAAsB;IACjD,MAAM,OAAO,GAAqG,EAAE,CAAC;IACrH,IAAI,KAAK,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS;QAAE,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;IAC5E,IAAI,KAAK,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS;QAAE,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;IAC/E,IAAI,KAAK,CAAC,OAAO,EAAE,WAAW,KAAK,SAAS;QAAE,OAAO,CAAC,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;IAC9F,OAAO;QACL,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAA2B,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtE,CAAC;AACJ,CAAC;AAUD,MAAM,mBAAmB,GAAG,CAAC;KAC1B,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,uDAAuD,CAAC;IACvG,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,yDAAyD,CAAC;IAC1G,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,2CAA2C,CAAC;IACzF,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,iDAAiD,CAAC;CAC/F,CAAC;KACD,QAAQ,CAAC,mDAAmD,CAAC,CAAC;AAEjE,MAAM,iBAAiB,GAAG,CAAC;KACxB,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,mCAAmC,CAAC;IACxE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,qCAAqC,CAAC;CAC5E,CAAC;KACD,QAAQ,CAAC,kEAAkE,CAAC,CAAC;AAEhF,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,4BAA4B,CAAC;IACrF,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mDAAmD,CAAC;IAC9E,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;IACvD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6CAA6C,CAAC;CAC5E,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,+FAA+F,CAAC,CAAC;AAC3I,MAAM,SAAS,GAAG,CAAC;KAChB,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KACtB,QAAQ,EAAE;KACV,QAAQ,CAAC,6HAA6H,CAAC,CAAC;AAa3I,MAAM,CAAC,MAAM,uBAAuB,GAAiC,CAAC,CAAC,MAAM,CAAC;IAC5E,OAAO,EAAE,YAAY;IACrB,UAAU,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IAC5C,IAAI,EAAE,SAAS;CAChB,CAAiC,CAAC;AAWnC,MAAM,iBAAiB,GAAG;IACxB,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,0EAA0E,CAAC;IACpG,OAAO,EAAE,mBAAmB;IAC5B,WAAW,EAAE,iBAAiB;IAC9B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,2CAA2C,CAAC;IAC5F,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,8CAA8C,CAAC;CAClF,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAkC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAkC,CAAC;AAYpI,MAAM,CAAC,MAAM,yBAAyB,GAAmC,CAAC,CAAC,MAAM,CAAC;IAChF,OAAO,EAAE,YAAY;IACrB,UAAU,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IAC5C,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,2DAA2D,CAAC;IAClG,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;CACvG,CAAmC,CAAC;AASrC,MAAM,CAAC,MAAM,0BAA0B,GAAoC,CAAC,CAAC,MAAM,CAAC;IAClF,GAAG,iBAAiB;IACpB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mEAAmE,CAAC;IAC9F,SAAS,EAAE,CAAC;SACT,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,8BAA8B,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6CAA6C,CAAC,EAAE,CAAC,CAAC;SAC3J,QAAQ,CAAC,wDAAwD,CAAC;IACrE,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,uDAAuD,CAAC;CAC9F,CAAoC,CAAC;AAatC,MAAM,CAAC,MAAM,yBAAyB,GAAmC,CAAC,CAAC,MAAM,CAAC;IAChF,OAAO,EAAE,YAAY;IACrB,IAAI,EAAE,SAAS;IACf,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,gGAAgG,CAAC;CACtJ,CAAmC,CAAC;AAQrC,MAAM,CAAC,MAAM,0BAA0B,GAAoC,CAAC,CAAC,MAAM,CAAC;IAClF,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,iFAAiF,CAAC;IAC/G,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,gEAAgE,CAAC;CAClH,CAAoC,CAAC;AAStC,MAAM,CAAC,MAAM,yBAAyB,GAAmC,CAAC,CAAC,MAAM,CAAC;IAChF,OAAO,EAAE,YAAY;IACrB,UAAU,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IAC5C,IAAI,EAAE,SAAS;CAChB,CAAmC,CAAC;AAgBrC,MAAM,qBAAqB,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kEAAkE,CAAC;IAClH,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,oEAAoE,CAAC;IACrH,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;IAChG,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8DAA8D,CAAC;CAC5G,CAAC;KACD,QAAQ,CAAC,+EAA+E,CAAC,CAAC;AAE7F,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,8CAA8C,CAAC;IACxE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IAC/D,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,6CAA6C,CAAC;IAC3E,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,uEAAuE,CAAC;IAC9H,OAAO,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IACzC,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,gDAAgD,CAAC;IAC7E,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,iEAAiE,CAAC;IAChG,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,2CAA2C,CAAC;IAC5E,MAAM,EAAE,CAAC;SACN,IAAI,CAAC,CAAC,oBAAoB,EAAE,kBAAkB,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;SACtF,QAAQ,EAAE;SACV,QAAQ,CAAC,sEAAsE,CAAC;IACnF,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uCAAuC,CAAC;CACtE,CAAC,CAAC;AAQH,MAAM,CAAC,MAAM,0BAA0B,GAAoC,CAAC,CAAC,MAAM,CAAC;IAClF,GAAG,iBAAiB;IACpB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,gGAAgG,CAAC;IAChJ,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,oCAAoC,CAAC;CACnE,CAAoC,CAAC;AAWtC,MAAM,cAAc,GAAwB,CAAC,CAAC,MAAM,CAAC;IACnD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,mDAAmD,CAAC;CAC/F,CAAwB,CAAC;AAK1B,MAAM,CAAC,MAAM,qBAAqB,GAA+B,cAAc,CAAC;AAShF,MAAM,CAAC,MAAM,sBAAsB,GAAgC,CAAC,CAAC,MAAM,CAAC;IAC1E,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,0CAA0C,CAAC;IACxE,IAAI,EAAE,CAAC;SACJ,MAAM,CAAC;QACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2BAA2B,CAAC;QACvD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uDAAuD,CAAC;QACrF,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,iCAAiC,CAAC;KAC/E,CAAC;SACD,QAAQ,CAAC,oCAAoC,CAAC;IACjD,OAAO,EAAE,CAAC;SACP,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;SACxC,QAAQ,CAAC,gGAAgG,CAAC;CAC9G,CAAgC,CAAC;AASlC,MAAM,CAAC,MAAM,wBAAwB,GAAkC,cAAc,CAAC;AAStF,MAAM,CAAC,MAAM,yBAAyB,GAAmC,CAAC,CAAC,MAAM,CAAC;IAChF,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,8FAA8F,CAAC;IACzH,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,qCAAqC,CAAC;IACtE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;CACtF,CAAmC,CAAC"}

package/dist/typescript-sdk.d.ts

@@ -0,0 +1,34 @@
+/**
+ * A typed TypeScript SDK from a manifest (roadmap R23).
+ *
+ * The manifest of a host has the JSON Schemas of each procedure. This module writes the source
+ * of a TypeScript module from them:
+ *
+ * - One input type and one output type for each procedure.
+ * - The interface `Sdk`, with one method for each procedure at `sdk.<namespace>.<name>`.
+ * - The function `createSdk(client)`, whose methods call `client.call(path, input)`.
+ *
+ * The converter knows a part of JSON Schema. It knows objects with the `required` list, arrays,
+ * strings, numbers, booleans, `null`, `enum`, `const`, `anyOf`, `oneOf` and `additionalProperties`.
+ * It writes `unknown` for each other schema. The source has no imports, and it type-checks with
+ * the strict options of this repository.
+ */
+import { type ProcedureManifest } from "@procedures/client/browser";
+/** The options of `toTypeScriptSdk()`. */
+export interface TypeScriptSdkOptions {
+    /** The text of the first comment of the module. The default names the manifest and its hash. */
+    readonly header?: string | undefined;
+}
+/**
+ * This function gives the TypeScript type of a JSON Schema (draft-07). It knows objects, arrays,
+ * strings, numbers, booleans, `null`, `enum`, `const`, `anyOf`, `oneOf` and `additionalProperties`.
+ * Each other schema gives `unknown`. `indent` is the indentation of the lines of an object type.
+ */
+export declare function schemaToType(schema: unknown, indent?: string): string;
+/**
+ * This function writes the source of a typed TypeScript SDK for the procedures of a manifest.
+ * The module exports an input type and an output type for each procedure, the interface `Sdk`,
+ * the interface `SdkClient` and the function `createSdk()`.
+ */
+export declare function toTypeScriptSdk(manifest: ProcedureManifest, options?: TypeScriptSdkOptions): string;
+//# sourceMappingURL=typescript-sdk.d.ts.map

package/dist/typescript-sdk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript-sdk.d.ts","sourceRoot":"","sources":["../src/typescript-sdk.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAwC,KAAK,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAE1G,0CAA0C;AAC1C,MAAM,WAAW,oBAAoB;IACnC,gGAAgG;IAChG,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACtC;AAiDD;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,GAAE,MAAW,GAAG,MAAM,CA6BzE;AA8FD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,iBAAiB,EAAE,OAAO,GAAE,oBAAyB,GAAG,MAAM,CA6EvG"}

package/dist/typescript-sdk.js

@@ -0,0 +1,231 @@
+/**
+ * A typed TypeScript SDK from a manifest (roadmap R23).
+ *
+ * The manifest of a host has the JSON Schemas of each procedure. This module writes the source
+ * of a TypeScript module from them:
+ *
+ * - One input type and one output type for each procedure.
+ * - The interface `Sdk`, with one method for each procedure at `sdk.<namespace>.<name>`.
+ * - The function `createSdk(client)`, whose methods call `client.call(path, input)`.
+ *
+ * The converter knows a part of JSON Schema. It knows objects with the `required` list, arrays,
+ * strings, numbers, booleans, `null`, `enum`, `const`, `anyOf`, `oneOf` and `additionalProperties`.
+ * It writes `unknown` for each other schema. The source has no imports, and it type-checks with
+ * the strict options of this repository.
+ */
+import { MANIFEST_FORMAT } from "@procedures/client/browser";
+const IDENTIFIER = /^[A-Za-z_$][A-Za-z0-9_$]*$/;
+function isSchema(value) {
+    return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+/** The name of a property in a type: an identifier as it is, else a string literal. */
+function propertyName(name) {
+    return IDENTIFIER.test(name) ? name : JSON.stringify(name);
+}
+/** The key of a property in an object literal. The key `__proto__` sets the prototype, so it is a computed key. */
+function literalKey(name) {
+    return name === "__proto__" ? '["__proto__"]' : propertyName(name);
+}
+/** The text of a comment: no end of the comment, and no line breaks. */
+function commentText(text) {
+    return text.replace(/\*\//g, "*\\/").replace(/[\r\n\u2028\u2029]+/g, " ").trim();
+}
+/** The type of a JSON value in `const` or `enum`: a literal type, or `unknown` for an object. */
+function literalType(value) {
+    if (value === null)
+        return "null";
+    if (typeof value === "string")
+        return JSON.stringify(value);
+    if (typeof value === "boolean")
+        return String(value);
+    if (typeof value === "number" && Number.isFinite(value))
+        return String(value);
+    return "unknown";
+}
+function union(types) {
+    const unique = [...new Set(types)];
+    if (unique.length === 0)
+        return "never";
+    if (unique.includes("unknown"))
+        return "unknown";
+    return unique.join(" | ");
+}
+/** True when an object schema has an empty `required` list, or none: then the input can be absent. */
+function noRequired(schema) {
+    if (!isSchema(schema))
+        return false;
+    if (schema["type"] !== "object")
+        return false;
+    const required = schema["required"];
+    return !Array.isArray(required) || required.length === 0;
+}
+/**
+ * This function gives the TypeScript type of a JSON Schema (draft-07). It knows objects, arrays,
+ * strings, numbers, booleans, `null`, `enum`, `const`, `anyOf`, `oneOf` and `additionalProperties`.
+ * Each other schema gives `unknown`. `indent` is the indentation of the lines of an object type.
+ */
+export function schemaToType(schema, indent = "") {
+    if (schema === false)
+        return "never";
+    if (!isSchema(schema))
+        return "unknown";
+    if ("const" in schema)
+        return literalType(schema["const"]);
+    const values = schema["enum"];
+    if (Array.isArray(values))
+        return union(values.map(literalType));
+    const variants = schema["anyOf"] ?? schema["oneOf"];
+    if (Array.isArray(variants))
+        return union(variants.map((variant) => schemaToType(variant, indent)));
+    const type = schema["type"];
+    if (Array.isArray(type))
+        return union(type.map((name) => schemaToType({ ...schema, type: name }, indent)));
+    switch (type) {
+        case "string":
+            return "string";
+        case "number":
+        case "integer":
+            return "number";
+        case "boolean":
+            return "boolean";
+        case "null":
+            return "null";
+        case "array": {
+            const items = schema["items"];
+            return `Array<${Array.isArray(items) ? "unknown" : schemaToType(items, indent)}>`;
+        }
+        case "object":
+            return objectType(schema, indent);
+        default:
+            return "unknown";
+    }
+}
+function objectType(schema, indent) {
+    const properties = isSchema(schema["properties"]) ? Object.entries(schema["properties"]) : [];
+    const required = new Set(Array.isArray(schema["required"]) ? schema["required"].filter((name) => typeof name === "string") : []);
+    const extra = schema["additionalProperties"];
+    const inner = `${indent}  `;
+    const lines = [];
+    for (const [name, property] of properties) {
+        const description = isSchema(property) && typeof property["description"] === "string" ? commentText(property["description"]) : "";
+        if (description)
+            lines.push(`${inner}/** ${description} */`);
+        const optional = !required.has(name);
+        lines.push(`${inner}${propertyName(name)}${optional ? "?" : ""}: ${schemaToType(property, inner)}${optional ? " | undefined" : ""};`);
+    }
+    // Absent additionalProperties: an object without properties is open, and an object with properties is closed
+    const open = extra === true || (isSchema(extra) && Object.keys(extra).length === 0) || (extra === undefined && properties.length === 0);
+    if (open) {
+        lines.push(`${inner}[key: string]: unknown;`);
+    }
+    else if (isSchema(extra)) {
+        // An index signature must agree with each property, so a schema with properties gets unknown
+        lines.push(`${inner}[key: string]: ${properties.length === 0 ? schemaToType(extra, inner) : "unknown"};`);
+    }
+    if (lines.length === 0)
+        return "Record<string, never>";
+    return `{\n${lines.join("\n")}\n${indent}}`;
+}
+/** The PascalCase name of a path: the letters and digits of each segment. */
+function pascalName(path) {
+    const name = path
+        .flatMap((segment) => segment.split(/[^A-Za-z0-9]+/))
+        .filter((part) => part.length > 0)
+        .map((part) => part[0].toUpperCase() + part.slice(1))
+        .join("");
+    return name === "" || /^[0-9]/.test(name) ? `P${name}` : name;
+}
+function signature(procedure) {
+    return `(input${procedure.optionalInput ? "?" : ""}: ${procedure.input}) => Promise<${procedure.output}>`;
+}
+/** The members of a node in the interface `Sdk`. */
+function interfaceMembers(node, indent) {
+    const lines = [];
+    for (const [segment, child] of node.children) {
+        const description = child.procedure?.entry.description;
+        if (description)
+            lines.push(`${indent}/** ${commentText(description)} */`);
+        lines.push(`${indent}readonly ${propertyName(segment)}: ${memberType(child, indent)};`);
+    }
+    return lines;
+}
+function memberType(node, indent) {
+    const members = node.children.size > 0 ? `{\n${interfaceMembers(node, `${indent}  `).join("\n")}\n${indent}}` : undefined;
+    if (!node.procedure)
+        return members ?? "Record<string, never>";
+    const fn = signature(node.procedure);
+    return members ? `(${fn}) & ${members}` : fn;
+}
+/** The value of a node in `createSdk()`. */
+function memberValue(node, indent) {
+    const members = node.children.size > 0
+        ? `{\n${[...node.children].map(([segment, child]) => `${indent}  ${literalKey(segment)}: ${memberValue(child, `${indent}  `)},`).join("\n")}\n${indent}}`
+        : undefined;
+    if (!node.procedure)
+        return members ?? "{}";
+    const procedure = node.procedure;
+    const path = `[${procedure.entry.path.map((segment) => JSON.stringify(segment)).join(", ")}]`;
+    const argument = procedure.emptyObject ? "input ?? {}" : "input";
+    const fn = `(input${procedure.optionalInput ? "?" : ""}: ${procedure.input}): Promise<${procedure.output}> => call(${path}, ${argument})`;
+    return members ? `withMembers(${fn}, ${members})` : fn;
+}
+function hasBoth(node) {
+    if (node.procedure && node.children.size > 0)
+        return true;
+    return [...node.children.values()].some(hasBoth);
+}
+/**
+ * This function writes the source of a typed TypeScript SDK for the procedures of a manifest.
+ * The module exports an input type and an output type for each procedure, the interface `Sdk`,
+ * the interface `SdkClient` and the function `createSdk()`.
+ */
+export function toTypeScriptSdk(manifest, options = {}) {
+    const entries = [...manifest.procedures].sort((a, b) => (a.key < b.key ? -1 : a.key > b.key ? 1 : 0));
+    const used = new Set();
+    const procedures = entries.map((entry) => {
+        let name = pascalName(entry.path);
+        for (let suffix = 2; used.has(name); suffix++)
+            name = `${pascalName(entry.path)}${suffix}`;
+        used.add(name);
+        const emptyObject = noRequired(entry.input);
+        const anyInput = schemaToType(entry.input) === "unknown";
+        return { entry, input: `${name}Input`, output: `${name}Output`, optionalInput: anyInput || emptyObject, emptyObject };
+    });
+    const root = { procedure: undefined, children: new Map() };
+    for (const procedure of procedures) {
+        let node = root;
+        for (const segment of procedure.entry.path) {
+            let child = node.children.get(segment);
+            if (!child) {
+                child = { procedure: undefined, children: new Map() };
+                node.children.set(segment, child);
+            }
+            node = child;
+        }
+        node.procedure = procedure;
+    }
+    const header = options.header ??
+        `The typed SDK of ${procedures.length} procedures. @procedures/compiler wrote this file from the manifest ${manifest.hash} (${MANIFEST_FORMAT}). Do not edit it: write it again from the manifest.`;
+    const out = [`/**`, ` * ${commentText(header)}`, ` */`, ""];
+    for (const procedure of procedures) {
+        const { entry } = procedure;
+        out.push(`/** The input of \`${commentText(entry.key)}\`. */`);
+        out.push(`export type ${procedure.input} = ${schemaToType(entry.input)};`, "");
+        out.push(`/** The output of \`${commentText(entry.key)}\`. */`);
+        out.push(`export type ${procedure.output} = ${schemaToType(entry.output)};`, "");
+    }
+    out.push("/** A client that calls a procedure by its path: `ctx.client` of a procedure handler, or an adapter of a `Client`. */", "export interface SdkClient {", "  call(path: string[], input: unknown): Promise<unknown>;", "}", "", "/** The methods of the procedures, at `sdk.<namespace>.<name>`. */", `export interface Sdk {`, ...interfaceMembers(root, "  "), "}", "");
+    if (hasBoth(root)) {
+        out.push("/** This function gives a function with the members of a namespace (a path that is a procedure and a namespace). */", "function withMembers<F extends object, M extends object>(fn: F, members: M): F & M {", "  for (const [key, value] of Object.entries(members)) Object.defineProperty(fn, key, { value, enumerable: true });", "  return fn as F & M;", "}", "");
+    }
+    out.push("/** This function gives the SDK: each method calls `client.call(path, input)`. */");
+    if (procedures.length === 0) {
+        // No method uses the client, and the strict options refuse an unused parameter
+        out.push("export function createSdk(_client: SdkClient): Sdk {", "  return {};", "}", "");
+    }
+    else {
+        out.push("export function createSdk(client: SdkClient): Sdk {", "  const call = <T>(path: string[], input: unknown): Promise<T> => client.call(path, input) as Promise<T>;", `  return ${memberValue(root, "  ")};`, "}", "");
+    }
+    return out.join("\n");
+}
+//# sourceMappingURL=typescript-sdk.js.map

package/dist/typescript-sdk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript-sdk.js","sourceRoot":"","sources":["../src/typescript-sdk.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,eAAe,EAA+C,MAAM,4BAA4B,CAAC;AAU1G,MAAM,UAAU,GAAG,4BAA4B,CAAC;AAEhD,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,uFAAuF;AACvF,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC7D,CAAC;AAED,mHAAmH;AACnH,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;AACrE,CAAC;AAED,wEAAwE;AACxE,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACnF,CAAC;AAED,iGAAiG;AACjG,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACrD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IAC9E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,KAAK,CAAC,KAAwB;IACrC,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IACnC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACxC,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED,sGAAsG;AACtG,SAAS,UAAU,CAAC,MAAe;IACjC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IACpC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;AAC3D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,MAAe,EAAE,MAAM,GAAW,EAAE;IAC/D,IAAI,MAAM,KAAK,KAAK;QAAE,OAAO,OAAO,CAAC;IACrC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,OAAO,IAAI,MAAM;QAAE,OAAO,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACpG,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5B,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC3G,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;YAC9B,OAAO,SAAS,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC;QACpF,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpC;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,MAAc;IAChD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjJ,MAAM,KAAK,GAAG,MAAM,CAAC,sBAAsB,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,GAAG,MAAM,IAAI,CAAC;IAC5B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,UAAU,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,OAAO,QAAQ,CAAC,aAAa,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClI,IAAI,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,OAAO,WAAW,KAAK,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACxI,CAAC;IACD,6GAA6G;IAC7G,MAAM,IAAI,GAAG,KAAK,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACxI,IAAI,IAAI,EAAE,CAAC;QACT,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;IAChD,CAAC;SAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3B,6FAA6F;QAC7F,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,kBAAkB,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;IAC5G,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,uBAAuB,CAAC;IACvD,OAAO,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,GAAG,CAAC;AAC9C,CAAC;AAED,6EAA6E;AAC7E,SAAS,UAAU,CAAC,IAAuB;IACzC,MAAM,IAAI,GAAG,IAAI;SACd,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;SACpD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;SACjC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SACrD,IAAI,CAAC,EAAE,CAAC,CAAC;IACZ,OAAO,IAAI,KAAK,EAAE,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAChE,CAAC;AAmBD,SAAS,SAAS,CAAC,SAAuB;IACxC,OAAO,SAAS,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,KAAK,gBAAgB,SAAS,CAAC,MAAM,GAAG,CAAC;AAC5G,CAAC;AAED,oDAAoD;AACpD,SAAS,gBAAgB,CAAC,IAAc,EAAE,MAAc;IACtD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,WAAW,CAAC;QACvD,IAAI,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,OAAO,WAAW,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC3E,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,YAAY,YAAY,CAAC,OAAO,CAAC,KAAK,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,IAAc,EAAE,MAAc;IAChD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,IAAI,EAAE,GAAG,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1H,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,OAAO,IAAI,uBAAuB,CAAC;IAC/D,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrC,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/C,CAAC;AAED,4CAA4C;AAC5C,SAAS,WAAW,CAAC,IAAc,EAAE,MAAc;IACjD,MAAM,OAAO,GACX,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC;QACpB,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,KAAK,UAAU,CAAC,OAAO,CAAC,KAAK,WAAW,CAAC,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,GAAG;QACzJ,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,OAAO,OAAO,IAAI,IAAI,CAAC;IAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC9F,MAAM,QAAQ,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;IACjE,MAAM,EAAE,GAAG,SAAS,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,KAAK,cAAc,SAAS,CAAC,MAAM,aAAa,IAAI,KAAK,QAAQ,GAAG,CAAC;IAC1I,OAAO,OAAO,CAAC,CAAC,CAAC,eAAe,EAAE,KAAK,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,OAAO,CAAC,IAAc;IAC7B,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1D,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACnD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,QAA2B,EAAE,OAAO,GAAyB,EAAE;IAC7F,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtG,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAgB,EAAE;QACrD,IAAI,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE;YAAE,IAAI,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC;QAC3F,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC;QACzD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,QAAQ,EAAE,aAAa,EAAE,QAAQ,IAAI,WAAW,EAAE,WAAW,EAAE,CAAC;IACxH,CAAC,CAAC,CAAC;IAEH,MAAM,IAAI,GAAa,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IACrE,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,IAAI,GAAG,IAAI,CAAC;QAChB,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC3C,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACvC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,KAAK,GAAG,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;gBACtD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACpC,CAAC;YACD,IAAI,GAAG,KAAK,CAAC;QACf,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC7B,CAAC;IAED,MAAM,MAAM,GACV,OAAO,CAAC,MAAM;QACd,oBAAoB,UAAU,CAAC,MAAM,uEAAuE,QAAQ,CAAC,IAAI,KAAK,eAAe,sDAAsD,CAAC;IACtM,MAAM,GAAG,GAAa,CAAC,KAAK,EAAE,MAAM,WAAW,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAEtE,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,sBAAsB,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC/D,GAAG,CAAC,IAAI,CAAC,eAAe,SAAS,CAAC,KAAK,MAAM,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC/E,GAAG,CAAC,IAAI,CAAC,uBAAuB,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChE,GAAG,CAAC,IAAI,CAAC,eAAe,SAAS,CAAC,MAAM,MAAM,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACnF,CAAC;IAED,GAAG,CAAC,IAAI,CACN,uHAAuH,EACvH,8BAA8B,EAC9B,2DAA2D,EAC3D,GAAG,EACH,EAAE,EACF,oEAAoE,EACpE,wBAAwB,EACxB,GAAG,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,EAC/B,GAAG,EACH,EAAE,CACH,CAAC;IAEF,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,GAAG,CAAC,IAAI,CACN,qHAAqH,EACrH,sFAAsF,EACtF,oHAAoH,EACpH,uBAAuB,EACvB,GAAG,EACH,EAAE,CACH,CAAC;IACJ,CAAC;IAED,GAAG,CAAC,IAAI,CAAC,mFAAmF,CAAC,CAAC;IAC9F,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,+EAA+E;QAC/E,GAAG,CAAC,IAAI,CAAC,sDAAsD,EAAE,cAAc,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5F,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,IAAI,CACN,qDAAqD,EACrD,2GAA2G,EAC3G,YAAY,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EACtC,GAAG,EACH,EAAE,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC"}