@aeolus-fleet/core 0.0.0 → 0.19.0

package/dist/domain/registry/set-fleet-limits.js

@@ -0,0 +1,54 @@
+import { refuse } from '../shared/errors.js';
+import { recordEvent, SYSTEM } from '../shared/events.js';
+import { ok } from '../shared/result.js';
+import { fleetLimitsOf, limit } from './limits.js';
+/** A setting with its limit checked: the default, or a whole number of at least 0 or no limit. */
+function validSetting(setting) {
+    if (setting?.kind !== 'fleet') {
+        return ok(setting);
+    }
+    const checked = limit(setting.limit);
+    return checked.isOk ? ok({ kind: 'fleet', limit: checked.value }) : checked;
+}
+/**
+ * Use case: the installation sets one or both of a fleet's limits, each to a
+ * number or to no limit for that fleet, or back to the installation default.
+ * A limit left out keeps how it was set. Writes FleetLimitsChanged with the
+ * settings the fleet now has, and answers which limits now apply.
+ */
+export function createSetFleetLimits(deps) {
+    return async (input) => {
+        const ships = validSetting(input.ships);
+        if (!ships.isOk) {
+            return ships;
+        }
+        const dailyMessages = validSetting(input.dailyMessages);
+        if (!dailyMessages.isOk) {
+            return dailyMessages;
+        }
+        return deps.uow.run(async (tx) => {
+            const { fleetId } = input;
+            const current = await tx.fleets.limitSettings(fleetId);
+            if (!current) {
+                return refuse('FLEET_NOT_FOUND', `The installation hosts no fleet ${fleetId}`);
+            }
+            const settings = { ships: ships.value ?? current.ships, dailyMessages: dailyMessages.value ?? current.dailyMessages };
+            await tx.fleets.setLimitSettings(fleetId, settings);
+            await recordEvent({ events: tx.events, ids: deps.ids }, {
+                fleetId,
+                type: 'FleetLimitsChanged',
+                occurredAt: deps.clock.now(),
+                actor: SYSTEM,
+                // Event details are flat: each limit's setting, and its own limit when set for the fleet.
+                details: {
+                    ships: settings.ships.kind,
+                    shipLimit: settings.ships.kind === 'fleet' ? settings.ships.limit : null,
+                    dailyMessages: settings.dailyMessages.kind,
+                    dailyMessageLimit: settings.dailyMessages.kind === 'fleet' ? settings.dailyMessages.limit : null,
+                },
+            });
+            return ok(fleetLimitsOf({ fleetId, settings, installation: await tx.installationSettings.read() }));
+        });
+    };
+}
+//# sourceMappingURL=set-fleet-limits.js.map

package/dist/domain/registry/set-fleet-limits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"set-fleet-limits.js","sourceRoot":"","sources":["../../../src/domain/registry/set-fleet-limits.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,WAAW,EAAE,MAAM,EAAiB,MAAM,qBAAqB,CAAC;AACzE,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,aAAa,EAAE,KAAK,EAA4C,MAAM,aAAa,CAAC;AAiB7F,kGAAkG;AAClG,SAAS,YAAY,CAAC,OAAsC;IAC1D,IAAI,OAAO,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;QAC9B,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AAC9E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAA2E;IAC9G,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;QACrB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAChB,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,aAAa,GAAG,YAAY,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACxD,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;YACxB,OAAO,aAAa,CAAC;QACvB,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAAuD,EAAE;YACpF,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;YAC1B,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;YACvD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,MAAM,CAAC,iBAAiB,EAAE,mCAAmC,OAAO,EAAE,CAAC,CAAC;YACjF,CAAC;YACD,MAAM,QAAQ,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,EAAE,aAAa,EAAE,aAAa,CAAC,KAAK,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;YACtH,MAAM,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YACpD,MAAM,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE;gBACtD,OAAO;gBACP,IAAI,EAAE,oBAAoB;gBAC1B,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE;gBAC5B,KAAK,EAAE,MAAM;gBACb,0FAA0F;gBAC1F,OAAO,EAAE;oBACP,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI;oBAC1B,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;oBACxE,aAAa,EAAE,QAAQ,CAAC,aAAa,CAAC,IAAI;oBAC1C,iBAAiB,EAAE,QAAQ,CAAC,aAAa,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;iBACjG;aACF,CAAC,CAAC;YACH,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,oBAAoB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QACtG,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;AACJ,CAAC"}

