Pravidla
Co tento repozitář odmítá a co dokáže pro každé odmítnutí skutečně ukázat. Pravidlo deklaruje třídu — blocking, kde kontrola práci odmítne, nebo advisory, kde se očekává, že si ho čtenář přečetl — a blok vynucování, který pojmenovává buď validátor, jejž volá dispatcher, nebo případy chování, které ho dokazují. Tento modul tuto deklaraci spojuje se stromem a s knihou zaznamenaných běhů a hlásí pro každé pravidlo, zda to, co pojmenovává, existuje, zda ho vlastní nějaký runner, zda byl někdy spuštěn, zda běh prošel a zda je běh starší než to, čeho se týká. Blokující pravidlo, jehož důkaz chybí, visí v prázdnu nebo selhává, je nález, protože pravidlo, které nikdo nedokáže prokázat, je pravidlo, které nikdo nevynucuje.
Co tento repozitář odmítá a co dokáže pro každé odmítnutí skutečně ukázat. Pravidlo deklaruje třídu — blocking, kde kontrola práci odmítne, nebo advisory, kde se očekává, že si ho čtenář přečetl — a blok vynucování, který pojmenovává buď validátor, jejž volá dispatcher, nebo případy chování, které ho dokazují. Tento modul tuto deklaraci spojuje se stromem a s knihou zaznamenaných běhů a hlásí pro každé pravidlo, zda to, co pojmenovává, existuje, zda ho vlastní nějaký runner, zda byl někdy spuštěn, zda běh prošel a zda je běh starší než to, čeho se týká. Blokující pravidlo, jehož důkaz chybí, visí v prázdnu nebo selhává, je nález, protože pravidlo, které nikdo nedokáže prokázat, je pravidlo, které nikdo nevynucuje.
- module rules
- builtin
- behaviorally_verified
- 3 schopnosti
Schopnosti
Každý je složen v souboru tohoto modulu; každý má vlastní stránku.
rules.provesJeden test — podle identity nebo podle cesty, kterou jej pravidlo jmenuje — se všemi pravidly, která jej jmenují, a pravidly, která by zůstala úplně bez důkazu, kdyby byl smazán. Je to opak rules.show a čte stejné odvození, takže se oba směry nemohou rozejít. Je to otázka, která nešla klást, dokud relace šla jen jedním směrem: před smazáním nebo přejmenováním případu, co přestane být vynucováno.query · behaviorally_verified · majordomus_rule_proves · GET /api/v1/rules/provesrules.reportCelý korpus pravidel spojený se stromem a ledgerem: na pravidlo jeho třída, režim vynucování, validátor a případy, které jmenuje, zda je každý ve stromě, provedení za každým, kontroly CI, které je spouštějí, a věta vysvětlující, jak byl stav odvozen. Součty počítají celý korpus, i když je odpověď filtrována, a nálezy jmenují každé pravidlo, jehož deklarovanou třídu důkaz nepodporuje. Drží se po stavu checkoutu, nikdy déle: ledger je soubor, který se mění mimo tento proces, a jeho úprava, úprava validátoru nebo jakéhokoli sledovaného souboru, nový nesledovaný soubor, commit nebo nový ref je nová odpověď.query · behaviorally_verified · majordomus_rules · GET /api/v1/rulesrules.showJedno pravidlo s jeho úplným důkazem: validátor a případy, které uvádí, provedení za každým, kontroly, které je spouštějí, pravidla, na nichž závisí, a pravidla, která závisejí na něm — každé se stavem, v němž je, protože pravidlo je prokázáno jen tak daleko, jako jsou jeho závislosti — a když není prokázáno, jedna věta říkající, co by muselo platit, aby bylo. Pravidlo, které tento repozitář nedeklaruje, je not-found, a ne prázdná odpověď, protože překlep čtený jako „toto pravidlo nemá důkaz“ je jediná odpověď, kterou tato schopnost nesmí nikdy dát.query · behaviorally_verified · majordomus_rule · GET /api/v1/rules/rule