@fungi.computer/agar 0.0.0-stage → 0.0.1

package/dist/internal/rpc-contract.js

@@ -0,0 +1,78 @@
+import * as z from "zod";
+import { AppError } from "../errors.js";
+import { disposeRpcValue } from "./capabilities.js";
+/** Cap'n Web stubs are callable proxies, not records. Select only owner methods
+ * and bind their receiver before the maintained function schemas wrap them. */
+export function rpcHandleSchema(methods) {
+    const methodsSchema = z.object(methods);
+    const receiverSchema = z.instanceof(Object);
+    const receivedMethodsSchema = z.object(Object.fromEntries(Object.keys(methods).map((name) => [name, z.unknown().optional()])));
+    return z.unknown().transform((value) => {
+        const receiver = receiverSchema.parse(value);
+        // A record view lets the object parser read a callable native stub without
+        // enumerating, copying or changing that stub. Methods retain its receiver.
+        const view = Object.create(receiver);
+        const received = receivedMethodsSchema.parse(view);
+        const boundMethods = Object.fromEntries(Object.entries(received).map(([name, method]) => [
+            name,
+            z.function().parse(method).bind(receiver),
+        ]));
+        return {
+            ...methodsSchema.parse(boundMethods),
+            /** Release the underlying RPC stub; call once the handle is done with. */
+            [Symbol.dispose]() {
+                disposeRpcValue(value);
+            },
+        };
+    });
+}
+/** Copy an owned data result through its domain decoder, then release the RPC
+ * envelope. Live resources use their own handle schemas instead. */
+export function rpcDataSchema(result) {
+    return z.unknown().transform((value) => {
+        try {
+            return result.parse(value);
+        }
+        catch (cause) {
+            if (cause instanceof AppError)
+                throw cause;
+            throw new AppError("The capability returned malformed data", {
+                cause,
+                code: "PROTOCOL",
+                retryable: false,
+            });
+        }
+        finally {
+            disposeRpcValue(value);
+        }
+    });
+}
+/** Wrap an RPC method's result schema into a Zod function schema: the
+ * decoded value resolves on success, and a malformed result is rethrown
+ * as a PROTOCOL AppError after releasing the raw RPC envelope. */
+export function rpcMethod(result) {
+    return z.function({
+        output: z.promise(z.unknown().transform((value) => {
+            try {
+                return result.parse(value);
+            }
+            catch (cause) {
+                disposeRpcValue(value);
+                if (cause instanceof AppError)
+                    throw cause;
+                throw new AppError("The capability returned a malformed result", {
+                    cause,
+                    code: "PROTOCOL",
+                    retryable: false,
+                });
+            }
+        })),
+    });
+}
+/** A method that decodes and releases an empty RPC result. */
+export const rpcVoid = rpcMethod(rpcDataSchema(z.void()));
+/** A per-request Fetch capability keeps Response bodies live until consumed. */
+export const rpcFetchHandleSchema = rpcHandleSchema({
+    fetch: rpcMethod(z.instanceof(Response)),
+    close: rpcVoid,
+});

package/dist/internal/schemas.d.ts

