AGENTS.md@internal/toolspec git:20261022.53411acA

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

# internal/toolspec — 工具元数据的唯一声明面

> 范围：本目录内不可派生的约束。完整设计见 `docs/tool-registry-design.md`，
> 全局摘要见仓库根 `AGENTS.md` §5.1 与 §9.3。

## 边界

每个工具的 `Spec`（能力标签、频率档、授权要求、执行器构造）、`schemas.json` 的 JSON Schema、
以及 Agent 侧的**能力画像**（`profiles.go`）。不执行工具、不认识任何 Agent 实现。

## 硬约束

**1. 叶子包：只准标准库**，由 `scripts/check_toolspec_leaf.sh:9,29-32` 守。
新能力必须做成 `Deps` 的窄接口字段、由装配层注入——本包重新声明接口而不 import `agents` 的理由
写在 `deps.go:8-11`。

**2. 声明写在该工具实现同一个文件的 `init()`**（`spec.go:13`）。重名 `Register` 会被拒绝且**保留先
注册者**（`:87-93`）。`schemas.json` ↔ `Spec` 必须双向 1:1（`:163-166,216-221`）；
条数基线**硬写 51**，不许换成 `len(...)` 自比较（`registry_test.go:412-421`）——
自比较的断言永远不会失败，加工具漏改数字必须红。

**3. 每条校验规则都必须有能触发它的夹具。** 曾经那条"Serial 与 `IsReadOnly` 冲突"在数学上不可能成立
（`IsReadOnly()` 的定义含 `!Serial`），它既不会响、又与 `Serial` 字段的文档承诺矛盾，已删除
（`spec.go:208-213`，根 AGENTS.md §11 坑 15）。删规则不会有人发现，所以
`TestValidate_ReportsEachRule` 是这条纪律本身。

**4. 并发判据只有一条**：`IsReadOnly = !Mutates && !Serial`（`spec.go:68`），未注册名一律 fail-safe
（`queries.go:1-16`）。`Audience` 是注册表里**唯一**允许出现 Agent 名的地方（`spec.go:52-55`）。

**5. `ResultPaths` 必须逐工具声明。** `list_dir` / `print_dir_tree` 返回的裸文件名要显式标 `bare`
（`spec.go:264-266` + `internal/tools/specs_file.go:54,73,165`）——否则蓝图的证据集会收到假路径，
而后果是"入参侧 ∪ 出参侧"的判定误伤一整片模块（根 AGENTS.md §11 坑 42 同族）。

**6. 探针 `ProbeDeps()` 必须与生产 `depsFor` 同形。** 生产恒绑 `Blueprint` 执行器
（`internal/agents/deps.go:18-26`），而探针少绑一次的结果是 `Available` 为假 → 六个画像都"没有"这个工具 →
**golden 一动不动**（`profile.go:58-61`，根 AGENTS.md §11 坑 39）。修法是把能力加进 `testDeps()`，
而不是在测试里另搭一套夹具。

**7. 新增工具的正确步骤**（对照根 AGENTS.md §9.3，这里是它会红的地方）：实现旁边 `MustRegister`
→ `schemas.json` 加条目 → 让画像匹配（只有委派类工具才写 `Audience`）→
`go test ./internal/agents -run TestAgentSurfacesGolden`，**工具面变化必须以显式重写 golden 的方式被评审**。

## 入口

`spec.go`（`Spec` / `Registry` / `Validate`）、`deps.go`（窄接口）、`profiles.go`（七个画像）、
`queries.go`（派生查询）、`schemas.json`。

## 闸门

- `TestSchemasLoadAndDescribeEveryEntry`（`registry_test.go:415`）：改条数或漏 description。
- `TestValidate_ReportsEachRule`（`:180`）：删任一规则或让它不可响应；
  `_CleanSpecReportsNothingForItself`（`:305`）：规则全体误响、把死规则加回来。
- `_ReportsSchemaWithoutSpec`（`:345`）：只加 schema 不注册。
- `TestProbeDepsIsCapabilityComplete`（`profile_test.go:420`）、
  `TestProbeDepsPassesEveryAvailabilityHook`（`:455`）：探针少填字段 → golden 静默少一类工具。
- agents 侧的配套闸门：`TestDerivedMetadataMatchesLegacyTables`（`internal/agents/registry_gate_test.go:110`，
  新增可并发/需授权/豁免超时的工具未进签字名单即红）、`TestAgentSurfacesGolden`（`:48`）、
  `TestCustomPaletteStaysInsideDirector`（`:256`，Custom Agent 拿到委派能力会成环）。

**已知不一致**：`profile.go:28-30` 的注释称 `RequiresExit` "关掉它的唯一合理场景是 Chat"，
而 `profiles.go:65-70` 的 `ProfileChat` 写的是 `RequiresExit: true`。引用这条约束时读代码，别读注释。