Phase 7 abgeschlossen: Suche mit gestuftem Index, Facetten, Palette

Der bisherige Suchvektor enthielt nur, was jeder sehen darf. Das war
leck-sicher und unbrauchbar zugleich: ab Stufe 1 fand die Suche nichts von
dem, was einen Fall ausmacht.

SearchIndex hält jetzt sechs Zeilen je Ziel, eine pro Freigabestufe. Die Zeile
zur Stufe N enthält alles, was ein Leser dieser Stufe sehen darf. Eine Suche
nimmt genau diese eine Zeile und kann deshalb nichts finden, was sie nicht
lesen darf — auch keinen höher eingestuften Eintrag in einer sichtbaren Akte.

Schwärzungen werden dabei stufenweise aufgelöst: strip_redactions_above
entfernt nur, was über der Stufe liegt. Sonst fände ein Leser der Stufe 4
einen Namen nicht, den er auf der Seite im Klartext sieht, und ein Leser der
Stufe 1 einen, den er dort nur als Balken sieht.

Die Suchbedingung ist nicht die Zugriffsprüfung: der Volltext liefert
Kandidaten, die Sichtbarkeit kommt aus visibleCaseWhere — derselben Funktion
wie in der Fallliste, und Treffer, Trefferzahl und Facettenzähler entstehen
gemeinsam in einer Abfrage. Eine in SQL nachgebaute Sichtbarkeitsregel wäre
die Sorte Duplikat, die auseinanderläuft.

Filter stehen in der Adresse. Damit ist jeder Zustand teilbar, der
Zurück-Knopf tut das Richtige, und eine gespeicherte Ansicht ist ein
Lesezeichen. Die mitgelieferten Ansichten stehen im Programm, weil sie von der
Gegenwart abhängen.

Strg+K öffnet die Kommandopalette. Im Grundgerüst steckt nur das
Tastaturereignis, die Palette selbst wird beim Öffnen geholt — das kostet die
anderen Seiten rund hundert Byte.

Offen geblieben: "Zuletzt geöffnet" als Ansicht. Dafür müsste jeder Aufruf
jeder Akte mitgeschrieben werden; das wäre eine Überwachungsfunktion, die
niemand bestellt hat. In TASKS vermerkt.

165 Tests im Web-Paket, 17 in der Datenbank, 7 im Worker, 34 e2e.
Grösste Route bei 119,7 kB gegen 120 erlaubte.

packages/db/prisma/schema.prisma

@@ -51,6 +51,7 @@ model User {
   personnelFiles PersonnelFile[]
   participations CaseParticipant[]
   assignments    PersonnelAssignment[]
+  savedViews     SavedView[]
   exclusions     CaseExclusion[]
   watches        Watch[]
   readMarkers    ReadMarker[]
@@ -807,6 +808,43 @@ model NotificationOutbox {
   @@index([caseId])
 }
 
+/// Suchindex, **je Freigabestufe ein Vektor**.
+///
+/// Der Vektor zur Stufe N enthaelt alles, was ein Leser dieser Stufe sehen
+/// darf: Kopfdaten, Abschnitte und Eintraege bis einschliesslich N, und aus
+/// dem Fliesstext die geschwaerzten Stellen bis N. Eine Suche nimmt genau
+/// eine Zeile — die zur Stufe des Suchenden — und kann deshalb nichts finden,
+/// was er nicht lesen darf.
+///
+/// Der Vorgaenger war ein einziger Vektor mit nur dem, was jeder sehen darf.
+/// Der war leck-sicher, aber unbrauchbar: ab Stufe 1 fand die Suche nichts von
+/// dem, was den Fall ausmacht. Siehe docs/13-entscheidungen.md.
+model SearchIndex {
+  targetType   String // "case" | "document" | "personnel"
+  targetId     String
+  minClearance Int // 0..5
+  vector       Unsupported("tsvector")
+
+  @@id([targetType, targetId, minClearance])
+  @@index([targetType, minClearance])
+}
+
+/// Eine gespeicherte Suche. Die mitgelieferten Ansichten stehen im Programm,
+/// hier stehen nur die selbst angelegten.
+model SavedView {
+  id        String   @id @default(uuid(7))
+  userId    String
+  name      String
+  /// Die Filter als Abfrageparameter, so wie sie in der Adresse stehen.
+  query     String
+  sortOrder Int      @default(0)
+  createdAt DateTime @default(now())
+
+  user User @relation(fields: [userId], references: [id], onDelete: Cascade)
+
+  @@index([userId, sortOrder])
+}
+
 /// Lebenszeichen der Dienste, die nicht im Web-Container laufen. Der Worker
 /// schreibt hier seinen Gateway-Zustand hinein, damit /api/health ihn pruefen
 /// kann, ohne Discord zu befragen. Siehe docs/11-betrieb.md.