I1962 — Kontroly důkazů čtou nálezy subjektů a widgety

✕BLOKOVÁNO vlna 6 · p1 · profil implementation · běží samostatně

Součást test-evidence — Každé ověřitelné tvrzení a widget se na každém povrchu převádí na testovací důkaz vázaný na revizi.

Cíl

Udělat z nálezů o předmětech odmítající kontrolu s přepsáním základní hodnoty důkazů v téže změně a nechat validátor důkazů číst každý vykreslený widget, aby widget bez předmětu nebo počet napevno zapsaný v šabloně shodil CI (ADR 0087, rozhodnutí 10).

Proč

Nálezy subjektů zůstávají poradní, dokud je nečte gate, a ADR 0087 jmenuje tento validátor jako mechanismus proti widgetu bez subjektu a napevno zapsanému počtu.

Aktuální stav

scripts/evidence-check ratchetuje jen tvrzení; nálezy subjektů jsou poradní; žádná kontrola nečte widgety webu kvůli subjektu; lib/commands.sh a scripts/ci/command-furnished odvozují pokrytí příkazů v shellu.

Cílový stav

evidence-check odmítne nález subjektu za přepsanou základní linií; stabilní funkce bez důkazu a widget bez subjektu každý selže na kontrole jménem; čtečky pokrytí příkazů shellu čtou artefakt indexu, nebo jsou k němu případem vázány na rovnost.

Rozsah

• scripts/evidence-check
• .ai/repo/evidence-baseline.txt
• scripts/rust-coverage
• lib/commands.sh
• scripts/ci/command-furnished
• scripts/lib/evidence-widgets.mjs
• scripts/lib/interactions.mjs
• scripts/site-check
• .ai/repo/automation/inventory.jsonl
• .ai/repo/ci/gates.yaml
• .ai/repo/rules/project/no-stable-feature-without-a-test.v1.md
• .ai/repo/rules/project/a-widget-names-its-evidence-subject.v1.md
• .ai/repo/features/evidence.md
• .ai/repo/features/coverage.md
• docs/CLAIMS.yaml
• docs/claims
• test/cases

Mimo rozsah

• Oslabení ratchetu baseline

Závislosti

• I1960✕BLOKOVÁNO Každý widget pojmenovává svůj důkaz
• I1953✕BLOKOVÁNO Důkazy odpovídají podle subjektu, na každém povrchu
• I1952✓HOTOVO Subjekty důkazů se odvozují jednou, v Rustu

Co na tom čeká

• I1964✕BLOKOVÁNO Reference důkazů je zdokumentována a navázána na strom

Kritéria přijetí

• Nálezy předmětu odmítají a základní hodnota se přepíše v téže změně, s důvodem
• Vykreslený widget bez subjektu shodí validátor a jmenuje widget
• Počet nebo procento natvrdo zapsané v šabloně neprojde validátorem
• Čtečky pokrytí příkazů v shellu se shodují s indexem předmětů

Validace

• bash test/run.sh 522_evidence_check_reads_widgets
• bash test/run.sh 523_evidence_rules_are_gated
• scripts/evidence-check

Požadované důkazy

• subject_findings_refuse
• widgets_name_subjects

Důkazy

Nic nezaznamenáno. Za každým tokenem výše musí stát příkaz nebo artefakt, než lze tento úkol dokončit; vyprávění se odmítá.

Časová osa

zahájeno

—

ověřeno

—

dokončeno

—

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/I1962.yaml. Zpětně ho přečtete pomocí majordomus plan show I1962.