soloforge 1.3.0 → 1.3.2

package/templates/knowledge/rules//347/224/250/346/210/267/345/217/215/351/246/210/345/245/221/347/272/246/350/247/204/345/210/231.md

@@ -13,18 +13,38 @@ routes:
   - 用户反馈契约规则
 primary_triggers:
   - 用户反馈契约规则
-secondary_triggers: []
+  - 用户反馈
+  - 实际使用反馈
+  - 问题反馈
+  - 机制缺口
+  - 设计缺陷
+secondary_triggers:
+  - 全局抽象
+  - 系统性问题
+  - 机制族归因
+  - 用户项目路径
+  - 防回归
 negative_triggers: []
 priority: P0
 specificity: 5
 consumes:
   - mc-task-context-lifecycle
+  - mc-first-principles
+  - mc-detail-discipline
+  - mc-evolution-regression
 hard_blocks:
   - 反馈未响应
   - 阻塞性信息未展示
+  - 仅按表面文件或单个场景收窄处理
+  - 未做机制族归因
+  - 未分析 SoloForge 自身与用户项目双路径影响
+  - 未分析模板层、知识层、机制层、adapter、CLI、MCP、发布门禁、迁移和防回归影响
 fallback: manual_required
 required_evidence:
   - user_feedback_message
+  - global_abstraction_review
+  - mechanism_family_mapping
+  - cross_layer_impact_matrix
 version: 1.0.0
 last_reviewed: '2026-05-22'
 migration_note: 知识资产标准化迁移
@@ -42,6 +62,15 @@ status: active
 3. 技术内容（路径、命令、错误码）禁止翻译，必须保留原文。
 4. `blocked` 类型反馈必须包含阻塞原因和建议下一步。
 5. `failure` 类型反馈必须包含失败证据和 retry_hint。
+6. 任何用户反馈、缺陷、设计疑问或实际使用偏差，不得只按表面文件、单个目录或单个场景收窄处理。
+7. 进入修复讨论前，必须先完成全局抽象审查：
+   - 该问题属于哪个机制族？
+   - 是否只是某个现象暴露出来的系统性问题？
+   - 是否同时影响 SoloForge 自身与用户项目使用路径？
+   - 是否涉及模板层、知识层、机制层、adapter、CLI、MCP、发布门禁、迁移和防回归？
+   - 是否需要抽象成通用能力，而不是只修当前案例？
+8. 如果全局抽象审查未完成，只能输出待分析项、影响矩阵和建议讨论顺序，不得直接给单点修复结论。
+9. 如果当前案例只是系统性问题的一个样本，修复方案必须覆盖同类入口、同类资产、同类任务和新增资产防回归。
 
 ## 适用场景
 
@@ -49,9 +78,41 @@ status: active
 - sf_verify 结果反馈
 - sf_learn 学习反馈
 - sf_expand 降级/澄清反馈
+- 用户反馈实际使用问题
+- 讨论新增机制、模板、规则、流程、验收或发布风险
+- 将问题落入 Batch、备忘录、发布门槛或施工合同前
 
 ## 违规处理
 
 - 禁止的反馈类型 → hard_fail，阻断输出
 - 空洞反馈 → advisory，标记质量降级
 - 翻译技术内容 → advisory，标记违规
+- 未做全局抽象审查就收窄为单点修复 → hard_fail，退回机制族归因
+- 只修当前文件/目录/样例但未覆盖同类路径和防回归 → hard_fail，要求补齐通用能力
+- 未分析 SoloForge 自身与用户项目双路径影响 → hard_fail，要求补齐影响矩阵
+- 未说明模板层、知识层、机制层、adapter、CLI、MCP、发布门禁、迁移和防回归影响 → hard_fail，要求补齐跨层影响
+
+## 全局抽象审查输出
+
+每次用户反馈进入讨论或施工合同前，必须形成以下结构化结论：
+
+```text
+1. 表面现象:
+2. 机制族归因:
+3. 是否系统性问题:
+4. SoloForge 自身影响:
+5. 用户项目影响:
+6. 涉及层级:
+   - 模板层:
+   - 知识层:
+   - 机制层:
+   - adapter:
+   - CLI:
+   - MCP:
+   - 发布门禁:
+   - 迁移:
+   - 防回归:
+7. 是否应抽象成通用能力:
+8. 不应只修的局部案例:
+9. 施工和验收必须覆盖的同类路径:
+```

package/templates/knowledge/rules//350/256/276/350/256/241/344/272/247/347/211/251/345/214/205/350/247/204/345/210/231.md

