@aeolus-fleet/core 0.19.0 → 0.20.0

package/src/adapters/prisma/schema.prisma

@@ -46,6 +46,10 @@ model Fleet {
   ships            Ship[]
   leases           Lease[]
   crewRequests     CrewRequest[]
+  clearRequests    WorktreeClearRequest[]
+  labels           Label[]
+  labelValues      LabelValue[]
+  shipLabels       ShipLabel[]
   credentials      Credential[]
   messages         Message[]
   deliveries       Delivery[]
@@ -97,6 +101,11 @@ model Ship {
   events            Event[]          @relation("EventShip")
   crewRequest       CrewRequest?     @relation("CrewRequestShip")
   assignedCrews     CrewRequest[]    @relation("CrewRequestAssignee")
+  clearRequests     WorktreeClearRequest[] @relation("WorktreeClearRequestTrierarch")
+  clearedWorktrees  WorktreeClearRequest[] @relation("WorktreeClearRequestShip")
+  requestedClears   WorktreeClearRequest[] @relation("WorktreeClearRequestRequester")
+  ownedLabels       Label[]          @relation("LabelOwner")
+  labels            ShipLabel[]      @relation("ShipLabelShip")
 
   @@unique([fleetId, id])
   /// An idempotency key is used once per commissioning ship.
@@ -163,6 +172,9 @@ model Lease {
   @@unique([fleetId, id])
   /// At most one open lease per ship.
   @@unique([shipId], map: "leases_ship_id_open_key", where: { endedAt: null })
+  /// 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, shipId])
   @@map("leases")
 }
 
@@ -192,6 +204,10 @@ model CrewRequest {
   status          CrewStatus?
   /// Why no trierarch can take it, written by the assigner while unassigned; null when none.
   reason          String?
+  /// How many times its trierarch restarted the session within its restart window, with the status: 0 on its first start.
+  attempt          Int       @default(0)
+  /// When the session its trierarch runs now started, with the status; null while none runs.
+  sessionStartedAt DateTime? @map("session_started_at") @db.Timestamptz(3)
 
   fleet    Fleet @relation(fields: [fleetId], references: [id])
   ship     Ship  @relation("CrewRequestShip", fields: [fleetId, shipId], references: [fleetId, id])
@@ -203,6 +219,88 @@ model CrewRequest {
   @@map("crew_requests")
 }
 
+/// A pending request that a trierarch clear a worktree it kept (decision 0032),
+/// named by the ship it belonged to and its repository: never a path.
+model WorktreeClearRequest {
+  fleetId         String   @map("fleet_id")
+  trierarchShipId String   @map("trierarch_ship_id")
+  shipId          String   @map("ship_id")
+  repository      String
+  requestedBy     String   @map("requested_by_ship_id")
+  requestedAt     DateTime @map("requested_at") @db.Timestamptz(3)
+
+  fleet     Fleet @relation(fields: [fleetId], references: [id])
+  trierarch Ship  @relation("WorktreeClearRequestTrierarch", fields: [fleetId, trierarchShipId], references: [fleetId, id])
+  ship      Ship  @relation("WorktreeClearRequestShip", fields: [fleetId, shipId], references: [fleetId, id])
+  requester Ship  @relation("WorktreeClearRequestRequester", fields: [fleetId, requestedBy], references: [fleetId, id])
+
+  @@id([fleetId, trierarchShipId, shipId, repository])
+  @@index([fleetId, shipId])
+  @@index([fleetId, requestedBy])
+  @@map("worktree_clear_requests")
+}
+
+/// A label (decision 0031): a key unique in its fleet with its defined values,
+/// owned by the ship that defined it. Ids start with lbl_. A retired or deleted
+/// label is deleted with its values; its events stay.
+model Label {
+  id          String @id
+  fleetId     String @map("fleet_id")
+  key         String
+  ownerShipId String @map("owner_ship_id")
+
+  fleet    Fleet        @relation(fields: [fleetId], references: [id])
+  owner    Ship         @relation("LabelOwner", fields: [fleetId, ownerShipId], references: [fleetId, id])
+  values   LabelValue[]
+  carriers ShipLabel[]
+
+  @@unique([fleetId, id])
+  @@unique([fleetId, key])
+  /// A retire finds the labels its ship owns.
+  @@index([fleetId, ownerShipId])
+  @@map("labels")
+}
+
+/// One value of a label, each once, at most 50 a label. Ids start with lbv_; a
+/// value keeps its id while its label has it.
+model LabelValue {
+  id       String @id
+  fleetId  String @map("fleet_id")
+  labelId  String @map("label_id")
+  value    String
+  /// Its place in the order the owner gave the values.
+  position Int
+
+  fleet    Fleet       @relation(fields: [fleetId], references: [id])
+  label    Label       @relation(fields: [fleetId, labelId], references: [fleetId, id])
+  carriers ShipLabel[]
+
+  @@unique([fleetId, id])
+  @@unique([fleetId, labelId, value])
+  @@map("label_values")
+}
+
+/// A label value a ship carries: a ship holds a set of values, so the ship and
+/// the value are its key.
+model ShipLabel {
+  fleetId String @map("fleet_id")
+  shipId  String @map("ship_id")
+  labelId String @map("label_id")
+  valueId String @map("value_id")
+
+  fleet Fleet      @relation(fields: [fleetId], references: [id])
+  ship  Ship       @relation("ShipLabelShip", fields: [fleetId, shipId], references: [fleetId, id])
+  label Label      @relation(fields: [fleetId, labelId], references: [fleetId, id])
+  value LabelValue @relation(fields: [fleetId, valueId], references: [fleetId, id])
+
+  @@id([fleetId, shipId, valueId])
+  /// A change of values, a delete and a retire find every ship that carries a label.
+  @@index([fleetId, labelId])
+  /// Removing a value checks that no ship carries it.
+  @@index([fleetId, valueId])
+  @@map("ship_labels")
+}
+
 /// A ship secret, stored only as its hash. Ids start with crd_.
 /// The hash is unique across all fleets: finding a ship by its secret is one of the
 /// lookups not scoped by fleet (ADR 0007).
@@ -220,6 +318,9 @@ model Credential {
 
   /// At most one valid secret per ship.
   @@unique([shipId], map: "credentials_ship_id_valid_key", where: { invalidatedAt: null })
+  /// 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, shipId])
   @@map("credentials")
 }
 
@@ -268,6 +369,11 @@ model Message {
   @@unique([fleetId, senderShipId, idempotencyKey])
   /// A ship's current model is its newest message with a model.
   @@index([fleetId, senderShipId, createdAt])
+  /// 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, selectorShipId])
+  @@index([fleetId, inReplyToMessageId])
+  @@index([fleetId, resendOfMessageId])
   @@map("messages")
 }
 
@@ -315,6 +421,10 @@ model Delivery {
   @@index([fleetId, recipientType, 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
+  /// referenced row checks it with an index, not a scan (#331).
+  @@index([fleetId, messageId])
+  @@index([fleetId, claimedByShipId])
   @@map("deliveries")
 }
 
@@ -344,6 +454,12 @@ model Event {
   delivery  Delivery? @relation(fields: [fleetId, deliveryId], references: [fleetId, id], onDelete: Restrict)
 
   @@unique([fleetId, seq])
+  /// 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, actorShipId])
+  @@index([fleetId, shipId])
+  @@index([fleetId, messageId])
+  @@index([fleetId, deliveryId])
   @@map("events")
 }
 
@@ -416,6 +532,10 @@ model ConsoleSession {
 
   /// At most one live session holding argo's lease per fleet: signing in ends the previous one. Viewer sessions run beside it.
   @@unique([fleetId], map: "console_sessions_fleet_id_open_key", where: raw("ended_at IS NULL AND lease_id IS NOT NULL"))
+  /// 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, shipId])
+  @@index([fleetId, leaseId])
   @@map("console_sessions")
 }