soloforge 1.2.19 → 1.3.0

package/dist/engine/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/documentation_governance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"documentation_governance.js","sourceRoot":"","sources":["../../src/engine/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/dual_layer_mechanism_registry.d.ts

@@ -12,6 +12,11 @@
  *                + code_enforced + evidence_recorded + regression_guarded
  */
 import type { MechanismLayerMap, DualLayerMechanismStatus, DualLayerGovernanceFinding } from "../types.js";
+export declare const MECHANISM_ALIASES: Record<string, string>;
+/** 将机制 ID 解析为正式 ID（处理别名） */
+export declare function resolveMechanismId(id: string): string;
+/** 获取所有正式机制 ID 集合 */
+export declare function getAllCanonicalMechanismIds(): Set<string>;
 /**
  * 列出所有机制的层级映射。
  * @returns 机制层级映射列表
@@ -57,10 +62,7 @@ export declare function checkDualLayerCompleteness(map: MechanismLayerMap): Dual
  * 检查 ID 唯一性、模板/代码缺口、文件存在性、入口点等。
  * @param maps - 机制层级映射列表（默认使用所有契约）
  * @param rootDir - 项目根目录（默认当前目录）
- * @param options.batch1_mode - 是否启用 batch1 模式（可选）
  * @returns 治理发现列表
  */
-export declare function validateMechanismLayerMaps(maps?: MechanismLayerMap[], rootDir?: string, options?: {
-    batch1_mode?: boolean;
-}): DualLayerGovernanceFinding[];
+export declare function validateMechanismLayerMaps(maps?: MechanismLayerMap[], rootDir?: string, _options?: Record<string, unknown>): DualLayerGovernanceFinding[];
 //# sourceMappingURL=dual_layer_mechanism_registry.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"dual_layer_mechanism_registry.d.ts","sourceRoot":"","sources":["../../src/engine/dual_layer_mechanism_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,KAAK,EACV,iBAAiB,EAEjB,wBAAwB,EACxB,0BAA0B,EAE3B,MAAM,aAAa,CAAC;AAiyBrB;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,iBAAiB,EAAE,CAG5D;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAGnF;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,iBAAiB,EAAE,CAGhG;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,wBAAwB,GAAG,iBAAiB,EAAE,CAG3F;AAID,MAAM,WAAW,qBAAqB;IACpC,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,EAAE,OAAO,CAAC;IACxB,WAAW,EAAE,OAAO,CAAC;IACrB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,iBAAiB,GAAG,qBAAqB,CA6BxF;AAYD;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,GAAE,iBAAiB,EAAgD,EACvE,OAAO,GAAE,MAAsB,EAC/B,OAAO,CAAC,EAAE;IAAE,WAAW,CAAC,EAAE,OAAO,CAAA;CAAE,GAClC,0BAA0B,EAAE,CA8N9B"}
+{"version":3,"file":"dual_layer_mechanism_registry.d.ts","sourceRoot":"","sources":["../../src/engine/dual_layer_mechanism_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,KAAK,EACV,iBAAiB,EAEjB,wBAAwB,EACxB,0BAA0B,EAE3B,MAAM,aAAa,CAAC;AAy/CrB,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAMpD,CAAC;AAEF,4BAA4B;AAC5B,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAErD;AAED,qBAAqB;AACrB,wBAAgB,2BAA2B,IAAI,GAAG,CAAC,MAAM,CAAC,CAEzD;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,iBAAiB,EAAE,CAE5D;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEnF;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,iBAAiB,EAAE,CAEhG;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,wBAAwB,GAAG,iBAAiB,EAAE,CAE3F;AAID,MAAM,WAAW,qBAAqB;IACpC,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,EAAE,OAAO,CAAC;IACxB,WAAW,EAAE,OAAO,CAAC;IACrB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,iBAAiB,GAAG,qBAAqB,CA4BxF;AAYD;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,GAAE,iBAAiB,EAAgD,EACvE,OAAO,GAAE,MAAsB,EAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,0BAA0B,EAAE,CA4N9B"}