soloforge 1.1.40 → 1.1.43

package/templates/build//347/274/272/351/231/267/347/256/241/347/220/206.md

@@ -0,0 +1,51 @@
+---
+id: ka-pattern-defect-management
+kind: knowledge
+title: 缺陷管理
+sync_policy: copy_to_project
+status: active
+extra:
+  name: defect-management
+  scope:
+    - backend
+    - frontend
+  products:
+    - '*'
+  lifecycle_status: active
+  authority: supporting
+  priority: P2
+  version: 1.1.0
+  last_reviewed: '2026-06-01'
+  consumes: []
+  emits: []
+  type: knowledge
+  domain:
+    - build
+    - verify
+  verification_layer: L2
+  stage: build
+  owner_mechanism: mc-general-pattern
+---
+
+## 决策规则
+- 每个缺陷必须归因到最小责任阶段（需求/设计/任务拆解/实现/测试/门禁）
+- 修复必须附带证据，"理论上修好了"不可接受
+- 有复现价值的缺陷必须产出至少一项回填动作：规则、模版、检查项或知识条目
+- 同一缺陷若在案例库中已出现过，自动升级为深层缺陷（方法论级别）
+- 报告必须在修复之前编写，禁止先改规则后写报告
+- 缺陷结论必须区分：已完成 / 未完成 / 未验证 / 未知，无真实证据不得标记为已完成
+- 缺陷必须包含完整的复现步骤、预期结果、实际结果和环境信息
+- 每个缺陷必须有优先级（P0-P4）和严重程度（S1-S4）分类
+- 修复缺陷必须包含根因分析，禁止只修表面症状
+- P0/P1 缺陷修复后必须经过回归测试，不能直接上线
+- 缺陷关闭必须由提单人确认，修复人不能自行关闭
+
+## 验收项
+- [AC-01] 缺陷有归因阶段
+- [AC-02] 修复附带执行证据
+- [AC-03] 有复现价值的缺陷有回填动作
+- [AC-04] 结论区分已完成/未完成/未验证/未知
+- [AC-05] 缺陷有完整复现信息
+- [AC-06] 有优先级和严重程度
+- [AC-07] 修复包含根因分析
+- [AC-08] 高优先级缺陷有回归测试

package/templates/build//350/200/246/345/220/210/346/243/200/346/265/213.md

@@ -0,0 +1,89 @@
+---
+id: 耦合检测
+kind: guidance
+title: 耦合检测
+sync_policy: copy_to_project
+status: active
+triggers:
+  - 耦合检测
+  - mock失败
+  - 循环依赖
+  - 影响范围
+  - 回退判定
+  - coupling detection
+extra:
+  name: coupling-detection
+  type: constraint
+  scope:
+    - '*'
+  system_scope:
+    - existing-system
+  domain: build
+  lifecycle_status: active
+  version: 1.2.0
+  last_reviewed: '2026-06-04'
+  products:
+    - '*'
+  priority: P1
+  verification_layer: L2
+  stage: build
+  owner_mechanism: mc-existing-system-review
+---
+
+# 老代码耦合检测规则
+
+## COUP-TEST-01: 静态方法依赖
+  id: COUP-TEST-01
+  name: 静态方法依赖
+  severity: warning
+  check_type: deterministic
+  check_hint: 老代码使用静态方法/单例导致无法 mock
+  description: 老代码中使用静态方法或单例模式导致测试时无法 mock 隔离。发现此类耦合应评估是否需要引入适配器层。
+
+## COUP-TEST-02: 直接 new 对象
+  id: COUP-TEST-02
+  name: 直接 new 对象
+  severity: warning
+  check_type: deterministic
+  check_hint: 老代码直接 new 依赖对象，未使用依赖注入
+  description: 老代码在业务逻辑中直接 new 依赖对象而非通过依赖注入，导致无法替换为 mock 进行测试。
+
+## COUP-TEST-03: 框架绑定
+  id: COUP-TEST-03
+  name: 框架绑定
+  severity: warning
+  check_type: semantic
+  check_hint: 老代码与框架深度绑定（如直接依赖 Request/Response 对象）
+  description: 老代码直接依赖框架特定对象（HttpServletRequest、ResponseEntity 等），无法在单元测试中独立运行。
+
+## COUP-MOD-01: 影响范围>3×
+  id: COUP-MOD-01
+  name: 影响范围>3×
+  severity: error
+  check_type: deterministic
+  check_hint: 修改影响文件数超过涉及文件列表的 3 倍
+  description: 修改一个函数需要同步修改的关联文件数超过切片涉及文件列表的 3 倍，说明耦合度过高，应评估是否需要架构级重构。
+
+## COUP-MOD-02: 循环依赖
+  id: COUP-MOD-02
+  name: 循环依赖
+  severity: error
+  check_type: deterministic
+  check_hint: 老代码存在循环依赖无法单独抽取
+  description: 老代码中存在 A→B→A 的循环依赖，无法单独抽取和测试。发现循环依赖应评估是否需要引入接口层解耦。
+
+## COUP-ROLLBACK-01: 3 次 mock 失败触发回退
+  id: COUP-ROLLBACK-01
+  name: 3 次 mock 失败触发回退
+  severity: error
+  check_type: deterministic
+  check_hint: 尝试写单测 3 次仍无法 mock 隔离 → 触发回退到 design 域（架构设计）
+  description: 编码阶段尝试为老代码编写单元测试，连续 3 次无法完成 mock 隔离时，触发回退到 design 域（架构设计）重新评估改造方案。
+
+## COUP-ROLLBACK-02: 影响超 3 倍触发回退
+  id: COUP-ROLLBACK-02
+  name: 影响超 3 倍触发回退
+  severity: error
+  check_type: deterministic
+  check_hint: 修改影响范围超过预期的 3 倍 → 触发回退到 design 域（架构设计）
+  description: 编码阶段修改老代码时，实际影响范围超过切片涉及文件列表的 3 倍，触发回退到 design 域（架构设计）重新评估改造范围。

