Zdůvodnění
Kontext, který žije v jednom kořenovém souboru, vyroste v neustále načítaný monolit, z něhož byl tento nástroj vydestilován; kontext rozptýlený bez kontraktu nelze najít, seřadit ani mu věřit. Dokument, který říká, kde platí, pro koho a jak se skládá se svými předky, může nástroj vyhodnotit a člověk přečíst, a strom zůstává poctivý, jen dokud je každý takový dokument kontrolován proti tomuto kontraktu.
Adresář bez dokumentu je tišší polovina téhož selhání: nic nepřispívá do řetězce, nepojmenovává formát toho, co drží, a pracovník, který tam přistane, přečte své předky a zbytek hádá. Pokrytí mění zvyk dokumentovat adresář v invariant a výjimka pro podstrom, jehož potomci jsou instance nějakého druhu, je deklarována kontraktem, který jej řídí, takže se pohybuje spolu se stromem, který popisuje.
Požadované chování
Každý adresář vrstvy nese kontextový dokument, pokud kontrakt, který jej řídí, nevyjímá své potomky; každý dokument nese kontrakt s jedinečnou identitou, každý odkaz se vyřeší v řetězci předků, žádný finální dokument není nahrazen, žádný potomek neoslabuje, co předek požaduje, a efektivní kontext pro libovolnou cestu se počítá od kořene stromu dolů v jednom deterministickém pořadí.
Chování při selhání
Porušení je nález FAIL v kategorii context, který jmenuje soubor nebo adresář a třídu problému — missing-contract pro adresář, který dluží dokument, illegal-override pro potomka, který snižuje children.require_contract zděděné z true — a příkaz, který jej našel, skončí s kódem 10. Pod watch je totéž porušení hlášeno jako drift a příkaz skončí s kódem 11. context resolve odmítne odpovídat za strom s jakýmkoli problémem, místo aby odpověděl částečně.
Ověření
mj_validate_context to rozhoduje, dispatchováno z doctor, watch. Behaviorální případ test/cases/69_context_documents.sh to dokazuje a CI tento případ spouští.