@aeolus-fleet/gateway 0.29.2 → 0.30.0

package/dist/core/parties/tool-switches.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Which tools of an outside MCP server the fleet may call (aeolus-fleet#1151).
+ * An approver switches each tool on or off per party, so every ship that may
+ * reach the party reaches the same tools. A tool with no switch is one the
+ * server listed after its switches were kept: it is off, and new, until an
+ * approver switches it. A party with no switches kept yet (approved before
+ * tools were switched, or through a request with no tool choice) has every
+ * tool on; its next statement keeps every tool it lists on.
+ */
+import type { OutsideTool } from '../mcp-out/ports.js';
+/** Each known tool's switch, by name: on or off. */
+export type ToolSwitches = ReadonlyMap<string, boolean>;
+/** The error a call to a tool not switched on is answered, and nothing reaches the server. */
+export declare const TOOL_NOT_ENABLED = "tool not enabled for this party";
+/** A tool as an approver sees it: its switch, and whether it is new, with no switch yet. */
+export interface SwitchedTool {
+    name: string;
+    description?: string;
+    /** Whether the server says the tool changes nothing (its readOnlyHint): a hint, never trusted on its own. */
+    isReadOnly: boolean;
+    isOn: boolean;
+    isNew: boolean;
+}
+/** Whether the fleet may call the tool: switched on, or every tool while no switches are kept. */
+export declare function isToolOn(switches: ToolSwitches | null, tool: string): boolean;
+/** The tools the server lists now, each with its switch. */
+export declare function switchedToolsOf(listed: readonly OutsideTool[], switches: ToolSwitches | null): SwitchedTool[];

package/dist/core/parties/tool-switches.js

@@ -0,0 +1,17 @@
+/** The error a call to a tool not switched on is answered, and nothing reaches the server. */
+export const TOOL_NOT_ENABLED = 'tool not enabled for this party';
+/** Whether the fleet may call the tool: switched on, or every tool while no switches are kept. */
+export function isToolOn(switches, tool) {
+    return switches === null || switches.get(tool) === true;
+}
+/** The tools the server lists now, each with its switch. */
+export function switchedToolsOf(listed, switches) {
+    return listed.map(({ name, description, annotations }) => ({
+        name,
+        ...(description === undefined ? {} : { description }),
+        isReadOnly: annotations?.readOnlyHint === true,
+        isOn: isToolOn(switches, name),
+        isNew: switches !== null && !switches.has(name),
+    }));
+}
+//# sourceMappingURL=tool-switches.js.map

package/dist/core/parties/tool-switches.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool-switches.js","sourceRoot":"","sources":["../../../src/core/parties/tool-switches.ts"],"names":[],"mappings":"AAcA,8FAA8F;AAC9F,MAAM,CAAC,MAAM,gBAAgB,GAAG,iCAAiC,CAAC;AAYlE,kGAAkG;AAClG,MAAM,UAAU,QAAQ,CAAC,QAA6B,EAAE,IAAY;IAClE,OAAO,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;AAC1D,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,eAAe,CAAC,MAA8B,EAAE,QAA6B;IAC3F,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QACzD,IAAI;QACJ,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;QACrD,UAAU,EAAE,WAAW,EAAE,YAAY,KAAK,IAAI;QAC9C,IAAI,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;QAC9B,KAAK,EAAE,QAAQ,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;KAChD,CAAC,CAAC,CAAC;AACN,CAAC"}

package/dist/core/people/answer-delivery.d.ts

@@ -3,7 +3,7 @@ import type { Result } from '../shared/result.js';
 import type { CrewPersonShip } from './crew-person-ship.js';
 import { type Dealt, type DealtError } from './opened-of.js';
 import { type PersonCaller } from './person-crew.js';
-import type { OpenedDeliveries, PersonCrews, PersonShipDoor } from './ports.js';
+import type { InboxChanges, OpenedDeliveries, PersonCrews, PersonShipDoor } from './ports.js';
 export type AnswerDelivery = (input: {
     caller: PersonCaller;
     deliveryId: string;
@@ -21,4 +21,5 @@ export declare function createAnswerDelivery(deps: {
     crews: PersonCrews;
     door: PersonShipDoor;
     opened: OpenedDeliveries;
+    changes: InboxChanges;
 }): AnswerDelivery;

package/dist/core/people/answer-delivery.js.map

@@ -1 +1 @@
-{"version":3,"file":"answer-delivery.js","sourceRoot":"","sources":["../../../src/core/people/answer-delivery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAG/D,OAAO,EAAE,SAAS,EAAE,QAAQ,EAA+B,MAAM,gBAAgB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,cAAc,EAAqB,MAAM,kBAAkB,CAAC;AAKnF;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAA4G;IAC/I,OAAO,KAAK,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,EAAE;QAC5D,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACjB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;QAC9B,MAAM,KAAK,GAAG,EAAE,EAAE,EAAE,QAAQ,CAAC,YAAY,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC;QAClJ,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACzH,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC3B,OAAO,MAAM,CAAC,cAAc,EAAE,uCAAuC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACzG,CAAC;QACD,OAAO,SAAS,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"answer-delivery.js","sourceRoot":"","sources":["../../../src/core/people/answer-delivery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAG/D,OAAO,EAAE,SAAS,EAAE,QAAQ,EAA+B,MAAM,gBAAgB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,cAAc,EAAqB,MAAM,kBAAkB,CAAC;AAKnF;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAmI;IACtK,OAAO,KAAK,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,EAAE;QAC5D,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACjB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC;QAC9B,MAAM,KAAK,GAAG,EAAE,EAAE,EAAE,QAAQ,CAAC,YAAY,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC;QAClJ,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACzH,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC3B,OAAO,MAAM,CAAC,cAAc,EAAE,uCAAuC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACzG,CAAC;QACD,OAAO,SAAS,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC"}

package/dist/core/people/done-delivery.d.ts

@@ -2,7 +2,7 @@ import type { Result } from '../shared/result.js';
 import type { CrewPersonShip } from './crew-person-ship.js';
 import { type Dealt, type DealtError } from './opened-of.js';
 import type { PersonCaller } from './person-crew.js';
-import type { OpenedDeliveries, PersonCrews, PersonShipDoor } from './ports.js';
+import type { InboxChanges, OpenedDeliveries, PersonCrews, PersonShipDoor } from './ports.js';
 export type DoneDelivery = (input: {
     caller: PersonCaller;
     deliveryId: string;
@@ -13,4 +13,5 @@ export declare function createDoneDelivery(deps: {
     crews: PersonCrews;
     door: PersonShipDoor;
     opened: OpenedDeliveries;
+    changes: InboxChanges;
 }): DoneDelivery;

package/dist/core/people/done-delivery.js.map

@@ -1 +1 @@
-{"version":3,"file":"done-delivery.js","sourceRoot":"","sources":["../../../src/core/people/done-delivery.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAA+B,MAAM,gBAAgB,CAAC;AAMlF,mGAAmG;AACnG,MAAM,UAAU,kBAAkB,CAAC,IAA4G;IAC7I,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;QACrB,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3C,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAClG,CAAC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"done-delivery.js","sourceRoot":"","sources":["../../../src/core/people/done-delivery.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,QAAQ,EAA+B,MAAM,gBAAgB,CAAC;AAMlF,mGAAmG;AACnG,MAAM,UAAU,kBAAkB,CAAC,IAAmI;IACpK,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;QACrB,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3C,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAClG,CAAC,CAAC;AACJ,CAAC"}

package/dist/core/people/focus-page.d.ts

@@ -0,0 +1,18 @@
+import type { Sleep } from '../mcp-out/run-party.js';
+import type { Clock } from '../shared/clock.js';
+import type { FocusedPages, PersonShip } from './ports.js';
+export type FocusPage = (page: PersonShip & {
+    pageId: string;
+}, signal: AbortSignal) => Promise<void>;
+/**
+ * Use case: a page of a person is in focus while it holds this open
+ * (wake a person, W6). It counts in focus at once and is seen again every
+ * while, so a page whose gateway instance stopped stops counting soon after;
+ * once it loses focus or its connection, it is forgotten.
+ */
+export declare function createFocusPage(deps: {
+    focused: FocusedPages;
+    clock: Clock;
+    sleep: Sleep;
+    seenEveryMs: number;
+}): FocusPage;

package/dist/core/people/focus-page.js

@@ -0,0 +1,20 @@
+/**
+ * Use case: a page of a person is in focus while it holds this open
+ * (wake a person, W6). It counts in focus at once and is seen again every
+ * while, so a page whose gateway instance stopped stops counting soon after;
+ * once it loses focus or its connection, it is forgotten.
+ */
+export function createFocusPage(deps) {
+    return async ({ fleetId, shipId, pageId }, signal) => {
+        try {
+            while (!signal.aborted) {
+                await deps.focused.save({ fleetId, shipId, pageId, seenAt: deps.clock.now() });
+                await deps.sleep(deps.seenEveryMs, signal);
+            }
+        }
+        finally {
+            await deps.focused.remove(fleetId, pageId);
+        }
+    };
+}
+//# sourceMappingURL=focus-page.js.map

package/dist/core/people/focus-page.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"focus-page.js","sourceRoot":"","sources":["../../../src/core/people/focus-page.ts"],"names":[],"mappings":"AAMA;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,IAAgF;IAC9G,OAAO,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE;QACnD,IAAI,CAAC;YACH,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBACvB,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAC/E,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC;AACJ,CAAC"}

package/dist/core/people/open-delivery.d.ts

@@ -4,7 +4,7 @@ import { type Result } from '../shared/result.js';
 import type { CrewPersonShip } from './crew-person-ship.js';
 import { type InboxEntry } from './inbox-entry.js';
 import { type PersonCaller, type PersonCrewError } from './person-crew.js';
-import type { OpenedDeliveries, PersonCrews, PersonShipDoor } from './ports.js';
+import type { InboxChanges, OpenedDeliveries, PersonCrews, PersonShipDoor } from './ports.js';
 /** A delivery as a person opens it: whole. */
 export interface OpenedView extends InboxEntry {
     readonly contentType: string;
@@ -20,6 +20,7 @@ interface OpenDeps {
     crews: PersonCrews;
     door: PersonShipDoor;
     opened: OpenedDeliveries;
+    changes: InboxChanges;
     clock: Clock;
 }
 /**
@@ -30,6 +31,7 @@ interface OpenDeps {
  * delivery then still waits, and opening it again keeps it once. One they
  * opened, from any client, opens again whole as the fleet reads it again,
  * never from a copy, until they answer it or are done (aeolus-fleet #1046).
+ * Once acknowledged, the person's pages are told their inbox changed.
  */
 export declare function createOpenDelivery(deps: OpenDeps): OpenDelivery;
 export {};

package/dist/core/people/open-delivery.js

@@ -11,6 +11,7 @@ import { waitingFor } from './read-inbox.js';
  * delivery then still waits, and opening it again keeps it once. One they
  * opened, from any client, opens again whole as the fleet reads it again,
  * never from a copy, until they answer it or are done (aeolus-fleet #1046).
+ * Once acknowledged, the person's pages are told their inbox changed.
  */
 export function createOpenDelivery(deps) {
     return async ({ caller, deliveryId }) => {
@@ -37,6 +38,7 @@ export function createOpenDelivery(deps) {
         if (!acknowledged.isOk) {
             return acknowledged;
         }
+        await deps.changes.tell({ fleetId: caller.fleetId, shipId: waiting.value.crew.shipId });
         return ok(viewOf(delivery));
     };
 }

package/dist/core/people/open-delivery.js.map

@@ -1 +1 @@
-{"version":3,"file":"open-delivery.js","sourceRoot":"","sources":["../../../src/core/people/open-delivery.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,OAAO,EAAmB,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,cAAc,EAAiE,MAAM,kBAAkB,CAAC;AAE/H,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAoB7C;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAc;IAC/C,OAAO,KAAK,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE;QACtC,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/C,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAClB,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;QACzF,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,WAAW,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM;YACjC,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,IAAI,EAAE,QAAQ,CAAC,UAAU;YACzB,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC;YACxB,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE;SAC3B,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC7H,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;YACvB,OAAO,YAAY,CAAC;QACtB,CAAC;QACD,OAAO,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC;AACJ,CAAC;AAED,+FAA+F;AAC/F,KAAK,UAAU,WAAW,CAAC,IAAc,EAAE,KAA0E;IACnH,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC3C,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAC3F,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,MAAM,CAAC,kBAAkB,EAAE,eAAe,UAAU,oDAAoD,CAAC,CAAC;IACnH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1I,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;IACpC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE,wCAAwC,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;AACnJ,CAAC;AAED,SAAS,MAAM,CAAC,QAAwB;IACtC,OAAO,EAAE,GAAG,YAAY,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;AACrG,CAAC"}
+{"version":3,"file":"open-delivery.js","sourceRoot":"","sources":["../../../src/core/people/open-delivery.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,OAAO,EAAmB,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,cAAc,EAAiE,MAAM,kBAAkB,CAAC;AAE/H,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAqB7C;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAc;IAC/C,OAAO,KAAK,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE;QACtC,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/C,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAClB,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;QACzF,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,WAAW,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM;YACjC,UAAU,EAAE,QAAQ,CAAC,UAAU;YAC/B,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,YAAY,EAAE,QAAQ,CAAC,YAAY;YACnC,IAAI,EAAE,QAAQ,CAAC,UAAU;YACzB,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC;YACxB,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE;SAC3B,CAAC,CAAC;QACH,MAAM,YAAY,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC7H,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;YACvB,OAAO,YAAY,CAAC;QACtB,CAAC;QACD,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QACxF,OAAO,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC;AACJ,CAAC;AAED,+FAA+F;AAC/F,KAAK,UAAU,WAAW,CAAC,IAAc,EAAE,KAA0E;IACnH,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IAC3C,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAC3F,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,MAAM,CAAC,kBAAkB,EAAE,eAAe,UAAU,oDAAoD,CAAC,CAAC;IACnH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1I,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACjB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;IACpC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,EAAE,wCAAwC,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;AACnJ,CAAC;AAED,SAAS,MAAM,CAAC,QAAwB;IACtC,OAAO,EAAE,GAAG,YAAY,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC;AACrG,CAAC"}

package/dist/core/people/opened-of.d.ts

@@ -2,7 +2,7 @@ import { type DomainError } from '../shared/errors.js';
 import { type Result } from '../shared/result.js';
 import type { CrewPersonShip } from './crew-person-ship.js';
 import { type PersonCaller, type PersonCrewError } from './person-crew.js';
-import type { OpenedDeliveries, OpenedDelivery, PersonCrews, PersonShipDoor } from './ports.js';
+import type { InboxChanges, OpenedDeliveries, OpenedDelivery, PersonCrews, PersonShipDoor } from './ports.js';
 /** What a person dealt with a delivery as: answered, or done with it. */
 export interface Dealt {
     readonly deliveryId: string;
@@ -17,12 +17,17 @@ export declare function openedOf(deps: {
     caller: PersonCaller;
     deliveryId: string;
 }): Promise<Result<OpenedDelivery, DealtError>>;
-/** Reports the delivery handled, then forgets it; kept while the fleet does not take it, so the person can go on again. */
+/**
+ * Reports the delivery handled, then forgets it and tells the person's pages
+ * their inbox changed; kept while the fleet does not take it, so the person
+ * can go on again.
+ */
 export declare function handledOf(deps: {
     crewPersonShip: CrewPersonShip;
     crews: PersonCrews;
     door: PersonShipDoor;
     opened: OpenedDeliveries;
+    changes: InboxChanges;
 }, dealt: {
     caller: PersonCaller;
     delivery: OpenedDelivery;

package/dist/core/people/opened-of.js

@@ -14,7 +14,11 @@ export async function openedOf(deps, asked) {
     }
     return ok(delivery);
 }
-/** Reports the delivery handled, then forgets it; kept while the fleet does not take it, so the person can go on again. */
+/**
+ * Reports the delivery handled, then forgets it and tells the person's pages
+ * their inbox changed; kept while the fleet does not take it, so the person
+ * can go on again.
+ */
 export async function handledOf(deps, dealt) {
     const { caller, delivery } = dealt;
     const handled = await asPersonCrew(deps, { caller, run: (crew) => withOwnRefusal(deps.door.handled(crew.crewToken, delivery.deliveryId)) });
@@ -25,6 +29,7 @@ export async function handledOf(deps, dealt) {
         return refuse('FLEET_UNAVAILABLE', `The fleet did not take that you dealt with it: ${handled.value.value.error.message}. Try again`);
     }
     await deps.opened.remove(delivery.fleetId, { shipId: delivery.shipId, deliveryId: delivery.deliveryId });
+    await deps.changes.tell({ fleetId: delivery.fleetId, shipId: delivery.shipId });
     return ok({ deliveryId: delivery.deliveryId, isHandled: true });
 }
 //# sourceMappingURL=opened-of.js.map

package/dist/core/people/opened-of.js.map

@@ -1 +1 @@
-{"version":3,"file":"opened-of.js","sourceRoot":"","sources":["../../../src/core/people/opened-of.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAA2C,MAAM,kBAAkB,CAAC;AAWvH,yDAAyD;AACzD,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAkE,EAClE,KAAmD;IAEnD,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7D,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IACnG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,MAAM,CAAC,kBAAkB,EAAE,+BAA+B,UAAU,iCAAiC,CAAC,CAAC;IAChH,CAAC;IACD,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC;AACtB,CAAC;AAED,2HAA2H;AAC3H,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,IAA4G,EAC5G,KAAyD;IAEzD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5I,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAClB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,mBAAmB,EAAE,kDAAkD,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;IACvI,CAAC;IACD,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IACzG,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAClE,CAAC"}
+{"version":3,"file":"opened-of.js","sourceRoot":"","sources":["../../../src/core/people/opened-of.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAA2C,MAAM,kBAAkB,CAAC;AAWvH,yDAAyD;AACzD,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAkE,EAClE,KAAmD;IAEnD,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7D,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IACnG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,MAAM,CAAC,kBAAkB,EAAE,+BAA+B,UAAU,iCAAiC,CAAC,CAAC;IAChH,CAAC;IACD,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC;AACtB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,IAAmI,EACnI,KAAyD;IAEzD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,OAAO,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5I,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAClB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,mBAAmB,EAAE,kDAAkD,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;IACvI,CAAC;IACD,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IACzG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IAChF,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAClE,CAAC"}

package/dist/core/people/person-crew.d.ts

@@ -27,6 +27,8 @@ export interface PersonCrewToken {
     readonly crewToken: string;
 }
 export type PersonCrewError = DomainError<'NOT_A_PERSON' | 'SIGNED_OUT' | 'FLEET_UNAVAILABLE'>;
+/** Whether the fleet refused a call because the crew token no longer works. */
+export declare function isEndedCrew(refusal: FleetRefusal): boolean;
 /** The crew of the caller's person ship, or why there is none, said so the person's model can tell them. */
 export declare function personCrewOf(crewPersonShip: CrewPersonShip, caller: PersonCaller): Promise<Result<PersonCrewToken, PersonCrewError>>;
 /**

package/dist/core/people/person-crew.js

@@ -2,6 +2,10 @@ import { refuse } from '../shared/errors.js';
 import { ok } from '../shared/result.js';
 /** The fleet's codes for a crew token that no longer works: its lease ended, or it is unknown. */
 const ENDED_CREW = new Set(['LEASE_ENDED', 'UNAUTHORIZED']);
+/** Whether the fleet refused a call because the crew token no longer works. */
+export function isEndedCrew(refusal) {
+    return ENDED_CREW.has(refusal.code);
+}
 /** The crew of the caller's person ship, or why there is none, said so the person's model can tell them. */
 export async function personCrewOf(crewPersonShip, caller) {
     const crewed = await crewPersonShip(caller);
@@ -36,7 +40,7 @@ export async function asPersonCrew(deps, call) {
     if (answered.isOk) {
         return ok({ crew: crew.value, value: answered.value });
     }
-    if (!ENDED_CREW.has(answered.error.code)) {
+    if (!isEndedCrew(answered.error)) {
         return fleetDidNotAnswer(answered.error);
     }
     await deps.crews.drop(caller.fleetId, crew.value.shipId);
@@ -56,6 +60,6 @@ function fleetDidNotAnswer(refusal) {
  */
 export async function withOwnRefusal(called) {
     const answered = await called;
-    return !answered.isOk && ENDED_CREW.has(answered.error.code) ? answered : ok(answered);
+    return !answered.isOk && isEndedCrew(answered.error) ? answered : ok(answered);
 }
 //# sourceMappingURL=person-crew.js.map

package/dist/core/people/person-crew.js.map

@@ -1 +1 @@
-{"version":3,"file":"person-crew.js","sourceRoot":"","sources":["../../../src/core/people/person-crew.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AA2BtD,kGAAkG;AAClG,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC;AAE5D,4GAA4G;AAC5G,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,cAA8B,EAAE,MAAoB;IACrF,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,QAAQ,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1B,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,cAAc,EAAE,iFAAiF,CAAC,CAAC;QACnH,KAAK,WAAW;YACd,OAAO,MAAM,CAAC,YAAY,EAAE,wDAAwD,CAAC,CAAC;QACxF,KAAK,oBAAoB;YACvB,OAAO,MAAM,CAAC,mBAAmB,EAAE,+CAA+C,CAAC,CAAC;QACtF,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,mBAAmB,EAAE,iEAAiE,CAAC,CAAC;QACxG,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,mBAAmB,EAAE,4CAA4C,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3G,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,IAA4D,EAC5D,IAAgG;IAEhG,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7D,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QAClB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,OAAO,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC9D,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC3G,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAqB;IAC9C,OAAO,MAAM,CAAC,mBAAmB,EAAE,6BAA6B,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;AACrF,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAI,MAAwC;IAC9E,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC;IAC9B,OAAO,CAAC,QAAQ,CAAC,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;AACzF,CAAC"}
+{"version":3,"file":"person-crew.js","sourceRoot":"","sources":["../../../src/core/people/person-crew.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AA2BtD,kGAAkG;AAClG,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC;AAE5D,+EAA+E;AAC/E,MAAM,UAAU,WAAW,CAAC,OAAqB;IAC/C,OAAO,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC;AAED,4GAA4G;AAC5G,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,cAA8B,EAAE,MAAoB;IACrF,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,MAAM,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,QAAQ,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC1B,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,cAAc,EAAE,iFAAiF,CAAC,CAAC;QACnH,KAAK,WAAW;YACd,OAAO,MAAM,CAAC,YAAY,EAAE,wDAAwD,CAAC,CAAC;QACxF,KAAK,oBAAoB;YACvB,OAAO,MAAM,CAAC,mBAAmB,EAAE,+CAA+C,CAAC,CAAC;QACtF,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,mBAAmB,EAAE,iEAAiE,CAAC,CAAC;QACxG,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC,mBAAmB,EAAE,4CAA4C,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3G,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,IAA4D,EAC5D,IAAgG;IAEhG,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7D,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QAClB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC9D,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC3G,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAqB;IAC9C,OAAO,MAAM,CAAC,mBAAmB,EAAE,6BAA6B,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;AACrF,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAI,MAAwC;IAC9E,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC;IAC9B,OAAO,CAAC,QAAQ,CAAC,IAAI,IAAI,WAAW,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;AACjF,CAAC"}

package/dist/core/people/ports.d.ts

@@ -29,12 +29,43 @@ export interface PersonCrew {
     readonly crewToken: string;
     readonly crewedAt: Date;
 }
+/** A person ship, by its fleet and id. */
+export interface PersonShip {
+    readonly fleetId: FleetId;
+    readonly shipId: ShipId;
+}
 export interface PersonCrews {
+    /** The person ships it holds a crew for, of every fleet, by fleet and ship, after the one given (wake a person, W7). */
+    crewed(page: {
+        after: PersonShip | null;
+        limit: number;
+    }): Promise<PersonShip[]>;
     find(fleetId: FleetId, shipId: ShipId): Promise<PersonCrew | undefined>;
     save(crew: PersonCrew): Promise<void>;
     /** Forgets a crew that no longer works, as when its lease ended, so the ship is crewed again. */
     drop(fleetId: FleetId, shipId: ShipId): Promise<void>;
 }
+/**
+ * Outbound port: the lock of each person ship's waiter, held by one gateway
+ * instance at a time (wake a person, W9). An instance that loses its hold,
+ * as when its connection to the database ends, loses every lock it held.
+ */
+export interface WaiterLocks {
+    /** Takes the ship's lock unless another instance holds it: whether it holds it now. */
+    take(ship: PersonShip): Promise<boolean>;
+    give(ship: PersonShip): Promise<void>;
+    /** Hears each loss of every lock this instance held. */
+    onLost(listener: () => void): void;
+}
+/** A change to a person ship's inbox: its pages read it again (wake a person, #1014). */
+export interface InboxChange {
+    readonly fleetId: FleetId;
+    readonly shipId: ShipId;
+}
+/** Outbound port: tells every gateway instance that a person ship's inbox changed, carrying nothing of it. */
+export interface InboxChanges {
+    tell(change: InboxChange): Promise<void>;
+}
 /** A delivery to the person ship, as the fleet's push receive hands it. */
 export interface PersonDelivery {
     readonly deliveryId: DeliveryId;
@@ -48,6 +79,10 @@ export interface PersonDelivery {
     readonly sentAt: Date;
     readonly inReplyTo: MessageId | null;
 }
+/** A delivery as the person ship's push receive hands it: with the last number it was handed with under this lease, null while never handed (decision 0040). */
+export interface PushedPersonDelivery extends PersonDelivery {
+    readonly handOverNumber: number | null;
+}
 /** What a person ship may send to now, as the fleet's discover answers it: each ship by name, with what it offers, and each type. */
 export interface PersonDiscovery {
     readonly ships: readonly {
@@ -71,14 +106,22 @@ export type PersonSelector = {
 };
 /** Outbound port: the fleet's calls the gateway makes as the crew of a person ship. */
 export interface PersonShipDoor {
-    /** How many deliveries wait for the ship, without waiting. */
-    inbox(crewToken: string): Promise<Result<{
+    /**
+     * How many deliveries wait for the ship: at once, or with a wait while the
+     * count is still the one the crew knows, up to the fleet's longest wait
+     * (wake a person, W5), or less when told. Stopping the signal ends the wait.
+     */
+    inbox(crewToken: string, wait?: {
+        knownWaiting: number;
+        signal: AbortSignal;
+        atMostMs?: number;
+    }): Promise<Result<{
         waiting: number;
     }, FleetRefusal>>;
     /** The ship's deliveries, up to max, its own held ones again first. */
     pushReceive(crewToken: string, take: {
         max: number;
-    }): Promise<Result<PersonDelivery[], FleetRefusal>>;
+    }): Promise<Result<PushedPersonDelivery[], FleetRefusal>>;
     /** Acknowledges a delivery the person opened: their own act confirms it (interop 5.1). */
     ack(crewToken: string, deliveryId: DeliveryId): Promise<Result<undefined, FleetRefusal>>;
     /** Reads a delivery the ship acknowledged again, whole, while it is not handled, recording nothing (decision 0040). */
@@ -93,6 +136,12 @@ export interface PersonShipDoor {
     }): Promise<Result<undefined, FleetRefusal>>;
     /** Reports the person dealt with the delivery. */
     handled(crewToken: string, deliveryId: DeliveryId): Promise<Result<undefined, FleetRefusal>>;
+    /** Hands the delivery over to the person with its number, naming the channel the wake went through (interop 5.1). */
+    handed(crewToken: string, handOver: {
+        deliveryId: DeliveryId;
+        handOverNumber: number;
+        channel: HandOverChannel;
+    }): Promise<Result<'handed' | 'acknowledged' | 'undeliverable', FleetRefusal>>;
     /** The ships and types the ship may send to now: the fleet checks its scopes and the network rules. */
     discover(crewToken: string): Promise<Result<PersonDiscovery, FleetRefusal>>;
     /** Sends the person's own message, once under its key. */
@@ -139,3 +188,102 @@ export interface OpenedDeliveries {
         deliveryId: string;
     }): Promise<void>;
 }
+/** The channels a person may turn on to be woken (wake a person, W1), as a hand-over names them. */
+export type WakeChannelName = 'email' | 'web-push';
+/** What a delivery is handed to the person through: a wake's channel, or a page of theirs in focus, which shows it (W6). */
+export type HandOverChannel = WakeChannelName | 'page';
+/**
+ * Outbound port: one way to wake a person (wake a person, W1, W4): it says
+ * only that something waits in the fleet, with the overview's link, and
+ * goes out at most once per its window (W3, W10).
+ */
+export interface WakeChannel {
+    readonly name: WakeChannelName;
+    /** The least time between two wakes it sends one person ship, from the gateway's configuration (W10). */
+    readonly windowMs: number;
+    /** Whether the person turned it on (W8): nothing is on by default. */
+    isOn(ship: PersonShip): Promise<boolean>;
+    /** Sends the wake: whether it went out. */
+    wake(ship: PersonShip): Promise<Result<undefined, {
+        reason: string;
+    }>>;
+}
+/** Outbound port: when each channel last woke each person ship, so the window holds across restarts and instances (W3). */
+export interface WakesSent {
+    lastSentAt(ship: PersonShip, channel: WakeChannelName): Promise<Date | undefined>;
+    record(wake: {
+        ship: PersonShip;
+        channel: WakeChannelName;
+        sentAt: Date;
+    }): Promise<void>;
+}
+/** Outbound port: whether each person turned email on to be woken for their person ship (W8), by fleet and person ship. */
+export interface EmailChannels {
+    isOn(ship: PersonShip): Promise<boolean>;
+    turn(ship: PersonShip, switched: {
+        isOn: boolean;
+        at: Date;
+    }): Promise<void>;
+}
+/** A page of a person in focus (wake a person, W6): by its own id, with when it was last seen in focus. */
+export interface FocusedPage {
+    readonly fleetId: FleetId;
+    readonly shipId: ShipId;
+    readonly pageId: string;
+    readonly seenAt: Date;
+}
+/** Outbound port: the pages in focus of every gateway instance, so the waiter of a ship sees them wherever it runs. */
+export interface FocusedPages {
+    /** Keeps it, or keeps when it was seen anew. */
+    save(page: FocusedPage): Promise<void>;
+    remove(fleetId: FleetId, pageId: string): Promise<void>;
+    /** Whether any page of the person ship's person was seen in focus since then. */
+    isAnyInFocus(ship: PersonShip, since: Date): Promise<boolean>;
+}
+/**
+ * A browser a person turned web push on in (wake a person, W8): its push
+ * service's endpoint and keys, and the fleet's name its wakes say, as the
+ * person's sign-in named it when they turned it on. A subscription its push
+ * service said is gone takes no wake again, and the overview says so.
+ */
+export interface WebPushSubscription {
+    readonly fleetId: FleetId;
+    readonly shipId: ShipId;
+    readonly endpoint: string;
+    readonly keys: {
+        readonly p256dh: string;
+        readonly auth: string;
+    };
+    /** The browser, as its person sees it named, such as Firefox on Linux. */
+    readonly browser: string;
+    readonly fleetName: string;
+    readonly addedAt: Date;
+    readonly goneAt: Date | null;
+}
+/** Outbound port: the browsers each person turned web push on in, by fleet, person ship and endpoint. */
+export interface WebPushSubscriptions {
+    /** The person ship's, oldest added first. */
+    list(fleetId: FleetId, shipId: ShipId): Promise<WebPushSubscription[]>;
+    /** Keeps it, or keeps it anew when its endpoint was kept before. */
+    save(subscription: WebPushSubscription): Promise<void>;
+    markGone(fleetId: FleetId, gone: {
+        shipId: ShipId;
+        endpoint: string;
+        goneAt: Date;
+    }): Promise<void>;
+    remove(fleetId: FleetId, removed: {
+        shipId: ShipId;
+        endpoint: string;
+    }): Promise<void>;
+}
+/** What a wake says (W4): something waits in the fleet, by its name, and the link to the gateway's overview. Nothing else. */
+export interface Wake {
+    readonly fleetName: string;
+    readonly overviewUrl: string;
+}
+/** How a push service took a wake: sent, gone (it answered 404 or 410: the subscription ended), or failed otherwise. */
+export type WebPushSent = 'sent' | 'gone' | 'failed';
+/** Outbound port: sends a wake to one browser through its push service. */
+export interface WebPush {
+    send(subscription: WebPushSubscription, wake: Wake): Promise<WebPushSent>;
+}

package/dist/core/people/read-wake-channels.d.ts

@@ -0,0 +1,42 @@
+import { type Result } from '../shared/result.js';
+import type { CrewPersonShip } from './crew-person-ship.js';
+import { type PersonCaller, type PersonCrewError } from './person-crew.js';
+import type { EmailChannels, WebPushSubscriptions } from './ports.js';
+/** A browser a person turned web push on in, as the overview lists it: gone once its push service ended the subscription. */
+export interface WebPushBrowser {
+    readonly endpoint: string;
+    readonly browser: string;
+    readonly addedAt: Date;
+    readonly isGone: boolean;
+}
+/**
+ * The channels that wake a person, as their overview shows them: email
+ * offered or not, and on or not; web push with the gateway's public push
+ * key a browser subscribes with, none where it is not offered, and the
+ * browsers they turned it on in.
+ */
+export interface WakeChannels {
+    readonly email: {
+        readonly isOffered: boolean;
+        readonly isOn: boolean;
+    };
+    readonly webPush: {
+        readonly publicKey: string | null;
+        readonly browsers: readonly WebPushBrowser[];
+    };
+}
+export type ReadWakeChannels = (caller: PersonCaller) => Promise<Result<WakeChannels, PersonCrewError>>;
+/**
+ * Use case: the channels that wake a person when something waits for their
+ * person ship (wake a person, W8). Email is offered only where the gateway
+ * can ask pagasae to send it, web push only where it holds push keys;
+ * nothing is on by default. A browser's keys are never shown.
+ */
+export declare function createReadWakeChannels(deps: {
+    crewPersonShip: CrewPersonShip;
+    emailChannels: EmailChannels;
+    isEmailOffered: boolean;
+    subscriptions: WebPushSubscriptions;
+    /** The gateway's public push key; none where it holds no push keys. */
+    webPushKey: string | null;
+}): ReadWakeChannels;

package/dist/core/people/read-wake-channels.js

@@ -0,0 +1,21 @@
+import { ok } from '../shared/result.js';
+import { personCrewOf } from './person-crew.js';
+/**
+ * Use case: the channels that wake a person when something waits for their
+ * person ship (wake a person, W8). Email is offered only where the gateway
+ * can ask pagasae to send it, web push only where it holds push keys;
+ * nothing is on by default. A browser's keys are never shown.
+ */
+export function createReadWakeChannels(deps) {
+    return async (caller) => {
+        const crew = await personCrewOf(deps.crewPersonShip, caller);
+        if (!crew.isOk) {
+            return crew;
+        }
+        const ship = { fleetId: caller.fleetId, shipId: crew.value.shipId };
+        const isOn = deps.isEmailOffered && (await deps.emailChannels.isOn(ship));
+        const browsers = deps.webPushKey === null ? [] : (await deps.subscriptions.list(ship.fleetId, ship.shipId)).map(({ endpoint, browser, addedAt, goneAt }) => ({ endpoint, browser, addedAt, isGone: goneAt !== null }));
+        return ok({ email: { isOffered: deps.isEmailOffered, isOn }, webPush: { publicKey: deps.webPushKey, browsers } });
+    };
+}
+//# sourceMappingURL=read-wake-channels.js.map

package/dist/core/people/read-wake-channels.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-wake-channels.js","sourceRoot":"","sources":["../../../src/core/people/read-wake-channels.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,YAAY,EAA2C,MAAM,kBAAkB,CAAC;AAwBzF;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAOtC;IACC,OAAO,KAAK,EAAE,MAAM,EAAE,EAAE;QACtB,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,IAAI,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACpE,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,IAAI,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1E,MAAM,QAAQ,GACZ,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;QACxM,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,cAAc,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IACpH,CAAC,CAAC;AACJ,CAAC"}

package/dist/core/people/turn-email-channel.d.ts

@@ -0,0 +1,21 @@
+import type { Clock } from '../shared/clock.js';
+import { type DomainError } from '../shared/errors.js';
+import { type Result } from '../shared/result.js';
+import type { CrewPersonShip } from './crew-person-ship.js';
+import { type PersonCaller, type PersonCrewError } from './person-crew.js';
+import type { EmailChannels } from './ports.js';
+export type TurnEmailChannel = (turn: {
+    caller: PersonCaller;
+    isOn: boolean;
+}) => Promise<Result<undefined, PersonCrewError | DomainError<'CHANNEL_NOT_OFFERED'>>>;
+/**
+ * Use case: a person turns email on or off, to be woken when something
+ * waits for their person ship (wake a person, W8), kept by fleet and person
+ * ship. Turning it on is refused where the gateway cannot send email.
+ */
+export declare function createTurnEmailChannel(deps: {
+    crewPersonShip: CrewPersonShip;
+    emailChannels: EmailChannels;
+    isEmailOffered: boolean;
+    clock: Clock;
+}): TurnEmailChannel;

package/dist/core/people/turn-email-channel.js

@@ -0,0 +1,22 @@
+import { refuse } from '../shared/errors.js';
+import { ok } from '../shared/result.js';
+import { personCrewOf } from './person-crew.js';
+/**
+ * Use case: a person turns email on or off, to be woken when something
+ * waits for their person ship (wake a person, W8), kept by fleet and person
+ * ship. Turning it on is refused where the gateway cannot send email.
+ */
+export function createTurnEmailChannel(deps) {
+    return async ({ caller, isOn }) => {
+        if (isOn && !deps.isEmailOffered) {
+            return refuse('CHANNEL_NOT_OFFERED', 'This gateway sends no email');
+        }
+        const crew = await personCrewOf(deps.crewPersonShip, caller);
+        if (!crew.isOk) {
+            return crew;
+        }
+        await deps.emailChannels.turn({ fleetId: caller.fleetId, shipId: crew.value.shipId }, { isOn, at: deps.clock.now() });
+        return ok(undefined);
+    };
+}
+//# sourceMappingURL=turn-email-channel.js.map

package/dist/core/people/turn-email-channel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"turn-email-channel.js","sourceRoot":"","sources":["../../../src/core/people/turn-email-channel.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,YAAY,EAA2C,MAAM,kBAAkB,CAAC;AAKzF;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAA6G;IAClJ,OAAO,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;QAChC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;YACjC,OAAO,MAAM,CAAC,qBAAqB,EAAE,6BAA6B,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;QAC7D,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACtH,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;IACvB,CAAC,CAAC;AACJ,CAAC"}