Co to znamená
context.builder_budget_lines omezuje, co majordomus context vytiskne. Když by briefing limit překročil, sekce se vypouštějí — ale nikdy tiše a nikdy ty části, bez nichž worker pracovat nemůže.
Princip
Sekce se vypouštějí v pevném pořadí: nedávná historie, pak dotčené soubory, pak rozhodnutí, pak těla kontrolního bodu a předávky. Git, úloha, profil a otevřené blokátory se nevypouštějí nikdy, protože worker, kterému chybějí, není nedostatečně informován, ale dezinformován.
Obě těla záznamů degradují místo toho, aby zmizela: hlavička sekce zůstane a tělo se stane body omitted for budget — read <path>, takže pracovník ví, že záznam existuje a kde ho najít.
Každé vypuštění se připojí do seznamu vyloučení s context budget <n> lines jako důvodem.
Počet se týká dokumentu skutečně vytištěného, včetně hlavičky a patičky — mj_ctx_render zapíše celou stránku do souboru a měří ten soubor, po každém vynechání ji vykreslí znovu. Dřívější verze počítala jen sekce, což nechalo padesátiřádkovou stránku hlásit „40 z 40 řádků“. Rozpočet, který hlásí číslo menší než to, co řídí, je horší než žádný rozpočet.
Pokud je to, co nelze vypustit, stále nad rozpočtem, kontext se přesto vypíše a návratový kód je 10: worker dostane fakta a volající se dozví, že rozpočet nebyl splněn.
Jak to vidět
majordomus context --budget-lines 50 | tail -8
# ## EXCLUDED
# - history — context budget 50 lines
# - decisions — context budget 50 lines
#
# ## BUDGET
# 48 of 50 lines (dropped: history decisions)
# the reported count is the printed count
[ "$(majordomus context --budget-lines 50 | wc -l)" = 48 ]
majordomus context --budget-lines 5 >/dev/null; echo $? # 10Co nepokrývá
Řádky, ne tokeny. Briefing se rozpočtuje v řádcích, které umí deterministicky spočítat každý stroj. To, co vybírá samostatný kompilátor kontextu, počítá v tokenech majordomus economics measure (tvrzení context-selection-counted); co to měří a co ne, viz ECONOMICS.md.
Rozpočet řídí briefing, ne to, co pracovník načte potom. Pracovník může číst celý repozitář; nic mu v tom nebrání a nic to neměří.
Proč existuje
Kontext je zdroj, kterému dochází, a dochází mu potichu. Rozpočet, který je jen rada, je přání; rozpočet bez viditelných vyloučení vyrobí záhadně chudý briefing. Pojmenovat obojí — strop i vše, co vás stál — z čísla dělá něco použitelného místo ozdoby.