@@ -0,0 +1,307 @@
+/**
+ * The protocol owns its boundary parsing. Values leave this module as copied,
+ * frozen app data; live Cap'n Web references remain outside these schemas.
+ */
+import * as Schema from "effect/Schema";
+import type { AppCommandInvocation } from "../commands.js";
+import type { WhistleJsonValue } from "@fungi.computer/whistle";
+import type { AppContext, AppIdentity, AppLifecycle, FocusState } from "../lifecycle.js";
+import type { AppBrowserAction, AppBrowserActionRefusal, AppBrowserActionOutcome, AppPermissionOutcome, AppStatusItem, FileNavigationInput, ToastInput } from "../ui.js";
+import type { AppErrorData } from "./app-error.js";
+import type { CapabilityGrantWire, AppHostReconfigurationWire, CommandInvocationResultWire, HostBootstrapWire, RegisteredCommandWire } from "./protocol.js";
+import type { RpcResult } from "./result.js";
+import { APP_NAVIGATION_CONTRACT_VERSION } from "../window.js";
+import { type AppConnectMessage, type AppReadyMessage, type CommandInvocationWire, type ConnectRequestWire, type ReservedChord, type VersionedFact } from "./protocol.js";
+export declare function appInvocation(value: CommandInvocationWire, signal: AbortSignal): Readonly<AppCommandInvocation>;
+export declare const parseCommand: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<{
+    readonly id: string;
+    readonly title: string;
+    readonly category: string;
+    readonly description?: string | undefined;
+    readonly projections?: {
+        readonly bindings?: {
+            readonly values: readonly string[];
+            readonly order?: number | undefined;
+        } | undefined;
+        readonly agent?: {
+            readonly keybind?: string | undefined;
+            readonly order?: number | undefined;
+        } | undefined;
+        readonly help?: {
+            readonly order?: number | undefined;
+        } | undefined;
+        readonly menu?: {
+            readonly order?: number | undefined;
+        } | undefined;
+        readonly palette?: {
+            readonly order?: number | undefined;
+        } | undefined;
+        readonly slash?: {
+            readonly aliases: readonly string[];
+            readonly order?: number | undefined;
+            readonly arguments?: {
+                readonly hint: string;
+                readonly words?: readonly {
+                    readonly word: string;
+                    readonly arguments: {
+                        readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | {
+                            readonly [x: string]: string | number | boolean | /*elided*/ any | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null;
+                    };
+                    readonly description?: string | undefined;
+                }[] | undefined;
+                readonly text?: {
+                    readonly field: string;
+                    readonly arguments: {
+                        readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | {
+                            readonly [x: string]: string | number | boolean | /*elided*/ any | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null)[] | {
+                            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                        } | null;
+                    };
+                    readonly requestIdField?: string | undefined;
+                } | undefined;
+            } | undefined;
+        } | undefined;
+    } | undefined;
+    readonly action?: {
+        readonly inputSchema?: {
+            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | {
+                readonly [x: string]: string | number | boolean | /*elided*/ any | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null;
+        } | undefined;
+        readonly outputSchema?: {
+            readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | {
+                readonly [x: string]: string | number | boolean | /*elided*/ any | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null)[] | {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+            } | null;
+        } | undefined;
+        readonly presentation?: {
+            readonly type: "action";
+        } | {
+            readonly type: "custom";
+            readonly data: {
+                readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | {
+                    readonly [x: string]: string | number | boolean | /*elided*/ any | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null;
+            };
+        } | {
+            readonly type: "choice";
+            readonly options: readonly {
+                readonly value: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | {
+                    readonly [x: string]: string | number | boolean | /*elided*/ any | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null)[] | {
+                    readonly [x: string]: string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | readonly (string | number | boolean | /*elided*/ any | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null)[] | /*elided*/ any | null;
+                } | null;
+                readonly label: string;
+                readonly description?: string | undefined;
+            }[];
+        } | {
+            readonly type: "form";
+            readonly submitLabel?: string | undefined;
+        } | {
+            readonly type: "confirmation";
+            readonly message: string;
+            readonly confirmLabel?: string | undefined;
+            readonly cancelLabel?: string | undefined;
+        } | undefined;
+    } | undefined;
+    readonly availability?: {
+        readonly status: "available";
+    } | {
+        readonly status: "unavailable";
+        readonly reason: string;
+    } | undefined;
+}>;
+export declare const parseCommandId: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => string;
+export declare const parseCommandInvocation: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<CommandInvocationWire>;
+/** Decode an action result without carrying executable or host-private data. */
+export declare const parseCommandResult: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => WhistleJsonValue | undefined;
+export declare const parseConnect: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => AppConnectMessage;
+export declare const parseConnectRequest: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => ConnectRequestWire;
+export declare const parseContext: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<AppContext>;
+export declare const parseErrorData: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<AppErrorData>;
+export declare const parseFocus: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<FocusState>;
+export declare const parseIdentity: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<AppIdentity>;
+export declare const parseLifecycle: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => AppLifecycle;
+/** Both edges: one window's status items, bounded and copied. */
+export declare const parseStatusItems: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => readonly AppStatusItem[];
+/** App edge: the status item the person used, as the host relays it. */
+export declare const parseStatusAction: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<{
+    itemId: string;
+    optionId?: string;
+    anchor?: Readonly<{
+        start: number;
+        width: number;
+    }>;
+}>;
+export declare const parseNavigation: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<FileNavigationInput>;
+/** Host edge: one App report, projected without its contract version. */
+export declare const parseNavigationState: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<{
+    canGoBack: boolean;
+    title?: string;
+}>;
+/** App edge: trim the title, drop an empty one, then check the wire bounds. */
+export declare const parseNavigationStateInput: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<{
+    contractVersion: typeof APP_NAVIGATION_CONTRACT_VERSION;
+    canGoBack: boolean;
+    title?: string;
+}>;
+export declare const parseAgentSessionSelection: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<{
+    agentId: string;
+    sessionId: string;
+}> | null;
+export declare const parsePermissionRequest: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<{
+    agents?: readonly import("../ui.js").AgentAccessOperation[];
+    computers?: readonly import("../ui.js").ComputerAccessOperation[];
+}>;
+export declare const parseReady: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => AppReadyMessage;
+export declare const parseTheme: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => string;
+export declare const parseToast: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<ToastInput>;
+export declare const parseChordInvocation: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<{
+    readonly id: string;
+    readonly repeat: boolean;
+}>;
+export declare const parseReservedChords: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => readonly Readonly<ReservedChord>[];
+/** Compose a fact decoder from the maintained decoder of its domain value. */
+export declare function parseFact<T>(parseValue: ReturnType<typeof Schema.decodeUnknownSync<Schema.Decoder<T>>>): (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<VersionedFact<T>>;
+export declare const parseContextFact: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<VersionedFact<Readonly<AppContext>>>;
+export declare const parseHostReconfiguration: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => AppHostReconfigurationWire;
+export declare const parseReservedChordsFact: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<VersionedFact<readonly Readonly<ReservedChord>[]>>;
+export declare const parseThemeFact: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<VersionedFact<string>>;
+export declare const parseHostLifecycleFact: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => Readonly<VersionedFact<"connected" | "suspended">>;
+export declare const parseCapabilityGrant: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => CapabilityGrantWire;
+export declare const parseLocalHostBootstrap: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => HostBootstrapWire;
+export declare const parseBootstrapResult: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => RpcResult<HostBootstrapWire>;
+export declare const parseRegisteredCommandResult: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => RpcResult<RegisteredCommandWire>;
+export declare const parseCommandResultRpc: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => RpcResult<CommandInvocationResultWire>;
+export declare const parseVoidResult: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => RpcResult<undefined>;
+export declare const parsePermissionOutcomeResult: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => RpcResult<AppPermissionOutcome>;
+export declare const parseCloseDecisionResult: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => RpcResult<boolean>;
+export declare const parseBackDecisionResult: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => RpcResult<boolean>;
+/** Decode before effects, and reject oversized data before copying or sending it. */
+export declare function parseBrowserAction(input: unknown): AppBrowserAction | AppBrowserActionRefusal;
+export declare const parseBrowserActionOutcomeResult: (input: unknown, options?: import("effect/SchemaAST").ParseOptions | undefined) => RpcResult<AppBrowserActionOutcome>;