I0202 — Vyřešit efektivní limity úlohy a vypsat je jako data

✕BLOKOVÁNO vlna 1 · p1 · profil implementation · běží samostatně

Součást runtime-adapters — Profily se stávají runtime omezeními, ne radou.

Cíl

Přidat čtecí příkaz, který vyřeší limity odvozené z profilu aktivní úlohy a vypíše je textově i jako JSON, aby pracovník, wrapper nebo test mohl číst stejná čísla, jaká použije vynucování.

Proč

Limit, který nelze přečíst dřív, než kousne, je limit, který nikdo nemůže testovat, a limit počítaný dvakrát je limit, který si bude odporovat. Jeden resolver, jeden výstup, spotřebovaný vším dál po proudu.

Aktuální stav

Mapování deklaruje, co je limit. Nic nepočítá limity pro danou úlohu a záznam úlohy nenese způsob, jak se zeptat.

Cílový stav

Spuštění jednoho příkazu uvnitř úlohy vypíše každý limit, který profil odvozuje, a osu, z níž každý pochází. Bez aktivní úlohy vyřeší výchozí profil a řekne to.

Rozsah

• lib
• bin

Mimo rozsah

• Vynucování jakéhokoli limitu
• Cachování vyřešených hodnot kdekoli; řešení je levné a zůstává odvozené

Závislosti

• I0201○PŘIPRAVENO Deklarovat, která osa profilu se smí stát kterým limitem runtime

Co na tom čeká

• I0203✕BLOKOVÁNO Udělat vynucování dobrovolným a prokázat, že repozitář, který ho odmítne, není dotčen
• I3199✕BLOCKED An assignment names the execution profile it needs, and a peer whose envelope does not satisfy it is refused

Kritéria přijetí

• Příkaz vypíše každý deklarovaný limit, jeho hodnotu a osu profilu, z níž byl odvozen
• Výstup JSON nese stejnou množinu jako textový výstup
• Bez aktivní úlohy se výchozí profil vyřeší a pojmenuje jako výchozí
• Resolver je jediné místo, kde se hodnota limitu počítá

Validace

• bash test/run.sh

Požadované důkazy

• sada testů

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

Druhý výpočet limitu kdekoli jinde potichu rozštěpí kontrakt; případ musí porovnat vynucovanou hodnotu s výstupem tohoto příkazu, ne s konstantou.

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