soloforge 1.2.20 → 1.3.0

package/dist/engine/state_fact_classifier.js

@@ -0,0 +1,158 @@
+/**
+ * 问题十七: State Fact Classifier — TaskContext 事实分区治理。
+ *
+ * 将 TaskContext 数据分为三类:
+ * - engineering_fact: 可恢复工程事实（文件路径、git 状态、测试结果、验收标准）
+ * - ai_inference: AI 推理结果（分类、意图分析、知识匹配、路由决策）
+ * - prompt_content: Prompt 内容（发送给 AI 的原始文本、chain_of_thought）
+ *
+ * 核心规则:
+ * - AI 推理不得作为工程事实保存
+ * - raw_prompt / chain_of_thought 不得进入 engineering_fact
+ * - 违规必须 hard fail 或阻断保存
+ */
+// 字段 → 分区映射
+const FIELD_CATEGORY_MAP = {
+    // engineering_fact: 可验证的工程事实
+    task_id: "engineering_fact",
+    status: "engineering_fact",
+    project_path: "engineering_fact",
+    config: "engineering_fact",
+    scope: "engineering_fact",
+    acceptance: "engineering_fact",
+    changed_files: "engineering_fact",
+    test_results: "engineering_fact",
+    verification_evidence: "engineering_fact",
+    artifacts: "engineering_fact",
+    lease: "engineering_fact",
+    created_at: "engineering_fact",
+    updated_at: "engineering_fact",
+    delivery_report: "engineering_fact",
+    plan_proposal_gate: "engineering_fact",
+    core_experience_evaluation: "engineering_fact",
+    failure_report: "engineering_fact",
+    degradation_event: "engineering_fact",
+    governance_report: "engineering_fact",
+    // ai_inference: AI 推理结果
+    classification: "ai_inference",
+    route_decision: "ai_inference",
+    matched_knowledge: "ai_inference",
+    matched_patterns: "ai_inference",
+    uncertainty_triggers: "ai_inference",
+    circuit_breaker: "ai_inference",
+    legacy_conventions: "ai_inference",
+    ingestion_evidences: "ai_inference",
+    prompt_injection_plan: "ai_inference",
+    sensitivity_labels: "ai_inference",
+    redaction_records: "ai_inference",
+    privacy_findings: "ai_inference",
+    config_resolution_reports: "ai_inference",
+    workflow_trace: "ai_inference",
+    output_artifact_record: "ai_inference",
+    // prompt_content: Prompt 原始内容
+    prompt: "prompt_content",
+    expand_result: "prompt_content",
+};
+// 禁止进入 engineering_fact 的关键词
+const ENGINEERING_FACT_BLOCKED_PATTERNS = [
+    /chain_of_thought/i,
+    /raw_prompt/i,
+    /raw_stdout/i,
+    /raw_stderr/i,
+    /ai_generated/i,
+    /inferred/i,
+];
+/**
+ * 获取字段的分区类别。
+ */
+export function classifyField(key) {
+    return FIELD_CATEGORY_MAP[key] ?? "ai_inference"; // 未知字段默认 ai_inference
+}
+/**
+ * 验证 TaskContext 数据分区合规性。
+ * 检查所有字段是否符合分区规则。
+ */
+export function validateStateFactPartition(data) {
+    const violations = [];
+    for (const [key, value] of Object.entries(data)) {
+        const category = classifyField(key);
+        // engineering_fact 字段不得包含 AI 推理内容
+        if (category === "engineering_fact" && value !== null && value !== undefined) {
+            const strValue = typeof value === "string" ? value : JSON.stringify(value);
+            if (strValue) {
+                for (const pattern of ENGINEERING_FACT_BLOCKED_PATTERNS) {
+                    if (pattern.test(strValue)) {
+                        violations.push({
+                            severity: "hard_fail",
+                            key,
+                            expected_category: "engineering_fact",
+                            actual_category: "prompt_content",
+                            message_zh: `工程事实字段 "${key}" 包含禁止内容 (${pattern.source}): 不得将 AI 原始输出保存为工程事实`,
+                        });
+                    }
+                }
+            }
+        }
+        // prompt_content 字段不得包含结构化工程数据
+        if (category === "prompt_content" && typeof value === "object" && value !== null) {
+            const obj = value;
+            if (obj.test_results || obj.acceptance || obj.changed_files) {
+                violations.push({
+                    severity: "warning",
+                    key,
+                    expected_category: "prompt_content",
+                    actual_category: "engineering_fact",
+                    message_zh: `Prompt 内容字段 "${key}" 包含工程事实数据: 建议将工程数据与 Prompt 分离`,
+                });
+            }
+        }
+    }
+    return violations;
+}
+/**
+ * 检查指定字段是否允许写入目标分区。
+ * 用于 TaskContext save 前的实时校验。
+ */
+export function isWriteAllowed(key, targetCategory, value) {
+    const sourceCategory = classifyField(key);
+    // AI 推理写入 engineering_fact 槽位 → 阻断
+    if (targetCategory === "engineering_fact" && sourceCategory === "ai_inference") {
+        return {
+            allowed: false,
+            reason_zh: `禁止将 AI 推理字段 "${key}" 写入工程事实分区`,
+        };
+    }
+    // prompt_content 写入 engineering_fact → 阻断
+    if (targetCategory === "engineering_fact" && sourceCategory === "prompt_content") {
+        return {
+            allowed: false,
+            reason_zh: `禁止将 Prompt 内容字段 "${key}" 写入工程事实分区`,
+        };
+    }
+    // 工程事实字段中的禁止内容 → 阻断
+    if (targetCategory === "engineering_fact" && value !== null && value !== undefined) {
+        const strValue = typeof value === "string" ? value : JSON.stringify(value);
+        if (strValue) {
+            for (const pattern of ENGINEERING_FACT_BLOCKED_PATTERNS) {
+                if (pattern.test(strValue)) {
+                    return {
+                        allowed: false,
+                        reason_zh: `工程事实字段 "${key}" 包含禁止模式 (${pattern.source})`,
+                    };
+                }
+            }
+        }
+    }
+    return { allowed: true };
+}
+/**
+ * 获取字段分区摘要（用于诊断输出）。
+ */
+export function getStateFactSummary(data) {
+    const result = { engineering_fact: [], ai_inference: [], prompt_content: [] };
+    for (const key of Object.keys(data)) {
+        result[classifyField(key)].push(key);
+    }
+    return result;
+}
+//# sourceMappingURL=state_fact_classifier.js.map

