AGENTS.md@internal/agents/director · git:20261021.9f5bf87 · 2026-10-21 · sha256 9e23dd871d214ad6

AGENTS.md@internal/agents/director git:20261021.9f5bf87A

Immutable. This exact content never changes and is served at /api/v1/blob/9e23dd871d214ad6.

# internal/agents/director — Director 编排内核

> 范围:本目录内不可派生的约束。全局见仓库根 `AGENTS.md` §6.2。
> **本包禁止 import `yagent/internal/agents`**(`scripts/check_no_agents_import.sh`)。

## 边界

Director 的编排内核:Planner 主循环、熔断与恢复、指标、便签索引注入、项目上下文加载、Meta 注册表。
不负责子 Agent 实例与委派执行(经 `ToolRunner` 回调交给门面层)、不面向用户。

## 硬约束

**1. 依赖守卫扫的是整条传递依赖闭包,且必须整行匹配**(`scripts/check_no_agents_import.sh:15-23`)——
子包路径含父串,子串匹配会误伤。跨子系统的依赖一律经 `internal/agents/ports.go` 的窄接口注入。

**2. 非测试 `.go` ≤ 300 行,存量按 PENDING 冻结。** PENDING 条目的格式是
`<相对路径>:<允许的最大行数>`(`scripts/check_file_sizes.sh:25,33`),今天只有一项:
`planner_run.go` 的上限 **572 行**(三段职责——主循环 + 压缩 + 委派编排——里只搬走了压缩那段,
657 → 572)。规则:新文件超限直接红;**改小了必须同步下调 PENDING 里的数字**,否则脚本主动报
"棘轮失步"并红。一条常红的守卫等于没有守卫。

**3. 便签索引是派生态且瞬态。** `messagesForLLMCall` 返回**新切片**,外层 `messages` 必须保持无索引
(`board_index.go:11-22`):一旦漏回,下一步的压缩预算会把目录算进正文,紧急压缩还会把它当成一条
用户输入折叠进摘要——那正是它要解决的病。同一步重试必须幂等(`:37`)。

**4. 恢复决策不许交给模型。** `PendingResumption` 在进 LLM 循环**之前**处理,结果作为**同一个
`call_id` 的第二条 tool output**(last-wins)交回(`planner_run.go:100-110`),零 token、确定性。
让模型决定怎么恢复的后果是"同样的停点有时重做、有时接着跑"。`DelegationID` 为空时必须整份忽略,
不许塞一条没配对的 tool 消息(`:105`,`planner_resumption_test.go:127`)。

**5. 暂停闸门在 `p.state.Step = i + 1` 之前**(`planner_run.go:188-196`):这一步根本没跑过,
推进游标会让恢复侧多算一步。

**6. 检查点只在终止路径写**(`planner_rollout.go:10-12,49-59`),与子 Agent 共用
`memory.WriteCheckpoint`——父子两个写入包不能互相 import,抄一份必然分叉。

**7. 两个"看起来更方便"的签名决定是刻意的。** `EventPublisher` 刻意**不含** `ForDelegation`
(`planner.go:14-16`,Director 每任务只有一个,不会与自己混流);`ToolRunner.Call` 的 `callID`
必须是显式参数而不是塞进 ctx(`:30-34`)——接口漂移要在编译期炸,ctx 里悄悄传的后果是恢复侧拿到空
`delegation_id`、把能救的会话判成不可重放。

**8. 熔断开不了就永远不建。** 阈值 0 = 不创建 breaker(`recovery.go:46-49`),"Director 绝不能因为
网络抖动停摆"。熔断器的"查询即试探"语义见 `internal/AGENTS.md` 的 recovery 一节。

**9. `StopKindOf` 的词表顺序是硬约束**(`stop_kind.go:42-49`):`DeadlineExceeded` 与 `abandoned`
都必须排在 `cancelled` **之前**,因为 `AbandonedError` 能 `errors.Is` 到 `context.Canceled`。
本包与 `agents.classifyStop` 是两份同形实现(分层守卫逼出来的),靠
`TestStopKindClassifiersAgree` 对齐;加词表值时的正确顺序是**先给聚合测试喂新输入**,再让两边实现追它
(根 AGENTS.md §11 坑 18)。

**10. 强制委派提醒的次数上限必须导出**(`MaxNonDelegationPrompts`,`planner_run.go:19-21`):
曾经 `agents` 侧有一份只有测试在读的同名常量。

## 入口

`planner.go`(全部窄接口契约)、`planner_run.go`(主循环,行数债所在)、`board_index.go`
(最短的不变量读法)、`stop_kind.go`(词表与顺序)。

## 闸门

- `TestMessagesForLLMCallIsIdempotent`(`board_index_test.go:70`)、
  `TestIndexSurvivesEmergencyCompressionShape`(`:106`)。
- `TestPlannerCommitsResumedDelegationWithoutCallingLLM`(`planner_resumption_test.go:22`)、
  `TestPlannerWithoutResumptionIsUnchanged`(`:112`,钉"没有落点时不许凭空塞 tool 消息")、
  `TestPlannerIgnoresResumptionWithoutCallID`(`:130`)。
- `TestPlannerReadOnlyBatchParallelism` / `TestPlannerMixedBatchSegmentation` /
  `TestPlannerParallelKillSwitch`(`planner_parallel_test.go:210,245,266`):混合批断言的是
  "写类元素执行窗口内没有任何只读元素在飞"。
- `TestPlannerRun_TriggerUsesProviderMeasurement` / `_MeasurementInvalidatedAfterRewrite`
  (`planner_prefix_trigger_test.go:52,116`):第二/三档整段重写消息后 `measured` 必须作废,
  否则同一步下一档判定拿着不存在的规模做决定(`planner_compress.go:17-19`)。
- `TestComputeProjectID`(`project_context_test.go:103`)钉具体串;
  `TestProjectContextLoaderCacheHit`(`:59`)钉"同一实例只加载一次"。
  `project_context.go:53` 是"只读工作区根的 `YAGENT.md`/`CLAUDE.md`/`AGENTS.md`、不递归"这条
  加载契约的唯一实现。