package/dist/domain/registry/set-installation-settings.d.ts

@@ -0,0 +1,18 @@
+import type { DomainError } from '../shared/errors.js';
+import { type Result } from '../shared/result.js';
+import type { UnitOfWork } from '../shared/unit-of-work.js';
+import { type InstallationSettings } from './limits.js';
+import type { InstallationSettingsRepository } from './ports.js';
+export interface SetInstallationSettingsTx {
+    installationSettings: InstallationSettingsRepository;
+}
+export type SetInstallationSettings = (input: InstallationSettings) => Promise<Result<InstallationSettings, DomainError<'INVALID_LIMIT'>>>;
+/**
+ * Use case: the installation sets its default ship and daily message limits
+ * for fleets and its cap on fleets, each a number or no limit. A change to a
+ * default applies at once to every fleet that follows it. No fleet's event
+ * log holds it: the installation's settings belong to no fleet.
+ */
+export declare function createSetInstallationSettings(deps: {
+    uow: UnitOfWork<SetInstallationSettingsTx>;
+}): SetInstallationSettings;

package/dist/domain/registry/set-installation-settings.js

@@ -0,0 +1,31 @@
+import { ok } from '../shared/result.js';
+import { limit } from './limits.js';
+/**
+ * Use case: the installation sets its default ship and daily message limits
+ * for fleets and its cap on fleets, each a number or no limit. A change to a
+ * default applies at once to every fleet that follows it. No fleet's event
+ * log holds it: the installation's settings belong to no fleet.
+ */
+export function createSetInstallationSettings(deps) {
+    return async (input) => {
+        const defaultShipLimit = limit(input.defaultShipLimit);
+        const defaultDailyMessageLimit = limit(input.defaultDailyMessageLimit);
+        const fleetCap = limit(input.fleetCap);
+        if (!defaultShipLimit.isOk) {
+            return defaultShipLimit;
+        }
+        if (!defaultDailyMessageLimit.isOk) {
+            return defaultDailyMessageLimit;
+        }
+        if (!fleetCap.isOk) {
+            return fleetCap;
+        }
+        const settings = { defaultShipLimit: defaultShipLimit.value, defaultDailyMessageLimit: defaultDailyMessageLimit.value, fleetCap: fleetCap.value };
+        await deps.uow.run(async (tx) => {
+            await tx.installationSettings.write(settings);
+            return ok(undefined);
+        });
+        return ok(settings);
+    };
+}
+//# sourceMappingURL=set-installation-settings.js.map

package/dist/domain/registry/set-installation-settings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"set-installation-settings.js","sourceRoot":"","sources":["../../../src/domain/registry/set-installation-settings.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,KAAK,EAA6B,MAAM,aAAa,CAAC;AAS/D;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B,CAAC,IAAoD;IAChG,OAAO,KAAK,EAAE,KAAK,EAAE,EAAE;QACrB,MAAM,gBAAgB,GAAG,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACvD,MAAM,wBAAwB,GAAG,KAAK,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACvE,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;YAC3B,OAAO,gBAAgB,CAAC;QAC1B,CAAC;QACD,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,CAAC;YACnC,OAAO,wBAAwB,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;YACnB,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,MAAM,QAAQ,GAAG,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,KAAK,EAAE,wBAAwB,EAAE,wBAAwB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClJ,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;YAC9B,MAAM,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC9C,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;QACvB,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC;IACtB,CAAC,CAAC;AACJ,CAAC"}

package/dist/domain/registry/ship-handle.d.ts

@@ -0,0 +1,5 @@
+import { type DomainError } from '../shared/errors.js';
+import { type Result } from '../shared/result.js';
+export declare function shipName(raw: string): Result<string, DomainError<'INVALID_SHIP_NAME'>>;
+/** A free label in v1, used for addressing and never interpreted. */
+export declare function shipType(raw: string): Result<string, DomainError<'INVALID_SHIP_TYPE'>>;

package/dist/domain/registry/ship-handle.js

