诊断与停止状态索引¶
以实际异常、Harness rule ID 和 RunState.status 定位问题。旧页面的 E001–EC02 分类曾作为说明性编号；当前 CLI 的权威诊断来自实际输出。
| 标识 | 层次 | 处理入口 |
|---|---|---|
CompilationError |
解析、include、生成物语法 | 统一编译 |
| Harness rule ID | 预算、工具、上下文等静态约束 | Harness |
waiting_approval |
执行暂停 | 审批 |
failed |
provider、工具或输出校验 | 排查 |
cancelled |
协作取消 | 执行 |
timed_out |
总时限 | 预算 |
budget_exhausted |
模型/工具/token 上限 | 预算 |
CheckpointConflict |
revision 冲突 | checkpoint |
ToolOutcomeUnknown |
副作用结果不确定 | 未知结果 |
pass/fail/skip/error |
.nxintent 证据状态 |
验证 |
向用户显示诊断时保留来源文件、行列、原始消息与 run ID。缺少 source span 的结果应显示解析错误，不推测导航位置。
来源与验证 · compilation / execution / verification