@aeolus-fleet/core 0.24.1 → 0.25.1

package/src/adapters/prisma/schema.prisma

@@ -57,6 +57,7 @@ model Fleet {
   credentials      Credential[]
   messages         Message[]
   deliveries       Delivery[]
+  overdueDeliveries OverdueDelivery[]
   events           Event[]
   consoleSessions  ConsoleSession[]
   signInTickets    SignInTicket[]
@@ -100,6 +101,7 @@ model Ship {
   addressedMessages Message[]        @relation("MessageSelectorShip")
   deliveries        Delivery[]       @relation("DeliveryRecipientShip")
   claimedDeliveries Delivery[]       @relation("DeliveryClaimedByShip")
+  overdueDeliveries OverdueDelivery[]
   consoleSessions   ConsoleSession[]
   actorOfEvents     Event[]          @relation("EventActorShip")
   events            Event[]          @relation("EventShip")
@@ -134,6 +136,14 @@ enum ReportState {
   @@map("report_state")
 }
 
+/// A pushed session's turn, as its hooks report it (decision 0040).
+enum TurnState {
+  idle
+  busy
+
+  @@map("turn_state")
+}
+
 enum LocationKind {
   DEVICE
   CLOUD
@@ -168,12 +178,18 @@ model Lease {
   reportDetails        Json?        @map("report_details")
   /// Moves by one each time the details change; 0 before any.
   reportDetailsVersion Int          @default(0) @map("report_details_version")
+  /// From the lease's first push receive: the computer side takes its deliveries, and the agent's plain receive answers nothing (decision 0040).
+  pushedAt             DateTime?    @map("pushed_at") @db.Timestamptz(3)
+  /// The session's turn as its hooks last reported it, and when they saw it change; null until they report (decision 0040).
+  turn                 TurnState?
+  turnAt               DateTime?    @map("turn_at") @db.Timestamptz(3)
   endedAt              DateTime?    @map("ended_at") @db.Timestamptz(3)
 
   fleet             Fleet            @relation(fields: [fleetId], references: [id])
   ship              Ship             @relation(fields: [fleetId, shipId], references: [fleetId, id])
   consoleSessions   ConsoleSession[]
   claimedDeliveries Delivery[]
+  overdueDeliveries OverdueDelivery[]
 
   @@unique([fleetId, id])
   /// At most one open lease per ship.
@@ -196,8 +212,9 @@ enum CrewStatus {
 }
 
 /// A standing request that a ship be kept crewed (decision 0029): at most one per
-/// ship, so the ship's id is its key. Its settings are stored without meaning, at
-/// most 16 KB; each request replaces them and moves their version by one.
+/// ship, so the ship's id is its key. Its settings are crew settings of at most
+/// 16 KB, checked but never acted on; each request replaces them and moves their
+/// version by one.
 model CrewRequest {
   shipId          String      @id @map("ship_id")
   fleetId         String      @map("fleet_id")
@@ -461,8 +478,11 @@ model Message {
 
 enum DeliveryState {
   pending
-  delivered
+  received
+  handed
   acknowledged
+  handled
+  notHandled
   undeliverable
   dismissed
   abandoned
@@ -471,9 +491,11 @@ enum DeliveryState {
 }
 
 /// One message to one resolved recipient: a ship or a type. Ids start with dlv_.
-/// A receive claims it for the ship and the lease of the crew receiving: set while it
-/// is in flight, kept once acknowledged, none while it is pending. Attempts count the
-/// claims; the fifth makes it undeliverable.
+/// A receive hands it to the ship and the lease of the crew receiving, or a push
+/// receive takes it for them: set while it is received or handed, kept once
+/// acknowledged, none while it is pending. Attempts count the hand-overs; the fifth
+/// makes it undeliverable. The hand-over number is the last one the crew reported
+/// with handed (decision 0040), none while pending.
 /// The read date is set when the operator opens a message to argo.
 /// For a type under network rules, the ships of the type its sender may reach,
 /// fixed at send time: only they claim it (decision 0034). Empty: any ship of
@@ -488,6 +510,9 @@ model Delivery {
   claimedByShipId  String?       @map("claimed_by_ship_id")
   claimedByLeaseId String?       @map("claimed_by_lease_id")
   attempts         Int           @default(0)
+  handOverNumber   Int?          @map("hand_over_number")
+  /// When its crew handed it once more after the turn that took it died; only once (decision 0040).
+  handedOnceMoreAt DateTime?     @map("handed_once_more_at") @db.Timestamptz(3)
   reachableShipIds String[]      @default([]) @map("reachable_ship_ids")
   readAt           DateTime?     @map("read_at") @db.Timestamptz(3)
   createdAt        DateTime      @map("created_at") @db.Timestamptz(3)
@@ -498,6 +523,7 @@ model Delivery {
   claimedByShip  Ship?   @relation("DeliveryClaimedByShip", fields: [fleetId, claimedByShipId], references: [fleetId, id], onDelete: Restrict)
   claimedByLease Lease?  @relation(fields: [fleetId, claimedByLeaseId], references: [fleetId, id], onDelete: Restrict)
   events         Event[]
+  overdue        OverdueDelivery[]
 
   @@unique([fleetId, id])
   /// One row per recipient.
@@ -505,6 +531,8 @@ model Delivery {
   @@unique([messageId, recipientType])
   @@index([fleetId, recipientShipId, state])
   @@index([fleetId, recipientType, state])
+  /// The installation's health figures scan a fleet's open deliveries by state (decision 0041). Partial, so a foreign key check never picks it.
+  @@index([fleetId, state, createdAt], map: "deliveries_open_fleet_id_state_created_at_idx", where: raw("(state = ANY (ARRAY['pending'::delivery_state, 'received'::delivery_state, 'handed'::delivery_state, 'undeliverable'::delivery_state, 'notHandled'::delivery_state]))"))
   /// A crew's own deliveries in flight, which its next receive returns first.
   @@index([fleetId, claimedByLeaseId, state])
   /// Every foreign key has an index leading with its columns, so deleting a
@@ -514,6 +542,41 @@ model Delivery {
   @@map("deliveries")
 }
 
+/// Which of the 10 and 60 minute clocks ran out (decision 0040).
+enum OverdueClock {
+  notConfirmed
+  idle
+  busy
+
+  @@map("overdue_clock")
+}
+
+/// A delivery argo was told is overdue on a pushed lease: its clock ran out
+/// while it waited in the state kept here. Once per lease and delivery, so a
+/// pass after a restart, or a second pass at once, tells nothing again.
+model OverdueDelivery {
+  fleetId    String        @map("fleet_id")
+  leaseId    String        @map("lease_id")
+  deliveryId String        @map("delivery_id")
+  shipId     String        @map("ship_id")
+  state      DeliveryState
+  clock      OverdueClock
+  minutes    Int
+  toldAt     DateTime      @map("told_at") @db.Timestamptz(3)
+
+  fleet    Fleet    @relation(fields: [fleetId], references: [id])
+  lease    Lease    @relation(fields: [fleetId, leaseId], references: [fleetId, id], onDelete: Restrict)
+  delivery Delivery @relation(fields: [fleetId, deliveryId], references: [fleetId, id], onDelete: Restrict)
+  ship     Ship     @relation(fields: [fleetId, shipId], references: [fleetId, id], onDelete: Restrict)
+
+  @@id([fleetId, leaseId, deliveryId])
+  /// Every foreign key has an index leading with its columns, so deleting a
+  /// referenced row checks it with an index, not a scan (#331).
+  @@index([fleetId, deliveryId])
+  @@index([fleetId, shipId])
+  @@map("overdue_deliveries")
+}
+
 /// Append-only log of every state change: never updated or deleted. Ids start with evt_.
 /// Records its type and time, who caused it (a ship, or the system when
 /// actor_ship_id is null), the ship, message and delivery it concerns, and a few