Workspace: neue Rolle Manager, feste Rollenreihenfolge, echte Rollenwahl

DREI TEILE.

1) ROLLE "MANAGER"

Ein Manager darf alles, was DogFather darf -- mit genau zwei
Vorbehalten: Er kann keine Leitung ANLEGEN und an keiner Leitung etwas
AENDERN. Sonst koennte er sich einen zweiten Vollzugang schaffen oder
DogFather aussperren. "Nur DogFather hat alle endgueltigen Rechte"
heisst genau das.

Umgesetzt ueber istLeitung() an EINER Stelle statt 44 einzelner
Vergleiche auf "admin" im Server und 26 im Browser.

DATENBANK-UMSTELLUNG: CREATE TABLE IF NOT EXISTS fasst eine vorhandene
Tabelle nicht an -- die CHECK-Regel stand also weiter auf den alten drei
Rollen, und ein Manager waere daran gescheitert, obwohl der Code stimmt.
SQLite kann eine CHECK-Regel nicht aendern, also: neue Tabelle, Daten
hinueber, alte weg, umbenennen. Davor schreibt der Server eine
vollstaendige Sicherung (VACUUM INTO, in sich konsistent). Ohne
Sicherung wird NICHT umgestellt.

Geprueft nach der Umstellung: alle 13 Tabellen mit gleicher Zeilenzahl,
PRAGMA integrity_check ok, keine verwaisten Verweise. Die einzige
Abweichung war eine Sitzung mehr -- die eigene Anmeldung, die die
Umstellung ausgeloest hat.

2) EIN SICHERHEITSLOCH, DAS DER TEST GEFUNDEN HAT

Der erste Entwurf sicherte "Person anlegen" und "Person sperren" ab --
und liess "neuer Zugangscode" offen. Ein Manager konnte DogFather einen
neuen Code ausstellen, bekam ihn angezeigt und haette ihn damit aus
seinem eigenen Konto ausgesperrt. Im Test aufgefallen, weil ich den
negativen Fall durchgespielt habe.

Behoben nicht durch eine dritte Einzelpruefung, sondern durch eine
Schranke an JEDEM Weg mit einer :id. Der naechste Weg, der dazukommt,
ist damit automatisch mitgeschuetzt.

Nachgeprueft: Manager bekommt 403 beim Code-Erneuern und Sperren von
DogFather UND von sich selbst, darf aber Creator und Scouts verwalten.

3) FOLGEFEHLER DER MASSENERSETZUNG

Die Regel "niemals den letzten aktiven DogFather sperren" hatte durch
die Umstellung auf istLeitung() ploetzlich auch Manager blockiert --
gezaehlt werden aber nur DogFather-Zugaenge. Jetzt istDogFather().
Geprueft: DogFather kann einen Manager sperren, sich selbst nicht.

4) REIHENFOLGE UND ROLLENWAHL

Ueberall DogFather, Manager, Scout, Creator. "ORDER BY rolle" waere
alphabetisch gewesen (admin, creator, manager, scout) -- also fast genau
falsch herum. Jetzt ein gemeinsamer Sortierausdruck aus workspace.js.

Das Auswahlmenue fuer die Rolle ist weg. Es kam als weisses
Windows-Menue mitten in einer dunklen Oberflaeche und schnitt "Creator"
zu "Crea" ab -- gestalten laesst sich ein aufgeklapptes Systemmenue
nicht. Ersetzt durch vier sichtbare Schalter mit Symbol, Farbe je Rolle
und einer Zeile, was die Rolle bedeutet. Bei "Manager" gegen
"DogFather" ist das der Unterschied zwischen Raten und Wissen.

DogFather und Manager stehen dort nur zur Wahl, wenn DogFather selbst
davorsitzt -- ein Knopf, der immer scheitert, gehoert nicht hin.

Nebenbei: Das Namensfeld war auf eine von zwoelf Spalten gequetscht, weil
seine Umgebung keine .feld-Klasse trug. Alle Formulare daraufhin
durchsucht, keine weiteren Faelle.

server/workspace-dateien.js

