soloforge 1.4.15 → 1.5.0

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

@@ -0,0 +1,35 @@
+---
+name: 防御性编码规则
+type: review_rule
+asset_kind: pipeline_rule
+routes:
+  - code_change
+primary_triggers:
+  - 防御性编码
+  - 防御编程
+  - 老系统编码
+scope: [existing-system]
+---
+
+# 防御性编码规则
+
+## 老系统接口调用
+- 必须对老系统接口调用添加降级/兜底/重试
+- 降级策略：返回兜底数据或走老逻辑
+- 重试策略：最多 3 次，指数退避
+- 超时设置：必须设置合理的超时时间
+
+## 外部依赖
+- 所有外部服务调用必须有 try-catch
+- 所有外部服务调用必须设置超时
+- 不可控的外部依赖必须有降级方案
+
+## 数据操作
+- 写操作必须使用事务
+- 批量操作必须有分页/分批处理
+- 数据校验在写入前完成
+
+## 错误处理
+- 不允许空 catch 块
+- 错误日志必须包含上下文信息
+- 非预期错误必须向上传播

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

@@ -0,0 +1,34 @@
+---
+name: 雷区反模式清单
+type: review_rule
+asset_kind: pipeline_rule
+routes:
+  - code_change
+  - analysis
+primary_triggers:
+  - 雷区
+  - 反模式
+  - 陷阱
+scope: [existing-system]
+---
+
+# 雷区反模式清单
+
+## 数据库层面
+- **无索引大表：** 超过 10 万行的表缺少合理索引
+- **循环查库：** 在循环体内执行数据库查询（N+1 问题）
+- **全表扫描：** WHERE 条件未命中索引导致全表扫描
+- **缺少事务：** 多表写操作未使用事务保护
+
+## 代码层面
+- **硬编码配置：** 数据库连接、API 地址等硬编码在代码中
+- **硬编码密钥：** 密码、Token、密钥等直接写在源码中
+- **大函数/大类：** 单个函数超过 100 行或单个类超过 1000 行
+- **循环调用外部接口：** 在循环体内调用 HTTP/RPC 接口
+- **吞异常：** catch 块为空或只打印日志不处理
+
+## 架构层面
+- **循环依赖：** 模块间存在循环引用
+- **共享数据库：** 多个服务直接操作同一个数据库表
+- **缺少降级：** 外部依赖无降级/兜底策略
+- **同步阻塞：** 高延迟操作使用同步调用

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

@@ -0,0 +1,36 @@
+---
+name: 联调设计缺陷判定规则
+type: review_rule
+asset_kind: pipeline_rule
+routes:
+  - code_change
+primary_triggers:
+  - 联调缺陷
+  - 设计缺陷
+  - 回退
+scope: [new-system]
+---
+
+# 联调阶段严重设计缺陷判定规则
+
+## 触发回退到架构设计的条件（满足任一即触发）
+
+### 核心接口联通性
+- 接口返回 500/超时，且原因不是代码 bug 而是接口设计本身有问题
+- 两个模块之间的接口参数不匹配，无法通过简单调整解决
+
+### 数据模型冲突
+- 实际数据流与数据库设计文档描述严重不符
+- 多个切片的数据模型之间存在不可调和的矛盾
+
+### 安全机制缺失
+- 接口缺少认证/鉴权，且架构设计文档未规划安全层
+
+### 业务逻辑矛盾
+- 实现的核心业务逻辑与需求文档/原型说明存在根本性矛盾
+- 发现需求/原型本身有重大遗漏或自相矛盾
+
+## 不触发回退的情况
+- 代码 bug → 在编码阶段修复
+- 小幅接口参数调整 → 在编码阶段修改
+- 测试数据问题 → 修正测试数据

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

@@ -0,0 +1,21 @@
+---
+name: 一致性校验规则
+type: review_rule
+when: 设计产物一致性校验
+scope: [shared]
+products: ['*']
+status: active
+routes: [code_change, artifact_generation]
+primary_triggers: [一致性, 校验, 设计产物]
+---
+# 设计产物一致性校验规则
+
+## 校验项
+1. 切片计划中的每个切片必须关联到详细设计中的接口或模块
+2. 切片涉及的文件路径必须在设计文档中有对应描述
+3. 接口规格中的接口必须与切片中的接口调用一致
+4. 数据库设计中的表必须在切片中有对应的操作覆盖
+
+## 校验时机
+- 任务规划阶段完成后、编码前
+- 门禁通过才允许进入编码阶段

