Co dělá
majordomus evidence show vykresluje každé tvrzení z docs/CLAIMS.yaml proti běhu zaznamenanému pro jeho test: stav důkazu, větu vysvětlující, jak byl tento stav odvozen, provedení za ním, soubory změněné od té doby a příkaz, který důkaz vytvoří znovu. evidence claim je jedno tvrzení celé a evidence test je opak — jeden test se všemi tvrzeními, která dokazuje — čtené ze stejného odvození, takže se oba směry nemohou rozejít. evidence record zapisuje do knihy to, co běh už nahlásil, označené commitem, stavem stromu, digestem vlastního zdroje testu, časem a původem.
Sedm stavů je seřazeno a dva z nich záměrně nejsou jedním. proven je úspěšný běh zaznamenaný právě proti tomuto commitu s čistým stromem. inputs unchanged je úspěšný běh, kdy se od té doby nepohnulo nic, co tvrzení samo jmenuje — absence známé invalidace, což je slabší a je to všude, kde se ukazuje, označeno jako slabší.
Co nedělá
Neprokazuje tvrzení na HEAD z běhu provedeného jinde: model závislostí jsou soubory, které tvrzení jmenuje, a nic tranzitivního, takže inputs unchanged je upřímné ohledně změny, kterou vidět nemůže. Neodolává padělání — účetní kniha je sledovaný soubor a ručně upravený výsledek je řádek v diffu, ne kryptografické selhání — a nedrží žádnou historii ani zachycený výstup, protože otázka, na kterou odpovídá, čte vždy jen nejnovější výsledek a log každého případu patří tam, kde běh proběhl.