soloforge 1.3.1 → 1.3.3

package/dist/engine/decision_workshop.js

@@ -0,0 +1,279 @@
+/**
+ * 通用决策研讨机制 — 覆盖所有高影响/不确定任务的决策前置确认。
+ *
+ * 问题六十一要求:
+ * - DecisionPackRegistry 支持独立、可组合的决策包
+ * - business_process 和 delivery_validation 可独立触发
+ * - 同一任务可组合多个 pack
+ * - 架构决策六域作为 builtin 子包
+ */
+import { evaluateArchitectureDecisionWorkshop, } from "./architecture_decision_workshop.js";
+// ── 决策包定义 ──
+export const DECISION_PACKS = {
+    architecture: {
+        pack_id: "architecture",
+        domains: [], // 架构使用子包六域
+        trigger_patterns: [
+            /架构设计|总体架构|技术架构|系统设计|architecture\s+design/i,
+        ],
+        trigger_intent: ["architecture_design"],
+        reason: "架构设计任务需要六域决策研讨",
+    },
+    technology_selection: {
+        pack_id: "technology_selection",
+        domains: ["technology_selection"],
+        trigger_patterns: [
+            /技术选型|技术栈选择|技术方案|technology\s+selection|技术决策/i,
+        ],
+        trigger_intent: [],
+        reason: "技术选型需要决策研讨与用户确认",
+    },
+    data_migration: {
+        pack_id: "data_migration",
+        domains: ["data_migration"],
+        trigger_patterns: [
+            /数据迁移|数据库迁移|data\s+migration|schema\s+migration/i,
+        ],
+        trigger_intent: [],
+        reason: "数据迁移需要决策研讨",
+    },
+    security_policy: {
+        pack_id: "security_policy",
+        domains: ["security_policy"],
+        trigger_patterns: [
+            /安全策略|认证授权|权限模型|security\s+policy|auth.*strategy/i,
+        ],
+        trigger_intent: [],
+        reason: "安全策略变更需要决策研讨",
+    },
+    deployment_infrastructure: {
+        pack_id: "deployment_infrastructure",
+        domains: ["deployment_infrastructure"],
+        trigger_patterns: [
+            /部署方案|基础设施|容器化|CI\/CD|deployment|infrastructure/i,
+        ],
+        trigger_intent: [],
+        reason: "部署基础设施变更需要决策研讨",
+    },
+    product_scope: {
+        pack_id: "product_scope",
+        domains: ["product_scope"],
+        trigger_patterns: [
+            /产品范围|需求边界|功能范围|product\s+scope/i,
+        ],
+        trigger_intent: [],
+        reason: "产品范围变更需要决策研讨",
+    },
+    business_process: {
+        pack_id: "business_process",
+        domains: ["business_process"],
+        trigger_patterns: [
+            /业务流程|流程变更|业务规则|business\s+process|流程重构/i,
+        ],
+        trigger_intent: [],
+        reason: "业务流程变更需要决策研讨",
+    },
+    delivery_validation: {
+        pack_id: "delivery_validation",
+        domains: ["delivery_validation"],
+        trigger_patterns: [
+            /交付验证|验收标准|发布策略|delivery\s+validation|release\s+strategy/i,
+        ],
+        trigger_intent: [],
+        reason: "交付验证策略需要决策研讨",
+    },
+    refactor_migration: {
+        pack_id: "refactor_migration",
+        domains: ["refactor_migration"],
+        trigger_patterns: [
+            /重构|迁移方案|refactor|rewrite|migration\s+plan/i,
+        ],
+        trigger_intent: [],
+        reason: "重构/迁移需要决策研讨",
+    },
+    third_party_integration: {
+        pack_id: "third_party_integration",
+        domains: ["third_party_integration", "security_policy"],
+        trigger_patterns: [
+            /第三方集成|外部服务|SDK.*集成|third.?party.*integration/i,
+        ],
+        trigger_intent: [],
+        reason: "第三方集成需要决策研讨",
+    },
+};
+export const EXTENDED_DECISION_DOMAINS = [
+    "technology_selection",
+    "data_migration",
+    "security_policy",
+    "deployment_infrastructure",
+    "product_scope",
+    "business_process",
+    "delivery_validation",
+    "refactor_migration",
+    "third_party_integration",
+];
+// ── 触发条件 — 返回所有匹配的决策包（可组合） ──
+export function matchDecisionPacks(params) {
+    const { workflow_intent, intent } = params;
+    const intentStr = `${workflow_intent ?? ""} ${intent ?? ""}`;
+    const matchedPacks = [];
+    const reasons = [];
+    for (const [packId, pack] of Object.entries(DECISION_PACKS)) {
+        const intentMatch = pack.trigger_patterns.some((p) => p.test(intentStr));
+        const workflowMatch = pack.trigger_intent.some((wi) => wi === workflow_intent);
+        if (intentMatch || workflowMatch) {
+            matchedPacks.push(packId);
+            reasons.push(pack.reason);
+        }
+    }
+    return { packs: matchedPacks, reasons };
+}
+/**
+ * 旧接口兼容 — 返回第一个匹配的包类型。
+ * 新代码应使用 matchDecisionPacks 获取所有匹配包。
+ */
+export function requiresDecisionWorkshop(params) {
+    const { packs, reasons } = matchDecisionPacks(params);
+    if (packs.length === 0) {
+        return { required: false, workshop_type: "architecture", reason: "" };
+    }
+    // 将第一个匹配的 pack 映射为旧 workshop_type
+    const packIdToType = {
+        architecture: "architecture",
+        technology_selection: "technology_selection",
+        data_migration: "data_migration",
+        security_policy: "security_policy",
+        deployment_infrastructure: "deployment",
+        product_scope: "product_scope",
+        business_process: "multi_domain",
+        delivery_validation: "multi_domain",
+        refactor_migration: "refactor",
+        third_party_integration: "third_party_integration",
+    };
+    const firstPack = packs[0];
+    return {
+        required: true,
+        workshop_type: packIdToType[firstPack] ?? "multi_domain",
+        reason: reasons.join("；"),
+    };
+}
+// ── 创建研讨合同（支持组合包） ──
+export function createDecisionWorkshop(taskId, activatedPacks, projectContext = "new_system", triggerReason = "") {
+    const packs = Array.isArray(activatedPacks) ? activatedPacks : [activatedPacks];
+    const extendedDomains = {};
+    // 合并所有激活包的域
+    for (const packId of packs) {
+        const pack = DECISION_PACKS[packId];
+        if (!pack)
+            continue;
+        for (const domain of pack.domains) {
+            if (!extendedDomains[domain]) {
+                extendedDomains[domain] = {
+                    decision_id: `${taskId}-${domain}`,
+                    domain: domain,
+                    status: "not_started",
+                    required: true,
+                    facts_and_constraints: [],
+                    evidence_refs: [],
+                    options: [],
+                };
+            }
+        }
+    }
+    return {
+        task_id: taskId,
+        activated_packs: packs,
+        status: "draft",
+        project_context: projectContext,
+        extended_domains: extendedDomains,
+        trigger_reason: triggerReason,
+        prerequisite_evidence_refs: [],
+        generation_allowed: false,
+        blocking_findings: [],
+    };
+}
+// ── 收集所有必须域 ──
+function collectRequiredDomains(packs) {
+    const domains = new Set();
+    for (const packId of packs) {
+        const pack = DECISION_PACKS[packId];
+        if (!pack)
+            continue;
+        for (const d of pack.domains) {
+            domains.add(d);
+        }
+    }
+    return [...domains];
+}
+// ── 评估研讨门禁 ──
+export function evaluateDecisionWorkshop(contract) {
+    if (!contract) {
+        return {
+            allowed: false,
+            status: "blocked",
+            blocking_findings: ["缺少决策研讨记录"],
+            missing_domains: [],
+        };
+    }
+    const findings = [...contract.blocking_findings];
+    const missingDomains = [];
+    // 现有系统必须提供前置证据
+    if (contract.project_context === "existing_system" && contract.prerequisite_evidence_refs.length === 0) {
+        findings.push("现有系统缺少现状分析和差距分析证据");
+    }
+    // 架构子包检查
+    if (contract.activated_packs.includes("architecture")) {
+        const archResult = evaluateArchitectureDecisionWorkshop(contract.architecture_subpack);
+        if (!archResult.allowed) {
+            findings.push(...archResult.blocking_findings);
+            missingDomains.push(...archResult.missing_domains);
+        }
+    }
+    // 所有激活包的域检查
+    const requiredDomains = collectRequiredDomains(contract.activated_packs);
+    for (const domain of requiredDomains) {
+        const record = contract.extended_domains[domain];
+        if (!record) {
+            missingDomains.push(domain);
+            findings.push(`缺少决策域记录: ${domain}`);
+            continue;
+        }
+        if (!isTerminalStatus(record.status)) {
+            missingDomains.push(domain);
+            findings.push(`决策域 ${domain} 尚未确认 (${record.status})`);
+        }
+        if (record.status === "confirmed" && !record.user_confirmation_ref) {
+            missingDomains.push(domain);
+            findings.push(`决策域 ${domain} 标记 confirmed 但缺少用户确认引用`);
+        }
+        if (record.status === "not_applicable_with_reason" && !record.not_applicable_reason) {
+            missingDomains.push(domain);
+            findings.push(`决策域 ${domain} 标记不适用但缺少理由`);
+        }
+    }
+    return {
+        allowed: findings.length === 0,
+        status: findings.length === 0 ? "confirmed" : "awaiting_confirmation",
+        blocking_findings: findings,
+        missing_domains: [...new Set(missingDomains)],
+        next_domain: missingDomains[0],
+    };
+}
+function isTerminalStatus(status) {
+    return status === "confirmed" ||
+        status === "not_applicable_with_reason" ||
+        status === "deferred_with_impact";
+}
+// ── 应用门禁结果 ──
+export function applyDecisionWorkshopGate(contract) {
+    if (!contract)
+        return undefined;
+    const gate = evaluateDecisionWorkshop(contract);
+    return {
+        ...contract,
+        status: gate.status,
+        generation_allowed: gate.allowed,
+        blocking_findings: gate.blocking_findings,
+    };
+}
+//# sourceMappingURL=decision_workshop.js.map

