I1118 — Každý invariant tohoto milníku je pravidlo s kontrolou, která běží

✕BLOKOVÁNO vlna 7 · p0 · profil hluboké práce · bezpečné paralelně

Součást two-folder-integration — Repozitář, který přijme Majordomus, získá dva adresáře a dva řádky a může je vrátit.

Cíl

Proměnit invarianty — omezená stopa, žádná ruční registrace, zahoditelné odvozené artefakty, vratné spravované mutace, idempotentní sladění, kořenové soubory jako adaptéry, rozšíření bez registrace — v projektová pravidla, každé s spustitelnou kontrolou, kterou běží CI, a negativním testem, který dokládá, že se spustí.

Proč

Vše v tomto milníku chátrá v okamžiku, kdy může změna přistát, aniž by si toho kontrola všimla. Pravidlo bez kontroly je návrh a tento repozitář má pravidlo, které říká přesně to.

Aktuální stav

Invarianty existují jako próza v poslání a jako chování v kódu. Žádné pravidlo je neuvádí a žádná kontrola je nevynucuje.

Cílový stav

Každá invarianta je pravidlo s kontrolou, každá kontrola má negativní test a CI je spouští všechny.

Rozsah

• .ai/repo/rules/project

Mimo rozsah

• Pravidlo bez spustitelné kontroly
• Zopakování omezení, které už stávající pravidlo vynucuje

Závislosti

• I1110✕BLOKOVÁNO Druhý běh nic nezmění a test to říká
• I1116✕BLOKOVÁNO Vlastní stopa tohoto repozitáře se přesouvá přes reconciler

Co na tom čeká

• I1123✕BLOKOVÁNO Milník je přijat na základě svých důkazů

Kritéria přijetí

• Trvalý stav vlastněný Majordomem mimo dva jmenné prostory neprojde kontrolou, pokud ho kniha nezaznamenává jako most
• Sekundární registr vyjmenovávající objevitelný jmenný prostor selže při kontrole
• Generovaný artefakt bez původu, nebo načtený zpět jako kanonický vstup, selže v kontrole
• Mutace mimo dva jmenné prostory bez záznamu v knize neprojde kontrolou
• Neidempotentní sladění shodí kontrolu
• Každé pravidlo má negativní test dokazující, že jeho kontrola střílí, a CI spouští každý

Validace

• bin/majordomus doctor
• bash test/run.sh

Požadované důkazy

• rules_authored
• checks_fire
• ci_runs_them

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

Sedm pravidel pro jeden milník je hodně doktríny. Každé omezení, které už pokrývá existující pravidlo, se odkazuje, nikoli opakuje, a review na tom musí trvat.

Č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/I1118.yaml. Načtěte ho zpět pomocí majordomus plan show I1118.