@aeolus-fleet/core 0.0.0 → 0.19.0

package/dist/wiring.js

@@ -0,0 +1,185 @@
+import { createIdGenerator } from '@aeolus-fleet/common';
+import { argon2idPasswordHasher } from './adapters/crypto/passwords.js';
+import { cryptoRandomTokens, sha256Hasher } from './adapters/crypto/secrets.js';
+import { createPrismaFleetEventFeed } from './adapters/prisma/event-log.js';
+import { createPrismaFleetCounter } from './adapters/prisma/fleet-counter.js';
+import { createPrismaShipHistory } from './adapters/prisma/history.js';
+import { createPrismaFleetListing, createPrismaFleetRepository, createPrismaCrewRequestRepository, createPrismaLeaseRepository, createPrismaShipRepository, } from './adapters/prisma/registry.js';
+import { createPrismaGuideProgress, createPrismaNoticeDismissals, createPrismaOperatorAccountLookup } from './adapters/prisma/identity.js';
+import { createReceiverWakeups } from './adapters/prisma/receiver-wakeups.js';
+import { createPrismaFleetLimitReads, createPrismaGuideRepository, createPrismaInstallationFleets, createPrismaInstallationSettings, createPrismaNoticeRepository, } from './adapters/prisma/installation.js';
+import { createPrismaCallers, createPrismaUnitOfWork } from './adapters/prisma/unit-of-work.js';
+import { createAuthenticate } from './domain/identity/authenticate.js';
+import { createDismissNotice } from './domain/identity/dismiss-notice.js';
+import { createGetGuide } from './domain/identity/get-guide.js';
+import { createGetNotices } from './domain/identity/get-notices.js';
+import { createIssueSignInTicket } from './domain/identity/issue-sign-in-ticket.js';
+import { createRedeemSignInTicket } from './domain/identity/redeem-sign-in-ticket.js';
+import { createReadAccount } from './domain/identity/read-account.js';
+import { createReadGuide } from './domain/identity/read-guide.js';
+import { createReadNotices } from './domain/identity/read-notices.js';
+import { createRecordGuideProgress } from './domain/identity/record-guide-progress.js';
+import { createSetGuide } from './domain/identity/set-guide.js';
+import { createResetOperatorPassword } from './domain/identity/reset-operator-password.js';
+import { createSetNotices } from './domain/identity/set-notices.js';
+import { createSetTheme } from './domain/identity/set-theme.js';
+import { createSignIn } from './domain/identity/sign-in.js';
+import { createSignOut } from './domain/identity/sign-out.js';
+import { createAcknowledgeDelivery } from './domain/messaging/acknowledge-delivery.js';
+import { createAnswerPing } from './domain/messaging/answer-ping.js';
+import { createCheckInbox } from './domain/messaging/check-inbox.js';
+import { createDismissDelivery } from './domain/messaging/dismiss-delivery.js';
+import { createMarkDone } from './domain/messaging/mark-done.js';
+import { createMarkRead } from './domain/messaging/mark-read.js';
+import { createReceiveDeliveries } from './domain/messaging/receive-deliveries.js';
+import { createReplyToMessage } from './domain/messaging/reply-to-message.js';
+import { createResendDelivery } from './domain/messaging/resend-delivery.js';
+import { createPingShip } from './domain/messaging/ping-ship.js';
+import { createSendMessage } from './domain/messaging/send-message.js';
+import { createClaimShip } from './domain/registry/claim-ship.js';
+import { createCommissionShip } from './domain/registry/commission-ship.js';
+import { createDeregister } from './domain/registry/deregister.js';
+import { createGetStartingPrompt } from './domain/registry/get-starting-prompt.js';
+import { createGetShip } from './domain/registry/get-ship.js';
+import { createInitialiseFleet } from './domain/registry/initialise-fleet.js';
+import { createListFleet } from './domain/registry/list-fleet.js';
+import { createListFleets } from './domain/registry/list-fleets.js';
+import { createRecrewShip } from './domain/registry/recrew-ship.js';
+import { createReleaseShip } from './domain/registry/release-ship.js';
+import { createRenameShip } from './domain/registry/rename-ship.js';
+import { createRetireShip } from './domain/registry/retire-ship.js';
+import { createReport } from './domain/registry/report.js';
+import { createRequestCrew } from './domain/registry/request-crew.js';
+import { createRemoveCrewRequest } from './domain/registry/remove-crew-request.js';
+import { createAssignCrew } from './domain/registry/assign-crew.js';
+import { createReportCrewStatus } from './domain/registry/report-crew-status.js';
+import { createConfirmCrewRelease } from './domain/registry/confirm-crew-release.js';
+import { createReadAssignedCrewRequests } from './domain/registry/read-assigned-crew-requests.js';
+import { createExplainCrewRequest } from './domain/registry/explain-crew-request.js';
+import { createReadReportLog } from './domain/registry/report-log.js';
+import { createWhoami } from './domain/registry/whoami.js';
+import { createPing } from './domain/shared/ping.js';
+import { createReadFleetEvents } from './domain/shared/read-fleet-events.js';
+import { createFollowFleet } from './domain/shared/follow-fleet.js';
+import { createFleetEventWakeups, fleetEventWakeupsOf } from './adapters/prisma/fleet-event-wakeups.js';
+import { createCreateFleet } from './domain/registry/create-fleet.js';
+import { createGetFleetLimits } from './domain/registry/get-fleet-limits.js';
+import { createGetInstallationSettings } from './domain/registry/get-installation-settings.js';
+import { createSetFleetLimits } from './domain/registry/set-fleet-limits.js';
+import { createSetInstallationSettings } from './domain/registry/set-installation-settings.js';
+import { createReadFleetLimits } from './domain/shared/read-fleet-limits.js';
+import { createDeleteFleet } from './domain/registry/delete-fleet.js';
+import { createGetInstallationFleet } from './domain/registry/get-installation-fleet.js';
+import { createListInstallationFleets } from './domain/registry/list-installation-fleets.js';
+import { createReadInbox } from './domain/shared/read-inbox.js';
+import { createReadMessage } from './domain/shared/read-message.js';
+import { createReadNeedsAttention } from './domain/shared/read-needs-attention.js';
+import { createReadShipMessages } from './domain/shared/read-ship-messages.js';
+import { createReadShipTimeline } from './domain/shared/read-ship-timeline.js';
+export const systemClock = { now: () => new Date() };
+/**
+ * Wires every use case to Postgres through Prisma. The HTTP app and the server
+ * commands share it.
+ *
+ * `wakeups` wake a waiting receive; the HTTP app feeds them from the delivery
+ * listener. Without them, nothing wakes a receive and it ends only at its
+ * wait: enough for the server commands, which never receive.
+ */
+export function createUseCases(options) {
+    const { prisma } = options;
+    const clock = options.clock ?? systemClock;
+    const ids = options.ids ?? createIdGenerator();
+    const uow = createPrismaUnitOfWork(prisma);
+    const secrets = { hasher: sha256Hasher, random: cryptoRandomTokens };
+    const wakeups = options.wakeups ?? createReceiverWakeups();
+    const notices = createPrismaNoticeRepository(prisma);
+    const dismissals = createPrismaNoticeDismissals(prisma);
+    const guide = createPrismaGuideRepository(prisma);
+    const guideProgress = createPrismaGuideProgress(prisma);
+    return {
+        ping: createPing({ clock, fleets: createPrismaFleetCounter(prisma) }),
+        initialiseFleet: createInitialiseFleet({ uow, clock, ids, passwords: argon2idPasswordHasher }),
+        listFleets: createListFleets({ fleets: createPrismaFleetRepository(prisma) }),
+        createFleet: createCreateFleet({ uow, clock, ids, hasher: sha256Hasher }),
+        deleteFleet: createDeleteFleet({ uow, clock, hasher: sha256Hasher }),
+        issueSignInTicket: createIssueSignInTicket({ uow, clock, ids, hasher: sha256Hasher, random: cryptoRandomTokens }),
+        getInstallationSettings: createGetInstallationSettings({ settings: createPrismaInstallationSettings(prisma) }),
+        setInstallationSettings: createSetInstallationSettings({ uow }),
+        getFleetLimits: createGetFleetLimits({ uow }),
+        setFleetLimits: createSetFleetLimits({ uow, clock, ids }),
+        setNotices: createSetNotices({ notices }),
+        getNotices: createGetNotices({ notices }),
+        readNotices: createReadNotices({ notices, dismissals }),
+        dismissNotice: createDismissNotice({ notices, dismissals, clock }),
+        setGuide: createSetGuide({ guide }),
+        getGuide: createGetGuide({ guide }),
+        readGuide: createReadGuide({ guide, progress: guideProgress }),
+        recordGuideProgress: createRecordGuideProgress({ guide, progress: guideProgress, clock }),
+        readFleetLimits: createReadFleetLimits({ limits: createPrismaFleetLimitReads(prisma), clock }),
+        redeemSignInTicket: createRedeemSignInTicket({ uow, clock, ids, hasher: sha256Hasher, random: cryptoRandomTokens }),
+        listInstallationFleets: createListInstallationFleets({ fleets: createPrismaInstallationFleets(prisma), settings: createPrismaInstallationSettings(prisma), clock }),
+        getInstallationFleet: createGetInstallationFleet({ fleets: createPrismaInstallationFleets(prisma), settings: createPrismaInstallationSettings(prisma), clock }),
+        commissionShip: createCommissionShip({ uow, clock, ids, secrets }),
+        getStartingPrompt: createGetStartingPrompt({ uow, clock, ids, secrets }),
+        releaseShip: createReleaseShip({ uow, clock, ids }),
+        retireShip: createRetireShip({ uow, clock, ids }),
+        renameShip: createRenameShip({ uow, clock, ids }),
+        recrewShip: createRecrewShip({ uow, clock, ids, secrets }),
+        listFleet: createListFleet({ listing: createPrismaFleetListing(prisma) }),
+        getShip: createGetShip({ listing: createPrismaFleetListing(prisma) }),
+        claimShip: createClaimShip({ uow, clock, ids, secrets }),
+        whoami: createWhoami({ ships: createPrismaShipRepository(prisma) }),
+        report: createReport({ uow, clock, ids }),
+        requestCrew: createRequestCrew({ uow, clock, ids }),
+        removeCrewRequest: createRemoveCrewRequest({ uow, clock, ids }),
+        assignCrew: createAssignCrew({ uow, clock, ids }),
+        reportCrewStatus: createReportCrewStatus({ uow, clock, ids }),
+        confirmCrewRelease: createConfirmCrewRelease({ uow, clock, ids }),
+        readAssignedCrewRequests: createReadAssignedCrewRequests({ crewRequests: createPrismaCrewRequestRepository(prisma) }),
+        explainCrewRequest: createExplainCrewRequest({ uow, clock, ids }),
+        reportLog: createReadReportLog({ leases: createPrismaLeaseRepository(prisma) }),
+        deregister: createDeregister({ uow, clock, ids }),
+        sendMessage: createSendMessage({ uow, clock, ids, hasher: sha256Hasher }),
+        receiveDeliveries: createReceiveDeliveries({
+            uow,
+            clock,
+            ids,
+            wakeups,
+            waitMs: options.receiveWaitMs,
+        }),
+        acknowledgeDelivery: createAcknowledgeDelivery({ uow, clock, ids }),
+        answerPing: createAnswerPing({ uow, clock, ids }),
+        pingShip: createPingShip({ uow, clock, ids, hasher: sha256Hasher }),
+        checkInbox: createCheckInbox({ uow, clock, wakeups }),
+        dismissDelivery: createDismissDelivery({ uow, clock, ids }),
+        resendDelivery: createResendDelivery({ uow, clock, ids, hasher: sha256Hasher }),
+        markRead: createMarkRead({ uow, clock }),
+        markDone: createMarkDone({ uow, clock, ids }),
+        replyToMessage: createReplyToMessage({ uow, clock, ids, hasher: sha256Hasher }),
+        readFleetEvents: createReadFleetEvents({ feed: createPrismaFleetEventFeed(prisma) }),
+        followFleet: createFollowFleet({
+            feed: createPrismaFleetEventFeed(prisma),
+            clock,
+            wakeups: options.fleetEventWakeups ?? fleetEventWakeupsOf(createFleetEventWakeups()),
+        }),
+        readShipTimeline: createReadShipTimeline({ history: createPrismaShipHistory(prisma) }),
+        readShipMessages: createReadShipMessages({ history: createPrismaShipHistory(prisma) }),
+        readMessage: createReadMessage({ history: createPrismaShipHistory(prisma) }),
+        readNeedsAttention: createReadNeedsAttention({ history: createPrismaShipHistory(prisma) }),
+        readInbox: createReadInbox({ history: createPrismaShipHistory(prisma), ships: createPrismaShipRepository(prisma) }),
+        signIn: createSignIn({
+            uow,
+            accounts: createPrismaOperatorAccountLookup(prisma),
+            clock,
+            ids,
+            ...secrets,
+            passwords: argon2idPasswordHasher,
+        }),
+        signOut: createSignOut({ uow, clock, ids }),
+        readAccount: createReadAccount({ uow }),
+        setTheme: createSetTheme({ uow }),
+        resetOperatorPassword: createResetOperatorPassword({ uow, clock, ids, passwords: argon2idPasswordHasher }),
+        authenticate: createAuthenticate({ callers: createPrismaCallers(prisma), hasher: sha256Hasher, clock }),
+    };
+}
+//# sourceMappingURL=wiring.js.map

