Záměr, jehož kritérium jmenuje důkaz, který se nikam nevyřeší, se odmítne s uvedením jména

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

`majordomus intent validate` skončí s kódem 10 a `unresolved_evidence_ref`, který jmenuje záměr, a spouští jej kontrola intent-check. Milník nebo položka správy, která se nerozřeší na nic, je odmítnuta stejně. Odkaz na nic by jinak navždy vypadal jako plánovaný záměr.

majordomus intent validate                 # every finding; exit 10 when any is a failure
majordomus intent validate --format json

Detail vykreslen z docs/claims/intent-links-resolve.md.

Od tvrzení k důkazu

1. 1 · veřejné tvrzení

   Záměr, jehož kritérium jmenuje důkaz, který se nikam nevyřeší, se odmítne s uvedením jména

   Učiněno na Planning, Plan.

2. 2 · kanonické tvrzení

   intent-links-resolve○deklarovaný 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.

bash test/run.sh 367_an_intent_is_satisfied_only_by_evidence

Kde se toto tvrzení používá

Související tvrzení stejná implementace

• ○deklarovaný stav: zaručeno Fáze záměru se odvozuje z milníků, které jej realizují, a každé kritérium z ledgeru důkazů, a je splněn, jen dokud má každé kritérium aktuální úspěšný běh
• ○deklarovaný stav: zaručeno Položen před prací na úkolu, `intent preflight` jmenuje záměry, kterým úkol slouží, s platnou správou, nebo odmítne s uvedením příčiny