soloforge 1.1.38 → 1.1.40

package/templates/rules/existing-system//351/230/262/345/276/241/346/200/247/347/274/226/347/240/201/350/247/204/345/210/231.md

@@ -1,37 +1,81 @@
 ---
 name: defensive-coding
 type: review_rule
-asset_kind: review_rule
-primary_triggers:
-  - 防御性编码
-  - 防御编程
-  - 老系统编码
 scope: ['*']
 system_scope: ['existing-system']
 stages: ["编码与单元测试"]
 lifecycle_status: active
 owner_mechanism_id: mc-existing-system-review
+version: 1.2.0
+last_reviewed: '2026-06-04'
+products:
+  - '*'
+priority: P1
+triggers: ['防御性编码', '降级策略', '重试超时', '事务保护', '异常处理', 'defensive coding']
 ---
 
 # 防御性编码规则
 
-## 老系统接口调用
-- 必须对老系统接口调用添加降级/兜底/重试
-- 降级策略：返回兜底数据或走老逻辑
-- 重试策略：最多 3 次，指数退避
-- 超时设置：必须设置合理的超时时间
-
-## 外部依赖
-- 所有外部服务调用必须有 try-catch
-- 所有外部服务调用必须设置超时
-- 不可控的外部依赖必须有降级方案
-
-## 数据操作
-- 写操作必须使用事务
-- 批量操作必须有分页/分批处理
-- 数据校验在写入前完成
-
-## 错误处理
-- 不允许空 catch 块
-- 错误日志必须包含上下文信息
-- 非预期错误必须向上传播
+## DEF-OLD-01: 接口降级策略
+- id: DEF-OLD-01
+- name: 接口降级策略
+- severity: error
+- check_type: deterministic
+- pattern: 老系统接口调用必须有降级/兜底策略
+- description: 必须对老系统接口调用添加降级策略：返回兜底数据或走老逻辑。降级方案须在代码中有明确注释说明触发条件和兜底行为。
+
+## DEF-OLD-02: 重试与超时
+- id: DEF-OLD-02
+- name: 重试与超时
+- severity: error
+- check_type: deterministic
+- pattern: 重试次数≤3，超时时间必须明确设置
+- description: 老系统接口调用必须有重试策略：最多 3 次，指数退避。超时设置必须明确（不得使用无限超时或默认超时）。
+
+## DEF-EXT-01: try-catch 包裹
+- id: DEF-EXT-01
+- name: try-catch 包裹
+- severity: error
+- check_type: deterministic
+- pattern: 所有外部服务调用必须有 try-catch 包裹
+- description: 所有外部服务调用（HTTP/RPC/MQ/SDK）必须有 try-catch 包裹，不得将外部异常直接传播到业务逻辑层。
+
+## DEF-EXT-02: 降级方案
+- id: DEF-EXT-02
+- name: 降级方案
+- severity: warning
+- check_type: semantic
+- pattern: 不可控的外部依赖必须有降级方案
+- description: 不可控的外部依赖（第三方 API、共享服务）必须有降级方案：返回缓存数据、走备用通道、或标记为降级状态。
+
+## DEF-DATA-01: 事务保护
+- id: DEF-DATA-01
+- name: 事务保护
+- severity: error
+- check_type: deterministic
+- pattern: 写操作必须使用事务
+- description: 涉及多表写入、状态变更、金额操作等写操作必须使用事务保护。事务边界须明确，不得跨 HTTP 调用。
+
+## DEF-DATA-02: 分批处理
+- id: DEF-DATA-02
+- name: 分批处理
+- severity: warning
+- check_type: semantic
+- pattern: 批量操作必须有分页/分批处理
+- description: 批量操作（批量导入、批量更新、批量删除）必须有分页/分批处理机制，避免单次操作数据量过大导致内存溢出或锁等待。
+
+## DEF-ERR-01: 禁止空 catch
+- id: DEF-ERR-01
+- name: 禁止空 catch
+- severity: error
+- check_type: deterministic
+- pattern: grep -E 'catch\s*\([^)]*\)\s*\{\s*\}' 匹配 0
+- description: 不允许空 catch 块。catch 块中必须至少包含日志记录或明确的忽略注释。
+
+## DEF-ERR-02: 错误传播
+- id: DEF-ERR-02
+- name: 错误传播
+- severity: error
+- check_type: semantic
+- pattern: 非预期错误必须向上传播，不得吞异常
+- description: 错误日志必须包含上下文信息（traceId、请求参数、操作类型）。非预期错误必须向上传播，不得在中间层吞异常后返回默认值。

