I0839 — watch zdědí každou opravu z doctor a vlastní rozpočet
Potvrdit, že watch předává přepsané validátory, změřit ho a deklarovat benchmark.budget.watch_ms vedle rozpočtu doctoru.
BLOKOVÁNO 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.
Blokováno. Tento úkol nemůže začít, dokud není I0828 hotov. Stav se z toho odvozuje, není deklarován.
Cíl
Potvrdit, že watch předává přepsané validátory, změřit ho a deklarovat benchmark.budget.watch_ms vedle rozpočtu doctoru.
Proč
watch sdílí validátory, takže se opraví toutéž prací, ale nic to nedokazuje.
Aktuální stav
watch trvá 9,7 s.
Cílový stav
Pod 1,5 s na tomto repozitáři, hlášeno proti svému rozpočtu jako doctor.
Rozsah
- lib/watch.sh
- .ai/repo/policy.yaml
- share/allow/policy.txt
- share/skeleton/policy.yaml
- test/cases/83_doctor_budget.sh
Závislosti
Kritéria přijetí
- watch vypisuje svůj součet a rozpočet
- Případ 83 pokrývá watch stejně jako doctor
Validace
- MJ_TIMING=1 bin/majordomus watch
Požadované důkazy
- doctor_under_budget
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
watch hlásí drift, takže nález rozpočtu je tam INFO, nikdy DRIFT.
Č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/I0839.yaml. Načtěte ho zpět pomocí majordomus plan show I0839.