Dla instancji podatności przygotowuje się dwa buildy tego samego oprogramowania: podatny (b⁻) i załatany (b⁺). Kandydujące wejście x jest uruchamiane na obu buildach z instrumentacją sanitizerem. Oracle uznaje x za poprawny PoC tylko, gdy b⁻ ulega docelowej awarii sanitizera, a b⁺ nie. Ponieważ predykat jest programowalny i rozstrzygalny, agent może testować każdego kandydata bez nadzoru; werdykt wraz ze śladem sanitizera stanowi ugruntowaną informację zwrotną, zamieniając konstrukcję PoC w wykonywalną pętlę zaproponuj–zweryfikuj–popraw.
Jak obiektywnie i bez nadzoru człowieka rozstrzygnąć, czy wygenerowany przez model exploit/PoC faktycznie wykorzystuje daną podatność, a nie zawiesza programu z przypadkowego powodu.
Podatna wersja oprogramowania, na której poprawny PoC musi wywołać awarię.
Załatana wersja, na której poprawny PoC nie może wywołać awarii.
Crash(b,x) jest prawdą wtw. gdy uruchomienie b na x wywołuje docelową awarię sanitizera; dostarcza sygnału dla błędów pamięci.
𝒱(x)=𝟙[Crash(b⁻,x)]∧𝟙[¬Crash(b⁺,x)] — maszynowo sprawdzalny sygnał sukcesu.
Sformułowanie zasady porównywania zachowań wariantów programu na tych samych wejściach jako oracle.
Dwustronny, maszynowo sprawdzalny oracle różnicowy (build sprzed/po łatce) dla autonomicznej generacji PoC przez agentów AI.
Rodzaj instrumentacji sanitizerem definiujący predykat Crash (np. wykrywanie błędów pamięci).
