soloforge 1.1.2 → 1.1.30

package/dist/engine/contracts/dual_layer_mechanism_registry/validation.js

@@ -0,0 +1,353 @@
+/**
+ * Dual-Layer Mechanism Registry — aliases, query functions, completeness check, governance validation.
+ *
+ * 每个机制都必须有"模板层 + 机制层"双层承载:
+ * - 模板层: 告诉 AI 应该怎么做
+ * - 机制层: 验证 AI 是否真的做到
+ *
+ * 模板层降低走偏概率；机制层负责发现、阻断、记录证据并驱动回到修复。
+ *
+ * 完成定义:
+ * Mechanism Done = template_declared + template_consumable
+ *                + code_enforced + evidence_recorded + regression_guarded
+ */
+import fs from "node:fs";
+import path from "node:path";
+import { listBuiltinConsumableAssets } from "../../templates/consumable_asset_registry/index.js";
+import { listMechanismContracts } from "../mechanism_contract_registry/index.js";
+import { listWorkflowContracts } from "../../workflow/workflow_contract_registry.js";
+import { getAllCapabilities } from "../capability_registry.js";
+import { contractToLayerMap, KNOWN_REGISTRIES, INFRASTRUCTURE_EXCEPTIONS } from "./shared.js";
+import { MECHANISM_CONTRACTS_CORE } from "./mechanisms_core.js";
+import { MECHANISM_CONTRACTS_INFRA } from "./mechanisms_infra.js";
+import { MECHANISM_CONTRACTS_EXTENSION } from "./mechanisms_extension.js";
+import { MECHANISM_CONTRACTS_RELEASE } from "./mechanisms_release.js";
+import { MECHANISM_CONTRACTS_PLATFORM } from "./mechanisms_platform.js";
+import { MECHANISM_CONTRACTS_GOVERNANCE } from "./mechanisms_governance.js";
+import { MECHANISM_CONTRACTS_AUDIT } from "./mechanisms_audit.js";
+import { MECHANISM_CONTRACTS_AUDIT_TAIL } from "./mechanisms_audit_tail.js";
+// ── Merged mechanism contracts array ──
+const MECHANISM_CONTRACTS = [
+    ...MECHANISM_CONTRACTS_CORE,
+    ...MECHANISM_CONTRACTS_INFRA,
+    ...MECHANISM_CONTRACTS_EXTENSION,
+    ...MECHANISM_CONTRACTS_RELEASE,
+    ...MECHANISM_CONTRACTS_PLATFORM,
+    ...MECHANISM_CONTRACTS_GOVERNANCE,
+    ...MECHANISM_CONTRACTS_AUDIT,
+    ...MECHANISM_CONTRACTS_AUDIT_TAIL,
+];
+// ── 已废弃机制 ID 别名映射 ──
+// 旧 ID → 正式 ID。旧 ID 在 MC 中标记为 deprecated，模板/知识资产必须指向正式 ID。
+export const MECHANISM_ALIASES = {
+    "mc-classifier": "mc-intent-router",
+    "mc-knowledge-matching": "mc-knowledge-injection-boundary",
+    "mc-workspace-resumer": "mc-task-context-lifecycle",
+    "mc-delivery": "mc-delivery-gate",
+    "mc-metric-contract": "mc-metric-governance",
+    "evidence-grounding": "mc-evidence-grounding",
+    "门禁引擎": "mc-stage-gate-engine",
+    "回退路由": "mc-rollback-router",
+    "切片执行器": "mc-slice-executor",
+};
+/** 将机制 ID 解析为正式 ID（处理别名） */
+export function resolveMechanismId(id) {
+    return MECHANISM_ALIASES[id] ?? id;
+}
+/** 获取所有正式机制 ID 集合 */
+export function getAllCanonicalMechanismIds() {
+    return new Set(MECHANISM_CONTRACTS.map((c) => c.mechanism_id));
+}
+// ── 查询函数 ──
+/**
+ * 列出所有机制的层级映射。
+ * @returns 机制层级映射列表
+ */
+export function listMechanismLayerMaps() {
+    return MECHANISM_CONTRACTS.map(contractToLayerMap);
+}
+/**
+ * 根据机制 ID 查找层级映射。
+ * @param id - 机制 ID
+ * @returns 机制层级映射，未找到时返回 undefined
+ */
+export function findLayerMapByMechanismId(id) {
+    return MECHANISM_CONTRACTS.map(contractToLayerMap).find((m) => m.mechanism_id === id);
+}
+/**
+ * 按优先级列出机制层级映射。
+ * @param priority - 优先级（P0/P1/P2/P3）
+ * @returns 指定优先级的机制层级映射列表
+ */
+export function listLayerMapsByPriority(priority) {
+    return MECHANISM_CONTRACTS.map(contractToLayerMap).filter((m) => m.priority === priority);
+}
+/**
+ * 按状态列出机制层级映射。
+ * @param status - 双层机制状态
+ * @returns 指定状态的机制层级映射列表
+ */
+export function listLayerMapsByStatus(status) {
+    return MECHANISM_CONTRACTS.map(contractToLayerMap).filter((m) => m.status === status);
+}
+/**
+ * 检查机制的双层完整性。
+ * 验证模板层、代码层、证据、测试和注册表是否齐全。
+ * @param map - 机制层级映射
+ * @returns 双层完整性检查结果
+ */
+export function checkDualLayerCompleteness(map) {
+    const missing = [];
+    const has_template_layer = map.template_assets.length > 0;
+    const has_code_layer = map.code_enforcers.length > 0;
+    const has_evidence = map.evidence_outputs.length > 0;
+    const has_tests = map.tests.length > 0;
+    const has_registries = map.registries.length > 0;
+    if (!has_template_layer)
+        missing.push("template_layer");
+    if (!has_code_layer)
+        missing.push("code_layer");
+    if (!has_evidence)
+        missing.push("evidence");
+    if (!has_tests)
+        missing.push("tests");
+    if (!has_registries)
+        missing.push("registries");
+    if (missing.length > 0) {
+        // 完整性缺失仅通过返回值传达，不输出噪音日志
+    }
+    return {
+        mechanism_id: map.mechanism_id,
+        has_template_layer,
+        has_code_layer,
+        has_evidence,
+        has_tests,
+        has_registries,
+        is_complete: missing.length === 0,
+        missing,
+    };
+}
+// ── 治理验证 ──
+/**
+ * 验证机制层级映射的合规性。
+ * 检查 ID 唯一性、模板/代码缺口、文件存在性、入口点等。
+ * @param maps - 机制层级映射列表（默认使用所有契约）
+ * @param rootDir - 项目根目录（默认当前目录）
+ * @returns 治理发现列表
+ */
+export function validateMechanismLayerMaps(maps = MECHANISM_CONTRACTS.map(contractToLayerMap), rootDir = process.cwd(), _options) {
+    const findings = [];
+    const seenIds = new Set();
+    // 预加载消费资产路径用于交叉验证
+    const consumablePaths = new Set(listBuiltinConsumableAssets().map((a) => a.path));
+    // 预加载已知机制 ID 用于孤立执行器检查
+    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({
+                severity: "hard_fail",
+                mechanism_id: m.mechanism_id,
+                finding_type: "drift_gap",
+                message: `Duplicate mechanism_id: ${m.mechanism_id}`,
+            });
+        }
+        seenIds.add(m.mechanism_id);
+        // 模板缺口: 有代码执行器但无模板资产
+        if (m.code_enforcers.length > 0 && m.template_assets.length === 0) {
+            findings.push({
+                severity: m.status === "code_only_enforced" ? "advisory" : "hard_fail",
+                mechanism_id: m.mechanism_id,
+                finding_type: "template_gap",
+                message: `机制 ${m.mechanism_id} 有代码执行器但无模板资产 (template_gap)`,
+            });
+        }
+        // 代码缺口: 有模板资产但无代码执行器
+        if (m.template_assets.length > 0 && m.code_enforcers.length === 0) {
+            findings.push({
+                severity: "hard_fail",
+                mechanism_id: m.mechanism_id,
+                finding_type: "code_gap",
+                message: `机制 ${m.mechanism_id} 有模板资产但无代码执行器 (code_gap)`,
+            });
+        }
+        // 证据缺口
+        if (m.code_enforcers.length > 0 && m.evidence_outputs.length === 0) {
+            findings.push({
+                severity: "advisory",
+                mechanism_id: m.mechanism_id,
+                finding_type: "evidence_gap",
+                message: `机制 ${m.mechanism_id} 有代码执行器但无证据输出`,
+            });
+        }
+        // 测试缺口: 未声明测试
+        if (m.code_enforcers.length > 0 && m.tests.length === 0) {
+            findings.push({
+                severity: "hard_fail",
+                mechanism_id: m.mechanism_id,
+                finding_type: "test_gap",
+                message: `机制 ${m.mechanism_id} 有代码执行器但无测试`,
+            });
+        }
+        // 模板资产: 检查文件是否存在 + 消费资产注册表交叉验证
+        for (const ta of m.template_assets) {
+            // P0/P1/dual_layer_enforced 的资产文件必须存在
+            if (!fs.existsSync(path.join(rootDir, ta.path))) {
+                const severity = (m.priority === "P0" || m.priority === "P1" || m.status === "dual_layer_enforced")
+                    ? "hard_fail" : "advisory";
+                findings.push({
+                    severity,
+                    mechanism_id: m.mechanism_id,
+                    finding_type: "asset_unconsumed",
+                    message: `模板资产文件不存在: ${ta.path}${severity === "hard_fail" ? " (P0/P1/dual_layer_enforced 必须)" : ""}`,
+                });
+            }
+            // 与消费资产注册表交叉验证
+            if (!consumablePaths.has(ta.path)) {
+                findings.push({
+                    severity: "hard_fail",
+                    mechanism_id: m.mechanism_id,
+                    finding_type: "asset_unconsumed",
+                    message: `模板资产 ${ta.path} 存在但未在 Consumable Asset Registry 中注册`,
+                });
+            }
+        }
+        // 检查代码执行器文件是否存在于磁盘
+        for (const ce of m.code_enforcers) {
+            if (!fs.existsSync(path.join(rootDir, ce))) {
+                findings.push({
+                    severity: "hard_fail",
+                    mechanism_id: m.mechanism_id,
+                    finding_type: "code_gap",
+                    message: `代码执行器文件不存在: ${ce}`,
+                });
+            }
+        }
+        // 检查测试文件是否存在于磁盘 — dual_layer_enforced 为 hard_fail
+        for (const t of m.tests) {
+            if (!fs.existsSync(path.join(rootDir, t))) {
+                const severity = m.status === "dual_layer_enforced" ? "hard_fail" : "advisory";
+                findings.push({
+                    severity,
+                    mechanism_id: m.mechanism_id,
+                    finding_type: "test_gap",
+                    message: `测试文件不存在: ${t}${severity === "hard_fail" ? " (dual_layer_enforced 必须)" : ""}`,
+                });
+            }
+        }
+        // 检查代码入口点是否存在于执行器文件中
+        if (m.code_entrypoints.length > 0 && m.code_enforcers.length > 0) {
+            for (const ep of m.code_entrypoints) {
+                let found = false;
+                for (const enforcer of m.code_enforcers) {
+                    const enforcerPath = path.join(rootDir, enforcer);
+                    if (fs.existsSync(enforcerPath)) {
+                        const content = fs.readFileSync(enforcerPath, "utf-8");
+                        if (content.includes(ep) && /export\s+(function|const|async\s+function|class)\s+/.test(content.split(ep)[0].slice(-50) + "export " + ep)) {
+                            found = true;
+                            break;
+                        }
+                        // 简单检查: 仅查找导出名称
+                        const exportPattern = new RegExp(`export\\s+(async\\s+)?(function|const|class|type|interface)\\s+${ep}\\b`);
+                        if (exportPattern.test(content)) {
+                            found = true;
+                            break;
+                        }
+                        // 更简单: 仅检查名称是否作为导出存在
+                        if (content.includes(ep)) {
+                            found = true;
+                            break;
+                        }
+                    }
+                }
+                if (!found) {
+                    findings.push({
+                        severity: "hard_fail",
+                        mechanism_id: m.mechanism_id,
+                        finding_type: "entrypoint_not_found",
+                        message: `代码入口点 ${ep} 在所有强制层文件中未找到`,
+                    });
+                }
+            }
+        }
+        // 注册表名称验证: 注册表必须是已知名称
+        for (const reg of m.registries) {
+            if (!KNOWN_REGISTRIES.has(reg)) {
+                findings.push({
+                    severity: "hard_fail",
+                    mechanism_id: m.mechanism_id,
+                    finding_type: "drift_gap",
+                    message: `registry "${reg}" 不是已知 registry，机制 ${m.mechanism_id} 声明了不存在的 registry`,
+                });
+            }
+        }
+        // 孤立执行器检查: 不可达的代码执行器文件
+        // 来自机制契约注册表、能力注册表或工作流注册表
+        const workflowMechanismIds = new Set(listWorkflowContracts().flatMap((w) => w.required_mechanisms));
+        for (const ce of m.code_enforcers) {
+            const ceNorm = ce.replace(/\\/g, "/");
+            const isKnown = knownMechanismIds.size > 0 && listMechanismContracts().some((mc) => mc.owner_module.replace(/\\/g, "/") === ceNorm
+                || (mc.owner_files ?? []).some((ownerFile) => ownerFile.replace(/\\/g, "/") === ceNorm));
+            const isCapKnown = knownCapabilityIds.size > 0 && getAllCapabilities().some((cap) => cap.code_files.some((cf) => cf.replace(/\\/g, "/") === ceNorm));
+            // 检查此机制是否被任何工作流的 required_mechanisms 引用
+            const isWorkflowKnown = workflowMechanismIds.has(m.mechanism_id);
+            // 如果执行器文件存在但未在任何注册表中找到，则为孤立
+            if (fs.existsSync(path.join(rootDir, ce)) && !isKnown && !isCapKnown && !isWorkflowKnown && !INFRASTRUCTURE_EXCEPTIONS.has(ceNorm)) {
+                const orphanSeverity = (m.priority === "P0" || m.priority === "P1" || m.status === "dual_layer_enforced")
+                    ? "hard_fail" : "advisory";
+                findings.push({
+                    severity: orphanSeverity,
+                    mechanism_id: m.mechanism_id,
+                    finding_type: "orphan_enforcer",
+                    message: `代码执行器 ${ce} 不在 Mechanism Contract Registry、Capability Registry 或 Workflow Registry 中${orphanSeverity === "hard_fail" ? " (P0/P1/dual_layer_enforced 必须)" : ""}`,
+                });
+            }
+        }
+        // P0/P1 必须为 dual_layer_enforced 或 code_only_enforced（审计补注册机制）
+        if ((m.priority === "P0" || m.priority === "P1") && m.status !== "dual_layer_enforced" && m.status !== "code_only_enforced") {
+            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}`,
+            });
+        }
+        // template_only_advisory 不能有代码执行器
+        if (m.status === "template_only_advisory" && m.code_enforcers.length > 0) {
+            findings.push({
+                severity: "hard_fail",
+                mechanism_id: m.mechanism_id,
+                finding_type: "template_mechanism_drift",
+                message: `机制 ${m.mechanism_id} 状态为 template_only_advisory 但存在代码执行器，状态与实际不一致`,
+            });
+        }
+        // code_only_enforced 必须产生 template_gap 发现
+        if (m.status === "code_only_enforced") {
+            findings.push({
+                severity: "advisory",
+                mechanism_id: m.mechanism_id,
+                finding_type: "template_gap",
+                message: `机制 ${m.mechanism_id} 为 code_only_enforced，必须补充模板层`,
+            });
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=validation.js.map

package/dist/engine/contracts/dual_layer_mechanism_registry/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../../src/engine/contracts/dual_layer_mechanism_registry/validation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAO7B,OAAO,EAAE,2BAA2B,EAAE,MAAM,oDAAoD,CAAC;AACjG,OAAO,EAAE,sBAAsB,EAAE,MAAM,yCAAyC,CAAC;AACjF,OAAO,EAA6B,qBAAqB,EAAE,MAAM,8CAA8C,CAAC;AAChH,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,MAAM,aAAa,CAAC;AAC9F,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,6BAA6B,EAAE,MAAM,2BAA2B,CAAC;AAC1E,OAAO,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EAAE,4BAA4B,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAE5E,yCAAyC;AAEzC,MAAM,mBAAmB,GAAiC;IACxD,GAAG,wBAAwB;IAC3B,GAAG,yBAAyB;IAC5B,GAAG,6BAA6B;IAChC,GAAG,2BAA2B;IAC9B,GAAG,4BAA4B;IAC/B,GAAG,8BAA8B;IACjC,GAAG,yBAAyB;IAC5B,GAAG,8BAA8B;CAClC,CAAC;AAEF,sBAAsB;AACtB,2DAA2D;AAE3D,MAAM,CAAC,MAAM,iBAAiB,GAA2B;IACvD,eAAe,EAAE,kBAAkB;IACnC,uBAAuB,EAAE,iCAAiC;IAC1D,sBAAsB,EAAE,2BAA2B;IACnD,aAAa,EAAE,kBAAkB;IACjC,oBAAoB,EAAE,sBAAsB;IAC5C,oBAAoB,EAAE,uBAAuB;IAC7C,MAAM,EAAE,sBAAsB;IAC9B,MAAM,EAAE,oBAAoB;IAC5B,OAAO,EAAE,mBAAmB;CAC7B,CAAC;AAEF,4BAA4B;AAC5B,MAAM,UAAU,kBAAkB,CAAC,EAAU;IAC3C,OAAO,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,qBAAqB;AACrB,MAAM,UAAU,2BAA2B;IACzC,OAAO,IAAI,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,aAAa;AAEb;;;GAGG;AACH,MAAM,UAAU,sBAAsB;IACpC,OAAO,mBAAmB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;AACrD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,EAAU;IAClD,OAAO,mBAAmB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,EAAE,CAAC,CAAC;AACxF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAAmC;IACzE,OAAO,mBAAmB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAgC;IACpE,OAAO,mBAAmB,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AACxF,CAAC;AAeD;;;;;GAKG;AACH,MAAM,UAAU,0BAA0B,CAAC,GAAsB;IAC/D,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,MAAM,kBAAkB,GAAG,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1D,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;IACrD,MAAM,YAAY,GAAG,GAAG,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IACvC,MAAM,cAAc,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;IAEjD,IAAI,CAAC,kBAAkB;QAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACxD,IAAI,CAAC,cAAc;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChD,IAAI,CAAC,YAAY;QAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5C,IAAI,CAAC,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,cAAc;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAEhD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,wBAAwB;IAC1B,CAAC;IACD,OAAO;QACL,YAAY,EAAE,GAAG,CAAC,YAAY;QAC9B,kBAAkB;QAClB,cAAc;QACd,YAAY;QACZ,SAAS;QACT,cAAc;QACd,WAAW,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;QACjC,OAAO;KACR,CAAC;AACJ,CAAC;AAED,aAAa;AAEb;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAA4B,mBAAmB,CAAC,GAAG,CAAC,kBAAkB,CAAC,EACvE,UAAkB,OAAO,CAAC,GAAG,EAAE,EAC/B,QAAkC;IAElC,MAAM,QAAQ,GAAiC,EAAE,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,kBAAkB;IAClB,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,2BAA2B,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAElF,uBAAuB;IACvB,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,sBAAsB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7E,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,kBAAkB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE1E,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,0CAA0C;QAC1C,IAAI,CAAC,CAAC,MAAM,KAAK,yBAAyB,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC;YAC3F,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,YAAY,EAAE,mBAAmB;gBACjC,OAAO,EAAE,YAAY,CAAC,CAAC,YAAY,gCAAgC,CAAC,CAAC,MAAM,EAAE;aAC9E,CAAC,CAAC;YACH,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QAED,sBAAsB;QACtB,IAAI,CAAC,CAAC,MAAM,KAAK,yBAAyB,EAAE,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;YAC5B,SAAS;QACX,CAAC;QAED,QAAQ;QACR,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,YAAY,EAAE,WAAW;gBACzB,OAAO,EAAE,2BAA2B,CAAC,CAAC,YAAY,EAAE;aACrD,CAAC,CAAC;QACL,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QAE5B,qBAAqB;QACrB,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,CAAC,CAAC,MAAM,KAAK,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW;gBACtE,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,YAAY,EAAE,cAAc;gBAC5B,OAAO,EAAE,MAAM,CAAC,CAAC,YAAY,8BAA8B;aAC5D,CAAC,CAAC;QACL,CAAC;QAED,qBAAqB;QACrB,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,YAAY,EAAE,UAAU;gBACxB,OAAO,EAAE,MAAM,CAAC,CAAC,YAAY,0BAA0B;aACxD,CAAC,CAAC;QACL,CAAC;QAED,OAAO;QACP,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,UAAU;gBACpB,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,YAAY,EAAE,cAAc;gBAC5B,OAAO,EAAE,MAAM,CAAC,CAAC,YAAY,eAAe;aAC7C,CAAC,CAAC;QACL,CAAC;QAED,cAAc;QACd,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,YAAY,EAAE,UAAU;gBACxB,OAAO,EAAE,MAAM,CAAC,CAAC,YAAY,aAAa;aAC3C,CAAC,CAAC;QACL,CAAC;QAED,+BAA+B;QAC/B,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;YACnC,sCAAsC;YACtC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBAChD,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,qBAAqB,CAAC;oBACjG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ;oBACR,YAAY,EAAE,CAAC,CAAC,YAAY;oBAC5B,YAAY,EAAE,kBAAkB;oBAChC,OAAO,EAAE,cAAc,EAAE,CAAC,IAAI,GAAG,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,EAAE,EAAE;iBACrG,CAAC,CAAC;YACL,CAAC;YAED,eAAe;YACf,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,YAAY,EAAE,CAAC,CAAC,YAAY;oBAC5B,YAAY,EAAE,kBAAkB;oBAChC,OAAO,EAAE,QAAQ,EAAE,CAAC,IAAI,sCAAsC;iBAC/D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,mBAAmB;QACnB,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;YAClC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;gBAC3C,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,YAAY,EAAE,CAAC,CAAC,YAAY;oBAC5B,YAAY,EAAE,UAAU;oBACxB,OAAO,EAAE,eAAe,EAAE,EAAE;iBAC7B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,kDAAkD;QAClD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1C,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,KAAK,qBAAqB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC/E,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ;oBACR,YAAY,EAAE,CAAC,CAAC,YAAY;oBAC5B,YAAY,EAAE,UAAU;oBACxB,OAAO,EAAE,YAAY,CAAC,GAAG,QAAQ,KAAK,WAAW,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,EAAE,EAAE;iBACvF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,IAAI,CAAC,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjE,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,gBAAgB,EAAE,CAAC;gBACpC,IAAI,KAAK,GAAG,KAAK,CAAC;gBAClB,KAAK,MAAM,QAAQ,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;oBACxC,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;oBAClD,IAAI,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;wBAChC,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;wBACvD,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,qDAAqD,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC;4BACzI,KAAK,GAAG,IAAI,CAAC;4BACb,MAAM;wBACR,CAAC;wBACC,gBAAgB;wBAClB,MAAM,aAAa,GAAG,IAAI,MAAM,CAAC,kEAAkE,EAAE,KAAK,CAAC,CAAC;wBAC5G,IAAI,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;4BAChC,KAAK,GAAG,IAAI,CAAC;4BACb,MAAM;wBACR,CAAC;wBACC,qBAAqB;wBACvB,IAAI,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;4BACzB,KAAK,GAAG,IAAI,CAAC;4BACb,MAAM;wBACR,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,KAAK,EAAE,CAAC;oBACX,QAAQ,CAAC,IAAI,CAAC;wBACZ,QAAQ,EAAE,WAAW;wBACrB,YAAY,EAAE,CAAC,CAAC,YAAY;wBAC5B,YAAY,EAAE,sBAAsB;wBACpC,OAAO,EAAE,SAAS,EAAE,eAAe;qBACpC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC/B,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/B,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,YAAY,EAAE,CAAC,CAAC,YAAY;oBAC5B,YAAY,EAAE,WAAW;oBACzB,OAAO,EAAE,aAAa,GAAG,sBAAsB,CAAC,CAAC,YAAY,mBAAmB;iBACjF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,uBAAuB;QACvB,yBAAyB;QACzB,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,qBAAqB,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACpG,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,GAAG,CAAC,IAAI,sBAAsB,EAAE,CAAC,IAAI,CACzE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,MAAM;mBACjD,CAAC,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAiB,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,MAAM,CAAC,CAClG,CAAC;YACF,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,GAAG,CAAC,IAAI,kBAAkB,EAAE,CAAC,IAAI,CACzE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,MAAM,CAAC,CACxE,CAAC;YACF,wCAAwC;YACxC,MAAM,eAAe,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;YAEjE,4BAA4B;YAC5B,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,IAAI,CAAC,eAAe,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnI,MAAM,cAAc,GAAG,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,qBAAqB,CAAC;oBACvG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;gBAC7B,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,cAAc;oBACxB,YAAY,EAAE,CAAC,CAAC,YAAY;oBAC5B,YAAY,EAAE,iBAAiB;oBAC/B,OAAO,EAAE,SAAS,EAAE,4EAA4E,cAAc,KAAK,WAAW,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,EAAE,EAAE;iBAC1K,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,8DAA8D;QAC9D,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,qBAAqB,IAAI,CAAC,CAAC,MAAM,KAAK,oBAAoB,EAAE,CAAC;YAC5H,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,YAAY,EAAE,mBAAmB;gBACjC,OAAO,EAAE,YAAY,CAAC,CAAC,YAAY,gCAAgC,CAAC,CAAC,MAAM,EAAE;aAC9E,CAAC,CAAC;QACL,CAAC;QAED,kCAAkC;QAClC,IAAI,CAAC,CAAC,MAAM,KAAK,wBAAwB,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,YAAY,EAAE,0BAA0B;gBACxC,OAAO,EAAE,MAAM,CAAC,CAAC,YAAY,+CAA+C;aAC7E,CAAC,CAAC;QACL,CAAC;QAED,0CAA0C;QAC1C,IAAI,CAAC,CAAC,MAAM,KAAK,oBAAoB,EAAE,CAAC;YACtC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,UAAU;gBACpB,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,YAAY,EAAE,cAAc;gBAC5B,OAAO,EAAE,MAAM,CAAC,CAAC,YAAY,+BAA+B;aAC7D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

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

@@ -0,0 +1,9 @@
+/**
+ * Dual-Layer Mechanism Registry — thin re-export barrel.
+ *
+ * This file re-exports all public APIs from the split sub-modules,
+ * preserving backward compatibility with all existing import paths.
+ */
+export { MECHANISM_ALIASES, resolveMechanismId, getAllCanonicalMechanismIds, listMechanismLayerMaps, findLayerMapByMechanismId, listLayerMapsByPriority, listLayerMapsByStatus, checkDualLayerCompleteness, validateMechanismLayerMaps, } from "./dual_layer_mechanism_registry/index.js";
+export type { DualLayerCompleteness } from "./dual_layer_mechanism_registry/index.js";
+//# sourceMappingURL=dual_layer_mechanism_registry.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"dual_layer_mechanism_registry.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/dual_layer_mechanism_registry.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,2BAA2B,EAC3B,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,qBAAqB,EACrB,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,0CAA0C,CAAC;AAElD,YAAY,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC"}

package/dist/engine/contracts/dual_layer_mechanism_registry.js

@@ -0,0 +1,8 @@
+/**
+ * Dual-Layer Mechanism Registry — thin re-export barrel.
+ *
+ * This file re-exports all public APIs from the split sub-modules,
+ * preserving backward compatibility with all existing import paths.
+ */
+export { MECHANISM_ALIASES, resolveMechanismId, getAllCanonicalMechanismIds, listMechanismLayerMaps, findLayerMapByMechanismId, listLayerMapsByPriority, listLayerMapsByStatus, checkDualLayerCompleteness, validateMechanismLayerMaps, } from "./dual_layer_mechanism_registry/index.js";
+//# sourceMappingURL=dual_layer_mechanism_registry.js.map

package/dist/engine/contracts/dual_layer_mechanism_registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dual_layer_mechanism_registry.js","sourceRoot":"","sources":["../../../src/engine/contracts/dual_layer_mechanism_registry.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,iBAAiB,EACjB,kBAAkB,EAClB,2BAA2B,EAC3B,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,qBAAqB,EACrB,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,0CAA0C,CAAC"}

package/dist/engine/contracts/enforcement_guard.d.ts

@@ -0,0 +1,109 @@
+/**
+ * 强制护栏注册表 — 问题十一 (Enforcement Guard)。
+ *
+ * 覆盖七类护栏: write、state、knowledge_injection、execution、
+ * external_side_effect、prompt、delivery。
+ * 护栏 finding 必须绑定 contract_id + diagnostic_code。
+ * 只有 contract state=enforced 且 hard_fail_allowed=true 时才能 hard fail。
+ */
+import { type DiagnosticEvent } from "../audit/diagnostic_registry.js";
+export type GuardType = "write" | "state" | "knowledge_injection" | "execution" | "external_side_effect" | "prompt" | "delivery";
+export type GuardAction = "block" | "warn" | "require_human" | "downgrade";
+export interface EnforcementGuardEntry {
+    guard_id: string;
+    guard_type: GuardType;
+    enforced: boolean;
+    trigger_description: string;
+    block_condition: string;
+    allow_condition: string;
+    failure_behavior: GuardAction;
+    contract_id: string;
+    diagnostic_code: string;
+    human_gate?: string[];
+    required_context: string[];
+}
+export interface GuardFinding {
+    guard_id: string;
+    contract_id: string;
+    diagnostic_code: string;
+    severity: "hard_fail" | "warning" | "advisory";
+    action: GuardAction;
+    reason_zh: string;
+    blocked: boolean;
+    diagnostic_event: DiagnosticEvent | null;
+}
+export interface GuardEvaluationReport {
+    evaluated_at: string;
+    workflow_id: string;
+    route: string;
+    mutation_allowed: boolean;
+    evaluated_guards: string[];
+    allowed: string[];
+    blocked: GuardFinding[];
+    warnings: GuardFinding[];
+    human_required: GuardFinding[];
+}
+/** 列出所有护栏 */
+export declare function listAllGuards(): EnforcementGuardEntry[];
+/** 按类型列出护栏 */
+export declare function listGuardsByType(type: GuardType): EnforcementGuardEntry[];
+/** 注册新护栏（运行时） */
+export declare function registerGuard(entry: EnforcementGuardEntry): {
+    success: boolean;
+    error?: string;
+};
+/**
+ * 评估写入护栏。
+ * 检查 route 和 target_path 是否违反写入规则。
+ */
+export declare function evaluateWriteGuard(route: string, targetPath: string, outputArtifactPaths: string[], contractId: string): GuardFinding[];
+/**
+ * 评估状态护栏。
+ * 检查状态转移是否合法。
+ */
+export declare function evaluateStateGuard(currentStatus: string, targetStatus: string, contractId: string): GuardFinding[];
+/**
+ * 生成完整护栏评估报告。
+ */
+export declare function generateGuardEvaluationReport(workflowId: string, route: string, mutationAllowed: boolean, guardIds: string[]): GuardEvaluationReport;
+/**
+ * 校验所有 guard 的 contract_id 是否存在于 Contract Registry。
+ */
+export declare function validateGuardContractIds(contractExistsFn: (id: string) => boolean): Array<{
+    guard_id: string;
+    contract_id: string;
+    severity: "hard_fail";
+}>;
+/**
+ * 评估交付就绪护栏。
+ * 检查交付是否由 sf_deliver 显式触发，验证结果是否满足交付条件。
+ */
+export declare function evaluateDeliveryReadinessGuard(verificationResult: import("./verification_contract.js").VerificationResult | undefined, verificationPlan: import("./verification_contract.js").VerificationPlan | undefined): GuardFinding[];
+/**
+ * 评估破坏性命令护栏。
+ * 结合 riskLevel 和命令模式双重判定，人工确认后可放行。
+ *
+ * 判定逻辑:
+ * - riskLevel === "destructive" 且匹配破坏性模式 → hard_fail（不可确认放行）
+ * - riskLevel === "destructive" 或匹配破坏性模式 → 需确认
+ *   - humanConfirmed=true → 放行（清空 findings）
+ *   - humanConfirmed=false → 阻断
+ * - 仅模式匹配（riskLevel !== "destructive"） → warning
+ * - 均不匹配 → 放行（空 findings）
+ */
+export declare function evaluateExecutionDestructiveGuard(command: string, riskLevel: string, humanConfirmed: boolean): GuardFinding[];
+/**
+ * 评估外部副作用护栏。
+ * 检查外部副作用操作是否有 evidence 记录，根据操作类型区分严重度。
+ *
+ * 判定逻辑:
+ * - hasEvidence=true → 放行（空 findings）
+ * - hasEvidence=false:
+ *   - critical 类型（deploy/migration/database_change）→ hard_fail
+ *   - standard 类型（git_push/pr_create/release）→ warning
+ *   - 未知类型 → warning（保守降级）
+ */
+export declare function evaluateExternalSideEffectGuard(actionType: string, hasEvidence: boolean): GuardFinding[];
+/** 重置注册表（测试用） */
+export declare function resetGuardRegistry(): void;
+//# sourceMappingURL=enforcement_guard.d.ts.map

package/dist/engine/contracts/enforcement_guard.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"enforcement_guard.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/enforcement_guard.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAA8C,KAAK,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAKnH,MAAM,MAAM,SAAS,GACjB,OAAO,GACP,OAAO,GACP,qBAAqB,GACrB,WAAW,GACX,sBAAsB,GACtB,QAAQ,GACR,UAAU,CAAC;AAEf,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,MAAM,GAAG,eAAe,GAAG,WAAW,CAAC;AAE3E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,SAAS,CAAC;IACtB,QAAQ,EAAE,OAAO,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,WAAW,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;IAC/C,MAAM,EAAE,WAAW,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,gBAAgB,EAAE,eAAe,GAAG,IAAI,CAAC;CAC1C;AAED,MAAM,WAAW,qBAAqB;IACpC,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,gBAAgB,EAAE,OAAO,CAAC;IAC1B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,cAAc,EAAE,YAAY,EAAE,CAAC;CAChC;AAiHD,aAAa;AACb,wBAAgB,aAAa,IAAI,qBAAqB,EAAE,CAEvD;AAED,cAAc;AACd,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,SAAS,GAAG,qBAAqB,EAAE,CAEzE;AAED,iBAAiB;AACjB,wBAAgB,aAAa,CAAC,KAAK,EAAE,qBAAqB,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAUhG;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,MAAM,EAClB,mBAAmB,EAAE,MAAM,EAAE,EAC7B,UAAU,EAAE,MAAM,GACjB,YAAY,EAAE,CAyDhB;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,MAAM,GACjB,YAAY,EAAE,CAuBhB;AAED;;GAEG;AACH,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,MAAM,EAClB,KAAK,EAAE,MAAM,EACb,eAAe,EAAE,OAAO,EACxB,QAAQ,EAAE,MAAM,EAAE,GACjB,qBAAqB,CA6CvB;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CACtC,gBAAgB,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,GACxC,KAAK,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,WAAW,CAAA;CAAE,CAAC,CAYzE;AAED;;;GAGG;AACH,wBAAgB,8BAA8B,CAC5C,kBAAkB,EAAE,OAAO,4BAA4B,EAAE,kBAAkB,GAAG,SAAS,EACvF,gBAAgB,EAAE,OAAO,4BAA4B,EAAE,gBAAgB,GAAG,SAAS,GAClF,YAAY,EAAE,CA6BhB;AAoBD;;;;;;;;;;;GAWG;AACH,wBAAgB,iCAAiC,CAC/C,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,EACjB,cAAc,EAAE,OAAO,GACtB,YAAY,EAAE,CAgEhB;AAmBD;;;;;;;;;;GAUG;AACH,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,OAAO,GACnB,YAAY,EAAE,CAkEhB;AAED,iBAAiB;AACjB,wBAAgB,kBAAkB,IAAI,IAAI,CAEzC"}