Abzeichen am App-Symbol - und die Zahl gehoert zu einem Haus

Die kleine Zahl auf dem Symbol des Startbildschirms. Sie fehlte ganz;
setAppBadge kam im Haus kein einziges Mal vor.

ZWEI ENTSCHEIDUNGEN

Sie zaehlt ungelesene Nachrichten und nichts sonst. Ein Abzeichen
muss weggehen koennen: Nachrichten verschwinden, sobald man sie
liest; eine ueberfaellige Aufgabe verschwindet nicht dadurch, dass
man die App oeffnet. Eine Zahl, die dauerhaft dasteht, ist nach drei
Tagen kein Hinweis mehr, sondern ein Fleck.

Und sie hat EINE Quelle. Im Browser haengt sie an chatZahlZeigen() -
der einen Stelle, an der die Zahl ohnehin gesetzt wird (beim Laden,
aus dem Ereignisstrom, beim Lesen). Fuer die geschlossene App - wo
das Abzeichen ueberhaupt erst etwas wert ist - reist dieselbe Zahl in
der Benachrichtigung mit. Der Service Worker setzt sie nur, wenn eine
dabei ist: Eine Aufgabenerinnerung mit "0" haette dem Chat sein
Abzeichen weggenommen.

DER FUND NEBENBEI

Beim Herausloesen der Abfrage fiel auf, dass sie nie nach dem Haus
gefragt hat - die Raumliste zwanzig Zeilen darueber tut es laengst.
Gemessen: Eine Managerin schreibt DogFather an der Agenturwand an,
sein Zaehler auf crew. springt von 0 auf 1. Seit dem 24.09. soll das
nicht mehr sein. Aufgefallen ist es erst jetzt, weil dieselbe Zahl ab
heute auf dem Startbildschirm steht - und eine Zahl, die etwas
Falsches zeigt, ist schlimmer als keine.

Behoben ueber hausWo(); die Meldung nimmt das Haus des Raums, aus dem
sie stammt.

GEPRUEFT

server/pruef-abzeichen.mjs, 19 Messungen am echten Weg: ein
nachgebauter Browser macht die Benachrichtigung mit seinem privaten
Schluessel auf und liest die Zahl heraus. Mit Gegenproben - ohne Zahl
kommt keine mit, NaN rutscht nicht durch, eine echte Sieben schon.
Und Abschnitt 7 wird rot, sobald man die Hausregel wieder herausnimmt
(nachgestellt).

Zwei eigene Messfehler unterwegs, beide im Text festgehalten: eine
Suche, die im Kommentar landete statt im Code (jetzt ueber
jsOhneKommentar), und Aufrufe ohne Host-Feld - ueber 127.0.0.1 gibt
es kein Haus, die Pruefung mass also eine Regel an einer Verbindung,
die sie gar nicht kennt.

helfer-push-aufmachen.mjs: das Entschluesseln stand als lokale
Funktion in pruef-push-weg; zwei Abschriften waeren die, die
auseinanderlaufen.

Nachbarlaeufe gruen: push, push-ziel, push-weg (17 unveraendert),
arten, portnummern, struktur, chat, chat-kanaele, chatkachel, anruf,
haus-trennung, zwischenspeicher.

Co-Authored-By: Claude Opus 5 <[email protected]>

server/workspace-chat.js

@@ -3636,7 +3636,25 @@ async function meldeNeueNachricht(personId, raumId, nachricht, art = "neu") {
          es demjenigen, der ruft; im Protokoll steht, wer das war. */
       : (art === "erwaehnung" || art === "rudel") ? "chat_erwaehnung"
       : "chat_nachricht";
-    await benachrichtige(personId, pushArt, pushTextFuer(art, nachricht, raumId));
+    /* DIE ZAHL GEHT MIT (30.09.2026). Der Service Worker setzt damit
+       das Abzeichen am App-Symbol — und zwar genau dann, wenn es
+       etwas wert ist: bei geschlossener App. Ist die Seite offen,
+       steht die Zahl ohnehin am Chat-Knopf.
+
+       Sie wird HIER gerechnet und nicht im Push-Modul: Was ungelesen
+       ist, weiß der Chat. Und andersherum wäre es ein Kreis — dieses
+       Modul holt sich das Push-Modul, nicht umgekehrt. */
+    /* DAS HAUS KOMMT VOM RAUM (30.09.2026). Auf welcher Adresse das
+       Geraet installiert wurde, weiss hier niemand -- wohl aber, aus
+       welchem Haus die Nachricht stammt, die gerade eine Meldung
+       ausloest. Genau dessen Zahl gehoert aufs Abzeichen: Eine
+       Meldung aus dem Crew-Chat darf keine Agenturzahl tragen. */
+    const raumHaus = db().prepare("SELECT haus FROM chat_raeume WHERE id = ?")
+      .get(raumId)?.haus || null;
+    await benachrichtige(personId, pushArt, {
+      ...pushTextFuer(art, nachricht, raumId),
+      zahl: ungeleseneZahl({ id: personId, haus: raumHaus }),
+    });
   } catch (fehler) {
     console.error("[chat] Benachrichtigung:", fehler?.message);
   }
