@aeolus-fleet/core 0.26.1 → 0.27.1

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

@@ -71,7 +71,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 fleetId: `flt_${string}`;
                 expiresAt: string;
                 kind: "operator" | "viewer";
-                scopes: ("messages:send" | "messages:receive" | "fleet:read" | "fleet:manage" | "crew:assign" | "crew:run" | "labels:define" | "labels:assign" | "fleet:network")[];
+                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")[];
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
@@ -155,7 +155,10 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 name: string;
                 type: string;
                 idempotencyKey: string;
-                fleetScopes?: ("fleet:read" | "fleet:manage" | "crew:assign" | "crew:run" | "labels:define" | "labels:assign" | "fleet:network")[] | undefined;
+                kind?: "agent" | "person" | "app" | undefined;
+                scopes?: string[] | undefined;
+                ownerOf?: unknown;
+                owner?: unknown;
                 note?: string | undefined;
             };
             output: {
@@ -283,6 +286,8 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 requestedAt: string;
                 status: "crewing" | "running" | "restarting" | "crashed" | "releasing" | null;
                 isFinal: boolean;
+                ownerShipId: `shp_${string}` | null;
+                ownerName: string | null;
             }[];
             meta: import("./trpc.js").ProcedureMeta;
         }>;
@@ -323,6 +328,21 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             output: Record<string, never>;
             meta: import("./trpc.js").ProcedureMeta;
         }>;
+        setOwner: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+                ownerShipId: unknown;
+            };
+            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;
@@ -357,11 +377,11 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             input: {
                 valueIds?: unknown[] | undefined;
             } | undefined;
-            output: {
+            output: ({
                 id: `shp_${string}`;
                 name: string;
                 type: string;
-                kind: "operator" | "agent" | "viewer";
+                kind: "operator" | "agent" | "viewer" | "person" | "app";
                 status: "retired" | "awaitingCrew" | "crewed";
                 startingPrompt: {
                     issuedAt: string;
@@ -382,7 +402,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                     id: string;
                     statedAt: string;
                 } | null;
-                scopes: ("messages:send" | "messages:receive" | "fleet:read" | "fleet:manage" | "crew:assign" | "crew:run" | "labels:define" | "labels:assign" | "fleet:network")[];
+                scopes: string[];
                 report: {
                     state: "working" | "blocked" | "idle";
                     note: string | null;
@@ -422,7 +442,13 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 }[];
                 awaitingCrewSince: string | null;
                 retiredAt: string | null;
-            }[];
+            } | {
+                id: `shp_${string}`;
+                name: string;
+                type: string;
+                status: "retired" | "awaitingCrew" | "crewed";
+                isInReadReach: false;
+            })[];
             meta: import("./trpc.js").ProcedureMeta;
         }>;
         labels: import("@trpc/server").TRPCQueryProcedure<{
@@ -441,6 +467,49 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             }[];
             meta: import("./trpc.js").ProcedureMeta;
         }>;
