I1117 — Ručně udržované seznamy se odstraňují, nenechávají se běžet vedle odvození

✕BLOKOVÁNO vlna 3 · p1 · 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

Najít každý seznam, který vyjmenovává to, co zjišťování už najde — indexy, menu, tabulky tras, seznamy providerů, katalogy dokumentace — a odstranit ho, aby existovalo jediné odvození.

Proč

Dva systémy dělající stejnou práci jsou horší než kterýkoli z nich sám: ten starý funguje právě tak dobře, aby si nikdo nevšiml, že se rozešel. Samotná tato relace našla stejný seznam tras čtyřikrát a seznam stránek dvakrát.

Aktuální stav

Několik takových seznamů už bylo odstraněno; zbytek je to, co zaznamenala první fáze a co odvození činí nadbytečným.

Cílový stav

Každý nahrazený seznam se smaže, jeho konzumenti čtou odvození a nic nepřežije jako záloha.

Rozsah

• apps/majordomus-cli/src
• web

Mimo rozsah

• Smazat seznam, který je skutečně autoritativní pro něco, co model nedrží
• Ponechání ručně psaného seznamu jako záložního

Závislosti

• I1106✕BLOKOVÁNO Registry jsou pohledy na model, nikoli samostatná zjištění

Co na tom čeká

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

Kritéria přijetí

• Seznamy, které se nahrazují, jsou vyjmenovány z repozitáře, ne předpokládány, a každý je odstraněn nebo odůvodněn jako autoritativní pro něco jiného
• Každý konzument čte odvození po odstranění a nic odstraněného nezůstává dosažitelné jako záloha
• To, co rozhraní ukazují, je totéž jako před odstraněním, kromě míst, kde je odvození úplnější
• Kontrola odmítne nové vyjmenování objevitelného jmenného prostoru

Validace

• bash test/run.sh
• majordomus generate --check

Požadované důkazy

• duplicates_removed
• enumeration_refused

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

Seznam, který tiše drží něco, co model nenese, ten obsah ztratí, když odejde. Každé odstranění se kontroluje proti tomu, co odvození skutečně produkuje, položku po položce.

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