knowledge observe zapíše jeden řádek ledgeru observation.recorded s jeho druhem, tématem, tvrzením a typovanými odkazy na důkazy, uvnitř otevřené epizody, uvnitř úlohy či mimo ni, a odmítne jakýkoli jiný tvar nebo nepřítomnost epizody, aniž by cokoli zapsal

deklarovaný stav○deklarovaný 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ůkazy○zaznamenané 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

Druhy jsou friction, workaround, defect, drift a repetition. Subjekt je cesta relativní k repozitáři bez „..“ nebo capability:, rule:, command:, gate: následované identifikátorem; odkaz na důkaz je file:, test:, commit:, issue: nebo claim: následované tím, co jmenuje. Výrok přes více řádků nebo začínající jako replika konverzace se odmítá. Nevalidní pozorování skončí kódem 2; pozorování zaznamenané bez otevřené epizody skončí kódem 10 s odkazem na session start, protože deriver vybírá řádky podle razítka epizody. Každé odmítnutí nechá knihu, jaká byla. Pozorování se na hranici epizody odvodí do kandidáta (ADR 0118).

majordomus knowledge observe --kind friction --subject scripts/site-build \
  --evidence commit:bf9b27caeb "a moved head composes a stale rustdoc surface"
majordomus history --event observation.recorded
majordomus knowledge observe --kind annoyance --subject lib "x"; echo "exit $?"   # 2, nothing written

Detail vykreslený z docs/claims/a-session-records-what-it-observed.md.

Od tvrzení k důkazu

1. 1 · veřejné tvrzení

   knowledge observe zapíše jeden řádek ledgeru observation.recorded s jeho druhem, tématem, tvrzením a typovanými odkazy na důkazy, uvnitř otevřené epizody, uvnitř úlohy či mimo ni, a odmítne jakýkoli jiný tvar nebo nepřítomnost epizody, aniž by cokoli zapsal

   Vytvořeno na Layer.

2. 2 · kanonické tvrzení

   a-session-records-what-it-observed○deklarovaný 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/980_a_session_records_what_it_observed.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.

bash test/run.sh 980_a_session_records_what_it_observed

Kde se toto tvrzení používá

Související tvrzení stejná implementace

• ○deklarovaný stav: zaručeno Koncová událost providera a jeho událost komprese odvodí znalosti, které epizoda vytvořila, do kandidátních záznamů pod sledovaným stromem, z ledgeru a gitu a nikdy z konverzace, ať už je úloha aktivní, nebo ne, a zaznamenají do ledgeru, že tak učinily
• ○deklarovaný stav: zaručeno Druhé odvození nad týmiž důkazy nic nezapíše, řekne to a pracovní strom nechá beze změny; id záznamu se odvozuje z epizody a otisku důkazů, takže stejný fakt vždy přistane ve stejném souboru
• ○deklarovaný stav: zaručeno Každý záznam znalostí je validní vůči schématu bez neznámého klíče, jednoznačně identifikovaný, při stavu verified podložený důkazy, rozlišuje každý odkaz, který jmenuje, a nenese žádnou konverzaci; check, doctor a `majordomus knowledge check` záznam, který takový není, odmítnou
• ○deklarovaný stav: zaručeno Repozitář, v němž se epizody uzavírají a do prahu zastarání nenásleduje žádné odvození znalostí, doctor a watch ohlásí jako zastavený zapisovač a nález zmizí, jakmile se odvození zapíše
• ○deklarovaný stav: zaručeno verified zapisuje jen promote s důkazy na stdin nebo člověk, který soubor upraví, nikdy deriver; povýšení přesune záznam do curated/ a zamítnutí ho nahradí s uvedeným důvodem, přičemž každé zanechá řádek v ledgeru
• ○deklarovaný stav: zaručeno Každé pozorování, které epizoda zaznamenala, se na jejím konci a bez modelu stane vlastním kandidátem, který říká, čeho se týká, a knowledge candidates seskupí záznamy o jednom předmětu s epizodami, které za nimi stojí; epizoda, která nic nepozorovala, zaznamená, že nic nenašla
• ○deklarovaný stav: zaručeno Každý kandidát odvozený z pozorování nese trasu — platform, enforcement, generator, documentation nebo project — odvozenou ze struktury jeho předmětu a nikdy z jeho formulace, a v repozitáři, který nástroj převzal, jeho vlastní share/ trasuje do project
• ○deklarovaný stav: zaručeno Víc kandidátů, než dovoluje strop politiky, nebo kandidát starší než věk daný politikou je doporučující nález doctoru, který je jmenuje; obě čísla jsou deklarována jednou v politice