I0822 — Každý kanonický soubor se na jeden příkaz zploští nejvýše jednou

✕BLOKOVÁNO vlna 3 · 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 případ, který spustí doctor, watch, context a plan validate pod MJ_TIMING a ověří, že počet yaml_flatten nikdy nepřekročí počet různých kanonických souborů, které příkaz čte.

Proč

Toto je podoba invariantu bez přestavby na každý požadavek pro shellový nástroj: opakovaná práce je strukturální a čítač ji zachytí tam, kde hodiny nemohou.

Aktuální stav

doctor zplošťuje 181krát pro repozitář s menším počtem kanonických souborů.

Cílový stav

Počítadlo se rovná počtu odlišných souborů na příkaz a případ selže, když se validátor vrátí k opětovnému zplošťování.

Rozsah

• test/cases
• lib/common.sh

Závislosti

• I0818✓HOTOVO Registr příkazů se čte jedním průchodem
• I0819✓HOTOVO Model projektu se načítá jedním zploštěním na soubor a bez vyhledávání po souborech
• I0820○PŘIPRAVENO Validátory katalogu, DAG, kontextu a povrchu příkazů čtou své vstupy jednou

Co na tom čeká

• I0831✕BLOKOVÁNO Tvrzení o výkonu v jejich prokázaném stavu
• I0835✕BLOKOVÁNO CI spouští strukturální kontroly výkonu

Kritéria přijetí

• Případ 78 na tomto repozitáři projde a selže na mutaci, která znovu zploští uvnitř smyčky

Validace

• bash test/run.sh 78_flatten_once

Požadované důkazy

• batch_reads

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

Některé validátory legitimně zplošťují soubor dvakrát v různých tvarech; případ jmenuje povolené výjimky výslovně místo tolerování rezervy.

Č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/I0822.yaml. Načtěte ho zpět pomocí majordomus plan show I0822.