+        scopes: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                namespace: string;
+                declaredBy: {
+                    id: `shp_${string}`;
+                    name: string;
+                } | null;
+                scopes: {
+                    scope: string;
+                    description: string;
+                }[];
+            }[];
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        declareScopes: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                namespace: string;
+                scopes: {
+                    scope: string;
+                    description: string;
+                }[];
+            };
+            output: {
+                namespace: string;
+                scopes: {
+                    scope: string;
+                    description: string;
+                }[];
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        grantScopes: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                shipId: unknown;
+                grant: string[];
+                revoke: string[];
+            };
+            output: {
+                scopes: string[];
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
         defineLabel: import("@trpc/server").TRPCMutationProcedure<{
             input: {
                 key: string;
@@ -505,9 +574,10 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
         setNetworkRules: import("@trpc/server").TRPCMutationProcedure<{
             input: {
                 rules: {
+                    verb: "send" | "read" | "manage";
                     from: unknown[];
                     to: unknown[];
-                }[] | null;
+                }[];
             };
             output: {
                 version: number;
@@ -531,9 +601,41 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
+        networkPlugin: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                shipId: `shp_${string}`;
+                registeredAt: string;
+            } | null;
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        setBuiltInRule: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                rule: "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
+                isOn: boolean;
+                verb?: "send" | "read" | "manage" | undefined;
+            };
+            output: {
+                version: number;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        builtInRules: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: ({
+                rule: "argo" | "owner" | "answer" | "pluginRead" | "viewerRead";
+                isOn: boolean;
+            } | {
+                rule: "open";
+                verb: "send" | "read" | "manage";
+                isOn: boolean;
+            })[];
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
         declareNetworkRules: import("@trpc/server").TRPCMutationProcedure<{
             input: {
                 rules: {
+                    verb: "send" | "read" | "manage";
                     from: unknown[];
                     to: unknown[];
                 }[];
@@ -548,13 +650,18 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             output: {
                 shipId: `shp_${string}`;
                 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}` | "*" | "#";
                     })[];
                 }[];
             }[];
@@ -574,7 +681,25 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                         valueId: `lbv_${string}`;
                         value: string;
                     }[];
+                    owner: {
+                        id: `shp_${string}`;
+                        name: string;
+                    } | null;
                 };
+                askedBy: {
+                    id: `shp_${string}`;
+                    name: string;
+                    labels: {
+                        labelId: `lbl_${string}`;
+                        key: string;
+                        valueId: `lbv_${string}`;
+                        value: string;
+                    }[];
+                    owner: {
+                        id: `shp_${string}`;
+                        name: string;
+                    } | null;
+                } | null;
                 recipient: {
                     kind: "ship";
                     ship: {
@@ -586,6 +711,10 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                             valueId: `lbv_${string}`;
                             value: string;
                         }[];
+                        owner: {
+                            id: `shp_${string}`;
+                            name: string;
+                        } | null;
                     };
                 } | {
                     kind: "type";
@@ -599,8 +728,13 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                             valueId: `lbv_${string}`;
                             value: string;
                         }[];
+                        owner: {
+                            id: `shp_${string}`;
+                            name: string;
+                        } | null;
                     }[];
                 };
+                verb: "send" | "read" | "manage";
                 settingsVersion: number;
                 whilePluginUnavailable: "block-all" | "keep-latest" | null;
             }[];
@@ -612,7 +746,39 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 toShipId?: unknown;
             };
             output: {
-                reachableShipIds: `shp_${string}`[];
+                send: {
+                    shipId: `shp_${string}`;
+                    rule: {
+                        builtIn: "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
+                    } | {
+                        plugin: number;
+                    } | {
+                        declared: `shp_${string}`;
+                        index: number;
+                    };
+                }[];
+                read: {
+                    shipId: `shp_${string}`;
+                    rule: {
+                        builtIn: "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
+                    } | {
+                        plugin: number;
+                    } | {
+                        declared: `shp_${string}`;
+                        index: number;
+                    };
+                }[];
+                manage: {
+                    shipId: `shp_${string}`;
+                    rule: {
+                        builtIn: "argo" | "owner" | "open" | "answer" | "pluginRead" | "viewerRead";
+                    } | {
+                        plugin: number;
+                    } | {
+                        declared: `shp_${string}`;
+                        index: number;
+                    };
+                }[];
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
@@ -624,7 +790,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 id: `shp_${string}`;
                 name: string;
                 type: string;
-                kind: "operator" | "agent" | "viewer";
+                kind: "operator" | "agent" | "viewer" | "person" | "app";
                 status: "retired" | "awaitingCrew" | "crewed";
                 startingPrompt: {
                     issuedAt: string;
@@ -645,7 +811,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                     id: string;
                     statedAt: string;
                 } | null;
-                scopes: ("messages:send" | "messages:receive" | "fleet:read" | "fleet:manage" | "crew:assign" | "crew:run" | "labels:define" | "labels:assign" | "fleet:network")[];
+                scopes: string[];
                 labels: {
                     labelId: `lbl_${string}`;
                     key: string;
@@ -692,6 +858,16 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 crewedSince: string | null;
                 inFlightDeliveries: number;
                 openDeliveries: number;
+                owner: {
+                    id: `shp_${string}`;
+                    name: string;
+                } | null;
+            } | {
+                id: `shp_${string}`;
+                name: string;
+                type: string;
+                status: "retired" | "awaitingCrew" | "crewed";
+                isInReadReach: false;
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
@@ -702,7 +878,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             output: {
                 seq: number;
                 id: `evt_${string}`;
-                type: "FleetInitialised" | "ShipCommissioned" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "LeasePushed" | "DeliveryReceived" | "DeliveryHanded" | "DeliveryAcknowledged" | "DeliveryHandled" | "DeliveryNotHandled" | "DeliveryOverdue" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "TurnReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained" | "CrewRequestGivenBack" | "LabelDefined" | "LabelValuesChanged" | "LabelRetired" | "LabelAssigned" | "LabelUnassigned" | "LabelDeleted" | "WorktreeClearRequested" | "WorktreeCleared" | "WorktreeClearRemoved" | "NetworkRulesSet" | "NetworkRulesDeclared" | "NetworkPluginRegistered" | "NetworkPluginUnregistered";
+                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" | "PluginConnected" | "PluginDisconnected";
                 occurredAt: string;
                 actor: {
                     id: `shp_${string}`;
@@ -779,6 +955,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: {
@@ -790,13 +972,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}`;
@@ -825,6 +1001,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                             };
                         } | {
                             kind: "pluginWatcher";
+                        } | {
+                            kind: "personApp";
+                        } | {
+                            kind: "gateway";
+                        } | {
+                            kind: "adapter";
                         } | {
                             kind: "agent";
                         } | null;
@@ -844,6 +1026,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                                 };
                             } | {
                                 kind: "pluginWatcher";
+                            } | {
+                                kind: "personApp";
+                            } | {
+                                kind: "gateway";
+                            } | {
+                                kind: "adapter";
                             } | null;
                             isEnded: boolean;
                             turn: {
@@ -879,8 +1067,15 @@ 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: {
@@ -907,6 +1102,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                         };
                     } | {
                         kind: "pluginWatcher";
+                    } | {
+                        kind: "personApp";
+                    } | {
+                        kind: "gateway";
+                    } | {
+                        kind: "adapter";
                     } | null;
                     turn: {
                         turn: "idle" | "busy";
@@ -933,6 +1134,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                                 };
                             } | {
                                 kind: "pluginWatcher";
+                            } | {
+                                kind: "personApp";
+                            } | {
+                                kind: "gateway";
+                            } | {
+                                kind: "adapter";
                             } | {
                                 kind: "agent";
                             } | null;