package/templates/rules/existing-system//351/233/267/345/214/272/345/217/215/346/250/241/345/274/217/346/270/205/345/215/225.md

@@ -1,35 +1,121 @@
 ---
 name: minefield-antipattern-list
 type: review_rule
-asset_kind: review_rule
-primary_triggers:
-  - 雷区
-  - 反模式
-  - 陷阱
 scope: ['*']
 system_scope: ['existing-system']
 stages: ["编码与单元测试"]
 lifecycle_status: active
 owner_mechanism_id: mc-existing-system-review
+version: 1.2.0
+last_reviewed: '2026-06-04'
+products:
+  - '*'
+priority: P1
+triggers: ['雷区清单', '反模式', '性能陷阱', '安全风险', '架构隐患', 'minefield', 'antipattern']
 ---
 
 # 雷区反模式清单
 
-## 数据库层面
-- **无索引大表：** 超过 10 万行的表缺少合理索引
-- **循环查库：** 在循环体内执行数据库查询（N+1 问题）
-- **全表扫描：** WHERE 条件未命中索引导致全表扫描
-- **缺少事务：** 多表写操作未使用事务保护
-
-## 代码层面
-- **硬编码配置：** 数据库连接、API 地址等硬编码在代码中
-- **硬编码密钥：** 密码、Token、密钥等直接写在源码中
-- **大函数/大类：** 单个函数超过 100 行或单个类超过 1000 行
-- **循环调用外部接口：** 在循环体内调用 HTTP/RPC 接口
-- **吞异常：** catch 块为空或只打印日志不处理
-
-## 架构层面
-- **循环依赖：** 模块间存在循环引用
-- **共享数据库：** 多个服务直接操作同一个数据库表
-- **缺少降级：** 外部依赖无降级/兜底策略
-- **同步阻塞：** 高延迟操作使用同步调用
+## MINE-DB-01: 无索引大表查询
+- id: MINE-DB-01
+- name: 无索引大表查询
+- severity: error
+- check_type: deterministic
+- pattern: 超过 10 万行的表缺少合理索引
+- description: 大表（超过 10 万行）缺少合理索引会导致全表扫描，严重影响查询性能。须在改造时补充索引。
+
+## MINE-DB-02: 循环查库
+- id: MINE-DB-02
+- name: 循环查库
+- severity: error
+- check_type: deterministic
+- pattern: 在循环体内执行数据库查询（N+1 问题）
+- description: 在循环体内执行数据库查询是典型的 N+1 问题，会导致数据库压力剧增。应改为批量查询或 JOIN。
+
+## MINE-DB-03: 全表扫描
+- id: MINE-DB-03
+- name: 全表扫描
+- severity: warning
+- check_type: deterministic
+- pattern: WHERE 条件未命中索引导致全表扫描
+- description: WHERE 条件未命中索引或使用函数包裹索引列导致全表扫描。应优化查询条件或补充合适的索引。
+
+## MINE-DB-04: 缺事务
+- id: MINE-DB-04
+- name: 缺事务
+- severity: error
+- check_type: deterministic
+- pattern: 多表写操作未使用事务保护
+- description: 涉及多表写入的操作未使用事务保护，可能导致数据不一致。必须补充事务注解或编程式事务。
+
+## MINE-CODE-01: 硬编码配置
+- id: MINE-CODE-01
+- name: 硬编码配置
+- severity: error
+- check_type: deterministic
+- pattern: 数据库连接、API 地址等硬编码在代码中
+- description: 数据库连接字符串、API 地址、文件路径等配置项硬编码在源码中，应提取到配置文件或环境变量。
+
+## MINE-CODE-02: 硬编码密钥
+- id: MINE-CODE-02
+- name: 硬编码密钥
+- severity: error
+- check_type: deterministic
+- pattern: 密码、Token、密钥等直接写在源码中
+- description: 密码、Token、密钥、证书等敏感信息直接写在源码中是严重安全风险。必须使用密钥管理服务或加密配置。
+
+## MINE-CODE-03: 大函数
+- id: MINE-CODE-03
+- name: 大函数
+- severity: warning
+- check_type: deterministic
+- pattern: 单个函数超过 80 行或单个类超过 1000 行
+- description: 单个函数超过 80 行说明职责过多，应拆分为更小的函数。单个类超过 1000 行应考虑拆分为更小的类。
+
+## MINE-CODE-04: 循环调接口
+- id: MINE-CODE-04
+- name: 循环调接口
+- severity: error
+- check_type: deterministic
+- pattern: 在循环体内调用 HTTP/RPC 接口
+- description: 在循环体内调用 HTTP/RPC 接口会导致大量网络请求，严重影响性能。应改为批量接口调用或异步处理。
+
+## MINE-CODE-05: 吞异常
+- id: MINE-CODE-05
+- name: 吞异常
+- severity: error
+- check_type: deterministic
+- pattern: catch 块为空或只打印日志不处理
+- description: catch 块为空或仅打印日志不进行处理，会隐藏错误导致问题难以定位。必须至少记录日志并向上传播或标记为降级。
+
+## MINE-ARCH-01: 循环依赖
+- id: MINE-ARCH-01
+- name: 循环依赖
+- severity: error
+- check_type: deterministic
+- pattern: 模块间存在循环引用
+- description: 模块间存在 A→B→A 的循环依赖，导致无法独立部署和测试。应引入接口层或事件机制解耦。
+
+## MINE-ARCH-02: 共享数据库
+- id: MINE-ARCH-02
+- name: 共享数据库
+- severity: warning
+- check_type: semantic
+- pattern: 多个服务直接操作同一个数据库表
+- description: 多个服务直接操作同一个数据库表（非只读），会导致数据一致性问题。应通过 API 或事件机制协调。
+
+## MINE-ARCH-03: 缺降级
+- id: MINE-ARCH-03
+- name: 缺降级
+- severity: error
+- check_type: semantic
+- pattern: 外部依赖无降级/兜底策略
+- description: 关键外部依赖（支付、通知、数据同步）无降级/兜底策略，一旦外部服务不可用会导致核心功能中断。
+
+## MINE-ARCH-04: 同步阻塞
+- id: MINE-ARCH-04
+- name: 同步阻塞
+- severity: warning
+- check_type: semantic
+- pattern: 高延迟操作使用同步调用
+- description: 高延迟操作（文件处理、大数据量计算、跨系统同步）使用同步调用会阻塞线程，影响系统吞吐量。应考虑异步处理。

