TerminalBasic/openspec/changes/archive/2026-09-06-spezifikationsabgleich-und-regressionsnachweise/review.md

Abschließende Verifikation vom 06.09.2026

Change: spezifikationsabgleich-und-regressionsnachweise. Grundlage: aktueller Arbeitsbaum auf c8b92f06190d77714865e0018b090348f372d77e. Geprüft: Proposal, Design D1–D4, elf Tasks, vier Delta-Specs mit sechs Requirements und 18 Szenarien sowie die betroffenen Hauptverträge und Codepfade.

Ergebnis: keine offenen Befunde.

Dimension	Ergebnis
Vollständigkeit	11/11 Tasks, 6/6 Requirements, 18/18 Szenarien abgedeckt
Korrektheit	Gesamtsuite, fünf ursprüngliche Soll-Gegenproben und zusätzliche Regressionen bestanden
Kohärenz	Gemeinsame Compiler-/VM-/Forms-Pfade; vorhandener TextScreen; keine neue Abhängigkeit oder TBC-Version
Befunde	0 CRITICAL, 0 WARNING, 0 SUGGESTION

Die erste Nachprüfung mit V01–V03 bleibt als historischer Ausgangsbefund erhalten. Die vollständige Szenarienmatrix steht in verification.md, der Abgleich F01–F25 im Abschlussreport.

Nachweis der Behebung

Befund	Korrektur und Gegenprobe
V01 – indizierte Elterncontainer	frm.rs übergibt vollständige Parent-Schlüssel. forms.rs bewahrt diese in den vorhandenen PARENT-Eigenschaften; Getter, Root-Traversierung, Geometrie, Optionsgruppen und Menüpfade verwenden dieselbe Referenz. Die ursprünglichen CLI-Gegenproben liefern 1 sowohl aus FRM als auch aus TBC nach Löschen der Quelle.
V01 – ergänzend geprüfte Darstellung und Maus	indexed_containers_preserve_parent_geometry_and_option_groups prüft die Elterninstanz, absolute Position, unabhängige Optionsgruppen, sichtbare Beschriftung und Trefferziel. Vor der letzten Korrektur fing Group(1) den Klick auf sein Kind Other ab. form_controls stellt jetzt den Container vor seine Kinder; Zeichnung und umgekehrte Trefferprüfung nutzen dieselbe Reihenfolge. Die neue Gegenprobe besteht.
V01 – TBC-Grenze	bytecode.rs validiert die effektiven Parent-Referenzen einschließlich Arrayinstanzen und Zyklen. beschaedigte_container_werden_vor_der_ausfuehrung_abgewiesen enthält beide Mutationen. Bestehender Mehrformular-/Array-Test bleibt grün.
V02 – falsches Laufzeitziel	inventar.rs vergleicht unabhängige Sollziele in den 291 festen Vorlagen mit dem erzeugten Kompilat. Builtin-IDs und Konverterselektoren, konkrete Forms-Member, VM-Instruktionen und Deklarationsmetadaten werden geprüft. $INCLUDE durchläuft den echten CLI-Projektlader. Die ursprüngliche TIMEZONEKNOWN→TIMER-Mutation wird mit Name und Status abgewiesen.
V02 – weitere Mutationen	falsche_gueltige_builtinbindung_und_entfernte_absenkung_fallen_durch, forms_absenkung_muss_den_richtigen_member_erreichen und gemeinsam_dispatchte_konverter_brauchen_den_richtigen_typselektor bestehen; bestehende Status-/Unsupported-/fehlende-Bindung-Proben ebenfalls. Alle 845 Inventareinträge werden geprüft; 795 implementiert, 50 Non-Features, 0 offen. Ereignisse werden zusätzlich über 133 reale Auslösepfade bis zum BASIC-Handler geprüft.
V03 – weitere Non-Feature-Syntax	parser.rs erkennt zuerst mögliche Zuweisungen und weist danach ausgeschlossene Anweisungen vor der allgemeinen Argumentauflösung namentlich ab. CLI-Test prüft PSET/PRESET mit Farbe und STEP, CIRCLE STEP, WINDOW SCREEN und PALETTE USING einschließlich IF. Gleichnamige Arrays sowie SCREEN 0–13/LINE/PAINT/VIEW bleiben gültig. Beide ursprünglichen Grafik-Gegenproben bestehen.
Ergänzende Kohärenzprüfung	ComboBox-Ausklappzustand wird bei Fokuswechsel und Ausblenden zurückgesetzt; combobox_dropdown_closes_on_focus_change_and_hide besteht.

Abschlussprüfungen

• cargo test --workspace: 481 bestanden, 0 fehlgeschlagen, 2 ignoriert.
• python3 openspec/changes/archive/2026-09-06-spezifikationsabgleich-und-regressionsnachweise/review-probes.py: 5/5 Gegenproben bestanden. Die Soll-Assertions bleiben erhalten; nur Testpfad und Cargo-Auflösung wurden an den verschobenen Inventartest angepasst.
• TB_VBDOS_REPO=/tmp/terminalbasic-vbdos-evidence cargo test -p tb-cli --test foreign oeffentliche -- --ignored --nocapture: bestanden, sieben öffentliche Programme jeweils zweimal; Revision 1cdd2b32b829fe1721d0b6aecc433abc47a96fb6.
• cargo run --manifest-path tests/terminalfrei/Cargo.toml --offline: bestanden, Terminalfreier FRM-/VM-Lauf: KM.
• cargo clippy --workspace --all-targets --all-features -- -D warnings: bestanden.
• openspec validate --all --strict: 16/16 Einträge gültig.
• cargo fmt --all -- --check und git diff --check: bestanden, neue Dateien zusätzlich geprüft.

Der Golden-Generator wurde nicht ausgeführt. Bei diesen Reviewkorrekturen wurden keine weiteren Golden Files verändert. Kein Prüfschritt wurde wegen fehlender Voraussetzungen ausgelassen; der normalerweise ignorierte Fremdprogrammlauf wurde ausdrücklich ausgeführt.

Die Umsetzung ist verifiziert. Am 06.09.2026 wurden alle vier Delta-Specs in die Hauptspecs synchronisiert und dieser Change mit 11/11 erledigten Tasks archiviert. Die 15 Hauptspecs bestehen die Validierung nach der Archivierung.