Zdůvodnění
Dokončení vyžaduje ověřovací příkaz, který skutečně běžel a skončil s 0; zaznamenán je jeho návratový kód, doba trvání a strom, nad kterým běžel.
Samotný exit kód nepojmenovává žádný předmět. Checkout s více než jedním pracovníkem — druhým agentem, člověkem ukládajícím soubor, watcherem regenerujícím artefakt — se během dlouhého ověřování mění a strom, který byl dokázán, pak není stromem, který se commituje. Strom se proto čte na obou stranách běhu a zaznamenává se s výsledkem.
Požadované chování
Dokončený výsledek vyžaduje ověřovací příkaz, který proběhl a skončil nulou nad pracovním stromem, jenž byl před během a po něm stejný, se zaznamenaným exit kódem, dobou trvání a git id onoho stromu. Běh, jehož strom se pod ním změnil, je selhání, ne průchod: nepopisuje ani stav, na kterém začal, ani ten, který zanechal.
Chování při selhání
Porušení je nález FAIL v kategorii verification a příkaz, který ho našel, skončí s kódem 10. Pod watch se totéž porušení hlásí jako drift a příkaz skončí s kódem 11.
Ověření
Rozhoduje o tom mj_validate_verification, volaný z finish. Případy chování test/cases/19_end_to_end.sh a test/cases/572_verification_records_the_tree_it_proved.sh to dokazují a CI je spouští.