package/templates/rules/new-system//350/201/224/350/260/203/350/256/276/350/256/241/347/274/272/351/231/267/345/210/244/345/256/232/350/247/204/345/210/231.md

@@ -1,36 +1,56 @@
 ---
 name: integration-design-defect
 type: review_rule
-asset_kind: review_rule
-primary_triggers:
-  - 联调缺陷
-  - 设计缺陷
-  - 回退
 scope: ['*']
 system_scope: ['new-system']
-stages: ["编码与单元测试"]
+id: ka-review-rule-联调设计缺陷判定规则
 lifecycle_status: active
+authority: supporting
 owner_mechanism_id: mc-new-system-review
+priority: P0
+version: 1.2.0
+last_reviewed: '2026-06-04'
+stages: ["联调验证"]
+triggers: ["设计缺陷","缺陷判定","回退判定","联调缺陷"]
 ---
 
 # 联调阶段严重设计缺陷判定规则
 
-## 触发回退到架构设计的条件（满足任一即触发）
+## DEF-01: 核心接口联通性失败
+- id: DEF-01
+- name: 核心接口联通性失败
+- severity: error
+- check_type: semantic
+- trigger_rollback: true
+- evidence_required: 接口错误日志 + 根因分析（排除代码 bug 后确认为设计问题）
+- rule: 接口返回 500/超时且原因不是代码 bug 而是接口设计本身有问题；或两个模块间接口参数不匹配且无法通过简单调整解决
 
-### 核心接口联通性
-- 接口返回 500/超时，且原因不是代码 bug 而是接口设计本身有问题
-- 两个模块之间的接口参数不匹配，无法通过简单调整解决
+## DEF-02: 数据模型冲突
+- id: DEF-02
+- name: 数据模型冲突
+- severity: error
+- check_type: semantic
+- trigger_rollback: true
+- evidence_required: 数据库实际数据流截图 + 设计文档对比 + 冲突点标注
+- rule: 实际数据流与数据库设计文档描述严重不符；或多个切片的数据模型之间存在不可调和的矛盾
 