package/templates/rules/shared//350/201/224/350/260/203/351/252/214/350/257/201/346/270/205/345/215/225.md

@@ -0,0 +1,29 @@
+---
+name: 联调验证清单
+type: review_rule
+asset_kind: pipeline_rule
+routes:
+  - code_change
+primary_triggers:
+  - 联调验证
+  - 验证清单
+scope: [shared]
+---
+
+# 联调验证清单
+
+## 端到端验证
+- [ ] 所有切片的代码已集成
+- [ ] 主链路接口调用链路通畅
+- [ ] 数据库读写正常
+- [ ] 构建通过（编译无错误）
+
+## Web 服务验证（如适用）
+- [ ] 本地服务启动成功
+- [ ] 浏览器可访问核心页面
+- [ ] 核心交互流程可走通
+- [ ] 接口返回格式符合 openapi.yaml 定义
+
+## 严重设计缺陷判定
+
+> 详见 `rules/new-system/联调设计缺陷判定规则.md`

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

@@ -0,0 +1,26 @@
+---
+name: 覆盖率标准
+type: review_rule
+when: 测试覆盖率校验
+scope: [shared]
+products: ['*']
+status: active
+routes: [code_change, verification_only]
+primary_triggers: [覆盖率, 测试, 覆盖]
+---
+# 覆盖率标准
+
+## 新系统
+- 行覆盖率最低要求：**70%**
+- 每个切片完成后即时校验
+- 不达标的切片必须当场修复后才能继续
+
+## 老系统
+- 增量行覆盖率最低要求：**80%**
+- 每个切片完成后即时校验
+- 额外要求：新老逻辑比对日志通过
+
+## 计算规则
+- 统计范围：新增和修改的代码行
+- 排除：纯配置文件、自动生成代码
+- 工具：项目配置的测试覆盖率工具（如 jest --coverage、pytest --cov）

package/dist/engine/deprecated_contract.d.ts

@@ -1,21 +0,0 @@
-/**
- * 废弃契约注册表 — 问题二十 (Deprecated Contract)。
- *
- * 管理已废弃契约的生命周期，包括废弃原因、替代方案和迁移路径。
- */
-/** 废弃契约条目 */
-export interface DeprecatedContractEntry {
-    /** 契约 ID */
-    contract_id: string;
-    /** 废弃原因 */
-    deprecation_reason: string;
-    /** 推荐替代契约 ID */
-    replacement_id: string | null;
-    /** 废弃时间戳 */
-    deprecated_at: string;
-}
-/**
- * 列出所有废弃契约条目。
- */
-export declare function listDeprecatedContracts(): DeprecatedContractEntry[];
-//# sourceMappingURL=deprecated_contract.d.ts.map

package/dist/engine/deprecated_contract.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"deprecated_contract.d.ts","sourceRoot":"","sources":["../../src/engine/deprecated_contract.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,aAAa;AACb,MAAM,WAAW,uBAAuB;IACtC,YAAY;IACZ,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW;IACX,kBAAkB,EAAE,MAAM,CAAC;IAC3B,gBAAgB;IAChB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,YAAY;IACZ,aAAa,EAAE,MAAM,CAAC;CACvB;AAMD;;GAEG;AACH,wBAAgB,uBAAuB,IAAI,uBAAuB,EAAE,CAEnE"}

package/dist/engine/deprecated_contract.js

@@ -1,14 +0,0 @@
-/**
- * 废弃契约注册表 — 问题二十 (Deprecated Contract)。
- *
- * 管理已废弃契约的生命周期，包括废弃原因、替代方案和迁移路径。
- */
-// ── 注册表 ──
-const DEPRECATED_CONTRACTS = [];
-/**
- * 列出所有废弃契约条目。
- */
-export function listDeprecatedContracts() {
-    return DEPRECATED_CONTRACTS.map((e) => ({ ...e }));
-}
-//# sourceMappingURL=deprecated_contract.js.map

package/dist/engine/deprecated_contract.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"deprecated_contract.js","sourceRoot":"","sources":["../../src/engine/deprecated_contract.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAgBH,YAAY;AAEZ,MAAM,oBAAoB,GAAuC,EAAE,CAAC;AAEpE;;GAEG;AACH,MAAM,UAAU,uBAAuB;IACrC,OAAO,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACrD,CAAC"}

