soloforge 1.1.2 → 1.1.31

package/dist/engine/knowledge/documentation_governance.js

@@ -0,0 +1,249 @@
+/**
+ * 文档治理 — 问题二十一 核心实现。
+ *
+ * 职责:
+ * - 制品策略定义（允许/禁止内容、事实源、更新触发条件）
+ * - 设计文档准入校验（proposed/accepted_in_memo 不得写入正式设计文档）
+ * - 禁止内容合规检查
+ * - 注册表与设计文档状态冲突检测
+ * - 备忘录决策停滞检测
+ */
+// ── 内置制品策略 ──
+export const BUILTIN_ARTIFACT_POLICIES = [
+    {
+        artifact: "design_doc",
+        allowed_content: ["产品定位和设计目标", "架构分层和核心数据流", "能力状态分层和强制层准入契约", "治理原则、风险边界和人工主权规则"],
+        forbidden_content: ["施工日志", "测试数量流水账", "Prompt 模板", "frontmatter schema", "安装命令细节", "文件路径级修复清单", "函数名级实现说明"],
+        source_of_truth_for: ["长期稳定的设计事实"],
+        update_trigger: ["已验证的设计变更"],
+    },
+    {
+        artifact: "memo",
+        allowed_content: ["真实问题记录", "讨论过程和采纳方案", "待落地修复方向"],
+        forbidden_content: ["伪装为正式事实"],
+        source_of_truth_for: ["决策讨论追溯"],
+        update_trigger: ["讨论/方案变更"],
+    },
+    {
+        artifact: "readme",
+        allowed_content: ["安装", "初始化", "命令参数", "使用方式", "当前可用能力", "风险提示"],
+        forbidden_content: ["内部治理推理", "设计原理"],
+        source_of_truth_for: ["用户使用指南"],
+        update_trigger: ["命令变更", "能力状态变更"],
+    },
+    {
+        artifact: "contract_registry",
+        allowed_content: ["契约状态", "准入条件", "证据文件"],
+        forbidden_content: ["施工日志"],
+        source_of_truth_for: ["契约状态事实源"],
+        update_trigger: ["契约注册/变更"],
+    },
+    {
+        artifact: "capability_registry",
+        allowed_content: ["能力状态", "准入条件", "证据文件"],
+        forbidden_content: ["施工日志"],
+        source_of_truth_for: ["能力状态事实源"],
+        update_trigger: ["能力状态变更"],
+    },
+    {
+        artifact: "knowledge_templates",
+        allowed_content: ["知识模板格式和示例"],
+        forbidden_content: [],
+        source_of_truth_for: ["知识模板格式"],
+        update_trigger: ["模板 schema 变更"],
+    },
+    {
+        artifact: "issue_pr",
+        allowed_content: ["修复过程", "阶段记录", "审查发现"],
+        forbidden_content: [],
+        source_of_truth_for: ["修复记录"],
+        update_trigger: ["修复/审查"],
+    },
+    {
+        artifact: "ci_report",
+        allowed_content: ["测试数量和覆盖矩阵"],
+        forbidden_content: [],
+        source_of_truth_for: ["测试报告"],
+        update_trigger: ["CI 运行"],
+    },
+];
+// ── 内部工具函数 ──
+/** 生成治理发现 ID */
+function generateFindingId(prefix, index) {
+    return `doc-gov-${prefix}-${String(index).padStart(4, "0")}`;
+}
+/** 计算两个 ISO 日期字符串之间的天数差 */
+function daysBetween(a, b) {
+    const ms = Math.abs(new Date(b).getTime() - new Date(a).getTime());
+    return Math.floor(ms / (1000 * 60 * 60 * 24));
+}
+// ── 核心校验函数 ──
+/**
+ * 校验设计文档准入资格。
+ *
+ * 只有 "verified" 或 "design_doc_eligible" 状态可以写入正式设计文档。
+ * "proposed" 或 "accepted_in_memo" 状态不得进入正式设计文档（硬拒绝）。
+ * 必须提供证据引用。
+ */
+export function validateDesignDocEligibility(eligibility) {
+    const { doc_eligibility_status, evidence_refs } = eligibility;
+    // 硬拒绝：未达准入资格的状态
+    const hardFailStatuses = [
+        "proposed",
+        "accepted_in_memo",
+    ];
+    if (hardFailStatuses.includes(doc_eligibility_status)) {
+        return {
+            allowed: false,
+            reason: `决策 ${eligibility.decision_id} 状态为 "${doc_eligibility_status}"，尚未通过验证，不得写入正式设计文档。请先通过验证流程将状态推进至 "verified" 或 "design_doc_eligible"。`,
+        };
+    }
+    // 硬拒绝：无证据引用
+    if (!evidence_refs || evidence_refs.length === 0) {
+        return {
+            allowed: false,
+            reason: `决策 ${eligibility.decision_id} 缺少证据引用（evidence_refs），无法确认准入资格。`,
+        };
+    }
+    // 已失效的决策不得写入
+    if (doc_eligibility_status === "superseded") {
+        return {
+            allowed: false,
+            reason: `决策 ${eligibility.decision_id} 已被替代（superseded），不得写入正式设计文档。`,
+        };
+    }
+    // 被拒绝的决策不得写入
+    if (doc_eligibility_status === "rejected") {
+        return {
+            allowed: false,
+            reason: `决策 ${eligibility.decision_id} 已被拒绝（rejected），不得写入正式设计文档。`,
+        };
+    }
+    // 允许：verified、design_doc_eligible、implemented 均可
+    return {
+        allowed: true,
+        reason: `决策 ${eligibility.decision_id} 状态为 "${doc_eligibility_status}"，准入资格校验通过（${evidence_refs.length} 条证据）。`,
+    };
+}
+/**
+ * 检查文档内容合规性 — 扫描禁止内容模式。
+ *
+ * 对每个匹配的禁止模式生成一条发现。
+ * 如果传入自定义 forbiddenPatterns，以自定义列表为准；
+ * 否则使用内置制品策略中该 artifact 类型的禁止列表。
+ */
+export function checkDocContentCompliance(artifactType, content, forbiddenPatterns) {
+    const findings = [];
+    // 未传入自定义模式时，从内置策略查找
+    const patterns = forbiddenPatterns ??
+        BUILTIN_ARTIFACT_POLICIES.find((p) => p.artifact === artifactType)?.forbidden_content ??
+        [];
+    for (let i = 0; i < patterns.length; i++) {
+        const pattern = patterns[i];
+        if (content.includes(pattern)) {
+            findings.push({
+                id: generateFindingId("content", i),
+                severity: "hard_fail",
+                rule: "forbidden_content",
+                artifact_type: artifactType,
+                message_zh: `"${artifactType}" 包含禁止内容 "${pattern}"。请将其移除或迁移至合适的制品类型。`,
+            });
+        }
+    }
+    return findings;
+}
+/**
+ * 检查注册表与设计文档之间的状态冲突。
+ *
+ * 注册表为事实源：如果注册表中某策略为 advisory（建议级），
+ * 但设计文档中声称该策略为 enforced（强制级），则产生硬拒绝发现。
+ */
+export function checkRegistryDesignDocConflict(registryState, designDocState) {
+    // 事实源为 advisory 但设计文档声称 enforced => 硬拒绝
+    if (registryState === "advisory" && designDocState === "enforced") {
+        return {
+            id: generateFindingId("reg-conflict", 0),
+            severity: "hard_fail",
+            rule: "registry_doc_mismatch",
+            artifact_type: "design_doc",
+            message_zh: `设计文档声称策略状态为 "enforced"（强制），但注册表（事实源）记录为 "advisory"（建议）。设计文档必须与注册表保持一致。`,
+        };
+    }
+    // 事实源为 deprecated/removed 但设计文档仍声称 enforced/advisory => 警告
+    if ((registryState === "deprecated" || registryState === "removed") &&
+        (designDocState === "enforced" || designDocState === "advisory")) {
+        return {
+            id: generateFindingId("reg-conflict", 1),
+            severity: "warning",
+            rule: "registry_doc_mismatch",
+            artifact_type: "design_doc",
+            message_zh: `设计文档声称策略状态为 "${designDocState}"，但注册表记录为 "${registryState}"。设计文档可能需要同步更新。`,
+        };
+    }
+    // 事实源为 experimental 但设计文档声称 enforced => 警告
+    if (registryState === "experimental" && designDocState === "enforced") {
+        return {
+            id: generateFindingId("reg-conflict", 2),
+            severity: "warning",
+            rule: "registry_doc_mismatch",
+            artifact_type: "design_doc",
+            message_zh: `设计文档声称策略状态为 "enforced"（强制），但注册表记录为 "experimental"（实验性）。请确认是否应降级为建议级或等待实验验证。`,
+        };
+    }
+    return null;
+}
+/**
+ * 检查备忘录决策停滞 — accepted_in_memo 状态超过阈值未推进。
+ *
+ * 这些决策在备忘录中被接受，但长期未推进到 verified 或 design_doc_eligible，
+ * 可能意味着遗忘或阻塞，需要提醒开发者关注。
+ */
+export function checkAcceptedMemoStaleness(eligibilities, staleThresholdDays) {
+    const findings = [];
+    const now = new Date();
+    for (let i = 0; i < eligibilities.length; i++) {
+        const e = eligibilities[i];
+        // 仅检查 accepted_in_memo 状态
+        if (e.doc_eligibility_status !== "accepted_in_memo") {
+            continue;
+        }
+        // 需要通过 evidence_refs 中的时间信息判断停滞
+        // 如果没有证据引用或无法解析时间，跳过（由其他规则覆盖）
+        if (!e.evidence_refs || e.evidence_refs.length === 0) {
+            findings.push({
+                id: generateFindingId("stale", i),
+                severity: "warning",
+                rule: "memo_stale_no_evidence",
+                artifact_type: "memo",
+                message_zh: `决策 ${e.decision_id} 处于 "accepted_in_memo" 状态但缺少证据引用，无法评估停滞时间。`,
+            });
+            continue;
+        }
+        // 使用最早的证据引用作为接受时间基准
+        // evidence_refs 通常包含时间戳格式（如 ISO 日期字符串或包含日期的引用）
+        const earliestRef = e.evidence_refs[0];
+        let acceptedDate = null;
+        // 尝试解析为 ISO 日期
+        const parsed = Date.parse(earliestRef);
+        if (!isNaN(parsed)) {
+            acceptedDate = new Date(parsed);
+        }
+        if (!acceptedDate) {
+            // 无法从证据引用解析时间，跳过此条
+            continue;
+        }
+        const daysElapsed = daysBetween(acceptedDate.toISOString(), now.toISOString());
+        if (daysElapsed > staleThresholdDays) {
+            findings.push({
+                id: generateFindingId("stale", i),
+                severity: daysElapsed > staleThresholdDays * 2 ? "hard_fail" : "warning",
+                rule: "memo_staleness",
+                artifact_type: "memo",
+                message_zh: `决策 ${e.decision_id} 已在 "accepted_in_memo" 状态停留 ${daysElapsed} 天（阈值 ${staleThresholdDays} 天），尚未推进到验证阶段。请检查是否需要推进或关闭。`,
+                evidence_ref: earliestRef,
+            });
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=documentation_governance.js.map

package/dist/engine/knowledge/documentation_governance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"documentation_governance.js","sourceRoot":"","sources":["../../../src/engine/knowledge/documentation_governance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAoBH,eAAe;AAEf,MAAM,CAAC,MAAM,yBAAyB,GAAkC;IACtE;QACE,QAAQ,EAAE,YAAY;QACtB,eAAe,EAAE,CAAC,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,kBAAkB,CAAC;QAClF,iBAAiB,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC;QAC5G,mBAAmB,EAAE,CAAC,WAAW,CAAC;QAClC,cAAc,EAAE,CAAC,UAAU,CAAC;KAC7B;IACD;QACE,QAAQ,EAAE,MAAM;QAChB,eAAe,EAAE,CAAC,QAAQ,EAAE,WAAW,EAAE,SAAS,CAAC;QACnD,iBAAiB,EAAE,CAAC,SAAS,CAAC;QAC9B,mBAAmB,EAAE,CAAC,QAAQ,CAAC;QAC/B,cAAc,EAAE,CAAC,SAAS,CAAC;KAC5B;IACD;QACE,QAAQ,EAAE,QAAQ;QAClB,eAAe,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC;QAChE,iBAAiB,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;QACrC,mBAAmB,EAAE,CAAC,QAAQ,CAAC;QAC/B,cAAc,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC;KACnC;IACD;QACE,QAAQ,EAAE,mBAAmB;QAC7B,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;QACzC,iBAAiB,EAAE,CAAC,MAAM,CAAC;QAC3B,mBAAmB,EAAE,CAAC,SAAS,CAAC;QAChC,cAAc,EAAE,CAAC,SAAS,CAAC;KAC5B;IACD;QACE,QAAQ,EAAE,qBAAqB;QAC/B,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;QACzC,iBAAiB,EAAE,CAAC,MAAM,CAAC;QAC3B,mBAAmB,EAAE,CAAC,SAAS,CAAC;QAChC,cAAc,EAAE,CAAC,QAAQ,CAAC;KAC3B;IACD;QACE,QAAQ,EAAE,qBAAqB;QAC/B,eAAe,EAAE,CAAC,WAAW,CAAC;QAC9B,iBAAiB,EAAE,EAAE;QACrB,mBAAmB,EAAE,CAAC,QAAQ,CAAC;QAC/B,cAAc,EAAE,CAAC,cAAc,CAAC;KACjC;IACD;QACE,QAAQ,EAAE,UAAU;QACpB,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;QACzC,iBAAiB,EAAE,EAAE;QACrB,mBAAmB,EAAE,CAAC,MAAM,CAAC;QAC7B,cAAc,EAAE,CAAC,OAAO,CAAC;KAC1B;IACD;QACE,QAAQ,EAAE,WAAW;QACrB,eAAe,EAAE,CAAC,WAAW,CAAC;QAC9B,iBAAiB,EAAE,EAAE;QACrB,mBAAmB,EAAE,CAAC,MAAM,CAAC;QAC7B,cAAc,EAAE,CAAC,OAAO,CAAC;KAC1B;CACF,CAAC;AAEF,eAAe;AAEf,gBAAgB;AAChB,SAAS,iBAAiB,CAAC,MAAc,EAAE,KAAa;IACtD,OAAO,WAAW,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AAC/D,CAAC;AAED,2BAA2B;AAC3B,SAAS,WAAW,CAAC,CAAS,EAAE,CAAS;IACvC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACnE,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,eAAe;AAEf;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,WAAiC;IAEjC,MAAM,EAAE,sBAAsB,EAAE,aAAa,EAAE,GAAG,WAAW,CAAC;IAE9D,gBAAgB;IAChB,MAAM,gBAAgB,GAAsC;QAC1D,UAAU;QACV,kBAAkB;KACnB,CAAC;IAEF,IAAI,gBAAgB,CAAC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,CAAC;QACtD,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,MAAM,WAAW,CAAC,WAAW,SAAS,sBAAsB,wEAAwE;SAC7I,CAAC;IACJ,CAAC;IAED,YAAY;IACZ,IAAI,CAAC,aAAa,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,MAAM,WAAW,CAAC,WAAW,kCAAkC;SACxE,CAAC;IACJ,CAAC;IAED,aAAa;IACb,IAAI,sBAAsB,KAAK,YAAY,EAAE,CAAC;QAC5C,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,MAAM,WAAW,CAAC,WAAW,+BAA+B;SACrE,CAAC;IACJ,CAAC;IAED,aAAa;IACb,IAAI,sBAAsB,KAAK,UAAU,EAAE,CAAC;QAC1C,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,MAAM,WAAW,CAAC,WAAW,6BAA6B;SACnE,CAAC;IACJ,CAAC;IAED,iDAAiD;IACjD,OAAO;QACL,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,MAAM,WAAW,CAAC,WAAW,SAAS,sBAAsB,cAAc,aAAa,CAAC,MAAM,QAAQ;KAC/G,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,YAAqD,EACrD,OAAe,EACf,iBAA4B;IAE5B,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAE5C,oBAAoB;IACpB,MAAM,QAAQ,GACZ,iBAAiB;QACjB,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,YAAY,CAAC,EAAE,iBAAiB;QACrF,EAAE,CAAC;IAEL,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC;gBACZ,EAAE,EAAE,iBAAiB,CAAC,SAAS,EAAE,CAAC,CAAC;gBACnC,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,mBAAmB;gBACzB,aAAa,EAAE,YAAY;gBAC3B,UAAU,EAAE,IAAI,YAAY,aAAa,OAAO,qBAAqB;aACtE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC5C,aAAqB,EACrB,cAAsB;IAEtB,wCAAwC;IACxC,IAAI,aAAa,KAAK,UAAU,IAAI,cAAc,KAAK,UAAU,EAAE,CAAC;QAClE,OAAO;YACL,EAAE,EAAE,iBAAiB,CAAC,cAAc,EAAE,CAAC,CAAC;YACxC,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,uBAAuB;YAC7B,aAAa,EAAE,YAAY;YAC3B,UAAU,EAAE,wEAAwE;SACrF,CAAC;IACJ,CAAC;IAED,2DAA2D;IAC3D,IACE,CAAC,aAAa,KAAK,YAAY,IAAI,aAAa,KAAK,SAAS,CAAC;QAC/D,CAAC,cAAc,KAAK,UAAU,IAAI,cAAc,KAAK,UAAU,CAAC,EAChE,CAAC;QACD,OAAO;YACL,EAAE,EAAE,iBAAiB,CAAC,cAAc,EAAE,CAAC,CAAC;YACxC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,uBAAuB;YAC7B,aAAa,EAAE,YAAY;YAC3B,UAAU,EAAE,gBAAgB,cAAc,cAAc,aAAa,iBAAiB;SACvF,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,IAAI,aAAa,KAAK,cAAc,IAAI,cAAc,KAAK,UAAU,EAAE,CAAC;QACtE,OAAO;YACL,EAAE,EAAE,iBAAiB,CAAC,cAAc,EAAE,CAAC,CAAC;YACxC,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,uBAAuB;YAC7B,aAAa,EAAE,YAAY;YAC3B,UAAU,EAAE,6EAA6E;SAC1F,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CACxC,aAAqC,EACrC,kBAA0B;IAE1B,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;IAEvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAE3B,0BAA0B;QAC1B,IAAI,CAAC,CAAC,sBAAsB,KAAK,kBAAkB,EAAE,CAAC;YACpD,SAAS;QACX,CAAC;QAED,gCAAgC;QAChC,8BAA8B;QAC9B,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrD,QAAQ,CAAC,IAAI,CAAC;gBACZ,EAAE,EAAE,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC;gBACjC,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,wBAAwB;gBAC9B,aAAa,EAAE,MAAM;gBACrB,UAAU,EAAE,MAAM,CAAC,CAAC,WAAW,4CAA4C;aAC5E,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,oBAAoB;QACpB,+CAA+C;QAC/C,MAAM,WAAW,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,YAAY,GAAgB,IAAI,CAAC;QAErC,eAAe;QACf,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,YAAY,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QAED,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,mBAAmB;YACnB,SAAS;QACX,CAAC;QAED,MAAM,WAAW,GAAG,WAAW,CAAC,YAAY,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;QAE/E,IAAI,WAAW,GAAG,kBAAkB,EAAE,CAAC;YACrC,QAAQ,CAAC,IAAI,CAAC;gBACZ,EAAE,EAAE,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC;gBACjC,QAAQ,EAAE,WAAW,GAAG,kBAAkB,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;gBACxE,IAAI,EAAE,gBAAgB;gBACtB,aAAa,EAAE,MAAM;gBACrB,UAAU,EAAE,MAAM,CAAC,CAAC,WAAW,+BAA+B,WAAW,SAAS,kBAAkB,6BAA6B;gBACjI,YAAY,EAAE,WAAW;aAC1B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/engine/knowledge/drift_classifier.d.ts

@@ -0,0 +1,26 @@
+/**
+ * 知识漂移分类器 — 从 knowledge_evolution.ts 提取，消除循环依赖。
+ *
+ * 分类知识漂移类型：
+ * - knowledge_outdated: 知识描述与当前代码行为不一致
+ * - code_debt: 代码未按已有知识规范执行
+ * - ambiguous: 无法确定是知识过时还是代码偏差
+ */
+/** 漂移报告 */
+export interface DriftReport {
+    id: string;
+    entry_id: string;
+    classification: "knowledge_outdated" | "code_debt" | "ambiguous";
+    description_zh: string;
+    requires_human: boolean;
+}
+/**
+ * 分类知识漂移。
+ * 对比知识内容和代码内容，判断漂移类型。
+ *
+ * - knowledge_outdated: 知识中的大部分模式在代码中找不到 — 知识过时
+ * - code_debt: 代码中大部分模式在知识中存在，但仍有漂移 — 代码偏差
+ * - ambiguous: 覆盖率在中间 — 无法确定，需人工裁决
+ */
+export declare function classifyDrift(entry_id: string, knowledgeContent: string, codeContent: string): DriftReport;
+//# sourceMappingURL=drift_classifier.d.ts.map

package/dist/engine/knowledge/drift_classifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift_classifier.d.ts","sourceRoot":"","sources":["../../../src/engine/knowledge/drift_classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,WAAW;AACX,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,oBAAoB,GAAG,WAAW,GAAG,WAAW,CAAC;IACjE,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,OAAO,CAAC;CACzB;AAID;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,GAClB,WAAW,CA0Cb"}

package/dist/engine/knowledge/drift_classifier.js

@@ -0,0 +1,82 @@
+/**
+ * 知识漂移分类器 — 从 knowledge_evolution.ts 提取，消除循环依赖。
+ *
+ * 分类知识漂移类型：
+ * - knowledge_outdated: 知识描述与当前代码行为不一致
+ * - code_debt: 代码未按已有知识规范执行
+ * - ambiguous: 无法确定是知识过时还是代码偏差
+ */
+// ── 核心函数 ──
+/**
+ * 分类知识漂移。
+ * 对比知识内容和代码内容，判断漂移类型。
+ *
+ * - knowledge_outdated: 知识中的大部分模式在代码中找不到 — 知识过时
+ * - code_debt: 代码中大部分模式在知识中存在，但仍有漂移 — 代码偏差
+ * - ambiguous: 覆盖率在中间 — 无法确定，需人工裁决
+ */
+export function classifyDrift(entry_id, knowledgeContent, codeContent) {
+    // 计算知识中引用的路径/模式在代码中的覆盖率
+    const knowledgePatterns = extractPatterns(knowledgeContent);
+    const codePatterns = extractPatterns(codeContent);
+    const matchedPatterns = knowledgePatterns.filter((p) => codePatterns.some((cp) => cp.includes(p) || p.includes(cp)));
+    const coverageRatio = knowledgePatterns.length > 0
+        ? matchedPatterns.length / knowledgePatterns.length
+        : 0;
+    let classification;
+    let description_zh;
+    let requires_human;
+    if (coverageRatio < 0.3) {
+        // 知识中的大部分模式在代码中找不到 — 知识过时
+        classification = "knowledge_outdated";
+        description_zh = `知识条目 ${entry_id} 与当前代码严重不一致（覆盖率 ${Math.round(coverageRatio * 100)}%），知识内容可能已过时`;
+        requires_human = true;
+    }
+    else if (coverageRatio > 0.7) {
+        // 代码中大部分模式在知识中存在 — 但仍有漂移，可能是代码偏差
+        classification = "code_debt";
+        description_zh = `知识条目 ${entry_id} 与代码基本一致（覆盖率 ${Math.round(coverageRatio * 100)}%），但存在代码未遵循知识规范的偏差`;
+        requires_human = false;
+    }
+    else {
+        // 覆盖率在中间 — 无法确定
+        classification = "ambiguous";
+        description_zh = `知识条目 ${entry_id} 与代码部分一致（覆盖率 ${Math.round(coverageRatio * 100)}%），无法确定是知识过时还是代码偏差，需人工裁决`;
+        requires_human = true;
+    }
+    return {
+        id: `drift-${entry_id}-${Date.now()}`,
+        entry_id,
+        classification,
+        description_zh,
+        requires_human,
+    };
+}
+// ── 内部辅助函数 ──
+/**
+ * 从文本中提取关键模式（路径引用、函数名、类型名）。
+ * 简单启发式提取，用于漂移检测的内容对比。
+ */
+function extractPatterns(content) {
+    const patterns = new Set();
+    // 提取路径引用 (xxx/yyy 形式)
+    const pathMatches = content.match(/[\w./-]+\/[\w./-]+/g);
+    if (pathMatches) {
+        for (const p of pathMatches) {
+            if (p.length >= 4) {
+                patterns.add(p);
+            }
+        }
+    }
+    // 提取驼峰/蛇形标识符 (至少 4 个字符的单词级标识符)
+    const identMatches = content.match(/\b[a-zA-Z_][\w]{3,}\b/g);
+    if (identMatches) {
+        for (const id of identMatches) {
+            if (id.length >= 5) {
+                patterns.add(id);
+            }
+        }
+    }
+    return [...patterns];
+}
+//# sourceMappingURL=drift_classifier.js.map

package/dist/engine/knowledge/drift_classifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"drift_classifier.js","sourceRoot":"","sources":["../../../src/engine/knowledge/drift_classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAaH,aAAa;AAEb;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,QAAgB,EAChB,gBAAwB,EACxB,WAAmB;IAEnB,wBAAwB;IACxB,MAAM,iBAAiB,GAAG,eAAe,CAAC,gBAAgB,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAElD,MAAM,eAAe,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACrD,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAC5D,CAAC;IAEF,MAAM,aAAa,GACjB,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC1B,CAAC,CAAC,eAAe,CAAC,MAAM,GAAG,iBAAiB,CAAC,MAAM;QACnD,CAAC,CAAC,CAAC,CAAC;IAER,IAAI,cAA6C,CAAC;IAClD,IAAI,cAAsB,CAAC;IAC3B,IAAI,cAAuB,CAAC;IAE5B,IAAI,aAAa,GAAG,GAAG,EAAE,CAAC;QACxB,0BAA0B;QAC1B,cAAc,GAAG,oBAAoB,CAAC;QACtC,cAAc,GAAG,QAAQ,QAAQ,mBAAmB,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,GAAG,CAAC,cAAc,CAAC;QAClG,cAAc,GAAG,IAAI,CAAC;IACxB,CAAC;SAAM,IAAI,aAAa,GAAG,GAAG,EAAE,CAAC;QAC/B,iCAAiC;QACjC,cAAc,GAAG,WAAW,CAAC;QAC7B,cAAc,GAAG,QAAQ,QAAQ,gBAAgB,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,GAAG,CAAC,oBAAoB,CAAC;QACrG,cAAc,GAAG,KAAK,CAAC;IACzB,CAAC;SAAM,CAAC;QACN,gBAAgB;QAChB,cAAc,GAAG,WAAW,CAAC;QAC7B,cAAc,GAAG,QAAQ,QAAQ,gBAAgB,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,GAAG,CAAC,0BAA0B,CAAC;QAC3G,cAAc,GAAG,IAAI,CAAC;IACxB,CAAC;IAED,OAAO;QACL,EAAE,EAAE,SAAS,QAAQ,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACrC,QAAQ;QACR,cAAc;QACd,cAAc;QACd,cAAc;KACf,CAAC;AACJ,CAAC;AAED,eAAe;AAEf;;;GAGG;AACH,SAAS,eAAe,CAAC,OAAe;IACtC,MAAM,QAAQ,GAAgB,IAAI,GAAG,EAAE,CAAC;IAExC,sBAAsB;IACtB,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACzD,IAAI,WAAW,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAClB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,+BAA+B;IAC/B,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC7D,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;YAC9B,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACnB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC;AACvB,CAAC"}

package/dist/engine/knowledge/knowledge_acceptance_registry.d.ts

@@ -0,0 +1,35 @@
+/**
+ * IssueDetailAcceptance 生产注册表。
+ *
+ * 提供 listKnowledgeIssueDetailAcceptances() 和 validateKnowledgeIssueDetailAcceptance()。
+ * 每条验收记录的 mainline_consumption_check 必须可追溯到真实源码调用链。
+ */
+import type { IssueDetailAcceptance } from "./knowledge_template_contracts.js";
+export type { IssueDetailAcceptance };
+/** 全部 9 个问题的验收注册表 */
+export declare const KNOWLEDGE_ISSUE_ACCEPTANCES: readonly IssueDetailAcceptance[];
+/** 验证发现 */
+export interface IssueAcceptanceFinding {
+    issue_id: string;
+    rule: string;
+    severity: "hard_fail" | "warning";
+    message_zh: string;
+}
+/**
+ * 列出全部 IssueDetailAcceptance。
+ */
+export declare function listKnowledgeIssueDetailAcceptances(): readonly IssueDetailAcceptance[];
+/**
+ * 验证单个 IssueDetailAcceptance 的完整性。
+ *
+ * 规则：
+ *   - issue_id 必须对应 roadmap 中存在的问题
+ *   - contract_id 必须在契约注册表中存在
+ *   - must_keep_details 不得为空
+ *   - required_entrypoints 不得为空
+ *   - owner_files 不得为空
+ *   - not_done_if_missing 不得为空
+ *   - regression_cases 不得为空
+ */
+export declare function validateKnowledgeIssueDetailAcceptance(acceptance: IssueDetailAcceptance): IssueAcceptanceFinding[];
+//# sourceMappingURL=knowledge_acceptance_registry.d.ts.map

package/dist/engine/knowledge/knowledge_acceptance_registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge_acceptance_registry.d.ts","sourceRoot":"","sources":["../../../src/engine/knowledge/knowledge_acceptance_registry.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAG/E,YAAY,EAAE,qBAAqB,EAAE,CAAC;AAEtC,qBAAqB;AACrB,eAAO,MAAM,2BAA2B,EAAE,SAAS,qBAAqB,EAgLvE,CAAC;AAEF,WAAW;AACX,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,wBAAgB,mCAAmC,IAAI,SAAS,qBAAqB,EAAE,CAEtF;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sCAAsC,CACpD,UAAU,EAAE,qBAAqB,GAChC,sBAAsB,EAAE,CAgE1B"}