@aeolus-fleet/core 0.27.0 → 0.28.0

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

@@ -55,12 +55,14 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 session: {
                     device: string;
                     since: string;
+                    accountId?: (string & import("zod").$brand<"AccountId">) | null | undefined;
                 };
             } | {
                 kind: "viewer";
                 session: {
                     device: string;
                     since: string;
+                    accountId?: (string & import("zod").$brand<"AccountId">) | null | undefined;
                 };
             };
             meta: import("./trpc.js").ProcedureMeta;
@@ -71,7 +73,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 fleetId: `flt_${string}`;
                 expiresAt: string;
                 kind: "operator" | "viewer";
-                scopes: ("messages:send" | "messages:receive" | "messages:force" | "messages:resend" | "fleet:read" | "fleet:commission" | "fleet:manage" | "crew:assign" | "crew:run" | "labels:define" | "labels:assign" | "fleet:network" | "fleet:on-behalf" | "scopes:declare" | "scopes:grant")[];
+                scopes: ("messages:send" | "messages:receive" | "messages:force" | "messages:resend" | "fleet:read" | "fleet:commission" | "fleet:manage" | "crew:assign" | "crew:run" | "labels:define" | "labels:assign" | "fleet:network" | "fleet:on-behalf" | "fleet:person" | "fleet:owner" | "fleet:explain" | "fleet:connect" | "labels:any" | "fleet:verify" | "scopes:declare" | "scopes:grant")[];
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
@@ -157,7 +159,9 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 idempotencyKey: string;
                 kind?: "agent" | "person" | "app" | undefined;
                 scopes?: string[] | undefined;
+                valueIds?: unknown[] | undefined;
                 ownerOf?: unknown;
+                owner?: unknown;
                 note?: string | undefined;
             };
             output: {
@@ -335,6 +339,13 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             output: Record<string, never>;
             meta: import("./trpc.js").ProcedureMeta;
         }>;
+        connectPlugin: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
         recrew: import("@trpc/server").TRPCMutationProcedure<{
             input: {
                 shipId: unknown;
@@ -434,6 +445,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 }[];
                 awaitingCrewSince: string | null;
                 retiredAt: string | null;
+                ownerShipId: `shp_${string}` | null;
             } | {
                 id: `shp_${string}`;
                 name: string;
@@ -453,8 +465,11 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                     value: string;
                 }[];
                 owner: {
+                    kind: "ship";
                     id: `shp_${string}`;
                     name: string;
+                } | {
+                    kind: "installation";
                 };
             }[];
             meta: import("./trpc.js").ProcedureMeta;
