anyone-can-architect 0.2.0 → 0.3.0

package/zh-CN/skills/aca-review/SKILL.md

@@ -8,7 +8,7 @@ description: 审查当前范围的设计文档或代码实现，判定通过、
 # aca-review
 
 审查当前范围的设计文档或代码实现，判定通过、需要调整或未完成
-不修改设计文档、项目源码与测试代码
+不修改设计文档、项目源码与测试代码，不运行受审代码与测试
 发布前的仓库整体审计由 `/aca-repo-audit` 执行
 
 ## 1 原则
@@ -17,11 +17,11 @@ description: 审查当前范围的设计文档或代码实现，判定通过、
 
 1. **依据驱动**
    以已确认的需求与适用规则审查设计
-   以已确认的设计审查实现
+   以已确认的设计审查代码与测试实现
 2. **独立判断**
    各审查任务独立形成结论
 3. **证据判定**
-   以逐项核验结果与证据判定问题及审查结论
+   以逐项核验结果与代码、文档事实判定问题及审查结论
 4. **范围约束**
    审查结论仅覆盖本次范围
 
@@ -36,7 +36,7 @@ description: 审查当前范围的设计文档或代码实现，判定通过、
 - 先交代整体，再展开细节，参见[金字塔原理](~/.claude/skills/aca/SSOT.md#2-文档结构)
 - 表达判断时，先给结论，再给依据
 - 不增加信息的标题层级应当合并
-- 有时序或优先级的条目用编号列表，每项有多个属性时属性缩进在该项下
+- 有时序或优先级的条目用编号列表，包含子项时每步以加粗短语开头表达目的，具体操作与条件分支缩进在该步下
 - 表格只用于多行同构、每行有两个以上属性、行之间没有先后关系的内容
 - 列表项直接写完整的句子
 - 一个条目有分支时，将分支缩进列在该条目下
@@ -81,7 +81,7 @@ description: 审查当前范围的设计文档或代码实现，判定通过、
 ```mermaid
 flowchart TD
     Start([接收审查请求]) --> Scope["确认审查范围与执行模型 · §3"]
-    Scope --> Check["判断审查类型并执行对应检查 · §4"]
+    Scope --> Check["判断审查类型并准备依据 · §4"]
     Check --> Audit["按所选审查类型编排并执行独立审查 · §5"]
     Audit --> Verify["复核与汇总 · §6"]
     Verify --> Issues{"存在已确认的必须调整项 · §7"}
@@ -95,81 +95,78 @@ flowchart TD
 
 ### 3.1 对象、范围与前提
 
-1. 开发者已指定审查对象与范围时，优先按其指定执行
-   开发者未指定时，沿用调用方已明确的审查对象与范围
-2. 对象或范围未明确时，结合当前工作区改动与近期相关提交确定
-   读取近期相关提交的说明与 diff，了解改动意图与内容
-3. 仍无法确定审查对象或范围时，请开发者明确
-4. 记录审查对象、范围与比较基线
-   注明本次受审提交及纳入审查的未提交改动
-5. 运行 `bash ~/.claude/skills/aca/bin/aca-repo-type-check` 检查工程类型
-   工程类型缺失或无效时，将类型规则核对列为未完成，并建议运行 `/aca-init`
-   工程类型尚未支持时，将类型规则核对列为未完成，并注明缺少对应规则
-6. 输入未包含设计文档位置时，从根 README 的文档入口定位
-   无法定位审查依据或受审文件时，请开发者提供位置
-   位置明确前，将依赖这些内容的检查列为未完成
-
-7. 读取通用审查依据
-   读取本次已确认的问题、目标与改动范围
-   工程类型有效且已支持时，读取对应的 Repo Type 规则
-   读取 `CONTEXT.md`，核对本次审查涉及的业务概念与定义
-   读取本次范围的设计文档，并沿引用补齐理解与核验所需的文档
+1. **确认审查对象与范围**
+   - 开发者已指定审查对象与范围：优先按其指定执行
+   - 开发者未指定：沿用调用方已明确的审查对象与范围
+   - 对象或范围仍未明确：结合当前工作区改动与近期相关提交确定，读取近期相关提交的说明与 diff
+   - 仍无法确定审查对象或范围：请开发者明确
+2. **记录比较基线**
+   - 记录审查对象、范围与比较基线
+   - 注明本次受审提交及纳入审查的未提交改动
+3. **检查工程类型**
+   - 运行 `bash ~/.claude/skills/aca/bin/aca-repo-type-check` 检查工程类型
+   - 工程类型缺失或无效：将类型规则核对列为未完成，并建议运行 `/aca-init`
+   - 工程类型尚未支持：将类型规则核对列为未完成，并注明缺少对应规则
+4. **定位并读取通用审查依据**
+   - 输入未包含设计文档位置时，从根 README 的文档入口定位；无法定位时请开发者提供位置，位置明确前将依赖这些内容的检查列为未完成
+   - 读取本次已确认的问题、目标与改动范围
+   - 工程类型有效且已支持时，读取对应的 Repo Type 规则
+   - 读取 `CONTEXT.md`，核对本次审查涉及的业务概念与定义
+   - 读取本次范围的设计文档，并沿引用补齐理解与核验所需的文档
 
 ### 3.2 Agent 与模型选择
 
-1. 扫描当前 AI Agent 环境及本机已有的其他 AI Agent 环境
-   记录各环境的 Agent 工具种类与实际模型标识，与主 agent 比较
-   通过现有工具入口、配置与模型列表，核对调用方式及可用状态
-   已安装或存在配置不能单独证明可调用
-   无法核实的信息注明未知
-2. 根据扫描结果提出执行组合
-   优先使用可调用的旗舰模型，依据当前可核实的信息判断旗舰定位
-   优先选择 Agent 环境与模型均不同于主 agent 的组合
-   不固定品牌、型号或尝试顺序
-   没有其他适合且可调用的候选时，提出使用本模型的方案
-3. 展示候选的 Agent、模型、可用状态、调用方式及与主 agent 的差异
-   说明推荐依据与可选的备选组合，请开发者确认
-   开发者确认后，再执行审查
-   已确认的选择与可用条件未变化时，沿用已有确认
-4. 将确认的执行组合用于[任务编排](#53-模型与任务编排)
-   所选组合无法调用时，使用已确认的备选
-   无已确认的备选时，报告变化并请开发者确认新的组合
-   在报告中注明实际选择、回落及原因
+1. **扫描可用 Agent 环境与模型**
+   - 扫描当前 AI Agent 环境及本机已有的其他 AI Agent 环境
+   - 记录各环境的 Agent 工具种类与实际模型标识，与主 agent 比较
+   - 通过现有工具入口、配置与模型列表，核对调用方式及可用状态
+   - 已安装或存在配置不能单独证明可调用，无法核实的信息注明未知
+2. **提出执行组合**
+   - 优先使用可调用的旗舰模型，依据当前可核实的信息判断旗舰定位
+   - 优先选择 Agent 环境与模型均不同于主 agent 的组合，不固定品牌、型号或尝试顺序
+   - 没有其他适合且可调用的候选时，提出使用本模型的方案
+3. **确认执行组合**
+   - 展示候选的 Agent、模型、可用状态、调用方式及与主 agent 的差异
+   - 说明推荐依据与可选的备选组合，请开发者确认后再执行审查
+   - 已确认的选择与可用条件未变化时，沿用已有确认
+4. **处理执行回落**
+   - 将确认的执行组合用于[模型与任务编排](#53-模型与任务编排)
+   - 所选组合无法调用时，使用已确认的备选；无已确认备选时，报告变化并请开发者确认新的组合
+   - 在报告中注明实际选择、回落及原因
 
 ## 4 读取依据与执行检查
 
 ```mermaid
 flowchart TD
-    Kind["判断审查类型 · §4.1"] -- 设计审查 --> Design["设计审查 · §4.2"]
-    Kind -- 实现审查 --> Implementation["实现审查 · §4.3"]
+    Kind["判断审查类型 · §4.1"] -- 设计审查 --> Design["设计审查准备与机械检查 · §4.2"]
+    Kind -- 实现审查 --> Implementation["实现审查依据准备 · §4.3"]
     Design --> Results["处理检查结果 · §4.4"]
-    Implementation --> Results
+    Implementation --> Next(["进入独立审查编排 · §5"])
+    Results --> Next
 ```
 
 ### 4.1 判断审查类型
 
-1. 开发者已指定审查类型时，优先按其指定执行
-   开发者未指定时，沿用调用方已明确的审查类型
-2. 审查类型未明确时，根据受审对象与实际改动判断
-   - 设计文档：执行设计审查
-   - 代码、测试或运行配置：执行实现审查
-   - 同时涉及设计与实现：分别执行两类审查
-3. 仍无法确定审查类型时，请开发者明确
+1. **确定本次审查类型**
+   - 开发者已指定审查类型：优先按其指定执行
+   - 开发者未指定：沿用调用方已明确的审查类型
+   - 审查类型未明确：根据受审对象与实际改动判断（设计文档执行设计审查，代码、测试或运行配置执行实现审查，同时涉及两者时分别执行两类审查）
+   - 仍无法确定审查类型：请开发者明确
 
-选择两类审查时，两条检查分支均执行
+选择两类审查时，两条分支均执行
 
 ### 4.2 设计审查
 
-1. 读取本次范围对应的文档组、Doc Design 与实际采用的 Pattern
-   提取其中适用的检查条件，作为逐项核验的依据
-2. 根据本次审查范围确定机械检查的目标路径
-   行文检查覆盖本次受审的全部文档，包括纳入审查范围的项目级记录
-   文档图检查选择包含本次受审文档、且具有 README 入口的文档树
-   Context 的机械检查用于核对结构与格式，内容按对应 Doc Design 的检查条件核验
-3. 执行或复用机械检查
-   本会话已有相同范围的机械检查结果，且相关文件、检查规则与工具均未变化时，可复用
-   复用时，在报告中注明原检查结果及本次满足的复用条件
-   不满足复用条件时，将以下命令中的占位路径替换为第 2 步确定的实际路径并执行
+1. **提取适用检查条件**
+   - 读取本次范围对应的文档组、Doc Design 与实际采用的 Pattern
+   - 提取其中适用的检查条件，作为逐项核验的依据
+2. **确定机械检查路径**
+   - 行文检查覆盖本次受审的全部文档，包括纳入审查范围的项目级记录
+   - 文档图检查选择包含本次受审文档、且具有 README 入口的文档树
+   - Context 的机械检查用于核对结构与格式，内容按对应 Doc Design 的检查条件核验
+3. **执行或复用机械检查**
+   - 本会话已有相同范围的机械检查结果，且相关文件、检查规则与工具均未变化时，可复用并在报告中注明原结果及复用条件
+   - 不满足复用条件时，将以下命令中的占位路径替换为第 2 步确定的实际路径并执行
 
    ```bash
    bash ~/.claude/skills/aca/bin/aca-doc-graph-check <文档目录>
@@ -179,22 +176,19 @@ flowchart TD
 
 ### 4.3 实现审查
 
-1. 读取本次范围对应的已确认设计、测试设计与仓库实现约定
-2. 按已确定的比较基线读取本次 diff 与改动文件
-   读取受影响的调用方与依赖代码
-   读取改动所在函数、类及相关调用链，理解其执行上下文
-3. 将实现与测试分别对应到设计约定和测试场景
-4. 根据本次改动的影响范围，执行或复用设计与仓库约定要求的测试、构建及静态检查
-   设计要求通过实际运行核验的行为，按对应测试用例执行验证
-   已有验证结果对应相同受审内容，且测试用例、夹具、配置与依赖环境均未变化时，可复用
-   复用时，在报告中注明原验证结果及本次满足的复用条件
-   验证证据不足或不满足复用条件时，执行对应检查
-   按测试设计使用隔离的验证环境
-   验证过程中不修改提交记录
+1. **读取设计与实现约定**
+   - 读取本次范围对应的已确认设计、测试设计与仓库实现约定
+2. **读取受审代码与测试**
+   - 按已确定的比较基线读取本次 diff 与改动文件
+   - 读取受影响的调用方与依赖代码
+   - 读取改动所在函数、类、测试文件及相关调用链，理解其执行上下文
+3. **建立设计与实现的映射**
+   - 将生产代码实现与测试代码实现分别对应到设计约定和测试场景，供第五章逐项静态审查
+   - 实现审查不直接运行代码、测试或构建，运行验证在审查通过后由 `/aca-test` 执行
 
 ### 4.4 处理检查结果
 
-两类审查的工具检查均按本节处理
+设计审查的机械检查按本节处理
 
 | 检查情况 | 处理 |
 | --- | --- |
@@ -226,62 +220,67 @@ flowchart TD
 
 ### 5.2 实现审查维度
 
-以已确认的设计文档为依据，逐项核对以下内容
+以已确认的设计文档为依据，逐项静态核对以下内容
 
 1. **结构设定**
    核对模块与文件划分、职责归属、接口定义及依赖关系是否符合设计
 2. **具体逻辑实现**
    核对输入输出与处理流程是否符合设计
    核对数据与状态变化、错误处理及边界行为是否符合设计
-   核对黑盒与白盒测试中的夹具、场景及预期结果是否符合对应测试设计
+   核对黑盒与白盒测试代码中的夹具、场景及断言是否完整覆盖对应测试设计
    核对测试断言能否识别实际行为与预期结果的偏差
 3. **整体结构实现**
    核对模块间的组装、调用链与协作方式是否符合整体架构设计
-   核对集成后的行为是否符合设计中的跨模块流程与验收条件
+   核对跨模块接线是否符合设计中的流程与契约边界
 
 ### 5.3 模型与任务编排
 
-1. 按所选审查类型创建独立审查任务
-   设计审查为每个视角分别分配独立子 agent
-   实现审查为结构设定、具体逻辑实现与整体结构实现分别分配独立子 agent
-   各子 agent 独立形成结论，不预先读取其他子 agent 的审查结果
-2. 按[Agent 与模型选择](#32-agent-与模型选择)中已确认的组合安排执行
-   使用本模型时，各审查任务仍独立执行
-3. 为各子 agent 提供任务上下文
+1. **创建独立审查任务**
+   - 设计审查为每个视角分别分配独立子 agent
+   - 实现审查为结构设定、具体逻辑实现与整体结构实现分别分配独立子 agent
+   - 各子 agent 独立形成结论，不预先读取其他子 agent 的审查结果
+2. **安排执行模型**
+   - 按[Agent 与模型选择](#32-agent-与模型选择)中已确认的组合安排执行
+   - 使用本模型时，各审查任务仍独立执行
+3. **提供任务上下文**
    - 负责的审查项及分配的适用检查条件
    - 审查对象、范围与比较基线，以及受审提交和纳入审查的未提交改动
    - 受审内容的位置及对应设计依据
-   - 第四章已有检查结果与证据，以及执行或复用依据
-   - 实现审查所需的 diff、改动文件、受影响的调用与依赖代码、仓库实现约定
+   - 第四章已有的机械检查结果与证据
+   - 实现审查所需的 diff、改动文件、测试文件、受影响的调用与依赖代码、仓库实现约定
 
 ### 5.4 执行审查
 
-1. 各子 agent 逐项核验所分配的检查条件
-   检查条件不适用于本次范围时，记录不适用及其依据
-2. 每项检查记录核验结果、对应文件位置与判断依据
-3. 每条问题按[审查报告](#81-审查报告)中的问题格式记录位置、问题、影响与调整建议
-4. 将完整检查记录、问题清单及未完成项返回主 agent
+1. **逐项核验检查条件**
+   - 各子 agent 逐项核验所分配的检查条件
+   - 检查条件不适用于本次范围时，记录不适用及其依据
+2. **记录核验结果与问题**
+   - 每项检查记录核验结果、对应文件位置与判断依据
+   - 每条问题按[审查报告](#81-审查报告)中的问题格式记录位置、问题、影响与调整建议
+3. **汇总返回主 agent**
+   - 将完整检查记录、问题清单及未完成项返回主 agent
 
 ## 6 复核与汇总
 
-1. 主 agent 读取各子 agent 的检查记录
-   核对工具检查与验证证据是否对应本次受审内容
-2. 逐条核对问题涉及的文件与证据，确认成立后纳入报告
-   已证伪的问题排除
-   证据不足的问题列为未完成核验
-   主 agent 可补充自行发现的问题，经同样的证据核验后纳入报告
-   合并重复问题，保留发生位置、证据与影响
-3. 汇总各审查项的检查记录，逐项核对检查条件的适用性与核验结果
-   子 agent 未覆盖分配的范围、遗漏检查或缺少核验依据时，补充分派对应检查
-   主 agent 复核补充结果
-   仍无法完成的审查项或检查，列为未完成并注明原因
-4. 汇总已确认的问题与检查完成情况，作为结论判定的依据
+1. **读取各子 agent 检查记录**
+   - 主 agent 读取各子 agent 的检查记录，核对检查证据是否对应本次受审内容
+2. **复核并归并问题**
+   - 逐条核对问题涉及的文件与证据，确认成立后纳入报告
+   - 已证伪的问题排除，证据不足的问题列为未完成核验
+   - 主 agent 可补充自行发现的问题，经同样的证据核验后纳入报告
+   - 合并重复问题，保留发生位置、证据与影响
+3. **核对审查覆盖度**
+   - 汇总各审查项的检查记录，逐项核对检查条件的适用性与核验结果
+   - 子 agent 未覆盖分配的范围、遗漏检查或缺少核验依据时，补充分派对应检查并复核结果
+   - 仍无法完成的审查项或检查，列为未完成并注明原因
+4. **形成判定依据**
+   - 汇总已确认的问题与检查完成情况，作为结论判定的依据
 
 ## 7 判定结论
 
 | 结论 | 条件 |
 | --- | --- |
-| 通过 | 所选审查任务全部完成、适用检查条件全部核验通过、适用工具检查通过、无必须调整项 |
+| 通过 | 所选审查任务全部完成、适用检查条件全部核验通过、适用机械检查通过、无必须调整项 |
 | 需要调整 | 存在已确认的必须调整项 |
 | 未完成 | 未满足通过条件，且无已确认的必须调整项 |
 
@@ -305,7 +304,7 @@ flowchart TD
 | 基线 | <比较基线、受审提交及未提交改动> |
 | 结论依据 | <满足通过条件的情况，或阻止通过的问题与未完成检查> |
 | 必须调整 | <问题数量与主要影响 / 无> |
-| 工具检查 | <测试、构建或机械检查的通过、失败及未完成情况> |
+| 工具检查 | <设计审查机械检查的通过、失败及未完成情况 / 实现审查不适用> |
 | 未完成 | <本次范围内未完成的审查任务、检查及原因 / 无> |
 | 下一步 | <一个立即可执行的动作> |
 
@@ -324,7 +323,7 @@ flowchart TD
 
 - 阅读：<本次实际读取的文件>
 - 检查条件：<条件及来源、逐项核验结果、不适用依据与未完成原因>
-- 工具：<实际执行的命令与结果，或复用的原结果及复用依据>
+- 工具：<实际执行的机械检查命令与结果，或复用的原结果及复用依据 / 实现审查不适用>
 
 | 审查项 | Agent 环境 | 模型 | 完成状态 | 说明 |
 | --- | --- | --- | --- | --- |
@@ -340,12 +339,12 @@ flowchart TD
 
 | 结论 | 情况 | 下一步 |
 | --- | --- | --- |
-| 未完成 | 输入、验证环境或核验条件缺失 | 报告恢复条件，补齐后通过 `/aca-review` 继续本次审查 |
-| 需要调整 | 实现问题 | `/aca-implement` 修复并验证 |
+| 未完成 | 输入或核验条件缺失 | 报告恢复条件，补齐后通过 `/aca-review` 继续本次审查 |
 | 需要调整 | 设计方案仍需论证或决定 | `/aca-specify` 补充或修订方案 |
 | 需要调整 | 方案已明确，仅需修订设计文档 | `/aca-design` 修订文档 |
-| 通过 | 仅设计审查通过，且本轮需要实施 | `/aca-implement` |
-| 通过 | 实现审查通过，尚有本轮实施任务 | `/aca-implement` 继续实施 |
-| 通过 | 本轮工作全部完成，且所需审查均通过 | 按已确认的版本推进安排衔接 `/aca-release` |
+| 需要调整 | 代码或测试实现问题 | `/aca-implement` 修复 |
+| 通过 | 设计审查通过，本轮需要实施代码 | `/aca-implement` |
+| 通过 | 设计审查通过，本轮仅改设计文档 | 按已确认的版本推进安排衔接 `/aca-release` |
+| 通过 | 实现审查通过 | `/aca-test` 执行当前范围的测试验证 |
 
 设计或实现修正后，通过 `/aca-review` 复审受影响范围