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.

Domovská stránka webu a stránky funkcí nepojmenovávají žádnou vlastní funkci, modul, příkaz, provider ani počet a zastaralý produktový dataset je odmítnut pre-commit hookem i kontrolou rust dříve, než ho lze mergovat

Domovská stránka webu, jeho stránky /features/ a jeho matice schopností nejmenují žádnou funkci, žádný

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

scripts/site-check odmítne šablonu, generátor, program jq nebo navigační soubor, který jmenuje cestu funkce nebo vlastní soubor poskytovatele, dokazuje, že každá veřejná funkce má svou stránku a každá stránka funkci, a porovnává značky, které matice ukazuje, se značkami, které odvodil model. `majordomus generate --check` odmítne strom, jehož datová sada neodpovídá repozitáři.

Co to znamená

Domovská stránka webu, jeho stránky /features/ a matice schopností neuvádějí žádnou funkci, žádný modul schopností, žádný veřejný příkaz, žádného providera ani žádný počet. Vše z toho pochází z site/data/registry/product.json, které executable zapisuje z funkcí vrstvy, registru schopností, registru příkazů, katalogu Why a topologie webu. Jediná ručně psaná slova na povrchu jsou umísťovací věty a popisky tlačítek v site/data/marketing.toml, držené v řádkovém rozpočtu a bez čísla i tvrzení o schopnostech.

Zastaralá datová sada se nasadit nedá: majordomus generate --check shodí strom, jehož product.json neodpovídá repozitáři, takže domovská stránka nemůže popisovat spustitelný soubor, který tento repozitář nemá.

Princip

Šablony čtou dataset a vykreslují ho. Ostatní rozhoduje scripts/site-check: odmítne šablonu, generátor, program jq nebo soubor navigace, který pojmenovává routu funkce nebo vlastní bootstrapový či konfigurační soubor klienta poskytovatele; dokazuje, že každá veřejná funkce má svou stránku a každá stránka pod /features/ vznikla z funkce; porovnává značky, které ukazuje stránka matice, se značkami, které odvodil model, v obou směrech; a kontroluje, že telemetrie vytištěná na domovské stránce je telemetrie datasetu.

Cesty, které se přesunuly, jsou deklarovány jednou v nav.toml pod [[redirects]] a stávají se aliasy Zola na stránce, na kterou ukazují; přesměrování, jehož cíl generátor nevytvořil, shodí build, místo aby publikovalo odkaz do ničeho.

Jak to vidět

scripts/derive && scripts/derive-check       # the dataset matches the repository
scripts/site-build && scripts/site-check     # the page matches the dataset
bash test/run.sh 12_site_build

Co nepokrývá

Které funkce jsou kapitolami domovské stránky a v jakém pořadí, je redakční věc a je deklarováno v samotných souborech funkcí (featured, weight), ne na stránce. Pozicovací věty píše člověk; kontroluje se, že nenesou číslo ani tvrzení o schopnosti, ne že jsou pravdivé.

Proč existuje

Domovská stránka byl poslední ručně udržovaný inventář v repozitáři, kde je každý jiný povrch projekcí. Propast mezi tím, co produkt dělal, a tím, co říkala jeho veřejná tvář, rostla přesně ve směru, který nikdo neměřil, protože nic nemohlo selhat, když se obojí rozcházelo.

Detail vykreslený z docs/claims/landing-page-is-a-projection.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Domovská stránka webu a stránky funkcí nepojmenovávají žádnou vlastní funkci, modul, příkaz, provider ani počet a zastaralý produktový dataset je odmítnut pre-commit hookem i kontrolou rust dříve, než ho lze mergovat

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

  2. 2 · kanonické tvrzení

    landing-page-is-a-projectiondeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    site/templates/index.html

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

    Test: test/cases/400_derivation_is_one_graph.sh

  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 400_derivation_is_one_graph

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