-### 数据模型冲突
-- 实际数据流与数据库设计文档描述严重不符
-- 多个切片的数据模型之间存在不可调和的矛盾
+## DEF-03: 安全机制缺失
+- id: DEF-03
+- name: 安全机制缺失
+- severity: error
+- check_type: semantic
+- trigger_rollback: true
+- evidence_required: 缺失认证/鉴权的接口列表 + 架构设计文档安全层规划对照
+- rule: 接口缺少认证/鉴权，且架构设计文档未规划安全层
 
-### 安全机制缺失
-- 接口缺少认证/鉴权，且架构设计文档未规划安全层
-
-### 业务逻辑矛盾
-- 实现的核心业务逻辑与需求文档/原型说明存在根本性矛盾
-- 发现需求/原型本身有重大遗漏或自相矛盾
+## DEF-04: 业务逻辑矛盾
+- id: DEF-04
+- name: 业务逻辑矛盾
+- severity: error
+- check_type: semantic
+- trigger_rollback: true
+- evidence_required: 实现逻辑与需求文档/原型对比 + 矛盾点标注
+- rule: 实现的核心业务逻辑与需求文档/原型说明存在根本性矛盾；或发现需求/原型本身有重大遗漏或自相矛盾
 
 ## 不触发回退的情况
 - 代码 bug → 在编码阶段修复

package/templates/rules/shared/SOLID/344/273/243/347/240/201/345/256/241/346/237/245/350/247/204/345/210/231.md

@@ -1,40 +1,67 @@
 ---
 name: solid-code-review
 type: review_rule
-when: '代码审查, SOLID, 面向对象设计, controller, service'
 scope:
   - backend
   - frontend
 products:
   - '*'
 id: ka-review-rule-SOLID代码审查规则
-asset_kind: review_rule
 lifecycle_status: active
 authority: canonical
 owner_mechanism_id: mc-ood-solid-contract
-primary_triggers:
-  - SOLID代码审查规则
-secondary_triggers:
-  - 重构
-negative_triggers: []
 priority: P1
-specificity: 5
 consumes:
   - mc-ood-solid-contract
-required_evidence:
-  - code_review_findings
-version: 1.1.0
-last_reviewed: '2026-06-01'
+version: 1.2.0
+last_reviewed: '2026-06-04'
 stages: ["代码审查"]
+triggers: ["代码审查","SOLID","面向对象设计","controller","service"]
 ---
 
-## 阻断项
+# SOLID 代码审查规则
 
-| 原则 | 阻断表现 | 修复方向 |
-|---|---|---|
-| SRP | Controller 承担事务、持久化或业务计算 | 下沉至应用服务并只保留协议映射 |
-| LSP | 子类型对父契约操作抛出 unsupported | 修正抽象层级或拆分契约 |
-| ISP | 宽接口迫使实现提供空方法/异常 | 拆分客户端特定接口 |
-| DIP | 业务服务直接构造外部 SDK 或仓储实现 | 引入端口并通过依赖注入装配 |
+## SOLID-SRP: 单一职责 — Controller 职责边界
+- id: SOLID-SRP
+- name: 单一职责 — Controller 职责边界
+- severity: error
+- check_type: semantic
+- evidence_required: 代码审查发现中标注 Controller 违规行号与下沉建议
+- pattern: Controller 承担事务、持久化或业务计算
+- description: Controller 层只保留协议映射（HTTP 参数解析、响应封装）。事务管理、持久化操作、业务计算必须下沉到 Service 层。违反即标记为 error。
 
