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á dovednost se validuje proti povolenému seznamu generovanému z jejího schématu, jejího adresáře, jejích sekcí a jejích referencí, porušení jmenuje soubor a každý důvod a repozitář bez dovedností se hlásí, ne propouští

majordomus skills check a také doctor a watch skrze doktrínu majordomus.skill-integrity zkoumají každou objevenou dovednost: žádný klíč front matter mimo schéma, schema: skill/v1, celočíselná version alespoň 1, status z draft, active, deprecated, id shodné s názvem adresáře a neprázdné sekce # Purpose, # Procedure a # Output. Napříč katalogem: žádné dvě dovednosti si nenárokují jedno id, každé related id pojmenovává dovednost a každý sledovaný příklad začíná nadpisem první úrovně. Každé porušení je FAIL, který najednou pojmenuje soubor i všechny důvody, a příkaz skončí s kódem 10. Výsledek končí tím, co bylo zkoumáno — dovednosti, příklady, reference — a repozitář bez dovedností dostane WARN, nikdy OK nad ničím.

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

`skills check` a doktrína majordomus.skill-integrity (spouštěná příkazy doctor a watch) provádějí jedno vyšetření – neznámé klíče, verze schématu, celočíselná verze, uzavřená množina stavů, id shodné s adresářem, neprázdné sekce Purpose, Procedure a Output, duplicitní id, popisy, které dvě dovednosti nerozliší, související id, která se dají vyřešit, příklady s nadpisem – a vypíšou počty toho, co prozkoumaly. Generátor webu odmítne sestavit web z dovednosti, která neprojde validací.

Co to znamená

majordomus skills check, a doctor a watch skrze doktrínu majordomus.skill-integrity, prověří každou nalezenou dovednost: žádný klíč front-matter mimo schéma, schema: skill/v1, celé číslo version alespoň 1, status z draft, active, deprecated, id shodné s názvem adresáře a neprázdné sekce # Purpose, # Procedure a # Output. V rámci katalogu: žádné dvě dovednosti si nenárokují jedno id, každé id related pojmenovává existující dovednost a každý sledovaný příklad začíná nadpisem první úrovně. Každé porušení je FAIL, které pojmenuje soubor a všechny důvody najednou, a příkaz skončí s kódem 10. Výsledek končí tím, co bylo prověřeno — dovednosti, příklady, reference — a repozitář bez dovedností dostane WARN, nikdy ne OK nad ničím.

Princip

mj_skills_examine v lib/skills.sh projde katalog jednou a pro každé porušení zavolá reportér; skills check předá prostý reportér FAIL, doktrína předá mj_doctrine_fail, který vezme třídu pravidla a pod watch se stane DRIFT s kódem 11. Test neznámého klíče čte share/allow/skill.txt, které majordomus generate allow odvozuje ze schématu, takže shellový nástroj odmítá přesně ty klíče, které odmítá validace JSON Schema spustitelného souboru v Rustu. scripts/generate-site-data provede stejné zkoumání a skončí kódem 10 dřív, než zapíše bajt, když selže jakákoli dovednost.

Jak to vidět

majordomus skills check
# OK   skill       1 skill(s) — every one parses, matches its directory and carries its sections
# OK   skill       5 reference(s) — every related id and every example resolves
# skills: 1 discovered, 1 valid; examples: 5; references: 5 checked; failures: 0
printf 'owner: me\n' >> .ai/repo/skills/repo-review/SKILL.md      # after the front matter's last key
majordomus skills check          # FAIL skill .ai/repo/skills/repo-review/SKILL.md — unknown front-matter key(s): owner ...; exit 10
majordomus doctor | grep skill   # the same finding, from the doctrine
git checkout .ai/repo/skills/repo-review/SKILL.md

Co nepokrývá

Ověřuje strukturu a odkazy, ne to, zda je postup dobrý; dobře utvořená dovednost, která radí špatně, projde. Příklady nespouští.

Proč existuje

Dovednost se načítá, jen když úloha je o tom, co pokrývá, takže rozbitou objeví worker, který ji potřeboval, uprostřed úlohy. Kontrola každé dovednosti při každém běhu doctor přesouvá objev do stromu, kde je soubor pojmenován a oprava je jedna úprava.

Detail vykreslený z docs/claims/skill-check.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Každá dovednost se validuje proti povolenému seznamu generovanému z jejího schématu, jejího adresáře, jejích sekcí a jejích referencí, porušení jmenuje soubor a každý důvod a repozitář bez dovedností se hlásí, ne propouští

    Vzniklo na Dovednosti, Doctor.

  2. 2 · kanonické tvrzení

    skill-checkdeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    lib/skills.sh · majordomus skills

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

    Test: test/cases/95_skills.sh

    Provedeno v Sledovat postup, který repozitář definuje, a přidat další.

  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 95_skills

Kde se toto tvrzení používá

pokryté odpovědnosti

Související tvrzení stejná implementace

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