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.

Každé pozorování zaznamenané epizodou se na jejím konci a bez modelu stane vlastním kandidátem, který říká, o čem je, a knowledge candidates seskupí záznamy o jednom tématu s epizodami, které za nimi stojí; epizoda, která nic nepozorovala, zaznamená, že nic nenašla

Když epizoda skončí, každé pozorování, které zaznamenala příkazem knowledge observe, se stane kandidátem znalostí (pozorovaným poučením čekajícím na posouzení), který říká, čeho se týká, bez modelu a bez toho, že by se kdokoli ptal. knowledge candidates seskupuje záznamy o jednom předmětu, takže tatáž vada viděná třemi relacemi se čte jako jedna skupina se třemi epizodami za sebou. Epizoda, která nic nepozorovala, nezapíše žádného kandidáta a přesto zaznamená knowledge.derived s written: 0: byla vyhodnocena a nic se nenašlo.

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

Id pochází z ADR 0091: epizoda následovaná otiskem druhu, subjektu a tvrzení, takže každý soubor patří jediné epizodě a nic se nečte, nesloučí a nezapisuje zpět. Odmítnutý záznam zůstává odmítnutý a pozdější pozorování jeho subjektu je nový kandidát uvedený vedle něj ve stejné skupině. Čtečka v Rustu knowledge_base.candidates odpovídá na stejné skupiny. ADR 0118.

Co to znamená

Když epizoda skončí, každé pozorování, které zaznamenala pomocí knowledge observe, se stane kandidátem znalostí — pozorovaným poučením čekajícím na přezkum — který říká, o čem je, bez modelu a bez toho, aby se někdo ptal. knowledge candidates seskupuje záznamy o jednom předmětu, takže tatáž vada viděná třemi relacemi se čte jako jedna skupina se třemi epizodami za sebou. Epizoda, která nic nepozorovala, nezapíše žádného kandidáta a přesto zaznamená knowledge.derived s written: 0: byla vyhodnocena a nic se nenašlo.

Princip

Tabulka deriveru získává jeden řádek (ADR 0118): observation.recorded dává lesson s epistemikou observed, about nastaveným na subjekt a route z něj odvozeným. Jeho id je id podle ADR 0091 — epizoda následovaná digestem druhu, subjektu a výpovědi — takže každý soubor patří jedné epizodě, druhá derivace nad stejným ledgerem nezapíše nic a dvě větve, které pozorovaly totéž, se sloučí bez konfliktu. Odkazy na důkazy, které se nyní vyřeší (commit, který git zná, trackovaný soubor nebo test), se připojí k derived_from; každý odkaz je uveden pod # Evidence. Seskupení se čte, nikdy nezapisuje: shellový výpis a knowledge_base.candidates seskupují kandidáty a odmítnuté záznamy podle about a každou epizodu uvádějí jednou.

Jak to vidět

majordomus session start
majordomus knowledge observe --kind defect --subject lib/a.sh "a.sh prints the wrong word"
majordomus session end                      # the boundary derives the candidate
majordomus knowledge candidates             # ... about lib/a.sh  route project  awaiting 1  rejected 0  episodes 1
majordomus knowledge candidates --json | jq '.groups'

Co nepokrývá

Nerozhoduje, zda je pozorování správné, ani podle něj nejedná: kandidáta zrevizuje, povýší nebo zamítne člověk či oprávněný agent. Tření, které ledger zaznamenává sám (task.refused, task.gate), se neodvozuje; které z těch řádků jsou tření, a ne nástroj, který pracuje, je pozdější rozhodnutí.

Proč existuje

.ai/repo/adrs/0118-a-session-leaves-what-it-observed-and-one-candidate-per-defect-is-routed.md: relace mají nástroj zlepšovat tím, že se používá, ne tím, že se jim řekne reflektovat, a opakující se defekt se musí číst jako jedna věc, aniž by jedna epizoda psala soubor druhé.

Detail vykreslen z docs/claims/an-observation-becomes-a-grouped-candidate.md.

Od tvrzení k důkazu

  1. 1 · veřejné tvrzení

    Každé pozorování zaznamenané epizodou se na jejím konci a bez modelu stane vlastním kandidátem, který říká, o čem je, a knowledge candidates seskupí záznamy o jednom tématu s epizodami, které za nimi stojí; epizoda, která nic nepozorovala, zaznamená, že nic nenašla

    Vytvořeno na Layer.

  2. 2 · kanonické tvrzení

    an-observation-becomes-a-grouped-candidatedeklarovaný stav: zaručeno v docs/CLAIMS.yaml

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

  3. 3 · implementace

    lib/knowledge.sh · majordomus knowledge

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

    Test: test/cases/981_an_observation_becomes_a_grouped_candidate.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 981_an_observation_becomes_a_grouped_candidate

Kde se toto tvrzení používá

pokryté odpovědnosti

Související tvrzení stejná implementace

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