I0205 — Deklarovat clamp jako doktrínu, aby se mapování a adaptér nemohly rozejít

✕BLOKOVÁNO vlna 4 · p2 · profil implementation · běží samostatně

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

Cíl

Deklarovat pravidlo, že každý aplikovaný limit je odvozen z deklarovaného mapování, jako doktrínu s vlastním validátorem, spouštěným z registru, který dosáhne příkazu tvrdícího, že jej spouští, pokrytou případem a spouštěnou v CI.

Proč

Nové vynucované pravidlo, které žije jako vložená kontrola uvnitř příkazu, je pro doctor i seznam doktríny neviditelné a rozejde se, jakmile někdo upraví adaptér. Registr je jediné místo, kde lze dokázat, že je pravidlo zapojeno.

Aktuální stav

Jeden adaptér uplatňuje jeden odvozený limit. Nic neodmítne adaptér, který přestane mapování konzultovat, a nic toto pravidlo neuvádí mezi pravidly, která repozitář vynucuje.

Cílový stav

Pravidlo se objeví v seznamu doktrín, odmítnutí ho jmenuje, doctor dokazuje, že dosáhne svého příkazu a že ho pokrývá případ, a CI ten případ spouští.

Rozsah

• podíl
• lib
• test/cases

Mimo rozsah

• Blokování na čemkoli, co worker nemůže opravit zevnitř repozitáře

Závislosti

• I0204✕BLOKOVÁNO Skutečně uplatnit jeden odvozený limit a prokázat, že mění, co se děje

Co na tom čeká

• I0206✕BLOKOVÁNO Publikovat tvrzení o runtime-adapters s testem, který ho dokazuje, a omezeními, která nepokrývá

Kritéria přijetí

• Doktrína je deklarována v registru se svým validátorem a doctor selže, pokud kterákoli polovina chybí
• Adaptér, který aplikuje hodnotu, již mapování neodvozuje, je odmítnut a odmítnutí jmenuje doktrínu
• Případ pokrývá odmítnutí a CI ho spouští

Validace

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

Požadované důkazy

• sada testů
• doctor

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

Blokující doktrína nad adaptérem specifickým pro poskytovatele může odmítnout práci v repozitáři, jehož poskytovatel se pod ní změnil; zda blokuje, nebo jen radí, se rozhoduje podle toho a zaznamenává se.

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