@@ -0,0 +1,20 @@
+import { SHIP_HANDLE_MAX_LENGTH, SHIP_HANDLE_PATTERN } from '@aeolus-fleet/common';
+import { refuse } from '../shared/errors.js';
+import { ok } from '../shared/result.js';
+/**
+ * A ship's name and its type are handles (docs/blueprint.md, "Ship"): 1 to 48
+ * lowercase letters, digits, hyphens or colons, taken exactly as given. The
+ * rule is shared with the common schema, so the console checks the same thing.
+ */
+function isShipHandle(value) {
+    return value.length <= SHIP_HANDLE_MAX_LENGTH && SHIP_HANDLE_PATTERN.test(value);
+}
+const HANDLE_RULE = `1 to ${SHIP_HANDLE_MAX_LENGTH} lowercase letters, digits, hyphens or colons`;
+export function shipName(raw) {
+    return isShipHandle(raw) ? ok(raw) : refuse('INVALID_SHIP_NAME', `A ship name is ${HANDLE_RULE}`);
+}
+/** A free label in v1, used for addressing and never interpreted. */
+export function shipType(raw) {
+    return isShipHandle(raw) ? ok(raw) : refuse('INVALID_SHIP_TYPE', `A ship type is ${HANDLE_RULE}`);
+}
+//# sourceMappingURL=ship-handle.js.map

package/dist/domain/registry/ship-handle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ship-handle.js","sourceRoot":"","sources":["../../../src/domain/registry/ship-handle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAEnF,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD;;;;GAIG;AACH,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,KAAK,CAAC,MAAM,IAAI,sBAAsB,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,WAAW,GAAG,QAAQ,sBAAsB,+CAA+C,CAAC;AAElG,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,mBAAmB,EAAE,kBAAkB,WAAW,EAAE,CAAC,CAAC;AACpG,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,mBAAmB,EAAE,kBAAkB,WAAW,EAAE,CAAC,CAAC;AACpG,CAAC"}

package/dist/domain/registry/ship-note.d.ts

@@ -0,0 +1,7 @@
+import { type DomainError } from '../shared/errors.js';
+import { type Result } from '../shared/result.js';
+/**
+ * The operator's free text about a ship, optional. Whitespace around it is
+ * dropped, and a note of only whitespace is no note.
+ */
+export declare function shipNote(raw: string | undefined): Result<string | null, DomainError<'INVALID_SHIP_NOTE'>>;

package/dist/domain/registry/ship-note.js

@@ -0,0 +1,15 @@
+import { SHIP_NOTE_MAX_LENGTH } from '@aeolus-fleet/common';
+import { refuse } from '../shared/errors.js';
+import { ok } from '../shared/result.js';
+/**
+ * The operator's free text about a ship, optional. Whitespace around it is
+ * dropped, and a note of only whitespace is no note.
+ */
+export function shipNote(raw) {
+    const note = raw?.trim() ?? '';
+    if (note.length > SHIP_NOTE_MAX_LENGTH) {
+        return refuse('INVALID_SHIP_NOTE', `A note is at most ${SHIP_NOTE_MAX_LENGTH} characters`);
+    }
+    return ok(note === '' ? null : note);
+}
+//# sourceMappingURL=ship-note.js.map

package/dist/domain/registry/ship-note.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ship-note.js","sourceRoot":"","sources":["../../../src/domain/registry/ship-note.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAE5D,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAuB;IAC9C,MAAM,IAAI,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/B,IAAI,IAAI,CAAC,MAAM,GAAG,oBAAoB,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,mBAAmB,EAAE,qBAAqB,oBAAoB,aAAa,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC"}

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

@@ -0,0 +1,42 @@
+import { type ReportState } from '@aeolus-fleet/common';
+import { type DomainError } from '../shared/errors.js';
+import { type NewEvent } from '../shared/events.js';
+import { type Result } from '../shared/result.js';
+import type { CrewOfLease } from './ports.js';
+import { type JsonObject } from './report-details.js';
+/**
+ * A crew's latest word on its work (docs/blueprint.md, "Report"): working,
+ * blocked or idle, with a short note, its details, and when it last reported.
+ * It belongs to the lease, so the ship's next crew starts with none. Plain
+ * data: Aeolus acts on none of it.
+ */
+export interface ShipReport {
+    state: ReportState;
+    note: string | null;
+    reportedAt: Date;
+    /** One JSON object the server stores without meaning (decision 0028); null when there are none. */
+    details: JsonObject | null;
+    /** Moves by one each time the details change, clearing included; 0 before any. */
+    detailsVersion: number;
+}
+export type ReportRefusal = DomainError<'INVALID_REPORT_STATE' | 'INVALID_REPORT_NOTE' | 'INVALID_REPORT_DETAILS' | 'REPORT_DETAILS_TOO_LARGE'>;
+/** What a report does to the details: sets them whole (null clears them), or applies a JSON Merge Patch to them. Left out, they stay. */
+export interface DetailsInput {
+    details?: JsonObject | null;
+    detailsPatch?: JsonObject | null;
+}
+/**
+ * The crew reports: its report now, and ShipReported caused by the ship when
+ * the state, the note or the details changed, with the details' version, never
+ * the details. Reporting the same again is a check-in: only when it was
+ * reported moves, with no event.
+ */
+export declare function reportWork(current: ShipReport | null, input: {
+    crew: CrewOfLease;
+    state: string;
+    note?: string;
+    at: Date;
+} & DetailsInput): Result<{
+    report: ShipReport;
+    events: NewEvent[];
+}, ReportRefusal>;

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

