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.

Fáze záměru se odvozuje z milníků, které jej realizují, a každé kritérium z knihy důkazů; záměr je naplněn, jen dokud má každé kritérium aktuální úspěšný běh

Záměr pod .ai/repo/project/intents/ říká, co se musí stát pravdou, které invarianty musí zůstat pravdivé, které milníky ho realizují a která kritéria ho rozhodují, přičemž každé kritérium jmenuje důkaz, který o něm rozhoduje. To je vše, co ukládá. Jeho fáze — declared, planned, executing, verifying, satisfied — se při každém čtení zjišťuje z plánu a každé kritérium z knihy důkazů. Dokončená práce nesplňuje nic: záměr, jehož milníky jsou všechny DONE, je ve fázi verifying, dokud každé kritérium nemá aktuální úspěšný běh.

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: zastaralé 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

O záměru se neukládá nic kromě jeho výroku. Úspěšný běh při otevřeném milníku kritérium splňuje, ale nic neuspokojuje; uzavření milníku je uspokojí; změna testu po jeho běhu zastará důkazy a záměr se vrací k ověřování, a selhávající běh také není důkaz, to vše bez doteku souboru záměru. `majordomus intent list`, `intent show`, HTTP API a nástroje MCP odpovídají ze stejného odvození.

Co to znamená

Záměr (intent) v .ai/repo/project/intents/ uvádí, co se musí stát pravdou, invarianty, které musí zůstat pravdivé, milníky, které jej realizují, a kritéria, která o něm rozhodují, přičemž každé kritérium pojmenovává důkazy, které o něm rozhodují. Tohle prohlášení je vše, co ukládá. Jeho fáze — declared, planned, executing, verifying, satisfied — se při každém čtení čte z plánu a každé kritérium z ledgeru důkazů. Dokončená práce nesplňuje nic: záměr, jehož milníky jsou všechny DONE, je verifying, dokud každé kritérium nemá aktuální úspěšný běh.

Princip

apps/majordomus-cli/src/intent.rs spojuje záměr s odvozeným stavem každého milníku, který jmenuje, a každé kritérium s nejnovějším během testu nebo tvrzení, které jmenuje, v evidenci. Běh zaznamenaný vůči zdroji, který se od té doby změnil, je zastaralý a neúspěšný běh není důkaz; obojí nechává kritérium nesplněné. cancelled a superseded jsou jediné fáze, které může uvést sám záznam.

Jak to vidět

majordomus intent list                   # every intent with its derived stage
majordomus intent show intent-lifecycle  # each milestone's status and each criterion's evidence state

Stejné odvození odpovídá na GET /api/v1/intents i na nástroj MCP majordomus_intents.

Co nepokrývá

Kritérium rozhodnuté pomocí command nebo deployment se vyřeší, ale nikdy není splněno, protože účetní kniha zaznamenává pouze běhy testů a tvrzení (intent-command-deployment-evidence). Dokončení úlohy se neptá, zda je záměr, kterému slouží, naplněn.

Proč existuje

Stav zapsaný do záměru by byl dalším záznamem, který se může rozcházet s plánem a důkazy, jež shrnuje. Odvozování znamená, že soubor záměru zůstane bajt po bajtu stejný, zatímco se práce kolem něj hýbe, což test/cases/367_an_intent_is_satisfied_only_by_evidence.sh kontroluje v každém kroku.

Detail vykreslený z docs/claims/intent-stage-derived.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Fáze záměru se odvozuje z milníků, které jej realizují, a každé kritérium z knihy důkazů; záměr je naplněn, jen dokud má každé kritérium aktuální úspěšný běh

    Učiněno na Planning, Plan.

  2. 2 · kanonické tvrzení

    intent-stage-deriveddeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    apps/majordomus-cli/src/intent.rs

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

    Test: test/cases/367_an_intent_is_satisfied_only_by_evidence.sh

  5. 5 · zaznamenané běhy

    zaznamenané důkazy: zastaralé 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 367_an_intent_is_satisfied_only_by_evidence

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.