package/dist/engine/state_fact_classifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state_fact_classifier.js","sourceRoot":"","sources":["../../src/engine/state_fact_classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAYH,YAAY;AACZ,MAAM,kBAAkB,GAAsC;IAC5D,6BAA6B;IAC7B,OAAO,EAAE,kBAAkB;IAC3B,MAAM,EAAE,kBAAkB;IAC1B,YAAY,EAAE,kBAAkB;IAChC,MAAM,EAAE,kBAAkB;IAC1B,KAAK,EAAE,kBAAkB;IACzB,UAAU,EAAE,kBAAkB;IAC9B,aAAa,EAAE,kBAAkB;IACjC,YAAY,EAAE,kBAAkB;IAChC,qBAAqB,EAAE,kBAAkB;IACzC,SAAS,EAAE,kBAAkB;IAC7B,KAAK,EAAE,kBAAkB;IACzB,UAAU,EAAE,kBAAkB;IAC9B,UAAU,EAAE,kBAAkB;IAC9B,eAAe,EAAE,kBAAkB;IACnC,kBAAkB,EAAE,kBAAkB;IACtC,0BAA0B,EAAE,kBAAkB;IAC9C,cAAc,EAAE,kBAAkB;IAClC,iBAAiB,EAAE,kBAAkB;IACrC,iBAAiB,EAAE,kBAAkB;IAErC,wBAAwB;IACxB,cAAc,EAAE,cAAc;IAC9B,cAAc,EAAE,cAAc;IAC9B,iBAAiB,EAAE,cAAc;IACjC,gBAAgB,EAAE,cAAc;IAChC,oBAAoB,EAAE,cAAc;IACpC,eAAe,EAAE,cAAc;IAC/B,kBAAkB,EAAE,cAAc;IAClC,mBAAmB,EAAE,cAAc;IACnC,qBAAqB,EAAE,cAAc;IACrC,kBAAkB,EAAE,cAAc;IAClC,iBAAiB,EAAE,cAAc;IACjC,gBAAgB,EAAE,cAAc;IAChC,yBAAyB,EAAE,cAAc;IACzC,cAAc,EAAE,cAAc;IAC9B,sBAAsB,EAAE,cAAc;IAEtC,8BAA8B;IAC9B,MAAM,EAAE,gBAAgB;IACxB,aAAa,EAAE,gBAAgB;CAChC,CAAC;AAEF,6BAA6B;AAC7B,MAAM,iCAAiC,GAAG;IACxC,mBAAmB;IACnB,aAAa;IACb,aAAa;IACb,aAAa;IACb,eAAe;IACf,WAAW;CACZ,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,GAAW;IACvC,OAAO,kBAAkB,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,CAAC,sBAAsB;AAC1E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CAAC,IAA6B;IACtE,MAAM,UAAU,GAAyB,EAAE,CAAC;IAE5C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAEpC,kCAAkC;QAClC,IAAI,QAAQ,KAAK,kBAAkB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YAC7E,MAAM,QAAQ,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC3E,IAAI,QAAQ,EAAE,CAAC;gBACb,KAAK,MAAM,OAAO,IAAI,iCAAiC,EAAE,CAAC;oBACxD,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;wBAC3B,UAAU,CAAC,IAAI,CAAC;4BACd,QAAQ,EAAE,WAAW;4BACrB,GAAG;4BACH,iBAAiB,EAAE,kBAAkB;4BACrC,eAAe,EAAE,gBAAgB;4BACjC,UAAU,EAAE,WAAW,GAAG,aAAa,OAAO,CAAC,MAAM,uBAAuB;yBAC7E,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,IAAI,QAAQ,KAAK,gBAAgB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACjF,MAAM,GAAG,GAAG,KAAgC,CAAC;YAC7C,IAAI,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;gBAC5D,UAAU,CAAC,IAAI,CAAC;oBACd,QAAQ,EAAE,SAAS;oBACnB,GAAG;oBACH,iBAAiB,EAAE,gBAAgB;oBACnC,eAAe,EAAE,kBAAkB;oBACnC,UAAU,EAAE,gBAAgB,GAAG,gCAAgC;iBAChE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAC5B,GAAW,EACX,cAAiC,EACjC,KAAc;IAEd,MAAM,cAAc,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAE1C,mCAAmC;IACnC,IAAI,cAAc,KAAK,kBAAkB,IAAI,cAAc,KAAK,cAAc,EAAE,CAAC;QAC/E,OAAO;YACL,OAAO,EAAE,KAAK;YACd,SAAS,EAAE,gBAAgB,GAAG,YAAY;SAC3C,CAAC;IACJ,CAAC;IAED,0CAA0C;IAC1C,IAAI,cAAc,KAAK,kBAAkB,IAAI,cAAc,KAAK,gBAAgB,EAAE,CAAC;QACjF,OAAO;YACL,OAAO,EAAE,KAAK;YACd,SAAS,EAAE,oBAAoB,GAAG,YAAY;SAC/C,CAAC;IACJ,CAAC;IAED,oBAAoB;IACpB,IAAI,cAAc,KAAK,kBAAkB,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACnF,MAAM,QAAQ,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3E,IAAI,QAAQ,EAAE,CAAC;YACb,KAAK,MAAM,OAAO,IAAI,iCAAiC,EAAE,CAAC;gBACxD,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC3B,OAAO;wBACL,OAAO,EAAE,KAAK;wBACd,SAAS,EAAE,WAAW,GAAG,aAAa,OAAO,CAAC,MAAM,GAAG;qBACxD,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAA6B;IAK/D,MAAM,MAAM,GAAG,EAAE,gBAAgB,EAAE,EAAc,EAAE,YAAY,EAAE,EAAc,EAAE,cAAc,EAAE,EAAc,EAAE,CAAC;IAClH,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/engine/task_context.d.ts

