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.

Majordomus uvažuje, rozhoduje, implementuje a ověřuje i bez jediného poradce: chybějící poradci se hlásí jako běžný stav, podstatná nejistota dostane strukturované lokální posouzení a závěr netvrdí, že proběhlo nezávislé posouzení

Pokud není nainstalován, nakonfigurován ani dosažitelný žádný z deklarovaných poradců, relace přesto

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

případ staví své prostředí od nuly (env -i, PATH obsahující jen git a node, žádné přihlašovací údaje), takže platí i na stroji, kde je nainstalován každý advisor.

Co to znamená

Bez nainstalovaného, nakonfigurovaného či dosažitelného jediného z deklarovaných poradců relace přesto projde celým workflow: zahájí úlohu, uvede podstatnou nejistotu s důkazy, naplánuje, dojde k závěru na lokálních důkazech, implementuje, ověří a předá. Každý poradce se hlásí s důvodem své nepřítomnosti (executable_not_found, credential_absent), uvažování se hlásí jako funkční a počet nezávislých posouzení v závěru je nula, nikoli posouzení, které se nikdy nestalo.

Princip

Dostupnost je čistá funkce přítomnosti (spustitelný soubor na PATH, nastavená proměnná s přihlašovacími údaji), režimu uvažování a zaznamenaných výsledků (apps/majordomus-cli/src/reasoning/availability.rs). Politika (apps/majordomus-cli/src/reasoning/policy.rs) bere nulu dostupných poradců jako plán: decide_locally, se strukturovaným lokálním přezkumem rozepsaným. Transport (scripts/advisor-consult) se nikoho neptá a končí s 0. Zapisovatel počítá počet přezkumů z konzultací, které závěr cituje, takže lokální závěr počítá nulu.

Jak to vidět

env -i PATH=/usr/bin:/bin majordomus reasoning advisors   # 0 available · N optional unavailable
majordomus reasoning plan --materiality high              # outcome decide_locally, local review steps

test/cases/730_reasoning_works_with_no_advisor.sh spouští workflow od začátku do konce, přes odvozenou předávku, a v režimech ci a offline.

Co nepokrývá

Nečiní lokální uvažování tak dobrým jako revize; činí jeho absenci explicitní. Nekontroluje, zda executor lokální kroky revize skutečně provedl — záznam říká, co bylo rozhodnuto a na základě jakých důkazů, a důkazy jsou to, co recenzent čte.

Proč existuje

Volitelní provideři jsou volitelní, jen pokud práce přežije jejich absenci. Workflow, který jen nespadne bez poradce a pak se zeptá člověka, co dělat, není nezávislý na providerovi (ADR 0098).

Detail vykreslený z docs/claims/reasoning-works-with-no-advisor.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Majordomus uvažuje, rozhoduje, implementuje a ověřuje i bez jediného poradce: chybějící poradci se hlásí jako běžný stav, podstatná nejistota dostane strukturované lokální posouzení a závěr netvrdí, že proběhlo nezávislé posouzení

    Vytvořeno na Reasoning.

  2. 2 · kanonické tvrzení

    reasoning-works-with-no-advisordeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    apps/majordomus-cli/src/reasoning/policy.rs

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

    Test: test/cases/730_reasoning_works_with_no_advisor.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 730_reasoning_works_with_no_advisor

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