docs: 同步 v0.1 backend profile 规格

docs/reference/spec-v01-documentation-governance.md

@@ -33,7 +33,7 @@
 - `spec-v01-agentrun-mgr.md`：manager REST API、tenant boundary、runner claim、event/status authority。
 - `spec-v01-agentrun-runner.md`：短生命周期 runner、claim/poll/report、日志和 failureKind。
 - `spec-v01-backend-adapter.md`：backend adapter 合同、event normalization、failure mapping 和 redaction。
-- `spec-v01-backend-codex.md`：第一真实 Codex backend、`~/.codex` 测试凭据 Secret projection 和真实 turn 验收。
+- `spec-v01-backend-codex.md`：第一真实 Codex app-server stdio backend、`codex`/`deepseek` profile、`~/.codex` 测试凭据 Secret projection 和真实 turn 验收。
 - `spec-v01-cli.md`：AgentRun CLI 命令族、JSON 输出、短返回、日志可见和测试规格。
 - `spec-v01-scheduler.md`：自动 scheduler 的 deferred 边界。
 - 未来新增单服务规格必须使用 `spec-v01-<service-or-capability>.md`。
@@ -63,7 +63,7 @@
 - Manager 服务规格：[spec-v01-agentrun-mgr.md](spec-v01-agentrun-mgr.md)。
 - Runner 服务规格：[spec-v01-agentrun-runner.md](spec-v01-agentrun-runner.md)。
 - Backend adapter 规格：[spec-v01-backend-adapter.md](spec-v01-backend-adapter.md)。
-- Codex backend 规格：[spec-v01-backend-codex.md](spec-v01-backend-codex.md)。
+- Codex stdio backend/profile 规格：[spec-v01-backend-codex.md](spec-v01-backend-codex.md)。
 - CLI 规格：[spec-v01-cli.md](spec-v01-cli.md)。
 - Scheduler deferred 规格：[spec-v01-scheduler.md](spec-v01-scheduler.md)。