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ý veřejný příkaz je pojmenován a spouštěn aktivním případem užití, zaručené tvrzení nebo nástroj MCP bez něj je pojmenovaná mezera a politika říká, které mezery shodí doctor, check a finish

Schopnost, pro kterou nikdo nenapsal případ užití, je pojmenovaná mezera, ne ticho. Pro

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

Souhrn se počítá z registru příkazů, docs/CLAIMS.yaml, registru spustitelného souboru a případů užití pod .ai/repo/use-cases/; koncept se nikdy nezapočítává. Doktrína je majordomus.use-case-coverage, řízená politikou use_cases.coverage a klíčem finish use_cases_covered.

Co to znamená

Schopnost, pro kterou nikdo nenapsal případ užití, je pojmenovaná mezera, ne ticho. U každého veřejného příkazu registru příkazů, každého zaručeného tvrzení patřícího k odpovědnosti a každého nástroje MCP, který spustitelný soubor promítá, nástroj spočítá aktivní případy užití, které ho jmenují, ty, jejichž scénář ho spouští, a ty s prošlým důkazem. use_cases.coverage politiky říká pro každou třídu, zda je mezera required (selhání doctor, check, finish a usecase coverage --check), advisory (ohlášeno jednou se seznamem) nebo off. Koncept případu užití se nikdy nepočítá.

Princip

lib/usecase.sh: mj_uc_coverage_rows odvozuje cíle z share/commands.yaml (viditelnost public), docs/CLAIMS.yaml (stav guaranteed, odpovědnost ne none) a docs/generated/registry.json (každý tool) a porovnává je s případy užití načtenými jednou do proměnných; mj_validate_use_case_coverage je validátor doktríny majordomus.use-case-coverage, volaný z doctor, check a přes klíč dokončení use_cases_covered z finish; majordomus usecase coverage vypisuje tytéž řádky, --json pro stroje, --check skončí s kódem 10 při chybějícím povinném pokrytí.

Jak to vidět

majordomus usecase coverage                 # every target: use cases, executable, evidence, status, policy
majordomus usecase coverage --check         # exit 10 on a required gap
majordomus usecase scaffold --missing --dry-run

Co nepokrývá

Pokrytí je podle jména a provedení, ne podle smyslu: případ užití, který příkaz triviálně spustí, jej pokrývá. Vyprávění recenzuje člověk; sčítání říká, že příkaz má co recenzovat.

Proč existuje

Dokumentace, kterou nikdo nemusí psát, je dokumentace, která se nepíše. Když se jmenovatel počítá z registrů, přidání příkazu vytvoří jeho mezeru ve chvíli, kdy jej registr jmenuje, a finish odmítne práci označit za dokončenou, dokud jej nespustí nějaký případ užití.

Detail vykreslený z docs/claims/use-case-coverage.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Každý veřejný příkaz je pojmenován a spouštěn aktivním případem užití, zaručené tvrzení nebo nástroj MCP bez něj je pojmenovaná mezera a politika říká, které mezery shodí doctor, check a finish

    Vytvořeno na Use cases, Doctor.

  2. 2 · kanonické tvrzení

    use-case-coveragedeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    lib/usecase.sh · majordomus usecase

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

    Test: test/cases/94_use_cases.sh

    Provedeno v Přidat případ užití a nechat nástroj dokázat jej.

  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 94_use_cases

Kde se toto tvrzení používá

Související tvrzení stejná implementace

Okamžiky, na které to odpovídá

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