Provider Evidence Overview
spec-runtime-setup 负责 runtime setup：验证 required MCP servers、helper tools，并在一次确认后完成包含 CodeGraph / Graphify 的完整 baseline。图谱输出不是代码语义权威；普通 workflow 在 setup 不完整时仍可回退 direct reads，但不能把 setup 状态写成 complete。
Provider 输出是候选证据，不是代码理解权威。下游 workflow 仍以 bounded direct source reads、rg、ast-grep、git diff、tests/logs 和用户提供证据确认结论。
Evidence Model
Setup 说明工具可用性；源码、diff、测试和日志证明当前任务结论。
Required
Sequential Thinking 与 Context7 是 required MCP baseline，用于复杂推理和当前文档查询。
Direct evidence
源码读取、
rg、ast-grep、git diff、tests/logs 是 plan、work、review 的主要事实依据。Provider readiness
CodeGraph 与 Graphify 属于完整 setup baseline；它们产出代码图候选，不替代当前源码验证。
当前证据层
| 层级 | 来源 | 用途 | 边界 |
|---|---|---|---|
| Required MCP | mcp-tools.json 中的 Sequential Thinking、Context7 | 推理辅助、框架文档查询 | 不证明项目代码事实 |
| Helper tools | agent-browser、ast-grep 等 | 浏览器验证、结构化搜索、测试辅助 | 不写长期 source truth |
| Direct evidence | source reads、rg、ast-grep、git diff、tests/logs | 当前任务的主要证明材料 | 需要按任务范围聚焦读取 |
| Provider readiness | CodeGraph、Graphify | 调用图、架构导航、路径/解释候选 | 完整 setup 的 required baseline；结论回源确认 |
什么时候使用 provider pack
| 场景 | 推荐做法 |
|---|---|
| docs-only、小 bugfix、窄范围实现 | 直接读源码、diff、测试；无需安装 provider pack |
| 跨模块影响面、复杂 review、存量架构导航 | 使用已完成 baseline 的 CodeGraph / Graphify readiness；不完整时回退 direct reads |
| provider 输出与源码冲突 | 以当前源码、测试、日志和用户证据为准 |
| provider 不可用或过期 | 明确记录 degraded，继续 bounded direct source reads |
下游如何使用
| Workflow | 当前使用方式 |
|---|---|
spec-plan | 计划前先读 requirements、项目说明和相关源码；provider 只帮助定位候选文件或风险面 |
spec-work | 按 plan/task scope 做最小改动；provider 不能扩大 scope |
spec-code-review | findings 必须落到当前 diff/source/test 证据；provider 只能辅助找消费者或路径 |
spec-debug | root cause 必须由复现和验证证明，provider 只提供假设候选 |
下一步
- Runtime Setup：查看 required MCP、helper tools 和 provider pack 的 setup 边界
- Provider Pack：查看 CodeGraph / Graphify 的安装、产物和风险
- Control-plane Artifacts：查看
.spec-first/当前仍会写入的事实目录