Poradci, kteří se neshodnou, nikdy nerozhodují počtem: závěr je odmítnut, dokud je neshoda nad jeho posouzením nevyřešená, vyřešení vyžaduje důkazy a každá obdržená odpověď musí být zvážena

Když se rady rozcházejí, rozchod je záznam: stanoviska, předpoklady, ze kterých

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 nechá zvítězit menšinový postoj, jakmile spor rozhodne experiment.

Co to znamená

Když se rady rozcházejí, rozchod je záznam — pozice, předpoklady, na nichž se dělí, a otázka, která rozhoduje — a rozhodnutí počká na důkazy. Shoda dvou poradců je důkaz o shodě; sama o sobě nic nerozhoduje.

Princip

Zapisovač (apps/majordomus-cli/src/reasoning/store.rs) odmítne závěr u posouzení s nevyřešeným nesouhlasem, odmítne řešení, které necituje žádné důkazy, a odmítne závěr, který vynechává odpověď, již jeho posouzení obdrželo (může ji odmítnout v rejected, nesmí ji ignorovat). Počet revizí se počítá z citovaných konzultací; není pole, které by jej šlo napsat.

Jak to vidět

majordomus reasoning record --file disagreement.json
majordomus reasoning explain <conclusion-id>   # the experiment is in the chain

test/cases/732_disagreement_is_settled_by_evidence.sh se poradí se dvěma skriptovanými advisory, kteří se neshodnou, je odmítnuto, dokud se dvě ze tří pozic shodují, a po experimentu uzavře pozicí menšiny.

Co nepokrývá

Nemůže posoudit, zda byl experiment dobrý. Dělá z experimentu a jeho důkazů součást záznamu, kde je může posoudit recenzent.

Proč existuje

Většinové hlasování modelů je způsob selhání naivní vícemodelové revize: odměňuje korelované chyby. Řešením je učinit počet neschopným cokoli rozhodnout (ADR 0098).

Podrobnosti vykresleny z docs/claims/advice-is-weighed-not-counted.md.

Od tvrzení k důkazu

1 · veřejné tvrzení

Poradci, kteří se neshodnou, nikdy nerozhodují počtem: závěr je odmítnut, dokud je neshoda nad jeho posouzením nevyřešená, vyřešení vyžaduje důkazy a každá obdržená odpověď musí být zvážena

Vytvořeno na Reasoning.
2 · kanonické tvrzení

advice-is-weighed-not-counteddeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

apps/majordomus-cli/src/reasoning/store.rs
4 · test a scénáře
Test: test/cases/732_disagreement_is_settled_by_evidence.sh
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 732_disagreement_is_settled_by_evidence