-OCP 的多分支扩展风险可先作为 warning，但必须记录变化维度和后续扩展方案。
+## SOLID-LSP: 里氏替换 — 子类型契约遵守
+- id: SOLID-LSP
+- name: 里氏替换 — 子类型契约遵守
+- severity: error
+- check_type: semantic
+- evidence_required: 代码审查发现中标注子类型违反父契约的方法签名
+- pattern: 子类型对父契约操作抛出 unsupported
+- description: 子类型不得对父类型声明的操作抛出 UnsupportedOperationException 或返回空实现。违反时应修正抽象层级或拆分契约接口。
+
+## SOLID-ISP: 接口隔离 — 宽接口拆分
+- id: SOLID-ISP
+- name: 接口隔离 — 宽接口拆分
+- severity: warning
+- check_type: semantic
+- evidence_required: 代码审查发现中标注宽接口方法数及空实现/异常列表
+- pattern: 宽接口迫使实现提供空方法/异常
+- description: 接口方法数过多导致实现类被迫提供空方法或抛异常时，应拆分为客户端特定的细粒度接口。
+
+## SOLID-DIP: 依赖倒置 — 禁止直接构造依赖
+- id: SOLID-DIP
+- name: 依赖倒置 — 禁止直接构造依赖
+- severity: error
+- check_type: deterministic
+- evidence_required: 代码审查发现中标注 new 语句行号与建议的注入方式
+- pattern: "new\\s+\\w*(Service|Repository|Dao)\\s*\\("
+- description: 业务服务不得直接构造外部 SDK 或仓储实现（new XxxService()/new XxxRepository()）。必须引入端口（接口）并通过依赖注入装配。
+
+## SOLID-OCP: 开闭原则 — 多分支扩展风险
+- id: SOLID-OCP
+- name: 开闭原则 — 多分支扩展风险
+- severity: warning
+- check_type: semantic
+- evidence_required: 代码审查发现中标注 if-else/switch 分支数与建议的重构模式
+- pattern: 多分支 if-else/switch 随需求增长持续扩展
+- description: 当 if-else/switch 分支随需求持续增长时，应评估是否需要引入策略模式/工厂模式。当前标记为 warning，但必须记录变化维度和后续扩展方案。

package/templates/rules/shared//344/270/200/350/207/264/346/200/247/346/240/241/351/252/214/350/247/204/345/210/231.md

@@ -1,23 +1,96 @@
 ---
 name: consistency-check
 type: review_rule
-when: 设计产物一致性校验
 scope: ['*']
 products: ['*']
 lifecycle_status: active
-asset_kind: review_rule
 owner_mechanism_id: mc-generic-review
-primary_triggers: [一致性, 校验, 设计产物]
-stages: ["编码与单元测试"]
+stages: ["详细设计", "任务规划", "编码与单元测试"]
+triggers: ["一致性","校验","设计产物"]
+version: 1.3.0
+last_reviewed: '2026-06-04'
 ---
+
 # 设计产物一致性校验规则
 
-## 校验项
-1. 切片计划中的每个切片必须关联到详细设计中的接口或模块
-2. 切片涉及的文件路径必须在设计文档中有对应描述
-3. 接口规格中的接口必须与切片中的接口调用一致
-4. 数据库设计中的表必须在切片中有对应的操作覆盖
+## 详细设计阶段校验（本阶段执行）
+
+### CON-DD-01: 实体覆盖完整性
+- pattern: 数据库设计中每张表必须对应架构设计中的实体，且无遗漏实体
+- severity: error
+- description: 架构文档所有 ARCH-* 实体必须在数据库设计中有对应表。遗漏实体必须补充或标注"本次迭代不涉及"。
+- check_focus: 覆盖完整性——提取架构文档所有 ARCH-* 实体，逐一在 DD-T* 中查找
+
+### CON-DD-02: API 模块覆盖完整性
+- pattern: API 接口规格中每个模块的所有 CRUD 操作必须完整定义
+- severity: error
+- description: 架构文档所有 ARCH-* 模块必须在 API 规格中有对应接口。遗漏操作必须补充或标注"本次迭代不涉及"。
+
+### CON-DD-03: DB-API 字段映射
+- pattern: API 接口规格中每个字段必须在数据库设计中有对应字段
+- severity: error
+- description: API 请求/响应字段必须精确追溯到数据库表.字段。例外：计算字段/缓存字段/外部服务字段需标注来源。
+
+### CON-DD-04: 约束一致性
+- pattern: API 字段约束必须与数据库字段约束一致
+- severity: warning
+- description: API 层约束不得弱于数据库层。允许 API 层更严格。不一致处须在设计文档中明确标注。
+
+## 任务规划阶段校验（本文件定义规范，任务规划阶段执行）
+
+### CON-TP-01: 任务-接口关联
+- pattern: 每个任务必须关联到详细设计中的 DD-* 编号
+- severity: error
+
+### CON-TP-02: 文件路径一致性
+- pattern: 任务涉及的文件路径必须在详细设计文档中有对应模块描述
+- severity: error
+
+### CON-TP-03: 接口调用一致性
+- pattern: 任务中的接口调用必须与 API 接口规格文档完全一致
+- severity: error
+
+### CON-TP-04: 数据操作覆盖
+- pattern: 数据库设计中每张表必须在切片任务中有对应操作覆盖
+- severity: warning
+
+## 跨阶段验证（任务规划门禁触发）
+
+### CON-CROSS-01: 切片-设计路径一致
+- pattern: 切片计划的涉及文件与详细设计描述的模块路径必须一致
+- severity: error
+
+## 编码阶段校验（编码与单元测试阶段执行）
+
+### CON-TS-01: 切片任务关联设计接口
+- pattern: 每个切片任务必须关联到 API 接口规格中定义的接口端点
+- severity: error
+- check_type: deterministic
+- description: 切片计划中每个 SLC 的上游引用必须包含 API 接口规格中的接口编号。未关联接口的切片不得进入编码。
+
+### CON-TS-02: 切片覆盖设计全部模块
+- pattern: 所有设计文档中定义的模块必须被切片任务覆盖
+- severity: error
+- check_type: semantic
+- description: 详细设计中定义的所有模块（DD-*）必须在切片计划中有对应的 SLC 覆盖。遗漏模块须补充切片或标注"本次迭代不涉及"。
+
+### CON-TS-03: 接口规格与切片一致
+- pattern: 切片涉及的接口签名必须与 API 接口规格完全一致
+- severity: error
+- check_type: deterministic
+- description: 编码时实现的接口签名（HTTP 方法、路径、参数、响应）必须与 API 接口规格文档精确匹配。偏差须更新设计文档并重新评审。
+
+### CON-TS-04: 数据库操作覆盖
+- pattern: 切片涉及的数据库操作必须在数据库设计文档中有定义
+- severity: error
+- check_type: deterministic
+- description: 切片中涉及的表操作（INSERT/UPDATE/DELETE/SELECT）必须在数据库设计文档中有对应的表定义和约束。未定义的操作须补充设计。
 
 ## 校验时机