package/dist/engine/historical_issue_mechanization_matrix.d.ts

@@ -1,28 +0,0 @@
-export interface HistoricalMechanismFamilyReview {
-    family_id: string;
-    title: string;
-    issue_numbers: number[];
-    first_principles_invariant: string;
-    production_entrypoints: string[];
-    must_fail: string;
-    must_pass: string;
-    release_gate: string;
-    user_project_path: string;
-}
-export interface HistoricalReviewFinding {
-    code: string;
-    severity: "hard_fail";
-    message: string;
-    family_id?: string;
-}
-export interface HistoricalReviewReport {
-    passed: boolean;
-    expected_issue_count: number;
-    covered_issue_count: number;
-    missing_issue_numbers: number[];
-    hard_fail_count: number;
-    findings: HistoricalReviewFinding[];
-}
-export declare const HISTORICAL_MECHANISM_FAMILY_REVIEWS: readonly HistoricalMechanismFamilyReview[];
-export declare function validateHistoricalIssueMechanizationMatrix(expectedIssueCount?: number, families?: readonly HistoricalMechanismFamilyReview[]): HistoricalReviewReport;
-//# sourceMappingURL=historical_issue_mechanization_matrix.d.ts.map

package/dist/engine/historical_issue_mechanization_matrix.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"historical_issue_mechanization_matrix.d.ts","sourceRoot":"","sources":["../../src/engine/historical_issue_mechanization_matrix.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,+BAA+B;IAC9C,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,0BAA0B,EAAE,MAAM,CAAC;IACnC,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,WAAW,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,OAAO,CAAC;IAChB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,uBAAuB,EAAE,CAAC;CACrC;AAED,eAAO,MAAM,mCAAmC,EAAE,SAAS,+BAA+B,EA8EzF,CAAC;AAEF,wBAAgB,0CAA0C,CACxD,kBAAkB,SAAK,EACvB,QAAQ,GAAE,SAAS,+BAA+B,EAAwC,GACzF,sBAAsB,CAiDxB"}

package/dist/engine/historical_issue_mechanization_matrix.js

