26 lines
1.8 KiB
Markdown
26 lines
1.8 KiB
Markdown
# Evidence: single-react-design-freeze
|
|
|
|
## 代码与框架证据
|
|
|
|
- `ChatController` 当前直接管理会话、模型、工具、执行和伪流式 SSE，证明公开切换必须延后到阶段 6B。
|
|
- `ChatService` 当前构建 Planner/Executor/Verifier/Composer 并依赖 ThreadLocal，证明阶段 0 只能创建无运行依赖的 contract types。
|
|
- Spring AI Alibaba `Builder` 提供 ToolInterceptor、output type、tool timeout 和调用限制扩展点；`ReactAgent` 提供 interrupt。
|
|
- Spring AI 1.1.7 `SpringAiRetryProperties` 构造器默认 `maxAttempts=10`，与 Harness 单一重试所有权冲突，阶段 2 必须压为一次底层 attempt。
|
|
- `DiagnosisRun` 当前只有通用 status 和文本 answer，不足以确定性恢复安全 previous turn，因此确认后续保存 `intent/release_outcome/published_result`。
|
|
- 历史 ISS-009 和 verifier evidence 归档证明 `NO_EVIDENCE` 只能表达限定范围内无匹配结果。
|
|
|
|
## 验证证据
|
|
|
|
- `mvn -q '-Dtest=HarnessContractTest' test`：通过。
|
|
- `mvn -q '-Dtest=ToolInvocationRecorderTest,ExecutorGatekeeperServiceTest,ChatControllerTest' test`：通过。
|
|
- `mvn -q '-Dtest=HarnessContractTest,ToolInvocationRecorderTest,ExecutorGatekeeperServiceTest,ChatControllerTest' test`：通过。
|
|
- `openspec validate single-react-design-freeze --strict`：通过。
|
|
- `git diff --check`：通过，仅有 Windows line-ending warning。
|
|
- 已知旧 Secret 模式扫描：零匹配。
|
|
- 缺少 `SUPERBIZ_MYSQL_PASSWORD` 时运行查询脚本：在连接前 fail fast，符合预期。
|
|
|
|
## 未验证
|
|
|
|
- 未运行模型、Redis、MySQL 或 Milvus live E2E；按阶段门禁留到阶段 7。
|
|
- Provider 侧旧凭据是否已经轮换无法由仓库证明，必须由凭据所有者完成，并在阶段 3C/7 前核验。
|