package/templates/build//350/246/206/347/233/226/347/216/207/346/240/207/345/207/206.md

@@ -0,0 +1,40 @@
+---
+id: 覆盖率标准
+kind: guidance
+title: 覆盖率标准
+sync_policy: copy_to_project
+status: active
+triggers:
+  - 覆盖率
+  - 测试
+  - 覆盖
+extra:
+  name: coverage-standard
+  type: constraint
+  scope:
+    - '*'
+  products:
+    - '*'
+  lifecycle_status: active
+  domain: build
+  verification_layer: L2
+  stage: build
+  owner_mechanism: mc-generic-review
+---
+
+# 覆盖率标准
+
+## 新系统
+- 行覆盖率最低要求：**70%**
+- 每个切片完成后即时校验
+- 不达标的切片必须当场修复后才能继续
+
+## 老系统
+- 增量行覆盖率最低要求：**80%**
+- 每个切片完成后即时校验
+- 额外要求：新老逻辑比对日志通过
+
+## 计算规则
+- 统计范围：新增和修改的代码行
+- 排除：纯配置文件、自动生成代码
+- 工具：项目配置的测试覆盖率工具（如 jest --coverage、pytest --cov）

package/templates/build//350/260/203/350/257/225/346/216/222/346/237/245.md

@@ -0,0 +1,115 @@
+---
+id: ka-procedure-调试排查流程
+kind: guidance
+title: 调试排查
+sync_policy: copy_to_project
+status: active
+triggers:
+  - 调试
+  - 排障
+  - 排查问题
+  - bug定位
+  - 问题排查
+  - 线上排查
+  - 异常排查
+  - 错误定位
+  - 日志排查
+  - 缺陷修复
+  - Bug修复
+  - 问题修复
+  - 异常修复
+  - 错误修复
+  - bug fix
+  - 缺陷处理
+extra:
+  name: debug-investigation
+  type: procedure
+  scope:
+    - backend
+    - frontend
+  products:
+    - '*'
+  lifecycle_status: active
+  authority: supporting
+  priority: P1
+  consumes:
+    - mc-verifier
+  emits:
+    - debugging_report
+    - root_cause_analysis
+    - minimal_fix
+  required_evidence:
+    - execution_evidence
+  version: 1.2.0
+  last_reviewed: '2026-06-04'
+  domain:
+    - build
+    - verify
+  verification_layer: L2
+  stage: build
+  owner_mechanism: mc-verifier
+---
+
+## 适用场景
+功能异常、性能问题、线上报错等需要定位根因的场景。遵循「先观察后假设再验证」的原则。
+
+## 四阶段调试法
+1. **观察阶段**：获取具体操作步骤、输入数据、环境信息，确认可复现
+2. **假设阶段**：根据观察提出一个假设，不要同时提出多个假设
+3. **验证阶段**：设计最小实验验证假设，记录结果（包括被否定的假设）
+4. **修复阶段**：确认根因后编写最小修复 + 回归测试
+
+## 步骤
+1. 复现问题：获取具体操作步骤、输入数据、环境信息
+2. 确定影响范围：是全部用户还是特定条件？是偶发还是必现？
+3. 查看日志：根据时间窗口搜索 traceId，查看完整请求链路日志
+4. 查看监控：接口响应时间、错误率、资源使用（CPU/内存/磁盘）
+5. 定位代码：根据日志中的异常堆栈定位到具体文件和方法
+6. 分析根因：区分是代码 Bug、配置错误、数据异常还是环境问题
+7. 验证假设：在本地或测试环境复现并验证根因（一次只验证一个假设）
+8. 编写最小修复：修复范围只覆盖确认的根因，禁止顺手改其他代码
+9. 使用 RED-GREEN 验证：回退修复 → 确认失败 → 恢复修复 → 确认通过
+10. 添加回归测试（防止同类问题再发生）
+
+## 调试报告格式
+
+### 基本信息
+| 项目 | 内容 |
+|------|------|
+| 问题描述 | <!-- 现象描述 --> |
+| 影响范围 | <!-- 用户/模块/接口 --> |
+| 复现条件 | <!-- 步骤 --> |
+| 严重程度 | P0/P1/P2 |
+
+### 调试过程
+| 阶段 | 假设 | 验证方法 | 结果 |
+|------|------|---------|------|
+| 观察 | — | <!-- 日志/监控 --> | <!-- 发现 --> |
+| 假设 1 | <!-- 假设内容 --> | <!-- 验证方法 --> | 确认/否定 |
+| 假设 2 | <!-- 假设内容 --> | <!-- 验证方法 --> | 确认/否定 |
+
+### 修复方案
+| 修改文件 | 修改内容 | 关联切片 |
+|---------|---------|---------|
+| <!-- 文件路径 --> | <!-- 修改说明 --> | SLC-{模块}-{序号} |
+
+### RED-GREEN 验证
+- [ ] 回退修复后测试失败（RED）
+- [ ] 恢复修复后测试通过（GREEN）
+
+## 检查点
+- [ ] 问题可稳定复现（或记录了偶现条件）
+- [ ] 日志中有 traceId 可追踪完整链路
+- [ ] 调试过程有假设-验证记录
+- [ ] 根因已确认而非停留在表象
+- [ ] 修复范围仅限确认的根因
+- [ ] 修复包含回归测试
+
+## 注意事项
+- 不要在没有复现的情况下直接修改代码
+- 日志排查优先使用 traceId，避免大海捞针
+- 性能问题优先看慢查询日志和接口耗时
+- 同一现象修复失败 3 次后停止猜测，重新审视假设，考虑是否为架构问题
+- 禁止通过删除断言、增加 sleep、降低覆盖率、增加 mock 来制造通过
+- 调试修复须遵守 SED-04（禁止跨任务修改），修复范围仅限当前切片涉及文件
+- 修复范围超出当前切片涉及文件时，须触发重规划（参见切片计划 §7 动态重规划）