@@ -0,0 +1,55 @@
+---
+name: 设计产物包规则
+id: ka-rule-design-artifact-pack
+asset_kind: hard_rule
+lifecycle_status: active
+authority: canonical
+scope:
+  - all
+products:
+  - '*'
+routes:
+  - artifact_generation
+  - code_change
+primary_triggers:
+  - 架构设计文档
+  - 数据库设计文档
+  - API接口规格文档
+priority: P0
+specificity: 5
+version: 1.0.0
+last_reviewed: '2026-05-25'
+owner_mechanism_id: mc-design-artifact-pack
+hard_blocks:
+  - 未经复验的设计文档支撑编码或交付
+  - API 缺字段级契约
+  - 数据库 SQL 不可执行
+  - 跨设计产物关键冲突
+required_evidence:
+  - design_artifact_pack
+  - consistency_verification
+consumes:
+  - architecture_decision_workshop
+  - docs/architecture/00-架构决策记录.md
+  - docs/architecture/01-架构设计文档.md
+fallback: manual_required
+type: rule
+status: active
+---
+
+# 设计产物包规则
+
+## 权威资产
+
+- 决策和确认以 `00-架构决策记录.md` 为准。
+- 总体架构以 `01-架构设计文档.md` 为准。
+- 数据库物理结构以真实 SQL/migration 为准，`02-数据库设计文档.md` 解释和追踪。
+- API 路径和字段 schema 以 `docs/api/openapi.yaml` 为准，`03-API接口规格文档.md` 补充业务语义。
+- `99-设计一致性验收报告.md` 只记录真实验证结果。
+
+## 硬底线
+
+- 每个 endpoint 必须具备请求和响应字段级说明，JSON 示例不能替代字段表。
+- SQL、OpenAPI、架构、数据库和 API 文档出现关键漂移时必须阻断。
+- 旧文档在新标准下必须先审计；未经确认和复验不得继续作为编码依据。
+- 升级必须默认 dry-run，确认写入时归档原文件和 hash。

package/templates/knowledge/rules//350/257/201/346/215/256/351/251/261/345/212/250/344/270/216/345/217/215/345/271/273/350/247/211/350/247/204/345/210/231.md

@@ -0,0 +1,75 @@
+---
+name: 证据驱动与反幻觉规则
+scope:
+  - '*'
+products:
+  - '*'
+id: ka-hard-rule-证据驱动与反幻觉规则
+asset_kind: hard_rule
+lifecycle_status: active
+authority: canonical
+owner_mechanism_id: mc-evidence-grounding
+routes:
+  - code_execution
+  - multi_stage_plan
+primary_triggers:
+  - 事实声称
+  - 项目事实
+  - 验证结果
+  - 发布结论
+secondary_triggers:
+  - 知识注入
+  - 方案生成
+negative_triggers: []
+priority: P0
+specificity: 5
+consumes:
+  - ka-hard-rule-核心工程执行原则
+  - ka-hard-rule-施工指令契约规则
+hard_blocks:
+  - 无证据声称项目事实
+  - 把推测当事实
+  - 把验证计划当验证结果
+  - generated_inference 单独支撑事实
+  - forbidden evidence 被注入
+  - tests/scenario/gate 自证
+fallback: manual_required
+required_evidence:
+  - evidence_matrix
+  - fact_claim_verification
+  - unsupported_claim_gate_result
+version: 1.0.0
+last_reviewed: '2026-05-24'
+---
+
+# 证据驱动与反幻觉规则
+
+## 硬规则
+
+1. **没证据，不得当事实** — 任何项目事实、技术栈、测试、发布状态的声明必须有可追溯证据
+2. **没检索，不得做高风险判断** — 架构、编码、发布、迁移任务必须先检索项目证据
+3. **有冲突，不得直接拍板** — 证据冲突时必须列出冲突、给出推荐、请求用户确认
+4. **有不确定，必须说清** — 不确定项必须明确标注并给出推荐方案
+5. **验证计划不是验证结果** — `validation_plan` 不得冒充 `validation_result`
+6. **模型推理不是事实证据** — `generated_inference` 不得单独支撑项目事实结论
+7. **测试/gate/scenario 不是主链路落地** — 只被测试文件调用不是真实消费证据
+8. **禁止源永远不得注入** — `forbidden` 权限的证据不得出现在 prompt 或 citation 中
+9. **过期证据不得用于高风险** — `stale` / `deprecated` 证据不得作为高风险任务唯一依据
+10. **失败必须修复复验** — 证据不足时不得假完成，必须修复并复验
+
+## 风险分级
+
+- **critical**: 发布门禁、生产环境、安全相关 → 任何证据缺失必须阻断
+- **high**: 架构、编码、迁移、验证 → 事实声明必须有权威证据
+- **medium**: 普通功能开发 → 关键声明需要证据
+- **low**: 通用问答、低风险操作 → 可标注为通用建议
+
+## 检查项
+
+- [ ] 关键事实声明有 evidence_refs
+- [ ] 无证据的声明已标注不确定
+- [ ] 冲突证据已列出并裁决
+- [ ] forbidden 证据未被注入
+- [ ] 高风险声明未用 stale/deprecated 证据
+- [ ] 验证结论基于真实执行结果
+- [ ] 生成的推理未单独支撑事实