@@ -502,6 +517,21 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
+        setVerifiedFacts: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+                facts: ({
+                    checked: "clientIdDocumentDomain" | "tlsHost" | "a2aCardDomain";
+                    value: string;
+                } | {
+                    checked: "oauthSubject";
+                    issuer: string;
+                    value: string;
+                })[];
+            };
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
         defineLabel: import("@trpc/server").TRPCMutationProcedure<{
             input: {
                 key: string;
@@ -563,31 +593,185 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
-        setNetworkRules: import("@trpc/server").TRPCMutationProcedure<{
+        networkRules: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                applied: {
+                    rules: {
+                        verb: "send" | "read" | "manage";
+                        from: (`lbv_${string}` | {
+                            labelId: `lbl_${string}`;
+                            value: "*" | "#";
+                        } | {
+                            owner: `shp_${string}` | "*" | "#";
+                        })[];
+                        to: (`lbv_${string}` | {
+                            labelId: `lbl_${string}`;
+                            value: "*" | "#";
+                        } | {
+                            owner: `shp_${string}` | "*" | "#";
+                        })[];
+                    }[] | null;
+                    version: number;
+                };
+                draft: {
+                    rules: {
+                        verb: "send" | "read" | "manage";
+                        from: (`lbv_${string}` | {
+                            labelId: `lbl_${string}`;
+                            value: "*" | "#";
+                        } | {
+                            owner: `shp_${string}` | "*" | "#";
+                        })[];
+                        to: (`lbv_${string}` | {
+                            labelId: `lbl_${string}`;
+                            value: "*" | "#";
+                        } | {
+                            owner: `shp_${string}` | "*" | "#";
+                        })[];
+                    }[] | null;
+                    savedAt: string;
+                    savedAgainstVersion: number;
+                } | null;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        saveNetworkRulesDraft: import("@trpc/server").TRPCMutationProcedure<{
             input: {
                 rules: {
                     verb: "send" | "read" | "manage";
                     from: unknown[];
                     to: unknown[];
-                }[];
+                }[] | null;
             };
             output: {
-                version: number;
+                savedAgainstVersion: number;
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
-        registerNetworkPlugin: import("@trpc/server").TRPCMutationProcedure<{
-            input: {
-                whileUnavailable: "block-all" | "open-all" | "keep-latest";
-                notRespondingAfterSeconds: number;
-            };
+        discardNetworkRulesDraft: import("@trpc/server").TRPCMutationProcedure<{
+            input: void;
+            output: Record<string, never>;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        networkRulesDraftChanges: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
             output: {
-                version: number;
+                send: {
+                    gained: {
+                        fromShipId: `shp_${string}`;
+                        toShipId: `shp_${string}`;
+                        rule: {
+                            builtIn: "installation" | "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
+                        } | {
+                            rule: number;
+                        } | {
+                            declared: {
+                                kind: "ship";
+                                shipId: `shp_${string}`;
+                            } | {
+                                kind: "installation";
+                            };
+                            index: number;
+                        };
+                    }[];
+                    lost: {
+                        fromShipId: `shp_${string}`;
+                        toShipId: `shp_${string}`;
+                        rule: {
+                            builtIn: "installation" | "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
+                        } | {
+                            rule: number;
+                        } | {
+                            declared: {
+                                kind: "ship";
+                                shipId: `shp_${string}`;
+                            } | {
+                                kind: "installation";
+                            };
+                            index: number;
+                        };
+                    }[];
+                };
+                read: {
+                    gained: {
+                        fromShipId: `shp_${string}`;
+                        toShipId: `shp_${string}`;
+                        rule: {
+                            builtIn: "installation" | "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
+                        } | {
+                            rule: number;
+                        } | {
+                            declared: {
+                                kind: "ship";
+                                shipId: `shp_${string}`;
+                            } | {
+                                kind: "installation";
+                            };
+                            index: number;
+                        };
+                    }[];
+                    lost: {
+                        fromShipId: `shp_${string}`;
+                        toShipId: `shp_${string}`;
+                        rule: {
+                            builtIn: "installation" | "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
+                        } | {
+                            rule: number;
+                        } | {
+                            declared: {
+                                kind: "ship";
+                                shipId: `shp_${string}`;
+                            } | {
+                                kind: "installation";
+                            };
+                            index: number;
+                        };
+                    }[];
+                };
+                manage: {
+                    gained: {
+                        fromShipId: `shp_${string}`;
+                        toShipId: `shp_${string}`;
+                        rule: {
+                            builtIn: "installation" | "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
+                        } | {
+                            rule: number;
+                        } | {
+                            declared: {
+                                kind: "ship";
+                                shipId: `shp_${string}`;
+                            } | {
+                                kind: "installation";
+                            };
+                            index: number;
+                        };
+                    }[];
+                    lost: {
+                        fromShipId: `shp_${string}`;
+                        toShipId: `shp_${string}`;
+                        rule: {
+                            builtIn: "installation" | "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
+                        } | {
+                            rule: number;
+                        } | {
+                            declared: {
+                                kind: "ship";
+                                shipId: `shp_${string}`;
+                            } | {
+                                kind: "installation";
+                            };
+                            index: number;
+                        };
+                    }[];
+                };
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
-        unregisterNetworkPlugin: import("@trpc/server").TRPCMutationProcedure<{
-            input: void;
+        applyNetworkRules: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                version: number;
+            };
             output: {
                 version: number;
             };
@@ -595,9 +779,8 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
         }>;
         setBuiltInRule: import("@trpc/server").TRPCMutationProcedure<{
             input: {
-                rule: "argo" | "owner" | "open" | "answer" | "viewerRead";
+                rule: "installation" | "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
                 isOn: boolean;
-                verb?: "send" | "read" | "manage" | undefined;
             };
             output: {
                 version: number;
@@ -606,14 +789,10 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
         }>;
         builtInRules: import("@trpc/server").TRPCQueryProcedure<{
             input: void;
-            output: ({
-                rule: "argo" | "owner" | "answer" | "viewerRead";
-                isOn: boolean;
-            } | {
-                rule: "open";
-                verb: "send" | "read" | "manage";
+            output: {
+                rule: "installation" | "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
                 isOn: boolean;
-            })[];
+            }[];
             meta: import("./trpc.js").ProcedureMeta;
         }>;
         declareNetworkRules: import("@trpc/server").TRPCMutationProcedure<{
@@ -632,7 +811,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
         declaredNetworkRules: import("@trpc/server").TRPCQueryProcedure<{
             input: void;
             output: {
-                shipId: `shp_${string}`;
+                declarer: {
+                    kind: "ship";
+                    shipId: `shp_${string}`;
+                } | {
+                    kind: "installation";
+                };
                 rules: {
                     verb: "send" | "read" | "manage";
                     from: (`lbv_${string}` | {
@@ -669,6 +853,22 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                         id: `shp_${string}`;
                         name: string;
                     } | null;
+                    kind: "ship";
+                } | {
+                    kind: "account";
+                    accountId: string & import("zod").$brand<"AccountId">;
+                    labels: {
+                        labelId: `lbl_${string}`;
+                        key: string;
+                        valueId: `lbv_${string}`;
+                        value: string;
+                    }[];
+                    personShip: {
+                        id: `shp_${string}`;
+                        name: string;
+                    } | null;
+                } | {
+                    kind: "installation";
                 };
                 askedBy: {
                     id: `shp_${string}`;
@@ -720,7 +920,6 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 };
                 verb: "send" | "read" | "manage";
                 settingsVersion: number;
-                whilePluginUnavailable: "block-all" | "keep-latest" | null;
             }[];
             meta: import("./trpc.js").ProcedureMeta;
         }>;
@@ -728,38 +927,54 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             input: {
                 fromShipId: unknown;
                 toShipId?: unknown;
+                against?: "applied" | "draft" | undefined;
             };
             output: {
                 send: {
                     shipId: `shp_${string}`;
                     rule: {
-                        builtIn: "argo" | "owner" | "open" | "answer" | "viewerRead";
+                        builtIn: "installation" | "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
                     } | {
-                        plugin: number;
+                        rule: number;
                     } | {
-                        declared: `shp_${string}`;
+                        declared: {
+                            kind: "ship";
+                            shipId: `shp_${string}`;
+                        } | {
+                            kind: "installation";
+                        };
                         index: number;
                     };
                 }[];
                 read: {
                     shipId: `shp_${string}`;
                     rule: {
-                        builtIn: "argo" | "owner" | "open" | "answer" | "viewerRead";
+                        builtIn: "installation" | "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
                     } | {
-                        plugin: number;
+                        rule: number;
                     } | {
-                        declared: `shp_${string}`;
+                        declared: {
+                            kind: "ship";
+                            shipId: `shp_${string}`;
+                        } | {
+                            kind: "installation";
+                        };
                         index: number;
                     };
                 }[];
                 manage: {
                     shipId: `shp_${string}`;
                     rule: {
-                        builtIn: "argo" | "owner" | "open" | "answer" | "viewerRead";
+                        builtIn: "installation" | "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
                     } | {
-                        plugin: number;
+                        rule: number;
                     } | {
-                        declared: `shp_${string}`;
+                        declared: {
+                            kind: "ship";
+                            shipId: `shp_${string}`;
+                        } | {
+                            kind: "installation";
+                        };
                         index: number;
                     };
                 }[];
@@ -804,6 +1019,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 }[];
                 awaitingCrewSince: string | null;
                 retiredAt: string | null;
+                ownerShipId: `shp_${string}` | null;
                 report: {
                     state: "working" | "blocked" | "idle";
                     note: string | null;
@@ -862,12 +1078,13 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             output: {
                 seq: number;
                 id: `evt_${string}`;
-                type: "FleetInitialised" | "ShipCommissioned" | "OwnerSet" | "OwnerChanged" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "LeasePushed" | "DeliveryReceived" | "DeliveryHanded" | "DeliveryAcknowledged" | "DeliveryHandled" | "DeliveryNotHandled" | "DeliveryOverdue" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "StatementSet" | "TurnReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained" | "CrewRequestGivenBack" | "LabelDefined" | "LabelValuesChanged" | "LabelRetired" | "LabelAssigned" | "LabelUnassigned" | "LabelDeleted" | "WorktreeClearRequested" | "WorktreeCleared" | "WorktreeClearRemoved" | "NetworkRulesSet" | "NetworkRulesDeclared" | "NetworkPluginRegistered" | "NetworkPluginUnregistered" | "BuiltInRuleChanged" | "ScopesDeclared" | "ScopesChanged";
+                type: "FleetInitialised" | "ShipCommissioned" | "OwnerSet" | "OwnerChanged" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "LeasePushed" | "DeliveryReceived" | "DeliveryHanded" | "DeliveryAcknowledged" | "DeliveryHandled" | "DeliveryNotHandled" | "DeliveryOverdue" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "StatementSet" | "TurnReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained" | "CrewRequestGivenBack" | "LabelDefined" | "LabelValuesChanged" | "LabelRetired" | "LabelAssigned" | "LabelUnassigned" | "LabelDeleted" | "WorktreeClearRequested" | "WorktreeCleared" | "WorktreeClearRemoved" | "NetworkRulesSet" | "NetworkRulesDeclared" | "NetworkRulesDraftSaved" | "NetworkRulesDraftDiscarded" | "NetworkPluginRegistered" | "NetworkPluginUnregistered" | "BuiltInRuleChanged" | "ScopesDeclared" | "ScopesChanged" | "PluginConnected" | "PluginDisconnected" | "VerifiedFactsSet" | "VerifiedFactsRemoved";
                 occurredAt: string;
                 actor: {
                     id: `shp_${string}`;
                     name: string;
                 } | null;
+                signedInAccountId: (string & import("zod").$brand<"AccountId">) | null;
                 ship: {
                     id: `shp_${string}`;
                     name: string;
@@ -939,6 +1156,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             };
             output: {
                 id: `msg_${string}`;
+                sentAt: string;
+                model: string | null;
+                sender: {
+                    id: `shp_${string}`;
+                    name: string;
+                };
                 recipient: {
                     kind: "ship";
                     ship: {
@@ -950,13 +1173,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                     type: string;
                 };
                 contentType: string;
-                model: string | null;
                 inReplyTo: `msg_${string}` | null;
-                sentAt: string;
-                sender: {
-                    id: `shp_${string}`;
-                    name: string;
-                };
                 payload: string;
                 replies: {
                     id: `msg_${string}`;
@@ -985,6 +1202,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                             };
                         } | {
                             kind: "pluginWatcher";
+                        } | {
+                            kind: "personApp";
+                        } | {
+                            kind: "gateway";
+                        } | {
+                            kind: "adapter";
                         } | {
                             kind: "agent";
                         } | null;
@@ -1004,6 +1227,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                                 };
                             } | {
                                 kind: "pluginWatcher";
+                            } | {
+                                kind: "personApp";
+                            } | {
+                                kind: "gateway";
+                            } | {
+                                kind: "adapter";
                             } | null;
                             isEnded: boolean;
                             turn: {
@@ -1039,15 +1268,22 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                             };
                         } | {
                             kind: "pluginWatcher";
+                        } | {
+                            kind: "personApp";
+                        } | {
+                            kind: "gateway";
+                        } | {
+                            kind: "adapter";
                         } | null;
                         handOverNumber: number | null;
+                        channel: string | null;
                         isAgain: boolean;
                         isOnceMore: boolean;
                         overdue: {
                             clock: "idle" | "busy" | "notConfirmed";
                             minutes: number;
                         } | null;
-                        leaseEnd: "released" | "retired" | "deregistered" | "takenOver" | "signedOut" | "passwordReset" | null;
+                        leaseEnd: "released" | "retired" | "deregistered" | "takenOver" | "signedOut" | "passwordReset" | "accountCutOff" | null;
                     }[];
                 };
             };
@@ -1067,6 +1303,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                         };
                     } | {
                         kind: "pluginWatcher";
+                    } | {
+                        kind: "personApp";
+                    } | {
+                        kind: "gateway";
+                    } | {
+                        kind: "adapter";
                     } | null;
                     turn: {
                         turn: "idle" | "busy";
@@ -1093,6 +1335,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                                 };
                             } | {
                                 kind: "pluginWatcher";
+                            } | {
+                                kind: "personApp";
+                            } | {
+                                kind: "gateway";
+                            } | {
+                                kind: "adapter";
                             } | {
                                 kind: "agent";
                             } | null;
@@ -1112,6 +1360,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                                     };
                                 } | {
                                     kind: "pluginWatcher";
+                                } | {
+                                    kind: "personApp";
+                                } | {
+                                    kind: "gateway";
+                                } | {
+                                    kind: "adapter";
                                 } | null;
                                 isEnded: boolean;
                                 turn: {
@@ -1296,9 +1550,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 events: {
                     seq: number;
                     id: `evt_${string}`;
-                    type: "FleetInitialised" | "ShipCommissioned" | "OwnerSet" | "OwnerChanged" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "LeasePushed" | "DeliveryReceived" | "DeliveryHanded" | "DeliveryAcknowledged" | "DeliveryHandled" | "DeliveryNotHandled" | "DeliveryOverdue" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "StatementSet" | "TurnReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained" | "CrewRequestGivenBack" | "LabelDefined" | "LabelValuesChanged" | "LabelRetired" | "LabelAssigned" | "LabelUnassigned" | "LabelDeleted" | "WorktreeClearRequested" | "WorktreeCleared" | "WorktreeClearRemoved" | "NetworkRulesSet" | "NetworkRulesDeclared" | "NetworkPluginRegistered" | "NetworkPluginUnregistered" | "BuiltInRuleChanged" | "ScopesDeclared" | "ScopesChanged";
+                    type: "FleetInitialised" | "ShipCommissioned" | "OwnerSet" | "OwnerChanged" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "LeasePushed" | "DeliveryReceived" | "DeliveryHanded" | "DeliveryAcknowledged" | "DeliveryHandled" | "DeliveryNotHandled" | "DeliveryOverdue" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "StatementSet" | "TurnReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained" | "CrewRequestGivenBack" | "LabelDefined" | "LabelValuesChanged" | "LabelRetired" | "LabelAssigned" | "LabelUnassigned" | "LabelDeleted" | "WorktreeClearRequested" | "WorktreeCleared" | "WorktreeClearRemoved" | "NetworkRulesSet" | "NetworkRulesDeclared" | "NetworkRulesDraftSaved" | "NetworkRulesDraftDiscarded" | "NetworkPluginRegistered" | "NetworkPluginUnregistered" | "BuiltInRuleChanged" | "ScopesDeclared" | "ScopesChanged" | "PluginConnected" | "PluginDisconnected" | "VerifiedFactsSet" | "VerifiedFactsRemoved";
                     occurredAt: string;
+                    actorKind: "ship" | "account" | "installation" | "system";
                     actorShipId: `shp_${string}` | null;
+                    actorAccountId: (string & import("zod").$brand<"AccountId">) | null;
+                    actorSignedInAccountId: (string & import("zod").$brand<"AccountId">) | null;
                     shipId: `shp_${string}` | null;
                     messageId: `msg_${string}` | null;
                     deliveryId: `dlv_${string}` | null;
@@ -1316,9 +1573,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 event: {
                     seq: number;
                     id: `evt_${string}`;
-                    type: "FleetInitialised" | "ShipCommissioned" | "OwnerSet" | "OwnerChanged" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "LeasePushed" | "DeliveryReceived" | "DeliveryHanded" | "DeliveryAcknowledged" | "DeliveryHandled" | "DeliveryNotHandled" | "DeliveryOverdue" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "StatementSet" | "TurnReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained" | "CrewRequestGivenBack" | "LabelDefined" | "LabelValuesChanged" | "LabelRetired" | "LabelAssigned" | "LabelUnassigned" | "LabelDeleted" | "WorktreeClearRequested" | "WorktreeCleared" | "WorktreeClearRemoved" | "NetworkRulesSet" | "NetworkRulesDeclared" | "NetworkPluginRegistered" | "NetworkPluginUnregistered" | "BuiltInRuleChanged" | "ScopesDeclared" | "ScopesChanged";
+                    type: "FleetInitialised" | "ShipCommissioned" | "OwnerSet" | "OwnerChanged" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "LeasePushed" | "DeliveryReceived" | "DeliveryHanded" | "DeliveryAcknowledged" | "DeliveryHandled" | "DeliveryNotHandled" | "DeliveryOverdue" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "StatementSet" | "TurnReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained" | "CrewRequestGivenBack" | "LabelDefined" | "LabelValuesChanged" | "LabelRetired" | "LabelAssigned" | "LabelUnassigned" | "LabelDeleted" | "WorktreeClearRequested" | "WorktreeCleared" | "WorktreeClearRemoved" | "NetworkRulesSet" | "NetworkRulesDeclared" | "NetworkRulesDraftSaved" | "NetworkRulesDraftDiscarded" | "NetworkPluginRegistered" | "NetworkPluginUnregistered" | "BuiltInRuleChanged" | "ScopesDeclared" | "ScopesChanged" | "PluginConnected" | "PluginDisconnected" | "VerifiedFactsSet" | "VerifiedFactsRemoved";
                     occurredAt: string;
+                    actorKind: "ship" | "account" | "installation" | "system";
                     actorShipId: `shp_${string}` | null;
+                    actorAccountId: (string & import("zod").$brand<"AccountId">) | null;
+                    actorSignedInAccountId: (string & import("zod").$brand<"AccountId">) | null;
                     shipId: `shp_${string}` | null;
                     messageId: `msg_${string}` | null;
                     deliveryId: `dlv_${string}` | null;
@@ -1384,6 +1644,30 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 meta: import("./trpc.js").ProcedureMeta;
             }>;
         }>>;
+        accounts: 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<{
+            cutOff: import("@trpc/server").TRPCMutationProcedure<{
+                input: {
+                    accountId: string;
+                };
+                output: Record<string, never>;
+                meta: import("./trpc.js").ProcedureMeta;
+            }>;
+        }>>;
         guide: import("@trpc/server").TRPCBuiltRouter<{
             ctx: import("./context.js").Context;
             meta: import("./trpc.js").ProcedureMeta;
@@ -1798,6 +2082,9 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 input: {
                     fleetId: unknown;
                     as?: "operator" | "viewer" | undefined;
+                    account?: {
+                        id: string;
+                    } | undefined;
                 };
                 output: {
                     ticket: string;
@@ -1904,9 +2191,39 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
+        receiveReply: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                messageId: unknown;
+            };
+            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;
+                    isForced: boolean;
+                }[];
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
         pushReceive: import("@trpc/server").TRPCMutationProcedure<{
             input: {
                 max?: number | undefined;
+                waker?: "trierarch" | "pluginWatcher" | "personApp" | "gateway" | "adapter" | undefined;
             } | undefined;
             output: {
                 deliveries: {
@@ -1940,6 +2257,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 deliveryId: unknown;
                 handOverNumber: number;
                 isOnceMore?: boolean | undefined;
+                channel?: string | undefined;
             };
             output: {
                 state: "handed" | "acknowledged" | "undeliverable";
@@ -2024,6 +2342,16 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                     outputSchema?: Record<string, import("zod").JSONType> | undefined;
                     inputModes?: string[] | undefined;
                     outputModes?: string[] | undefined;
+                    waitMs?: number | undefined;
+                    deadlineMs?: number | undefined;
+                    repeatable?: boolean | undefined;
+                    annotations?: {
+                        title?: string | undefined;
+                        readOnlyHint?: boolean | undefined;
+                        destructiveHint?: boolean | undefined;
+                        idempotentHint?: boolean | undefined;
+                        openWorldHint?: boolean | undefined;
+                    } | undefined;
                 }[];
             };
             output: {
@@ -2052,11 +2380,51 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                             outputSchema?: Record<string, import("zod").JSONType> | undefined;
                             inputModes?: string[] | undefined;
                             outputModes?: string[] | undefined;
+                            waitMs?: number | undefined;
+                            deadlineMs?: number | undefined;
+                            repeatable?: boolean | undefined;
+                            annotations?: {
+                                title?: string | undefined;
+                                readOnlyHint?: boolean | undefined;
+                                destructiveHint?: boolean | undefined;
+                                idempotentHint?: boolean | undefined;
+                                openWorldHint?: boolean | undefined;
+                            } | undefined;
                         }[];
                     } | {
                         by: "commission";
                         note: string;
                     } | null;
+                    verified: ({
+                        checked: "clientIdDocumentDomain" | "tlsHost" | "a2aCardDomain";
+                        value: string;
+                        by: {
+                            kind: "ship";
+                            id: `shp_${string}`;
+                            name: string;
+                        } | {
+                            kind: "account";
+                            id: string & import("zod").$brand<"AccountId">;
+                        } | {
+                            kind: "installation";
+                        };
+                        at: string;
+                    } | {
+                        checked: "oauthSubject";
+                        issuer: string;
+                        value: string;
+                        by: {
+                            kind: "ship";
+                            id: `shp_${string}`;
+                            name: string;
+                        } | {
+                            kind: "account";
+                            id: string & import("zod").$brand<"AccountId">;
+                        } | {
+                            kind: "installation";
+                        };
+                        at: string;
+                    })[];
                 }[];
                 types: {
                     type: string;
@@ -2065,6 +2433,31 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
+        sentMessage: import("@trpc/server").TRPCQueryProcedure<{
+            input: {
+                messageId: unknown;
+            };
+            output: {
+                messageId: `msg_${string}`;
+                sentAt: string;
+                recipient: {
+                    kind: "ship";
+                    ship: {
+                        id: `shp_${string}`;
+                        name: string;
+                    };
+                } | {
+                    kind: "type";
+                    type: string;
+                };
+                delivery: {
+                    deliveryId: `dlv_${string}`;
+                    state: "pending" | "received" | "handed" | "acknowledged" | "handled" | "notHandled" | "undeliverable" | "dismissed" | "abandoned";
+                    since: string;
+                };
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
         inbox: import("@trpc/server").TRPCMutationProcedure<{
             input: {
                 waitSeconds?: number | undefined;