Co to znamená
Konzultace snižuje opakované uvažování místo jeho násobení. Pozdější relace čte, co se rozhodlo, na jakých důkazech a kdo to posoudil, a neptá se znovu na totéž, pokud se neobjevilo něco, co dříve nevěděla.
Princip
Záznamy žijí v úložišti uvažování checkoutu. reasoning.status (apps/majordomus-cli/src/reasoning/state.rs) odvozuje report, který majordomus context tiskne pod REASONING a majordomus handover --derive zapisuje pod Reasoning. Plán pro posouzení, jehož předmět odpovídá předmětu s platným závěrem, vrátí reuse_prior a nevybere nikoho, pokud posouzení nedeklaruje new_evidence; nový závěr pak jmenuje starý v supersedes.
Jak to vidět
majordomus context # ## REASONING — Decision …, reviewed by …
majordomus handover --resolve # # Reasoningtest/cases/734_reasoning_survives_the_session.sh předá z relace A do relace B, dokáže, že B nikoho nekonzultuje, pokračuje a validuje a znovu se otevře při nových důkazech.
Co nepokrývá
Subjekty se párují podle normalizovaného textu, ne podle významu; dvě formulace jedné otázky jsou dva subjekty. Záznamy jsou stav checkoutu: jiný stroj je vidí přes předávku publikovanou přes mesh, ne čtením úložiště.
Proč existuje
Rozhodnutí, jehož důvody žijí jen v dokončené konverzaci, znovu objeví každá relace, která na ně narazí, za cenu dalšího kola konzultací (ADR 0098).