TerminalBasic/openspec/changes/archive/2026-09-06-phase-5-06-debugger-und-direktfenster/verification.md

Verification Report: phase-5-06-debugger-und-direktfenster

Stand: 2026-09-06. Proposal, Design, alle 16 Aufgaben und alle sieben Anforderungen mit elf Szenarien wurden gegen die Implementierung geprüft.

Ergebnis

Dimension	Ergebnis
Completeness	16/16 Aufgaben, 7/7 Anforderungen
Correctness	11/11 Spec-Szenarien durch ausführbare Prüfungen abgedeckt
Coherence	Gemeinsamer Compiler, dieselbe VM, vorhandene Dokument-/Sitzungspfade
Offene Befunde	0 CRITICAL, 0 WARNING, 0 SUGGESTION

Anforderungen und Szenarien

VM-Nachweise: crates/tb-vm/tests/debugger.rs (14 Integrationstests). IDE-Nachweise: crates/tb-ide/tests/debugger.rs (6 Integrationstests mit App-Kommandos, Tastatur/Maus, TestBackend und tatsächlicher Sitzung).

Requirement / Scenario	Implementierung	Ausführbarer Nachweis
Dateigenaue Breakpoints / Zwei Includes mit gleicher Zeile	Vm::add_source_breakpoint, statement_locations, debug_boundary; IDE-Marken mit Dokument-/Ursprungsmodul-ID	VM include_identity_qualified_globals_udts_and_older_frames; IDE includes_and_deleted_marks_do_not_bind_to_foreign_statements: nur zweites Include, richtiger Quellort und unveränderter Wert vor der Anweisung.
Dateigenaue Breakpoints / Einfügen oberhalb einer Marke	documents::remap_breakpoints, gemeinsame Edit-/Undo-Transaktionen, bind_debug_breakpoints	IDE dispatcher_marks_edits_rebind_and_readonly_watches und includes_and_deleted_marks_do_not_bind_to_foreign_statements: Verschieben, Neubinden, Kommentarzeile, Löschen und Undo; inaktive Marken sind sichtbar.
Schrittsteuerung und Calls / Rekursion und Prozedurschritt	step_over mit Frame-ID und GOSUB-Tiefe; debug_frames, select_debug_frame; F8/F10	VM step_over_recursive_frames_history_and_safe_jump, gosub_step_over_breakpoint_priority_and_temporary_target_cleanup, form_event_breakpoint_and_step_over_keep_the_event_frame; IDE calls_procedure_step_cursor_history_and_restart, calls_mouse_inspection_instant_key_delete_and_error_window, form_handler_keys_and_old_revision_cursor_guard.
Schrittsteuerung und Calls / Temporäres Laufziel	run_to_cursor, cancel_motion, IDE-Pause und Sitzungsende	VM gosub_step_over_breakpoint_priority_and_temporary_target_cleanup; IDE F7 in calls_procedure_step_cursor_history_and_restart. Dauerhafte Breakpoints bleiben erhalten; der unterbrochene Cursorlauf wird nicht später erneut wirksam.
Watches und Watchpoints / Beobachtung im lokalen Kontext	sema::lower_debug, DebugCompiler, evaluate_watch; ursprüngliche Slots und Link-Mappings, getrennte Frameauswahl	VM watches_immediate_byref_and_errors_preserve_continuation, include_identity_qualified_globals_udts_and_older_frames, watches_never_initialize_arrays_or_run_user_functions_and_keep_selected_context: CINT, lokale Arrays, UDT-Felder, qualifizierte Globals, ältere rekursive Frames, keine Auto-DIM-/Funktions-/ERR-Nebenwirkungen. IDE Calls-Mausauswahl, Shift+F9, Watchfehler und Löschdialog.
Watches und Watchpoints / Watchpoint wird wahr	evaluate_condition, check_watchpoints, gebundener erreichbarer Inspektionsframe; nur aktive Einträge werden ausgewertet	VM watchpoint_history_ring_and_error_differential; IDE immediate_wait_run_transition_watchpoint_and_trace_are_session_owned: Halt direkt hinter der Zuweisung, aktualisierter Wert. Nicht numerische oder fehlerhafte Bedingungen lösen keinen Halt aus.
Direktfenster / Wert ändern und fortsetzen	start_immediate, temporärer Frame mit referenzierten Originalslots, gemeinsame VM-Ausführung und finish_immediate	VM watches_immediate_byref_and_errors_preserve_continuation: lokale Zuweisung, BYREF-Aufruf, PRINT, Original-PC und fortgesetzter geänderter Wert. IDE dispatcher_marks_edits_rebind_and_readonly_watches bedient den tatsächlichen Eingabepfad.
Direktfenster / Fehler im Direktfenster	Bestehendes handle_error, abgegrenzter Debug-Eintritt, Handler-/RESUME-Rückkehr und Quellort <Immediate>	VM immediate_handler_resume_and_break_on_errors, immediate_wait_interrupt_nested_error_end_and_run, immediate_handler_exit_and_cached_new_imports_are_safe: ERROR, lokaler/geerbter Handler, RESUME NEXT, Handlerende, INPUT/Warten, Interrupt, END und RUN. IDE Direktfehleranzeige, Warte-/F5-Folge und echter RUN-Sitzungsreset.
Trace und Ausführungshistorie / Historie betrachten	record_debug_execution, 1.024-Einträge-Ring, Trace-Quellnavigation, H-/I-/Ausführungsmarken	VM watchpoint_history_ring_and_error_differential, same_line_calls_and_immediate_do_not_retrigger_a_line_breakpoint; IDE calls_procedure_step_cursor_history_and_restart: zweimal zurück, vorwärts, unveränderter PC und unveränderte aktuelle Watchwerte, Reset. History führt nur Quellorte, keine rückspielbaren Zustände.
Break on Errors / Behandelter Fehler	Halt nach Handlerwahl/Unwinding an dessen erster Statement-Grenze; gesicherte Ursache, ERR/ERL und RESUME-PC	VM watchpoint_history_ring_and_error_differential vergleicht den Lauf mit und ohne Halt; immediate_handler_resume_and_break_on_errors und immediate_wait_interrupt_nested_error_end_and_run prüfen geerbte/lokale Handler und Fortsetzungsrahmen.
Sicheres Set Next Statement / Gültiger und ungültiger Sprung	Statement-Tabelle, strukturierte AST-Kontrollpfade und Bytecode-Schleifenbereiche; vollständige Prüfung vor PC-Änderung	VM step_over_recursive_frames_history_and_safe_jump, set_next_rejects_loop_gosub_handler_and_pending_operations_atomically, set_next_rejects_else_and_case_entry_but_allows_peer_statements: gleichrangiger Sprung wirksam; fremde Prozedur, Schleife, ELSE/CASE und GOSUB abgewiesen ohne Teiländerung. IDE form_handler_keys_and_old_revision_cursor_guard prüft den Revisionsschutz.

