Zdůvodnění
Každý generovaný instrukční soubor existuje, odpovídá razítku, které nese, a po ruční úpravě se nikdy tiše nepřepíše.
Požadované chování
Každý generovaný instrukční soubor existuje, shoduje se s obsahem, který deklaruje, a nikdy se po ruční úpravě tiše nepřepíše.
Chování při selhání
Porušení je nález FAIL v kategorii projection 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_projection to rozhoduje, dispatchováno z doctor, watch. Behaviorální případ test/cases/03_update.sh to dokazuje a CI tento případ spouští.