I2477 — Tvrzení otevírá svůj důkaz: co ho rozhoduje, jeho poslední běh, co se od té doby změnilo, jak ho vidět znovu

✓HOTOVO vlna 2 · p1 · profil implementation · běží samostatně

Součást development-runtime — The runtime has a development surface.

Cíl

Nechat čtenáře majordomus ui otevřít libovolné tvrzení produktu (/ui/evidence?claim=<id>) do inspektoru z evidence.claim: co říká a kde, jeho stav a co znamená, běh za ním, co se změnilo od doby, kdy bylo dokázáno, příkaz, který jej reprodukuje, běhy, které drží ledger, a tvrzení, která jeho test také dokazuje, každé jako odkaz.

Proč

Vlastník 2026-10-11 požádal o implementaci každého pohledu ze snímků obrazovky UI, maximálně interaktivního (reference 09-evidence; stopa důkazů M10 balíčku v3). Obrazovka Evidence vypisuje tvrzení a zjištění jako řádky, které nic neotevírají, ačkoli evidence.claim už spojuje jedno tvrzení s jeho provedením, změněnými soubory, příkazem k reprodukci a sesterskými tvrzeními.

Aktuální stav

Tvrzení je řádek obrazovky Evidence; nic ho neotevře.

Cílový stav

?claim=<id> se zeptá evidence.claim na toto tvrzení a otevře jeho inspektor nad obrazovkou Evidence: jeho id, text, stav a status, význam jeho stavu, kde je vysloveno, co ho implementuje a co ho rozhoduje, jeho poslední běh (výsledek, sekundy, commit, strom) nebo že nikdy neběželo, soubory změněné od jeho dokázání, příkaz pro reprodukci, nejnovějších deset běhů jeho testu a tvrzení, která dokazuje tentýž test, každé jako odkaz na svůj inspektor. Řádky tvrzení a zjištění obrazovky Evidence vedou sem. Tvrzení, které matice nedeklaruje, se ukáže jako odmítnutí schopnosti; hodnota, která není id tvrzení, se nikdy nevyžaduje.

Rozsah

• apps/majordomus-cli/src/ui/claim.rs
• apps/majordomus-cli/src/ui/evidence.rs
• apps/majordomus-cli/src/ui/mod.rs
• .ai/repo/project/issues/I2477.yaml
• docs/MAJORDOMUS_UI.md
• test/cases/1082_a_claim_opens_its_proof.sh

Závislosti

• I2462✓HOTOVO UI má každou obrazovku a jeho mesh je graf, jehož uzly otevírají inspektor

Kritéria přijetí

• ?claim=<id> otevře inspektor s tím, co jej rozhoduje, jeho posledním během, jeho příkazem k reprodukci a tvrzeními, která jeho test dokazuje také, jako odkazy
• řádky tvrzení a nálezů na obrazovce Evidence k němu vedou
• nedeklarované tvrzení se uvádí jako odmítnutí schopnosti a hodnota, která není id, se nikdy nedotazuje

Validace

• cargo test --lib ui::claim
• test/run.sh 1082_a_claim_opens_its_proof

Požadované důkazy

• ui_claim_unit_tests
• ui_claim_case_1082

Důkazy

Časová osa

zahájeno

2026-10-12T11:01:09Z

ověřeno

2026-10-12T11:01:13Z

dokončeno

2026-10-12T11:01:25Z

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/I2477.yaml. Přečtěte jej zpět pomocí majordomus plan show I2477.