@@ -3682,15 +3700,50 @@ chatRouter.get("/workspace/api/chat/strom", (req, res) => {
 
 /** Wie viele Nachrichten warten insgesamt auf mich?
  *  Für die Zahl in der Kopfleiste -- eine Abfrage statt einer je Raum. */
+/** Wie viele Nachrichten hat diese Person in DIESEM Haus nicht gelesen?
+ *
+ *  ALS FUNKTION UND NICHT NUR ALS WEG (30.09.2026): Dieselbe Zahl
+ *  braucht seit heute auch die Benachrichtigung — sie geht in die
+ *  Nachricht mit, damit der Service Worker das Abzeichen am
+ *  App-Symbol setzen kann, während die App geschlossen ist. Zweimal
+ *  abgeschrieben wäre sie die Zahl, die irgendwann abweicht.
+ *
+ *  ==== UND SIE ZÄHLT NUR EIN HAUS (30.09.2026) =====================
+ *
+ *  Hier stand keine Hausregel — die Abfrage verband Nachrichten und
+ *  Teilnehmer und fragte nie, wohin der Raum gehört. Zwanzig Zeilen
+ *  weiter oben macht es die Raumliste längst richtig
+ *  (`hausWo(req.person, "r")`); diese eine Zählung war seit dem
+ *  24.09.2026 daran vorbeigelaufen.
+ *
+ *  GEMESSEN, NICHT VERMUTET (pruef-abzeichen, Abschnitt 7): Eine
+ *  Managerin schreibt DogFather an der Agenturwand an. Sein Zähler
+ *  auf crew. sprang von 0 auf 1 — eine Auskunft über das andere
+ *  Haus, genau das, was seit dem 24.09. nicht mehr sein soll.
+ *
+ *  Aufgefallen ist es erst beim Abzeichen: Bis heute war das eine
+ *  Zahl an einem Knopf, ab heute steht sie auf dem Startbildschirm.
+ *  Eine Zahl, die etwas Falsches zeigt, ist schlimmer als keine —
+ *  man glaubt ihr ja.
+ *
+ *  `person` STATT `personId`: `hausWo` braucht das Haus, und das
+ *  hängt an der Adresse, auf der gerade gearbeitet wird, nicht an der
+ *  Person. Ein Raum ohne Haus (aus der Zeit davor) zählt weiterhin
+ *  überall — dieselbe Regel wie in der Raumliste. */
+export function ungeleseneZahl(person) {
+  const z = db().prepare(`
+    SELECT COUNT(*) AS n FROM chat_nachrichten m
+      JOIN chat_teilnehmer t ON t.raum_id = m.raum_id AND t.person_id = ?
+      JOIN chat_raeume r ON r.id = m.raum_id
+     WHERE t.raus_am IS NULL AND m.id > t.gelesen_bis AND m.id > t.geloescht_bis
+       AND m.person_id <> ?
+       AND ${hausWo(person, "r")}`).get(person.id, person.id);
+  return z?.n || 0;
+}
+
 chatRouter.get("/workspace/api/chat/ungelesen", (req, res) => {
   try {
-    const z = db().prepare(`
-      SELECT COUNT(*) AS n FROM chat_nachrichten m
-        JOIN chat_teilnehmer t ON t.raum_id = m.raum_id AND t.person_id = ?
-       WHERE t.raus_am IS NULL AND m.id > t.gelesen_bis AND m.id > t.geloescht_bis
-         AND m.person_id <> ?`)
-      .get(req.person.id, req.person.id);
-    res.json({ ungelesen: z?.n || 0 });
+    res.json({ ungelesen: ungeleseneZahl(req.person) });
   } catch (fehler) {
     console.error("[chat] Ungelesen:", fehler?.message);
     res.status(503).json({ fehler: "nicht_verfuegbar" });