I1122 — Cizí repozitář, převzatý, povýšený a vrácený

✕BLOKOVÁNO vlna 7 · p0 · profil deep-work · běží samostatně

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

Prokázat kontrakt na repozitáři, který není tento: adoptovat jej, ověřit stopu, spustit znovu, aktualizovat nástroj, ručně upravit bridge, pak adopci odstranit a porovnat, co zbylo, s tím, co tam bylo předtím.

Proč

Každé tvrzení v tomto milníku se týká cizího repozitáře. Dokazovat to tady, kde jsou nástroj a předmět tentýž strom, dokazuje snadnou polovinu; zajímavá selhání jsou ta, která tento repozitář nemůže předvést.

Aktuální stav

Nikde jinde než tady nebylo nic adoptováno.

Cílový stav

Jeden test projde celým životním cyklem na cizí fixture a ověří každou fázi, včetně těch určených k odmítnutí.

Rozsah

• test/cases

Mimo rozsah

• Fixture, který implementace rozpozná jako test
• Vyhlášení úspěchu podle exit kódu adopce

Závislosti

• I1110✕BLOKOVÁNO Druhý běh nic nezmění a test to říká
• I1111✕BLOKOVÁNO Odinstalace vrátí přesně to, co bylo vzato
• I1116✕BLOKOVÁNO Vlastní stopa tohoto repozitáře se přesouvá přes reconciler
• I1121✕BLOKOVÁNO Každý povrch zobrazuje integraci z jednoho modelu

Co na tom čeká

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

Kritéria přijetí

• Adopce repozitáře bez předchozího stavu Majordomus přidá dva jmenné prostory a deklarované mosty a nic jiného, ověřeno proti stromu, ne proti zprávě
• Druhá adopce nemění nic
• Adopce provedená starší verzí se sladí dopředu, aniž by přepsala most, který se měnit nemusel
• Bridge upravený člověkem se odmítne místo přepsání a hlásí se
• Odstranění vrací repozitář do stavu, jaký byl, kromě autorského obsahu, porovnáno se zaznamenaným výchozím stavem
• Testovací vstup je v každém ohledu běžný a nic v implementaci jej nerozpoznává

Validace

• bash test/run.sh

Požadované důkazy

• foreign_adoption
• upgrade_path
• removal_restores

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

Test end-to-end s fixture, který implementace zpracovává jako zvláštní případ, nedokazuje nic. Fixture musí být k nerozeznání od skutečného repozitáře.

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