@@ -5,6 +5,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 type { PlanProposalGateResult, PlanProposalEvidence } from "./plan_proposal_gate.js";
 /**
  * 任务上下文管理器 — 负责任务状态的创建、持久化、查询和生命周期管理。
  * 状态文件存储在 stateDir 目录下，每个任务一个 JSON 文件。
@@ -124,10 +125,16 @@ export declare class TaskContextManager {
      */
     autoFailStale(): Promise<string[]>;
     /**
-     * 清理过期和超量任务: 删除超过 30 天的任务，超过 100 个时淘汰最旧的已完成/已失败任务。
-     * @returns 删除的任务数量
+     * 清理过期和超量任务: 使用 retention_policy 驱动清理决策。
+     * @param dryRun - 默认 true，仅评估不删除
+     * @returns 清理评估结果
      */
-    cleanup(): Promise<number>;
+    cleanup(dryRun?: boolean): Promise<{
+        removed: number;
+        protected: number;
+        forbidden_content_hits: string[];
+        dry_run: boolean;
+    }>;
     /**
      * 设置任务计划结果。
      * @param taskId - 任务 ID
@@ -153,6 +160,21 @@ export declare class TaskContextManager {
      * 设置工具调用追踪和违规记录。
      */
     setToolTrace(taskId: string, trace: ToolTrace, violations?: ToolInvocationViolation[]): Promise<TaskContext | null>;
