I0826 — bench --check odmítne regresi podle politiky
Porovnat čerstvý běh se základní hodnotou podle prahů benchmark.regression z politiky (relativní p50, p95, p99) a skončit nenulovým kódem, který pojmenuje příkaz, metriku, obě hodnoty a práh.
HOTOVO vlna 4 · 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
Porovnat čerstvý běh se základní hodnotou podle prahů benchmark.regression z politiky (relativní p50, p95, p99) a skončit nenulovým kódem, který pojmenuje příkaz, metriku, obě hodnoty a práh.
Proč
Bez kontroly dorazí další pomalý validátor nepovšimnut, přesně jako ty současné.
Aktuální stav
Neexistuje žádné srovnání.
Cílový stav
Deterministická zpráva: metrika, základ, aktuální hodnota, absolutní a relativní delta, práh, výsledek; nekompatibilní základy se hlásí jako nesrovnatelné, ne jako číslo.
Rozsah
- lib/bench.sh
- share/allow/policy.txt
- share/skeleton/policy.yaml
- .ai/repo/policy.yaml
- test/cases/82_bench_check.sh
Mimo rozsah
- Testování významnosti
Závislosti
Co na tom čeká
- I0830HOTOVO docs/PERFORMANCE.md, README, CONTRIBUTING a reference CLI
- I0831BLOKOVÁNO Tvrzení o výkonu v jejich prokázaném stavu
- I0835BLOKOVÁNO CI spouští strukturální kontroly výkonu
- I0838PŘIPRAVENO bench compare a report největších regresí
Kritéria přijetí
- Základní hodnota upravená tak, aby aktuální běh byl regresí, způsobí, že kontrola skončí nenulově s pojmenovanou metrikou
- Kompatibilní běh v mezích prahů projde
- Základní linie s jinou verzí schématu není srovnatelná
Validace
- bash test/run.sh 82_bench_check
Požadované důkazy
- regression_refused
Důkazy
| pokrývá | typ | command | výsledek | u commitu |
|---|---|---|---|---|
| regression_refused | test | bash test/run.sh 82_bench_check | případ 82 tvrdí, že --check končí kódem 12 bez základní hodnoty, 15 pro základní hodnotu jiného schématu, 0 s řádky OK, když se tentýž příkaz změří dvakrát na jednom stroji, 10 s řádky FAIL jmenujícími p50, p95 a p99, obě hodnoty a práh politiky, když se základní hodnota upraví na tvrzení o jedné milisekundě, že zvýšení benchmark.regression.p50 v politice změní tutéž úpravu v průchod a že cíl, který základní hodnota nezná, je INFO a nikdy se neporovnává; řádky základní hodnoty se dostanou k awk souborem, protože BSD awk odmítá nový řádek v hodnotě -v | next |
Riziko
Prahy žijí v politice a čtou se jako každý jiný klíč politiky: deklarovány, bez výchozí hodnoty na straně čtenáře.
Časová osa
- zahájeno
- 2026-09-05T03:47:33Z
- ověřeno
- 2026-09-05T03:47:33Z
- dokončeno
- 2026-09-05T03:47:33Z
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/I0826.yaml. Přečtěte jej zpět pomocí majordomus plan show I0826.