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.

Relace si nemůže nárokovat revizi, kterou nedostala: konzultace musí jmenovat poradce, kterého vybral její zaznamenaný plán, revize závěru se počítá a reasoning check a doctor odmítnou padělaný záznam, vazbu na poskytovatele, přihlašovací údaje modelu v CI a odmítnuté tvrzení v dokumentu

„Zrecenzováno kým“ je fakt o záznamech, nikdy věta, kterou někdo napsal. Další z návrhu

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

negativní případ: každá vada je podstrčena a musí být pojmenována příkazem reasoning check (kód 10) i doctorem.

Co to znamená

„Zkontrolováno“ je fakt o záznamech, nikdy věta, kterou někdo napsal. Ostatní sliby návrhu — kód nezávislý na poskytovateli, žádný živý model v CI, žádné tvrzení, že rozhoduje konsenzus — se kontrolují, ne předpokládají.

Princip

Zapisovač připustí konzultaci jen pro advisora, kterého vybral snímek plánu, a počítá reviewed_by. reasoning check (apps/majordomus-cli/src/reasoning/check.rs) znovu čte každý uložený záznam — včetně těch zapsaných mimo zapisovač — a kontroluje také odkazy katalogu, adaptéry, zdroje nezávislé na providerovi, CI workflow a kontroly a dokumenty. doctor selže na svých zjištěních a chybějící advisory hlásí jen jako informaci.

Jak to vidět

majordomus reasoning check     # exit 10 on a finding
majordomus doctor              # FAIL reasoning … / INFO advisor … — optional

test/cases/736_reasoning_check_refuses_drift.sh zasadí každou vadu a očekává, že bude pojmenována.

Co nepokrývá

Nemůže člověku zabránit záznamy smazat; může jen odmítnout záznamy, které tvrdí víc, než citují. Drift tvrzení se porovnává s deklarovanými frázemi, ne s porozuměním.

Proč existuje

Počet posouzení, který může napsat kdokoli, je posouzení, které může vymyslet kdokoli, a nekontrolované pravidlo je dekorace (ADR 0098).

Detail vykreslený z docs/claims/review-is-never-fabricated.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Relace si nemůže nárokovat revizi, kterou nedostala: konzultace musí jmenovat poradce, kterého vybral její zaznamenaný plán, revize závěru se počítá a reasoning check a doctor odmítnou padělaný záznam, vazbu na poskytovatele, přihlašovací údaje modelu v CI a odmítnuté tvrzení v dokumentu

    Vytvořeno na Reasoning.

  2. 2 · kanonické tvrzení

    review-is-never-fabricateddeklarovaný 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/check.rs

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

    Test: test/cases/736_reasoning_check_refuses_drift.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 736_reasoning_check_refuses_drift

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