soloforge 1.2.19 → 1.2.20

package/dist/engine/mechanism_family_registry.js

@@ -0,0 +1,197 @@
+/**
+ * 机制族实现映射 — 问题十五 (Mechanism Family Implementation Map)。
+ *
+ * 核心规则:
+ * - 每个设计机制族必须有 MechanismFamilyImplementation
+ * - enforced 必须有 tests 和 lifecycle tests
+ * - 机制族状态与真实实现不一致必须报告
+ */
+const BUILTIN_MECHANISMS = [
+    {
+        mechanism_id: "mf-intent-router",
+        name: "意图路由",
+        design_section: "第三部分",
+        implementation_state: "implemented",
+        owner_module: "engine/intent_router",
+        contract_id: "route_decision_contract",
+        workflow_ids: ["workflow_contract"],
+        guard_ids: [],
+        verification_ids: ["contract_governance"],
+        failure_ids: ["failure_recovery_contract"],
+        degradation_ids: [],
+        test_files: ["tests/engine/intent_router.test.ts"],
+        lifecycle_test_files: ["tests/engine/route_decision_contract.test.ts"],
+        known_gaps: [],
+        hard_fail_boundary: ["路由决策必须与设计结论一致"],
+    },
+    {
+        mechanism_id: "mf-workflow-engine",
+        name: "工作流引擎",
+        design_section: "第四部分",
+        implementation_state: "implemented",
+        owner_module: "engine/workflow_contract_registry",
+        contract_id: "workflow_contract",
+        workflow_ids: [],
+        guard_ids: ["guard-write-readonly"],
+        verification_ids: ["contract_governance"],
+        failure_ids: ["failure_recovery_contract"],
+        degradation_ids: [],
+        test_files: ["tests/engine/workflow_contract_registry.test.ts"],
+        lifecycle_test_files: ["tests/engine/workflow_contract_registry.test.ts"],
+        known_gaps: [],
+        hard_fail_boundary: ["workflow 必须与设计结论一致"],
+    },
+    {
+        mechanism_id: "mf-enforcement-guard",
+        name: "强制护栏",
+        design_section: "第四部分",
+        implementation_state: "implemented",
+        owner_module: "engine/enforcement_guard",
+        contract_id: "command_execution_contract",
+        workflow_ids: ["workflow_contract"],
+        guard_ids: ["guard-write-readonly", "guard-write-scope"],
+        verification_ids: [],
+        failure_ids: ["failure_recovery_contract"],
+        degradation_ids: ["degradation_contract"],
+        test_files: ["tests/engine/enforcement_guard.test.ts"],
+        lifecycle_test_files: [],
+        known_gaps: ["lifecycle tests 待补充"],
+        hard_fail_boundary: ["只读路由写入必须阻断"],
+    },
+    {
+        mechanism_id: "mf-verification",
+        name: "验证机制",
+        design_section: "第四部分",
+        implementation_state: "implemented",
+        owner_module: "engine/verifier",
+        contract_id: "main_path_integration_contract",
+        workflow_ids: [],
+        guard_ids: [],
+        verification_ids: ["verification_contract"],
+        failure_ids: [],
+        degradation_ids: [],
+        test_files: ["tests/engine/verifier.test.ts"],
+        lifecycle_test_files: [],
+        known_gaps: [],
+        hard_fail_boundary: [],
+    },
+    {
+        mechanism_id: "mf-failure-recovery",
+        name: "失败恢复",
+        design_section: "第四部分",
+        implementation_state: "implemented",
+        owner_module: "engine/failure_classifier",
+        contract_id: "failure_recovery_contract",
+        workflow_ids: [],
+        guard_ids: [],
+        verification_ids: [],
+        failure_ids: ["failure_recovery_contract"],
+        degradation_ids: [],
+        test_files: ["tests/engine/failure_classifier.test.ts"],
+        lifecycle_test_files: [],
+        known_gaps: [],
+        hard_fail_boundary: ["deterministic 不得无限重试"],
+    },
+    {
+        mechanism_id: "mf-knowledge-injection",
+        name: "知识注入",
+        design_section: "第五部分",
+        implementation_state: "implemented",
+        owner_module: "engine/knowledge_injection_boundary",
+        contract_id: "knowledge_injection_contract",
+        workflow_ids: [],
+        guard_ids: ["guard-knowledge-injectable"],
+        verification_ids: [],
+        failure_ids: [],
+        degradation_ids: [],
+        test_files: ["tests/engine/knowledge_injection_boundary.test.ts"],
+        lifecycle_test_files: [],
+        known_gaps: [],
+        hard_fail_boundary: [],
+    },
+    {
+        mechanism_id: "mf-contract-registry",
+        name: "统一契约注册表",
+        design_section: "第七节",
+        implementation_state: "implemented",
+        owner_module: "engine/contract_registry",
+        contract_id: "contract_governance",
+        workflow_ids: [],
+        guard_ids: [],
+        verification_ids: ["contract_governance"],
+        failure_ids: [],
+        degradation_ids: [],
+        test_files: ["tests/engine/contract_registry.test.ts"],
+        lifecycle_test_files: ["tests/engine/contract_registry.test.ts"],
+        known_gaps: [],
+        hard_fail_boundary: ["未登记契约不得 hard fail"],
+    },
+];
+let runtimeMechanisms = null;
+function getRegistry() {
+    if (!runtimeMechanisms) {
+        runtimeMechanisms = new Map();
+        for (const m of BUILTIN_MECHANISMS) {
+            runtimeMechanisms.set(m.mechanism_id, { ...m, test_files: [...m.test_files], lifecycle_test_files: [...m.lifecycle_test_files] });
+        }
+    }
+    return runtimeMechanisms;
+}
+/** 列出所有机制族 */
+export function listAllMechanisms() {
+    return [...getRegistry().values()];
+}
+/** 按 ID 获取 */
+export function getMechanismById(id) {
+    return getRegistry().get(id);
+}
+/** 注册新机制族 */
+export function registerMechanism(m) {
+    const reg = getRegistry();
+    if (reg.has(m.mechanism_id)) {
+        return { success: false, error: `机制族 ${m.mechanism_id} 已存在` };
+    }
+    reg.set(m.mechanism_id, { ...m, test_files: [...m.test_files], lifecycle_test_files: [...m.lifecycle_test_files] });
+    return { success: true };
+}
+/**
+ * 验证机制族实现一致性。
+ */
+export function validateMechanismFamilies() {
+    const findings = [];
+    for (const m of getRegistry().values()) {
+        // enforced 但无 lifecycle tests
+        if (m.implementation_state === "implemented" && m.lifecycle_test_files.length === 0 && m.hard_fail_boundary.length > 0) {
+            findings.push({
+                mechanism_id: m.mechanism_id,
+                severity: "warning",
+                rule: "implemented_needs_lifecycle_tests",
+                message_zh: `机制族 ${m.name} 已实现且有 hard_fail_boundary 但无 lifecycle tests`,
+            });
+        }
+        // 设计文档有机制族但没有 owner module
+        if (!m.owner_module) {
+            findings.push({
+                mechanism_id: m.mechanism_id,
+                severity: "hard_fail",
+                rule: "mechanism_needs_owner",
+                message_zh: `机制族 ${m.name} 缺少 owner_module`,
+            });
+        }
+        // 无测试
+        if (m.test_files.length === 0) {
+            findings.push({
+                mechanism_id: m.mechanism_id,
+                severity: "warning",
+                rule: "mechanism_needs_tests",
+                message_zh: `机制族 ${m.name} 无测试文件`,
+            });
+        }
+    }
+    return findings;
+}
+/** 重置注册表（测试用） */
+export function resetMechanismRegistry() {
+    runtimeMechanisms = null;
+}
+//# sourceMappingURL=mechanism_family_registry.js.map

