soloforge 1.1.40 → 1.1.43

package/dist/core/task_context/retention_policy.js

@@ -0,0 +1,128 @@
+/**
+ * Retention Policy — 模块模块。
+ *
+ * 职责边界：
+ * - 负责：RecordStatus 等 模块职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：上层模块按需调用
+ * 调用谁：无外部依赖
+ *
+ * 数据流：输入 → RecordStatus 处理 → 输出
+ * 持久化：无持久化（纯计算/内存态）
+ */
+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 (new RegExp(`\\b${forbidden.replace(/[.*+?^${}()|[\]\\]/g, '\\$&')}\\b`, 'i').test(content)) {
+            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/core/task_context/retention_policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retention_policy.js","sourceRoot":"","sources":["../../../src/core/task_context/retention_policy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;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,IAAI,MAAM,CAAC,MAAM,SAAS,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/F,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/core/task_context/stage_fact_ownership.d.ts

@@ -0,0 +1,56 @@
+/**
+ * Stage Fact Ownership — 阶段-字段归属表（R-地基）。
+ *
+ * 职责边界：
+ * - 负责：TaskContext 确认态字段 → 归属阶段的映射 + applyResetConfirmationsFromStage 纯函数
+ * - 不负责：持久化（manager_setters withLock 包装）、阶段执行（stage_execution）
+ *
+ * 被谁调用：TaskContextManager.resetConfirmationsFromStage（R1 reset-to-stage / R2 rollback / R3 核弹reset 三处复用）
+ * 调用谁：无（纯函数，内部硬编码阶段顺序）
+ *
+ * 数据流：(TaskContext, targetStage) → 清字段后的 ctx（原地修改）+ cleared 清单
+ * 持久化：无（纯函数，由调用方 manager_setters withLock + save 持久化）
+ *
+ * 设计依据（第一性原理，红线第 9 条）：reset / rollback / 核弹reset 三者都不清 task_context 确认态
+ * = 死锁污染源共性根因。抽象单一根因能力 resetConfirmationsFromStage，三处复用，不得各写一套。
+ *
+ * 字段归属逐条核实 src/pipeline/types.ts TaskContext（行 115-322）全部 65 个可选字段，三集合全覆盖无遗漏。
+ */
+import { type DomainName } from "../../core/types.js";
+import type { TaskContext } from "../../types/pipeline_types.js";
+/**
+ * 确认态字段 → 归属域。reset 到 target 域时，owner 在 target 及之后的字段一律清（undefined）。
+ * 仅含「某域确定性产出」字段；横跨多域的运行时态见 GLOBAL_RUNTIME_FACTS。
+ */
+export declare const STAGE_FACT_OWNERSHIP: Record<string, DomainName>;
+/**
+ * 全局运行时态（不按阶段归属）— reset 一律清（任何阶段重置都代表运行时态作废重来）。
+ * 核实依据：执行/验证/审查/交付/回退/诊断等横跨多阶段的运行时态，非某阶段确定性产出。
+ */
+export declare const GLOBAL_RUNTIME_FACTS: readonly string[];
+/**
+ * 保留字段（基础设施 / 需求分析前产出 / 全流程审计证据）— reset 不动。
+ * - 基础设施：task_id/created_at/updated_at/schema_version/intent/product_profile/status
+ * - 需求分析前产出：classification/expansion（分类/扩展在需求分析之前完成）
+ * - 证据门禁基础设施：evidence_matrix/evidence_gate_result/unsupported_claims/conflict_resolutions（全流程证据骨架）
+ * - 确认引用/计划骨架：user_confirmation_ref/verification_plan_ref/verification_plan（plan_only 非结果）
+ * - 隐私/审计记录：sensitivity_labels/redaction_records/ingestion_evidences
+ * - 工具追踪：last_tool_trace/invocation_violations/workflow_trace
+ */
+export declare const PRESERVED_FACTS: ReadonlySet<string>;
+/**
+ * 纯函数：在 TaskContext 上清除 target 域及之后的确认态字段 + 全部全局运行时态。
+ * PRESERVED_FACTS 不动。原地修改 ctx 并返回 cleared 字段清单（R1/R2/R3 共用根因能力）。
+ *
+ * 规则（红线第 8/9 条）：
+ * - STAGE_FACT_OWNERSHIP：owner 在 DOMAIN_ORDER 中 index >= targetIdx 且字段非 undefined → 清
+ * - GLOBAL_RUNTIME_FACTS：非 undefined → 清（无论 target）
+ * - 旧管线无字段（undefined）：不清（无操作，向后兼容）
+ * - 无效 targetDomain：抛错（强校验，避免静默清错域）
+ *
+ * @param ctx 任务上下文（原地修改）
+ * @param targetDomain 重置目标域（DOMAIN_ORDER 之一）
+ * @returns cleared 被清除的字段名清单
+ */
+export declare function applyResetConfirmationsFromStage(ctx: TaskContext, targetDomain: string): string[];
+//# sourceMappingURL=stage_fact_ownership.d.ts.map

package/dist/core/task_context/stage_fact_ownership.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stage_fact_ownership.d.ts","sourceRoot":"","sources":["../../../src/core/task_context/stage_fact_ownership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAgB,KAAK,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACpE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAEjE;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAyB3D,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE,SAAS,MAAM,EAQjD,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,MAAM,CAQ9C,CAAC;AAEH;;;;;;;;;;;;;GAaG;AACH,wBAAgB,gCAAgC,CAC9C,GAAG,EAAE,WAAW,EAChB,YAAY,EAAE,MAAM,GACnB,MAAM,EAAE,CAyBV"}

package/dist/core/task_context/stage_fact_ownership.js

@@ -0,0 +1,118 @@
+/**
+ * Stage Fact Ownership — 阶段-字段归属表（R-地基）。
+ *
+ * 职责边界：
+ * - 负责：TaskContext 确认态字段 → 归属阶段的映射 + applyResetConfirmationsFromStage 纯函数
+ * - 不负责：持久化（manager_setters withLock 包装）、阶段执行（stage_execution）
+ *
+ * 被谁调用：TaskContextManager.resetConfirmationsFromStage（R1 reset-to-stage / R2 rollback / R3 核弹reset 三处复用）
+ * 调用谁：无（纯函数，内部硬编码阶段顺序）
+ *
+ * 数据流：(TaskContext, targetStage) → 清字段后的 ctx（原地修改）+ cleared 清单
+ * 持久化：无（纯函数，由调用方 manager_setters withLock + save 持久化）
+ *
+ * 设计依据（第一性原理，红线第 9 条）：reset / rollback / 核弹reset 三者都不清 task_context 确认态
+ * = 死锁污染源共性根因。抽象单一根因能力 resetConfirmationsFromStage，三处复用，不得各写一套。
+ *
+ * 字段归属逐条核实 src/pipeline/types.ts TaskContext（行 115-322）全部 65 个可选字段，三集合全覆盖无遗漏。
+ */
+import { DOMAIN_ORDER } from "../../core/types.js";
+/**
+ * 确认态字段 → 归属域。reset 到 target 域时，owner 在 target 及之后的字段一律清（undefined）。
+ * 仅含「某域确定性产出」字段；横跨多域的运行时态见 GLOBAL_RUNTIME_FACTS。
+ */
+export const STAGE_FACT_OWNERSHIP = {
+    // design 域产出（现有系统分析 + 架构设计 + 详细设计 + 任务规划）
+    existing_system_analysis: "design",
+    requirement_gap_analysis: "design",
+    decision_workshop: "design",
+    architecture_decision_workshop: "design",
+    brainstorm_session: "design",
+    first_principles_frame: "design",
+    technology_decision_contract: "design",
+    technology_decision_record: "design",
+    detail_discipline_contract: "design",
+    provided_details: "design",
+    design_artifact_pack: "design",
+    plan_proposal_gate: "design",
+    plan_proposal_evidence: "design",
+    planning: "design",
+    // build 域产出（编码实现 + 单元测试 + 工程质量审查）
+    ood_solid_summary: "build",
+    ood_solid_findings: "build",
+    backend_implementation_work_package: "build",
+    backend_implementation_findings: "build",
+    code_observability_work_package: "build",
+    code_observability_findings: "build",
+    instruction_contract: "build",
+    coding_readiness_contract: "build",
+};
+/**
+ * 全局运行时态（不按阶段归属）— reset 一律清（任何阶段重置都代表运行时态作废重来）。
+ * 核实依据：执行/验证/审查/交付/回退/诊断等横跨多阶段的运行时态，非某阶段确定性产出。
+ */
+export const GLOBAL_RUNTIME_FACTS = [
+    "execution", "verification", "verification_result",
+    "code_review", "delivery", "delivery_readiness", "failure_report",
+    "artifact_output", "file_baseline", "rollback_directive",
+    "rework_history", "phase_directive",
+    "code_quality_result", "omission_scan_result", "degradation_event",
+    "review_knowledge_hints", "local_acceptance_evidence", "core_experience_evaluation",
+    "skip_verification_reason", "repair_reverify_directive",
+];
+/**
+ * 保留字段（基础设施 / 需求分析前产出 / 全流程审计证据）— reset 不动。
+ * - 基础设施：task_id/created_at/updated_at/schema_version/intent/product_profile/status
+ * - 需求分析前产出：classification/expansion（分类/扩展在需求分析之前完成）
+ * - 证据门禁基础设施：evidence_matrix/evidence_gate_result/unsupported_claims/conflict_resolutions（全流程证据骨架）
+ * - 确认引用/计划骨架：user_confirmation_ref/verification_plan_ref/verification_plan（plan_only 非结果）
+ * - 隐私/审计记录：sensitivity_labels/redaction_records/ingestion_evidences
+ * - 工具追踪：last_tool_trace/invocation_violations/workflow_trace
+ */
+export const PRESERVED_FACTS = new Set([
+    "task_id", "schema_version", "created_at", "updated_at", "intent",
+    "product_profile", "status",
+    "classification", "expansion",
+    "evidence_matrix", "evidence_gate_result", "unsupported_claims", "conflict_resolutions",
+    "user_confirmation_ref", "verification_plan_ref", "verification_plan",
+    "sensitivity_labels", "redaction_records", "ingestion_evidences",
+    "last_tool_trace", "invocation_violations", "workflow_trace",
+]);
+/**
+ * 纯函数：在 TaskContext 上清除 target 域及之后的确认态字段 + 全部全局运行时态。
+ * PRESERVED_FACTS 不动。原地修改 ctx 并返回 cleared 字段清单（R1/R2/R3 共用根因能力）。
+ *
+ * 规则（红线第 8/9 条）：
+ * - STAGE_FACT_OWNERSHIP：owner 在 DOMAIN_ORDER 中 index >= targetIdx 且字段非 undefined → 清
+ * - GLOBAL_RUNTIME_FACTS：非 undefined → 清（无论 target）
+ * - 旧管线无字段（undefined）：不清（无操作，向后兼容）
+ * - 无效 targetDomain：抛错（强校验，避免静默清错域）
+ *
+ * @param ctx 任务上下文（原地修改）
+ * @param targetDomain 重置目标域（DOMAIN_ORDER 之一）
+ * @returns cleared 被清除的字段名清单
+ */
+export function applyResetConfirmationsFromStage(ctx, targetDomain) {
+    const targetIdx = DOMAIN_ORDER.indexOf(targetDomain);
+    if (targetIdx < 0) {
+        throw new Error(`无效的重置目标域: ${targetDomain}。有效值: ${DOMAIN_ORDER.join(", ")}`);
+    }
+    const ctxRecord = ctx;
+    const cleared = [];
+    // 1. 域归属字段：owner 在 target 及之后 → 清
+    for (const [fact, owner] of Object.entries(STAGE_FACT_OWNERSHIP)) {
+        if (DOMAIN_ORDER.indexOf(owner) >= targetIdx && ctxRecord[fact] !== undefined) {
+            ctxRecord[fact] = undefined;
+            cleared.push(fact);
+        }
+    }
+    // 2. 全局运行时态：一律清（任何域重置都作废运行时态）
+    for (const fact of GLOBAL_RUNTIME_FACTS) {
+        if (ctxRecord[fact] !== undefined) {
+            ctxRecord[fact] = undefined;
+            cleared.push(fact);
+        }
+    }
+    return cleared;
+}
+//# sourceMappingURL=stage_fact_ownership.js.map

package/dist/core/task_context/stage_fact_ownership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stage_fact_ownership.js","sourceRoot":"","sources":["../../../src/core/task_context/stage_fact_ownership.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,YAAY,EAAmB,MAAM,qBAAqB,CAAC;AAGpE;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAA+B;IAC9D,0CAA0C;IAC1C,wBAAwB,EAAE,QAAQ;IAClC,wBAAwB,EAAE,QAAQ;IAClC,iBAAiB,EAAE,QAAQ;IAC3B,8BAA8B,EAAE,QAAQ;IACxC,kBAAkB,EAAE,QAAQ;IAC5B,sBAAsB,EAAE,QAAQ;IAChC,4BAA4B,EAAE,QAAQ;IACtC,0BAA0B,EAAE,QAAQ;IACpC,0BAA0B,EAAE,QAAQ;IACpC,gBAAgB,EAAE,QAAQ;IAC1B,oBAAoB,EAAE,QAAQ;IAC9B,kBAAkB,EAAE,QAAQ;IAC5B,sBAAsB,EAAE,QAAQ;IAChC,QAAQ,EAAE,QAAQ;IAClB,kCAAkC;IAClC,iBAAiB,EAAE,OAAO;IAC1B,kBAAkB,EAAE,OAAO;IAC3B,mCAAmC,EAAE,OAAO;IAC5C,+BAA+B,EAAE,OAAO;IACxC,+BAA+B,EAAE,OAAO;IACxC,2BAA2B,EAAE,OAAO;IACpC,oBAAoB,EAAE,OAAO;IAC7B,yBAAyB,EAAE,OAAO;CACnC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAsB;IACrD,WAAW,EAAE,cAAc,EAAE,qBAAqB;IAClD,aAAa,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB;IACjE,iBAAiB,EAAE,eAAe,EAAE,oBAAoB;IACxD,gBAAgB,EAAE,iBAAiB;IACnC,qBAAqB,EAAE,sBAAsB,EAAE,mBAAmB;IAClE,wBAAwB,EAAE,2BAA2B,EAAE,4BAA4B;IACnF,0BAA0B,EAAE,2BAA2B;CACxD,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC;IAC1D,SAAS,EAAE,gBAAgB,EAAE,YAAY,EAAE,YAAY,EAAE,QAAQ;IACjE,iBAAiB,EAAE,QAAQ;IAC3B,gBAAgB,EAAE,WAAW;IAC7B,iBAAiB,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,sBAAsB;IACvF,uBAAuB,EAAE,uBAAuB,EAAE,mBAAmB;IACrE,oBAAoB,EAAE,mBAAmB,EAAE,qBAAqB;IAChE,iBAAiB,EAAE,uBAAuB,EAAE,gBAAgB;CAC7D,CAAC,CAAC;AAEH;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,gCAAgC,CAC9C,GAAgB,EAChB,YAAoB;IAEpB,MAAM,SAAS,GAAG,YAAY,CAAC,OAAO,CAAC,YAA0B,CAAC,CAAC;IACnE,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,aAAa,YAAY,SAAS,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,MAAM,SAAS,GAAG,GAAyC,CAAC;IAC5D,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,kCAAkC;IAClC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACjE,IAAI,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAC9E,SAAS,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,KAAK,MAAM,IAAI,IAAI,oBAAoB,EAAE,CAAC;QACxC,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAClC,SAAS,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/core/task_context/state_fact_classifier.d.ts

@@ -0,0 +1,47 @@
+/**
+ * State Fact Classifier — 模块模块。
+ *
+ * 职责边界：
+ * - 负责：StateFactCategory 等 模块职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：上层模块按需调用
+ * 调用谁：无外部依赖
+ *
+ * 数据流：输入 → StateFactCategory 处理 → 输出
+ * 持久化：无持久化（纯计算/内存态）
+ */
+export type StateFactCategory = "engineering_fact" | "ai_inference" | "prompt_content";
+export interface StateFactViolation {
+    severity: "hard_fail" | "warning";
+    key: string;
+    expected_category: StateFactCategory;
+    actual_category: StateFactCategory;
+    message_zh: string;
+}
+/**
+ * 获取字段的分区类别。
+ */
+export declare function classifyField(key: string): StateFactCategory;
+/**
+ * 验证 TaskContext 数据分区合规性。
+ * 检查所有字段是否符合分区规则。
+ */
+export declare function validateStateFactPartition(data: Record<string, unknown>): StateFactViolation[];
+/**
+ * 检查指定字段是否允许写入目标分区。
+ * 用于 TaskContext save 前的实时校验。
+ */
+export declare function isWriteAllowed(key: string, targetCategory: StateFactCategory, value: unknown): {
+    allowed: boolean;
+    reason_zh?: string;
+};
+/**
+ * 获取字段分区摘要（用于诊断输出）。
+ */
+export declare function getStateFactSummary(data: Record<string, unknown>): {
+    engineering_fact: string[];
+    ai_inference: string[];
+    prompt_content: string[];
+};
+//# sourceMappingURL=state_fact_classifier.d.ts.map

package/dist/core/task_context/state_fact_classifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state_fact_classifier.d.ts","sourceRoot":"","sources":["../../../src/core/task_context/state_fact_classifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,MAAM,MAAM,iBAAiB,GAAG,kBAAkB,GAAG,cAAc,GAAG,gBAAgB,CAAC;AAEvF,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAC;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,eAAe,EAAE,iBAAiB,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC;CACpB;AAyDD;;GAEG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,iBAAiB,CAE5D;AAED;;;GAGG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,kBAAkB,EAAE,CAwC9F;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,GAAG,EAAE,MAAM,EACX,cAAc,EAAE,iBAAiB,EACjC,KAAK,EAAE,OAAO,GACb;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,CAmC1C;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG;IAClE,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B,CAMA"}

package/dist/core/task_context/state_fact_classifier.js

@@ -0,0 +1,158 @@
+/**
+ * State Fact Classifier — 模块模块。
+ *
+ * 职责边界：
+ * - 负责：StateFactCategory 等 模块职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：上层模块按需调用
+ * 调用谁：无外部依赖
+ *
+ * 数据流：输入 → StateFactCategory 处理 → 输出
+ * 持久化：无持久化（纯计算/内存态）
+ */
+// 字段 → 分区映射
+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",
+    pipeline_state: "engineering_fact",
+    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/core/task_context/state_fact_classifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state_fact_classifier.js","sourceRoot":"","sources":["../../../src/core/task_context/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,kBAAkB;IAClC,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/core/task_context/status_transitions.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Status Transitions — 管线层模块。
+ *
+ * 职责边界：
+ * - 负责：validateAndUpdateStatus 等 管线层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：状态机、工具层
+ * 调用谁：index、constants、errors
+ *
+ * 数据流：用户意图 → 解析/扩展 → 执行 → 输出
+ * 持久化：无持久化（纯计算/内存态）
+ */
+import type { TaskContext } from "../../types/index.js";
+/**
+ * 验证状态转换的合法性，执行事实前置条件校验。
+ * 返回验证后的上下文（状态已修改但未持久化），或抛出错误。
+ *
+ * 阶段门禁（原 stage_gate_engine.ts）已迁移到 certainty_gate.ts，
+ * 由 sf_gate 在域引擎中统一调用。
+ */
+export declare function validateAndUpdateStatus(ctx: TaskContext, targetStatus: TaskContext["status"], _templatesDir?: string, _systemType?: "new_system" | "existing_system"): TaskContext;
+//# sourceMappingURL=status_transitions.d.ts.map

package/dist/core/task_context/status_transitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"status_transitions.d.ts","sourceRoot":"","sources":["../../../src/core/task_context/status_transitions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAMxD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACrC,GAAG,EAAE,WAAW,EAChB,YAAY,EAAE,WAAW,CAAC,QAAQ,CAAC,EACnC,aAAa,CAAC,EAAE,MAAM,EACtB,WAAW,CAAC,EAAE,YAAY,GAAG,iBAAiB,GAC7C,WAAW,CAwEb"}

package/dist/core/task_context/status_transitions.js

@@ -0,0 +1,82 @@
+/**
+ * Status Transitions — 管线层模块。
+ *
+ * 职责边界：
+ * - 负责：validateAndUpdateStatus 等 管线层职责
+ * - 不负责：不属于本模块的职责由对应模块承担
+ *
+ * 被谁调用：状态机、工具层
+ * 调用谁：index、constants、errors
+ *
+ * 数据流：用户意图 → 解析/扩展 → 执行 → 输出
+ * 持久化：无持久化（纯计算/内存态）
+ */
+// FLAW-TASK-03 修复：原 evaluateStateGuard 导入用于 failed → done 死代码护栏，
+// 已移除。如未来恢复 failed → done 路径，需重新导入并配合 VALID_TRANSITIONS 修改。
+import { VALID_TRANSITIONS } from "./constants.js";
+import { SoloForgeError } from "../../shared/errors.js";
+/**
+ * 验证状态转换的合法性，执行事实前置条件校验。
+ * 返回验证后的上下文（状态已修改但未持久化），或抛出错误。
+ *
+ * 阶段门禁（原 stage_gate_engine.ts）已迁移到 certainty_gate.ts，
+ * 由 sf_gate 在域引擎中统一调用。
+ */
+export function validateAndUpdateStatus(ctx, targetStatus, _templatesDir, _systemType) {
+    if (!VALID_TRANSITIONS[ctx.status].includes(targetStatus)) {
+        throw new SoloForgeError(`无效状态转换: ${ctx.status} → ${targetStatus}`, "INVALID_STATUS_TRANSITION", "error", "检查 VALID_TRANSITIONS 常量和任务当前状态");
+    }
+    // ── 已移除的 failed → done 护栏（FLAW-TASK-03 修复） ──
+    // 原: 此处有 evaluateStateGuard 双重防线，但因 failed → done 不在 VALID_TRANSITIONS 中，
+    //     第 27 行的 VALID_TRANSITIONS 校验已先抛出 INVALID_STATUS_TRANSITION，此 guard 永远不可达。
+    // 设计决策: failed 任务应通过 retryExpand 恢复后重新走管线验证，不允许直接跳到 done。
+    //           如未来需支持 failed → done（如人工确认），须同步修改 VALID_TRANSITIONS 并重新评估风险。
+    //   原调用: evaluateStateGuard(ctx.status, "completed", "task_context_contract");
+    // 事实前置条件校验：防止无数据伪推进
+    if (ctx.status === "classifying" && targetStatus === "expanding") {
+        if (!ctx.classification) {
+            throw new Error(`事实缺失: classifying → expanding 需要 classification`);
+        }
+    }
+    if (ctx.status === "expanding" && targetStatus === "executing") {
+        if (!ctx.expansion) {
+            throw new Error(`事实缺失: expanding → executing 需要 expansion`);
+        }
+    }
+    if (ctx.status === "executing" && targetStatus === "verifying") {
+        const hasChangedFiles = ctx.execution && ctx.execution.changed_files.length > 0;
+        const hasFailureHistory = ctx.execution && ctx.execution.failure_history.length > 0;
+        const hasNoChangeArtifact = ctx.execution?.no_change_artifact === true;
+        if (!hasChangedFiles && !hasFailureHistory && !hasNoChangeArtifact) {
+            throw new Error(`事实缺失: executing → verifying 需要 execution evidence (changed_files / failure_history / no_change_artifact)`);
+        }
+    }
+    if (ctx.status === "verifying" && (targetStatus === "learning" || targetStatus === "done")) {
+        if (!ctx.skip_verification_reason) {
+            throw new Error(`事实缺失: verifying → ${targetStatus} 需要显式 skip_verification_reason`);
+        }
+    }
+    if (ctx.status === "failed" && targetStatus === "expanding") {
+        if (!ctx.classification) {
+            throw new Error(`事实缺失: failed → expanding 需要 classification`);
+        }
+    }
+    if (ctx.status === "failed" && targetStatus === "classifying") {
+        // 允许无 classification 回到 classifying 重新分类
+    }
+    if (ctx.status === "retrying" && targetStatus === "executing") {
+        if (!ctx.expansion) {
+            throw new Error(`事实缺失: retrying → executing 需要 expansion`);
+        }
+    }
+    if (ctx.status === "reworking" && targetStatus === "executing") {
+        if (!ctx.expansion) {
+            throw new Error(`事实缺失: reworking → executing 需要 expansion`);
+        }
+    }
+    // 阶段门禁已迁移到 certainty_gate.ts，由 sf_gate 统一执行。
+    // 旧 stage_gate_engine.ts 的 executeStageGate 已废弃，不再在此调用。
+    ctx.status = targetStatus;
+    return ctx;
+}
+//# sourceMappingURL=status_transitions.js.map