@aeolus-fleet/core 0.0.0 → 0.18.0

package/dist/adapters/trpc/router.d.ts

@@ -0,0 +1,1263 @@
+/** The single API door (ADR 0004). REST and MCP map onto its ship procedures (ship-contract.ts). */
+export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
+    ctx: import("./context.js").Context;
+    meta: import("./trpc.js").ProcedureMeta;
+    errorShape: import("@trpc/server").TRPCDefaultErrorShape | {
+        message: string;
+        data: {
+            requestId: string | undefined;
+            code: import("@trpc/server").TRPC_ERROR_CODE_KEY;
+            httpStatus: number;
+            path?: string;
+            stack?: string;
+        };
+        code: import("@trpc/server").TRPC_ERROR_CODE_NUMBER;
+    };
+    transformer: false;
+}, import("@trpc/server").TRPCDecorateCreateRouterOptions<{
+    console: import("@trpc/server").TRPCBuiltRouter<{
+        ctx: import("./context.js").Context;
+        meta: import("./trpc.js").ProcedureMeta;
+        errorShape: import("@trpc/server").TRPCDefaultErrorShape | {
+            message: string;
+            data: {
+                requestId: string | undefined;
+                code: import("@trpc/server").TRPC_ERROR_CODE_KEY;
+                httpStatus: number;
+                path?: string;
+                stack?: string;
+            };
+            code: import("@trpc/server").TRPC_ERROR_CODE_NUMBER;
+        };
+        transformer: false;
+    }, import("@trpc/server").TRPCDecorateCreateRouterOptions<{
+        signIn: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                email: string;
+                password: string;
+            };
+            output: void;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        redeemSignInTicket: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                ticket: string;
+            };
+            output: void;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        account: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                kind: "operator";
+                email: string;
+                theme: "system" | "light" | "dark";
+                session: {
+                    device: string;
+                    since: string;
+                };
+            } | {
+                kind: "viewer";
+                session: {
+                    device: string;
+                    since: string;
+                };
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        session: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                fleetId: `flt_${string}`;
+                expiresAt: string;
+                kind: "operator" | "viewer";
+                scopes: ("messages:send" | "messages:receive" | "fleet:read" | "fleet:manage" | "fleet:crew" | "crew:assign" | "crew:run")[];
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        setTheme: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                theme: "system" | "light" | "dark";
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        notices: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                id: string;
+                audience: "everyone" | "operators" | "viewers";
+                text: string;
+                links: {
+                    label: string;
+                    url?: string | undefined;
+                    isSignOut?: boolean | undefined;
+                }[];
+                isDismissible: boolean;
+            }[];
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        guide: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                steps: {
+                    path: string;
+                    title: string;
+                    text: string;
+                    anchor?: string | undefined;
+                }[];
+                progress: {
+                    step: number;
+                    state: "open" | "skipped" | "finished";
+                };
+            } | null;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        recordGuideProgress: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                step: number;
+                state: "open" | "skipped" | "finished";
+            };
+            output: void;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        dismissNotice: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                noticeId: string;
+            };
+            output: void;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        signOut: import("@trpc/server").TRPCMutationProcedure<{
+            input: void;
+            output: void;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+    }>>;
+    fleet: import("@trpc/server").TRPCBuiltRouter<{
+        ctx: import("./context.js").Context;
+        meta: import("./trpc.js").ProcedureMeta;
+        errorShape: import("@trpc/server").TRPCDefaultErrorShape | {
+            message: string;
+            data: {
+                requestId: string | undefined;
+                code: import("@trpc/server").TRPC_ERROR_CODE_KEY;
+                httpStatus: number;
+                path?: string;
+                stack?: string;
+            };
+            code: import("@trpc/server").TRPC_ERROR_CODE_NUMBER;
+        };
+        transformer: false;
+    }, import("@trpc/server").TRPCDecorateCreateRouterOptions<{
+        commission: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                name: string;
+                type: string;
+                idempotencyKey: string;
+                fleetScopes?: ("fleet:read" | "fleet:manage" | "fleet:crew" | "crew:assign" | "crew:run")[] | undefined;
+                note?: string | undefined;
+            };
+            output: {
+                shipId: `shp_${string}`;
+                prompt: string | null;
+                crewLines: {
+                    harness: string;
+                    line: string;
+                }[] | null;
+                secret: string | null;
+                startingPrompt: {
+                    issuedAt: string;
+                    isClaimed: boolean;
+                } | null;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        getStartingPrompt: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+            };
+            output: {
+                shipId: `shp_${string}`;
+                prompt: string;
+                crewLines: {
+                    harness: string;
+                    line: string;
+                }[];
+                secret: string;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        ping: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+            };
+            output: {
+                messageId: `msg_${string}`;
+                sentAt: string;
+                isNew: boolean;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        release: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        retire: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+            };
+            output: {
+                abandonedDeliveries: number;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        crewRequest: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+                settings: Record<string, import("zod").JSONType>;
+            };
+            output: {
+                settingsVersion: number;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        removeCrewRequest: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        assignCrew: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+                trierarchShipId: unknown;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        explainCrewRequest: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+                reason: string | null;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        reportCrewStatus: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+                status: "crewing" | "running" | "restarting" | "crashed" | "releasing";
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        confirmCrewRelease: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        assignedCrewRequests: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                shipId: `shp_${string}`;
+                settings: Record<string, import("zod").JSONType>;
+                settingsVersion: number;
+                requestedAt: string;
+                status: "crewing" | "running" | "restarting" | "crashed" | "releasing" | null;
+            }[];
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        rename: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+                name: string;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        recrew: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+            };
+            output: {
+                shipId: `shp_${string}`;
+                prompt: string;
+                crewLines: {
+                    harness: string;
+                    line: string;
+                }[];
+                secret: string;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        limits: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                ships: {
+                    limit: number | null;
+                    count: number;
+                };
+                dailyMessages: {
+                    limit: number | null;
+                    count: number;
+                    resetsAt: string;
+                };
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        list: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                id: `shp_${string}`;
+                name: string;
+                type: string;
+                kind: "operator" | "agent" | "viewer";
+                status: "retired" | "awaitingCrew" | "crewed";
+                startingPrompt: {
+                    issuedAt: string;
+                    isClaimed: boolean;
+                } | null;
+                location: {
+                    kind: "DEVICE" | "CLOUD" | "SERVER" | "OTHER";
+                    description: string | null;
+                } | null;
+                lastSeenAt: string | null;
+                ping: {
+                    state: "undeliverable" | "waiting" | "answered" | "received";
+                    sentAt: string;
+                    answeredAt: string | null;
+                } | null;
+                harness: string | null;
+                model: {
+                    id: string;
+                    statedAt: string;
+                } | null;
+                scopes: ("messages:send" | "messages:receive" | "fleet:read" | "fleet:manage" | "fleet:crew" | "crew:assign" | "crew:run")[];
+                report: {
+                    state: "working" | "blocked" | "idle";
+                    note: string | null;
+                    reportedAt: string;
+                    detailsVersion: number;
+                } | null;
+                crewRequest: {
+                    settingsVersion: number;
+                    requestedAt: string;
+                    assignedTo: {
+                        id: `shp_${string}`;
+                        name: string;
+                    } | null;
+                    status: "crewing" | "running" | "restarting" | "crashed" | "releasing" | null;
+                    reason: string | null;
+                    crewedBy: {
+                        id: `shp_${string}`;
+                        name: string;
+                    } | null;
+                } | null;
+                awaitingCrewSince: string | null;
+                retiredAt: string | null;
+            }[];
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        ship: import("@trpc/server").TRPCQueryProcedure<{
+            input: {
+                shipId: unknown;
+            };
+            output: {
+                id: `shp_${string}`;
+                name: string;
+                type: string;
+                kind: "operator" | "agent" | "viewer";
+                status: "retired" | "awaitingCrew" | "crewed";
+                startingPrompt: {
+                    issuedAt: string;
+                    isClaimed: boolean;
+                } | null;
+                location: {
+                    kind: "DEVICE" | "CLOUD" | "SERVER" | "OTHER";
+                    description: string | null;
+                } | null;
+                lastSeenAt: string | null;
+                ping: {
+                    state: "undeliverable" | "waiting" | "answered" | "received";
+                    sentAt: string;
+                    answeredAt: string | null;
+                } | null;
+                harness: string | null;
+                model: {
+                    id: string;
+                    statedAt: string;
+                } | null;
+                scopes: ("messages:send" | "messages:receive" | "fleet:read" | "fleet:manage" | "fleet:crew" | "crew:assign" | "crew:run")[];
+                awaitingCrewSince: string | null;
+                retiredAt: string | null;
+                report: {
+                    state: "working" | "blocked" | "idle";
+                    note: string | null;
+                    reportedAt: string;
+                    detailsVersion: number;
+                    details: Record<string, import("zod").JSONType> | null;
+                } | null;
+                crewRequest: {
+                    settingsVersion: number;
+                    requestedAt: string;
+                    assignedTo: {
+                        id: `shp_${string}`;
+                        name: string;
+                    } | null;
+                    status: "crewing" | "running" | "restarting" | "crashed" | "releasing" | null;
+                    reason: string | null;
+                    crewedBy: {
+                        id: `shp_${string}`;
+                        name: string;
+                    } | null;
+                    settings: Record<string, import("zod").JSONType>;
+                } | null;
+                commissionedAt: string;
+                crewedSince: string | null;
+                inFlightDeliveries: number;
+                openDeliveries: number;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        shipTimeline: import("@trpc/server").TRPCQueryProcedure<{
+            input: {
+                shipId: unknown;
+            };
+            output: {
+                seq: number;
+                id: `evt_${string}`;
+                type: "FleetInitialised" | "ShipCommissioned" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "DeliveryClaimed" | "DeliveryAcknowledged" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained";
+                occurredAt: string;
+                actor: {
+                    id: `shp_${string}`;
+                    name: string;
+                } | null;
+                ship: {
+                    id: `shp_${string}`;
+                    name: string;
+                } | null;
+                message: {
+                    id: `msg_${string}`;
+                    sender: {
+                        id: `shp_${string}`;
+                        name: string;
+                    };
+                    recipient: {
+                        kind: "ship";
+                        ship: {
+                            id: `shp_${string}`;
+                            name: string;
+                        };
+                    } | {
+                        kind: "type";
+                        type: string;
+                    };
+                    contentType: string;
+                    model: string | null;
+                } | null;
+                details: Record<string, string | number | boolean | null>;
+            }[];
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        shipMessages: import("@trpc/server").TRPCQueryProcedure<{
+            input: {
+                shipId: unknown;
+            };
+            output: {
+                id: `msg_${string}`;
+                sender: {
+                    id: `shp_${string}`;
+                    name: string;
+                };
+                recipient: {
+                    kind: "ship";
+                    ship: {
+                        id: `shp_${string}`;
+                        name: string;
+                    };
+                } | {
+                    kind: "type";
+                    type: string;
+                };
+                inReplyTo: `msg_${string}` | null;
+                sentAt: string;
+                contentType: string;
+                model: string | null;
+                preview: string;
+                delivery: {
+                    id: `dlv_${string}`;
+                    state: "pending" | "delivered" | "acknowledged" | "undeliverable" | "dismissed" | "abandoned";
+                    claimedBy: {
+                        id: `shp_${string}`;
+                        name: string;
+                    } | null;
+                };
+            }[];
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        message: import("@trpc/server").TRPCQueryProcedure<{
+            input: {
+                messageId: unknown;
+            };
+            output: {
+                id: `msg_${string}`;
+                recipient: {
+                    kind: "ship";
+                    ship: {
+                        id: `shp_${string}`;
+                        name: string;
+                    };
+                } | {
+                    kind: "type";
+                    type: string;
+                };
+                contentType: string;
+                model: string | null;
+                inReplyTo: `msg_${string}` | null;
+                sentAt: string;
+                sender: {
+                    id: `shp_${string}`;
+                    name: string;
+                };
+                payload: string;
+                delivery: {
+                    id: `dlv_${string}`;
+                    state: "pending" | "delivered" | "acknowledged" | "undeliverable" | "dismissed" | "abandoned";
+                    attempts: number;
+                    claimedBy: {
+                        id: `shp_${string}`;
+                        name: string;
+                    } | null;
+                    history: {
+                        seq: number;
+                        type: "MessageAccepted" | "DeliveryClaimed" | "DeliveryAcknowledged" | "DeliveryUndeliverable" | "DeliveryReturned" | "DeliveryAbandoned" | "DeliveryDismissed";
+                        occurredAt: string;
+                        ship: {
+                            id: `shp_${string}`;
+                            name: string;
+                        } | null;
+                        location: {
+                            kind: "DEVICE" | "CLOUD" | "SERVER" | "OTHER";
+                            description: string | null;
+                        } | null;
+                        harness: string | null;
+                        attempts: number | null;
+                    }[];
+                };
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        needsAttention: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                deliveryId: `dlv_${string}`;
+                attempts: number;
+                since: string;
+                message: {
+                    id: `msg_${string}`;
+                    sender: {
+                        id: `shp_${string}`;
+                        name: string;
+                    };
+                    recipient: {
+                        kind: "ship";
+                        ship: {
+                            id: `shp_${string}`;
+                            name: string;
+                        };
+                    } | {
+                        kind: "type";
+                        type: string;
+                    };
+                    inReplyTo: `msg_${string}` | null;
+                    sentAt: string;
+                    contentType: string;
+                    payload: string;
+                };
+            }[];
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        dismiss: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                deliveryId: unknown;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        resend: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                deliveryId: unknown;
+            };
+            output: {
+                messageId: `msg_${string}`;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        inbox: import("@trpc/server").TRPCQueryProcedure<{
+            input: {
+                filter: "open" | "done" | "all";
+            };
+            output: {
+                deliveryId: `dlv_${string}`;
+                state: "pending" | "delivered" | "acknowledged" | "undeliverable" | "dismissed" | "abandoned";
+                readAt: string | null;
+                doneAt: string | null;
+                repliedWith: `msg_${string}` | null;
+                message: {
+                    id: `msg_${string}`;
+                    sender: {
+                        id: `shp_${string}`;
+                        name: string;
+                    };
+                    inReplyTo: `msg_${string}` | null;
+                    sentAt: string;
+                    contentType: string;
+                    model: string | null;
+                    payload: string;
+                };
+            }[];
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        markRead: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                deliveryId: unknown;
+                isRead: boolean;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        markDone: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                deliveryId: unknown;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        reply: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                deliveryId: unknown;
+                payload: string;
+                idempotencyKey: string;
+            };
+            output: {
+                messageId: `msg_${string}`;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        follow: import("@trpc/server").TRPCQueryProcedure<{
+            input: {
+                afterSeq?: number | undefined;
+                max?: number | undefined;
+                waitSeconds?: number | undefined;
+            } | undefined;
+            output: {
+                events: {
+                    seq: number;
+                    id: `evt_${string}`;
+                    type: "FleetInitialised" | "ShipCommissioned" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "DeliveryClaimed" | "DeliveryAcknowledged" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained";
+                    occurredAt: string;
+                    actorShipId: `shp_${string}` | null;
+                    shipId: `shp_${string}` | null;
+                    messageId: `msg_${string}` | null;
+                    deliveryId: `dlv_${string}` | null;
+                }[];
+                lastSeq: number;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        events: import("@trpc/server").TRPCSubscriptionProcedure<{
+            input: {
+                lastEventId?: string | null | undefined;
+            };
+            output: AsyncIterable<import("@trpc/server/unstable-core-do-not-import").TrackedData<{
+                kind: "event";
+                event: {
+                    seq: number;
+                    id: `evt_${string}`;
+                    type: "FleetInitialised" | "ShipCommissioned" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "DeliveryClaimed" | "DeliveryAcknowledged" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained";
+                    occurredAt: string;
+                    actorShipId: `shp_${string}` | null;
+                    shipId: `shp_${string}` | null;
+                    messageId: `msg_${string}` | null;
+                    deliveryId: `dlv_${string}` | null;
+                };
+            } | {
+                kind: "resync";
+            }>, any, any>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+    }>>;
+    installation: import("@trpc/server").TRPCBuiltRouter<{
+        ctx: import("./context.js").Context;
+        meta: import("./trpc.js").ProcedureMeta;
+        errorShape: import("@trpc/server").TRPCDefaultErrorShape | {
+            message: string;
+            data: {
+                requestId: string | undefined;
+                code: import("@trpc/server").TRPC_ERROR_CODE_KEY;
+                httpStatus: number;
+                path?: string;
+                stack?: string;
+            };
+            code: import("@trpc/server").TRPC_ERROR_CODE_NUMBER;
+        };
+        transformer: false;
+    }, import("@trpc/server").TRPCDecorateCreateRouterOptions<{
+        settings: import("@trpc/server").TRPCBuiltRouter<{
+            ctx: import("./context.js").Context;
+            meta: import("./trpc.js").ProcedureMeta;
+            errorShape: import("@trpc/server").TRPCDefaultErrorShape | {
+                message: string;
+                data: {
+                    requestId: string | undefined;
+                    code: import("@trpc/server").TRPC_ERROR_CODE_KEY;
+                    httpStatus: number;
+                    path?: string;
+                    stack?: string;
+                };
+                code: import("@trpc/server").TRPC_ERROR_CODE_NUMBER;
+            };
+            transformer: false;
+        }, import("@trpc/server").TRPCDecorateCreateRouterOptions<{
+            get: import("@trpc/server").TRPCQueryProcedure<{
+                input: void;
+                output: {
+                    defaultShipLimit: number | null;
+                    defaultDailyMessageLimit: number | null;
+                    fleetCap: number | null;
+                };
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+            set: import("@trpc/server").TRPCMutationProcedure<{
+                input: {
+                    defaultShipLimit: number | null;
+                    defaultDailyMessageLimit: number | null;
+                    fleetCap: number | null;
+                };
+                output: {
+                    defaultShipLimit: number | null;
+                    defaultDailyMessageLimit: number | null;
+                    fleetCap: number | null;
+                };
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+        }>>;
+        guide: import("@trpc/server").TRPCBuiltRouter<{
+            ctx: import("./context.js").Context;
+            meta: import("./trpc.js").ProcedureMeta;
+            errorShape: import("@trpc/server").TRPCDefaultErrorShape | {
+                message: string;
+                data: {
+                    requestId: string | undefined;
+                    code: import("@trpc/server").TRPC_ERROR_CODE_KEY;
+                    httpStatus: number;
+                    path?: string;
+                    stack?: string;
+                };
+                code: import("@trpc/server").TRPC_ERROR_CODE_NUMBER;
+            };
+            transformer: false;
+        }, import("@trpc/server").TRPCDecorateCreateRouterOptions<{
+            get: import("@trpc/server").TRPCQueryProcedure<{
+                input: void;
+                output: {
+                    guide: {
+                        audience: "everyone" | "operators" | "viewers";
+                        steps: {
+                            path: string;
+                            title: string;
+                            text: string;
+                            anchor?: string | undefined;
+                        }[];
+                    } | null;
+                };
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+            set: import("@trpc/server").TRPCMutationProcedure<{
+                input: {
+                    guide: {
+                        audience: "everyone" | "operators" | "viewers";
+                        steps: {
+                            path: string;
+                            title: string;
+                            text: string;
+                            anchor?: string | undefined;
+                        }[];
+                    } | null;
+                };
+                output: {
+                    guide: {
+                        audience: "everyone" | "operators" | "viewers";
+                        steps: {
+                            path: string;
+                            title: string;
+                            text: string;
+                            anchor?: string | undefined;
+                        }[];
+                    } | null;
+                };
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+        }>>;
+        notices: import("@trpc/server").TRPCBuiltRouter<{
+            ctx: import("./context.js").Context;
+            meta: import("./trpc.js").ProcedureMeta;
+            errorShape: import("@trpc/server").TRPCDefaultErrorShape | {
+                message: string;
+                data: {
+                    requestId: string | undefined;
+                    code: import("@trpc/server").TRPC_ERROR_CODE_KEY;
+                    httpStatus: number;
+                    path?: string;
+                    stack?: string;
+                };
+                code: import("@trpc/server").TRPC_ERROR_CODE_NUMBER;
+            };
+            transformer: false;
+        }, import("@trpc/server").TRPCDecorateCreateRouterOptions<{
+            get: import("@trpc/server").TRPCQueryProcedure<{
+                input: void;
+                output: {
+                    notices: {
+                        id: string;
+                        audience: "everyone" | "operators" | "viewers";
+                        text: string;
+                        links: {
+                            label: string;
+                            url?: string | undefined;
+                            isSignOut?: boolean | undefined;
+                        }[];
+                        isDismissible: boolean;
+                    }[];
+                };
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+            set: import("@trpc/server").TRPCMutationProcedure<{
+                input: {
+                    notices: {
+                        id: string;
+                        audience: "everyone" | "operators" | "viewers";
+                        text: string;
+                        links?: {
+                            label: string;
+                            url?: string | undefined;
+                            isSignOut?: boolean | undefined;
+                        }[] | undefined;
+                        isDismissible?: boolean | undefined;
+                    }[];
+                };
+                output: {
+                    notices: {
+                        id: string;
+                        audience: "everyone" | "operators" | "viewers";
+                        text: string;
+                        links: {
+                            label: string;
+                            url?: string | undefined;
+                            isSignOut?: boolean | undefined;
+                        }[];
+                        isDismissible: boolean;
+                    }[];
+                };
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+        }>>;
+        fleets: import("@trpc/server").TRPCBuiltRouter<{
+            ctx: import("./context.js").Context;
+            meta: import("./trpc.js").ProcedureMeta;
+            errorShape: import("@trpc/server").TRPCDefaultErrorShape | {
+                message: string;
+                data: {
+                    requestId: string | undefined;
+                    code: import("@trpc/server").TRPC_ERROR_CODE_KEY;
+                    httpStatus: number;
+                    path?: string;
+                    stack?: string;
+                };
+                code: import("@trpc/server").TRPC_ERROR_CODE_NUMBER;
+            };
+            transformer: false;
+        }, import("@trpc/server").TRPCDecorateCreateRouterOptions<{
+            limits: import("@trpc/server").TRPCQueryProcedure<{
+                input: {
+                    fleetId: unknown;
+                };
+                output: {
+                    fleetId: `flt_${string}`;
+                    ships: {
+                        setting: {
+                            kind: "default";
+                        } | {
+                            kind: "fleet";
+                            limit: number | null;
+                        };
+                        applies: number | null;
+                    };
+                    dailyMessages: {
+                        setting: {
+                            kind: "default";
+                        } | {
+                            kind: "fleet";
+                            limit: number | null;
+                        };
+                        applies: number | null;
+                    };
+                };
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+            setLimits: import("@trpc/server").TRPCMutationProcedure<{
+                input: {
+                    fleetId: unknown;
+                    ships?: {
+                        kind: "default";
+                    } | {
+                        kind: "fleet";
+                        limit: number | null;
+                    } | undefined;
+                    dailyMessages?: {
+                        kind: "default";
+                    } | {
+                        kind: "fleet";
+                        limit: number | null;
+                    } | undefined;
+                };
+                output: {
+                    fleetId: `flt_${string}`;
+                    ships: {
+                        setting: {
+                            kind: "default";
+                        } | {
+                            kind: "fleet";
+                            limit: number | null;
+                        };
+                        applies: number | null;
+                    };
+                    dailyMessages: {
+                        setting: {
+                            kind: "default";
+                        } | {
+                            kind: "fleet";
+                            limit: number | null;
+                        };
+                        applies: number | null;
+                    };
+                };
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+            create: import("@trpc/server").TRPCMutationProcedure<{
+                input: {
+                    requestId: string;
+                    name: string;
+                    operatorEmail: string;
+                    viewer?: boolean | undefined;
+                };
+                output: {
+                    fleetId: `flt_${string}`;
+                    operatorShipId: `shp_${string}`;
+                };
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+            list: import("@trpc/server").TRPCQueryProcedure<{
+                input: void;
+                output: {
+                    fleetId: `flt_${string}`;
+                    name: string;
+                    operatorEmail: string;
+                    createdAt: string;
+                    shipCount: number;
+                    messagesLast7Days: number;
+                    lastActivityAt: string | null;
+                    storage: number;
+                    messagesToday: number;
+                    messagesPerDay: {
+                        date: string;
+                        count: number;
+                    }[];
+                    limits: {
+                        ships: {
+                            setting: {
+                                kind: "default";
+                            } | {
+                                kind: "fleet";
+                                limit: number | null;
+                            };
+                            applies: number | null;
+                        };
+                        dailyMessages: {
+                            setting: {
+                                kind: "default";
+                            } | {
+                                kind: "fleet";
+                                limit: number | null;
+                            };
+                            applies: number | null;
+                        };
+                    };
+                }[];
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+            get: import("@trpc/server").TRPCQueryProcedure<{
+                input: {
+                    fleetId: unknown;
+                };
+                output: {
+                    fleetId: `flt_${string}`;
+                    name: string;
+                    operatorEmail: string;
+                    createdAt: string;
+                    shipCount: number;
+                    messagesLast7Days: number;
+                    lastActivityAt: string | null;
+                    storage: number;
+                    messagesToday: number;
+                    messagesPerDay: {
+                        date: string;
+                        count: number;
+                    }[];
+                    limits: {
+                        ships: {
+                            setting: {
+                                kind: "default";
+                            } | {
+                                kind: "fleet";
+                                limit: number | null;
+                            };
+                            applies: number | null;
+                        };
+                        dailyMessages: {
+                            setting: {
+                                kind: "default";
+                            } | {
+                                kind: "fleet";
+                                limit: number | null;
+                            };
+                            applies: number | null;
+                        };
+                    };
+                };
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+            delete: import("@trpc/server").TRPCMutationProcedure<{
+                input: {
+                    requestId: string;
+                    fleetId: unknown;
+                };
+                output: Record<string, never>;
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+        }>>;
+        operators: import("@trpc/server").TRPCBuiltRouter<{
+            ctx: import("./context.js").Context;
+            meta: import("./trpc.js").ProcedureMeta;
+            errorShape: import("@trpc/server").TRPCDefaultErrorShape | {
+                message: string;
+                data: {
+                    requestId: string | undefined;
+                    code: import("@trpc/server").TRPC_ERROR_CODE_KEY;
+                    httpStatus: number;
+                    path?: string;
+                    stack?: string;
+                };
+                code: import("@trpc/server").TRPC_ERROR_CODE_NUMBER;
+            };
+            transformer: false;
+        }, import("@trpc/server").TRPCDecorateCreateRouterOptions<{
+            issueSignInTicket: import("@trpc/server").TRPCMutationProcedure<{
+                input: {
+                    fleetId: unknown;
+                    as?: "operator" | "viewer" | undefined;
+                };
+                output: {
+                    ticket: string;
+                };
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+        }>>;
+    }>>;
+    ship: import("@trpc/server").TRPCBuiltRouter<{
+        ctx: import("./context.js").Context;
+        meta: import("./trpc.js").ProcedureMeta;
+        errorShape: import("@trpc/server").TRPCDefaultErrorShape | {
+            message: string;
+            data: {
+                requestId: string | undefined;
+                code: import("@trpc/server").TRPC_ERROR_CODE_KEY;
+                httpStatus: number;
+                path?: string;
+                stack?: string;
+            };
+            code: import("@trpc/server").TRPC_ERROR_CODE_NUMBER;
+        };
+        transformer: false;
+    }, import("@trpc/server").TRPCDecorateCreateRouterOptions<{
+        register: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+                secret: string;
+                location: {
+                    kind: "DEVICE" | "CLOUD" | "SERVER";
+                } | {
+                    kind: "OTHER";
+                    description: string;
+                };
+                harness: string;
+            };
+            output: {
+                crewToken: string;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        whoami: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                shipId: `shp_${string}`;
+                fleetId: `flt_${string}`;
+                name: string;
+                type: string;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        send: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                selector: {
+                    kind: "ship";
+                    shipId: unknown;
+                } | {
+                    kind: "ship";
+                    name: string;
+                } | {
+                    kind: "type";
+                    type: string;
+                };
+                payload: string;
+                idempotencyKey: string;
+                contentType?: string | undefined;
+                model?: string | undefined;
+                inReplyTo?: unknown;
+            };
+            output: {
+                messageId: `msg_${string}`;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        receive: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                max?: number | undefined;
+            } | undefined;
+            output: {
+                deliveries: {
+                    deliveryId: `dlv_${string}`;
+                    messageId: `msg_${string}`;
+                    senderShipId: `shp_${string}`;
+                    senderName: string;
+                    senderType: string;
+                    recipient: {
+                        kind: "ship";
+                        shipId: `shp_${string}`;
+                    } | {
+                        kind: "type";
+                        type: string;
+                    };
+                    payload: string;
+                    contentType: string;
+                    model: string | null;
+                    inReplyTo: `msg_${string}` | null;
+                    sentAt: string;
+                    attempts: number;
+                }[];
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        ack: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                deliveryId: unknown;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        pong: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                deliveryId: unknown;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        report: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                state: "working" | "blocked" | "idle";
+                note?: string | undefined;
+                details?: Record<string, import("zod").JSONType> | null | undefined;
+                detailsPatch?: Record<string, import("zod").JSONType> | null | undefined;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        reportLog: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                report: {
+                    state: "working" | "blocked" | "idle";
+                    note: string | null;
+                    reportedAt: string;
+                    detailsVersion: number;
+                    details: Record<string, import("zod").JSONType> | null;
+                } | null;
+                previousCrew: {
+                    state: "working" | "blocked" | "idle";
+                    note: string | null;
+                    reportedAt: string;
+                    detailsVersion: number;
+                    details: Record<string, import("zod").JSONType> | null;
+                } | null;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        inbox: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                waitSeconds?: number | undefined;
+            } | undefined;
+            output: {
+                waiting: number;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        deregister: import("@trpc/server").TRPCMutationProcedure<{
+            input: void;
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+    }>>;
+    system: import("@trpc/server").TRPCBuiltRouter<{
+        ctx: import("./context.js").Context;
+        meta: import("./trpc.js").ProcedureMeta;
+        errorShape: import("@trpc/server").TRPCDefaultErrorShape | {
+            message: string;
+            data: {
+                requestId: string | undefined;
+                code: import("@trpc/server").TRPC_ERROR_CODE_KEY;
+                httpStatus: number;
+                path?: string;
+                stack?: string;
+            };
+            code: import("@trpc/server").TRPC_ERROR_CODE_NUMBER;
+        };
+        transformer: false;
+    }, import("@trpc/server").TRPCDecorateCreateRouterOptions<{
+        ping: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                serverTime: string;
+                fleetCount: number;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+    }>>;
+}>>;
+export type AppRouter = typeof appRouter;