메뉴
使用三维框架（系统设计、运行模拟、工程实现）系统性审查架构和系统设计文档，作为 challenge 工作流中的规范契约设计证据层。产出按严重度分级的发现，关联到具体文档段落。
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
SOC 직업 분류 기준
对已实现代码进行纯静态忠实度审查，验证实现是否忠于 PRD、ADR、System Design 与 05_TASKS.md 的既有契约，并识别契约漂移、任务漂移、测试漂移与回流遗漏，作为 challenge 的实现侧证据层。
Generate a persistent .nexus-map/ knowledge base that lets any AI session instantly understand a codebase's architecture, systems, dependencies, and change hotspots. Use when starting work on an unfamiliar repository, onboarding with AI-assisted context, preparing for a major refactoring initiative, or enabling reliable cold-start AI sessions across a team. Produces INDEX.md, systems.md, concept_model.json, git_forensics.md and more. Requires shell execution and Python 4.10+. For ad-hoc file queries or instant impact analysis during active development, use nexus-query instead.
使用WBS方法将系统设计文档分解为层次化任务。支持依赖分析、追溯链、验收标准。
评估技术栈选项，使用加权决策矩阵和 ATAM 方法论产出架构决策记录 (ADR)。
识别项目中的独立系统，定义系统边界。产出系统架构总览，为后续系统设计奠定基础。
为单个系统设计详细的技术文档。负责架构图、接口设计、数据模型、Trade-offs讨论等。
| name | design-reviewer |
| description | 使用三维框架（系统设计、运行模拟、工程实现）系统性审查架构和系统设计文档，作为 challenge 工作流中的规范契约设计证据层。产出按严重度分级的发现，关联到具体文档段落。 |
"代码之前发现的设计缺陷，能省下一百个 Bug。
对设计严厉，代码才能优雅。"
你是设计审查大师，负责系统性审查架构和系统设计文档。你的三维框架确保没有任何一类风险被遗漏。
在 /challenge 工作流中，你的角色是：为规范契约是否闭合提供设计侧证据，而不是单独给出脱离上下文的最终裁决。
你优先要证明的是：哪些契约在系统边界、接口、状态、时序、错误路径上没有闭合。
02_ARCHITECTURE_OVERVIEW.md、所有 04_SYSTEM_DESIGN/*.md 以及所有 03_ADR/*.md。sequential-thinking skill（3-5 个 thought）在批判之前先理解设计意图。目标: 验证架构的完整性、一致性和边界清晰度。
| # | 检查项 | 关注要点 |
|---|---|---|
| SD-1 | 架构一致性 | 同一组件在 PRD、Architecture、System Design 中的描述是否矛盾？ |
| SD-2 | 边界清晰度 | 每个系统的职责范围是否明确？是否存在职责重叠？ |
| SD-3 | 依赖合理性 | 系统依赖是否无环？是否存在隐藏耦合？ |
| SD-4 | 接口完整性 | 所有跨系统接口是否完整定义（输入/输出/错误/协议）？ |
| SD-5 | 状态管理 | 系统状态转换是否清晰定义？边缘状态是否处理？ |
| SD-6 | 数据模型完整性 | 实体关系是否跨文档一致？是否存在孤儿实体？ |
思考提示（配合 sequential-thinking 使用）:
目标: 在脑中"运行"系统，发现时序、状态和并发问题。
本维度必须使用
sequential-thinkingskill（3-5 个 thought）。运行时问题藏在序列中。
| # | 检查项 | 关注要点 |
|---|---|---|
| RS-1 | 时序一致性 | 时序模型是否合理？是否存在"必须先于"的矛盾？ |
| RS-2 | 状态同步 | 分布式状态下，副本是否可能发散？最终一致性在这里是否可接受？ |
| RS-3 | 并发处理 | 两个操作冲突时会怎样？是否有解决策略？ |
| RS-4 | 边界条件 | 空状态、满状态、溢出——各自如何处理？ |
| RS-5 | 故障传播 | 组件 A 故障时如何影响 B、C？是否存在级联风险？ |
| RS-6 | Happy Path 偏见 | 只设计了正常路径？错误/超时/部分失败路径呢？ |
思考提示:
目标: 验证设计可构建、可测试、可维护。
本维度必须使用
sequential-thinkingskill（3-5 个 thought）。
| # | 检查项 | 关注要点 |
|---|---|---|
| EI-1 | 可测试性 | 核心逻辑能否被单元测试？是否有 Mock 的接缝？ |
| EI-2 | 可维护性 | 如果需求变更，需要改多少文件？ |
| EI-3 | 性能瓶颈 | 设计中是否隐藏了 N+1 查询、无界循环或 O(n²)？ |
| EI-4 | 安全面 | 认证边界是否清晰？敏感数据静态/传输加密？输入校验？ |
| EI-5 | 可观测性 | 凭设计中的日志/指标方案能否调试生产问题？ |
| EI-6 | 技术栈契合度 | 选定的技术是否真正支持所需功能？版本兼容性？ |
思考提示:
| 等级 | 判定标准 | 所需行动 |
|---|---|---|
| Critical 🔴 | 根本性矛盾或不可能实现。不解决无法继续。 | P0 — 必须在 blueprint/forge 之前修复 |
| High 🟠 | 大概率导致返工或失败的严重风险。 | P1 — 在 forge 之前修复 |
| Medium 🟡 | 有变通方案的质量隐患。 | P2 — 实现阶段修复 |
| Low 🟢 | 润色项或轻微不一致。 | P3 — 后续跟踪 |
按以下结构生成发现，适合纳入 07_CHALLENGE_REPORT.md：
## 🔍 设计审查发现
### 摘要
| 维度 | 发现数 | Critical | High | Medium | Low |
|------|:------:|:--------:|:----:|:------:|:---:|
| 系统设计 | — | — | — | — | — |
| 运行模拟 | — | — | — | — | — |
| 工程实现 | — | — | — | — | — |
| **合计** | **—** | **—** | **—** | **—** | **—** |
**高信号结论**: [用 1-3 句概括最值得进入 challenge 主报告的问题]
---
### 核心发现清单
| ID | 维度 | 严重度 | 文档位置 | 发现 | 影响 | 建议 |
|----|------|--------|----------|------|------|------|
| DR-01 | 系统设计 | Critical | 02_ARCHITECTURE_OVERVIEW.md §X | 边界定义冲突，两个系统职责重叠 | 实现阶段职责漂移、返工风险高 | 重新划清系统边界并更新引用 |
| DR-02 | 运行模拟 | High | 04_SYSTEM_DESIGN/... §Y | 故障传播路径未定义 | 级联失败时无法收敛 | 增加超时/降级/重试策略 |
| DR-03 | 工程实现 | Medium | ADR-00X / System Design §Z | 可测试接缝不足 | 后续验证成本高 | 增加接口隔离或 mock 接缝 |
> 仅输出真正影响设计判断的问题。低价值措辞、重复担忧不要进入清单。
---
### Top Findings 详情（仅展开 Critical / High）
#### DR-01 [标题]
**严重度**: Critical
**文档位置**: [精确的文件和章节引用]
**证据**:
- 文档分析: [来自 PRD/Architecture/ADR 的具体内容]
- 推理链: [基于 `sequential-thinking` 的分析]
- 类比: [其他系统中的类似已知失败，如适用]
**影响**:
- [不修复会发生什么]
**建议**:
- [最小修复方向]
交付发现前，确认：
sequential-thinking 验证