# -*- coding: utf-8 -*- """Pruefstand fuer die ZWEI Regeln, um die es dem Programm eigentlich geht: 1. Eine Rechnungsnummer wird nie zweimal vergeben. 2. Eine ausgestellte Rechnung wird nie veraendert und nie geloescht. Warum es diesen Pruefstand gibt: pruef_storno.py lief 100x gruen und pruefte trotzdem keine der beiden Regeln - er ging immer nur den gluecklichen Weg mit sauber hochgezaehltem Zaehler. Ein Mutationstest hat gezeigt, dass man BEIDE Sperren gegen die doppelte Nummer ausbauen kann, ohne dass er rot wird. Darum hier: - Der Bestand wird ueber PRUEFSUMMEN verglichen, nicht ueber os.path.exists. Eine Datei, die noch da ist, kann trotzdem veraendert worden sein. - Die Nummer wird von HAND ins Feld getippt, so wie es der Nutzer tut. - Unbekannte Dialoge lassen den Lauf scheitern, statt still "Nein" zu sagen. """ import hashlib import json import os import shutil import sys import tempfile QUELLE = r"C:\claude\rechnungstool" sys.path.insert(0, QUELLE) tmp = tempfile.mkdtemp(prefix="kern_pruef_") ordner = os.path.join(tmp, "rechnungen") os.makedirs(ordner) import config # noqa: E402 shutil.copy(os.path.join(QUELLE, "config.json"), os.path.join(tmp, "config.json")) config.CONFIG_PATH = os.path.join(tmp, "config.json") roh = json.load(open(config.CONFIG_PATH, encoding="utf-8")) roh["rechnung_jahr"], roh["rechnung_zaehler"] = 2026, 0 # Der Erststart-Zustand gehoert dem Pruefstand, nicht der config des # Entwicklerrechners: sonst laeuft er in einen anderen Zweig, sobald hier # jemand die Nummer einmal eingerichtet hat. roh["nummer_eingerichtet"] = False roh["output_dir"] = ordner json.dump(roh, open(config.CONFIG_PATH, "w", encoding="utf-8"), ensure_ascii=False) # Kein Erststart-Dialog im Pruefstand - er wuerde den Lauf haengen lassen. os.environ["CAMPINGHOF_TEST"] = "1" import app as A # noqa: E402 import bestand as BE # noqa: E402 from tkinter import messagebox # noqa: E402 # --- Reissleine --------------------------------------------------------- # Ein Pruefstand darf NIE haengen. Bleibt er in einem Dialog stehen (etwa weil # eine Aenderung eine neue Frage eingefuehrt hat), bricht er nach zwei Minuten # von selbst ab, statt ein Fenster offen zu lassen, auf das niemand klickt. import threading as _th from pruefhelfer import fehler, pruefe def _reissleine(): import os as _os print("ABBRUCH | Pruefstand haengt (Zeitgrenze) - vermutlich ein Dialog, " "der nicht beantwortet wird") _os._exit(2) _wecker = _th.Timer(120, _reissleine) _wecker.daemon = True _wecker.start() # ---- Dialoge: jede Frage muss angemeldet sein -------------------------------- antworten = {} gefragt = [] meldungen = [] def askyesno(titel, text="", **kw): gefragt.append(titel) for schluessel, wert in antworten.items(): if schluessel in titel: return wert # Kein stilles "Nein": sonst haelt der Pruefstand einen abgebrochenen # Ablauf faelschlich fuer ein Ergebnis. raise AssertionError(f"unangemeldeter Dialog: {titel!r} — {text[:80]!r}") # Die Freigabe vor dem Beleg (§ 14 UStG) wird bewusst bejaht - geprueft wird hier # der Ablauf DANACH. Dass ein "Nein" keinen Beleg erzeugt, prueft pruef_freigabe.py. antworten["jetzt erstellen?"] = True # Der Erprobungshinweis wird hier bejaht - geprueft wird er in pruef_hinweis.py. antworten["Erprobungsfassung"] = True messagebox.askyesno = askyesno messagebox.showinfo = lambda *a, **k: meldungen.append(("info", a[0] if a else "")) messagebox.showwarning = lambda *a, **k: meldungen.append(("warnung", a[0] if a else "")) messagebox.showerror = lambda *a, **k: meldungen.append(("fehler", a[0] if a else "")) def bestand_lesen(): """Pruefsumme je PDF im Ordner - erkennt auch stille Aenderungen am Inhalt.""" stand = {} for name in sorted(os.listdir(ordner)): if name.lower().endswith(".pdf"): with open(os.path.join(ordner, name), "rb") as f: stand[name] = hashlib.sha256(f.read()).hexdigest() return stand def unveraendert(vorher, ausser=()): """Alle Dateien aus sind byteweise unveraendert (bis auf ).""" jetzt = bestand_lesen() for name, summe in vorher.items(): if name in ausser: continue if jetzt.get(name) != summe: return False, (f"{name} " + ("ist weg" if name not in jetzt else "wurde verändert")) return True, "" def kunde_setzen(vor, nach, tage="2"): f.k_vorname.set(vor) f.k_name.set(nach) f.k_strasse.set("Musterweg 1") f.k_plzort.set("12345 Musterstadt") f.anzahl_vars[erste].set(tage) f.update() f = A.RechnungsApp() f.update() f.cfg["output_dir"] = ordner erste = sorted(f.anzahl_vars)[0] antworten["Fertig"] = False # "jetzt oeffnen?" immer nein antworten["endgültig erstellen"] = True # die Sicherheitsfrage bejahen # ---- Die Sicherheitsfrage muss auch wirklich abbrechen ---------------------- # "Sind alle Angaben richtig?" ist die letzte Gelegenheit vor dem Beleg. Sagt # der Nutzer Nein, darf NICHTS entstehen - sonst waere die Frage eine Attrappe. # Aus der Sicherheitsfrage ist das Auswahlfenster geworden (Rechnung oder # Proforma). "Abbrechen" heisst dort: gar nichts schreiben. f._testwahl = None kunde_setzen("Test", "Abbruch", "1") f.pdf_erstellen() pruefe(not [n for n in os.listdir(ordner) if n.lower().endswith(".pdf")], "bei „Nein“ auf die Sicherheitsfrage entsteht keine PDF") f._testwahl = "rechnung" # ---- Ausgangslage: zwei echte Rechnungen ------------------------------------ kunde_setzen("Anna", "Beispiel", "4") f.pdf_erstellen() kunde_setzen("Bernd", "Zweit", "3") f.pdf_erstellen() pruefe(sorted(bestand_lesen()) == ["Rechnung_2026-001_Beispiel.pdf", "Rechnung_2026-002_Zweit.pdf"], f"zwei Rechnungen angelegt ({sorted(bestand_lesen())})") # ============================================================================= # REGEL 1: eine Nummer nie zweimal - auch nicht, wenn sie von Hand kommt # ============================================================================= print("--- Regel 1: Nummer von Hand auf eine vergebene setzen ---") vorher = bestand_lesen() gefragt.clear() antworten["Rechnungsnummer schon vergeben"] = True # "naechste freie nehmen?" kunde_setzen("Carla", "Dritt", "1") f.r_nummer.set("2026-001") # genau das tut der Nutzer von Hand f.update() f.pdf_erstellen() pruefe(any("schon vergeben" in t for t in gefragt), f"Programm meldet die vergebene Nummer ({gefragt})") ok, warum = unveraendert(vorher) pruefe(ok, f"die beiden alten Rechnungen sind byteweise unverändert ({warum})") pruefe(os.path.exists(os.path.join(ordner, "Rechnung_2026-003_Dritt.pdf")), "die neue Rechnung bekam die nächste FREIE Nummer 2026-003") pruefe(f.r_nummer.get() != "2026-001", f"Feld zeigt nicht mehr die alte Nummer ({f.r_nummer.get()})") print("--- Regel 1: Nutzer lehnt die Ausweichnummer ab ---") vorher = bestand_lesen() antworten["Rechnungsnummer schon vergeben"] = False kunde_setzen("Doris", "Vier", "1") f.r_nummer.set("2026-002") f.update() f.pdf_erstellen() ok, warum = unveraendert(vorher) pruefe(ok and bestand_lesen() == vorher, f"bei Nein wird gar nichts geschrieben und nichts verändert ({warum})") print("--- Regel 1: Zähler steht HINTER dem Ordner (config aus dem Backup) ---") f.cfg["rechnung_zaehler"] = 0 # so sieht eine zurückgespielte config aus f.berichtigung_stand = None f.storno_stand = None f._neue_nummer_vorschlagen() pruefe(f.r_nummer.get() == "2026-004", f"Vorschlag überspringt die belegten Nummern ({f.r_nummer.get()})") print("--- Regel 1: der Zähler darf nur vorwärts ---") # Zweite Verteidigungslinie hinter dem Ordner-Abgleich: wer von Hand eine # niedrigere freie Nummer nimmt, darf den Zähler nicht zurückdrehen - sonst # schlägt das Programm die dazwischenliegenden Nummern ein zweites Mal vor. kunde_setzen("Emil", "Hoch", "1") f.r_nummer.set("2026-009") f.update() f.pdf_erstellen() pruefe(f.cfg["rechnung_zaehler"] == 9, f"Zähler steht auf 9 ({f.cfg['rechnung_zaehler']})") kunde_setzen("Frida", "Tief", "1") f.r_nummer.set("2026-007") f.update() f.pdf_erstellen() pruefe(os.path.exists(os.path.join(ordner, "Rechnung_2026-007_Tief.pdf")), "die niedrigere freie Nummer 2026-007 wurde geschrieben") pruefe(f.cfg["rechnung_zaehler"] == 9, f"Zähler bleibt auf 9, fällt NICHT auf 7 zurück ({f.cfg['rechnung_zaehler']})") f._neue_nummer_vorschlagen() pruefe(f.r_nummer.get() == "2026-010", f"nächster Vorschlag ist 2026-010, keine schon vergebene ({f.r_nummer.get()})") print("--- Regel 1: Jahreswechsel - beide Quellen müssen dasselbe sagen ---") f.cfg["rechnung_jahr"] = 2025 f.cfg["rechnung_zaehler"] = 87 f._neue_nummer_vorschlagen() vom_formular = f.r_nummer.get() vom_storno = BE.naechste_freie_nummer(ordner, f.cfg) pruefe(vom_formular == vom_storno, f"Formular und Storno-Weg schlagen dieselbe Nummer vor ({vom_formular} / {vom_storno})") pruefe(vom_formular.startswith("2026-"), f"neues Jahr fängt im aktuellen Jahr an ({vom_formular})") f.cfg["rechnung_jahr"], f.cfg["rechnung_zaehler"] = 2026, 3 config.save_config(f.cfg) # ============================================================================= # REGEL 2: ausgestellte Rechnung nie anfassen # ============================================================================= print("--- Regel 2: Storno über den Dialogknopf, nicht über die interne Methode ---") vorher = bestand_lesen() gefragt.clear() f.dlg_storno() f.update() import tkinter as tk # noqa: E402 from tkinter import ttk # noqa: E402 dlg = [w for w in f.winfo_children() if isinstance(w, tk.Toplevel)][-1] feld = knopf = None for rahmen in dlg.winfo_children(): for w in rahmen.winfo_children(): if isinstance(w, ttk.Entry): feld = w elif isinstance(w, ttk.Frame): for b in w.winfo_children(): if isinstance(b, ttk.Button) and "Storno erstellen" in str(b.cget("text")): knopf = b pruefe(feld is not None and knopf is not None, "Storno-Dialog hat Feld und Knopf") feld.delete(0, "end") feld.insert(0, "2026-001") knopf.invoke() # der ECHTE Weg, nicht _storno_anlegen() f.update() pruefe(f.storno_stand is not None and f.storno_stand["zu"] == "2026-001", f"der Knopf hat wirklich ein Storno gestartet ({f.storno_stand})") storno_datei = os.path.basename(f.storno_stand["pfad"]) if f.storno_stand else "" ok, warum = unveraendert(vorher) pruefe(ok, f"alle bisherigen Rechnungen unverändert ({warum})") print("--- Regel 2: was steht auf dem Storno-Blatt? ---") from pypdf import PdfReader # noqa: E402 text = PdfReader(f.storno_stand["pfad"]).pages[0].extract_text() pruefe("Stornorechnung" in text, "Überschrift „Stornorechnung“ steht drauf") pruefe("2026-001" in text, "Bezug auf die alte Nummer steht drauf") # pypdf legt jeden Tabellenwert in eine eigene Zeile - die Betraege stehen also # NACH ihrer Beschriftung, nicht daneben. zeilen = text.splitlines() def betraege_nach(label, wieviele=6): """Die Zahlenwerte, die auf die Zeile mit