Mini-API, Push vom Rechnungstool, Proforma wird nicht gebucht

Das Journal macht beim Start einen winzigen Server auf 127.0.0.1 auf und traegt
Port und PID in die gemeinsame SQLite ein (Tabelle "laeuft"). Das Rechnungstool
sieht daran, dass jemand zuhoert, und klopft nach jeder Rechnung an: "schau in
die sqlite". Dann wird sofort nachgelesen, statt bis zum naechsten Durchgang zu
warten. Faellt die API aus, findet die Wache die Meldung trotzdem - ein os.stat
auf die eine Datei, alle zwei Sekunden und sofort beim Zurueckklicken.

Die Proforma-Rechnung wird NICHT gebucht: keine_buchung() kennt jetzt
Berichtigung und Proforma. Der Scan fragt wieder keine_buchung() - seit dem
Berichtigungs-Umbau tat er das nicht mehr, und die Proforma waere als Buchung
im Journal gelandet (der Pruefstand hat es gefunden).

Pruefstand pruef_wache.py: 31 Pruefungen ueber BEIDE Programme - Anmeldung mit
PID, ping ("hallo, bin noch da"), genau eine Datei im gemeinsamen Ordner, Push
nach Rechnung und nach Storno, Einlesen samt Anzeige, Rueckfallebene ohne API,
tote PID wird weggeraeumt, kein Melden an ein geschlossenes Journal.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GYeAfLtccFrbU3MTj1MMTx

pdf_parser.py

@@ -198,7 +198,12 @@ def keine_buchung(pfad: str) -> bool:
     die es berichtigt, und lauter Nullen. Wer es einliest, ueberschreibt damit
     die echte Buchung - im Amtsbericht fehlt die Uebernachtung dann.
     """
-    return berichtigung_daten(pfad) is not None
+    if berichtigung_daten(pfad) is not None:
+        return True
+    # Die Proforma ist eine unverbindliche Vorab-Aufstellung, kein Umsatz:
+    # gemeldet wird eine Uebernachtung erst, wenn sie abgerechnet ist.
+    kopf = _aus_metadaten(pfad)
+    return bool(kopf and kopf.get("art") == "proforma")
 
 
 def parse_pdf(pfad: str, standard_satz: float = STANDARD_SATZ) -> Buchung: