@aeolus-fleet/core 0.24.0 → 0.25.0

package/dist/domain/messaging/report-turn-end.js

@@ -0,0 +1,36 @@
+import { holdLease } from '../registry/public.js';
+import { refuse } from '../shared/errors.js';
+import { recordEvent } from '../shared/events.js';
+import { ok } from '../shared/result.js';
+import { endTurn } from './delivery.js';
+/**
+ * The unit of work of handled and not handled, which differ only in how the
+ * turn ended: hold the crew's lease, so a release waits for it and an ended
+ * lease is refused; lock the delivery, so two reports take turns; apply the
+ * report and write its event.
+ */
+export async function reportTurnEnd(deps, report) {
+    const { tx } = deps;
+    const { crew, deliveryId, end } = report;
+    const held = await holdLease(tx, crew);
+    if (!held.isOk) {
+        return held;
+    }
+    const delivery = await tx.deliveries.findForUpdate(crew.fleetId, deliveryId);
+    if (!delivery) {
+        return refuse('DELIVERY_NOT_FOUND', `Delivery ${deliveryId} does not exist`);
+    }
+    const ended = endTurn(delivery, { crew, end, at: deps.clock.now() });
+    if (!ended.isOk) {
+        return ended;
+    }
+    const { delivery: changed, events } = ended.value;
+    if (events.length > 0) {
+        await tx.deliveries.update(changed);
+    }
+    for (const event of events) {
+        await recordEvent({ events: tx.events, ids: deps.ids }, event);
+    }
+    return ok(undefined);
+}
+//# sourceMappingURL=report-turn-end.js.map

package/dist/domain/messaging/report-turn-end.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-turn-end.js","sourceRoot":"","sources":["../../../src/domain/messaging/report-turn-end.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAqC,MAAM,uBAAuB,CAAC;AAGrF,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAiB,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,OAAO,EAAqC,MAAM,eAAe,CAAC;AAU3E;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,IAA6D,EAC7D,MAA4D;IAE5D,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC;IACpB,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;IACzC,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACvC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7E,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,MAAM,CAAC,oBAAoB,EAAE,YAAY,UAAU,iBAAiB,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACrE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;IAClD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;AACvB,CAAC"}

package/dist/domain/messaging/resend-delivery.d.ts

