I1018 — Pravidla povrchu existují jako kontroly, prokázané tím, že je donutíme selhat

✕BLOKOVÁNO vlna 3 · p0 · profil deep-work · bezpečné paralelně

Součást capability-graph — Jeden graf schopností, dvě projekce a žádný druhý inventář toho, co tento repozitář umí.

Cíl

Vyjádřit trvalá omezení této architektury jako pravidla projektu se spustitelnými kontrolami: odvozené povrchy zůstávají synchronizované, veřejná schopnost je zjistitelná, behaviorální schopnost nese ověření, schopnost určená vývojářům vede na dokumentaci a obě projekce zůstávají shodné.

Proč

Vše v tomto milníku chátrá v okamžiku, kdy lze změnu nasadit, aniž by si jí kontrola všimla. Pravidlo, které existuje jen jako dokument, je návrh v uniformě.

Aktuální stav

Projektová pravidla existují s kontrolami pro odvozené soubory, projekce, hot paths, pokrytí měřením výkonu a rozsah. Žádné se netýká vystavení v UI, dokumentace schopností ani politiky ověřování.

Cílový stav

Každé pravidlo má kontrolu, každá kontrola má negativní test, který dokazuje, že se spustí, a CI spouští všechny.

Rozsah

• .ai/repo/rules/project

Mimo rozsah

• Pravidlo bez spustitelné kontroly
• Vyžadování dokumentace nebo testu u čistě popisných metadat
• Duplikování omezení, které už vynucuje existující pravidlo

Závislosti

• I1011○PŘIPRAVENO Matice pokrytí vykazuje důkazy a nikdy nezobrazí zelenou buňku bez nich
• I1015✓HOTOVO Povrch bez serveru za sebou se nenabízí, jako by ho měl

Co na tom čeká

• I1019✕BLOKOVÁNO Jedna dovednost provede celou smyčku a sama je v grafu
• I1027✕BLOKOVÁNO Syntetická schopnost architekturu spíše dokazuje, než popisuje

Kritéria přijetí

• Změna autoritativního zdroje, která nechá jakýkoli odvozený povrch zastaralý, selže na kontrole driftu a selhání jmenuje zdroj, který je třeba změnit
• Veřejná schopnost nebo schopnost pro vývojáře, kterou nelze objevit přes generované rozhraní, selže, pokud se nedeklaruje jako interní
• Schopnost s chováním nese ověření odpovídající jejímu druhu, rozhodnuté typovanou politikou, ne jedním pravidlem pro všechno
• Schopnost pro vývojáře se vyřeší na kanonickou dokumentaci a pokrytí je viditelné, ne jen hlášené
• Statická a runtime reprezentace musí zůstat stejné po odstranění polí jen pro runtime, což prosazuje test parity
• Každé pravidlo má negativní test, který dokládá, že kontrola zabírá, a CI spouští každý z nich

Validace

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

Požadované důkazy

• rules_with_checks
• negative_tests

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

Pět nových pravidel může způsobit, že běžný příspěvek bude připomínat soudní spor. Každá politika je typována podle druhu schopnosti, takže se od popisného objektu nežádá behaviorální test.

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