package/dist/engine/mechanism_family_registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mechanism_family_registry.js","sourceRoot":"","sources":["../../src/engine/mechanism_family_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AA6BH,MAAM,kBAAkB,GAA6C;IACnE;QACE,YAAY,EAAE,kBAAkB;QAChC,IAAI,EAAE,MAAM;QACZ,cAAc,EAAE,MAAM;QACtB,oBAAoB,EAAE,aAAa;QACnC,YAAY,EAAE,sBAAsB;QACpC,WAAW,EAAE,yBAAyB;QACtC,YAAY,EAAE,CAAC,mBAAmB,CAAC;QACnC,SAAS,EAAE,EAAE;QACb,gBAAgB,EAAE,CAAC,qBAAqB,CAAC;QACzC,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,CAAC,oCAAoC,CAAC;QAClD,oBAAoB,EAAE,CAAC,8CAA8C,CAAC;QACtE,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,CAAC,eAAe,CAAC;KACtC;IACD;QACE,YAAY,EAAE,oBAAoB;QAClC,IAAI,EAAE,OAAO;QACb,cAAc,EAAE,MAAM;QACtB,oBAAoB,EAAE,aAAa;QACnC,YAAY,EAAE,mCAAmC;QACjD,WAAW,EAAE,mBAAmB;QAChC,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,CAAC,sBAAsB,CAAC;QACnC,gBAAgB,EAAE,CAAC,qBAAqB,CAAC;QACzC,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,CAAC,iDAAiD,CAAC;QAC/D,oBAAoB,EAAE,CAAC,iDAAiD,CAAC;QACzE,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,CAAC,oBAAoB,CAAC;KAC3C;IACD;QACE,YAAY,EAAE,sBAAsB;QACpC,IAAI,EAAE,MAAM;QACZ,cAAc,EAAE,MAAM;QACtB,oBAAoB,EAAE,aAAa;QACnC,YAAY,EAAE,0BAA0B;QACxC,WAAW,EAAE,4BAA4B;QACzC,YAAY,EAAE,CAAC,mBAAmB,CAAC;QACnC,SAAS,EAAE,CAAC,sBAAsB,EAAE,mBAAmB,CAAC;QACxD,gBAAgB,EAAE,EAAE;QACpB,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,eAAe,EAAE,CAAC,sBAAsB,CAAC;QACzC,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,oBAAoB,EAAE,EAAE;QACxB,UAAU,EAAE,CAAC,qBAAqB,CAAC;QACnC,kBAAkB,EAAE,CAAC,YAAY,CAAC;KACnC;IACD;QACE,YAAY,EAAE,iBAAiB;QAC/B,IAAI,EAAE,MAAM;QACZ,cAAc,EAAE,MAAM;QACtB,oBAAoB,EAAE,aAAa;QACnC,YAAY,EAAE,iBAAiB;QAC/B,WAAW,EAAE,gCAAgC;QAC7C,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,EAAE;QACb,gBAAgB,EAAE,CAAC,uBAAuB,CAAC;QAC3C,WAAW,EAAE,EAAE;QACf,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,CAAC,+BAA+B,CAAC;QAC7C,oBAAoB,EAAE,EAAE;QACxB,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,EAAE;KACvB;IACD;QACE,YAAY,EAAE,qBAAqB;QACnC,IAAI,EAAE,MAAM;QACZ,cAAc,EAAE,MAAM;QACtB,oBAAoB,EAAE,aAAa;QACnC,YAAY,EAAE,2BAA2B;QACzC,WAAW,EAAE,2BAA2B;QACxC,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,EAAE;QACb,gBAAgB,EAAE,EAAE;QACpB,WAAW,EAAE,CAAC,2BAA2B,CAAC;QAC1C,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,CAAC,yCAAyC,CAAC;QACvD,oBAAoB,EAAE,EAAE;QACxB,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,CAAC,sBAAsB,CAAC;KAC7C;IACD;QACE,YAAY,EAAE,wBAAwB;QACtC,IAAI,EAAE,MAAM;QACZ,cAAc,EAAE,MAAM;QACtB,oBAAoB,EAAE,aAAa;QACnC,YAAY,EAAE,qCAAqC;QACnD,WAAW,EAAE,8BAA8B;QAC3C,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,CAAC,4BAA4B,CAAC;QACzC,gBAAgB,EAAE,EAAE;QACpB,WAAW,EAAE,EAAE;QACf,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,CAAC,mDAAmD,CAAC;QACjE,oBAAoB,EAAE,EAAE;QACxB,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,EAAE;KACvB;IACD;QACE,YAAY,EAAE,sBAAsB;QACpC,IAAI,EAAE,SAAS;QACf,cAAc,EAAE,KAAK;QACrB,oBAAoB,EAAE,aAAa;QACnC,YAAY,EAAE,0BAA0B;QACxC,WAAW,EAAE,qBAAqB;QAClC,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,EAAE;QACb,gBAAgB,EAAE,CAAC,qBAAqB,CAAC;QACzC,WAAW,EAAE,EAAE;QACf,eAAe,EAAE,EAAE;QACnB,UAAU,EAAE,CAAC,wCAAwC,CAAC;QACtD,oBAAoB,EAAE,CAAC,wCAAwC,CAAC;QAChE,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,CAAC,mBAAmB,CAAC;KAC1C;CACF,CAAC;AAEF,IAAI,iBAAiB,GAAsD,IAAI,CAAC;AAEhF,SAAS,WAAW;IAClB,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvB,iBAAiB,GAAG,IAAI,GAAG,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,kBAAkB,EAAE,CAAC;YACnC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,EAAE,oBAAoB,EAAE,CAAC,GAAG,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;QACpI,CAAC;IACH,CAAC;IACD,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED,cAAc;AACd,MAAM,UAAU,iBAAiB;IAC/B,OAAO,CAAC,GAAG,WAAW,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;AACrC,CAAC;AAED,cAAc;AACd,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,OAAO,WAAW,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC/B,CAAC;AAED,aAAa;AACb,MAAM,UAAU,iBAAiB,CAAC,CAAgC;IAChE,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;IAC1B,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,YAAY,MAAM,EAAE,CAAC;IAChE,CAAC;IACD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,EAAE,oBAAoB,EAAE,CAAC,GAAG,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACpH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB;IACvC,MAAM,QAAQ,GAAuC,EAAE,CAAC;IAExD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,8BAA8B;QAC9B,IAAI,CAAC,CAAC,oBAAoB,KAAK,aAAa,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvH,QAAQ,CAAC,IAAI,CAAC;gBACZ,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,mCAAmC;gBACzC,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,8CAA8C;aACxE,CAAC,CAAC;QACL,CAAC;QAED,2BAA2B;QAC3B,IAAI,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC;gBACZ,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,uBAAuB;gBAC7B,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,kBAAkB;aAC5C,CAAC,CAAC;QACL,CAAC;QAED,MAAM;QACN,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC;gBACZ,YAAY,EAAE,CAAC,CAAC,YAAY;gBAC5B,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,uBAAuB;gBAC7B,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,QAAQ;aAClC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,iBAAiB;AACjB,MAAM,UAAU,sBAAsB;IACpC,iBAAiB,GAAG,IAAI,CAAC;AAC3B,CAAC"}