-- 任务规划阶段完成后、编码前
-- 门禁通过才允许进入编码阶段
+1. 详细设计完成后、任务规划前：执行 CON-DD-01~04
+2. 任务规划完成后、编码前：执行 CON-TP-01~04 + CON-CROSS-01
+3. 编码阶段：执行 CON-TS-01~04
+
+## COMP-* 本阶段执行范围（兼容性检查规则在架构阶段定义）
+- **详细设计阶段执行**：COMP-01（字段删除过渡期）、COMP-03（新增必填字段默认值）、COMP-04（枚举值向后兼容）、COMP-05（外键数据完整性）、COMP-07（API 调用方不受影响）
+- **后续阶段执行**：COMP-02（API 版本化→编码阶段）、COMP-06（行为不变量→编码阶段）、COMP-08（配置迁移→部署阶段）、COMP-09（定时任务→部署阶段）、COMP-10（数据迁移语义→联调阶段）、COMP-11（跨阶段一致性→持续）

package/templates/rules/shared//344/270/212/346/270/270/344/272/244/345/217/211/351/252/214/350/257/201/350/247/204/345/210/231.md

@@ -0,0 +1,56 @@
+---
+name: upstream-cross-validation
+type: governance_rule
+stages: ["编码与单元测试", "任务规划"]
+lifecycle_status: active
+owner_mechanism_id: mc-command-router
+scope:
+  - backend
+  - frontend
+products:
+  - '*'
+priority: P1
+triggers: ['交叉验证', '一致性校验', 'cross validation', '上游验证', '设计产物一致性']
+---
+
+# 上游交叉验证规则
+
+## UCV-01: 实施前变更范围对照设计
+- id: UCV-01
+- name: 实施前变更范围对照设计
+- severity: error
+- check_type: deterministic
+- pattern: 任务规划阶段，每个切片的变更范围必须对照详细设计文档逐项确认
+- description: 任务规划阶段，每个切片的变更范围（涉及文件列表）必须对照详细设计文档逐项确认。涉及的文件列表必须与设计文档描述的模块一致。
+
+## UCV-02: 未覆盖场景回退补充
+- id: UCV-02
+- name: 未覆盖场景回退补充
+- severity: error
+- check_type: semantic
+- pattern: 发现设计文档未覆盖的场景必须回退补充设计，不得跳过
+- description: 扫描过程中发现设计文档未覆盖的业务场景，必须回退到详细设计阶段补充，不得跳过设计直接编码。
+
+## UCV-03: 实施中接口签名匹配
+- id: UCV-03
+- name: 实施中接口签名匹配
+- severity: error
+- check_type: deterministic
+- pattern: 编码阶段实现的接口签名必须与设计规格严格匹配
+- description: 编码阶段，每个切片完成后对照设计文档确认实现与设计一致。接口签名（HTTP 方法、路径、参数类型、响应结构）、数据结构、错误处理必须与设计规格严格匹配。
+
+## UCV-04: 实施中设计偏离须更新
+- id: UCV-04
+- name: 实施中设计偏离须更新
+- severity: warning
+- check_type: semantic
+- pattern: 编码中发现需要偏离设计时，必须先更新设计文档并获取确认
+- description: 编码过程中发现需要偏离设计（接口签名变更、数据结构调整、错误处理方式变更等），必须先更新设计文档并获取用户确认后才能继续。
+
+## UCV-05: 实施后设计要求全覆盖
+- id: UCV-05
+- name: 实施后设计要求全覆盖
+- severity: error
+- check_type: deterministic
+- pattern: 所有设计要求必须有对应的实现证据
+- description: 所有切片完成后，最终审查必须以设计文档为基准。每个设计要求必须有对应的实现证据。未覆盖的设计要求必须标注为待实现或已变更。

