I3020 — Obrazovka Knowledge neuvádí o repozitáři nic, co by jeho checkout nemohl pozorovat
Tam, kde knowledge_base.status nepřečetl žádný řádek knihy relací (žádné uzavření, žádné odvození, žádné uzavření bez odvození), /ui/knowledge ukazuje dlaždice odvozené z knihy (Uzavřeno, neodvozeno; Nejnovější epizoda) jako „zde nezaznamenáno“ a jeho panel deriveru říká, že v tomto checkoutu není zaznamenána žádná kniha a kde se rozhoduje, místo „0“, „neznámé“ a „nikdy, v tomto checkoutu“.
HOTOVO vlna 0 · p0 · profil implementation · bezpečné souběžně
Cíl
Tam, kde knowledge_base.status nepřečetl žádný řádek knihy relací (žádné uzavření, žádné odvození, žádné uzavření bez odvození), /ui/knowledge ukazuje dlaždice odvozené z knihy (Uzavřeno, neodvozeno; Nejnovější epizoda) jako „zde nezaznamenáno“ a jeho panel deriveru říká, že v tomto checkoutu není zaznamenána žádná kniha a kde se rozhoduje, místo „0“, „neznámé“ a „nikdy, v tomto checkoutu“.
Proč
Publikovaný snímek /ui/knowledge (majordomus.dev, v0.29.0 na 707a04c7ce8) četl 'Closed, underived 0', 'Last derived: never, in this checkout', 'Last closed: never, in this checkout' a 'Judgement: not judged'. Runner Pages je čerstvý klon bez knihy relací; návštěvník to čte jako fakta o znalostní bázi repozitáře. Počty kandidátů jsou sledované záznamy a zůstávají, jak jsou čteny.
Aktuální stav
Obrazovka kreslí každé pole stavu tak, jak bylo přečteno, takže checkout bez ledgeru ukazuje nulu a nikdy ne jinak.
Cílový stav
Dlaždice nebo panel, jehož hodnota pochází z knihy záznamů relací, říká, že zde není zaznamenána, když čtení stavu nenašlo žádný řádek knihy; test v crate to připíná.
Rozsah
- apps/majordomus-cli/src/ui/knowledge.rs
Závislosti
Žádné. Tento úkol je kořenem grafu.
Kritéria přijetí
- V checkoutu bez účetní knihy relací dlaždice Closed, underived a Newest episode ukazují „nezaznamenáno zde“ a stále citují knowledge_base.status
- Panel deriveru tam nejmenuje žádné 'nikdy' a jako místo, kde se posuzuje, jmenuje majordomus knowledge status
- Checkout, jehož záznam drží uzavření, si ponechá své počty a úsudek tak, jak byly přečteny
Validace
- cargo test --lib ui::knowledge
- scripts/ui audit --only /ui/knowledge
Požadované důkazy
- knowledge_screen_reads_true
Důkazy
| pokrývá | typ | command | výsledek | u commitu |
|---|---|---|---|---|
| knowledge_screen_reads_true | ci | validate run 39438896504 at master 9a5a9b77520: rust (1-3) jobs 118683336143 118683336062 118683336401 run cargo test, incl. ui::knowledge::a_checkout_without_a_ledger_states_nothing_it_could_not_observe (4767d1be4fe, 6afb1240313) | success (the run's only red job is pages, which runs no test) | a81b1e3 |
Časová osa
- zahájeno
- 2026-10-20T16:14:31Z
- ověřeno
- —
- dokončeno
- 2026-10-20T16:24:44Z
Tato tři pole, důkazy výše a stav závislostí jsou vše, z čeho se stav skládá. Neexistuje žádné pole stavu, které by s nimi mohlo být v rozporu.
Kanonický záznam: .ai/repo/project/issues/I3020.yaml. Přečtěte jej zpět pomocí majordomus plan show I3020.