package/dist/engine/policy_drift_detector.d.ts

@@ -49,4 +49,24 @@ export interface DriftSummaryReport {
  * 生成内容
  */
 export declare function generateDriftSummary(policies: PolicyRefType[], report: DriftReport): DriftSummaryReport;
+import type { ContractRegistryEntry, ContractGovernanceFinding } from "./contract_registry.js";
+export interface ContractDriftEntry {
+    contract_id: string;
+    type: DriftType | "contract_not_registered" | "contract_no_test" | "contract_dependency_missing" | "contract_removed_referenced";
+    detail: string;
+}
+export interface ContractDriftReport {
+    total_contracts: number;
+    drift_count: number;
+    drifts: ContractDriftEntry[];
+    governance_findings: ContractGovernanceFinding[];
+}
+/**
+ * 契约漂移扫描 — 基于 Unified Contract Registry 检测契约与代码/测试/依赖的一致性。
+ * 扩展 policy drift，使 drift 能按 contract_id 归因。
+ */
+export declare function detectContractDrift(contracts: ContractRegistryEntry[], existingFiles: Set<string>, knownWorkflowRefs?: Array<{
+    workflow_id: string;
+    contract_refs: string[];
+}>): ContractDriftReport;
 //# sourceMappingURL=policy_drift_detector.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"policy_drift_detector.d.ts","sourceRoot":"","sources":["../../src/engine/policy_drift_detector.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,MAAM,SAAS,GACjB,qBAAqB,GACrB,qBAAqB,GACrB,sBAAsB,GACtB,sBAAsB,GACtB,uBAAuB,GACvB,kCAAkC,GAClC,wBAAwB,CAAC;AAE7B,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC3E,KAAK,SAAS,GAAG,aAAa,CAAC;AAE/B,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,SAAS,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;CACpC;AAgBD,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,SAAS,EAAE,CAAC;IACtB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,GAAG,WAAW,CAyIpE;AAED,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,OAAO,GAAG,IAAI,CAAC;AAEtD,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,EAAE,YAAY,CAAC;IACrB,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB,EAAE,UAAU,EAAE,CAAC;IAChC,QAAQ,EAAE,kBAAkB,EAAE,CAAC;CAChC;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,aAAa,EAAE,EACzB,MAAM,EAAE,WAAW,GAClB,kBAAkB,CAyCpB"}
+{"version":3,"file":"policy_drift_detector.d.ts","sourceRoot":"","sources":["../../src/engine/policy_drift_detector.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,MAAM,SAAS,GACjB,qBAAqB,GACrB,qBAAqB,GACrB,sBAAsB,GACtB,sBAAsB,GACtB,uBAAuB,GACvB,kCAAkC,GAClC,wBAAwB,CAAC;AAE7B,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,SAAS,IAAI,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC3E,KAAK,SAAS,GAAG,aAAa,CAAC;AAE/B,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,SAAS,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;CACpC;AAgBD,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,SAAS,EAAE,CAAC;IACtB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC3B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,GAAG,WAAW,CAyIpE;AAED,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,OAAO,GAAG,IAAI,CAAC;AAEtD,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,EAAE,YAAY,CAAC;IACrB,MAAM,EAAE,UAAU,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,iBAAiB,EAAE,UAAU,EAAE,CAAC;IAChC,QAAQ,EAAE,kBAAkB,EAAE,CAAC;CAChC;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,aAAa,EAAE,EACzB,MAAM,EAAE,WAAW,GAClB,kBAAkB,CAyCpB;AAID,OAAO,KAAK,EAAE,qBAAqB,EAAE,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AAE/F,MAAM,WAAW,kBAAkB;IACjC,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,SAAS,GAAG,yBAAyB,GAAG,kBAAkB,GAAG,6BAA6B,GAAG,6BAA6B,CAAC;IACjI,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,mBAAmB;IAClC,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC7B,mBAAmB,EAAE,yBAAyB,EAAE,CAAC;CAClD;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,qBAAqB,EAAE,EAClC,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,EAC1B,iBAAiB,CAAC,EAAE,KAAK,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,GAC1E,mBAAmB,CA+ErB"}

package/dist/engine/policy_drift_detector.js

@@ -194,4 +194,83 @@ export function generateDriftSummary(policies, report) {
     console.error("[soloForge] 策略漂移: 汇总完成 — total:", summaries.length, ", ok:", ok, ", missing:", missing, ", stale:", stale, ", unassigned:", unassigned.length);
     return { total: summaries.length, missing, stale, ok, unassigned_drifts: unassigned, policies: summaries };
 }
+/**
+ * 契约漂移扫描 — 基于 Unified Contract Registry 检测契约与代码/测试/依赖的一致性。
+ * 扩展 policy drift，使 drift 能按 contract_id 归因。
+ */
+export function detectContractDrift(contracts, existingFiles, knownWorkflowRefs) {
+    console.error("[soloForge] 策略漂移: detectContractDrift() 开始执行，契约", contracts.length, "条");
+    const drifts = [];
+    const governanceFindings = [];
+    const contractMap = new Map(contracts.map((c) => [c.contract_id, c]));
+    for (const contract of contracts) {
+        // 契约的 owner_files 必须存在
+        for (const f of contract.owner_files) {
+            if (!existingFiles.has(f)) {
+                drifts.push({
+                    contract_id: contract.contract_id,
+                    type: "policy_without_code",
+                    detail: `契约 ${contract.contract_id} 的 owner_file ${f} 不存在`,
+                });
+            }
+        }
+        // 契约的 test_files 必须存在
+        for (const f of contract.test_files) {
+            if (!existingFiles.has(f)) {
+                drifts.push({
+                    contract_id: contract.contract_id,
+                    type: "policy_without_tests",
+                    detail: `契约 ${contract.contract_id} 的 test_file ${f} 不存在`,
+                });
+            }
+        }
+        // enforced 契约必须有 lifecycle tests
+        if (contract.state === "enforced" && contract.lifecycle_test_files.length === 0) {
+            drifts.push({
+                contract_id: contract.contract_id,
+                type: "enforced_without_lifecycle_tests",
+                detail: `enforced 契约 ${contract.contract_id} 无 lifecycle_test_files`,
+            });
+        }
+        // 契约依赖必须存在
+        for (const depId of contract.depends_on) {
+            if (!contractMap.has(depId)) {
+                drifts.push({
+                    contract_id: contract.contract_id,
+                    type: "contract_dependency_missing",
+                    detail: `契约 ${contract.contract_id} 依赖不存在的契约 ${depId}`,
+                });
+            }
+        }
+    }
+    // 检查 workflow 引用的契约
+    if (knownWorkflowRefs) {
+        for (const wf of knownWorkflowRefs) {
+            for (const refId of wf.contract_refs) {
+                const contract = contractMap.get(refId);
+                if (!contract) {
+                    drifts.push({
+                        contract_id: refId,
+                        type: "contract_not_registered",
+                        detail: `工作流 ${wf.workflow_id} 引用未登记的契约 ${refId}`,
+                    });
+                }
+                else if (contract.state === "removed") {
+                    drifts.push({
+                        contract_id: refId,
+                        type: "contract_removed_referenced",
+                        detail: `工作流 ${wf.workflow_id} 引用已移除的契约 ${refId}`,
+                    });
+                }
+            }
+        }
+    }
+    console.error("[soloForge] 策略漂移: 契约漂移扫描完成 — drifts:", drifts.length);
+    return {
+        total_contracts: contracts.length,
+        drift_count: drifts.length,
+        drifts,
+        governance_findings: governanceFindings,
+    };
+}
 //# sourceMappingURL=policy_drift_detector.js.map

package/dist/engine/policy_drift_detector.js.map

@@ -1 +1 @@
-{"version":3,"file":"policy_drift_detector.js","sourceRoot":"","sources":["../../src/engine/policy_drift_detector.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA6BH,MAAM,eAAe,GAAgB;IACnC,qBAAqB;IACrB,qBAAqB;IACrB,sBAAsB;IACtB,sBAAsB;IACtB,uBAAuB;IACvB,kCAAkC;IAClC,wBAAwB;CACzB,CAAC;AAEF,SAAS,WAAW;IAClB,OAAO,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAA8B,CAAC;AAC7F,CAAC;AAUD;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAqB;IACrD,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC;IAC5F,OAAO,CAAC,KAAK,CAAC,+CAA+C,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACvJ,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACnE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAEvE,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,aAAa,CAAC,+BAA+B;aACtD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,qBAAqB;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,8BAA8B;aAC5D,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,qBAAqB;wBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,IAAI,EAAE,CAAC;wBACP,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,qBAAqB,CAAC,uBAAuB;qBAC3E,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,yBAAyB;aACvD,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,IAAI,EAAE,CAAC;wBACP,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,qBAAqB,CAAC,uBAAuB;qBAC3E,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,aAAa,CAAC,+BAA+B;aACtD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACjC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,uBAAuB;gBAC7B,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,eAAe,CAAC,+BAA+B;aACxD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,kCAAkC;oBACxC,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,MAAM,EAAE,mBAAmB,CAAC,CAAC,SAAS,iCAAiC;iBACxE,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,oBAAoB,EAAE,CAAC;oBACvC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC1B,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,kCAAkC;4BACxC,SAAS,EAAE,CAAC,CAAC,SAAS;4BACtB,IAAI,EAAE,CAAC;4BACP,MAAM,EAAE,mBAAmB,CAAC,CAAC,SAAS,+BAA+B,CAAC,uBAAuB;yBAC9F,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;gBACnC,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC3B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,IAAI,EAAE,GAAG;wBACT,MAAM,EAAE,kBAAkB,CAAC,CAAC,SAAS,sCAAsC,GAAG,EAAE;qBACjF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACpB,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxG,OAAO,CAAC,KAAK,CAAC,uBAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,KAAK,CAAC,CAAC;IAC1E,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACrD,CAAC;IAED,OAAO;QACL,cAAc,EAAE,QAAQ,CAAC,MAAM;QAC/B,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,MAAM;QACN,OAAO;KACR,CAAC;AACJ,CAAC;AAqBD;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,QAAyB,EACzB,MAAmB;IAEjB,OAAO,CAAC,KAAK,CAAC,kDAAkD,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAClH,MAAM,cAAc,GAAG,IAAI,GAAG,EAAwB,CAAC;IACvD,MAAM,UAAU,GAAiB,EAAE,CAAC;IAEpC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YAChB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;gBAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC1E,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,MAAM,SAAS,GAAyB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACzD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACrD,IAAI,MAAoB,CAAC;QACzB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,IAAI,CAAC;YACd,EAAE,EAAE,CAAC;QACP,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;YACpD,MAAM,GAAG,SAAS,CAAC;YACnB,OAAO,EAAE,CAAC;QACZ,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,OAAO,CAAC;YACjB,KAAK,EAAE,CAAC;QACV,CAAC;QACD,OAAO;YACL,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,aAAa,EAAE,CAAC,CAAC,aAAa;YAC9B,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,MAAM;YACN,MAAM;SACP,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,CAAC,KAAK,CAAC,iCAAiC,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAC9J,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,iBAAiB,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AAC7G,CAAC"}
+{"version":3,"file":"policy_drift_detector.js","sourceRoot":"","sources":["../../src/engine/policy_drift_detector.ts"],"names":[],"mappings":"AAAA;;;GAGG;AA6BH,MAAM,eAAe,GAAgB;IACnC,qBAAqB;IACrB,qBAAqB;IACrB,sBAAsB;IACtB,sBAAsB;IACtB,uBAAuB;IACvB,kCAAkC;IAClC,wBAAwB;CACzB,CAAC;AAEF,SAAS,WAAW;IAClB,OAAO,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAA8B,CAAC;AAC7F,CAAC;AAUD;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAqB;IACrD,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC;IAC5F,OAAO,CAAC,KAAK,CAAC,+CAA+C,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACvJ,MAAM,MAAM,GAAiB,EAAE,CAAC;IAEhC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACnE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;IAEvE,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,aAAa,CAAC,+BAA+B;aACtD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,qBAAqB;gBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,8BAA8B;aAC5D,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,qBAAqB;wBAC3B,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,IAAI,EAAE,CAAC;wBACP,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,qBAAqB,CAAC,uBAAuB;qBAC3E,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,yBAAyB;aACvD,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;gBAC7B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC1B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,sBAAsB;wBAC5B,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,IAAI,EAAE,CAAC;wBACP,MAAM,EAAE,UAAU,CAAC,CAAC,SAAS,qBAAqB,CAAC,uBAAuB;qBAC3E,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,aAAa,CAAC,+BAA+B;aACtD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACjC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,uBAAuB;gBAC7B,IAAI,EAAE,CAAC;gBACP,MAAM,EAAE,eAAe,CAAC,+BAA+B;aACxD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,kCAAkC;oBACxC,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,MAAM,EAAE,mBAAmB,CAAC,CAAC,SAAS,iCAAiC;iBACxE,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,oBAAoB,EAAE,CAAC;oBACvC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBAC1B,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,kCAAkC;4BACxC,SAAS,EAAE,CAAC,CAAC,SAAS;4BACtB,IAAI,EAAE,CAAC;4BACP,MAAM,EAAE,mBAAmB,CAAC,CAAC,SAAS,+BAA+B,CAAC,uBAAuB;yBAC9F,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC1B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;gBACnC,IAAI,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC3B,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,IAAI,EAAE,GAAG;wBACT,MAAM,EAAE,kBAAkB,CAAC,CAAC,SAAS,sCAAsC,GAAG,EAAE;qBACjF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,WAAW,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACpB,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxG,OAAO,CAAC,KAAK,CAAC,uBAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG,KAAK,CAAC,CAAC;IAC1E,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACrD,CAAC;IAED,OAAO;QACL,cAAc,EAAE,QAAQ,CAAC,MAAM;QAC/B,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,MAAM;QACN,OAAO;KACR,CAAC;AACJ,CAAC;AAqBD;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,QAAyB,EACzB,MAAmB;IAEjB,OAAO,CAAC,KAAK,CAAC,kDAAkD,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAClH,MAAM,cAAc,GAAG,IAAI,GAAG,EAAwB,CAAC;IACvD,MAAM,UAAU,GAAiB,EAAE,CAAC;IAEpC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YAChB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;gBAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC1E,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,MAAM,SAAS,GAAyB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACzD,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QACrD,IAAI,MAAoB,CAAC;QACzB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,IAAI,CAAC;YACd,EAAE,EAAE,CAAC;QACP,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;YACpD,MAAM,GAAG,SAAS,CAAC;YACnB,OAAO,EAAE,CAAC;QACZ,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,OAAO,CAAC;YACjB,KAAK,EAAE,CAAC;QACV,CAAC;QACD,OAAO;YACL,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,aAAa,EAAE,CAAC,CAAC,aAAa;YAC9B,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,MAAM;YACN,MAAM;SACP,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,CAAC,KAAK,CAAC,iCAAiC,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,eAAe,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAC9J,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,iBAAiB,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AAC7G,CAAC;AAmBD;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,SAAkC,EAClC,aAA0B,EAC1B,iBAA2E;IAE3E,OAAO,CAAC,KAAK,CAAC,iDAAiD,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACxF,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,MAAM,kBAAkB,GAAgC,EAAE,CAAC;IAC3D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtE,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,uBAAuB;QACvB,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;YACrC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC;oBACV,WAAW,EAAE,QAAQ,CAAC,WAAW;oBACjC,IAAI,EAAE,qBAAqB;oBAC3B,MAAM,EAAE,MAAM,QAAQ,CAAC,WAAW,iBAAiB,CAAC,MAAM;iBAC3D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YACpC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC;oBACV,WAAW,EAAE,QAAQ,CAAC,WAAW;oBACjC,IAAI,EAAE,sBAAsB;oBAC5B,MAAM,EAAE,MAAM,QAAQ,CAAC,WAAW,gBAAgB,CAAC,MAAM;iBAC1D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,iCAAiC;QACjC,IAAI,QAAQ,CAAC,KAAK,KAAK,UAAU,IAAI,QAAQ,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChF,MAAM,CAAC,IAAI,CAAC;gBACV,WAAW,EAAE,QAAQ,CAAC,WAAW;gBACjC,IAAI,EAAE,kCAAkC;gBACxC,MAAM,EAAE,eAAe,QAAQ,CAAC,WAAW,yBAAyB;aACrE,CAAC,CAAC;QACL,CAAC;QAED,WAAW;QACX,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;YACxC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,CAAC,IAAI,CAAC;oBACV,WAAW,EAAE,QAAQ,CAAC,WAAW;oBACjC,IAAI,EAAE,6BAA6B;oBACnC,MAAM,EAAE,MAAM,QAAQ,CAAC,WAAW,aAAa,KAAK,EAAE;iBACvD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,oBAAoB;IACpB,IAAI,iBAAiB,EAAE,CAAC;QACtB,KAAK,MAAM,EAAE,IAAI,iBAAiB,EAAE,CAAC;YACnC,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,aAAa,EAAE,CAAC;gBACrC,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,CAAC,IAAI,CAAC;wBACV,WAAW,EAAE,KAAK;wBAClB,IAAI,EAAE,yBAAyB;wBAC/B,MAAM,EAAE,OAAO,EAAE,CAAC,WAAW,aAAa,KAAK,EAAE;qBAClD,CAAC,CAAC;gBACL,CAAC;qBAAM,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxC,MAAM,CAAC,IAAI,CAAC;wBACV,WAAW,EAAE,KAAK;wBAClB,IAAI,EAAE,6BAA6B;wBACnC,MAAM,EAAE,OAAO,EAAE,CAAC,WAAW,aAAa,KAAK,EAAE;qBAClD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,sCAAsC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IACrE,OAAO;QACL,eAAe,EAAE,SAAS,CAAC,MAAM;QACjC,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,MAAM;QACN,mBAAmB,EAAE,kBAAkB;KACxC,CAAC;AACJ,CAAC"}

package/dist/engine/retention_policy.d.ts

@@ -0,0 +1,46 @@
+/**
+ * 保留策略 — 问题三十八 (Observability Storage Contract) 的清理规则。
+ *
+ * 核心规则:
+ * - evidence 必须可追溯且有 retention/cleanup 规则
+ * - cleanup 不得删除仍被 TaskContext / GovernanceReport 引用的 evidence
+ * - cleanup 默认 dry-run
+ * - 日志/审计/metric 不得存 secret、完整 prompt、大段 stdout/stderr
+ */
+export type RecordStatus = "active" | "archived" | "pending_cleanup" | "protected";
+export interface RetentionPolicy {
+    policy_id: string;
+    record_type: "evidence" | "audit_event" | "task_context" | "metric_sample" | "user_summary";
+    max_age_days: number;
+    max_count: number;
+    dry_run_default: boolean;
+    protected_while_referenced: boolean;
+    redact_before_storage: boolean;
+    forbidden_content: string[];
+}
+export interface RetentionCheckResult {
+    policy_id: string;
+    total_records: number;
+    eligible_for_cleanup: number;
+    protected_records: number;
+    dry_run: boolean;
+    cleanup_candidates: string[];
+}
+/** 列出所有保留策略 */
+export declare function listRetentionPolicies(): RetentionPolicy[];
+/** 按记录类型获取策略 */
+export declare function getRetentionPolicy(recordType: RetentionPolicy["record_type"]): RetentionPolicy | undefined;
+/**
+ * 检查记录是否包含禁止内容。
+ */
+export declare function checkForbiddenContent(recordType: RetentionPolicy["record_type"], content: string): string[];
+/**
+ * 评估清理候选。
+ * 默认 dry-run，不执行实际删除。
+ */
+export declare function evaluateCleanup(recordType: RetentionPolicy["record_type"], records: Array<{
+    id: string;
+    age_days: number;
+    is_referenced: boolean;
+}>, dryRun?: boolean): RetentionCheckResult;
+//# sourceMappingURL=retention_policy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"retention_policy.d.ts","sourceRoot":"","sources":["../../src/engine/retention_policy.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,UAAU,GAAG,iBAAiB,GAAG,WAAW,CAAC;AAEnF,MAAM,WAAW,eAAe;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,UAAU,GAAG,aAAa,GAAG,cAAc,GAAG,eAAe,GAAG,cAAc,CAAC;IAC5F,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,OAAO,CAAC;IACzB,0BAA0B,EAAE,OAAO,CAAC;IACpC,qBAAqB,EAAE,OAAO,CAAC;IAC/B,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAuDD,eAAe;AACf,wBAAgB,qBAAqB,IAAI,eAAe,EAAE,CAEzD;AAED,gBAAgB;AAChB,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,eAAe,CAAC,aAAa,CAAC,GAAG,eAAe,GAAG,SAAS,CAE1G;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,UAAU,EAAE,eAAe,CAAC,aAAa,CAAC,EAC1C,OAAO,EAAE,MAAM,GACd,MAAM,EAAE,CAUV;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,eAAe,CAAC,aAAa,CAAC,EAC1C,OAAO,EAAE,KAAK,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,OAAO,CAAA;CAAE,CAAC,EACxE,MAAM,UAAO,GACZ,oBAAoB,CAoCtB"}

package/dist/engine/retention_policy.js

@@ -0,0 +1,124 @@
+/**
+ * 保留策略 — 问题三十八 (Observability Storage Contract) 的清理规则。
+ *
+ * 核心规则:
+ * - evidence 必须可追溯且有 retention/cleanup 规则
+ * - cleanup 不得删除仍被 TaskContext / GovernanceReport 引用的 evidence
+ * - cleanup 默认 dry-run
+ * - 日志/审计/metric 不得存 secret、完整 prompt、大段 stdout/stderr
+ */
+const BUILTIN_RETENTION_POLICIES = [
+    {
+        policy_id: "retention-evidence",
+        record_type: "evidence",
+        max_age_days: 90,
+        max_count: 1000,
+        dry_run_default: true,
+        protected_while_referenced: true,
+        redact_before_storage: true,
+        forbidden_content: ["secret", "api_key", "password", "token"],
+    },
+    {
+        policy_id: "retention-audit",
+        record_type: "audit_event",
+        max_age_days: 180,
+        max_count: 5000,
+        dry_run_default: true,
+        protected_while_referenced: false,
+        redact_before_storage: true,
+        forbidden_content: ["secret", "raw_stdout", "raw_stderr"],
+    },
+    {
+        policy_id: "retention-task-context",
+        record_type: "task_context",
+        max_age_days: 30,
+        max_count: 100,
+        dry_run_default: true,
+        protected_while_referenced: true,
+        redact_before_storage: true,
+        forbidden_content: ["raw_prompt", "chain_of_thought", "secret", "raw_stdout", "raw_stderr"],
+    },
+    {
+        policy_id: "retention-metric",
+        record_type: "metric_sample",
+        max_age_days: 60,
+        max_count: 10000,
+        dry_run_default: true,
+        protected_while_referenced: false,
+        redact_before_storage: true,
+        forbidden_content: ["user_data_raw"],
+    },
+    {
+        policy_id: "retention-user-summary",
+        record_type: "user_summary",
+        max_age_days: 30,
+        max_count: 500,
+        dry_run_default: true,
+        protected_while_referenced: false,
+        redact_before_storage: false,
+        forbidden_content: ["secret"],
+    },
+];
+/** 列出所有保留策略 */
+export function listRetentionPolicies() {
+    return [...BUILTIN_RETENTION_POLICIES];
+}
+/** 按记录类型获取策略 */
+export function getRetentionPolicy(recordType) {
+    return BUILTIN_RETENTION_POLICIES.find((p) => p.record_type === recordType);
+}
+/**
+ * 检查记录是否包含禁止内容。
+ */
+export function checkForbiddenContent(recordType, content) {
+    const policy = getRetentionPolicy(recordType);
+    if (!policy)
+        return [];
+    const found = [];
+    for (const forbidden of policy.forbidden_content) {
+        if (content.toLowerCase().includes(forbidden.toLowerCase())) {
+            found.push(forbidden);
+        }
+    }
+    return found;
+}
+/**
+ * 评估清理候选。
+ * 默认 dry-run，不执行实际删除。
+ */
+export function evaluateCleanup(recordType, records, dryRun = true) {
+    const policy = getRetentionPolicy(recordType);
+    if (!policy) {
+        return {
+            policy_id: "unknown",
+            total_records: records.length,
+            eligible_for_cleanup: 0,
+            protected_records: 0,
+            dry_run: true,
+            cleanup_candidates: [],
+        };
+    }
+    let eligible = 0;
+    let protected_count = 0;
+    const candidates = [];
+    for (const record of records) {
+        if (record.age_days > policy.max_age_days) {
+            if (policy.protected_while_referenced && record.is_referenced) {
+                protected_count++;
+            }
+            else {
+                eligible++;
+                candidates.push(record.id);
+            }
+        }
+    }
+    return {
+        policy_id: policy.policy_id,
+        total_records: records.length,
+        eligible_for_cleanup: eligible,
+        protected_records: protected_count,
+        dry_run: dryRun || policy.dry_run_default,
+        cleanup_candidates: candidates,
+    };
+}
+//# sourceMappingURL=retention_policy.js.map

package/dist/engine/retention_policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retention_policy.js","sourceRoot":"","sources":["../../src/engine/retention_policy.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAwBH,MAAM,0BAA0B,GAA+B;IAC7D;QACE,SAAS,EAAE,oBAAoB;QAC/B,WAAW,EAAE,UAAU;QACvB,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,IAAI;QACf,eAAe,EAAE,IAAI;QACrB,0BAA0B,EAAE,IAAI;QAChC,qBAAqB,EAAE,IAAI;QAC3B,iBAAiB,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC;KAC9D;IACD;QACE,SAAS,EAAE,iBAAiB;QAC5B,WAAW,EAAE,aAAa;QAC1B,YAAY,EAAE,GAAG;QACjB,SAAS,EAAE,IAAI;QACf,eAAe,EAAE,IAAI;QACrB,0BAA0B,EAAE,KAAK;QACjC,qBAAqB,EAAE,IAAI;QAC3B,iBAAiB,EAAE,CAAC,QAAQ,EAAE,YAAY,EAAE,YAAY,CAAC;KAC1D;IACD;QACE,SAAS,EAAE,wBAAwB;QACnC,WAAW,EAAE,cAAc;QAC3B,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,GAAG;QACd,eAAe,EAAE,IAAI;QACrB,0BAA0B,EAAE,IAAI;QAChC,qBAAqB,EAAE,IAAI;QAC3B,iBAAiB,EAAE,CAAC,YAAY,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,YAAY,CAAC;KAC5F;IACD;QACE,SAAS,EAAE,kBAAkB;QAC7B,WAAW,EAAE,eAAe;QAC5B,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,KAAK;QAChB,eAAe,EAAE,IAAI;QACrB,0BAA0B,EAAE,KAAK;QACjC,qBAAqB,EAAE,IAAI;QAC3B,iBAAiB,EAAE,CAAC,eAAe,CAAC;KACrC;IACD;QACE,SAAS,EAAE,wBAAwB;QACnC,WAAW,EAAE,cAAc;QAC3B,YAAY,EAAE,EAAE;QAChB,SAAS,EAAE,GAAG;QACd,eAAe,EAAE,IAAI;QACrB,0BAA0B,EAAE,KAAK;QACjC,qBAAqB,EAAE,KAAK;QAC5B,iBAAiB,EAAE,CAAC,QAAQ,CAAC;KAC9B;CACF,CAAC;AAEF,eAAe;AACf,MAAM,UAAU,qBAAqB;IACnC,OAAO,CAAC,GAAG,0BAA0B,CAAC,CAAC;AACzC,CAAC;AAED,gBAAgB;AAChB,MAAM,UAAU,kBAAkB,CAAC,UAA0C;IAC3E,OAAO,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC;AAC9E,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAA0C,EAC1C,OAAe;IAEf,MAAM,MAAM,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;QACjD,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAC7B,UAA0C,EAC1C,OAAwE,EACxE,MAAM,GAAG,IAAI;IAEb,MAAM,MAAM,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,SAAS,EAAE,SAAS;YACpB,aAAa,EAAE,OAAO,CAAC,MAAM;YAC7B,oBAAoB,EAAE,CAAC;YACvB,iBAAiB,EAAE,CAAC;YACpB,OAAO,EAAE,IAAI;YACb,kBAAkB,EAAE,EAAE;SACvB,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,MAAM,UAAU,GAAa,EAAE,CAAC;IAEhC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,CAAC;YAC1C,IAAI,MAAM,CAAC,0BAA0B,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;gBAC9D,eAAe,EAAE,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,QAAQ,EAAE,CAAC;gBACX,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,aAAa,EAAE,OAAO,CAAC,MAAM;QAC7B,oBAAoB,EAAE,QAAQ;QAC9B,iBAAiB,EAAE,eAAe;QAClC,OAAO,EAAE,MAAM,IAAI,MAAM,CAAC,eAAe;QACzC,kBAAkB,EAAE,UAAU;KAC/B,CAAC;AACJ,CAAC"}

package/dist/engine/state_update_bypass.d.ts

@@ -0,0 +1,19 @@
+/**
+ * 状态更新旁路检测 — 问题三十四 (State Update Bypass)。
+ *
+ * 检测和阻止绕过正常状态更新管道的旁路操作。
+ */
+/** 旁路检测结果 */
+export interface BypassCheckResult {
+    /** 是否检测到旁路 */
+    bypass_detected: boolean;
+    /** 旁路类型 */
+    bypass_type: string | null;
+    /** 描述信息 */
+    description: string;
+}
+/**
+ * 检查给定的状态更新操作是否存在旁路。
+ */
+export declare function checkStateUpdateBypass(_operation: string): BypassCheckResult;
+//# sourceMappingURL=state_update_bypass.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state_update_bypass.d.ts","sourceRoot":"","sources":["../../src/engine/state_update_bypass.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,aAAa;AACb,MAAM,WAAW,iBAAiB;IAChC,cAAc;IACd,eAAe,EAAE,OAAO,CAAC;IACzB,WAAW;IACX,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,WAAW;IACX,WAAW,EAAE,MAAM,CAAC;CACrB;AAID;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,MAAM,GAAG,iBAAiB,CAM5E"}

package/dist/engine/state_update_bypass.js

@@ -0,0 +1,17 @@
+/**
+ * 状态更新旁路检测 — 问题三十四 (State Update Bypass)。
+ *
+ * 检测和阻止绕过正常状态更新管道的旁路操作。
+ */
+// ── 检测函数 ──
+/**
+ * 检查给定的状态更新操作是否存在旁路。
+ */
+export function checkStateUpdateBypass(_operation) {
+    return {
+        bypass_detected: false,
+        bypass_type: null,
+        description: "未检测到旁路操作",
+    };
+}
+//# sourceMappingURL=state_update_bypass.js.map

package/dist/engine/state_update_bypass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state_update_bypass.js","sourceRoot":"","sources":["../../src/engine/state_update_bypass.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAcH,aAAa;AAEb;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAkB;IACvD,OAAO;QACL,eAAe,EAAE,KAAK;QACtB,WAAW,EAAE,IAAI;QACjB,WAAW,EAAE,UAAU;KACxB,CAAC;AACJ,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"task_context.d.ts","sourceRoot":"","sources":["../../src/engine/task_context.ts"],"names":[],"mappings":"AAIA,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAC1F,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,gBAAgB,EAAE,cAAc,EAAkC,cAAc,EAAE,MAAM,aAAa,CAAC;AACxM,OAAO,KAAK,EAAE,SAAS,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AAEjG,OAAO,EAAE,SAAS,EAAkB,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAuB,MAAM,2BAA2B,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAkClD;;;;GAIG;AACH,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,SAAS,CAAY;IAC7B,OAAO,CAAC,aAAa,CAAqB;IAC1C,OAAO,CAAC,UAAU,CAAkB;IACpC,OAAO,CAAC,YAAY,CAAe;gBAEvB,QAAQ,EAAE,MAAM;IAS5B,iBAAiB;IACjB,WAAW,IAAI,MAAM;IAIrB,cAAc;IACd,YAAY,IAAI,SAAS;IAIzB,qBAAqB;IACrB,gBAAgB,IAAI,kBAAkB;IAItC,wBAAwB;IACxB,aAAa,IAAI,eAAe;IAIhC,gBAAgB;IAChB,eAAe,IAAI,YAAY;IAI/B;;;;;OAKG;IACG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;IAkC1E;;;;OAIG;IACG,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAWvD;;;OAGG;IACG,IAAI,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IAQ3C;;;;;;OAMG;IACG,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAqE9F;;;;;OAKG;IACG,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAY5F;;;;;OAKG;IACG,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAiHrF;;;;;;;OAOG;IACG,YAAY,CAChB,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EAAE,EACtB,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IA+B9B;;;;;OAKG;IACG,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAQxF;;;OAGG;IACG,cAAc,IAAI,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAoBnD;;;;OAIG;IACG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAuB9C;;;;OAIG;IACH,WAAW,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;IAItC;;;;OAIG;IACH,aAAa,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM;IAYvC;;;;OAIG;IACG,UAAU,CAAC,KAAK,SAAK,GAAG,OAAO,CACnC,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAC/E;IAwBD;;;;OAIG;IACG,aAAa,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;IAqCxC;;;OAGG;IACG,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC;IA0DhC;;;;;OAKG;IACG,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAQlF;;;;;OAKG;IACG,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAY1F;;;;;OAKG;IACG,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAQtF;;OAEG;IACG,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,uBAAuB,EAAE,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAWzH;;;;;OAKG;IAEG,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAQxF;;;OAGG;IACG,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE;QACjD,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;QACjC,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,eAAe,CAAC,EAAE,OAAO,CAAC;QAC1B,aAAa,CAAC,EAAE,OAAO,CAAC;KACzB,GAAG,cAAc,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IA4B1D;;;;;;;;OAQG;IACG,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,gBAAgB,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IA+B7I;;;;;;;;OAQG;IACG,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IA2BnH;;;OAGG;YACW,4BAA4B;IAgB1C,oBAAoB;IACpB,OAAO,CAAC,YAAY;IAIpB,iBAAiB;IACjB,OAAO,KAAK,WAAW,GAEtB;IAED;;;OAGG;YACW,mBAAmB;CAMlC;AAID;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,WAAW,GAAG,cAAc,CA2CtE"}
+{"version":3,"file":"task_context.d.ts","sourceRoot":"","sources":["../../src/engine/task_context.ts"],"names":[],"mappings":"AAIA,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,iCAAiC,CAAC;AAC1F,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,gBAAgB,EAAE,cAAc,EAAkC,cAAc,EAAE,MAAM,aAAa,CAAC;AACxM,OAAO,KAAK,EAAE,SAAS,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AAEjG,OAAO,EAAE,SAAS,EAAkB,MAAM,iBAAiB,CAAC;AAC5D,OAAO,EAAE,kBAAkB,EAAuB,MAAM,2BAA2B,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAmClD;;;;GAIG;AACH,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,QAAQ,CAAS;IACzB,OAAO,CAAC,SAAS,CAAY;IAC7B,OAAO,CAAC,aAAa,CAAqB;IAC1C,OAAO,CAAC,UAAU,CAAkB;IACpC,OAAO,CAAC,YAAY,CAAe;gBAEvB,QAAQ,EAAE,MAAM;IAS5B,iBAAiB;IACjB,WAAW,IAAI,MAAM;IAIrB,cAAc;IACd,YAAY,IAAI,SAAS;IAIzB,qBAAqB;IACrB,gBAAgB,IAAI,kBAAkB;IAItC,wBAAwB;IACxB,aAAa,IAAI,eAAe;IAIhC,gBAAgB;IAChB,eAAe,IAAI,YAAY;IAI/B;;;;;OAKG;IACG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC;IAkC1E;;;;OAIG;IACG,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAWvD;;;OAGG;IACG,IAAI,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IAQ3C;;;;;;OAMG;IACG,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IA6E9F;;;;;OAKG;IACG,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAY5F;;;;;OAKG;IACG,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAiHrF;;;;;;;OAOG;IACG,YAAY,CAChB,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,MAAM,EAAE,EACtB,OAAO,CAAC,EAAE,aAAa,GACtB,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IA+B9B;;;;;OAKG;IACG,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAQxF;;;OAGG;IACG,cAAc,IAAI,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAoBnD;;;;OAIG;IACG,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC;IAuB9C;;;;OAIG;IACH,WAAW,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;IAItC;;;;OAIG;IACH,aAAa,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM;IAYvC;;;;OAIG;IACG,UAAU,CAAC,KAAK,SAAK,GAAG,OAAO,CACnC,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC,CAC/E;IAwBD;;;;OAIG;IACG,aAAa,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;IAqCxC;;;OAGG;IACG,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC;IA0DhC;;;;;OAKG;IACG,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAQlF;;;;;OAKG;IACG,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAY1F;;;;;OAKG;IACG,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAQtF;;OAEG;IACG,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,EAAE,uBAAuB,EAAE,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAWzH;;;;;OAKG;IAEG,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAQxF;;;OAGG;IACG,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE;QACjD,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;QACjC,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,eAAe,CAAC,EAAE,OAAO,CAAC;QAC1B,aAAa,CAAC,EAAE,OAAO,CAAC;KACzB,GAAG,cAAc,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IA4B1D;;;;;;;;OAQG;IACG,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,gBAAgB,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IA+B7I;;;;;;;;OAQG;IACG,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IA2BnH;;;OAGG;YACW,4BAA4B;IAgB1C,oBAAoB;IACpB,OAAO,CAAC,YAAY;IAIpB,iBAAiB;IACjB,OAAO,KAAK,WAAW,GAEtB;IAED;;;OAGG;YACW,mBAAmB;CAMlC;AAID;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,WAAW,GAAG,cAAc,CA2CtE"}

package/dist/engine/task_context.js

@@ -8,6 +8,7 @@ import { AuditPool } from "./audit_pool.js";
 import { DiffOwnershipStore } from "./diff_ownership_store.js";
 import { ScopeLeaseStore } from "./scope_lease.js";
 import { ConflictGate } from "./conflict_gate.js";
+import { evaluateStateGuard } from "./enforcement_guard.js";
 /**
  * 任务上下文管理器 — 管理任务的完整生命周期状态持久化。
  *
@@ -151,6 +152,13 @@ export class TaskContextManager {
         if (!VALID_TRANSITIONS[ctx.status].includes(status)) {
             throw new Error(`无效状态转换: ${ctx.status} → ${status}`);
         }
+        // Batch2: 状态护栏 — 阻断 failed/blocked/requires_human → done
+        if (["failed", "blocked", "requires_human"].includes(ctx.status) && status === "done") {
+            const guardFindings = evaluateStateGuard(ctx.status, "completed", "task_context_contract");
+            if (guardFindings.length > 0 && guardFindings[0].blocked) {
+                throw new Error(`Batch2 状态护栏阻断: ${guardFindings[0].reason_zh}`);
+            }
+        }
         // 事实前置条件校验：防止无数据伪推进
         if (ctx.status === "classifying" && status === "expanding") {
             if (!ctx.classification) {