Banana 使用 Edmonds-Karp 最大流算法分配上下文预算，将代码 token 视为流量，依赖关系视为管道，LLM 上下文预算视为汇点。