October 9, 2026 Quake in sicherem Rust: Frame-genaue Pixelverifikation als Schlüssel zur C-Migration Game-Engine-RefactoringAutomatisierte VerifikationCodemigrationWebAssembly