I2478 — Pravidlo otevírá svůj důkaz: co tvrdí, testy, které jej prokazují, co chybí, a pravidla kolem něj

✓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é pravidlo (/ui/governance?rule=<id>) do inspektoru z rules.show: co stanoví, jak se vynucuje, každý test, který ho dokládá, se stavem důkazu, kontroly, které je spouštějí, co ještě chybí k jeho doložení a pravidla, na kterých závisí a která ho vyžadují, každé jako odkaz.

Proč

Vlastník 2026-10-11 požádal o implementaci každého pohledu ze snímků obrazovek UI, maximálně interaktivně (správa balíčku v3 M10). Obrazovka Governance uvádí 165 pravidel jako řádky, které nic neotevírají, a její sloupec pravidla četl pole, které zpráva podává jako objekt, takže řádek ani nejmenoval své pravidlo; rules.show už jedno pravidlo spojuje s jeho důkazem.

Aktuální stav

Pravidlo je řádek obrazovky Governance, který nic neotevírá a nejmenuje své pravidlo.

Cílový stav

?rule=<id> se ptá rules.show a otevře inspektor nad obrazovkou Governance: identitu pravidla, titul, třídu, stav a stav důkazu, jeho prohlášení, co jeho stav důkazu znamená, jak je vynucováno (režim a validátor), jeho kontroly, pravidla, na nichž závisí a která je vyžadují (každé je odkaz), kde je deklarováno, každý test, který ho dokazuje, s jeho stavem a významem, a co ještě chybí k jeho důkazu. Řádky Governance jmenují každé pravidlo jeho id a titulkem a vedou k jeho inspektoru. Pravidlo, které index nedrží, se ukáže jako odmítnutí schopnosti; hodnota, která není id pravidla, se nikdy nedotazuje.

Rozsah

• apps/majordomus-cli/src/ui/rule.rs
• apps/majordomus-cli/src/ui/governance.rs
• apps/majordomus-cli/src/ui/mod.rs
• .ai/repo/project/issues/I2478.yaml
• docs/MAJORDOMUS_UI.md
• test/cases/1083_a_rule_opens_its_proof.sh

Závislosti

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

Co na tom čeká

• I2481✓HOTOVO UI odkazuje na každou entitu, kterou jmenuje, a říká žádné, kde zdroj nemá hodnotu

Kritéria přijetí

• ?rule=<id> otevře inspektor s tím, co jej dokazuje, a okolními pravidly jako odkazy
• řádky Governance jmenují každé pravidlo a vedou k jeho inspektoru
• neznámé pravidlo se vyslovuje jako odmítnutí schopnosti a hodnota, která není id, se nikdy nedotazuje

Validace

• cargo test --lib ui::rule
• test/run.sh 1083_a_rule_opens_its_proof

Požadované důkazy

• ui_rule_unit_tests
• ui_rule_case_1083

Důkazy

Časová osa

zahájeno

2026-10-12T11:01:34Z

ověřeno

2026-10-12T11:01:39Z

dokončeno

2026-10-12T11:01:50Z

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