+    /**
+     * 持久化 Plan Proposal Gate 评估结果。
+     */
+    setPlanProposalGate(taskId: string, gate: PlanProposalGateResult): Promise<TaskContext | null>;
+    /**
+     * 持久化 Plan Proposal Evidence。
+     */
+    setPlanProposalEvidence(taskId: string, evidence: PlanProposalEvidence): Promise<TaskContext | null>;
+    /**
+     * 在执行动作前检查 Plan Gate。
+     */
+    checkPlanGateBeforeWrite(ctx: TaskContext): {
+        allowed: boolean;
+        reason_zh: string;
+    };
     /**
      * 设置任务产物输出。
      * @param taskId - 任务 ID

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;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"}
+{"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;AAGlD,OAAO,KAAK,EAAE,sBAAsB,EAAE,oBAAoB,EAA4C,MAAM,yBAAyB,CAAC;AAmCtI;;;;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;IAiB3C;;;;;;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;;;;OAIG;IACG,OAAO,CAAC,MAAM,UAAO,GAAG,OAAO,CAAC;QACpC,OAAO,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC;QAClB,sBAAsB,EAAE,MAAM,EAAE,CAAC;QACjC,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC;IAsEF;;;;;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;IAUzH;;OAEG;IACG,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,sBAAsB,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAQpG;;OAEG;IACG,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,oBAAoB,GAAG,OAAO,CAAC,WAAW,GAAG,IAAI,CAAC;IAQ1G;;OAEG;IACH,wBAAwB,CAAC,GAAG,EAAE,WAAW,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE;IAenF;;;;;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,CAqEtE"}

package/dist/engine/task_context.js

@@ -9,6 +9,8 @@ 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";
+import { evaluateNoFalseCompletion, recordCepIntegration } from "./core_experience_principle.js";
+import { debug } from "./logger.js";
 /**
  * 任务上下文管理器 — 管理任务的完整生命周期状态持久化。
  *
@@ -108,7 +110,7 @@ export class TaskContextManager {
         }
         await this.save(ctx);
         await this.writeCurrentPointer(taskId);
-        console.error("[soloForge] 任务上下文: 创建任务 " + taskId);
+        debug("任务上下文", "创建任务 " + taskId);
         return ctx;
     }
     /**
@@ -123,7 +125,7 @@ export class TaskContextManager {
             return JSON.parse(data);
         }
         catch (e) {
-            console.error("[soloForge] 任务上下文: 加载任务文件失败(预期行为: 文件不存在或解析错误) —", taskId, e);
+            debug("任务上下文", "加载任务文件失败(预期行为: 文件不存在或解析错误) —", taskId, e);
             return null;
         }
     }
@@ -132,6 +134,14 @@ export class TaskContextManager {
      * @param ctx - 任务上下文对象
      */
     async save(ctx) {
+        // problem-17: 保存前校验 StateFact 分区合规性
+        const { validateStateFactPartition } = await import("./state_fact_classifier.js");
+        const violations = validateStateFactPartition(ctx);
+        const hardFails = violations.filter(v => v.severity === "hard_fail");
+        if (hardFails.length > 0) {
+            const msgs = hardFails.map(v => v.message_zh).join("; ");
+            throw new Error(`StateFact 分区违规: ${msgs}`);
+        }
         const filePath = this.taskFilePath(ctx.task_id);
         // 原子写入: 先写 .tmp 临时文件，再 rename 覆盖，防止写入中断导致文件损坏
         const tmpPath = `${filePath}.tmp`;
@@ -152,11 +162,11 @@ export class TaskContextManager {
         if (!VALID_TRANSITIONS[ctx.status].includes(status)) {
             throw new Error(`无效状态转换: ${ctx.status} → ${status}`);
         }
-        // Batch2: 状态护栏 — 阻断 failed/blocked/requires_human → done
+        // 状态护栏 — 阻断 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}`);
+                throw new Error(`状态护栏阻断: ${guardFindings[0].reason_zh}`);
             }
         }
         // 事实前置条件校验：防止无数据伪推进