package/templates/build//350/264/250/351/207/217/345/256/241/346/237/245.md

@@ -0,0 +1,113 @@
+---
+id: ka-review-rule-质量审查规则
+kind: guidance
+title: 质量审查
+sync_policy: copy_to_project
+status: active
+triggers:
+  - verify
+  - review
+  - 质量检查
+  - 代码质量
+extra:
+  name: quality-rules
+  type: constraint
+  scope:
+    - backend
+    - frontend
+  products:
+    - '*'
+  lifecycle_status: active
+  authority: supporting
+  priority: P1
+  version: 1.2.0
+  last_reviewed: '2026-06-04'
+  domain: build
+  verification_layer: L2
+  stage: build
+  owner_mechanism: mc-generic-review
+---
+
+## QUA-01: 生产代码包含 console.log 调试输出
+pattern: /console\.log\s*\(/
+severity: warning
+check_type: deterministic
+scope: "!test"
+description: 生产代码禁止保留 console.log，应使用正式日志框架并按级别输出
+
+## QUA-02: TypeScript 使用 any 类型
+pattern: /:\s*any\b|as\s+any\b|<any>/
+severity: info
+check_type: deterministic
+scope: frontend
+description: 禁止使用 any 类型，应定义具体的 TypeScript 接口
+
+## QUA-03: 魔法数字未定义为常量
+pattern: /(?:if|while|return)\s*\(.*[^\w>!=]\d{2,}[^\w.]/
+severity: info
+check_type: deterministic
+scope: [backend, frontend]
+description: 代码中的数字常量应提取为命名常量，提高可读性和可维护性
+
+## QUA-04: 硬编码的 URL 或 IP 地址
+pattern: /https?:\/\/(?:localhost|127\.0\.0\.1|192\.168|10\.\d+\.\d+)\b/
+severity: warning
+check_type: deterministic
+scope: [backend, frontend]
+description: 服务地址禁止硬编码，必须使用环境变量或配置文件管理
+
+## QUA-05: catch 块吞掉异常不处理
+pattern: /catch\s*\([^)]*\)\s*\{\s*\}/
+severity: error
+check_type: deterministic
+scope: [backend, frontend]
+description: 空的 catch 块会隐藏错误，至少需要记录日志或明确注释忽略原因
+
+## QUA-06: 注释掉的代码块（超过 3 行）
+pattern: /^\s*\/\/\s*(?:import|export|const|let|var|function|class|public|private)\b/
+severity: info
+check_type: deterministic
+scope: [backend, frontend]
+description: 注释掉的代码应删除，需要时从版本控制中恢复
+
+## QUA-07: System.out.println 替代日志框架
+pattern: /System\.out\.print/
+severity: warning
+check_type: deterministic
+scope: backend
+description: 禁止使用 System.out.println，必须使用 SLF4J/Log4j 等日志框架
+
+## QUA-08: 空 catch 块中无日志记录
+pattern: /catch\s*\([^)]*\)\s*\{[^}]*\}/
+severity: warning
+check_type: deterministic
+scope: [backend, frontend]
+description: catch 块中必须至少包含日志记录，不允许静默忽略异常
+
+## QUA-09: 待办/修复占位注释未跟踪
+pattern: /(?:T[O]DO|F[I]XME|H[A]CK|X{3})\s*[:\(]/
+severity: info
+check_type: deterministic
+scope: [backend, frontend]
+description: 待办/修复占位注释必须关联 issue 编号，禁止无跟踪的技术债标记
+
+## QUA-10: 单元测试缺少断言
+pattern: /@Test[\s\S]*?(?:expect|assert|verify|should)/
+severity: warning
+check_type: deterministic
+scope: [backend, frontend]
+description: 测试方法必须包含至少一个断言，空测试等于没有测试
+
+## QUA-11: 过深的嵌套层级
+check_hint: nesting_depth
+severity: info
+check_type: programmatic
+scope: [backend, frontend]
+description: 代码嵌套层级超过 4 层时应重构（卫语句、提前返回、策略模式）
+
+## QUA-12: 未处理可空返回值
+pattern: /\.get\(\s*\)\s*\.|\.findFirst\(\s*\)\s*\./
+severity: warning
+check_type: deterministic
+scope: backend
+description: Optional/List.get() 返回值必须判空，禁止直接链式调用导致 NPE

package/templates/build//350/277/201/347/247/273/346/265/201/346/260/264/347/272/277.md

@@ -0,0 +1,63 @@
+---
+id: ka-procedure-迁移流水线
+kind: guidance
+title: 迁移流水线
+sync_policy: copy_to_project
+status: active
+triggers:
+  - 技术迁移
+  - 框架升级
+  - 技术栈迁移
+  - 版本升级
+  - 迁移
+  - migration
+  - 系统迁移
+  - 组件替换
+extra:
+  name: migration-pipeline
+  type: procedure
+  scope:
+    - backend
+    - frontend
+  products:
+    - '*'
+  lifecycle_status: active
+  authority: supporting
+  priority: P1
+  consumes:
+    - mc-knowledge-injection-boundary
+  emits:
+    - migration_assessment
+    - migration_plan
+    - migration_result
+  required_evidence:
+    - execution_evidence
+  version: 1.1.0
+  last_reviewed: '2026-06-01'
+  domain:
+    - build
+    - verify
+  verification_layer: L2
+  stage: build
+  owner_mechanism: mc-knowledge-injection-boundary
+---
+
+# 技术迁移管线
+
+## 第1步：迁移评估
+评估迁移范围和影响（模块数、代码量、依赖链）。评估迁移路径（渐进式/一次性）。评估兼容性风险（API 变更、行为差异、性能差异）。制定回滚方案。
+模版：迁移评估.md
+产出保存到：docs/architecture/08-迁移方案.md
+工具：sf_analyze
+
+## 第2步：方案设计
+制定分阶段迁移计划（每阶段可独立验证和回滚）。识别兼容层需求（适配器/Shim/Feature Flag）。定义每个阶段的完成标准和验证方式。
+产出保存到：docs/architecture/08-迁移方案.md
+
+## 第3步：渐进迁移
+按计划逐步迁移，每阶段完成后全量测试。保持双写/双读过渡期（如需要）。记录每阶段发现的行为差异和兼容性问题。
+工具：sf_work action=act, sf_gate
+
+## 第4步：清理验证
+移除兼容层和废弃代码。全量功能验证。性能对比确认无退化。更新文档和依赖配置。
+工具：sf_work action=verify, sf_gate

package/templates/build//351/200/232/347/224/250/350/264/250/351/207/217.md

@@ -0,0 +1,191 @@
+---
+id: ka-artifact_template-general-quality
+kind: artifact
+title: 通用质量
+sync_policy: copy_to_project
+status: active
+extra:
+  name: general-quality
+  scope:
+    - backend
+    - frontend
+  products:
+    - '*'
+  lifecycle_status: active
+  authority: supporting
+  priority: P2
+  version: 1.3.0
+  last_reviewed: '2026-06-07'
+  consumes: []
+  emits:
+    - acceptance_report
+  type: artifact
+  domain: build
+  requires_context: []
+  companions:
+    rules:
+      - '切片执行纪律.md:execute'
+      - '切片端到端验证.md:execute'
+      - '代码注释与日志契约.md:execute'
+      - '独立审查.md:execute'
+      - '上游交叉验证.md:execute'
+      - '第一性原理推理.md:review'
+    guides: []
+  stage: build
+  owner_mechanism: mc-standard-asset-contract
+---
+
+## 验收项
+
+- id: AC-01
+  name: "无 SQL 字符串拼接"
+  severity: warning
+  check_type: deterministic
+  pattern: "grep -E '(SELECT|INSERT|UPDATE|DELETE).*(\\+|\\$\\{|%s)' {file}"
+  description: 使用参数化查询或 ORM，禁止字符串拼接 SQL
+
+- id: AC-02
+  name: "无 eval/Function 动态代码执行"
+  severity: warning
+  check_type: deterministic
+  pattern: "grep -c '\\beval\\s*(\\|new Function\\s*(' {file}"
+  description: 禁止使用 eval 和 new Function，防止代码注入
+
+- id: AC-03
+  name: "前端无 innerHTML 赋值（防 XSS）"
+  severity: warning
+  check_type: deterministic
+  pattern: "grep -c '\\.innerHTML\\s*=' {file}"
+  description: 使用 textContent 或框架安全的渲染方式
+
+- id: AC-04
+  name: "无循环内数据库调用（防 N+1）"
+  severity: warning
+  check_type: deterministic
+  pattern: "grep -B3 '\\.save\\|\\.insert\\|\\.update\\|\\.query\\|\\.select' {file} | grep -c 'for\\|while'"
+  description: 循环体内禁止数据库操作，应使用批量操作
+
+- id: AC-05
+  name: "无硬编码的敏感信息"
+  severity: error
+  check_type: deterministic
+  pattern: "grep -ic 'password\\s*=\\s*[\"\\x27]\\|secret\\s*=\\s*[\"\\x27]\\|token\\s*=\\s*[\"\\x27]' {file}"
+  description: 密码/密钥/token 禁止硬编码，必须使用环境变量或密钥管理服务
+
+- id: AC-06
+  name: "文件不超过 500 行"
+  severity: warning
+  check_type: deterministic
+  pattern: "wc -l {file}"
+  description: 超过 500 行的文件应拆分为更小的模块
+
+- id: AC-07
+  name: "无未处理的待办/修复占位标记"
+  severity: warning
+  check_type: deterministic
+  pattern: "grep -c 'T[O]DO\\|F[I]XME\\|H[A]CK\\|X\\{3\\}' {file}"
+  description: TODO/FIXME/HACK/XXX 必须关联 issue 编号或记录为技术债务
+
+- id: AC-08
+  name: "编译无错误和警告"
+  severity: warning
+  check_type: deterministic
+  pattern: "npm run build 2>&1 | grep -c 'error\\|warning'"
+  description: 构建必须零错误零警告
+
+- id: AC-09
+  name: "单元测试覆盖核心逻辑"
+  severity: warning
+  check_type: deterministic
+  pattern: "ls *Test.java *Test.tsx *.test.ts *.spec.ts {dir} 2>/dev/null | wc -l"
+  description: 核心逻辑必须有对应测试文件
+
+- id: AC-10
+  name: "接口变更同步更新了文档或契约定义"
+  severity: warning
+  check_type: deterministic
+  pattern: "grep -c 'swagger\\|openapi\\|ApiOperation\\|@Api' {file}"
+  description: 接口变更必须同步更新 Swagger/OpenAPI 文档
+
+- id: AC-11
+  name: "单元测试覆盖率达标"
+  severity: warning
+  check_type: deterministic
+  pattern: "grep -r 'coverage\\|覆盖率' {dir} | head -3"
+  description: 核心逻辑覆盖率≥80%
+
+- id: AC-12
+  name: "集成测试覆盖关键业务路径"
+  severity: warning
+  check_type: deterministic
+  pattern: "ls *IT.java *IT.test.ts *e2e* {dir} 2>/dev/null | wc -l"
+  description: 关键业务路径必须有集成测试
+
+- id: AC-13
+  name: "配置了监控告警"
+  severity: info
+  check_type: deterministic
+  pattern: "grep -c 'alert\\|告警\\|metrics\\|SLO\\|SLA' {file}"
+  description: 错误率、响应时间等关键指标须配置告警
+
+- id: AC-14
+  name: "有回滚方案和验证清单"
+  severity: warning
+  check_type: deterministic
+  pattern: "grep -c 'rollback\\|回滚\\|revert' {file}"
+  description: 变更必须有回滚方案
+
+- id: AC-15
+  name: "技术文档已更新"
+  severity: info
+  check_type: deterministic
+  pattern: "git diff --name-only {base}..HEAD | grep -c 'README\\|CHANGELOG\\|doc'"
+  description: 接口文档、架构文档须同步更新
+
+- id: AC-16
+  name: "性能满足 SLA 要求"
+  severity: info
+  check_type: deterministic
+  pattern: "grep -c 'performance\\|SLA\\|P99\\|latency\\|benchmark' {file}"
+  description: P99 响应时间、吞吐量须满足 SLA
+
+- id: AC-17
+  name: "日志包含 traceId 支持链路追踪"
+  severity: warning
+  check_type: deterministic
+  pattern: "grep -c 'traceId\\|trace_id\\|TraceId\\|MDC\\|correlationId' {file}"
+  description: 日志必须包含 traceId 支持全链路追踪
+
+- id: AC-18
+  name: "交付物末尾已签署终局宣言"
+  severity: warning
+  check_type: deterministic
+  pattern: "grep -c 'SoloForge Audit: PASS' {file}"
+  description: 掘地三尺契约——终局宣言签署
+
+- id: AC-19
+  name: "验收项覆盖边界场景"
+  severity: warning
+  check_type: semantic
+  pattern: "三重否定推演——空值/极端值/异常输入，非仅 happy path"
+  description: 验收项必须覆盖空值、极端值、异常输入，不得仅验证 happy path
+
+- id: AC-20
+  name: "外部调用包含超时/异常/降级场景"
+  severity: warning
+  check_type: semantic
+  pattern: "链路否定——涉及外部调用时验收项包含超时/异常格式/降级场景"
+  description: 涉及外部调用的验收项必须包含超时、异常格式、降级场景
+
+- id: AC-21
+  name: "测试断言精确度达标"
+  severity: warning
+  check_type: semantic
+  pattern: "变异防造假——精确断言率 >= 50%，无自己证明自己问题"
+  description: 测试断言精确断言率≥50%，禁止"自己证明自己"的弱断言
+
+## 高级验证（可选）
+
+- **变异测试**：核心逻辑≥3 变异体，杀死率≥80%
+- **属性测试**：关键算法≥100 随机用例
+- **安全审查**：输入校验覆盖 CWE-20