I2963 — Kódy ukončení v README jsou kontraktem příkazů

✓HOTOVO vlna 0 · p0 · profil implementation · bezpečné souběžně

Součást development-runtime — The runtime has a development surface.

Cíl

Uvést v tabulce příkazů v README kódy ukončení, které deklaruje model každého příkazu, a držet tabulku k share/commands.yaml (přes jeho generovanou projekci) případem, aby věta 'Exit codes are a contract' platila o tabulce nad ní.

Proč

Truth sweep 2026-10-18 (f6, S11, ověřeno): README.md:300-315 uvádělo pro check '0 / 10', watch '0 / 11', init a start '0 / 15', update '0 / 10 / 15' a špatné kódy u 13 ze svých 14 řádků, pod větou 'Exit codes are a contract'. share/commands.yaml deklaruje check [0, 2, 10, 12, 13], watch [0, 2, 10, 11], init [0, 2, 10, 13, 15], start a update [0, 2, 10, 12, 15]; jeho exit_codes jsou sladěny s konstantami MJ_EX_* každého souboru lib.

Aktuální stav

Opraveno v této změně: každý řádek tabulky příkazů v README uvádí kódy modelu. Generování tabulky z modelu je po alphě (řádek ledgeru derivable-counts-in-prose).

Cílový stav

Případ 3365 odmítne README, jehož tabulka příkazů uvádí návratové kódy jakéhokoli příkazu jinak, než je deklaruje model, a své porovnání dokazuje na mutovaném řádku.

Rozsah

• README.md
• test/cases/3365_the_readme_exit_codes_are_the_contracts.sh

Závislosti

Žádné. Tento úkol je kořenem grafu.

Co na tom čeká

• I3117○READY The README and the launch page say only what master does about model invocation, doctrine dispatch and overrides

Kritéria přijetí

• Každý řádek tabulky příkazů v README uvádí návratové kódy, které deklaruje model jeho příkazu
• Případ 3365 selže na řádku, jehož kódy se liší od modelu

Validace

• majordomus plan validate

Požadované důkazy

• case_the_readme_exit_codes_are_the_contracts

Důkazy

Časová osa

zahájeno

2026-10-19T13:57:59Z

ověřeno

—

dokončeno

2026-10-19T13:58:32Z

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