package/templates/rules/shared//344/270/212/346/270/270/350/256/276/350/256/241/344/272/244/345/217/211/351/252/214/350/257/201/345/256/241/346/237/245/350/247/204/345/210/231.md

@@ -0,0 +1,67 @@
+---
+name: upstream-design-cross-validation-review
+type: review_rule
+scope:
+  - backend
+  - frontend
+products:
+  - '*'
+id: ka-review-rule-上游设计交叉验证审查规则
+lifecycle_status: active
+authority: supporting
+priority: P1
+version: 1.2.0
+last_reviewed: '2026-06-04'
+owner_mechanism_id: mc-command-router
+stages: ["代码审查"]
+triggers: ["代码审查","交叉验证","设计对照","upstream validation"]
+---
+
+# 上游设计交叉验证审查规则
+
+## UCV-REV-01: 代码接口与详细设计一致
+- id: UCV-REV-01
+- name: 代码接口与详细设计一致
+- severity: error
+- check_type: deterministic
+- pattern: 代码中的每个接口实现必须与详细设计中的接口规格一致（HTTP 方法、路径、参数、响应）
+- description: 代码中实现的接口签名、参数类型、响应结构必须与详细设计文档中的接口规格完全一致。偏差须更新设计文档并重新评审。
+- evidence_required:
+  - "代码接口签名列表"
+  - "详细设计接口规格列表"
+  - "逐项对比结果"
+
+## UCV-REV-02: 数据库操作与数据库设计一致
+- id: UCV-REV-02
+- name: 数据库操作与数据库设计一致
+- severity: error
+- check_type: deterministic
+- pattern: 代码中的数据库操作必须与数据库设计文档中的表结构一致
+- description: 代码中涉及的表操作（字段名、类型、约束）必须与数据库设计文档精确匹配。未定义的操作须补充设计。
+- evidence_required:
+  - "代码数据库操作列表"
+  - "数据库设计表结构列表"
+  - "逐项对比结果"
+
+## UCV-REV-03: 架构决策全部落地
+- id: UCV-REV-03
+- name: 架构决策全部落地
+- severity: error
+- check_type: semantic
+- pattern: 架构设计文档中的每个决策必须落实到代码实现
+- description: 架构设计文档中的每个 ARCH-* 决策必须有对应的代码实现证据。模块间调用关系须与架构图一致。技术选型的使用方式须符合架构文档约定。不得有决策无实现。
+- evidence_required:
+  - "架构决策列表（ARCH-*）"
+  - "代码实现证据映射表"
+
+## UCV-REV-04: 页面交互与原型一致
+- id: UCV-REV-04
+- name: 页面交互与原型一致
+- severity: warning
+- check_type: semantic
+- pattern: 页面交互实现必须与原型说明一致
+- description: 前端组件结构须与原型中的页面区域对应。交互反馈（提示、跳转、状态变更）须与原型说明一致。
+- evidence_required:
+  - "原型说明路径"
+  - "前端实现页面路径"
+  - "逐项对比结果"