77 lines
4.6 KiB
Markdown
77 lines
4.6 KiB
Markdown
# Verification Report: laufzeit-eingabe-und-systemstatus
|
||
|
||
Erneute Prüfung am 06.09.2026. Grundlage ist der aktuelle, noch uncommittete
|
||
Arbeitsbaum auf `815825dde76eb8f4b48cb27d83f21732afe707c2`. Die Aussage aus
|
||
`verification.md` wurde gegen Proposal, Design, Tasks, alle vier Delta-Specs,
|
||
die tatsächlichen Aufrufpfade und zusätzlich erstellte Reviewproben geprüft.
|
||
|
||
## Summary
|
||
|
||
| Dimension | Ergebnis |
|
||
|---|---|
|
||
| Vollständigkeit | 6/6 Tasks abgeschlossen; 6 Requirements mit 21 Szenarien abgeglichen |
|
||
| Korrektheit | 463 Workspace-Tests und 5 unabhängige Reviewproben bestanden |
|
||
| Kohärenz | D1–D4 eingehalten; gemeinsame Dateileseposition, Codepoint-/Byte-Trennung, Pfadfehler und aktuelle Zonenauflösung |
|
||
| CRITICAL | 0 |
|
||
| WARNING | 0 |
|
||
| SUGGESTION | 0 |
|
||
|
||
**Keine offenen Befunde im geprüften Change.** Die vorhandene
|
||
[Szenariozuordnung](verification.md#szenarien-und-ausführbare-nachweise)
|
||
ist durch die erneute Codeprüfung und den aktuellen Testlauf bestätigt.
|
||
|
||
## Zusätzliche unabhängige Proben
|
||
|
||
[review-probes.rs](review-probes.rs) wurde separat mit `rustc --test` gegen
|
||
die aktuell gebauten `tb_vm`- und `tb_runtime`-Bibliotheken aus
|
||
`target/debug/deps` übersetzt und ausgeführt. Alle fünf Tests bestanden.
|
||
Die Proben wurden nicht aus den vorhandenen Tests kopiert.
|
||
|
||
| Probe | Abdeckung / Ergebnis |
|
||
|---|---|
|
||
| `write_input_roundtrip_string_matrix` | 100 Kombinationen aus leeren Strings, ASCII, Leerzeichen, Tab, Anführungszeichen, Komma, CRLF, ä/Emoji, NUL und geschütztem Leerzeichen: WRITE und zwei folgende INPUT-#-Aufrufe erhalten Inhalt und nächstes Feld exakt |
|
||
| `all_nine_file_read_transitions` | Sämtliche 3×3 Übergänge zwischen INPUT #, INPUT$ und LINE INPUT # auf derselben UTF-8-/CRLF-Datei liefern den erwarteten Cursorfortschritt |
|
||
| `every_mk_cv_pair_preserves_target_values_and_width` | INTEGER-/LONG-/CURRENCY-Grenzen, negative Null und Fließkomma-Grenzwerte bleiben typ- und bitgetreu; jeweils zu kurze und zu lange Argumente erzeugen Fehler 5 |
|
||
| `timezoneknown_survives_tbc_and_source_failure_recovery` | Neuer Builtin über Kompilat-Speicherung und -Laden ausführbar; derselbe Resolver wechselt bekannt → ausgefallen → bekannte UTC. BASIC liefert INTEGER -1/0/-1; Zonenquelle und Programmversatz bleiben unverändert |
|
||
| `successive_function_keys_are_split_in_order` | Zwei aufeinanderfolgende erweiterte Tasten und Emoji werden durch INPUT$(3), INPUT$(1), INPUT$(1) ohne Verlust oder Umordnung gelesen |
|
||
|
||
Statisch zusätzlich abgeglichen: gemeinsame Leser-/SEEK-/EOF-Aufrufpfade,
|
||
Binärzugriff nach Einführung von BufReader, beide INPUT$-Dispatchwege,
|
||
Trap-Behandlung bereits angenommener Reste, alle fünf CV-Zieltypen,
|
||
OPEN/KILL/NAME/MKDIR-Fehlerzuordnung sowie Frontend/HIR/Builtin-ID/CLI
|
||
und alle Zeitfunktionen einschließlich der Zuweisungen an DATE$/TIME$.
|
||
Die neue Builtin-ID wird angehängt; bestehende IDs werden nicht verschoben.
|
||
|
||
## Erneut ausgeführte Abnahme
|
||
|
||
- `cargo test --workspace --quiet`: **463 bestanden, 0 fehlgeschlagen,
|
||
1 ignoriert**; der Golden-Generator blieb ignoriert.
|
||
- Separate Reviewproben: **5 bestanden, 0 fehlgeschlagen**.
|
||
- `cargo clippy --workspace --all-targets --all-features -- -D warnings`: bestanden.
|
||
- `cargo fmt --all -- --check`: bestanden.
|
||
- `git diff --check`: bestanden vor dem Staging. Die abschließende
|
||
Prüfung des gestagten Changes mit `git diff --cached --check -- .
|
||
':(exclude)tests/compat/*.out'` besteht ebenfalls. Die neuen `.out`-Dateien
|
||
enthalten absichtlich signifikante PRINT-Leerzeichen am Zeilenende.
|
||
- `openspec validate laufzeit-eingabe-und-systemstatus --strict`: bestanden.
|
||
- `openspec status` und `openspec instructions apply`: Planung vollständig,
|
||
6/6 Tasks, `all_done`. Die Häkchen wurden gegen Code und Tests geprüft.
|
||
- Keine bestehenden Korpus-Sollausgaben verändert; die drei neuen
|
||
Eingabe-/Zonenprogramme bestehen im regulären Korpuslauf jeweils zweimal.
|
||
|
||
Während dieser Verifikation wurden nur dieser Bericht und die zusätzlichen
|
||
Reviewproben angelegt. Produktcode, bestehende Tests und Sollausgaben blieben
|
||
unverändert. Headless auf macOS geprüft; kein neuer Windows-/Linux-Lauf oder
|
||
interaktiver Fremdprogrammvergleich. Die Prüfung betrifft diesen Change und
|
||
ersetzt nicht den noch offenen übergreifenden Spezifikationsabgleich.
|
||
|
||
Alle Prüfungen bestanden. Der Change ist zur Synchronisierung und
|
||
anschließenden Archivierung bereit.
|
||
|
||
## Archivabschluss
|
||
|
||
Am 06.09.2026 wurden alle sechs Delta-Requirements mit den vier Hauptspecs
|
||
synchronisiert und vollständig abgeglichen. Alle 15 Hauptspecs bestehen
|
||
die strenge Validierung. Der Change wurde anschließend einschließlich
|
||
der fünf Reviewproben archiviert.
|