Coherence

• Ein Interpreter: Watches benutzen den regulären Lexer/Parser, Sema, Codegen und die vorhandenen VM-Instruktionen. Es gibt keine zweite Arithmetik oder Konvertierungsschicht. Reinheit wird vor Ausführung am erzeugten Bytecode geprüft; automatische Beobachtung startet weder Host-Polling noch Fehlerhandler.
• Originale Modul-/Zeilen-Breakpoint-APIs bleiben erhalten. Neue Debuggerpfade sind opt-in; der CLI-Runtimepfad, das TBC-Format und seine Quelldaten bleiben unverändert. IDE-Compiler behalten vollständige Importkontexte für spätere Direktaufrufe auch nach inkrementeller Übersetzung.
• Dokumentmarken verwenden dieselben Edits und Undo-Einheiten wie der Editor. Formularname und Dateiname dürfen verschieden sein. Cursorziele werden nur gegen die unveränderte pausierte Kompilatrevision akzeptiert.
• Direktkommandos benutzen den bestehenden kooperativen Poll-/Warte-/RUN-Pfad. Handlerende entfernt keine Locals eines pausierten Frames. Syntaxfehler mutieren nichts; Laufzeitnebenwirkungen bleiben ausdrücklich wirksam.
• Die Grenzen für reine Watches, History ohne Zeitreise sowie konservatives Set Next Statement sind in docs/ide-bedienung.md dokumentiert. Die gemeinsame Phase-5-Abnahme bleibt Change 08; native Erzeugung bleibt Phase 6.

Behobene Verifikationsbefunde

• Zeilenbreakpoints merken ihren letzten Eintritt pro Frame. Ein zurückkehrender Aufruf oder Direktcode löst keinen zweiten Halt auf derselben Doppelpunktzeile aus; spätere Schleifendurchläufe halten weiterhin.
• History nimmt eine Grenze erst beim tatsächlichen Ausführen auf. Die vor einem Direktkommando noch nicht ausgeführte Grenze bleibt danach erhalten.
• Break on Errors markiert den ersten Handler-Einstieg, nicht einen veralteten Fehler-PC nach dem Unwinding. Ereigniszustellung verschiebt diesen Halt nicht.
• Direktfehler benutzen eine gesicherte Kommando-Rückkehr; auch Handlerende ohne RESUME erhält die ursprünglichen Frame-Slots und den Fortsetzungspunkt.
• ELSE-/CASE-Arme bekommen eigene Kontrollkontexte. Ein gleicher Frame allein reicht nicht zur Freigabe von Set Next Statement.
• Include-Marken behalten ihr Ursprungsmodul; Formularmarken benutzen die Dokumentidentität statt der Annahme, Formularname und Dateiname seien gleich.
• Automatische Watches führen kein Auto-DIM oder Benutzerfunktionen aus; Fehler verändern ERR nicht. Watchpoints berücksichtigen ihren ausgewählten erreichbaren Frame und zeigen Fehler pro Eintrag.
• Gewöhnliches STOP/Pause erhält den bisherigen Output-Fokus. Spezifische Debuggerhalte navigieren zum Quelltext; die vorhandenen Ausgabetests bleiben unverändert. Die alte Platzhalter-Erwartung „folgt in 06“ wurde durch die Verfügbarkeit des implementierten Kommandos ersetzt.

Abschlussprüfungen

• cargo test --workspace: 587 bestanden, 0 fehlgeschlagen, 2 bestehende Ignore-Fälle (Golden-Output-Generator und externe VBDOS-Referenzsuite). Enthalten sind alle VM-/Fehlerhandler-/CLI-/IDE-Regressionen sowie die 20 neuen Debugger-Integrationstests.
• cargo clippy --workspace --all-targets -- -D warnings: bestanden.
• cargo fmt --all -- --check: bestanden.
• git diff --check: bestanden.
• openspec validate --all --strict: 23/23 gültig; bestehende INFO-Hinweise zur Länge von Requirement-Texten sind keine Validierungsfehler.

Keine angeforderte Prüfdimension wurde ausgelassen. Die Prüfungen sind reproduzierbar und headless; Maus-/Tasten- und Renderingpfade wurden über App-Ereignisse und TestBackend geprüft. Es bestehen keine offenen Befunde. Der Change ist vollständig umgesetzt und zur separaten Synchronisierung und Archivierung bereit.