Dowód wykonania powinien połączyć identyfikator misji, granice polityki, zdarzenia, artefakty i wynik checków w jeden pakiet, który można sprawdzić niezależnie.
Log mówi, co system zapisał. Proof ma odpowiedzieć, czy konkretne twierdzenie o runie jest poparte spójnym evidence.
Mission Manifest → runtime execution → deterministic checks → evidence chain → Merkle root → Proof Bundle → verifier → LOCAL_VERIFIED / FAILED
APR celowo odróżnia lokalną weryfikację od silniejszych form trust. Jeśli zewnętrznego anchoru nie ma, status pozostaje UNANCHORED.
- unikalny execution/mission ID,
- jawna granica policy i capability,
- timestampy oraz digests artefaktów,
- deterministyczne checki wymagań krytycznych,
- integrity validation zestawu evidence,
- niezależna ścieżka verification,
- jawne FAILED i UNKNOWN,
- opis tego, czego trust model nie udowadnia.