I0814 — Dát workerovi omezený výřez znalostí, ne celou znalostní bázi
Přidat do `majordomus context` sekci znalostí, vybíranou deterministicky z toho, na co už odkazuje aktivní úloha a úkol, omezenou přepínačem profilu a limitem položek, vypouštěnou před jakýmkoli neměnným faktem, když rozpočet nestačí, a uváděnou pod EXCLUDED, kdykoli je vypuštěna nebo vypnuta.
HOTOVO vlna 5 · p1 · profil implementation · běží samostatně
Součást M003 — Relace je trvalá obálka a znalost se kompiluje z toho, co už je kanonické.
Cíl
Přidat do `majordomus context` sekci znalostí, vybíranou deterministicky z toho, na co už odkazuje aktivní úloha a úkol, omezenou přepínačem profilu a limitem položek, vypouštěnou před jakýmkoli neměnným faktem, když rozpočet nestačí, a uváděnou pod EXCLUDED, kdykoli je vypuštěna nebo vypnuta.
Proč
Nástroj na sestavení kontextu, který vysype celý index, nahradil problém výběru větším problémem. Hodnota je ve výběru několika ukazatelů, které worker potřebuje, z vztahů, jež jsou už explicitní, a v tom, že se nahlas řekne, co bylo vynecháno.
Aktuální stav
context sestavuje devět sekcí v pořadí podle autority s pevným pořadím vypouštění a jmenuje každé vyloučení. O tom, co se vyžádá, rozhodují přepínače jeho profilu.
Cílový stav
Profil nese přepínač znalostí a maximální počet položek, oba v allowlistu profilu. Sekce uvádí ukazatele — id, druh, titul a zdrojovou cestu — pro aktuální úkol, jeho závislosti, tvrzení, která jmenuje, a dokumenty, na které odkazuje. Sedí pod každým neměnným faktem v pořadí vypouštění a nad ničím, co ji přebíjí.
Rozsah
- lib/context.sh
- share/skeleton
- share/allow/profile.txt
- .majordomus/profiles
- dokumentace
- test/cases
Mimo rozsah
- Jakýkoli výběr založený na podobnosti
- Přebudování indexu z kontextu
- Zvýšení stávajícího rozpočtu řádků
Závislosti
Co na tom čeká
Kritéria přijetí
- Sekce se objeví jen tehdy, když ji profil žádá, a její absence je jmenována pod EXCLUDED s přepínačem, který ji způsobil
- Zahodí se dříve než git, úloha, profil a otevřené blokery při těsném rozpočtu a zahození je pojmenováno
- Výběr pochází jen z explicitních odkazů a případ dokazuje, že nesouvisející dokument není vybrán
- Zastaralý index způsobí, že sekce hlásí zastaralost, místo aby se tiše vynechala
- Stávající případ kontextu stále prochází beze změny
Validace
- bash test/run.sh 3073_context_knowledge_slice
- bash test/run.sh 23_context
Požadované důkazy
- context_bounded
Důkazy
| pokrývá | typ | command | výsledek | u commitu |
|---|---|---|---|---|
| context_bounded | test | test/run.sh 3073_context_knowledge_slice 23_context | 2 ok on feature/context-knowledge-pointers over master d116266803 (2026-10-16): the KNOWLEDGE POINTERS section lists, in tier order and nothing else, the issue, its depends_on issues, its milestone, the claims that milestone declares and the nodes its scope names (a look-alike document, an undeclared claim, another milestone's issue are not selected); knowledge_max_items cuts it and counts the rest, never above context.max_list_items; context.knowledge false or unset is named under EXCLUDED with the toggle; under a tight budget it is dropped before git, task, profile and open questions and the drop names majordomus knowledge related; an issue record that left the version-control index or is gone prints a stale line and the section stays; context writes nothing. 23_context passes unchanged. In this repository the section adds 5 lines of a 300-line budget and ~1.7 s (only the issue, its dependencies, milestones, claims and scope paths are compiled). | 44ad51e |
Riziko
Rozpočet je u bohaté úlohy už téměř plný. Pokud se sekce znalostí přidá bez měření, bude to ta sekce, která se vždy vypustí, tedy funkce, kterou nikdo nedostane.
Časová osa
- zahájeno
- 2026-10-16T08:10:20Z
- ověřeno
- 2026-10-16T08:10:24Z
- dokončeno
- 2026-10-16T08:10:32Z
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/I0814.yaml. Přečtěte jej zpět pomocí majordomus plan show I0814.