Suche zeigt alle Arten, nur Arbeitsrollen öffnen die Akte

Punkt 1 und 2 der Wünsche, plus zwei Lücken, die dabei sichtbar wurden.

**Suche.** Wer nach Alvarez sucht, landet auf den Fallakten und erfährt nie,
dass es dazu auch eine Personalakte gibt: die Suche fand sie, aber hinter einem
Reiter, auf den nichts hindeutete. Die Reiter tragen jetzt ihre Trefferzahl,
und ein leeres Ergebnis nennt ausdrücklich, wo etwas liegt.

Dabei fiel auf, dass searchPersonnel das Recht personnel.read nicht prüfte. Die
Kommandopalette tat es, die Aktenseite tat es, die Suche nicht - über
/suche?kind=personnel kam jeder mit ausreichender Stufe an eine Liste aller
Personalakten mit Namen, Dienstgrad und Etiketten. Die Prüfung steht jetzt
dort, wo diese Akten herausgegeben werden. Die Trefferzahl einer Art, die es
für den Nutzer nicht gibt, ist null und nicht 0: eine Null wäre die Auskunft
„hier ist nichts", und die steht ihm nicht zu.

**Täter und Mittäter** als Beteiligtenrollen - und damit wurde eine ältere
Lücke offensichtlich: ein Beteiligter durfte die Akte lesen, gleich in welcher
Rolle. Bei „Betroffener" fiel das nicht auf, bei „Täter" wäre es offensichtlich
falsch. Der Beschuldigte hätte die Ermittlung gegen sich selbst mitgelesen.

Die Beteiligtenliste beantwortet zwei Fragen: wer bearbeitet den Fall, und um
wen geht es darin. Nur die erste ist eine Berechtigung. WORKING_ROLES nennt die
drei, die die Akte öffnen; Zeuge, Betroffener, Täter und Mittäter öffnen
nichts. Das gilt an allen vier Stellen, die auf Beteiligung prüften:
Aktenzugriff, Dokumentzugriff über die besitzende Akte, „meine Fälle" und der
Filter „nur meine".

Zwei bestehende Tests hatten die alte Annahme festgeschrieben und benutzten
WITNESS, um Zugriff zu belegen; sie prüfen jetzt mit INVESTIGATOR.

web/app/(app)/suche/page.tsx

@@ -3,7 +3,12 @@ import Link from 'next/link'
 import { db } from '@/lib/db'
 import { requireUser } from '@/lib/auth/current'
 import { parseFilters, toSearchParams, SEARCH_KINDS } from '@/lib/search/query'
-import { searchCases, searchDocuments, searchPersonnel } from '@/lib/search/service'
+import {
+  searchCases,
+  searchCounts,
+  searchDocuments,
+  searchPersonnel,
+} from '@/lib/search/service'
 import { builtinViews } from '@/lib/search/views'
 import { de } from '@/lib/i18n/de'
 import { StampMark, classificationEdgeStyle } from '@/components/StampMark'
@@ -44,12 +49,17 @@ export default async function SearchPage({
   ])
   const levelName = new Map(levels.map((l) => [l.level, l.name]))
 
-  const ergebnis =
+  const [ergebnis, zahlen] = await Promise.all([
     filters.kind === 'document'
-      ? await searchDocuments(user.permissions, filters)
+      ? searchDocuments(user.permissions, filters)
       : filters.kind === 'personnel'
-        ? await searchPersonnel(user.permissions, filters)
-        : await searchCases(user.permissions, filters)
+        ? searchPersonnel(user.permissions, filters)
+        : searchCases(user.permissions, filters),
+    // Die Zahlen der anderen Arten. Ohne sie sucht man nach einem Namen, landet
+    // auf den Fallakten und erfährt nie, dass es dazu auch eine Personalakte
+    // gibt — der Reiter sieht leer aus wie jeder andere.
+    searchCounts(user.permissions, filters),
+  ])
 
   const statusTags = filters.kind === 'personnel' ? await listStatusTags() : []
 
@@ -64,16 +74,26 @@ export default async function SearchPage({
 
       <SearchBox filters={filters} />
 
-      <nav className="mt-4 flex flex-wrap gap-4 font-condensed text-xs">
-        {SEARCH_KINDS.map((kind) => (
-          <Link
-            key={kind}
-            href={`/suche?${toSearchParams({ ...filters, kind, cursor: undefined })}`}
-            className={kind === filters.kind ? 'text-accent' : undefined}
-          >
-            {de.search.kinds[kind]}
-          </Link>
-        ))}
+      <nav className="mt-4 flex flex-wrap gap-2">
+        {SEARCH_KINDS.map((kind) => {
+          const anzahl = zahlen[kind]
+          // `null` heisst: diese Art gibt es für diesen Nutzer nicht. Dann
+          // fehlt der Reiter, statt eine Null zu zeigen — auch eine Null wäre
+          // eine Auskunft.
+          if (anzahl === null) return null
+
+          return (
+            <Link
+              key={kind}
+              href={`/suche?${toSearchParams({ ...filters, kind, cursor: undefined })}`}
+              aria-current={kind === filters.kind ? 'page' : undefined}
+              className="btn btn-sm"
+            >
+              {de.search.kinds[kind]}
+              <span className="font-mono text-text-dim">{anzahl}</span>
+            </Link>
+          )
+        })}
       </nav>
 
       <SavedViews
@@ -116,9 +136,26 @@ export default async function SearchPage({
       ) : null}
 
       {ergebnis.hits.length === 0 ? (
-        <p className="mt-10 text-text-dim">
-          {filters.q ? de.search.empty : de.search.emptyNoQuery}
-        </p>
+        <div className="mt-10">
+          <p className="text-text-dim">
+            {filters.q ? de.search.empty : de.search.emptyNoQuery}
+          </p>
+          {/* Wo sonst noch etwas liegt. Der leere Reiter allein liesse den
+              Eindruck, es gebe zu diesem Begriff nichts. */}
+          <div className="mt-3 flex flex-wrap gap-2">
+            {SEARCH_KINDS.filter(
+              (kind) => kind !== filters.kind && (zahlen[kind] ?? 0) > 0,
+            ).map((kind) => (
+              <Link
+                key={kind}
+                href={`/suche?${toSearchParams({ ...filters, kind, cursor: undefined })}`}
+                className="btn btn-sm btn-primary"
+              >
+                {de.search.elsewhere(de.search.kinds[kind]!, zahlen[kind]!)}
+              </Link>
+            ))}
+          </div>
+        </div>
       ) : (
         <ul className="mt-6 border-t border-line">
           {ergebnis.hits.map((treffer) => (