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.

Práce realizující záměr se spojuje napříč relacemi, poskytovateli a předávkami a záměr, jehož milníky jsou všechny uzavřené, zatímco důkaz kritéria selhává, se odmítne s uvedením tohoto kritéria

Která práce realizuje záměr, se nikdy nezapisuje do úlohy, relace ani předávky. Spojuje se při každém čtení ze záznamů, které životní cyklus už vede: každá úloha s každou epizodou, která na ní pracovala, a providerem každé, předávky mezi nimi, uzavřené záznamy relací a nároky nástěnky peerů. Když plán říká, že každý milník záměru je DONE a zaznamenaný běh kritéria selhává nebo je zastaralý vůči případu, který se změnil, záměr je closed_work_contradicted a realizace skončí s 10 se jmenováním kritéria.

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

`majordomus intent realization` skončí s kódem 10 a `closed_work_contradicted` a spouští jej kontrola intent-realization; `intent explain` říká, proč záměr stojí tam, kde stojí. Každý odkaz říká, jak je znám: deklarovaný, pozorovaný, odvozený nebo usuzovaný. Uzavřená práce, která je pouze neprokázaná, a úkol uzavřený, zatímco kritérium, kterému slouží, není splněno, jsou varování, nikoli odmítnutí.

Co to znamená

Která práce záměr realizuje, se nikdy nezapisuje do úlohy, relace ani předávky. Spojuje se při každém čtení ze záznamů, které životní cyklus už vede: každá úloha s každou epizodou, která na ní pracovala, a poskytovatelem každé, předávkami mezi nimi, uzavřenými záznamy relací a claimy nástěnky peerů. Když plán říká, že každý milník záměru je DONE, a zaznamenaný běh kritéria selhává nebo je zastaralý vůči změněnému případu, záměr je closed_work_contradicted a realizace skončí kódem 10 s pojmenováním kritéria.

Princip

apps/majordomus-cli/src/intent_realization.rs (ADR 0075) váže každou jednotku práce na úkol a říká, jak je vazba známa — declared, observed, derived nebo inferred — a u každého úkolu ponechává nejsilnější. Kontrola intent-realization spouští majordomus intent realization nad sledovanými záznamy. intent explain převádí tentýž join na věty: fázi, každé kritérium a práci za ním.

Jak to vidět

majordomus intent realization                 # every intent, its unmet criteria, the work realising it
majordomus intent realization --intent <id>
majordomus intent explain <id>                # why it stands where it stands

Co nepokrývá

closed_work_unproven (každý milník HOTOVO, kritérium nikdy nedoložené), criterion_closed_unmet a živá práce, která neslouží žádnému záměru, jsou varování, ne odmítnutí. Nic znovu neotevře práci ani nevrátí workera k plánu: nález se ohlásí a kontrola selže.

Proč existuje

Uzavřený milník je výrok o trackeru, ne o realitě. test/cases/388_an_intent_is_realised_across_providers_and_held_to_reality.sh uzavře práci, zatímco případ selhává, opraví ji, znovu ji rozbije a opraví, přičemž soubor záměru je po celou dobu bajt po bajtu shodný, a realizace pokaždé následuje realitu.

Detail vykreslený z docs/claims/intent-realization-held-to-evidence.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Práce realizující záměr se spojuje napříč relacemi, poskytovateli a předávkami a záměr, jehož milníky jsou všechny uzavřené, zatímco důkaz kritéria selhává, se odmítne s uvedením tohoto kritéria

    Učiněno na Planning, Plan.

  2. 2 · kanonické tvrzení

    intent-realization-held-to-evidencedeklarovaný 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_realization.rs

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

    Test: test/cases/388_an_intent_is_realised_across_providers_and_held_to_reality.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 388_an_intent_is_realised_across_providers_and_held_to_reality

Kde se toto tvrzení používá

pokryté odpovědnosti

Prohledává názvy a popisy všech stránek, které tento web publikuje.