I2716 — Případ odvozuje své rozpočty a seznamy z toho, co testuje, a nikdy je nepřipíná
Zabránit tomu, aby případ selhal jen proto, že jeho předmět vyrostl: rozpočet, počet nebo seznam jmen, které případ uvádí ručně, se odvozuje z modelu nebo nese rezervu a důvod, proč platí.
HOTOVO vlna 0 · p2 · profil implementation · bezpečné souběžně
Součást M004 — Výkon je spustitelný důkaz a horká cesta nedělá žádnou kanonickou práci dvakrát.
Cíl
Zabránit tomu, aby případ selhal jen proto, že jeho předmět vyrostl: rozpočet, počet nebo seznam jmen, které případ uvádí ručně, se odvozuje z modelu nebo nese rezervu a důvod, proč platí.
Proč
2026-10-14: master 2d226f0836 zčervenal v suite-shard (2), protože případ 130 porovnával tři povrchy při ručně připnutém rozpočtu 4000 tokenů a vrstva governance čerstvého init narostla na 4023, když #1143 přidalo 235 bajtů do nasazeného rozsahu; téhož dne případ 94 shodil větev, protože kontrola release-record-cases vypisuje své případy ručně a nový případ pojmenoval záznam release. Obojí bylo opraveno ručně v #1145 (rozpočet 16000 s komentářem; případ 3021 přidán do seznamu).
Aktuální stav
Případy volně připínají čísla a seznamy; ruční seznam kontroly (release-record-cases) a doslovný rozpočet případu se najdou, až když se rozbijí.
Cílový stav
The release-record-cases list is checked against the cases that name a release-record path by a structure gate (scripts/ci/release-record-cases-check), not only by case 94. Reporting a hand-pinned budget without a stated margin moved to I2846 (2026-10-21), so this issue closes on the listing alone.
Rozsah
- scripts/liveness-check
- .ai/repo/ci/gates.yaml
- test/cases
Mimo rozsah
- Reporting a literal budget, count or size a case compares against a product's output without a comment giving its margin: I2846, split off on 2026-10-21 when this issue's first half was found on master and the second was not.
Závislosti
Žádné. Tento úkol je kořenem grafu.
Kritéria přijetí
- Přidání případu, který jmenuje záznam release a nevypíše ho, selže na kontrole struktury, ne jen na případu 94
Validace
- bin/majordomus plan validate
Požadované důkazy
- release_record_listing_case
Důkazy
| pokrývá | typ | command | výsledek | u commitu |
|---|---|---|---|---|
| release_record_listing_case | ci | validate run 39438896504 at master 9a5a9b77520: structure job 118758922399 runs scripts/ci/release-record-cases-check (27 cases name the release record, each run by release-record-cases); suite-shard (1) job 118683336189 runs 3033_a_release_record_case_is_listed_by_a_structure_gate (11e53f5a451) | success (the run's only red job is pages, which runs no test) | 573df96 |
Časová osa
- zahájeno
- 2026-10-14T22:50:08Z
- ověřeno
- 2026-10-20T22:20:19Z
- dokončeno
- 2026-10-20T22:21:05Z
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/I2716.yaml. Přečtěte jej zpět pomocí majordomus plan show I2716.