package/dist/wiring.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"wiring.js","sourceRoot":"","sources":["../src/wiring.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAoB,MAAM,sBAAsB,CAAC;AAE3E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAEhF,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAAE,wBAAwB,EAAE,MAAM,oCAAoC,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EACL,wBAAwB,EACxB,2BAA2B,EAC3B,iCAAiC,EACjC,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,yBAAyB,EAAE,4BAA4B,EAAE,iCAAiC,EAAE,MAAM,+BAA+B,CAAC;AAC3I,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EACL,2BAA2B,EAC3B,2BAA2B,EAC3B,8BAA8B,EAC9B,gCAAgC,EAChC,4BAA4B,GAC7B,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAChG,OAAO,EAAE,kBAAkB,EAAqB,MAAM,mCAAmC,CAAC;AAC1F,OAAO,EAAE,mBAAmB,EAAsB,MAAM,qCAAqC,CAAC;AAC9F,OAAO,EAAE,cAAc,EAAiB,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,gBAAgB,EAAmB,MAAM,kCAAkC,CAAC;AACrF,OAAO,EAAE,uBAAuB,EAA0B,MAAM,2CAA2C,CAAC;AAC5G,OAAO,EAAE,wBAAwB,EAA2B,MAAM,4CAA4C,CAAC;AAC/G,OAAO,EAAE,iBAAiB,EAAoB,MAAM,mCAAmC,CAAC;AACxF,OAAO,EAAE,eAAe,EAAkB,MAAM,iCAAiC,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAoB,MAAM,mCAAmC,CAAC;AACxF,OAAO,EAAE,yBAAyB,EAA4B,MAAM,4CAA4C,CAAC;AACjH,OAAO,EAAE,cAAc,EAAiB,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,2BAA2B,EAA8B,MAAM,8CAA8C,CAAC;AACvH,OAAO,EAAE,gBAAgB,EAAmB,MAAM,kCAAkC,CAAC;AACrF,OAAO,EAAE,cAAc,EAAiB,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAe,MAAM,8BAA8B,CAAC;AACzE,OAAO,EAAE,aAAa,EAAgB,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,yBAAyB,EAA4B,MAAM,4CAA4C,CAAC;AACjH,OAAO,EAAE,gBAAgB,EAAmB,MAAM,mCAAmC,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAmB,MAAM,mCAAmC,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAwB,MAAM,wCAAwC,CAAC;AACrG,OAAO,EAAE,cAAc,EAAiB,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,cAAc,EAAiB,MAAM,iCAAiC,CAAC;AAEhF,OAAO,EAAE,uBAAuB,EAA0B,MAAM,0CAA0C,CAAC;AAC3G,OAAO,EAAE,oBAAoB,EAAuB,MAAM,wCAAwC,CAAC;AACnG,OAAO,EAAE,oBAAoB,EAAuB,MAAM,uCAAuC,CAAC;AAClG,OAAO,EAAE,cAAc,EAAiB,MAAM,iCAAiC,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAoB,MAAM,oCAAoC,CAAC;AACzF,OAAO,EAAE,eAAe,EAAkB,MAAM,iCAAiC,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAuB,MAAM,sCAAsC,CAAC;AACjG,OAAO,EAAE,gBAAgB,EAAmB,MAAM,iCAAiC,CAAC;AACpF,OAAO,EAAE,uBAAuB,EAA0B,MAAM,0CAA0C,CAAC;AAC3G,OAAO,EAAE,aAAa,EAAgB,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAwB,MAAM,uCAAuC,CAAC;AACpG,OAAO,EAAE,eAAe,EAAkB,MAAM,iCAAiC,CAAC;AAClF,OAAO,EAAE,gBAAgB,EAAmB,MAAM,kCAAkC,CAAC;AACrF,OAAO,EAAE,gBAAgB,EAAmB,MAAM,kCAAkC,CAAC;AACrF,OAAO,EAAE,iBAAiB,EAAoB,MAAM,mCAAmC,CAAC;AACxF,OAAO,EAAE,gBAAgB,EAAmB,MAAM,kCAAkC,CAAC;AACrF,OAAO,EAAE,gBAAgB,EAAmB,MAAM,kCAAkC,CAAC;AACrF,OAAO,EAAE,YAAY,EAAe,MAAM,6BAA6B,CAAC;AACxE,OAAO,EAAE,iBAAiB,EAAoB,MAAM,mCAAmC,CAAC;AACxF,OAAO,EAAE,uBAAuB,EAA0B,MAAM,0CAA0C,CAAC;AAC3G,OAAO,EAAE,gBAAgB,EAAmB,MAAM,kCAAkC,CAAC;AACrF,OAAO,EAAE,sBAAsB,EAAyB,MAAM,yCAAyC,CAAC;AACxG,OAAO,EAAE,wBAAwB,EAA2B,MAAM,2CAA2C,CAAC;AAC9G,OAAO,EAAE,8BAA8B,EAAiC,MAAM,kDAAkD,CAAC;AACjI,OAAO,EAAE,wBAAwB,EAA2B,MAAM,2CAA2C,CAAC;AAC9G,OAAO,EAAE,mBAAmB,EAAsB,MAAM,iCAAiC,CAAC;AAC1F,OAAO,EAAE,YAAY,EAAe,MAAM,6BAA6B,CAAC;AAExE,OAAO,EAAE,UAAU,EAAa,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,qBAAqB,EAAwB,MAAM,sCAAsC,CAAC;AACnG,OAAO,EAAE,iBAAiB,EAAoB,MAAM,iCAAiC,CAAC;AAEtF,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AACxG,OAAO,EAAE,iBAAiB,EAAoB,MAAM,mCAAmC,CAAC;AACxF,OAAO,EAAE,oBAAoB,EAAuB,MAAM,uCAAuC,CAAC;AAClG,OAAO,EAAE,6BAA6B,EAAgC,MAAM,gDAAgD,CAAC;AAC7H,OAAO,EAAE,oBAAoB,EAAuB,MAAM,uCAAuC,CAAC;AAClG,OAAO,EAAE,6BAA6B,EAAgC,MAAM,gDAAgD,CAAC;AAC7H,OAAO,EAAE,qBAAqB,EAAwB,MAAM,sCAAsC,CAAC;AACnG,OAAO,EAAE,iBAAiB,EAAoB,MAAM,mCAAmC,CAAC;AACxF,OAAO,EAAE,0BAA0B,EAA6B,MAAM,6CAA6C,CAAC;AACpH,OAAO,EAAE,4BAA4B,EAA+B,MAAM,+CAA+C,CAAC;AAC1H,OAAO,EAAE,eAAe,EAAkB,MAAM,+BAA+B,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAoB,MAAM,iCAAiC,CAAC;AACtF,OAAO,EAAE,wBAAwB,EAA2B,MAAM,yCAAyC,CAAC;AAC5G,OAAO,EAAE,sBAAsB,EAAyB,MAAM,uCAAuC,CAAC;AACtG,OAAO,EAAE,sBAAsB,EAAyB,MAAM,uCAAuC,CAAC;AAuEtG,MAAM,CAAC,MAAM,WAAW,GAAU,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;AAE5D;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,OAS9B;IACC,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC3B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,WAAW,CAAC;IAC3C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,iBAAiB,EAAE,CAAC;IAC/C,MAAM,GAAG,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IACrE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,qBAAqB,EAAE,CAAC;IAC3D,MAAM,OAAO,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAExD,OAAO;QACL,IAAI,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;QACrE,eAAe,EAAE,qBAAqB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;QAC9F,UAAU,EAAE,gBAAgB,CAAC,EAAE,MAAM,EAAE,2BAA2B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7E,WAAW,EAAE,iBAAiB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QACzE,WAAW,EAAE,iBAAiB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QACpE,iBAAiB,EAAE,uBAAuB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;QACjH,uBAAuB,EAAE,6BAA6B,CAAC,EAAE,QAAQ,EAAE,gCAAgC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9G,uBAAuB,EAAE,6BAA6B,CAAC,EAAE,GAAG,EAAE,CAAC;QAC/D,cAAc,EAAE,oBAAoB,CAAC,EAAE,GAAG,EAAE,CAAC;QAC7C,cAAc,EAAE,oBAAoB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACzD,UAAU,EAAE,gBAAgB,CAAC,EAAE,OAAO,EAAE,CAAC;QACzC,UAAU,EAAE,gBAAgB,CAAC,EAAE,OAAO,EAAE,CAAC;QACzC,WAAW,EAAE,iBAAiB,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;QACvD,aAAa,EAAE,mBAAmB,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QAClE,QAAQ,EAAE,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC;QACnC,QAAQ,EAAE,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC;QACnC,SAAS,EAAE,eAAe,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;QAC9D,mBAAmB,EAAE,yBAAyB,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;QACzF,eAAe,EAAE,qBAAqB,CAAC,EAAE,MAAM,EAAE,2BAA2B,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;QAC9F,kBAAkB,EAAE,wBAAwB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;QACnH,sBAAsB,EAAE,4BAA4B,CAAC,EAAE,MAAM,EAAE,8BAA8B,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,gCAAgC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;QACnK,oBAAoB,EAAE,0BAA0B,CAAC,EAAE,MAAM,EAAE,8BAA8B,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,gCAAgC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC;QAC/J,cAAc,EAAE,oBAAoB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;QAClE,iBAAiB,EAAE,uBAAuB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;QACxE,WAAW,EAAE,iBAAiB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACnD,UAAU,EAAE,gBAAgB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjD,UAAU,EAAE,gBAAgB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjD,UAAU,EAAE,gBAAgB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;QAC1D,SAAS,EAAE,eAAe,CAAC,EAAE,OAAO,EAAE,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;QACzE,OAAO,EAAE,aAAa,CAAC,EAAE,OAAO,EAAE,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC;QACrE,SAAS,EAAE,eAAe,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;QACxD,MAAM,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QACnE,MAAM,EAAE,YAAY,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACzC,WAAW,EAAE,iBAAiB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACnD,iBAAiB,EAAE,uBAAuB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QAC/D,UAAU,EAAE,gBAAgB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjD,gBAAgB,EAAE,sBAAsB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QAC7D,kBAAkB,EAAE,wBAAwB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjE,wBAAwB,EAAE,8BAA8B,CAAC,EAAE,YAAY,EAAE,iCAAiC,CAAC,MAAM,CAAC,EAAE,CAAC;QACrH,kBAAkB,EAAE,wBAAwB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjE,SAAS,EAAE,mBAAmB,CAAC,EAAE,MAAM,EAAE,2BAA2B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/E,UAAU,EAAE,gBAAgB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjD,WAAW,EAAE,iBAAiB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QACzE,iBAAiB,EAAE,uBAAuB,CAAC;YACzC,GAAG;YACH,KAAK;YACL,GAAG;YACH,OAAO;YACP,MAAM,EAAE,OAAO,CAAC,aAAa;SAC9B,CAAC;QACF,mBAAmB,EAAE,yBAAyB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACnE,UAAU,EAAE,gBAAgB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACjD,QAAQ,EAAE,cAAc,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QACnE,UAAU,EAAE,gBAAgB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;QACrD,eAAe,EAAE,qBAAqB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QAC3D,cAAc,EAAE,oBAAoB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QAC/E,QAAQ,EAAE,cAAc,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QACxC,QAAQ,EAAE,cAAc,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QAC7C,cAAc,EAAE,oBAAoB,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QAC/E,eAAe,EAAE,qBAAqB,CAAC,EAAE,IAAI,EAAE,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QACpF,WAAW,EAAE,iBAAiB,CAAC;YAC7B,IAAI,EAAE,0BAA0B,CAAC,MAAM,CAAC;YACxC,KAAK;YACL,OAAO,EAAE,OAAO,CAAC,iBAAiB,IAAI,mBAAmB,CAAC,uBAAuB,EAAE,CAAC;SACrF,CAAC;QACF,gBAAgB,EAAE,sBAAsB,CAAC,EAAE,OAAO,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;QACtF,gBAAgB,EAAE,sBAAsB,CAAC,EAAE,OAAO,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;QACtF,WAAW,EAAE,iBAAiB,CAAC,EAAE,OAAO,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5E,kBAAkB,EAAE,wBAAwB,CAAC,EAAE,OAAO,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1F,SAAS,EAAE,eAAe,CAAC,EAAE,OAAO,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QACnH,MAAM,EAAE,YAAY,CAAC;YACnB,GAAG;YACH,QAAQ,EAAE,iCAAiC,CAAC,MAAM,CAAC;YACnD,KAAK;YACL,GAAG;YACH,GAAG,OAAO;YACV,SAAS,EAAE,sBAAsB;SAClC,CAAC;QACF,OAAO,EAAE,aAAa,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QAC3C,WAAW,EAAE,iBAAiB,CAAC,EAAE,GAAG,EAAE,CAAC;QACvC,QAAQ,EAAE,cAAc,CAAC,EAAE,GAAG,EAAE,CAAC;QACjC,qBAAqB,EAAE,2BAA2B,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;QAC1G,YAAY,EAAE,kBAAkB,CAAC,EAAE,OAAO,EAAE,mBAAmB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;KACxG,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,10 +1,65 @@
 {
   "name": "@aeolus-fleet/core",
-  "version": "0.0.0",
-  "description": "Placeholder, real package from 0.18.0",
+  "version": "0.19.0",
+  "description": "Aeolus server: the tRPC API and the fleet domain on Postgres.",
   "license": "Apache-2.0",
+  "type": "module",
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/ThomasHendrickx/aeolus-fleet.git"
+    "url": "git+https://github.com/ThomasHendrickx/aeolus-fleet.git",
+    "directory": "packages/core"
+  },
+  "engines": {
+    "node": ">=26"
+  },
+  "exports": {
+    ".": {
+      "@aeolus-fleet/source": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "bin": {
+    "aeolus-core": "dist/bin/aeolus-core.js"
+  },
+  "files": [
+    "dist",
+    "prisma.config.ts",
+    "src/adapters/prisma/schema.prisma",
+    "src/adapters/prisma/migrations"
+  ],
+  "scripts": {
+    "generate": "prisma generate",
+    "build": "tsc --project tsconfig.build.json",
+    "typecheck": "tsc --project tsconfig.json",
+    "dev": "tsx watch --conditions=@aeolus-fleet/source --env-file-if-exists=.env src/bin/aeolus-core.ts start",
+    "start": "node dist/bin/aeolus-core.js start",
+    "aeolus-core": "tsx --conditions=@aeolus-fleet/source --env-file-if-exists=.env src/bin/aeolus-core.ts",
+    "fleet:init": "tsx --conditions=@aeolus-fleet/source --env-file-if-exists=.env src/bin/aeolus-core.ts fleet:init",
+    "operator:reset-password": "tsx --conditions=@aeolus-fleet/source --env-file-if-exists=.env src/bin/aeolus-core.ts operator:reset-password",
+    "db:migrate": "tsx --conditions=@aeolus-fleet/source --env-file-if-exists=.env src/bin/aeolus-core.ts migrate",
+    "prepack": "cp ../../LICENSE LICENSE",
+    "postpack": "rm LICENSE"
+  },
+  "dependencies": {
+    "@aeolus-fleet/common": "0.19.0",
+    "@fastify/websocket": "^11.3.1",
+    "@modelcontextprotocol/server": "^2.3.0",
+    "@prisma/adapter-pg": "^7.10.0",
+    "@prisma/client": "^7.10.0",
+    "@scalar/fastify-api-reference": "^1.72.4",
+    "@trpc/server": "^11.19.0",
+    "fastify": "^5.12.5",
+    "pg": "^8.23.0",
+    "prisma": "^7.10.0",
+    "zod": "^4.6.5"
+  },
+  "devDependencies": {
+    "@modelcontextprotocol/client": "^2.2.0",
+    "@testcontainers/postgresql": "^12.2.0",
+    "@trpc/client": "^11.19.0",
+    "@types/pg": "^8.23.1",
+    "@types/ws": "^8.18.2",
+    "tsx": "^4.23.15"
   }
 }

package/prisma.config.ts

@@ -0,0 +1,18 @@
+import { existsSync } from 'node:fs';
+
+import { defineConfig } from 'prisma/config';
+
+if (existsSync('.env')) {
+  process.loadEnvFile('.env');
+}
+
+export default defineConfig({
+  schema: 'src/adapters/prisma/schema.prisma',
+  migrations: {
+    path: 'src/adapters/prisma/migrations',
+  },
+  datasource: {
+    // Only migrate commands need the URL; `prisma generate` runs without one.
+    url: process.env.DATABASE_URL,
+  },
+});

package/src/adapters/prisma/migrations/20260929124818_init/migration.sql

@@ -0,0 +1,201 @@
+-- CreateEnum
+CREATE TYPE "delivery_state" AS ENUM ('pending', 'delivered', 'acknowledged', 'undeliverable', 'abandoned');
+
+-- CreateTable
+CREATE TABLE "fleets" (
+    "id" TEXT NOT NULL,
+    "name" TEXT NOT NULL,
+    "created_at" TIMESTAMPTZ(3) NOT NULL,
+
+    CONSTRAINT "fleets_pkey" PRIMARY KEY ("id")
+);
+
+-- CreateTable
+CREATE TABLE "ships" (
+    "id" TEXT NOT NULL,
+    "fleet_id" TEXT NOT NULL,
+    "name" TEXT NOT NULL,
+    "type" TEXT NOT NULL,
+    "note" TEXT,
+    "created_at" TIMESTAMPTZ(3) NOT NULL,
+    "retired_at" TIMESTAMPTZ(3),
+
+    CONSTRAINT "ships_pkey" PRIMARY KEY ("id")
+);
+
+-- CreateTable
+CREATE TABLE "leases" (
+    "id" TEXT NOT NULL,
+    "fleet_id" TEXT NOT NULL,
+    "ship_id" TEXT NOT NULL,
+    "started_at" TIMESTAMPTZ(3) NOT NULL,
+    "ended_at" TIMESTAMPTZ(3),
+
+    CONSTRAINT "leases_pkey" PRIMARY KEY ("id")
+);
+
+-- CreateTable
+CREATE TABLE "credentials" (
+    "id" TEXT NOT NULL,
+    "fleet_id" TEXT NOT NULL,
+    "ship_id" TEXT NOT NULL,
+    "secret_hash" TEXT NOT NULL,
+    "issued_at" TIMESTAMPTZ(3) NOT NULL,
+    "claimed_at" TIMESTAMPTZ(3),
+    "invalidated_at" TIMESTAMPTZ(3),
+
+    CONSTRAINT "credentials_pkey" PRIMARY KEY ("id")
+);
+
+-- CreateTable
+CREATE TABLE "messages" (
+    "id" TEXT NOT NULL,
+    "fleet_id" TEXT NOT NULL,
+    "payload" TEXT NOT NULL,
+    "content_type" TEXT NOT NULL,
+    "idempotency_key" TEXT NOT NULL,
+    "created_at" TIMESTAMPTZ(3) NOT NULL,
+
+    CONSTRAINT "messages_pkey" PRIMARY KEY ("id")
+);
+
+-- CreateTable
+CREATE TABLE "deliveries" (
+    "id" TEXT NOT NULL,
+    "fleet_id" TEXT NOT NULL,
+    "message_id" TEXT NOT NULL,
+    "recipient_ship_id" TEXT,
+    "recipient_type" TEXT,
+    "state" "delivery_state" NOT NULL DEFAULT 'pending',
+    "claimed_by_ship_id" TEXT,
+    "attempts" INTEGER NOT NULL DEFAULT 0,
+    "created_at" TIMESTAMPTZ(3) NOT NULL,
+
+    CONSTRAINT "deliveries_pkey" PRIMARY KEY ("id")
+);
+
+-- CreateTable
+CREATE TABLE "events" (
+    "id" TEXT NOT NULL,
+    "fleet_id" TEXT NOT NULL,
+    "type" TEXT NOT NULL,
+    "occurred_at" TIMESTAMPTZ(3) NOT NULL,
+
+    CONSTRAINT "events_pkey" PRIMARY KEY ("id")
+);
+
+-- CreateTable
+CREATE TABLE "operators" (
+    "id" TEXT NOT NULL,
+    "fleet_id" TEXT NOT NULL,
+    "email" TEXT NOT NULL,
+    "password_hash" TEXT NOT NULL,
+    "created_at" TIMESTAMPTZ(3) NOT NULL,
+
+    CONSTRAINT "operators_pkey" PRIMARY KEY ("id")
+);
+
+-- CreateTable
+CREATE TABLE "operator_sessions" (
+    "id" TEXT NOT NULL,
+    "fleet_id" TEXT NOT NULL,
+    "operator_id" TEXT NOT NULL,
+    "created_at" TIMESTAMPTZ(3) NOT NULL,
+
+    CONSTRAINT "operator_sessions_pkey" PRIMARY KEY ("id")
+);
+
+-- CreateIndex
+CREATE UNIQUE INDEX "ships_fleet_id_id_key" ON "ships"("fleet_id", "id");
+
+-- CreateIndex
+CREATE UNIQUE INDEX "ships_fleet_id_name_active_key" ON "ships"("fleet_id", "name") WHERE ("retired_at" IS NULL);
+
+-- CreateIndex
+CREATE UNIQUE INDEX "leases_ship_id_open_key" ON "leases"("ship_id") WHERE ("ended_at" IS NULL);
+
+-- CreateIndex
+CREATE UNIQUE INDEX "credentials_ship_id_valid_key" ON "credentials"("ship_id") WHERE ("invalidated_at" IS NULL);
+
+-- CreateIndex
+CREATE UNIQUE INDEX "messages_fleet_id_id_key" ON "messages"("fleet_id", "id");
+
+-- CreateIndex
+CREATE INDEX "deliveries_fleet_id_recipient_ship_id_state_idx" ON "deliveries"("fleet_id", "recipient_ship_id", "state");
+
+-- CreateIndex
+CREATE INDEX "deliveries_fleet_id_recipient_type_state_idx" ON "deliveries"("fleet_id", "recipient_type", "state");
+
+-- CreateIndex
+CREATE UNIQUE INDEX "deliveries_message_id_recipient_ship_id_key" ON "deliveries"("message_id", "recipient_ship_id");
+
+-- CreateIndex
+CREATE UNIQUE INDEX "deliveries_message_id_recipient_type_key" ON "deliveries"("message_id", "recipient_type");
+
+-- CreateIndex
+CREATE UNIQUE INDEX "operators_fleet_id_id_key" ON "operators"("fleet_id", "id");
+
+-- AddForeignKey
+ALTER TABLE "ships" ADD CONSTRAINT "ships_fleet_id_fkey" FOREIGN KEY ("fleet_id") REFERENCES "fleets"("id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "leases" ADD CONSTRAINT "leases_fleet_id_fkey" FOREIGN KEY ("fleet_id") REFERENCES "fleets"("id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "leases" ADD CONSTRAINT "leases_fleet_id_ship_id_fkey" FOREIGN KEY ("fleet_id", "ship_id") REFERENCES "ships"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "credentials" ADD CONSTRAINT "credentials_fleet_id_fkey" FOREIGN KEY ("fleet_id") REFERENCES "fleets"("id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "credentials" ADD CONSTRAINT "credentials_fleet_id_ship_id_fkey" FOREIGN KEY ("fleet_id", "ship_id") REFERENCES "ships"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "messages" ADD CONSTRAINT "messages_fleet_id_fkey" FOREIGN KEY ("fleet_id") REFERENCES "fleets"("id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "deliveries" ADD CONSTRAINT "deliveries_fleet_id_fkey" FOREIGN KEY ("fleet_id") REFERENCES "fleets"("id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "deliveries" ADD CONSTRAINT "deliveries_fleet_id_message_id_fkey" FOREIGN KEY ("fleet_id", "message_id") REFERENCES "messages"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "deliveries" ADD CONSTRAINT "deliveries_fleet_id_recipient_ship_id_fkey" FOREIGN KEY ("fleet_id", "recipient_ship_id") REFERENCES "ships"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "deliveries" ADD CONSTRAINT "deliveries_fleet_id_claimed_by_ship_id_fkey" FOREIGN KEY ("fleet_id", "claimed_by_ship_id") REFERENCES "ships"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "events" ADD CONSTRAINT "events_fleet_id_fkey" FOREIGN KEY ("fleet_id") REFERENCES "fleets"("id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "operators" ADD CONSTRAINT "operators_fleet_id_fkey" FOREIGN KEY ("fleet_id") REFERENCES "fleets"("id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "operator_sessions" ADD CONSTRAINT "operator_sessions_fleet_id_fkey" FOREIGN KEY ("fleet_id") REFERENCES "fleets"("id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "operator_sessions" ADD CONSTRAINT "operator_sessions_fleet_id_operator_id_fkey" FOREIGN KEY ("fleet_id", "operator_id") REFERENCES "operators"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- Written by hand from here on: rules Prisma does not model.
+
+-- A payload is at most 64 KB, counted in bytes.
+ALTER TABLE "messages" ADD CONSTRAINT "messages_payload_max_64kb" CHECK (octet_length("payload") <= 65536);
+
+-- A delivery goes to exactly one recipient: a ship or a type.
+ALTER TABLE "deliveries" ADD CONSTRAINT "deliveries_one_recipient" CHECK (num_nonnulls("recipient_ship_id", "recipient_type") = 1);
+
+-- Events are append-only: never updated, deleted or truncated.
+CREATE FUNCTION "events_reject_change"() RETURNS trigger LANGUAGE plpgsql AS $$
+BEGIN
+  RAISE EXCEPTION 'events are append-only: % is not allowed', TG_OP;
+END;
+$$;
+
+CREATE TRIGGER "events_append_only"
+  BEFORE UPDATE OR DELETE ON "events"
+  FOR EACH ROW EXECUTE FUNCTION "events_reject_change"();
+
+CREATE TRIGGER "events_no_truncate"
+  BEFORE TRUNCATE ON "events"
+  FOR EACH STATEMENT EXECUTE FUNCTION "events_reject_change"();

package/src/adapters/prisma/migrations/20260929160000_fleet_argo_console_session/migration.sql

@@ -0,0 +1,130 @@
+-- CreateEnum
+CREATE TYPE "ship_kind" AS ENUM ('operator', 'agent');
+
+-- CreateEnum
+CREATE TYPE "location_kind" AS ENUM ('DEVICE', 'CLOUD', 'SERVER', 'OTHER');
+
+-- AlterEnum
+ALTER TYPE "delivery_state" ADD VALUE 'dismissed';
+
+-- DropForeignKey
+ALTER TABLE "operator_sessions" DROP CONSTRAINT "operator_sessions_fleet_id_fkey";
+
+-- DropForeignKey
+ALTER TABLE "operator_sessions" DROP CONSTRAINT "operator_sessions_fleet_id_operator_id_fkey";
+
+-- DropForeignKey
+ALTER TABLE "operators" DROP CONSTRAINT "operators_fleet_id_fkey";
+
+-- AlterTable
+ALTER TABLE "deliveries" ADD COLUMN     "read_at" TIMESTAMPTZ(3);
+
+-- AlterTable
+ALTER TABLE "events" ADD COLUMN     "actor_ship_id" TEXT,
+ADD COLUMN     "delivery_id" TEXT,
+ADD COLUMN     "details" JSONB NOT NULL,
+ADD COLUMN     "message_id" TEXT,
+ADD COLUMN     "ship_id" TEXT;
+
+-- AlterTable
+ALTER TABLE "leases" ADD COLUMN     "location" "location_kind" NOT NULL,
+ADD COLUMN     "location_description" TEXT;
+
+-- AlterTable
+ALTER TABLE "messages" ADD COLUMN     "in_reply_to_message_id" TEXT,
+ADD COLUMN     "resend_of_message_id" TEXT;
+
+-- AlterTable
+ALTER TABLE "ships" ADD COLUMN     "kind" "ship_kind" NOT NULL,
+ADD COLUMN     "scopes" TEXT[];
+
+-- DropTable
+DROP TABLE "operator_sessions";
+
+-- DropTable
+DROP TABLE "operators";
+
+-- CreateTable
+CREATE TABLE "console_sessions" (
+    "id" TEXT NOT NULL,
+    "fleet_id" TEXT NOT NULL,
+    "ship_id" TEXT NOT NULL,
+    "lease_id" TEXT NOT NULL,
+    "token_hash" TEXT NOT NULL,
+    "created_at" TIMESTAMPTZ(3) NOT NULL,
+    "last_used_at" TIMESTAMPTZ(3) NOT NULL,
+    "expires_at" TIMESTAMPTZ(3) NOT NULL,
+    "ended_at" TIMESTAMPTZ(3),
+
+    CONSTRAINT "console_sessions_pkey" PRIMARY KEY ("id")
+);
+
+-- CreateIndex
+CREATE UNIQUE INDEX "console_sessions_token_hash_key" ON "console_sessions"("token_hash");
+
+-- CreateIndex
+CREATE UNIQUE INDEX "console_sessions_fleet_id_open_key" ON "console_sessions"("fleet_id") WHERE ("ended_at" IS NULL);
+
+-- CreateIndex
+CREATE UNIQUE INDEX "credentials_secret_hash_key" ON "credentials"("secret_hash");
+
+-- CreateIndex
+CREATE UNIQUE INDEX "deliveries_fleet_id_id_key" ON "deliveries"("fleet_id", "id");
+
+-- CreateIndex
+CREATE UNIQUE INDEX "leases_fleet_id_id_key" ON "leases"("fleet_id", "id");
+
+-- CreateIndex
+CREATE UNIQUE INDEX "ships_fleet_id_operator_key" ON "ships"("fleet_id") WHERE (kind = 'operator'::ship_kind);
+
+-- AddForeignKey
+ALTER TABLE "messages" ADD CONSTRAINT "messages_fleet_id_in_reply_to_message_id_fkey" FOREIGN KEY ("fleet_id", "in_reply_to_message_id") REFERENCES "messages"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "messages" ADD CONSTRAINT "messages_fleet_id_resend_of_message_id_fkey" FOREIGN KEY ("fleet_id", "resend_of_message_id") REFERENCES "messages"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "events" ADD CONSTRAINT "events_fleet_id_actor_ship_id_fkey" FOREIGN KEY ("fleet_id", "actor_ship_id") REFERENCES "ships"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "events" ADD CONSTRAINT "events_fleet_id_ship_id_fkey" FOREIGN KEY ("fleet_id", "ship_id") REFERENCES "ships"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "events" ADD CONSTRAINT "events_fleet_id_message_id_fkey" FOREIGN KEY ("fleet_id", "message_id") REFERENCES "messages"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "events" ADD CONSTRAINT "events_fleet_id_delivery_id_fkey" FOREIGN KEY ("fleet_id", "delivery_id") REFERENCES "deliveries"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "console_sessions" ADD CONSTRAINT "console_sessions_fleet_id_fkey" FOREIGN KEY ("fleet_id") REFERENCES "fleets"("id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "console_sessions" ADD CONSTRAINT "console_sessions_fleet_id_ship_id_fkey" FOREIGN KEY ("fleet_id", "ship_id") REFERENCES "ships"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+-- AddForeignKey
+ALTER TABLE "console_sessions" ADD CONSTRAINT "console_sessions_fleet_id_lease_id_fkey" FOREIGN KEY ("fleet_id", "lease_id") REFERENCES "leases"("fleet_id", "id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+
+-- Written by hand from here on: rules Prisma does not model.
+
+-- Scopes are never null and only the four known ones.
+ALTER TABLE "ships" ADD CONSTRAINT "ships_scopes_known" CHECK (
+  "scopes" IS NOT NULL AND "scopes" <@ ARRAY['messages:send', 'messages:receive', 'fleet:read', 'fleet:manage']::TEXT[]
+);
+
+-- The operator ship is named argo, and no other ship ever is (ADR 0012).
+ALTER TABLE "ships" ADD CONSTRAINT "ships_operator_is_argo" CHECK (("kind" = 'operator') = ("name" = 'argo'));
+
+-- The operator ship is never retired.
+ALTER TABLE "ships" ADD CONSTRAINT "ships_operator_never_retired" CHECK ("kind" <> 'operator' OR "retired_at" IS NULL);
+
+-- An OTHER location carries a description; the other kinds carry none.
+ALTER TABLE "leases" ADD CONSTRAINT "leases_location_description" CHECK (
+  CASE
+    WHEN "location" = 'OTHER' THEN "location_description" IS NOT NULL AND btrim("location_description") <> ''
+    ELSE "location_description" IS NULL
+  END
+);
+
+-- Event details are a flat JSON object.
+ALTER TABLE "events" ADD CONSTRAINT "events_details_object" CHECK (jsonb_typeof("details") = 'object');

package/src/adapters/prisma/migrations/20260929220017_operator_login/migration.sql

@@ -0,0 +1,27 @@
+-- CreateTable
+CREATE TABLE "operators" (
+    "id" TEXT NOT NULL,
+    "fleet_id" TEXT NOT NULL,
+    "email" TEXT NOT NULL,
+    "password_hash" TEXT NOT NULL,
+    "created_at" TIMESTAMPTZ(3) NOT NULL,
+
+    CONSTRAINT "operators_pkey" PRIMARY KEY ("id")
+);
+
+-- CreateIndex
+CREATE UNIQUE INDEX "operators_fleet_id_key" ON "operators"("fleet_id");
+
+-- CreateIndex
+CREATE UNIQUE INDEX "operators_email_key" ON "operators"("email");
+
+-- AddForeignKey
+ALTER TABLE "operators" ADD CONSTRAINT "operators_fleet_id_fkey" FOREIGN KEY ("fleet_id") REFERENCES "fleets"("id") ON DELETE RESTRICT ON UPDATE CASCADE;
+
+
+-- Written by hand from here on.
+
+-- argo has no secret: only the operator's console sign-in crews it (ADR 0012).
+DELETE FROM "credentials" c
+USING "ships" s
+WHERE s."fleet_id" = c."fleet_id" AND s."id" = c."ship_id" AND s."kind" = 'operator';