finish vyhodnocuje kontrakt dokončení řádek po řádku a odmítne, pokud je kterýkoli řádek nesplněn

Co to znamená

„Hotovo“ je kontrolní seznam, napsaný v politice před zahájením práce a vyhodnocovaný majordomus finish. Pro completed jsou výchozí řádky: dotčené soubory v rozsahu; ověřovací příkaz proběhl a skončil nulou; záznam úlohy je na úrovni HEAD nebo za ním, nikoli rozbíhavý; k úloze není žádná nevyřešená otevřená otázka; existuje předávka nebo poznámka o dokončení s požadovanými sekcemi. Každý řádek se vypíše jako pass nebo fail. Pokud kterýkoli selže, úloha není přijata, odmítnutí se zaznamená jako událost task.refused a návratový kód je 10.

Princip

lib/finish.sh čte verification.finish_requires z politiky a vyhodnotí každý jmenovaný řádek, spustí --verify-command přes sh -c v kořeni repozitáře a zaznamená jeho příkaz, exit kód, dobu trvání a id gitového stromu, nad nímž běžel; strom se čte na obou stranách běhu a ten, který se pod ním změnil, řádek selže, ne projde. Požadavky profilu se přidají pro completed: cesta regresního testu, když ji profil vyžaduje (heuristika cest, která to říká), záznam o rozhodnutí, když je vyžadován. Při úspěchu nastaví výsledek, připojí task.finished s vyhodnoceným kontraktem a výsledkem ověření do ledgeru a zkopíruje soubor --note pod state/completed/. --check vyhodnotí rozsah a stav bez zápisu, skončí 0 bez aktivní úlohy a je to, co spouští pre-push hook.

Jak to vidět

majordomus finish --outcome completed --verify-command "make test"
# OK   scope         t-… — 12 touched file(s), all within scope
# OK   verification  t-… — make test — exit 0, 41s
# OK   state         t-… — advanced (head 9b1e2d4)
# FAIL blockers      t-… — unresolved entry in open-questions.md  [reproduce: grep -n 'unresolved' .ai/local/state/open-questions.md]
# OK   note          t-… — 20260903T201455Z--main--9b1e2d4--c0ffee.md
# finish: refused, 1 unmet

Co nepokrývá

Spouští ověření, které mu zadáte, a nerozhoduje, na kterých testech záleží. Nerevidouje kód. Každé odmítnutí se zaznamenává jako vlastní tvrzení, finish-refusal-is-recorded.

Proč existuje

Ve zdrojovém prostředí bylo „hotovo“ slovo v přepisu; stavová pole obsahovala volný text jako „mise splněna“ a povinná auditní stopa neměla žádnou kontrolu. Kontrakt vyhodnocovaný příkazem, který umí odmítnout, je rozdíl mezi tvrzením a faktem.