package/dist/engine/decision_workshop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision_workshop.js","sourceRoot":"","sources":["../../src/engine/decision_workshop.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAEL,oCAAoC,GAKrC,MAAM,qCAAqC,CAAC;AAE7C,cAAc;AAEd,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,YAAY,EAAE;QACZ,OAAO,EAAE,cAAc;QACvB,OAAO,EAAE,EAAc,EAAE,WAAW;QACpC,gBAAgB,EAAE;YAChB,4CAA4C;SAC7C;QACD,cAAc,EAAE,CAAC,qBAAqB,CAAC;QACvC,MAAM,EAAE,gBAAgB;KACzB;IACD,oBAAoB,EAAE;QACpB,OAAO,EAAE,sBAAsB;QAC/B,OAAO,EAAE,CAAC,sBAAsB,CAAC;QACjC,gBAAgB,EAAE;YAChB,8CAA8C;SAC/C;QACD,cAAc,EAAE,EAAE;QAClB,MAAM,EAAE,iBAAiB;KAC1B;IACD,cAAc,EAAE;QACd,OAAO,EAAE,gBAAgB;QACzB,OAAO,EAAE,CAAC,gBAAgB,CAAC;QAC3B,gBAAgB,EAAE;YAChB,iDAAiD;SAClD;QACD,cAAc,EAAE,EAAE;QAClB,MAAM,EAAE,YAAY;KACrB;IACD,eAAe,EAAE;QACf,OAAO,EAAE,iBAAiB;QAC1B,OAAO,EAAE,CAAC,iBAAiB,CAAC;QAC5B,gBAAgB,EAAE;YAChB,kDAAkD;SACnD;QACD,cAAc,EAAE,EAAE;QAClB,MAAM,EAAE,cAAc;KACvB;IACD,yBAAyB,EAAE;QACzB,OAAO,EAAE,2BAA2B;QACpC,OAAO,EAAE,CAAC,2BAA2B,CAAC;QACtC,gBAAgB,EAAE;YAChB,iDAAiD;SAClD;QACD,cAAc,EAAE,EAAE;QAClB,MAAM,EAAE,gBAAgB;KACzB;IACD,aAAa,EAAE;QACb,OAAO,EAAE,eAAe;QACxB,OAAO,EAAE,CAAC,eAAe,CAAC;QAC1B,gBAAgB,EAAE;YAChB,iCAAiC;SAClC;QACD,cAAc,EAAE,EAAE;QAClB,MAAM,EAAE,cAAc;KACvB;IACD,gBAAgB,EAAE;QAChB,OAAO,EAAE,kBAAkB;QAC3B,OAAO,EAAE,CAAC,kBAAkB,CAAC;QAC7B,gBAAgB,EAAE;YAChB,yCAAyC;SAC1C;QACD,cAAc,EAAE,EAAE;QAClB,MAAM,EAAE,cAAc;KACvB;IACD,mBAAmB,EAAE;QACnB,OAAO,EAAE,qBAAqB;QAC9B,OAAO,EAAE,CAAC,qBAAqB,CAAC;QAChC,gBAAgB,EAAE;YAChB,0DAA0D;SAC3D;QACD,cAAc,EAAE,EAAE;QAClB,MAAM,EAAE,cAAc;KACvB;IACD,kBAAkB,EAAE;QAClB,OAAO,EAAE,oBAAoB;QAC7B,OAAO,EAAE,CAAC,oBAAoB,CAAC;QAC/B,gBAAgB,EAAE;YAChB,4CAA4C;SAC7C;QACD,cAAc,EAAE,EAAE;QAClB,MAAM,EAAE,aAAa;KACtB;IACD,uBAAuB,EAAE;QACvB,OAAO,EAAE,yBAAyB;QAClC,OAAO,EAAE,CAAC,yBAAyB,EAAE,iBAAiB,CAAC;QACvD,gBAAgB,EAAE;YAChB,+CAA+C;SAChD;QACD,cAAc,EAAE,EAAE;QAClB,MAAM,EAAE,aAAa;KACtB;CACO,CAAC;AAIX,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACvC,sBAAsB;IACtB,gBAAgB;IAChB,iBAAiB;IACjB,2BAA2B;IAC3B,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,oBAAoB;IACpB,yBAAyB;CACjB,CAAC;AA8DX,+BAA+B;AAE/B,MAAM,UAAU,kBAAkB,CAAC,MAKlC;IACC,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAC3C,MAAM,SAAS,GAAG,GAAG,eAAe,IAAI,EAAE,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;IAE7D,MAAM,YAAY,GAAqB,EAAE,CAAC;IAC1C,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QAC5D,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QACzE,MAAM,aAAa,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,eAAe,CAAC,CAAC;QAC/E,IAAI,WAAW,IAAI,aAAa,EAAE,CAAC;YACjC,YAAY,CAAC,IAAI,CAAC,MAAwB,CAAC,CAAC;YAC5C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAKxC;IACC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACxE,CAAC;IACD,kCAAkC;IAClC,MAAM,YAAY,GAAyC;QACzD,YAAY,EAAE,cAAc;QAC5B,oBAAoB,EAAE,sBAAsB;QAC5C,cAAc,EAAE,gBAAgB;QAChC,eAAe,EAAE,iBAAiB;QAClC,yBAAyB,EAAE,YAAY;QACvC,aAAa,EAAE,eAAe;QAC9B,gBAAgB,EAAE,cAAc;QAChC,mBAAmB,EAAE,cAAc;QACnC,kBAAkB,EAAE,UAAU;QAC9B,uBAAuB,EAAE,yBAAyB;KACnD,CAAC;IACF,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,OAAO;QACL,QAAQ,EAAE,IAAI;QACd,aAAa,EAAE,YAAY,CAAC,SAAS,CAAC,IAAI,cAAc;QACxD,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;KAC1B,CAAC;AACJ,CAAC;AAED,sBAAsB;AAEtB,MAAM,UAAU,sBAAsB,CACpC,MAAc,EACd,cAAiD,EACjD,iBAA6C,YAAY,EACzD,gBAAwB,EAAE;IAE1B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAChF,MAAM,eAAe,GAA4D,EAAE,CAAC;IAEpF,YAAY;IACZ,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,CAAC,eAAe,CAAC,MAAgC,CAAC,EAAE,CAAC;gBACvD,eAAe,CAAC,MAAgC,CAAC,GAAG;oBAClD,WAAW,EAAE,GAAG,MAAM,IAAI,MAAM,EAAE;oBAClC,MAAM,EAAE,MAAwB;oBAChC,MAAM,EAAE,aAAa;oBACrB,QAAQ,EAAE,IAAI;oBACd,qBAAqB,EAAE,EAAE;oBACzB,aAAa,EAAE,EAAE;oBACjB,OAAO,EAAE,EAAE;iBACZ,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,MAAM;QACf,eAAe,EAAE,KAAK;QACtB,MAAM,EAAE,OAAO;QACf,eAAe,EAAE,cAAc;QAC/B,gBAAgB,EAAE,eAAe;QACjC,cAAc,EAAE,aAAa;QAC7B,0BAA0B,EAAE,EAAE;QAC9B,kBAAkB,EAAE,KAAK;QACzB,iBAAiB,EAAE,EAAE;KACtB,CAAC;AACJ,CAAC;AAED,gBAAgB;AAEhB,SAAS,sBAAsB,CAAC,KAAuB;IACrD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA0B,CAAC;IAClD,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,OAAO,CAAC,GAAG,CAAC,CAA2B,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC;AACtB,CAAC;AAED,eAAe;AAEf,MAAM,UAAU,wBAAwB,CACtC,QAA8C;IAE9C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,SAAS;YACjB,iBAAiB,EAAE,CAAC,UAAU,CAAC;YAC/B,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAa,CAAC,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IAC3D,MAAM,cAAc,GAAa,EAAE,CAAC;IAEpC,eAAe;IACf,IAAI,QAAQ,CAAC,eAAe,KAAK,iBAAiB,IAAI,QAAQ,CAAC,0BAA0B,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvG,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACrC,CAAC;IAED,SAAS;IACT,IAAI,QAAQ,CAAC,eAAe,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACtD,MAAM,UAAU,GAAG,oCAAoC,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;QACvF,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,iBAAiB,CAAC,CAAC;YAC/C,cAAc,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,eAAe,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,YAAY;IACZ,MAAM,eAAe,GAAG,sBAAsB,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;IACzE,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACjD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,YAAY,MAAM,EAAE,CAAC,CAAC;YACpC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,MAAM,UAAU,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,CAAC;YACnE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,MAAM,yBAAyB,CAAC,CAAC;QACxD,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,KAAK,4BAA4B,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,CAAC;YACpF,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,OAAO,MAAM,aAAa,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,OAAO;QACL,OAAO,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC9B,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,uBAAuB;QACrE,iBAAiB,EAAE,QAAQ;QAC3B,eAAe,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;QAC7C,WAAW,EAAE,cAAc,CAAC,CAAC,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAkC;IAC1D,OAAO,MAAM,KAAK,WAAW;QACtB,MAAM,KAAK,4BAA4B;QACvC,MAAM,KAAK,sBAAsB,CAAC;AAC3C,CAAC;AAED,eAAe;AAEf,MAAM,UAAU,yBAAyB,CACvC,QAA8C;IAE9C,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChC,MAAM,IAAI,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAChD,OAAO;QACL,GAAG,QAAQ;QACX,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,kBAAkB,EAAE,IAAI,CAAC,OAAO;QAChC,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;KAC1C,CAAC;AACJ,CAAC"}

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;AAmnDrB,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAOpD,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"}
+{"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;AAk5DrB,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAOpD,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,CA8O9B"}

