I1965 — Vstupní preflight čte jediný verdikt

○PŘIPRAVENO vlna 1 · p2 · profil implementation · bezpečné paralelně

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

Přesunout kontrolu verification.tests v entry preflightu na funkci čerstvosti a jeho kontrolu verification.enforcement na verdikt korpusu pravidel, čímž skončí jediná známá výjimka, kterou ADR 0087 pojmenovává v rozhodnutích 3 a 4. Závisí na PR #578 stejně jako na I1948, protože preflight existuje jen na #578.

Proč

Preflight navržený v PR #578 počítá běh jako aktuální podle vlastního filtru, bez testu obsažení, a přepočítává rules::report místo čtení RulesVerdict. Vykresluje ho vstupní briefing, přehled Cockpitu, /api/v1/environment/preflight i nástroj MCP majordomus_preflight, takže každý vstupní povrch nese druhé odvození proven.

Aktuální stav

Preflight existuje jen na PR #578 (feature/entry-proves-what-is-active). Jeho observe_ledger volá evidence::changed_since a páruje otisky bez testu obsažení; jeho enforcement_check porovnává počet prokázaných s počtem dlužných.

Cílový stav

observe_ledger posuzuje každý zaznamenaný běh funkcí čerstvosti, se zdrojem testu jako vstupem, na pracovním stromu: běh se počítá jako aktuální, jen když je dokázán, jako selhávající jen při selhání a přeskočení jako neběžel. enforcement_check říká verified, jen když je RulesVerdict proven. Cache si ponechává svůj otisk a nemění se žádná deklarace schopnosti ani schéma.

Rozsah

• apps/majordomus-cli/src/environment/preflight.rs
• test/cases

Mimo rozsah

• Deklarace schopnosti nebo změna výstupního schématu: pokud se jedna ukáže jako nutná, řez se zastaví a připojí se k řetězci schopností za I1953
• apps/majordomus-cli/src/evidence a apps/majordomus-cli/src/rules

Závislosti

• I1948✓HOTOVO Důkazy se posuzují k předložené revizi jedinou funkcí čerstvosti

Kritéria přijetí

• Běh zaznamenaný na commitu, který HEAD neobsahuje, s totožným stromem, není aktuální
• Korpus, jehož blokujícím pravidlem je jen inputs_unchanged, není verified
• Přeskočení se počítá jako neběželo, nikdy jako selhání
• Vstupní briefing a přehled Cockpitu vykreslují verdikt, který dává evidence show

Validace

• bash test/run.sh 529_the_preflight_reads_the_one_verdict

Požadované důkazy

• preflight_reads_the_one_verdict

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á.

Riziko

Začíná, až když jsou PR #578 a PR #597, nesoucí slice z I1948, oba na masteru. Název případu tomuto slicu přísluší potvrdit, až se napíše.

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