@@ -0,0 +1,93 @@
+import { isOneLine, REPORT_DETAILS_MAX_BYTES, REPORT_NOTE_MAX_LENGTH, REPORT_STATES, reportDetailsBytes, } from '@aeolus-fleet/common';
+import { refuse } from '../shared/errors.js';
+import { shipActor } from '../shared/events.js';
+import { ok } from '../shared/result.js';
+import { isSameJson, mergePatch } from './report-details.js';
+/** The details after a report: set whole, merge-patched or kept, and at most 16 KB (decision 0028). */
+function detailsAfter(current, input) {
+    if (input.details !== undefined && input.detailsPatch !== undefined) {
+        return refuse('INVALID_REPORT_DETAILS', 'Give details or detailsPatch, not both');
+    }
+    const details = detailsOf(current, input);
+    if (details === null) {
+        return ok(null);
+    }
+    const bytes = reportDetailsBytes(details);
+    if (bytes > REPORT_DETAILS_MAX_BYTES) {
+        return refuse('REPORT_DETAILS_TOO_LARGE', `details is ${String(bytes)} bytes, the limit is ${String(REPORT_DETAILS_MAX_BYTES)} (decision 0028)`);
+    }
+    return ok(details);
+}
+function detailsOf(current, input) {
+    if (input.detailsPatch !== undefined) {
+        // A patch of null clears the details; an object patch merges into them, starting from none as from {}.
+        return input.detailsPatch === null ? null : mergePatchObject(current, input.detailsPatch);
+    }
+    return input.details === undefined ? current : input.details;
+}
+function mergePatchObject(current, patch) {
+    const patched = mergePatch(current ?? {}, patch);
+    // An object patch on an object always gives an object (RFC 7386).
+    return typeof patched === 'object' && patched !== null && !Array.isArray(patched) ? patched : {};
+}
+function isSameDetails(first, second) {
+    return first === null || second === null ? first === second : isSameJson(first, second);
+}
+function isReportState(value) {
+    return REPORT_STATES.some((state) => state === value);
+}
+/** A note as it is kept: trimmed, none when empty, one line of at most 200 characters. */
+function reportNote(raw) {
+    const note = raw?.trim() ?? '';
+    if (note.length > REPORT_NOTE_MAX_LENGTH || !isOneLine(note)) {
+        return refuse('INVALID_REPORT_NOTE', `A note is one line of at most ${String(REPORT_NOTE_MAX_LENGTH)} characters`);
+    }
+    return ok(note === '' ? null : note);
+}
+/**
+ * The crew reports: its report now, and ShipReported caused by the ship when
+ * the state, the note or the details changed, with the details' version, never
+ * the details. Reporting the same again is a check-in: only when it was
+ * reported moves, with no event.
+ */
+export function reportWork(current, input) {
+    const { crew, at } = input;
+    if (!isReportState(input.state)) {
+        return refuse('INVALID_REPORT_STATE', 'A report state is working, blocked or idle');
+    }
+    const note = reportNote(input.note);
+    if (!note.isOk) {
+        return note;
+    }
+    const currentDetails = current?.details ?? null;
+    const details = detailsAfter(currentDetails, input);
+    if (!details.isOk) {
+        return details;
+    }
+    const currentVersion = current?.detailsVersion ?? 0;
+    const isDetailsChanged = !isSameDetails(currentDetails, details.value);
+    const report = {
+        state: input.state,
+        note: note.value,
+        reportedAt: at,
+        details: details.value,
+        detailsVersion: isDetailsChanged ? currentVersion + 1 : currentVersion,
+    };
+    if (current?.state === report.state && current.note === report.note && !isDetailsChanged) {
+        return ok({ report: { ...report, details: currentDetails }, events: [] });
+    }
+    return ok({
+        report,
+        events: [
+            {
+                fleetId: crew.fleetId,
+                type: 'ShipReported',
+                occurredAt: at,
+                actor: shipActor(crew.shipId),
+                shipId: crew.shipId,
+                details: { leaseId: crew.leaseId, state: report.state, note: report.note, detailsVersion: report.detailsVersion },
+            },
+        ],
+    });
+}
+//# sourceMappingURL=ship-report.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ship-report.js","sourceRoot":"","sources":["../../../src/domain/registry/ship-report.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,wBAAwB,EACxB,sBAAsB,EACtB,aAAa,EACb,kBAAkB,GAEnB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAE,MAAM,EAAoB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAiB,MAAM,qBAAqB,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAe,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAmB,MAAM,qBAAqB,CAAC;AA0B9E,uGAAuG;AACvG,SAAS,YAAY,CAAC,OAA0B,EAAE,KAAmB;IACnE,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACpE,OAAO,MAAM,CAAC,wBAAwB,EAAE,wCAAwC,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,KAAK,GAAG,wBAAwB,EAAE,CAAC;QACrC,OAAO,MAAM,CACX,0BAA0B,EAC1B,cAAc,MAAM,CAAC,KAAK,CAAC,wBAAwB,MAAM,CAAC,wBAAwB,CAAC,kBAAkB,CACtG,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,SAAS,CAAC,OAA0B,EAAE,KAAmB;IAChE,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACrC,uGAAuG;QACvG,OAAO,KAAK,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;AAC/D,CAAC;AAED,SAAS,gBAAgB,CAAC,OAA0B,EAAE,KAAiB;IACrE,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;IACjD,kEAAkE;IAClE,OAAO,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;AACnG,CAAC;AAED,SAAS,aAAa,CAAC,KAAwB,EAAE,MAAyB;IACxE,OAAO,KAAK,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;AACxD,CAAC;AAED,0FAA0F;AAC1F,SAAS,UAAU,CAAC,GAAuB;IACzC,MAAM,IAAI,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC/B,IAAI,IAAI,CAAC,MAAM,GAAG,sBAAsB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7D,OAAO,MAAM,CAAC,qBAAqB,EAAE,iCAAiC,MAAM,CAAC,sBAAsB,CAAC,aAAa,CAAC,CAAC;IACrH,CAAC;IACD,OAAO,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,OAA0B,EAC1B,KAAmF;IAEnF,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,KAAK,CAAC;IAC3B,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,sBAAsB,EAAE,4CAA4C,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,cAAc,GAAG,OAAO,EAAE,OAAO,IAAI,IAAI,CAAC;IAChD,MAAM,OAAO,GAAG,YAAY,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAClB,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,cAAc,GAAG,OAAO,EAAE,cAAc,IAAI,CAAC,CAAC;IACpD,MAAM,gBAAgB,GAAG,CAAC,aAAa,CAAC,cAAc,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACvE,MAAM,MAAM,GAAe;QACzB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,IAAI,CAAC,KAAK;QAChB,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,OAAO,CAAC,KAAK;QACtB,cAAc,EAAE,gBAAgB,CAAC,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc;KACvE,CAAC;IACF,IAAI,OAAO,EAAE,KAAK,KAAK,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACzF,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,EAAE,CAAC;QACR,MAAM;QACN,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,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE;aAClH;SACF;KACF,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,190 @@
+import { type FleetId, type FleetScope, type LeaseId, type Scope, type ShipId, type ShipKind, type ShipStatus } from '@aeolus-fleet/common';
+import { type DomainError } from '../shared/errors.js';
+import { type Actor, type NewEvent } from '../shared/events.js';
+import { type Result } from '../shared/result.js';
+import type { Recipient } from '../shared/selector.js';
+import { type Lease, type LeaseEnded, type Location } from './lease.js';
+/** A durable, addressable identity with an inbox. Outlives any session. */
+export interface Ship {
+    id: ShipId;
+    fleetId: FleetId;
+    name: string;
+    type: string;
+    kind: ShipKind;
+    scopes: readonly Scope[];
+    note: string | null;
+    createdAt: Date;
+    retiredAt: Date | null;
+    /**
+     * How an agent ship was commissioned: by which ship, under which of its
+     * idempotency keys, and the hash of the request, so a repeat is known.
+     * Null for the operator ship, which the fleet's initialisation creates.
+     */
+    commission: {
+        by: ShipId;
+        idempotencyKey: string;
+        requestHash: string;
+    } | null;
+}
+/** The operator ship's name. Reserved: no other ship can take it. */
+export declare const OPERATOR_SHIP_NAME = "argo";
+/** The operator ship's type label, the same word as its kind. */
+export declare const OPERATOR_SHIP_TYPE = "operator";
+/** `argo`: the one ship of kind `operator`, holding every scope (ADR 0012). */
+export declare function operatorShip(input: {
+    id: ShipId;
+    fleetId: FleetId;
+    createdAt: Date;
+}): Ship;
+/** The viewer ship's name, reserved as argo's is (decision 0022). */
+export declare const VIEWER_SHIP_NAME = "viewer";
+/** The viewer ship's type label, the same word as its kind. */
+export declare const VIEWER_SHIP_TYPE = "viewer";
+/**
+ * The viewer ship: the fleet's read-only door into the console (decision
+ * 0022). It reads the fleet and nothing more, has no secret, and holds no
+ * lease: many people view through it at once, each with a console session.
+ */
+export declare function viewerShip(input: {
+    id: ShipId;
+    fleetId: FleetId;
+    createdAt: Date;
+}): Ship;
+/** The scopes every agent ship gets at creation: it sends and receives; commissioning may add fleet scopes (ADR 0002). */
+export declare const AGENT_SCOPES: readonly Scope[];
+export type CommissionRefusal = DomainError<'INVALID_SHIP_NAME' | 'SHIP_NAME_RESERVED' | 'INVALID_SHIP_TYPE' | 'INVALID_SHIP_NOTE' | 'SHIP_NAME_TAKEN'>;
+/**
+ * A new agent ship, awaiting crew, and its ShipCommissioned event. The name is
+ * a handle, never `argo`, and unique among the fleet's active ships:
+ * `activeShipNamed` is the active ship that already holds it, if any, read
+ * while the name is locked.
+ */
+export declare function commissionAgentShip(input: {
+    id: ShipId;
+    fleetId: FleetId;
+    name: string;
+    type: string;
+    note?: string;
+    /** fleet:read, fleet:manage, crew:assign and/or crew:run, added to the agent scopes (ADR 0002, decision 0029). */
+    fleetScopes?: readonly FleetScope[];
+    at: Date;
+    actor: Actor;
+    commission: {
+        by: ShipId;
+        idempotencyKey: string;
+        requestHash: string;
+    };
+}, fleet: {
+    activeShipNamed: Ship | undefined;
+}): Result<{
+    ship: Ship;
+    events: NewEvent[];
+}, CommissionRefusal>;
+/**
+ * Awaiting crew, crewed or retired: derived from whether a session holds the
+ * ship's lease and whether the ship is retired, never set by hand.
+ */
+export declare function shipStatus(ship: Ship, lease: {
+    isCrewed: boolean;
+}): ShipStatus;
+/**
+ * A starting prompt is issued only while the ship awaits crew. Never for `argo`:
+ * it has no secret, and only the operator's console sign-in crews it (ADR 0012).
+ */
+export declare function checkCanIssueStartingPrompt(ship: Ship, lease: {
+    isCrewed: boolean;
+}): Result<void, DomainError<'OPERATOR_SHIP_GETS_NO_STARTING_PROMPT' | 'SHIP_NOT_AWAITING_CREW'>>;
+export type PingRefusal = DomainError<'OPERATOR_SHIP_IS_NOT_PINGED' | 'SHIP_ALREADY_RETIRED' | 'SHIP_NOT_CREWED'>;
+/**
+ * A ping goes only to a crewed ship: a session must be there to answer it.
+ * Never to `argo`: the console is no session that answers with pong.
+ */
+export declare function checkCanBePinged(ship: Ship, lease: {
+    isCrewed: boolean;
+}): Result<void, PingRefusal>;
+export type ClaimRefusal = DomainError<'OPERATOR_SHIP_HAS_NO_SECRET' | 'SHIP_NOT_AWAITING_CREW'>;
+/**
+ * A session claims the ship with its secret (`register`): a new lease at the
+ * location the session reports, holding the hash of its crew token, and
+ * ShipClaimed, caused by the ship itself. Only while the ship awaits crew: a
+ * second claim fails while a lease is held, and the operator frees the ship
+ * with Release (ADR 0010); a retired ship is never claimed again. Never
+ * `argo`: it has no secret, and only the operator's console sign-in crews it
+ * (ADR 0012).
+ */
+export declare function claimShip(crew: {
+    ship: Ship;
+    heldLease: Lease | undefined;
+}, claim: {
+    leaseId: LeaseId;
+    location: Location;
+    harness: string;
+    crewTokenHash: string;
+    at: Date;
+}): Result<{
+    lease: Lease;
+    events: NewEvent[];
+}, ClaimRefusal>;
+/**
+ * A message can be addressed to any ship of the fleet, `argo` included, as long
+ * as it is not retired: a retired ship's id can never be addressed again, so a
+ * message to it could never be delivered. Never the viewer ship, which
+ * receives nothing (decision 0022).
+ */
+export declare function addressShip(ship: Ship): Result<Recipient, DomainError<'UNRESOLVABLE_SELECTOR'>>;
+export declare function isReservedShipName(name: string): boolean;
+type Permanent = DomainError<'OPERATOR_SHIP_IS_PERMANENT'>;
+type Reserved = DomainError<'SHIP_NAME_RESERVED'>;
+/** Commissioning and renaming call this: no ship but the operator ship may be called `argo`. */
+export declare function checkNameIsNotReserved(name: string): Result<void, Reserved>;
+export type ReleaseRefusal = Permanent | DomainError<'SHIP_NOT_CREWED'>;
+export type RetireRefusal = Permanent | DomainError<'SHIP_ALREADY_RETIRED'>;
+/**
+ * The operator ends a ship for good (Retire): any ship but argo, crewed or
+ * not, unless it is retired already.
+ */
+export declare function checkCanRetire(ship: Ship): Result<void, RetireRefusal>;
+/**
+ * The operator frees a ship from the session crewing it (Release), and the
+ * ship awaits a new crew: `heldLease` is its open lease, if any, read while
+ * locked. Only a crewed ship is released, never argo (ADR 0012). A ship
+ * awaiting crew has no session to free: an unclaimed prompt is replaced with
+ * a new prompt instead. Returns the lease to end.
+ */
+export declare function checkCanRelease(ship: Ship, heldLease: Lease | undefined): Result<Lease, ReleaseRefusal>;
+/**
+ * The session crewing a ship ends its own lease (`deregister`), and the ship
+ * awaits a new crew: `heldLease` is the ship's open lease, if any, read while
+ * locked. Only while it is the crew's own lease: once that lease has ended,
+ * released or deregistered, the crew has nothing left to end, and a new
+ * crew's lease is never its to end. Never argo, which is never released
+ * (ADR 0012). Returns the lease to end.
+ */
+export declare function checkCanDeregister(ship: Ship, crew: {
+    leaseId: LeaseId;
+    heldLease: Lease | undefined;
+}): Result<Lease, Permanent | LeaseEnded>;
+export declare function checkCanRename(ship: Ship, newName: string): Result<void, Permanent | Reserved>;
+export type RenameRefusal = Permanent | Reserved | DomainError<'INVALID_SHIP_NAME' | 'SHIP_NAME_TAKEN' | 'SHIP_ALREADY_RETIRED'>;
+/**
+ * The operator gives a ship a new name (docs/blueprint.md, "Ship"): any ship
+ * but argo, crewed or not, never a retired one, which keeps the name it had.
+ * The name is a handle, never `argo`, and unique among the fleet's active
+ * ships: `activeShipNamed` is the active ship that holds it, if any, read
+ * while the name is locked. Messages store ids, so nothing sent is
+ * redirected; a sender addressing the old name no longer reaches it. The
+ * name it already has is OK, and nothing changes.
+ */
+export declare function renameShip(ship: Ship, rename: {
+    name: string;
+    at: Date;
+    actor: Actor;
+    activeShipNamed: Ship | undefined;
+}): Result<{
+    ship: Ship;
+    events: NewEvent[];
+}, RenameRefusal>;
+export type CrewRequestShipRefusal = Permanent | DomainError<'SHIP_ALREADY_RETIRED'>;
+/** A crew request asks that a ship be kept crewed: any ship a session can crew, never argo, the viewer ship or a retired ship. */
+export declare function checkCanBeRequestedCrew(ship: Ship): Result<void, CrewRequestShipRefusal>;
+export {};