@@ -952,6 +1159,12 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                                     };
                                 } | {
                                     kind: "pluginWatcher";
+                                } | {
+                                    kind: "personApp";
+                                } | {
+                                    kind: "gateway";
+                                } | {
+                                    kind: "adapter";
                                 } | null;
                                 isEnded: boolean;
                                 turn: {
@@ -1008,73 +1221,6 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             }[];
             meta: import("./trpc.js").ProcedureMeta;
         }>;
-        overdue: import("@trpc/server").TRPCQueryProcedure<{
-            input: void;
-            output: {
-                deliveryId: `dlv_${string}`;
-                ship: {
-                    id: `shp_${string}`;
-                    name: string;
-                };
-                state: "pending" | "received" | "handed";
-                clock: "idle" | "busy" | "notConfirmed";
-                minutes: number;
-                toldAt: 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;
-                    isPing: boolean;
-                    payload: string;
-                };
-            }[];
-            meta: import("./trpc.js").ProcedureMeta;
-        }>;
-        noShipCanTake: import("@trpc/server").TRPCQueryProcedure<{
-            input: void;
-            output: {
-                deliveryId: `dlv_${string}`;
-                type: 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;
-                    isPing: boolean;
-                    payload: string;
-                };
-            }[];
-            meta: import("./trpc.js").ProcedureMeta;
-        }>;
         health: import("@trpc/server").TRPCQueryProcedure<{
             input: void;
             output: {
@@ -1203,7 +1349,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 events: {
                     seq: number;
                     id: `evt_${string}`;
-                    type: "FleetInitialised" | "ShipCommissioned" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "LeasePushed" | "DeliveryReceived" | "DeliveryHanded" | "DeliveryAcknowledged" | "DeliveryHandled" | "DeliveryNotHandled" | "DeliveryOverdue" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "TurnReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained" | "CrewRequestGivenBack" | "LabelDefined" | "LabelValuesChanged" | "LabelRetired" | "LabelAssigned" | "LabelUnassigned" | "LabelDeleted" | "WorktreeClearRequested" | "WorktreeCleared" | "WorktreeClearRemoved" | "NetworkRulesSet" | "NetworkRulesDeclared" | "NetworkPluginRegistered" | "NetworkPluginUnregistered";
+                    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" | "PluginConnected" | "PluginDisconnected";
                     occurredAt: string;
                     actorShipId: `shp_${string}` | null;
                     shipId: `shp_${string}` | null;
@@ -1223,7 +1369,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 event: {
                     seq: number;
                     id: `evt_${string}`;
-                    type: "FleetInitialised" | "ShipCommissioned" | "ShipClaimed" | "LeaseRevoked" | "CredentialRevoked" | "StartingPromptIssued" | "OperatorPasswordReset" | "MessageAccepted" | "LeasePushed" | "DeliveryReceived" | "DeliveryHanded" | "DeliveryAcknowledged" | "DeliveryHandled" | "DeliveryNotHandled" | "DeliveryOverdue" | "DeliveryUndeliverable" | "DeliveryReturned" | "ShipRetired" | "DeliveryAbandoned" | "DeliveryDismissed" | "ShipRenamed" | "ShipReported" | "TurnReported" | "SignInTicketIssued" | "FleetLimitsChanged" | "ViewerSessionStarted" | "CrewRequested" | "CrewRequestRemoved" | "CrewAssigned" | "CrewStatusChanged" | "CrewRequestExplained" | "CrewRequestGivenBack" | "LabelDefined" | "LabelValuesChanged" | "LabelRetired" | "LabelAssigned" | "LabelUnassigned" | "LabelDeleted" | "WorktreeClearRequested" | "WorktreeCleared" | "WorktreeClearRemoved" | "NetworkRulesSet" | "NetworkRulesDeclared" | "NetworkPluginRegistered" | "NetworkPluginUnregistered";
+                    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" | "PluginConnected" | "PluginDisconnected";
                     occurredAt: string;
                     actorShipId: `shp_${string}` | null;
                     shipId: `shp_${string}` | null;
@@ -1753,6 +1899,8 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 fleetId: `flt_${string}`;
                 name: string;
                 type: string;
+                ownerShipId: `shp_${string}` | null;
+                ownerName: string | null;
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
@@ -1773,6 +1921,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 contentType?: string | undefined;
                 model?: string | undefined;
                 inReplyTo?: unknown;
+                isForced?: boolean | undefined;
             };
             output: {
                 messageId: `msg_${string}`;
@@ -1803,6 +1952,36 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                     inReplyTo: `msg_${string}` | null;
                     sentAt: string;
                     attempts: number;
+                    isForced: boolean;
+                }[];
+            };
+            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;
@@ -1810,6 +1989,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
         pushReceive: import("@trpc/server").TRPCMutationProcedure<{
             input: {
                 max?: number | undefined;
+                waker?: "trierarch" | "pluginWatcher" | "personApp" | "gateway" | "adapter" | undefined;
             } | undefined;
             output: {
                 deliveries: {
@@ -1830,6 +2010,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                     model: string | null;
                     inReplyTo: `msg_${string}` | null;
                     sentAt: string;
+                    isForced: boolean;
                     attempts: number;
                     state: "received" | "handed";
                     handOverNumber: number | null;
@@ -1842,6 +2023,7 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
                 deliveryId: unknown;
                 handOverNumber: number;
                 isOnceMore?: boolean | undefined;
+                channel?: string | undefined;
             };
             output: {
                 state: "handed" | "acknowledged" | "undeliverable";
@@ -1915,12 +2097,110 @@ export declare const appRouter: import("@trpc/server").TRPCBuiltRouter<{
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;
+        setStatement: import("@trpc/server").TRPCMutationProcedure<{
+            input: {
+                summary: string;
+                capabilities: {
+                    name: string;
+                    title?: string | undefined;
+                    description?: string | undefined;
+                    inputSchema?: Record<string, import("zod").JSONType> | undefined;
+                    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: {
+                version: number;
+            };
+            meta: import("./trpc.js").ProcedureMeta;
+        }>;
+        discover: import("@trpc/server").TRPCQueryProcedure<{
+            input: void;
+            output: {
+                ships: {
+                    id: `shp_${string}`;
+                    name: string;
+                    type: string;
+                    kind: "operator" | "agent" | "viewer" | "person" | "app";
+                    status: "retired" | "awaitingCrew" | "crewed";
+                    statement: {
+                        by: "crew";
+                        version: number;
+                        summary: string;
+                        capabilities: {
+                            name: string;
+                            title?: string | undefined;
+                            description?: string | undefined;
+                            inputSchema?: Record<string, import("zod").JSONType> | undefined;
+                            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;
+                }[];
+                types: {
+                    type: string;
+                    reachable: number;
+                }[];
+            };
+            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;
             } | undefined;
             output: {
                 waiting: number;
+                forced: number;
             };
             meta: import("./trpc.js").ProcedureMeta;
         }>;