I1109 — Vše umístěné mimo oba jmenné prostory je zaznamenáno s tím, čím to bylo

✕BLOKOVÁNO vlna 4 · p0 · profil implementation · 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

Zaznamenat každou mutaci, kterou Majordomus provede mimo `.ai/` a `.majordomus/`, do typovaného ledgeru: cestu, druh mutace, hash obsahu tak, jak byl zapsán, generátor a verzi, které jej zapsaly, a co tam bylo předtím.

Proč

Bez knihy nástroj nedokáže odlišit své úpravy od úprav člověka, což znamená, že je nemůže bezpečně aktualizovat ani vůbec odstranit. Kniha je to, co umožňuje odinstalaci a činí přepsání odmítnutelným.

Aktuální stav

Kořenové dokumenty nesou generované bloky a bootstrapy poskytovatelů se zapisují do kořene. Nic nezaznamenává, že je tam dal Majordomus.

Cílový stav

Kniha je autoritou nad tím, co Majordomus vlastní mimo své jmenné prostory, a nesoulad mezi tím, co zaznamenala, a tím, co je na disku, mutaci zastaví, místo aby ji vyřešil.

Rozsah

• .majordomus/manifest.json
• apps/majordomus-cli/src/integration/ownership.rs

Mimo rozsah

• Zaznamenávání čehokoli uvnitř obou jmenných prostorů, které jsou vlastněny už konstrukcí
• Kniha, kterou má člověk upravovat

Závislosti

• I1108✕BLOKOVÁNO Požadovaná integrace je hodnota a plán je diff

Co na tom čeká

• 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
• I1112✕BLOKOVÁNO To, co se dotýká kořene, jsou dva malé bloky a už se nikdy nezmění

Kritéria přijetí

• Každá mutace mimo oba jmenné prostory je zaznamenána s cestou, druhem, hashem tak, jak byl zapsán, generátorem a verzí a předchozím stavem
• Spravovaný region zaznamenává značky, které ho ohraničují, takže zbytek souboru není nikdy v pochybnostech
• Ledger je typovaný a podložený schématem, generovaný z kanonického typu, nikoli psaný ručně
• Cesta, jejíž aktuální hash neodpovídá tomu, co zaznamenal ledger, se hlásí jako upravená člověkem a žádná mutace na ní tiše neproběhne
• Kniha neobsahuje žádné tajemství ani absolutní cestu vývojáře

Validace

• cargo test --workspace --all-features
• bin/majordomus doctor

Požadované důkazy

• ledger_records
• mismatch_stops

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

Ledger, který se rozchází se souborovým systémem, povoluje mazání, které neumí zdůvodnit. Hash ho drží poctivým a nesoulad musí operaci zastavit, ne jen varovat.

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