@@ -1,134 +0,0 @@
-export const HISTORICAL_MECHANISM_FAMILY_REVIEWS = [
-    {
-        family_id: "intent-routing-and-workflow-navigation",
-        title: "意图路由、任务阶段与下一步导航",
-        issue_numbers: [1, 8, 9, 32, 47, 61, 65],
-        first_principles_invariant: "SoloForge 必须先判定用户真实意图、任务阶段、输入材料和下一步边界，再决定能否执行、如何执行、是否需要用户确认。",
-        production_entrypoints: ["sf_classify", "sf_expand", "soloforge next", "workflow_navigation_contract"],
-        must_fail: "跳过分类、旧任务阻塞、未确认决策、下一步不携带项目规则或阶段边界时必须阻断。",
-        must_pass: "用户自然语言任务能进入正确阶段、正确路由、正确下一步，并展示可执行边界。",
-        release_gate: "工作流导航契约行为验证 + 历史问题长期机制化行为验证",
-        user_project_path: "新项目、旧项目、设计任务、编码任务、修复任务均必须可用。",
-    },
-    {
-        family_id: "configuration-workspace-and-command-boundary",
-        title: "配置、工作区、命令和写入边界",
-        issue_numbers: [2, 3, 6, 17, 28, 37, 55],
-        first_principles_invariant: "配置和命令边界必须区分运行时推断、用户确认、一次性 CLI、长期服务和实际写入范围，不能因默认值或旧文件误写用户项目。",
-        production_entrypoints: ["soloforge init", "soloforge validate", "soloforge status", "config_write_boundary", "tools write gate"],
-        must_fail: "未确认配置被落盘、一次性 CLI 泄漏 watcher、写入范围未授权或命令越界时必须阻断。",
-        must_pass: "新项目低噪声推断，确认后持久化，写入前有明确计划和边界。",
-        release_gate: "历史问题长期机制化行为验证 + fresh CLI smoke",
-        user_project_path: "真实用户项目不得因 config.yaml 缺失或旧任务指针卡死。",
-    },
-    {
-        family_id: "evidence-verification-delivery-and-repair-loop",
-        title: "证据、验证、交付与修复闭环",
-        issue_numbers: [4, 12, 13, 18, 19, 24, 29, 33, 34, 38, 44, 52, 57, 60, 63, 73],
-        first_principles_invariant: "任何完成声明都必须被真实证据支撑；验证失败必须进入修复重验闭环，设计、切片、实现和验收必须有稳定追踪链路，交付不能绕过 hard_fail。",
-        production_entrypoints: ["sf_verify", "sf_deliver", "sf_accept", "audit-design-artifacts", "traceability", "release_readiness_gate"],
-        must_fail: "模板指导冒充项目事实、草稿产物交付、OpenAPI/Markdown/SQL 不一致、需求原型设计切片追踪缺失、repair_reverify 未清零时必须阻断。",
-        must_pass: "需求、原型、架构、详细设计、切片、验证、接受、交付之间有可追踪证据链，失败能修复并重验。",
-        release_gate: "关键问题消费验证 + 发布问题全局合同 + 设计产物审计 + 追踪契约行为验证",
-        user_project_path: "设计产物、数据库、API、切片编码、代码验证和交付均能在用户项目中闭环。",
-    },
-    {
-        family_id: "knowledge-template-and-project-rule-governance",
-        title: "知识、模板、资产可见性与项目规则消费",
-        issue_numbers: [7, 10, 14, 21, 22, 23, 25, 30, 31, 35, 41, 48, 53, 59, 62, 64, 69],
-        first_principles_invariant: "知识资产不是文件集合，而是带身份、可见性、消费入口、冲突规则、生命周期和回归证据的运行时契约。",
-        production_entrypoints: ["sync-templates", "KnowledgeIndexManager", "sf_expand", "sf_review", "sf_verify", "sf_deliver", "audit-project-knowledge"],
-        must_fail: "资产未合同化、内部资产泄漏、项目 hard rule 不可消费、冲突未确认、index_only 被注入时必须阻断。",
-        must_pass: "内置模板和用户项目规则都能按阶段、路由、技术栈选择、注入、审查、验证和解释。",
-        release_gate: "模板卫生与项目知识消费验证 + 项目知识体系回归矩阵",
-        user_project_path: ".soloforge/knowledge/** 用户自建规则必须成为可审计、可选择、可阻断的项目知识。",
-    },
-    {
-        family_id: "mechanism-registry-and-dual-layer-contract",
-        title: "机制身份、双层模型和注册表一致性",
-        issue_numbers: [5, 15, 20, 45, 46, 54],
-        first_principles_invariant: "机制 ID、契约、资产、模板、主链路消费者和发布门禁必须是一套身份，不能靠别名、文件存在或历史 gate 冒充完成。",
-        production_entrypoints: ["dual_layer_mechanism_registry", "mechanism_contract_registry", "validate-release", "audit-template-mechanisms"],
-        must_fail: "MC/DL 缺口、deprecated ID 被新链路使用、机制无 owner 或无消费者时必须阻断。",
-        must_pass: "每个机制能回答谁拥有、谁消费、谁阻断、用户看见什么。",
-        release_gate: "机制身份一致性 + 双层模型语义归位",
-        user_project_path: "用户项目看到的是稳定能力，不暴露内部重命名和历史施工痕迹。",
-    },
-    {
-        family_id: "implementation-engineering-and-code-quality",
-        title: "实现工程、OOD、后端工程、注释日志与本地验收",
-        issue_numbers: [16, 26, 27, 39, 40, 49, 50, 51, 56, 58, 66, 67, 68, 71],
-        first_principles_invariant: "AI 不能只把代码写出来，还必须满足设计原则、后端工程边界、可维护性、可观测性、本地验收和用户项目约束。",
-        production_entrypoints: ["sf_expand", "sf_review", "sf_verify", "sf_deliver", "code_maintainability_observability_contract"],
-        must_fail: "无 OOD 摘要、无后端工程工作包、缺入参校验、缺必要日志/注释、本地验收证据缺失时必须阻断。",
-        must_pass: "复杂实现具备设计依据、工程边界、日志注释、测试和交付证据。",
-        release_gate: "实现工程契约行为验证 + 代码可维护性与可观测性行为验证",
-        user_project_path: "前端、后端、脚本、迁移和测试代码均必须受同一质量契约覆盖。",
-    },
-    {
-        family_id: "documentation-release-and-user-visible-operation",
-        title: "文档、发布门槛、诊断码和用户可见操作",
-        issue_numbers: [11, 36, 42, 43, 70, 72],
-        first_principles_invariant: "用户和维护者必须看到一致的发布、使用、诊断和修复路径；文档不能和实现脱节，也不能暴露内部施工噪声。",
-        production_entrypoints: ["README.md", "docs/SoloForge-设计方案.md", "docs/正式发布门槛.md", "diagnostic_registry", "validate-release", "soloforge doctor", "control_plane_contract"],
-        must_fail: "README/设计方案/正式发布门槛缺最新机制、诊断码不集中、用户输出混入内部施工词、MCP 控制面不可用或旁路仍被接受时必须阻断。",
-        must_pass: "用户能按文档初始化、审计、执行下一步、修复问题并复验；MCP 控制面可诊断、可恢复、可防旁路。",
-        release_gate: "诊断码集中治理检查 + Batch 问题文档格式一致性 + 输出噪音门禁 + MCP 控制面可信与受控生成链路验证",
-        user_project_path: "用户不用知道 Batch 内部语义，也能理解为什么阻断、怎么修、跑什么命令；MCP/adapter/state 漂移时可通过 doctor 修复。",
-    },
-];
-export function validateHistoricalIssueMechanizationMatrix(expectedIssueCount = 73, families = HISTORICAL_MECHANISM_FAMILY_REVIEWS) {
-    const findings = [];
-    const add = (code, message, family_id) => findings.push({ code, severity: "hard_fail", message, family_id });
-    const covered = new Set();
-    for (const family of families) {
-        if (!family.family_id || !family.title)
-            add("HISTORICAL_FAMILY_ID_MISSING", "历史机制族缺少 ID 或标题", family.family_id);
-        if (family.issue_numbers.length === 0)
-            add("HISTORICAL_FAMILY_EMPTY", `${family.family_id} 未覆盖任何问题`, family.family_id);
-        if (!family.first_principles_invariant)
-            add("HISTORICAL_INVARIANT_MISSING", `${family.family_id} 缺少第一性原理不变量`, family.family_id);
-        if (family.production_entrypoints.length === 0)
-            add("HISTORICAL_ENTRYPOINT_MISSING", `${family.family_id} 缺少生产入口`, family.family_id);
-        if (!family.must_fail || !family.must_pass)
-            add("HISTORICAL_BEHAVIOR_MISSING", `${family.family_id} 缺少 must-fail/must-pass`, family.family_id);
-        if (!family.release_gate)
-            add("HISTORICAL_RELEASE_GATE_MISSING", `${family.family_id} 缺少发布门禁`, family.family_id);
-        if (!family.user_project_path)
-            add("HISTORICAL_USER_PATH_MISSING", `${family.family_id} 缺少用户项目路径`, family.family_id);
-        if (family.issue_numbers.length >= expectedIssueCount) {
-            add("HISTORICAL_CATCH_ALL_SELF_ATTESTATION", `${family.family_id} 使用全编号覆盖，不能作为逐问题机制化证据`, family.family_id);
-        }
-        for (const issue of family.issue_numbers) {
-            if (issue < 1 || issue > expectedIssueCount) {
-                add("HISTORICAL_ISSUE_OUT_OF_RANGE", `${family.family_id} 覆盖了越界问题编号 ${issue}`, family.family_id);
-                continue;
-            }
-            covered.add(issue);
-        }
-    }
-    const missing = [];
-    for (let issue = 1; issue <= expectedIssueCount; issue++) {
-        if (!covered.has(issue))
-            missing.push(issue);
-    }
-    if (missing.length > 0) {
-        add("HISTORICAL_ISSUE_COVERAGE_GAP", `历史问题机制化矩阵缺少编号: ${missing.join(", ")}`);
-    }
-    const requiredEntrypoints = ["sf_expand", "sf_verify", "sf_deliver", "validate-release", "sync-templates", "soloforge next"];
-    const joinedEntrypoints = families.flatMap((family) => family.production_entrypoints).join("\n");
-    for (const entrypoint of requiredEntrypoints) {
-        if (!joinedEntrypoints.includes(entrypoint)) {
-            add("HISTORICAL_REQUIRED_ENTRYPOINT_MISSING", `历史机制化复审缺少生产入口覆盖: ${entrypoint}`);
-        }
-    }
-    return {
-        passed: findings.length === 0,
-        expected_issue_count: expectedIssueCount,
-        covered_issue_count: covered.size,
-        missing_issue_numbers: missing,
-        hard_fail_count: findings.length,
-        findings,
-    };
-}
-//# sourceMappingURL=historical_issue_mechanization_matrix.js.map