@@ -186,7 +196,7 @@ export class TaskContextManager {
         const prevStatus = ctx.status;
         ctx.status = status;
         await this.save(ctx);
-        console.error("[soloForge] 任务上下文: 任务 " + taskId + " 状态转换 " + prevStatus + " → " + status);
+        debug("任务上下文", "任务 " + taskId + " 状态转换 " + prevStatus + " → " + status);
         if (status === "executing") {
             // CAP-011: 进入执行阶段时自动从膨胀范围捕获 baseline
             const scopePaths = ctx.expansion?.scope?.allowed_paths;
@@ -405,7 +415,7 @@ export class TaskContextManager {
             return ctx;
         }
         catch (e) {
-            console.error("[soloForge] 任务上下文: 获取当前任务失败(预期行为: 指针文件不存在或解析错误) —", e);
+            debug("任务上下文", "获取当前任务失败(预期行为: 指针文件不存在或解析错误) —", e);
             return null;
         }
     }
@@ -423,7 +433,7 @@ export class TaskContextManager {
         // 通过 VALID_TRANSITIONS 校验取消是否合法
         const allowed = VALID_TRANSITIONS[ctx.status];
         if (!allowed || !allowed.includes("failed")) {
-            console.error(`[soloForge] 任务上下文: 无法从 ${ctx.status} 取消到 failed`);
+            debug("任务上下文", `无法从 ${ctx.status} 取消到 failed`);
             return false;
         }
         ctx.status = "failed";
@@ -432,7 +442,7 @@ export class TaskContextManager {
         this.diffOwnership.clearTask(taskId);
         this.scopeLease.release(taskId);
         await this.clearCurrentPointerIfMatches(taskId);
-        console.error("[soloForge] 任务上下文: 已取消任务 " + taskId);
+        debug("任务上下文", "已取消任务 " + taskId);
         return true;
     }
     /**
@@ -511,7 +521,7 @@ export class TaskContextManager {
                     ctx.status = "failed";
                     await this.save(ctx);
                     failed.push(ctx.task_id);
-                    console.error(`[soloForge] 任务上下文: 自动终结陈旧任务 ${ctx.task_id} (${prevStatus}, ${Math.round(elapsed / 60000)}min)`);
+                    debug("任务上下文", `自动终结陈旧任务 ${ctx.task_id} (${prevStatus}, ${Math.round(elapsed / 60000)}min)`);
                 }
             }
             catch {
@@ -521,53 +531,68 @@ export class TaskContextManager {
         return failed;
     }
     /**
-     * 清理过期和超量任务: 删除超过 30 天的任务，超过 100 个时淘汰最旧的已完成/已失败任务。
-     * @returns 删除的任务数量
+     * 清理过期和超量任务: 使用 retention_policy 驱动清理决策。
+     * @param dryRun - 默认 true，仅评估不删除
+     * @returns 清理评估结果
      */
-    async cleanup() {
+    async cleanup(dryRun = true) {
+        const { evaluateCleanup, checkForbiddenContent } = await import("./retention_policy.js");
         const files = await fs.readdir(this.stateDir);
         const taskFiles = files.filter((f) => f.startsWith("task-") && f.endsWith(".json"));
         const now = Date.now();
-        const maxAge = MAX_TASK_AGE_DAYS * 24 * 60 * 60 * 1000;
-        let removed = 0;
+        const allForbiddenHits = [];
         const allTasks = [];
         for (const f of taskFiles) {
             try {
                 const filePath = path.join(this.stateDir, f);
                 const content = await fs.readFile(filePath, "utf-8");
                 const ctx = JSON.parse(content);
+                // 检查禁止内容: task_context 不得包含 raw_prompt/chain_of_thought/secret 等
+                const forbiddenHits = checkForbiddenContent("task_context", content);
+                if (forbiddenHits.length > 0) {
+                    allForbiddenHits.push(`${ctx.task_id ?? f}: ${forbiddenHits.join(", ")}`);
+                }
+                const createdAt = ctx.created_at ? new Date(ctx.created_at).getTime() : now;
                 const stat = await fs.stat(filePath);
-                const createdAt = ctx.created_at ? new Date(ctx.created_at).getTime() : Infinity;
                 const earliestTime = Math.min(createdAt, stat.mtimeMs);
-                // 收集元数据用于后续超量淘汰
+                const ageDays = Math.max(0, (now - earliestTime) / (24 * 60 * 60 * 1000));
+                const isReferenced = !["done", "failed"].includes(ctx.status ?? "");
                 if (ctx.task_id && ctx.created_at && ctx.status) {
-                    allTasks.push({ task_id: ctx.task_id, created_at: ctx.created_at, status: ctx.status });
+                    allTasks.push({ task_id: ctx.task_id, created_at: ctx.created_at, status: ctx.status, file: filePath, age_days: ageDays });
                 }
-                if (now - earliestTime > maxAge) {
-                    await fs.unlink(filePath);
-                    removed++;
+                else if (ageDays > MAX_TASK_AGE_DAYS) {
+                    // 无法解析的过期文件
+                    allTasks.push({ task_id: f, created_at: "", status: "done", file: filePath, age_days: ageDays });
                 }
             }
-            catch (e) {
-                console.error("[soloForge] 任务上下文: 清理任务文件失败(预期行为: 文件无法删除) —", e);
+            catch {
+                // 跳过不可读文件
             }
         }
-        // 基于已收集的元数据进行超量淘汰，避免二次 I/O
-        const surviving = allTasks
-            .sort((a, b) => b.created_at.localeCompare(a.created_at));
-        if (surviving.length > MAX_TASKS) {
-            const toDelete = surviving.slice(MAX_TASKS).filter((t) => t.status === "done" || t.status === "failed");
-            for (const t of toDelete) {
-                try {
-                    await fs.unlink(this.taskFilePath(t.task_id));
-                    removed++;
-                }
-                catch (e) {
-                    console.debug("[soloForge]", e);
+        // 使用 retention policy 评估清理候选
+        const records = allTasks.map(t => ({ id: t.task_id, age_days: t.age_days, is_referenced: !["done", "failed"].includes(t.status) }));
+        const result = evaluateCleanup("task_context", records, dryRun);
+        let removed = 0;
+        if (!dryRun && result.cleanup_candidates.length > 0) {
+            for (const taskId of result.cleanup_candidates) {
+                const task = allTasks.find(t => t.task_id === taskId);
+                if (task) {
+                    try {
+                        await fs.unlink(task.file);
+                        removed++;
+                    }
+                    catch {
+                        // 文件已被删除
+                    }
                 }
             }
         }
-        return removed;
+        return {
+            removed: dryRun ? 0 : removed,
+            protected: result.protected_records,
+            forbidden_content_hits: allForbiddenHits,
+            dry_run: result.dry_run,
+        };
     }
     /**
      * 设置任务计划结果。
@@ -627,6 +652,44 @@ export class TaskContextManager {
         await this.save(ctx);
         return ctx;
     }
+    /**
+     * 持久化 Plan Proposal Gate 评估结果。
+     */
+    async setPlanProposalGate(taskId, gate) {
+        const ctx = await this.load(taskId);
+        if (!ctx)
+            return null;
+        ctx.plan_proposal_gate = gate;
+        await this.save(ctx);
+        return ctx;
+    }
+    /**
+     * 持久化 Plan Proposal Evidence。
+     */
+    async setPlanProposalEvidence(taskId, evidence) {
+        const ctx = await this.load(taskId);
+        if (!ctx)
+            return null;
+        ctx.plan_proposal_evidence = evidence;
+        await this.save(ctx);
+        return ctx;
+    }
+    /**
+     * 在执行动作前检查 Plan Gate。
+     */
+    checkPlanGateBeforeWrite(ctx) {
+        const gate = ctx.plan_proposal_gate;
+        if (!gate) {
+            return { allowed: false, reason_zh: "执行前缺少 Plan Proposal Gate 评估结果" };
+        }
+        if (!gate.passed) {
+            return { allowed: false, reason_zh: `Plan Gate 未通过: ${gate.reason_zh}` };
+        }
+        if (gate.blocked_actions.length > 0) {
+            return { allowed: false, reason_zh: `以下动作被 Plan Gate 阻断: ${gate.blocked_actions.join(", ")}` };
+        }
+        return { allowed: true, reason_zh: "Plan Gate 通过" };
+    }
     /**
      * 设置任务产物输出。
      * @param taskId - 任务 ID
@@ -749,7 +812,7 @@ export class TaskContextManager {
         }
         catch (e) {
             // 文件不存在或解析失败 → 删除损坏的指针
-            console.error("[soloForge] 任务上下文: 清除当前任务指针失败(预期行为: 指针文件不存在或解析错误) —", e);
+            debug("任务上下文", "清除当前任务指针失败(预期行为: 指针文件不存在或解析错误) —", e);
             await fs.unlink(this.pointerPath).catch(() => { });
         }
     }
@@ -781,7 +844,7 @@ export class TaskContextManager {
  * @returns 阶段指令
  */
 export function computePhaseDirective(ctx) {
-    console.error("[soloForge] task_context: computePhaseDirective() 开始执行");
+    debug("task_context", "computePhaseDirective() 开始执行");
     // 审查通过 → 完成
     if (ctx.code_review && ctx.code_review.findings.length === 0) {
         return "completed";
@@ -795,6 +858,19 @@ export function computePhaseDirective(ctx) {
             if (reworkCount >= MAX_REWORK) {
                 return "stop_escalate";
             }
+            // CEP: repair_reverify 决策点
+            const cepRepairResult = evaluateNoFalseCompletion({
+                verification_passed: false, build_passed: false,
+                browser_acceptance_passed: false, guard_passed: true,
+                evidence_sufficient: false, current_status: ctx.status,
+            });
+            recordCepIntegration("repair_reverify", {
+                passed: cepRepairResult.decision === "repair_reverify",
+                violations: cepRepairResult.decision === "blocked" ? [{
+                        principle: "auto_repair_no_fake_completion", severity: "blocking",
+                        reason_zh: cepRepairResult.reason_zh, evidence_refs: [], required_action: "repair_reverify",
+                    }] : [],
+            });
             return "repair_reverify";
         }
     }
@@ -804,6 +880,19 @@ export function computePhaseDirective(ctx) {
         if (reworkCount >= MAX_REWORK) {
             return "stop_escalate";
         }
+        // CEP: repair_reverify 决策点（主链路集成失败）
+        const cepRepairResult2 = evaluateNoFalseCompletion({
+            verification_passed: false, build_passed: true,
+            browser_acceptance_passed: true, guard_passed: true,
+            evidence_sufficient: false, current_status: ctx.status,
+        });
+        recordCepIntegration("repair_reverify", {
+            passed: cepRepairResult2.decision === "repair_reverify",
+            violations: cepRepairResult2.decision === "blocked" ? [{
+                    principle: "auto_repair_no_fake_completion", severity: "blocking",
+                    reason_zh: cepRepairResult2.reason_zh, evidence_refs: [], required_action: "repair_reverify",
+                }] : [],
+        });
         return "repair_reverify";
     }
     // 验证失败 → 根据修复循环状态决定