Milníky a úkoly jsou kanonické soubory repozitáře a klíč, který nikdo nečte, je chyba

deklarovaný stav○deklarovaný 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ůkazy○zaznamenané 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

Stejné pravidlo allowlist, pod kterým žijí politika a profily. Název souboru je id; záznam, který si odporuje se svým vlastním názvem souboru, je odmítnut, ne uveden do souladu.

printf 'estimate: 3d\n' >> .ai/repo/project/issues/I0001.yaml
majordomus plan validate
# FAIL schema      I0001 — unknown keys: estimate  [reproduce: majordomus plan validate]

Detail vykreslený z docs/claims/project-schema.md.

Od tvrzení k důkazu

1. 1 · veřejné tvrzení

   Milníky a úkoly jsou kanonické soubory repozitáře a klíč, který nikdo nečte, je chyba

   Učiněno na Planning, Plan.

2. 2 · kanonické tvrzení

   project-schema○deklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

3. 3 · implementace

   lib/project.sh

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

   Test: test/cases/40_project_model.sh

   Provedeno v Úkol dokončete, jen když existují jeho důkazy, Plán veďte jako milníky a úkoly, které nástroj umí validovat.

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.

bash test/run.sh 40_project_model

Kde se toto tvrzení používá

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

• → přečetl tři plány rozvoje jednoho projektu a nevěřil žádnému Plán vedený v próze je snímek a každá jeho kopie se rozchází svým tempem; uložený stav je tvrzení, které platí i poté, co se svět pohnul.
• → našel podstatnou změnu, kterou nikdy nepožadoval žádný úkol, ticket ani plán Práce přichází bez vymezeného kontraktu, takže její rozsah, kritéria přijetí i vlastnictví se rozhodují až zpětně.