I0831 — Tvrzení o výkonu ve svém doloženém stavu

✕BLOKOVÁNO vlna 5 · p0 · profil implementation · běží samostatně

Součást M004 — Výkon je spustitelný důkaz a horká cesta nedělá žádnou kanonickou práci dvakrát.

Cíl

Přidat do docs/CLAIMS.yaml tvrzení o odvozených cílech měření, oddělených studených a teplých distribucích, flatten-once, ekvivalenci cache a odmítnutí regrese, každé s uvedením svého případu, a znovu vygenerovat data webu.

Proč

Matice tvrzení je místo, kde se záruka uvede jednou a web ji čte.

Aktuální stav

Neexistuje žádné tvrzení o výkonu.

Cílový stav

Zaručená tvrzení pro to, co případy dokazují, plánovaná pro odložené, každé se stránkou tvrzení.

Rozsah

• docs/CLAIMS.yaml
• docs/claims
• docs/SITE_CLAIMS.md
• site/data/generated

Závislosti

• I0822✕BLOKOVÁNO Každý kanonický soubor se na příkaz zploští nejvýše jednou
• I0826✓HOTOVO bench --check odmítne regresi podle politiky

Co na tom čeká

• I0843✕BLOKOVÁNO Workflow výkonu je objevitelný a úplný

Kritéria přijetí

• Každé zaručené tvrzení jmenuje existující případ
• generate-site-data --check je synchronizováno

Validace

• scripts/generate-site-data --check

Požadované důkazy

• docs_integrated

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

Tvrzení označené guaranteed bez případu generátor odmítne.

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