Phase 1: Anmeldung, Rechte und Rollenverwaltung

Auth.js übernimmt nur den OAuth-Ablauf mit state und PKCE, Scope identify. Das
Zugangstoken des Nutzers wird danach verworfen: die Rollen holt der Bot mit
seinem eigenen Token. Die Sitzung steht in der Datenbank, im Cookie liegt nur
userId und sessionId. Ohne die Zeile in Session ist das Cookie wertlos, und nur
so lässt sich eine Sitzung zurückziehen.

Wer sich anmelden darf, steckt in lib/auth/signInPolicy.ts statt im Callback:
das ist die Regel, an der alles hängt, und sie gehört einzeln prüfbar. Kein
Guild-Mitglied, kein Zugang. Keine Rolle mit grantsMembership, kein Zugang.
Notfall-Admins umgehen die Rolle, aber nicht die Guild-Mitgliedschaft.

RoleMapping trägt jetzt grantsMembership, category und isPresent. Der Worker
spiegelt jede Rolle der Guild hierher, damit im Adminbereich nichts von Hand
eingetragen werden muss. Gelöschte Rollen werden nicht entfernt, sondern auf
isPresent = false gesetzt: beim Umzug auf den echten Server bleiben sie als
Vorlage stehen.

Der Worker gleicht über Gateway-Ereignisse und zusätzlich alle fünf Minuten
voll ab. Verliert jemand seine AfiS-Rolle, beendet er dessen Sitzungen sofort
und setzt isActive auf false — der Datensatz bleibt, damit Autorenangaben in
alten Akten gültig bleiben. Das passiert im Worker und nicht in der Web-App,
weil es dort erst beim nächsten Request des Betroffenen griffe.

Zwei Widersprüche der Dokumente aufgelöst, festgehalten in
docs/13-entscheidungen.md: der Ausschluss schlägt auch den Admin (das
Codebeispiel in 03-auth-und-rechte.md übergeht ihn, die Reihenfolge eine Zeile
darüber nicht), und versiegelte Akten fallen im Where-Fragment heraus statt in
einer Prüfung danach.

45 Tests, davon die Negativfälle aus docs/03 gegen eine echte Datenbank: Stufe 2
sieht die Stufe-4-Akte nicht und findet sie auch nicht in der Trefferzahl, ein
Ausgeschlossener mit Stufe 5 kommt nicht heran, ein Rollenentzug beendet die
Sitzungen, und ein Ausfall der Discord-API sieht nicht aus wie eine verweigerte
Mitgliedschaft.

web/lib/access/caseFilter.ts

@@ -0,0 +1,62 @@
+import type { Prisma } from '@afis/db'
+import type { EffectivePermissions } from '@/lib/auth/permissions'
+
+/**
+ * Where-Fragment für alle Akten, die ein Nutzer lesen darf.
+ *
+ * **Die Prüfung wird nie in JavaScript nachgelagert.** Trefferzahlen und
+ * Paginierung laufen über dieselbe Abfrage, damit sich aus Lücken nichts
+ * ableiten lässt. Siehe docs/03-auth-und-rechte.md.
+ *
+ * Reihenfolge nach dem Dokument, erste zutreffende Regel gewinnt:
+ *  1. Ausschluss → kein Zugriff, egal welche Stufe
+ *  2. Admin → Zugriff
+ *  3. Beteiligter → Zugriff
+ *  4. Stufe reicht → Zugriff
+ *  5. sonst kein Zugriff
+ *
+ * Der Ausschluss steht auch über dem Admin. Das Codebeispiel im Dokument gibt
+ * für Admins `{}` zurück und übergeht ihn damit — das widerspricht der
+ * Reihenfolge eine Zeile darüber. Hier gilt die Reihenfolge: der Ausschluss
+ * deckt gerade den Fall ab, dass gegen einen hochrangigen Mitarbeiter
+ * ermittelt wird, und der Administrator ist einer.
+ * Siehe docs/13-entscheidungen.md.
+ */
+export function visibleCaseWhere(p: EffectivePermissions): Prisma.CaseWhereInput {
+  const notExcluded: Prisma.CaseWhereInput = {
+    exclusions: { none: { userId: p.userId } },
+  }
+
+  if (p.isAdmin) return notExcluded
+
+  const conditions: Prisma.CaseWhereInput[] = [
+    notExcluded,
+    {
+      OR: [
+        { participants: { some: { userId: p.userId } } },
+        { classification: { lte: p.clearanceLevel } },
+      ],
+    },
+  ]
+
+  // Versiegelte Akten sind nur mit Recht 'admin' oder Stufe 5 lesbar.
+  // Siehe docs/05-akten-und-vorlagen.md, Lebenszyklus.
+  if (p.clearanceLevel < 5) {
+    conditions.push({ status: { not: 'SEALED' } })
+  }
+
+  return { AND: conditions }
+}
+
+/**
+ * Dasselbe für Verlaufseinträge: die Akte muss lesbar sein **und** die
+ * Feldstufe des Eintrags darf die Stufe des Lesers nicht übersteigen.
+ */
+export function visibleEntryWhere(p: EffectivePermissions): Prisma.CaseEntryWhereInput {
+  if (p.isAdmin) {
+    return { case: visibleCaseWhere(p) }
+  }
+  return {
+    AND: [{ case: visibleCaseWhere(p) }, { minClearance: { lte: p.clearanceLevel } }],
+  }
+}