package/dist/engine/dual_layer_mechanism_registry.js

@@ -986,7 +986,47 @@ const MECHANISM_CONTRACTS = [
         },
         status: "dual_layer_enforced",
     },
-    // ── Batch6: 架构决策研讨与确认门 ──
+    // ── 发布问题: 通用决策研讨机制（问题六十一） ──
+    // 架构决策研讨作为内置子包保留，mc-architecture-decision-workshop 不代表整个问题六十一
+    {
+        mechanism_id: "mc-decision-workshop",
+        mechanism_name: "通用决策研讨机制",
+        owner_issue_id: "问题六十一",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/通用决策研讨规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+            ],
+            injected_routes: ["multi_stage_plan", "single_artifact"],
+            injected_workflows: ["architecture_design", "technology_selection", "data_migration", "security_policy", "deployment", "refactor"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/decision_workshop.ts", "src/adapters/claude_code/tools.ts"],
+            registries: ["mechanism_contract_registry"],
+            entrypoints: ["requiresDecisionWorkshop", "createDecisionWorkshop", "evaluateDecisionWorkshop", "applyDecisionWorkshopGate"],
+            state_effects: ["decision_workshop → allow/block execution"],
+            hard_fail_conditions: ["必须域未确认", "现有系统证据缺失", "用户确认引用缺失"],
+            degradation_behavior: "返回待讨论域和待确认清单",
+        },
+        evidence_layer: {
+            outputs: ["DecisionWorkshopContract", "DecisionWorkshopGateResult"],
+            reports: ["DecisionRecord"],
+            diagnostic_codes: ["SF-DECISION-WORKSHOP-REQUIRED"],
+            task_context_facts: ["decision_workshop"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/decision_workshop.test.ts"],
+            runtime_checks: ["all_required_domains_confirmed"],
+            regression_cases: ["tech_selection_blocks_without_confirmation", "low_risk_skips_workshop"],
+            drift_checks: ["workshop_matches_task_intent"],
+        },
+        status: "dual_layer_enforced",
+    },
+    // ── 发布问题: 架构决策研讨与确认门（问题六十一内置子包） ──
     {
         mechanism_id: "mc-architecture-decision-workshop",
         mechanism_name: "架构决策研讨与确认门",
@@ -1026,7 +1066,47 @@ const MECHANISM_CONTRACTS = [
         },
         status: "dual_layer_enforced",
     },