@@ -25,7 +25,7 @@ export type ResendDelivery = (caller: Caller, input: {
     messageId: MessageId;
 }, ResendDeliveryRefusal>>;
 /**
- * Use case: the operator resends an undeliverable delivery from Needs
+ * Use case: the operator resends an undeliverable or not handled delivery from Needs
  * attention (docs/blueprint.md, "DeliveryUndeliverable"). Its scope
  * (fleet:manage) is checked before this runs. A resend is a retry of the same
  * delivery: a new message with the original's sender, selector, payload,

package/dist/domain/messaging/resend-delivery.js

@@ -16,7 +16,7 @@ function resendKey(deliveryId) {
     return `resend-${deliveryId}`;
 }
 /**
- * Use case: the operator resends an undeliverable delivery from Needs
+ * Use case: the operator resends an undeliverable or not handled delivery from Needs
  * attention (docs/blueprint.md, "DeliveryUndeliverable"). Its scope
  * (fleet:manage) is checked before this runs. A resend is a retry of the same
  * delivery: a new message with the original's sender, selector, payload,

package/dist/domain/messaging/tell-overdue-deliveries.d.ts

@@ -0,0 +1,25 @@
+import type { IdGenerator } from '@aeolus-fleet/common';
+import type { FleetRepository } from '../registry/public.js';
+import type { Clock } from '../shared/clock.js';
+import { type EventLog } from '../shared/events.js';
+import type { UnitOfWork } from '../shared/unit-of-work.js';
+import type { OverdueDeliveryRepository, PushedCrews } from './ports.js';
+export interface TellOverdueTx {
+    overdueDeliveries: OverdueDeliveryRepository;
+    events: EventLog;
+}
+export type TellOverdueDeliveries = () => Promise<void>;
+/**
+ * Use case: one pass of the 10 and 60 minute clocks (#586, decision 0040),
+ * run by core, never through the API. For every fleet, each open pushed
+ * lease's oldest delivery whose clock ran out is told to argo: stored once
+ * per lease and delivery with DeliveryOverdue, in one unit of work. What is
+ * stored outlives the process, so a pass after a restart tells nothing again.
+ */
+export declare function createTellOverdueDeliveries(deps: {
+    fleets: Pick<FleetRepository, 'list'>;
+    pushedCrews: PushedCrews;
+    uow: UnitOfWork<TellOverdueTx>;
+    clock: Clock;
+    ids: IdGenerator;
+}): TellOverdueDeliveries;

package/dist/domain/messaging/tell-overdue-deliveries.js

@@ -0,0 +1,30 @@
+import { recordEvent } from '../shared/events.js';
+import { ok } from '../shared/result.js';
+import { overdueDelivery, overdueEvent } from './overdue.js';
+/**
+ * Use case: one pass of the 10 and 60 minute clocks (#586, decision 0040),
+ * run by core, never through the API. For every fleet, each open pushed
+ * lease's oldest delivery whose clock ran out is told to argo: stored once
+ * per lease and delivery with DeliveryOverdue, in one unit of work. What is
+ * stored outlives the process, so a pass after a restart tells nothing again.
+ */
+export function createTellOverdueDeliveries(deps) {
+    return async () => {
+        for (const fleet of await deps.fleets.list()) {
+            for (const crew of await deps.pushedCrews.waiting(fleet.id)) {
+                const now = deps.clock.now();
+                const overdue = overdueDelivery(crew, now);
+                if (!overdue) {
+                    continue;
+                }
+                await deps.uow.run(async (tx) => {
+                    if (await tx.overdueDeliveries.tell(overdue, now)) {
+                        await recordEvent({ events: tx.events, ids: deps.ids }, overdueEvent(overdue, now));
+                    }
+                    return ok(undefined);
+                });
+            }
+        }
+    };
+}
+//# sourceMappingURL=tell-overdue-deliveries.js.map

package/dist/domain/messaging/tell-overdue-deliveries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tell-overdue-deliveries.js","sourceRoot":"","sources":["../../../src/domain/messaging/tell-overdue-deliveries.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,WAAW,EAAiB,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,EAAE,EAAE,MAAM,qBAAqB,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAU7D;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CAAC,IAM3C;IACC,OAAO,KAAK,IAAI,EAAE;QAChB,KAAK,MAAM,KAAK,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YAC7C,KAAK,MAAM,IAAI,IAAI,MAAM,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC3C,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,SAAS;gBACX,CAAC;gBACD,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;oBAC9B,IAAI,MAAM,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC;wBAClD,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC;oBACtF,CAAC;oBACD,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;gBACvB,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC,CAAC;AACJ,CAAC"}

package/dist/domain/registry/installation-fleet.d.ts

@@ -1,13 +1,13 @@
 import type { FleetId } from '@aeolus-fleet/common';
 import { type FleetLimit, type InstallationSettings } from './limits.js';
-import type { InstallationFleetFacts, InstallationFleetWindow } from './ports.js';
+import type { FleetHealth, InstallationFleetFacts, InstallationFleetWindow } from './ports.js';
 /** How far back an installation's fleet counts its messages, and over how many UTC days. */
 export declare const MESSAGE_WINDOW_DAYS = 7;
 export declare const MESSAGE_WINDOW_MS: number;
 /**
  * A fleet as the installation describes it (docs/blueprint.md,
  * "Installation"): its facts and measures, its messages today and per UTC day
- * of the last 7 days, today last, and the limits that apply to it.
+ * of the last 7 days, today last, the limits that apply to it and its health.
  */
 export interface InstallationFleet {
     fleetId: FleetId;
@@ -27,6 +27,7 @@ export interface InstallationFleet {
         ships: FleetLimit;
         dailyMessages: FleetLimit;
     };
+    health: FleetHealth;
 }
 /** What a read at `now` counts over: the last 7 times 24 hours, and the last 7 UTC days from the first one's start. */
 export declare function messageWindow(now: Date): InstallationFleetWindow;

package/dist/domain/registry/installation-fleet.js.map

@@ -1 +1 @@
-{"version":3,"file":"installation-fleet.js","sourceRoot":"","sources":["../../../src/domain/registry/installation-fleet.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAA8C,MAAM,aAAa,CAAC;AAGxF,4FAA4F;AAC5F,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AACrC,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AACnC,MAAM,CAAC,MAAM,iBAAiB,GAAG,mBAAmB,GAAG,MAAM,CAAC;AAqB9D,gGAAgG;AAChG,SAAS,OAAO,CAAC,GAAS;IACxB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;IAClF,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,mBAAmB,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAClK,CAAC;AAED,uHAAuH;AACvH,MAAM,UAAU,aAAa,CAAC,GAAS;IACrC,MAAM,CAAC,QAAQ,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACjE,OAAO,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,iBAAiB,CAAC,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC,GAAG,QAAQ,gBAAgB,CAAC,EAAE,CAAC;AACjH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAA6B,EAAE,IAAuD;IACtH,MAAM,EAAE,aAAa,EAAE,iBAAiB,EAAE,aAAa,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IAC3E,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1I,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,aAAa,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;IACrI,OAAO,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC;AAC3J,CAAC"}
+{"version":3,"file":"installation-fleet.js","sourceRoot":"","sources":["../../../src/domain/registry/installation-fleet.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,aAAa,EAA8C,MAAM,aAAa,CAAC;AAGxF,4FAA4F;AAC5F,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC;AACrC,MAAM,MAAM,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AACnC,MAAM,CAAC,MAAM,iBAAiB,GAAG,mBAAmB,GAAG,MAAM,CAAC;AAsB9D,gGAAgG;AAChG,SAAS,OAAO,CAAC,GAAS;IACxB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;IAClF,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,mBAAmB,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AAClK,CAAC;AAED,uHAAuH;AACvH,MAAM,UAAU,aAAa,CAAC,GAAS;IACrC,MAAM,CAAC,QAAQ,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IACjE,OAAO,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,iBAAiB,CAAC,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC,GAAG,QAAQ,gBAAgB,CAAC,EAAE,CAAC;AACjH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAA6B,EAAE,IAAuD;IACtH,MAAM,EAAE,aAAa,EAAE,iBAAiB,EAAE,aAAa,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IAC3E,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1I,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,aAAa,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC;IACrI,OAAO,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,aAAa,EAAE,aAAa,EAAE,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,cAAc,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC;AAC3J,CAAC"}

package/dist/domain/registry/leases.d.ts

@@ -64,3 +64,29 @@ export declare function holdLease(tx: HoldLeaseTx, crew: {
     fleetId: FleetId;
     leaseId: LeaseId;
 }): Promise<Result<Ship, LeaseEnded>>;
+/**
+ * Marks the crew's lease pushed (decision 0040): from its first push receive
+ * until it ends, the computer side takes its deliveries and the agent's plain
+ * receive answers nothing. The first mark writes LeasePushed, caused by the
+ * crew's ship; a lease already pushed, or one that has ended, stays as it
+ * was. Call it first in the unit of work, before the lease is held.
+ */
+export declare function markLeasePushed(deps: {
+    tx: {
+        leases: Pick<LeaseRepository, 'markPushed'>;
+        events: EventLog;
+    };
+    ids: IdGenerator;
+}, crew: {
+    fleetId: FleetId;
+    shipId: ShipId;
+    leaseId: LeaseId;
+    at: Date;
+}): Promise<void>;
+/** Whether the crew's lease is pushed: a push receive has marked it. */
+export declare function isLeasePushed(tx: {
+    leases: Pick<LeaseRepository, 'isPushed'>;
+}, crew: {
+    fleetId: FleetId;
+    leaseId: LeaseId;
+}): Promise<boolean>;

package/dist/domain/registry/leases.js

@@ -1,5 +1,5 @@
 import { refuse } from '../shared/errors.js';
-import { recordEvent } from '../shared/events.js';
+import { recordEvent, shipActor } from '../shared/events.js';
 import { ok } from '../shared/result.js';
 import { refuseEndedLease } from './lease.js';
 /**
@@ -77,4 +77,29 @@ export async function holdLease(tx, crew) {
     const ship = lease && (await tx.ships.find(crew.fleetId, lease.shipId));
     return ship ? ok(ship) : refuseEndedLease();
 }
+/**
+ * Marks the crew's lease pushed (decision 0040): from its first push receive
+ * until it ends, the computer side takes its deliveries and the agent's plain
+ * receive answers nothing. The first mark writes LeasePushed, caused by the
+ * crew's ship; a lease already pushed, or one that has ended, stays as it
+ * was. Call it first in the unit of work, before the lease is held.
+ */
+export async function markLeasePushed(deps, crew) {
+    const { tx, ids } = deps;
+    const { fleetId, shipId, leaseId, at } = crew;
+    if (await tx.leases.markPushed({ fleetId, leaseId, at })) {
+        await recordEvent({ events: tx.events, ids }, {
+            fleetId,
+            type: 'LeasePushed',
+            occurredAt: at,
+            actor: shipActor(shipId),
+            shipId,
+            details: { leaseId },
+        });
+    }
+}
+/** Whether the crew's lease is pushed: a push receive has marked it. */
+export async function isLeasePushed(tx, crew) {
+    return tx.leases.isPushed(crew.fleetId, crew.leaseId);
+}
 //# sourceMappingURL=leases.js.map

package/dist/domain/registry/leases.js.map

@@ -1 +1 @@
-{"version":3,"file":"leases.js","sourceRoot":"","sources":["../../../src/domain/registry/leases.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAA6B,MAAM,qBAAqB,CAAC;AAE7E,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAuD,MAAM,YAAY,CAAC;AAkBnG;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAAe,EACf,KAAuG;IAEvG,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC;IACvD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,uBAAuB,EAAE,0CAA0C,CAAC,CAAC;IACrF,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAChE,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACnI,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;QAC5C,OAAO;QACP,IAAI,EAAE,aAAa;QACnB,UAAU,EAAE,EAAE;QACd,KAAK;QACL,MAAM;QACN,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE;KACxG,CAAC,CAAC;IACH,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;AACrB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAe,EACf,KAA6F;IAE7F,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAEtD,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IACrE,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IAC1E,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;QAC5C,GAAG,QAAQ;QACX,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,QAAQ,CAAC,MAAM,EAAE;KAClE,CAAC,CAAC;IACH,KAAK,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,QAAQ,EAAE,CAAC;QACtE,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;YAC5C,GAAG,QAAQ;YACX,IAAI,EAAE,kBAAkB;YACxB,SAAS;YACT,UAAU;YACV,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE;SAC/B,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAQD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,EAAe,EACf,IAA4C;IAE5C,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/E,MAAM,IAAI,GAAG,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC;AAC9C,CAAC"}
+{"version":3,"file":"leases.js","sourceRoot":"","sources":["../../../src/domain/registry/leases.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,SAAS,EAA6B,MAAM,qBAAqB,CAAC;AAExF,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAuD,MAAM,YAAY,CAAC;AAkBnG;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,IAAe,EACf,KAAuG;IAEvG,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC;IACvD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,uBAAuB,EAAE,0CAA0C,CAAC,CAAC;IACrF,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAChE,IAAI,IAAI,EAAE,CAAC;QACT,MAAM,QAAQ,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACnI,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;QAC5C,OAAO;QACP,IAAI,EAAE,aAAa;QACnB,UAAU,EAAE,EAAE;QACd,KAAK;QACL,MAAM;QACN,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE;KACxG,CAAC,CAAC;IACH,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;AACrB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,IAAe,EACf,KAA6F;IAE7F,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAEtD,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IACrE,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IAC1E,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;QAC5C,GAAG,QAAQ;QACX,IAAI,EAAE,cAAc;QACpB,OAAO,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,QAAQ,CAAC,MAAM,EAAE;KAClE,CAAC,CAAC;IACH,KAAK,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,QAAQ,EAAE,CAAC;QACtE,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;YAC5C,GAAG,QAAQ;YACX,IAAI,EAAE,kBAAkB;YACxB,SAAS;YACT,UAAU;YACV,OAAO,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE;SAC/B,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAQD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,EAAe,EACf,IAA4C;IAE5C,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/E,MAAM,IAAI,GAAG,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,IAAiG,EACjG,IAAsE;IAEtE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC;IAC9C,IAAI,MAAM,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;QACzD,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;YAC5C,OAAO;YACP,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,EAAE;YACd,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC;YACxB,MAAM;YACN,OAAO,EAAE,EAAE,OAAO,EAAE;SACrB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,EAAiD,EACjD,IAA4C;IAE5C,OAAO,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC"}

package/dist/domain/registry/ping-status.d.ts

@@ -9,8 +9,8 @@ export interface PingStatus {
 }
 /**
  * The status of a ship's last ping: waiting while its delivery is pending or
- * in flight, answered once pong acknowledged it, received when a plain ack
- * did, and undeliverable once it was handed out again and again and never
+ * in flight, answered once pong acknowledged it, acknowledged when a plain ack
+ * did, and so on after its turn ended, handled or not, and undeliverable once it was handed out again and again and never
  * acknowledged (it is in Needs attention too). A ping the operator dismissed,
  * or one abandoned with a retired ship, shows none.
  */

package/dist/domain/registry/ping-status.js

@@ -1,7 +1,7 @@
 /**
  * The status of a ship's last ping: waiting while its delivery is pending or
- * in flight, answered once pong acknowledged it, received when a plain ack
- * did, and undeliverable once it was handed out again and again and never
+ * in flight, answered once pong acknowledged it, acknowledged when a plain ack
+ * did, and so on after its turn ended, handled or not, and undeliverable once it was handed out again and again and never
  * acknowledged (it is in Needs attention too). A ping the operator dismissed,
  * or one abandoned with a retired ship, shows none.
  */
@@ -12,11 +12,14 @@ export function pingStatusOf(lastPing) {
     const { sentAt, deliveryState, answeredWithPongAt } = lastPing;
     switch (deliveryState) {
         case 'pending':
-        case 'delivered':
+        case 'received':
+        case 'handed':
             return { state: 'waiting', sentAt, answeredAt: null };
         case 'acknowledged':
+        case 'handled':
+        case 'notHandled':
             return answeredWithPongAt === null
-                ? { state: 'received', sentAt, answeredAt: null }
+                ? { state: 'acknowledged', sentAt, answeredAt: null }
                 : { state: 'answered', sentAt, answeredAt: answeredWithPongAt };
         case 'undeliverable':
             return { state: 'undeliverable', sentAt, answeredAt: null };

package/dist/domain/registry/ping-status.js.map

@@ -1 +1 @@
-{"version":3,"file":"ping-status.js","sourceRoot":"","sources":["../../../src/domain/registry/ping-status.ts"],"names":[],"mappings":"AAYA;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,QAA+B;IAC1D,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,kBAAkB,EAAE,GAAG,QAAQ,CAAC;IAC/D,QAAQ,aAAa,EAAE,CAAC;QACtB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QACxD,KAAK,cAAc;YACjB,OAAO,kBAAkB,KAAK,IAAI;gBAChC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE;gBACjD,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC;QACpE,KAAK,eAAe;YAClB,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QAC9D,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}
+{"version":3,"file":"ping-status.js","sourceRoot":"","sources":["../../../src/domain/registry/ping-status.ts"],"names":[],"mappings":"AAYA;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,QAA+B;IAC1D,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,kBAAkB,EAAE,GAAG,QAAQ,CAAC;IAC/D,QAAQ,aAAa,EAAE,CAAC;QACtB,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ;YACX,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QACxD,KAAK,cAAc,CAAC;QACpB,KAAK,SAAS,CAAC;QACf,KAAK,YAAY;YACf,OAAO,kBAAkB,KAAK,IAAI;gBAChC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE;gBACrD,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,kBAAkB,EAAE,CAAC;QACpE,KAAK,eAAe;YAClB,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QAC9D,KAAK,WAAW,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC"}

package/dist/domain/registry/ports.d.ts

@@ -12,6 +12,7 @@ import type { NetworkSettings } from './network-settings.js';
 import type { ReachRefusal } from './reach-refusal.js';
 import type { Ship } from './ship.js';
 import type { ShipReport } from './ship-report.js';
+import type { Turn } from './turn.js';
 /** The crew a report speaks for: its ship and lease, in its fleet. */
 export interface CrewOfLease {
     fleetId: FleetId;
@@ -166,6 +167,15 @@ export interface LeaseRepository {
         leaseId: LeaseId;
         report: ShipReport;
     }): Promise<void>;
+    /** The open lease's turn, locked until the unit of work ends, so two turn reports take turns; undefined once it has ended. */
+    findTurnForUpdate(fleetId: FleetId, leaseId: LeaseId): Promise<{
+        turn: Turn | null;
+    } | undefined>;
+    saveTurn(change: {
+        fleetId: FleetId;
+        leaseId: LeaseId;
+        turn: Turn;
+    }): Promise<void>;
     /**
      * The lease's report and the last report of the lease its ship held before
      * it, the one that ended last; undefined once this lease has ended.
@@ -180,6 +190,18 @@ export interface LeaseRepository {
         leaseId: LeaseId;
         endedAt: Date;
     }): Promise<Lease | undefined>;
+    /**
+     * Marks the open lease pushed from `at`, keeping an earlier mark, before
+     * anything else of the lease is locked: two marks take turns and never
+     * deadlock with the units of work holding it. True when this call marked it.
+     */
+    markPushed(pushed: {
+        fleetId: FleetId;
+        leaseId: LeaseId;
+        at: Date;
+    }): Promise<boolean>;
+    /** Whether a push receive marked the lease pushed. */
+    isPushed(fleetId: FleetId, leaseId: LeaseId): Promise<boolean>;
 }
 /**
  * Outbound port: crew requests, at most one per ship, always within one
@@ -396,6 +418,24 @@ export interface InstallationFleetFacts {
     }[];
     /** How its limits are set. */
     limitSettings: FleetLimitSettings;
+    /** Whether its deliveries reach their ships. */
+    health: FleetHealth;
+}
+/**
+ * A fleet's health as the installation reads it (#304): where its deliveries
+ * wait, read from their states and times, never their payloads.
+ */
+export interface FleetHealth {
+    /** When its oldest pending delivery was sent; null when none is pending. */
+    oldestPendingAt: Date | null;
+    /** Since when its oldest delivery in flight (received or handed) is in its state, as the overdue clocks read it; null when none is. */
+    oldestInFlightAt: Date | null;
+    /** Its pending deliveries to a type no active ship can take: none of the type, or none of the reachable ones (decision 0034). */
+    noShipCanTake: number;
+    /** Its undeliverable and not handled deliveries: what Needs attention lists for Resend or Dismiss. */
+    needsAttention: number;
+    /** The overdue deliveries argo was told of that still stand: what Needs attention shows as overdue. */
+    overdue: number;
 }
 /** What a read of the installation's fleets counts messages over: since a moment, and per UTC day from a first day. */
 export interface InstallationFleetWindow {

package/dist/domain/registry/public.d.ts

@@ -1,6 +1,6 @@
 export { location, refuseEndedLease, type Lease, type LeaseEnded, type LeaseEndReason, type Location } from './lease.js';
-export { endLease, holdLease, takeOverOperatorLease, type HoldLeaseTx, type LeaseTx } from './leases.js';
-export type { InFlightDeliveries, LeaseRepository, ShipRepository } from './ports.js';
+export { endLease, holdLease, isLeasePushed, markLeasePushed, takeOverOperatorLease, type HoldLeaseTx, type LeaseTx } from './leases.js';
+export type { FleetRepository, InFlightDeliveries, LeaseRepository, ShipRepository } from './ports.js';
 export { findPingableShip, type PingableShipTx, type UnpingableShip } from './pingable-ship.js';
 export { checkReach, type CheckReachTx, type NotReachable } from './check-reach.js';
 export { resolveSelector, type ResolveSelectorTx, type UnresolvableSelector } from './resolve-selector.js';

package/dist/domain/registry/public.js

@@ -1,7 +1,7 @@
 // Registry's published surface: what other contexts may use. Use cases are not
 // part of it; adapters import them from their own modules.
 export { location, refuseEndedLease } from './lease.js';
-export { endLease, holdLease, takeOverOperatorLease } from './leases.js';
+export { endLease, holdLease, isLeasePushed, markLeasePushed, takeOverOperatorLease } from './leases.js';
 export { findPingableShip } from './pingable-ship.js';
 export { checkReach } from './check-reach.js';
 export { resolveSelector } from './resolve-selector.js';

package/dist/domain/registry/public.js.map

@@ -1 +1 @@
-{"version":3,"file":"public.js","sourceRoot":"","sources":["../../../src/domain/registry/public.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,2DAA2D;AAC3D,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAmE,MAAM,YAAY,CAAC;AACzH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,qBAAqB,EAAkC,MAAM,aAAa,CAAC;AAEzG,OAAO,EAAE,gBAAgB,EAA4C,MAAM,oBAAoB,CAAC;AAChG,OAAO,EAAE,UAAU,EAAwC,MAAM,kBAAkB,CAAC;AACpF,OAAO,EAAE,eAAe,EAAqD,MAAM,uBAAuB,CAAC;AAC3G,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,cAAc,EAAgC,MAAM,YAAY,CAAC;AACtG,OAAO,EAAE,kBAAkB,EAAa,MAAM,WAAW,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAwB,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"public.js","sourceRoot":"","sources":["../../../src/domain/registry/public.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,2DAA2D;AAC3D,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAmE,MAAM,YAAY,CAAC;AACzH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,eAAe,EAAE,qBAAqB,EAAkC,MAAM,aAAa,CAAC;AAEzI,OAAO,EAAE,gBAAgB,EAA4C,MAAM,oBAAoB,CAAC;AAChG,OAAO,EAAE,UAAU,EAAwC,MAAM,kBAAkB,CAAC;AACpF,OAAO,EAAE,eAAe,EAAqD,MAAM,uBAAuB,CAAC;AAC3G,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAE,cAAc,EAAgC,MAAM,YAAY,CAAC;AACtG,OAAO,EAAE,kBAAkB,EAAa,MAAM,WAAW,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAwB,MAAM,qBAAqB,CAAC"}

package/dist/domain/registry/report-turn.d.ts

@@ -0,0 +1,28 @@
+import type { IdGenerator, TurnState } from '@aeolus-fleet/common';
+import type { Crew } from '../shared/caller.js';
+import type { Clock } from '../shared/clock.js';
+import { type EventLog } from '../shared/events.js';
+import { type Result } from '../shared/result.js';
+import type { UnitOfWork } from '../shared/unit-of-work.js';
+import { type LeaseEnded } from './lease.js';
+import type { LeaseRepository } from './ports.js';
+export interface ReportTurnTx {
+    leases: Pick<LeaseRepository, 'findTurnForUpdate' | 'saveTurn'>;
+    events: EventLog;
+}
+export type ReportTurn = (crew: Crew, input: {
+    turn: TurnState;
+    at: Date;
+}) => Promise<Result<undefined, LeaseEnded>>;
+/**
+ * Use case: a pushed ship's hooks report its session's turn (`turn`,
+ * decision 0040), idle or busy, with the time they saw it. No scope beyond
+ * being the crew: it speaks only for its own session. The turn is kept with
+ * the crew's lease, locked meanwhile, and TurnReported is written when it
+ * changed, in one unit of work. Refused once the lease has ended.
+ */
+export declare function createReportTurn(deps: {
+    uow: UnitOfWork<ReportTurnTx>;
+    clock: Clock;
+    ids: IdGenerator;
+}): ReportTurn;

package/dist/domain/registry/report-turn.js

@@ -0,0 +1,28 @@
+import { recordEvent } from '../shared/events.js';
+import { ok } from '../shared/result.js';
+import { refuseEndedLease } from './lease.js';
+import { reportTurn } from './turn.js';
+/**
+ * Use case: a pushed ship's hooks report its session's turn (`turn`,
+ * decision 0040), idle or busy, with the time they saw it. No scope beyond
+ * being the crew: it speaks only for its own session. The turn is kept with
+ * the crew's lease, locked meanwhile, and TurnReported is written when it
+ * changed, in one unit of work. Refused once the lease has ended.
+ */
+export function createReportTurn(deps) {
+    return (crew, input) => deps.uow.run(async (tx) => {
+        const held = await tx.leases.findTurnForUpdate(crew.fleetId, crew.leaseId);
+        if (!held) {
+            return refuseEndedLease();
+        }
+        const { turn, events } = reportTurn(held.turn, { crew, ...input, now: deps.clock.now() });
+        if (events.length > 0) {
+            await tx.leases.saveTurn({ fleetId: crew.fleetId, leaseId: crew.leaseId, turn });
+        }
+        for (const event of events) {
+            await recordEvent({ events: tx.events, ids: deps.ids }, event);
+        }
+        return ok(undefined);
+    });
+}
+//# sourceMappingURL=report-turn.js.map

package/dist/domain/registry/report-turn.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-turn.js","sourceRoot":"","sources":["../../../src/domain/registry/report-turn.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,WAAW,EAAiB,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AAE/D,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AASvC;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAuE;IACtG,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACrB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAA0C,EAAE;QAChE,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3E,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,gBAAgB,EAAE,CAAC;QAC5B,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC1F,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,KAAK,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/domain/registry/turn.d.ts

@@ -0,0 +1,25 @@
+import type { TurnState } from '@aeolus-fleet/common';
+import type { Crew } from '../shared/caller.js';
+import { type NewEvent } from '../shared/events.js';
+/** The turn a lease holds: idle or busy, since the time the hooks saw it change. */
+export interface Turn {
+    state: TurnState;
+    at: Date;
+}
+/**
+ * The hooks report the turn with the time they saw it (decision 0040): the
+ * lease keeps it at that time, and TurnReported is written then, so a report
+ * the fleet refused and that is sent again later keeps its own time. The same
+ * turn again changes nothing, so the turn keeps the time it changed. A report
+ * older than the turn held changes nothing either: a late report never undoes
+ * a newer one. A time later than now is taken as now.
+ */
+export declare function reportTurn(held: Turn | null, report: {
+    crew: Crew;
+    turn: TurnState;
+    at: Date;
+    now: Date;
+}): {
+    turn: Turn;
+    events: NewEvent[];
+};

package/dist/domain/registry/turn.js

@@ -0,0 +1,30 @@
+import { shipActor } from '../shared/events.js';
+/**
+ * The hooks report the turn with the time they saw it (decision 0040): the
+ * lease keeps it at that time, and TurnReported is written then, so a report
+ * the fleet refused and that is sent again later keeps its own time. The same
+ * turn again changes nothing, so the turn keeps the time it changed. A report
+ * older than the turn held changes nothing either: a late report never undoes
+ * a newer one. A time later than now is taken as now.
+ */
+export function reportTurn(held, report) {
+    const { crew, turn, now } = report;
+    const at = report.at > now ? now : report.at;
+    if (held !== null && (held.state === turn || at < held.at)) {
+        return { turn: held, events: [] };
+    }
+    return {
+        turn: { state: turn, at },
+        events: [
+            {
+                fleetId: crew.fleetId,
+                type: 'TurnReported',
+                occurredAt: at,
+                actor: shipActor(crew.shipId),
+                shipId: crew.shipId,
+                details: { leaseId: crew.leaseId, turn },
+            },
+        ],
+    };
+}
+//# sourceMappingURL=turn.js.map

package/dist/domain/registry/turn.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"turn.js","sourceRoot":"","sources":["../../../src/domain/registry/turn.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,SAAS,EAAiB,MAAM,qBAAqB,CAAC;AAQ/D;;;;;;;GAOG;AACH,MAAM,UAAU,UAAU,CACxB,IAAiB,EACjB,MAA4D;IAE5D,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC;IACnC,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAC7C,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,IAAI,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3D,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACpC,CAAC;IACD,OAAO;QACL,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE;QACzB,MAAM,EAAE;YACN;gBACE,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,IAAI,EAAE,cAAc;gBACpB,UAAU,EAAE,EAAE;gBACd,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC7B,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE;aACzC;SACF;KACF,CAAC;AACJ,CAAC"}

package/dist/domain/shared/delivery-way.d.ts

@@ -0,0 +1,83 @@
+import { type ComputerSide, type CrewStatus, type DeliveryHolder, type DeliveryState, type LeaseEndReason, type OverdueClock, type ShipId, type TurnState } from '@aeolus-fleet/common';
+import type { Location } from '../registry/public.js';
+import type { SequencedEvent } from './events.js';
+import { type DeliveryChange, type HistoryParty } from './history.js';
+/**
+ * A message's way through (decision 0040, #756): who holds its delivery, the
+ * part each step was taken by, and the clocks that speak for it. Read models
+ * only, from the event log and the leases its steps name.
+ */
+/** What the history reads of a lease on a delivery's way. */
+export interface WayLease {
+    location: Location;
+    harness: string | null;
+    /** The ship other than argo whose starting prompt its crew claimed with: its trierarch; null crewed by hand. */
+    trierarch: HistoryParty | null;
+    /** From its first push receive until it ends. */
+    isPushed: boolean;
+    isEnded: boolean;
+    /** Why it ended, as its LeaseRevoked says; null while open. */
+    endReason: LeaseEndReason | null;
+    /** Its session's turn as its hooks last reported it; null until they report. */
+    turn: {
+        state: TurnState;
+        at: Date;
+    } | null;
+}
+/** An overdue clock argo was told of that still stands: the delivery is still in the state it was told in, on that open lease. */
+export interface StandingOverdue {
+    clock: OverdueClock;
+    minutes: number;
+    toldAt: Date;
+}
+/** How a trierarch says the crew of a ship stands, from its crew request. */
+export interface WayCrew {
+    status: CrewStatus;
+    attempt: number;
+    startedAt: Date | null;
+}
+/** Where a delivery stands on its way. */
+export interface DeliveryWay {
+    holder: DeliveryHolder | null;
+    /** When it entered its state. */
+    since: Date;
+    /** A plain receive handed it last, with no hand-over number. */
+    isPulled: boolean;
+    overdue: StandingOverdue | null;
+    /** The lease that holds it, or a pending delivery to one ship waits for. */
+    lease: {
+        by: ComputerSide | null;
+        isEnded: boolean;
+        turn: WayLease['turn'];
+    } | null;
+    /** The crew the lease's trierarch runs; none for a session crewed by hand. */
+    crew: WayCrew | null;
+}
+/**
+ * The part that receives and hands over for a pushed lease's session: its
+ * trierarch, or else the plugin watcher of a session crewed by hand. A pull
+ * lease has none: its agent receives itself.
+ */
+export declare function computerSideOf(lease: Pick<WayLease, 'isPushed' | 'trierarch'>): ComputerSide | null;
+/**
+ * One step of a delivery's way from its event: the ship it names, where a
+ * hand-over's session ran, the computer side that received it or handed it
+ * over, and what the event's details say of it. No step for an event that is
+ * no delivery change.
+ */
+export declare function deliveryStepOf(event: SequencedEvent, read: {
+    party: (id: ShipId) => HistoryParty;
+    leases: ReadonlyMap<string, WayLease>;
+}): DeliveryChange[];
+/**
+ * Where a delivery stands on its way, from its state, its steps newest first,
+ * the lease that holds it or that it waits for, the overdue clock that stands
+ * and the crew request of that lease's ship.
+ */
+export declare function deliveryWayOf(read: {
+    state: DeliveryState;
+    history: readonly DeliveryChange[];
+    lease: WayLease | null;
+    overdue: StandingOverdue | null;
+    crew: WayCrew | null;
+}): DeliveryWay;