package/templates/knowledge/rules//350/267/250/345/271/263/345/217/260/350/267/257/345/276/204/345/256/211/345/205/250/350/247/204/345/210/231.md

@@ -21,6 +21,16 @@ priority: P1
 specificity: 4
 consumes:
   - ka-hard-rule-核心工程执行原则
+hard_blocks:
+  - 路径逃逸 scope 边界
+  - 符号链接指向 scope 外
+  - 大小写冲突未处理
+fallback: manual_required
+required_evidence:
+  - path_normalization_result
+  - scope_boundary_check
+version: 1.0.0
+last_reviewed: '2026-05-24'
 ---
 
 # 跨平台路径安全规则

package/templates/knowledge/rules//351/200/232/347/224/250/345/206/263/347/255/226/347/240/224/350/256/250/350/247/204/345/210/231.md

@@ -0,0 +1,30 @@
+# 通用决策研讨规则
+
+## 触发条件
+
+以下任务类型必须在执行前完成决策研讨与用户确认：
+
+- 架构设计（六域决策子包）
+- 技术选型
+- 数据迁移
+- 安全策略变更
+- 部署基础设施变更
+- 产品范围变更
+- 重构/迁移方案
+- 第三方集成
+
+## 决策域记录要求
+
+每个决策域必须包含：
+
+1. **事实与约束** — 客观现状、技术限制、业务约束
+2. **候选方案** — 至少两个可行方案，含收益与风险
+3. **推荐方案** — 附推荐理由
+4. **用户确认引用** — 必须有明确的用户确认记录
+
+## 门禁规则
+
+- 所有必须域未确认时，阻断正式生成/执行
+- 现有系统变更必须提供现状分析和差距分析证据
+- 标记 `not_applicable` 的域必须提供不适用理由
+- 标记 `deferred` 的域必须列出延期影响

package/templates/knowledge/rules//351/252/214/346/224/266/346/250/241/346/235/277/350/276/223/345/207/272/345/245/221/347/272/246/350/247/204/345/210/231.md

@@ -0,0 +1,50 @@
+# 验收模板输出契约规则
+
+## 触发条件
+
+当任务产出正式设计文档、架构设计、数据库设计、API 接口规格、原型说明或验收报告时，必须按标准资产契约验收。
+
+## 适用范围
+
+- 架构设计文档（01-架构设计文档.md）
+- 数据库设计文档（02-数据库设计文档.md）
+- API 接口规格（03-API接口规格文档.md）
+- 设计一致性验收报告（99-设计一致性验收报告.md）
+- 原型说明文档
+
+## 契约要求
+
+每个 P0 模板输出必须满足:
+
+1. **章节检查**: 必填章节存在、顺序合理、不得只有空标题。
+2. **表格检查**: 必填表格存在、表头正确、行内容覆盖必要对象。
+3. **字段检查**: API/数据/追踪字段具备类型、必填、来源、说明、示例、校验规则、错误语义。
+4. **权威资产检查**: 必须引用并对齐 OpenAPI、SQL/migration 等机器权威资产。
+5. **语义检查**: Mermaid 图、字段、实体与当前业务相关，不得用无关内容凑数。
+
+## API 字段表最小列
+
+字段名 / 类型 / 必填 / 来源 / 说明 / 示例 / 校验规则 / 错误语义
+
+## Mermaid 检查规则
+
+- fence 语法合法。
+- 图类型符合模板要求（sequenceDiagram、flowchart 等）。
+- 图内容与当前业务相关。
+
+## 修复闭环
+
+模板契约验收失败必须进入修复重验:
+
+1. sf_verify 报告缺口和诊断码。
+2. 修复后重新 sf_verify。
+3. 仍然失败则继续循环或请求用户确认。
+4. 修复期间交付被阻断。
+
+## 草稿状态
+
+草稿必须显式标记 `draft`、`not_for_implementation` 或 `needs_template_verification`。草稿不进入编码消费。
+
+## 低风险跳过
+
+普通 bugfix、样式修复、只读解释和小范围改动不触发模板契约验收。