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.

Veličina o tokenech, kontextu nebo nákladech zapsaná do ručně psané prózy je odmítnuta a tvrzení vázané na metriku nelze zaručit, dokud její důkazy neobstojí

Žádné číslo o tokenech, kontextu nebo nákladech se nedostane ke čtenáři, pokud ho nevytvořily zaznamenané důkazy. Ručně psaný text, který nějaké uvádí, je odmítnut, a tvrzení vázané na metriku nelze zaručit, dokud důkazy té metriky nestojí.

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

`majordomus economics check` skončí s kódem 10 a pojmenuje každé zjištění; čísla, která čtenáři vidí, se generují ze zaznamenaných běhů do docs/generated/economics.* a do dat webu.

Co to znamená

Žádné číslo o tokenech, kontextu či nákladech se k čtenáři nedostane, pokud je nevytvořily zaznamenané důkazy. Ručně psaná próza, která takové číslo uvádí, se odmítne, a tvrzení vázané na metriku nemůže být guaranteed, dokud důkazy té metriky neobstojí.

Princip

majordomus economics check provádí dvě kontroly. První prochází každý ručně psaný dokument, stránku, datový soubor webu a větu tvrzení a hledá veličinu (procento, násobitel jako „3x méně“) ve stejné větě jako slovo slovníku ekonomiky. Generované soubory jsou vyňaty, protože jejich čísla pocházejí z kalkulátoru. Druhá čte tvrzení, která metodika váže k metrikám: vázané tvrzení smí být guaranteed jen dokud je jeho metrika verified (vzorkované důkazy splňující pravidlo publikace) nebo measured (deterministické důkazy) a aktuální. Důkazy, které zastarají, berou s sebou záruku. Každý nález je jmenován; návratový kód je 10.

Jak to vidět

majordomus economics check
majordomus economics check --format json | jq '.findings'

Co nepokrývá

Čte text, ne význam: tvrzení formulované bez veličiny nebo veličina ve větě, která nejmenuje nic ze slovníku, projde. Pokrývá soubory, které repozitář publikuje, ne to, co kdo říká jinde.

Proč existuje

Každý směrovací dokument, který jsme při návrhu tohoto nástroje studovali, uváděl čísla zlepšení bez jakéhokoli měření. Pravidlo proti tomu je tak silné, jak silná je kontrola, která ho vynucuje.

Detail vykreslen z docs/claims/economics-claims-gated.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Veličina o tokenech, kontextu nebo nákladech zapsaná do ručně psané prózy je odmítnuta a tvrzení vázané na metriku nelze zaručit, dokud její důkazy neobstojí

    Provedeno na Ekonomika, Doctor.

  2. 2 · kanonické tvrzení

    economics-claims-gateddeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    apps/majordomus-cli/src/economics/claims.rs

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

    Test: test/cases/431_economics_claims_gated.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 431_economics_claims_gated

Kde se toto tvrzení používá

pokryté odpovědnosti

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