pub const DEFAULT_OVERVIEW_BUDGET: usize = 8_000; // 8_000usize
Default token budget for heavy content. Matches the MCP tool’s pre-lift constant and the public-facing description.