Přeskočit na obsah

Tato stránka byla automaticky přeložena z angličtiny, jediného jazyka, ve kterém se tento web píše. Číst originál.

Každý odkaz, který funkce činí, se vyřeší proti registru, který jej vlastní, a ten, který ne, je chyba jmenující soubor, klíč a nejbližšího kandidáta, ne stránka odkazující nikam

Každý odkaz, který funkce uvádí, je typovaný a vyřeší se proti registru, který ho vlastní:

deklarovaný stavdeklarovaný stav: zaručeno Deklarováno jako deterministické a blokující, implementováno a s uvedeným behaviorálním testem, který to má dokázat. Zda to zaznamenaný běh podporuje, říká verdikt důkazů zobrazený vedle.

zaznamenané důkazyzaznamenané důkazy: nespuštěno Deklarováno jako zaručené, ale nepodložené zaznamenaným během: test je pojmenován, ale žádný úspěšný běh nad současnými vstupy zaznamenán není. jak se zaznamenávají důkazy

Modul schopnosti, veřejný příkaz nebo druh objektu, který nepojmenovává žádná stabilní funkce, se ohlásí jako mezera a zobrazí na matici, ne odmítne: věc, kterou produkt dělá a produktová stránka ji nezmiňuje, je přesně to, co má model zviditelnit.

Co to znamená

Každá reference, kterou funkce činí, je typovaná a rozlišuje se proti registru, který ji vlastní: modul schopnosti spustitelného souboru, veřejný příkaz shellového nástroje, druh objektu vrstvy, pravidlo, dokument, rozhodnutí, tvrzení, případ užití, oblast Cockpitu, povrch webové topologie. Jméno, které se nerozliší na nic, shodí majordomus product validate se souborem, klíčem front matter a nejbližším kandidátem; stránka, která nikam neodkazovala, je to, čemu toto odmítnutí brání.

Opačný směr se hlásí, neodmítá. Modul schopnosti, veřejný příkaz nebo druh objektu, který nejmenuje žádná stabilní funkce, je mezera: product validate varuje a matice ukazuje řádek prázdný. Věc, kterou produkt dělá a stránka produktu ji nezmiňuje, je přesně to, co má model zviditelnit, takže nikdy tiše nechybí.

Princip

apps/majordomus-cli/src/product.rs rozliší každý odkaz vůči indexu, registru schopností, registru příkazů, katalogu Why a webové topologii a spočítá nejbližšího kandidáta editační vzdáleností nad id, která daný registr skutečně drží. Ve stejném průchodu se kontrolují i dolní meze, kterým je stabilní funkce podrobena: pojmenovává alespoň jeden mechanismus a alespoň jeden dokument, její tělo nese ## What it does a ## What it does not do a zvýraznit smí být jen stabilní funkce.

Jak to vidět

majordomus product validate                     # every finding with its file, key and correction
majordomus product matrix                       # the coverage gaps, shown rather than hidden
cargo test -p majordomus-cli --test product
bash test/run.sh 97_product_features            # a typo'd module is refused with `did you mean`

Co nepokrývá

Nic zde nerozhoduje, zda je reference správná — jen že pojmenovává něco, co tento repozitář má. Funkce pojmenovávající pravidlo, které existuje, ale neplatí pro ni, je otázka revize, ne chyba validace.

Proč existuje

Selhání, které se tím odmítá, je tiché. Karta na stránce, která jmenovala příkaz, který nikdo nenapsal, byla odkazem, který nikam nevedl, dokud ho čtenář nenašel, a čtenář byl první kontrolou. Vyřešit odkaz při validaci přesouvá tuto kontrolu na toho, kdo změnu provedl, s opravou už ve zprávě.

Detail vykreslený z docs/claims/product-references-resolve.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Každý odkaz, který funkce činí, se vyřeší proti registru, který jej vlastní, a ten, který ne, je chyba jmenující soubor, klíč a nejbližšího kandidáta, ne stránka odkazující nikam

    Žádná funkce ani odpovědnost v README ji nepojmenovává; tato stránka je místo, kde je uvedena.

  2. 2 · kanonické tvrzení

    product-references-resolvedeklarovaný stav: zaručeno v docs/CLAIMS.yaml

    Definováno v přečtěte si to na tomto webu · docs/PRODUCT.md

  3. 3 · implementace

    apps/majordomus-cli/src/product.rs

  4. 4 · test a scénáře

    Test: apps/majordomus-cli/tests/product.rs

  5. 5 · zaznamenané běhy

    zaznamenané důkazy: nespuštěno jak se zaznamenávají důkazy

Ověřte si to sami

Test běží v jednorázovém dočasném repozitáři a ověřuje chování, ne řetězec ve zdrojovém kódu.

z klonu repozitáře
bash test/run.sh apps/majordomus-cli/tests/product.rs

Související tvrzení stejná implementace

Prohledává názvy a popisy všech stránek, které tento web publikuje.