package/dist/engine/historical_issue_mechanization_matrix.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"historical_issue_mechanization_matrix.js","sourceRoot":"","sources":["../../src/engine/historical_issue_mechanization_matrix.ts"],"names":[],"mappings":"AA4BA,MAAM,CAAC,MAAM,mCAAmC,GAA+C;IAC7F;QACE,SAAS,EAAE,wCAAwC;QACnD,KAAK,EAAE,iBAAiB;QACxB,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QACxC,0BAA0B,EAAE,8DAA8D;QAC1F,sBAAsB,EAAE,CAAC,aAAa,EAAE,WAAW,EAAE,gBAAgB,EAAE,8BAA8B,CAAC;QACtG,SAAS,EAAE,wCAAwC;QACnD,SAAS,EAAE,sCAAsC;QACjD,YAAY,EAAE,6BAA6B;QAC3C,iBAAiB,EAAE,8BAA8B;KAClD;IACD;QACE,SAAS,EAAE,8CAA8C;QACzD,KAAK,EAAE,gBAAgB;QACvB,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QACxC,0BAA0B,EAAE,6DAA6D;QACzF,sBAAsB,EAAE,CAAC,gBAAgB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,kBAAkB,CAAC;QACjI,SAAS,EAAE,gDAAgD;QAC3D,SAAS,EAAE,8BAA8B;QACzC,YAAY,EAAE,iCAAiC;QAC/C,iBAAiB,EAAE,mCAAmC;KACvD;IACD;QACE,SAAS,EAAE,gDAAgD;QAC3D,KAAK,EAAE,eAAe;QACtB,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QAC9E,0BAA0B,EAAE,wEAAwE;QACpG,sBAAsB,EAAE,CAAC,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,wBAAwB,EAAE,cAAc,EAAE,wBAAwB,CAAC;QACpI,SAAS,EAAE,mFAAmF;QAC9F,SAAS,EAAE,8CAA8C;QACzD,YAAY,EAAE,yCAAyC;QACvD,iBAAiB,EAAE,sCAAsC;KAC1D;IACD;QACE,SAAS,EAAE,gDAAgD;QAC3D,KAAK,EAAE,oBAAoB;QAC3B,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QAClF,0BAA0B,EAAE,iDAAiD;QAC7E,sBAAsB,EAAE,CAAC,gBAAgB,EAAE,uBAAuB,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,yBAAyB,CAAC;QACnJ,SAAS,EAAE,4DAA4D;QACvE,SAAS,EAAE,wCAAwC;QACnD,YAAY,EAAE,4BAA4B;QAC1C,iBAAiB,EAAE,qDAAqD;KACzE;IACD;QACE,SAAS,EAAE,4CAA4C;QACvD,KAAK,EAAE,kBAAkB;QACzB,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QACtC,0BAA0B,EAAE,4DAA4D;QACxF,sBAAsB,EAAE,CAAC,+BAA+B,EAAE,6BAA6B,EAAE,kBAAkB,EAAE,2BAA2B,CAAC;QACzI,SAAS,EAAE,qDAAqD;QAChE,SAAS,EAAE,4BAA4B;QACvC,YAAY,EAAE,oBAAoB;QAClC,iBAAiB,EAAE,+BAA+B;KACnD;IACD;QACE,SAAS,EAAE,6CAA6C;QACxD,KAAK,EAAE,yBAAyB;QAChC,aAAa,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QACvE,0BAA0B,EAAE,sDAAsD;QAClF,sBAAsB,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,6CAA6C,CAAC;QAC5H,SAAS,EAAE,iDAAiD;QAC5D,SAAS,EAAE,+BAA+B;QAC1C,YAAY,EAAE,8BAA8B;QAC5C,iBAAiB,EAAE,+BAA+B;KACnD;IACD;QACE,SAAS,EAAE,kDAAkD;QAC7D,KAAK,EAAE,oBAAoB;QAC3B,aAAa,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;QACvC,0BAA0B,EAAE,mDAAmD;QAC/E,sBAAsB,EAAE,CAAC,WAAW,EAAE,wBAAwB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,wBAAwB,CAAC;QAC1K,SAAS,EAAE,oEAAoE;QAC/E,SAAS,EAAE,iDAAiD;QAC5D,YAAY,EAAE,2DAA2D;QACzE,iBAAiB,EAAE,2EAA2E;KAC/F;CACF,CAAC;AAEF,MAAM,UAAU,0CAA0C,CACxD,kBAAkB,GAAG,EAAE,EACvB,WAAuD,mCAAmC;IAE1F,MAAM,QAAQ,GAA8B,EAAE,CAAC;IAC/C,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,SAAkB,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;IAEtI,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK;YAAE,GAAG,CAAC,8BAA8B,EAAE,gBAAgB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAChH,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,GAAG,CAAC,yBAAyB,EAAE,GAAG,MAAM,CAAC,SAAS,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACvH,IAAI,CAAC,MAAM,CAAC,0BAA0B;YAAE,GAAG,CAAC,8BAA8B,EAAE,GAAG,MAAM,CAAC,SAAS,aAAa,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAChI,IAAI,MAAM,CAAC,sBAAsB,CAAC,MAAM,KAAK,CAAC;YAAE,GAAG,CAAC,+BAA+B,EAAE,GAAG,MAAM,CAAC,SAAS,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACrI,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,SAAS;YAAE,GAAG,CAAC,6BAA6B,EAAE,GAAG,MAAM,CAAC,SAAS,yBAAyB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/I,IAAI,CAAC,MAAM,CAAC,YAAY;YAAE,GAAG,CAAC,iCAAiC,EAAE,GAAG,MAAM,CAAC,SAAS,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACjH,IAAI,CAAC,MAAM,CAAC,iBAAiB;YAAE,GAAG,CAAC,8BAA8B,EAAE,GAAG,MAAM,CAAC,SAAS,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACrH,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,IAAI,kBAAkB,EAAE,CAAC;YACtD,GAAG,CAAC,uCAAuC,EAAE,GAAG,MAAM,CAAC,SAAS,uBAAuB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC7G,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACzC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,kBAAkB,EAAE,CAAC;gBAC5C,GAAG,CAAC,+BAA+B,EAAE,GAAG,MAAM,CAAC,SAAS,cAAc,KAAK,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;gBACjG,SAAS;YACX,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,kBAAkB,EAAE,KAAK,EAAE,EAAE,CAAC;QACzD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,GAAG,CAAC,+BAA+B,EAAE,kBAAkB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;IAED,MAAM,mBAAmB,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;IAC7H,MAAM,iBAAiB,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjG,KAAK,MAAM,UAAU,IAAI,mBAAmB,EAAE,CAAC;QAC7C,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,wCAAwC,EAAE,oBAAoB,UAAU,EAAE,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC7B,oBAAoB,EAAE,kBAAkB;QACxC,mBAAmB,EAAE,OAAO,CAAC,IAAI;QACjC,qBAAqB,EAAE,OAAO;QAC9B,eAAe,EAAE,QAAQ,CAAC,MAAM;QAChC,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/engine/implementation_roadmap_registry.d.ts

