Zdůvodnění
Každý případ užití a aplikace popisuje nástroj pojmy, které nástroj má — každý příkaz, doktrína a tvrzení, které jmenuje, existuje, a oba katalogy na sebe odkazují oběma směry.
Požadované chování
Každý případ užití a každá aplikace uvádí jen příkazy, pravidla a tvrzení, které existují, a oba katalogy na sebe odkazují v obou směrech.
Chování při selhání
Porušení je nález FAIL v kategorii catalogue 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í
mj_validate_catalogue to rozhoduje, dispatchováno z doctor, watch. Behaviorální případ test/cases/28_catalogue.sh to dokazuje a CI tento případ spouští.