Weryfikowalne wykonanie oznacza, że rezultat agenta jest powiązany z evidence możliwym do sprawdzenia niezależnie od narracji samego modelu.
CLAIM → MISSION BOUNDARY → EXECUTION → OBSERVATIONS → DETERMINISTIC CHECKS → PROOF → VERIFY
System powinien potrafić zwrócić również FAILED lub UNKNOWN, zamiast wymuszać pozytywny wynik.
- Zdefiniuj jednostkę wykonania i identyfikator misji.
- Zapisuj obserwacje zamiast tylko finalnego tekstu modelu.
- Dodaj deterministyczne checki dla krytycznych wymagań.
- Zwiąż dowody hashami lub równoważnym mechanizmem integralności.
- Trzymaj evidence i metadata w jednym pakiecie.
- Uruchamiaj verifier poza reasoning loop agenta.
Evidence po wykonaniu nie wystarcza, jeśli agent miał nieograniczone capability. Dlatego do proof trzeba dołożyć granice narzędzi, scope, approvals, credentials i zachowanie fail-closed.
CONTROL — co agent może zrobić?
PROOF — jakie dowody pokazują, co zrobił?
- Co dokładnie jest weryfikowaną jednostką wykonania?
- Które checki są deterministyczne?
- Czy dowody z dwóch runów mogą się pomieszać?
- Czy verifier działa niezależnie od agenta?
- Co dzieje się przy brakującym evidence?
- Czy tampered copy jest wykrywalna reprodukowalnym testem?