-    // ── Batch6: 设计产物包与存量复验门 ──
+    // ── 发布问题: 标准资产覆盖机制（问题六十二） ──
+    // mc-design-artifact-pack 仅作为首批 P0 子机制保留
+    {
+        mechanism_id: "mc-standard-asset-coverage",
+        mechanism_name: "标准资产覆盖审计",
+        owner_issue_id: "问题六十二",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/标准资产覆盖规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+            ],
+            injected_routes: ["validate", "multi_stage_plan"],
+            injected_workflows: ["all"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/standard_asset_coverage.ts"],
+            registries: ["mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["auditStandardAssetCoverage"],
+            state_effects: ["coverage_report → 覆盖完整性"],
+            hard_fail_conditions: ["P0 资产缺少标准承载路径", "P0 资产未注册", "P0 资产缺少 owner"],
+            degradation_behavior: "覆盖缺口时阻断发布",
+        },
+        evidence_layer: {
+            outputs: ["StandardAssetCoverageReport", "StandardAssetCoverageEntry"],
+            reports: [],
+            diagnostic_codes: ["SF-COVERAGE-0001"],
+            task_context_facts: ["standard_asset_coverage"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/standard_asset_coverage.test.ts"],
+            runtime_checks: ["all_p0_types_covered"],
+            regression_cases: ["missing_bearer_blocks", "unregistered_asset_blocks"],
+            drift_checks: ["coverage_matches_registry"],
+        },
+        status: "dual_layer_enforced",
+    },
+    // ── 发布问题: 设计产物包与存量复验门（问题六十二子机制） ──
     {
         mechanism_id: "mc-design-artifact-pack",
         mechanism_name: "设计产物包与存量复验门",
@@ -1066,6 +1146,84 @@ const MECHANISM_CONTRACTS = [
         },
         status: "dual_layer_enforced",
     },
+    // ── 发布问题: 标准资产契约化 ──
+    {
+        mechanism_id: "mc-standard-asset-contract",
+        mechanism_name: "标准资产契约化",
+        owner_issue_id: "问题六十三",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/验收模板输出契约规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+            ],
+            injected_routes: ["multi_stage_plan", "single_artifact"],
+            injected_workflows: ["architecture_design"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/standard_asset_contract.ts"],
+            registries: ["mechanism_contract_registry"],
+            entrypoints: ["verifyStandardAssetContract"],
+            state_effects: ["template_verified → 允许下游消费"],
+            hard_fail_conditions: ["P0 模板缺契约字段", "验收失败未进入 repair_reverify"],
+            degradation_behavior: "验收失败时阻断编码与交付并请求修复",
+        },
+        evidence_layer: {
+            outputs: ["StandardAssetContract", "ContractVerificationResult"],
+            reports: [],
+            diagnostic_codes: ["SF-CONTRACT-0001", "SF-CONTRACT-0002", "SF-CONTRACT-0003"],
+            task_context_facts: ["template_verified"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/standard_asset_contract.test.ts"],
+            runtime_checks: ["contract_fields_complete"],
+            regression_cases: ["api_field_table_missing_blocks", "draft_not_used_for_implementation"],
+            drift_checks: ["contract_matches_template_content"],
+        },
+        status: "dual_layer_enforced",
+    },
+    // ── 发布问题: 模板资产可见性与注入边界 ──
+    {
+        mechanism_id: "mc-template-asset-visibility",
+        mechanism_name: "模板资产可见性与注入边界",
+        owner_issue_id: "问题六十四",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/模板资产可见性规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+            ],
+            injected_routes: ["init", "sync-templates", "validate", "multi_stage_plan"],
+            injected_workflows: ["all"],
+            target_hosts: ["claude_code", "codex", "trae"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/template_asset_visibility.ts"],
+            registries: ["mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["filterAssetsForUserProject", "checkAssetVisibilityGate"],
+            state_effects: ["internal 资产不同步到用户项目", "scaffold 不进入知识索引"],
+            hard_fail_conditions: ["内部资产泄漏到用户项目", "可见性冲突未解决"],
+            degradation_behavior: "冲突资产隔离并请求用户确认",
+        },
+        evidence_layer: {
+            outputs: ["AssetVisibilityReport", "VisibilityConflictResult"],
+            reports: [],
+            diagnostic_codes: ["SF-ASSET-0001", "SF-ASSET-0002", "SF-ASSET-0003"],
+            task_context_facts: ["asset_visibility"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/template_asset_visibility.test.ts"],
+            runtime_checks: ["all_assets_have_visibility_metadata"],
+            regression_cases: ["internal_not_synced", "scaffold_not_indexed", "fallback_respects_gate"],
+            drift_checks: ["visibility_field_matches_content"],
+        },
+        status: "dual_layer_enforced",
+    },
     // ── 20. 现有系统分析 ──
     {
         mechanism_id: "mc-existing-system-analysis",
@@ -1614,6 +1772,130 @@ const MECHANISM_CONTRACTS = [
         },
         status: "dual_layer_enforced",
     },
+    // ── 38. 全生命周期工作流导航契约 ──
+    {
+        mechanism_id: "mc-workflow-navigation-contract",
+        mechanism_name: "全生命周期工作流导航契约",
+        owner_issue_id: "问题六十五",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/工作流导航契约规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/procedures/全生命周期工作流导航.md", asset_kind: "knowledge_procedure", consumption_mode: "required" },
+            ],
+            injected_routes: ["*"],
+            injected_workflows: ["sf_navigation", "soloforge_next", "soloforge_stage"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/next_action_planner.ts", "src/engine/stale_current_task_detector.ts"],
+            registries: ["dual_layer_mechanism_registry", "mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["planNextAction", "detectStaleCurrentTask"],
+            state_effects: ["navigation_snapshot", "stale_task_resolution"],
+            hard_fail_conditions: ["设计审计失败仍编码", "配置未确认仍任务", "陈旧任务阻塞新任务", "repair directive 未清零仍交付"],
+            degradation_behavior: "降级为 advisory，不阻断",
+        },
+        evidence_layer: {
+            outputs: ["NextActionPlan", "ExecutableWorkPackage", "StaleCurrentTaskResult"],
+            reports: ["navigation_snapshot"],
+            diagnostic_codes: ["SF-NAV-6501", "SF-NAV-6502", "SF-NAV-6503", "SF-NAV-6504"],
+            task_context_facts: [],
+        },
+        verification_layer: {
+            tests: ["tests/engine/workflow_navigation_contract.test.ts", "tests/bin/cli_next_action.test.ts", "tests/adapters/workflow_navigation_mainpath.test.ts"],
+            runtime_checks: ["validate-release 工作流导航行为验证"],
+            regression_cases: ["未初始化 → sf_init", "陈旧任务 → resume/archive/start_new", "设计失败 → 禁止编码"],
+            drift_checks: ["adapter prompt 包含导航规则", "status/validate 消费同一模块"],
+        },
+        status: "dual_layer_enforced",
+    },
+    {
+        mechanism_id: "mc-ood-solid-contract",
+        mechanism_name: "OOD 与 SOLID 实现契约",
+        owner_issue_id: "问题六十六",
+        priority: "P1",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/OOD与SOLID设计规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/procedures/OOD设计工作流.md", asset_kind: "knowledge_procedure", consumption_mode: "required" },
+                { path: "templates/knowledge/review_rules/SOLID代码审查规则.md", asset_kind: "review_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/acceptance_templates/OOD设计摘要模版.md", asset_kind: "acceptance_template", consumption_mode: "supporting" },
+                { path: "templates/patterns/SOLID设计规范.md", asset_kind: "pattern", consumption_mode: "supporting" },
+            ],
+            injected_routes: ["code_change", "artifact_generation", "multi_stage_plan"],
+            injected_workflows: ["sf_expand", "sf_review", "sf_verify", "sf_deliver"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/ood_solid_contract.ts", "src/adapters/claude_code/tools.ts"],
+            registries: ["dual_layer_mechanism_registry", "mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["evaluateOodDesignGate", "reviewSolidCode", "hasBlockingSolidFindings"],
+            state_effects: ["ood_solid_summary", "ood_solid_findings"],
+            hard_fail_conditions: ["复杂编码无设计摘要", "SRP/LSP/ISP/DIP 硬失败仍交付"],
+            degradation_behavior: "简单任务不触发；低风险过度设计只警告",
+        },
+        evidence_layer: {
+            outputs: ["OodDesignSummary", "SolidReviewFinding"],
+            reports: ["ood_solid_findings"],
+            diagnostic_codes: ["SF-OOD-6601", "SF-OOD-6602"],
+            task_context_facts: ["ood_solid_summary", "ood_solid_findings"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/ood_solid_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
+            runtime_checks: ["validate-release OOD/SOLID 行为验证"],
+            regression_cases: ["复杂服务无摘要 → blocked", "Controller 业务逻辑 → blocked", "低风险修改 → not_applicable"],
+            drift_checks: ["模板资产与工具消费一致"],
+        },
+        status: "dual_layer_enforced",
+    },
+    {
+        mechanism_id: "mc-backend-implementation-contract",
+        mechanism_name: "后端实现工程契约",
+        owner_issue_id: "问题六十七",
+        priority: "P1",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/后端实现工程契约规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/procedures/后端接口实现工作流.md", asset_kind: "knowledge_procedure", consumption_mode: "required" },
+                { path: "templates/knowledge/review_rules/后端实现工程审查规则.md", asset_kind: "review_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/acceptance_templates/后端实现验收清单.md", asset_kind: "acceptance_template", consumption_mode: "supporting" },
+                { path: "templates/patterns/后端实现工程规范.md", asset_kind: "pattern", consumption_mode: "supporting" },
+            ],
+            injected_routes: ["code_change", "artifact_generation", "multi_stage_plan"],
+            injected_workflows: ["sf_expand", "sf_review", "sf_verify", "sf_deliver"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/backend_implementation_contract.ts", "src/adapters/claude_code/tools.ts"],
+            registries: ["dual_layer_mechanism_registry", "mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["evaluateBackendImplementationGate", "reviewBackendImplementationFiles", "hasBlockingBackendFindings"],
+            state_effects: ["backend_implementation_work_package", "backend_implementation_findings"],
+            hard_fail_conditions: ["后端编码无工程工作包", "实体暴露/无校验/事务外调/无幂等/无安全审计仍交付"],
+            degradation_behavior: "非后端或低风险文本任务不触发",
+        },
+        evidence_layer: {
+            outputs: ["BackendImplementationWorkPackage", "BackendImplementationFinding"],
+            reports: ["backend_implementation_findings"],
+            diagnostic_codes: ["SF-BACKEND-6701", "SF-BACKEND-6702"],
+            task_context_facts: ["backend_implementation_work_package", "backend_implementation_findings"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/backend_implementation_contract.test.ts", "tests/adapters/implementation_contract_mainpath.test.ts"],
+            runtime_checks: ["validate-release 后端工程契约行为验证"],
+            regression_cases: ["API 实现无工作包 → blocked", "写接口无 DTO 校验 → blocked", "事务内外部调用 → blocked"],
+            drift_checks: ["模板资产与工具消费一致"],
+        },
+        status: "dual_layer_enforced",
+    },
 ];
 // ── 已废弃机制 ID 别名映射 ──
 // 旧 ID → 正式 ID。旧 ID 在 MC 中标记为 deprecated，模板/知识资产必须指向正式 ID。
@@ -1725,6 +2007,22 @@ export function validateMechanismLayerMaps(maps = MECHANISM_CONTRACTS.map(contra
     const knownMechanismIds = new Set(listMechanismContracts().map((c) => c.id));
     const knownCapabilityIds = new Set(getAllCapabilities().map((c) => c.id));
     for (const m of maps) {
+        // P0/P1 实验性机制必须被标记为未达 dual_layer_enforced
+        if (m.status === "experimental_dual_layer" && (m.priority === "P0" || m.priority === "P1")) {
+            findings.push({
+                severity: "hard_fail",
+                mechanism_id: m.mechanism_id,
+                finding_type: "p0_not_dual_layer",
+                message: `P0/P1 机制 ${m.mechanism_id} 必须为 dual_layer_enforced，当前: ${m.status}`,
+            });
+            seenIds.add(m.mechanism_id);
+            continue;
+        }
+        // 非 P0/P1 实验性机制跳过深度验证
+        if (m.status === "experimental_dual_layer") {
+            seenIds.add(m.mechanism_id);
+            continue;
+        }
         // 重复 ID
         if (seenIds.has(m.mechanism_id)) {
             findings.push({