Fehlende Evidenz von einem bestätigten leeren Ergebnis unterscheiden.
Gibt eine Suchfunktion bei Erfolg ohne Treffer und bei Timeout jeweils [] zurück, gehen zwei unterschiedliche Aussagen verloren. Ein vollständiger erfolgreicher Suchlauf mit leerer Liste bedeutet: aktuell keine gefundenen Fenster. Ein Timeout bedeutet: keine verlässliche neue Aussage. Der Simulator liefert deshalb status, window_ids und die Zusage, ob die Entdeckung vollständig ist. Nur success mit vollständigem Ergebnis darf als Grundlage zum Entfernen verschwundener Kennungen dienen. Bei Fehler bleibt die letzte bestätigte Buchführung erhalten und wird als nicht frisch markiert. Teilresultate können Zusatzwissen liefern, aber ihre fehlenden Kennungen beweisen kein Verschwinden.
Ein Beispiel
Nach einer bestätigten Registrierung von 101 und 102 liefert der zweite Suchlauf timeout. Beide Kennungen bleiben in der letzten bestätigten Buchführung, mit Hinweis auf unklare Aktualität. Erst der dritte vollständige Erfolg mit {102} belegt das Verschwinden von 101. Ein Erfolg mit leerer Menge würde beide entfernen.
