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.

Produkt je zařazen pod několik oblastí deklarovaných jednou jako soubory vrstvy; funkce jmenuje právě jednu a členové, rozhraní, záruky a případy užití každé oblasti se odvozují z funkcí, které ji jmenují, takže stabilní funkci nelze vynechat z mapy produktu, aniž by to model odmítl

Doména je jeden soubor Markdown pod .ai/repo/features/domains/: název, jedna věta

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

Doména neuvádí žádnou funkci. Stabilní funkce, která nejmenuje žádnou doménu, přestože nějaká je deklarována, nebo jmenuje doménu, která neexistuje, neprojde product validate; odstranění souboru domény ji odstraní z každé odpovědi (ADR 0104).

Co to znamená

Doména je jeden soubor Markdownu pod .ai/repo/features/domains/: název, slib vyjádřený jednou větou, selhání, na které odpovídá, a pořadí. Funkce jmenuje právě jednu doménu ve svém poli domain. Vše, co povrch o doméně říká — které funkce drží, rozhraní, kterých dosahují, záruky a případy užití za nimi, způsoby selhání, na které odpovídají, a její routa — se odvozuje z funkcí, které ji jmenují.

Model odmítá to, co by způsobilo, že mapa postavená na doménách lže vynecháním: stabilní funkci, která nepojmenovává žádnou doménu, zatímco nějaká je deklarována, doménu, která neexistuje, a stabilní funkci zařazenou pod doménu, která se neukazuje.

Princip

Druh domain je deklarován v share/kinds.yaml se svým JSON Schema a zdrojová třída domain objevuje jeho soubory přes index správy verzí. crate::product řadí každou funkci pod doménu, kterou jmenuje, a odvozuje pohled každé domény z jejích stabilních členů; product.domains to promítá do příkazové řádky, HTTP a MCP a product.json webu to přenáší přes allow-list (ADR 0104).

Jak to vidět

majordomus product domains                      # every domain, with its derived members
majordomus product list --domain <id>           # the features filed under one
majordomus product validate                     # refuses an unfiled or misfiled feature

Co nepokrývá

Zda je funkce zařazena do správné domény. Model kontroluje, že každá stabilní funkce jmenuje jednu doménu, která existuje a je zobrazena; která z nich funkci popisuje nejlépe, je produktový úsudek, který soubor zaznamenává a který nic neměří. Vlastní text domén — příslib a selhání, na které každá odpovídá — je autorský a podléhá kontrolám poctivosti a váhy webu jako každý jiný text, není odvozen.

Proč existuje

Produkt měl dva slovníky pro jednu mapu: oblasti why, které řadí funkci pod každé selhání, kterého se dotýká, a vlastní seskupení homepage, které žilo v šabloně. Čtenář z webu nepoznal, které funkce tvoří část produktu, a nová funkce se k žádné části nepřipojila, dokud někdo neupravil stránku. Doména je rozdělení, které funkce deklarují samy, takže mapa je projekce a funkce, která nedeklaruje nic, je odmítnuta, ne chybí.

Co to dokazuje

test/cases/800_product_domains.sh sestaví model proti fixture vrstvám: funkce zařazená pod doménu se v něm objeví, nezařazená nebo špatně zařazená stabilní funkce je odmítnuta s uvedením nejbližší domény, koncept domény nic neukáže a příkazový řádek, HTTP a MCP odpovídají toutéž hodnotou. apps/majordomus-cli/tests/product.rs drží počty domén na členech započítaných jednou a kontrola map v scripts/ci/homepage-check odmítne domovskou stránku, jejíž vykreslené domény, členové nebo stránky nejsou model.

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

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Produkt je zařazen pod několik oblastí deklarovaných jednou jako soubory vrstvy; funkce jmenuje právě jednu a členové, rozhraní, záruky a případy užití každé oblasti se odvozují z funkcí, které ji jmenují, takže stabilní funkci nelze vynechat z mapy produktu, aniž by to model odmítl

    Vytvořeno na Layer.

  2. 2 · kanonické tvrzení

    product-domains-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: test/cases/800_product_domains.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 800_product_domains

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.