I1107 — Objevování je deterministické, cachované a jeho cena je známa

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

Zařídit, aby jedno discovery nad jedním stromem dalo jednu odpověď, uložit ji do cache podle toho, z čeho byla odvozena, a změřit, co stojí — protože vše navazující teď tuto cenu platí.

Proč

Model, který čte každý konzument, je na horké cestě každého příkazu, včetně těch, které běží, když člověk změní adresář. Neměřená páteř se stane důvodem, proč se nástroji lidé vyhýbají.

Aktuální stav

Zploštění vrstvy je cachováno podle hashe obsahu a fáze spustitelného souboru jsou měřeny. Vlastní náklady složeného modelu nebyly změřeny.

Cílový stav

Cenou je měření výkonu se základní linií, cache je klíčována vstupy a zastaralá položka nelze přečíst pro změněný strom.

Rozsah

• apps/majordomus-cli/src/index.rs
• .ai/repo/benchmarks/rust

Mimo rozsah

• Cache, která může obsloužit zastaralou odpověď pro změněný vstup
• Trvalá cache sdílená mezi repozitáři

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í

• Dvě zjištění nad nezměněným stromem dávají strukturálně totožné modely, bez závislosti na pořadí procházení adresářů
• Cache je klíčována obsahem, z něhož byla odvozena, takže zastaralá položka stojí minutí a nikdy špatnou odpověď
• Studené a teplé zjišťování se měří zvlášť se zaznamenanou základní hodnotou
• Zásah cache i minutí cache dávají pro každý příkaz jen pro čtení bajtově shodný výstup

Validace

• majordomus bench --check
• cargo test --workspace --all-features

Požadované důkazy

• deterministic_model
• cache_correct
• cost_measured

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

Cache je druhá věc, které lze věřit. Klíčování hashem obsahu znamená, že špatný klíč stojí čas, nikdy správnost.

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