@@ -1,105 +0,0 @@
-/**
- * Implementation Roadmap Contract 的落地注册表。
- *
- * 将追踪问题映射到 6 个实施批次（P0-P3），
- * 提供查询、校验和跨注册表一致性检查能力。
- */
-export type ProblemStatus = "completed" | "implemented_verified" | "implemented" | "in_progress" | "in_repair" | "planned" | "not_started";
-export type ProblemPriority = "pre_completed" | "P0" | "P1" | "P2" | "P3";
-export interface ProblemEntry {
-    id: string;
-    label: string;
-    title: string;
-    status: ProblemStatus;
-    priority: ProblemPriority;
-    batch_id: string | null;
-    completion_evidence?: string;
-    related_mechanism_ids: string[];
-    related_capability_ids: string[];
-    owner_module: string | null;
-    test_files: string[];
-    memo_section: string;
-}
-export interface ImplementationBatch {
-    batch_id: string;
-    priority: "P0" | "P1" | "P2" | "P3";
-    goal: string;
-    included_problem_ids: string[];
-    depends_on_batch_ids: string[];
-    depends_on_pre_completed: string[];
-    deliverables: string[];
-    acceptance_criteria: string[];
-    not_in_scope: string[];
-}
-export interface RoadmapGovernanceFinding {
-    severity: "hard_fail" | "advisory";
-    subject_id: string;
-    field: string;
-    message: string;
-}
-/**
- * 列出所有问题条目。
- * @returns 所有问题条目的克隆副本列表
- */
-export declare function listAllProblems(): ProblemEntry[];
-/**
- * 根据问题 ID 查找问题条目。
- * @param id - 问题 ID（如 "problem-1"）
- * @returns 匹配的问题条目克隆副本，未找到则返回 undefined
- */
-export declare function findProblemById(id: string): ProblemEntry | undefined;
-/**
- * 根据状态列出问题条目。
- * @param status - 问题状态（completed / in_progress / planned / not_started）
- * @returns 符合条件的问题条目克隆副本列表
- */
-export declare function listProblemsByStatus(status: ProblemStatus): ProblemEntry[];
-/**
- * 根据批次 ID 列出问题条目。
- * @param batchId - 批次 ID（如 "batch-1"）
- * @returns 属于该批次的问题条目克隆副本列表
- */
-export declare function listProblemsByBatch(batchId: string): ProblemEntry[];
-/**
- * 列出所有实施批次。
- * @returns 所有实施批次的克隆副本列表
- */
-export declare function listBatches(): ImplementationBatch[];
-/**
- * 根据批次 ID 查找实施批次。
- * @param id - 批次 ID（如 "batch-1"）
- * @returns 匹配的实施批次克隆副本，未找到则返回 undefined
- */
-export declare function findBatchById(id: string): ImplementationBatch | undefined;
-/**
- * 获取指定批次的所有依赖批次 ID（递归）。
- * @param batchId - 批次 ID
- * @returns 所有直接和间接依赖的批次 ID 列表
- */
-export declare function getBatchDependencies(batchId: string): string[];
-/**
- * 检查指定批次是否全部完成。
- * @param batchId - 批次 ID
- * @returns 批次中所有问题是否均已标记为 completed
- */
-export declare function isBatchComplete(batchId: string): boolean;
-/**
- * 获取各状态问题的数量汇总。
- * @returns 各状态对应的问题数量映射
- */
-export declare function getProblemStatusSummary(): Record<ProblemStatus, number>;
-/**
- * 获取各优先级问题的数量汇总。
- * @returns 各优先级对应的问题数量映射
- */
-export declare function getProblemPrioritySummary(): Record<ProblemPriority, number>;
-/**
- * 校验实施路线图的一致性和完整性。
- * @description 检查问题/批次唯一性、已完成问题的完成证据、前置完成规范集、
- *              批次引用完整性、双向一致性等。
- * @param problems - 待校验的问题列表，默认使用内置数据
- * @param batches - 待校验的批次列表，默认使用内置数据
- * @returns 治理发现列表（hard_fail 为硬性错误，advisory 为建议项）
- */
-export declare function validateImplementationRoadmap(problems?: readonly ProblemEntry[], batches?: readonly ImplementationBatch[]): RoadmapGovernanceFinding[];
-//# sourceMappingURL=implementation_roadmap_registry.d.ts.map

