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.

Přes která rozhraní je funkce zpřístupněna, co za ní stojí a na co odpovídá, se odvozuje z registrů, které tato fakta vlastní, nikdy se nepíše ručně, a zdrojový soubor, který některé zapíše, schéma odmítne

Soubor funkce obsahuje dvě věci: **reference** jmenující, z čeho funkce sestává, a

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

Soubor funkce obsahuje pouze odkazy a redakční rozhodnutí. Povrchy plynou z toho, na co se promítají její moduly, příkazy a druhy, počty z registru a indexu, okamžiky z katalogu why, cesta z id. Schéma nastavuje additionalProperties false, takže `surfaces:` nebo `route:` ve funkci je chyba validace, ne tvrzení, kterému stránka uvěří.

Co to znamená

Soubor funkce drží dvě věci: odkazy pojmenovávající, z čeho se funkce skládá, a redakční rozhodnutí, která nelze nic odvodit. Vše, co povrch o funkci uvádí, se odvozuje z těchto odkazů — rozhraní, jimiž je zpřístupněna, nástroje, trasy a cesty příkazového řádku za ní, kolik objektů jejích druhů vrstva drží, třída každého pravidla a stav každého tvrzení, provozní okamžiky, na které odpovídá, funkce, které ji jmenují, a její vlastní trasa.

Zdrojový soubor nic z toho zapsat nemůže. Schéma nastavuje additionalProperties: false, takže surfaces: [cli, api, mcp] nebo route: /features/<id>/ ve funkci je chyba validace, nikoli tvrzení, kterému stránka věří.

Princip

apps/majordomus-cli/src/product.rs odvozuje rozhraní z registru, ne ze souboru: cli, když modul, který funkce jmenuje, má cestu příkazového řádku nebo funkce jmenuje příkaz shellu, api, když modul má trasu HTTP, mcp, když modul má nástroj nebo zdroj nebo funkce jmenuje druh, cockpit, když jmenuje oblast nebo modul s ní, docs, když jmenuje dokument. Funkce si tedy nemůže nárokovat povrch, který registr nemá, a získá jej v okamžiku, kdy jej registr získá.

Editorská pole jsou ta, která nelze nic odvodit: titulek, shrnutí, pořadí, zda je homepage zobrazuje, a provozní oblasti a publika katalogu Why, který obsluhuje — vlastní taxonomie onoho katalogu, znovu použité, ne deklarované podruhé.

Jak to vidět

majordomus product show worktrees --format json | jq '.surfaces, .counts'
grep -c surfaces .ai/repo/features/worktrees.md   # 0: the file declares none
majordomus product validate                       # refuses a derived key with its schema message
cargo test -p majordomus-cli --test product

Co nepokrývá

Které funkce tvoří pro návštěvníka jeden příběh a které z nich domovská stránka ukazuje první, je redakční věc a píše se. Odvozování kapitol — řekněme jedné na modul schopností — bylo zamítnuto: modul je hranice implementace, ne příběh, a příkazy shellového nástroje nejsou žádný modul.

Snímky obrazovky, které kapitola Cockpitu ukazuje, pokud nějaké ukazuje, zůstávají zachycenými důkazy, a ne odvozením, a jsou vázány jen na jmenování tras, které topologie má.

Proč existuje

surfaces: [cli, api, mcp] napsané člověkem je tvrzení a registr už zná odpověď. To jediné pole je celá vada, kterou měl model odstranit: správné v den napsání, špatné u prvního modulu, který získá routu, a nic si toho nevšimne.

Detail vykreslený z docs/claims/product-surfaces-derived.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Přes která rozhraní je funkce zpřístupněna, co za ní stojí a na co odpovídá, se odvozuje z registrů, které tato fakta vlastní, nikdy se nepíše ručně, a zdrojový soubor, který některé zapíše, schéma odmítne

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

  2. 2 · kanonické tvrzení

    product-surfaces-deriveddeklarovaný 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.