@@ -29,7 +29,7 @@ import { randomBytes } from "node:crypto";
 import { join, extname, basename } from "node:path";
 import { mkdirSync, createReadStream, writeFileSync, unlinkSync, statSync } from "node:fs";
 import {
-  db, protokolliere, echteIp, sitzungLesen, DATEN_ORDNER, betreutWo, darfCreator, betreuteIds,
+  db, protokolliere, echteIp, sitzungLesen, DATEN_ORDNER, betreutWo, darfCreator, betreuteIds, istLeitung, ROLLEN_SORTIERUNG,
 } from "./workspace.js";
 
 export const dateienRouter = express.Router();
@@ -68,7 +68,7 @@ dateienRouter.use("/workspace/api/dateien", angemeldet);
 /* Sichtbarkeit wie überall: an einer Stelle, damit keine Abfrage sie
    vergisst. */
 export function sichtbar(person) {
-  if (person.rolle === "admin") return { wo: "1=1", werte: [] };
+  if (istLeitung(person)) return { wo: "1=1", werte: [] };
 
   /* Ausdrueckliche Freigabe -- gilt fuer jede Rolle gleich. Wer in der
      Liste steht, sieht die Datei, egal ob Creator oder Scout. */
@@ -96,7 +96,7 @@ export function freigabenZu(ids) {
     SELECT dp.datei_id, p.id, p.name, p.rolle
     FROM datei_personen dp JOIN personen p ON p.id = dp.person_id
     WHERE dp.datei_id IN (${platz})
-    ORDER BY p.rolle, p.name`).all(...ids)) {
+    ORDER BY ${ROLLEN_SORTIERUNG.replace('rolle', 'p.rolle')}, p.name`).all(...ids)) {
     if (!karte.has(z.datei_id)) karte.set(z.datei_id, []);
     karte.get(z.datei_id).push({ id: z.id, name: z.name, rolle: z.rolle });
   }
@@ -108,9 +108,9 @@ export function freigabenZu(ids) {
    betreut -- sonst koennte er sich ueber eine Freigabe Zugang zu
    fremden Bereichen verschaffen. */
 export function moeglicheEmpfaenger(person) {
-  if (person.rolle === "admin") {
+  if (istLeitung(person)) {
     return db().prepare(
-      "SELECT id, name, rolle FROM personen WHERE aktiv = 1 AND id <> ? ORDER BY rolle, name")
+      "SELECT id, name, rolle FROM personen WHERE aktiv = 1 AND id <> ? ORDER BY " + ROLLEN_SORTIERUNG + ", name")
       .all(person.id);
   }
   if (person.rolle === "scout") {
@@ -224,7 +224,7 @@ dateienRouter.post("/workspace/api/dateien",
           }
           creatorId = w;
         }
-      } else if (req.person.rolle === "admin") {
+      } else if (istLeitung(req.person)) {
         const w = req.get("x-creator");
         if (w) {
           const z = Number(w);
@@ -353,10 +353,10 @@ dateienRouter.patch("/workspace/api/dateien/:id", gleicheHerkunft, (req, res) =>
       if (!STATUS.includes(req.body.status)) return res.status(400).json({ fehler: "Unbekannter Status." });
       /* "freigegeben" ist eine Abnahme -- die trifft laut Konzept das
          Management, nicht der, der die Datei hochgeladen hat. */
-      if (req.body.status === "freigegeben" && req.person.rolle !== "admin") {
+      if (req.body.status === "freigegeben" && !istLeitung(req.person)) {
         return res.status(403).json({ fehler: "Freigeben darf nur DogFather." });
       }
-      if (datei.status === "freigegeben" && req.person.rolle !== "admin") {
+      if (datei.status === "freigegeben" && !istLeitung(req.person)) {
         return res.status(403).json({ fehler: "Freigegebene Dateien ändert nur DogFather." });
       }
       setz.push("status = ?"); daten.push(req.body.status);
@@ -395,7 +395,7 @@ dateienRouter.delete("/workspace/api/dateien/:id", gleicheHerkunft, (req, res) =
        WHERE ${wo} AND d.id = ?`).get(...werte, id);
     if (!datei) return res.status(404).json({ fehler: "nicht_gefunden" });
 
-    if (req.person.rolle !== "admin") {
+    if (!istLeitung(req.person)) {
       if (datei.hochgeladen_von !== req.person.id) {
         return res.status(403).json({ fehler: "nicht_erlaubt" });
       }