package/dist/engine/implementation_roadmap_registry.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"implementation_roadmap_registry.d.ts","sourceRoot":"","sources":["../../src/engine/implementation_roadmap_registry.ts"],"names":[],"mappings":"AACA;;;;;GAKG;AAIH,MAAM,MAAM,aAAa,GACrB,WAAW,GACX,sBAAsB,GACtB,aAAa,GACb,aAAa,GACb,WAAW,GACX,SAAS,GACT,aAAa,CAAC;AAElB,MAAM,MAAM,eAAe,GAAG,eAAe,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;AAE1E,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,aAAa,CAAC;IACtB,QAAQ,EAAE,eAAe,CAAC;IAC1B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,wBAAwB,EAAE,MAAM,EAAE,CAAC;IACnC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,WAAW,GAAG,UAAU,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB;AAkkCD;;;GAGG;AACH,wBAAgB,eAAe,IAAI,YAAY,EAAE,CAGhD;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAIpE;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,aAAa,GAAG,YAAY,EAAE,CAG1E;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,EAAE,CAGnE;AAID;;;GAGG;AACH,wBAAgB,WAAW,IAAI,mBAAmB,EAAE,CAGnD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,mBAAmB,GAAG,SAAS,CAIzE;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAc9D;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAQxD;AAID;;;GAGG;AACH,wBAAgB,uBAAuB,IAAI,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,CAKvE;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,IAAI,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,CAK3E;AAID;;;;;;;GAOG;AACH,wBAAgB,6BAA6B,CAC3C,QAAQ,GAAE,SAAS,YAAY,EAAoB,EACnD,OAAO,GAAE,SAAS,mBAAmB,EAA2B,GAC/D,wBAAwB,EAAE,CA+I5B"}