deklarovaný stav○deklarovaný stav: plánováno
Specifikováno, ale neimplementováno. Uvedeno, aby bylo vidět, co chybí.
zaznamenané důkazy○zaznamenané důkazy: žádný test
Neposuzováno: k zaznamenanému běhu je vázáno jen zaručené tvrzení. jak se zaznamenávají důkazy
Projekce na GitHub uzavře milník jen podle jeho odvozeného stavu plánu a žádný záměr nečte. Uzavřenou práci, které důkazy odporují, odmítne kontrola intent-realization, ne tracker.
Toto není implementováno. Publikuje se, aby známá mezera byla viditelná a nepředpokládalo se, že je pokryta.
Zamýšlený tvar je, že projekce GitHub čte záměry, které milník realizuje, a drží milník na GitHubu otevřený, dokud některý z nich není naplněn.
scripts/github-sync promítá každý milník výhradně z jeho odvozeného stavu plánu a nečte žádný záměr. Uzavřenou práci, které důkazy odporují, odmítá v tomto repozitáři kontrola intent-realization (intent-realization-held-to-evidence), ne tracker.
grep -c intent scripts/github-sync # 0
Pořád by to byla projekce: GitHub by nerozhodoval o splnění a uzavření milníku tam by tu nic nezměnilo.
Tracker, který ukazuje uzavřený milník, zatímco jeho záměr je nepravdivý, opakuje chybu, kterou má model záměrů napravovat, o jednu projekci dál.
Detail vykreslený z docs/claims/intent-closes-github-milestones.md.
Od tvrzení k důkazu
-
1 · veřejné tvrzení
Milník bude na GitHubu uzavřen, teprve až budou splněny intenty, které realizuje
Žádná funkce ani odpovědnost v README ji nepojmenovává; tato stránka je místo, kde je uvedena.
-
2 · kanonické tvrzení
intent-closes-github-milestones○deklarovaný stav: plánováno
v docs/CLAIMS.yaml
Definováno v přečtěte si to na tomto webu · docs/PLANNING.md
-
3 · implementace
Zatím to nic neimplementuje.
-
4 · test a scénáře
Žádné spustitelné důkazy nejsou propojeny: tvrzení nejmenuje žádný test a žádný případ užití ho nespouští.
-
5 · zaznamenané běhy
○zaznamenané důkazy: žádný test
jak se zaznamenávají důkazy