soloforge 1.2.18 → 1.2.20

package/dist/adapters/claude_code/tools.js

@@ -2,52 +2,71 @@ import { z } from "zod";
 import path from "node:path";
 import fss from "node:fs";
 import crypto from "node:crypto";
+import { verifyArtifact } from "../../engine/artifact_contract_registry.js";
 import { verifyRouteDecisionContract } from "../../engine/route_decision_contract_verifier.js";
 import { findToolInvocationContractByName, createToolTrace, validateToolInvocation, } from "../../engine/tool_invocation_contract_registry.js";
-import { classify } from "../../engine/classifier.js";
-import { shouldEnterSoloForge } from "../../engine/intent_router.js";
-import { expand } from "../../engine/intent_expander.js";
-import { generateVerifyCommands } from "../../engine/verifier.js";
-import { evolve } from "../../engine/evolver.js";
-import { planTask } from "../../engine/task_planner.js";
-import { analyzeImpact } from "../../engine/impact_analyzer.js";
-import { reviewCode } from "../../engine/code_reviewer.js";
-import { DebtTracker } from "../../engine/debt_tracker.js";
-import { generateScaffold } from "../../engine/scaffolder.js";
-import { deliver } from "../../engine/delivery.js";
-import { checkConflicts } from "../../engine/change_coordinator.js";
-import { getTeamStatus } from "../../engine/team_awareness.js";
-import { checkContractChanges } from "../../engine/contract_guard.js";
-import { onboard } from "../../engine/onboarding.js";
-import { realGitOps } from "../../engine/git_deps.js";
-import { auditKnowledge, addKnowledge, updateKnowledge } from "../../engine/knowledge_manager.js";
-import { checkFeasibility } from "../../engine/feasibility_checker.js";
-import { debugError } from "../../engine/debugger.js";
-import { generateReport } from "../../engine/observability.js";
-import { generateReport as generateGovernanceReport } from "../../engine/governance_report.js";
-import { resolveCurrentProjectConfigReports } from "../../engine/config_precedence_contract.js";
-import { analyzeMigration } from "../../engine/migration_guard.js";
-import { generateTestGuide } from "../../engine/test_generator.js";
-import { analyzeTestQuality } from "../../engine/test_quality.js";
-import { scanDependencies } from "../../engine/dependency_scanner.js";
-import { generateDebtReport } from "../../engine/debt_reporter.js";
-import { exploreSolutions } from "../../engine/exploration.js";
-import { scanAndResume } from "../../engine/workspace_resumer.js";
-import { LLMGateway } from "../../engine/llm_gateway.js";
-import { IOController } from "../../engine/io_controller.js";
-import { getSummary as getCapabilitySummary, getAllCapabilities } from "../../engine/capability_registry.js";
-import { validateDecisionOutput } from "../../engine/decision_contract.js";
-import { readMapJson, checkAnchorStaleness, filterRelevantAnchors } from "../../engine/cognitive_anchor.js";
-import { JobManager } from "../../engine/job_manager.js";
-import { AuditPool } from "../../engine/audit_pool.js";
-import { EscapeReportStore } from "../../engine/escape_report.js";
-import { sampleAuditItems } from "../../engine/audit_sampler.js";
-import { decideAction } from "../../engine/capability_action_advisor.js";
-import { CapabilityStateStore } from "../../engine/capability_state_store.js";
-import { auditIntegration, buildMainPathIntegrationContracts, } from "../../engine/main_path_integration_contract.js";
-import { validateMechanismLayerMaps, listMechanismLayerMaps, } from "../../engine/dual_layer_mechanism_registry.js";
-import { classifyIngestionStatus } from "../../engine/input_material_contract_registry.js";
-import { verifyArtifact, } from "../../engine/artifact_contract_registry.js";
+function createLazy(loader) {
+    let mod = { loaded: null, promise: null };
+    return () => {
+        if (mod.loaded)
+            return Promise.resolve(mod.loaded);
+        if (!mod.promise)
+            mod.promise = loader().then(m => { mod.loaded = m; return m; });
+        return mod.promise;
+    };
+}
+const lazyClassifier = createLazy(() => import("../../engine/classifier.js"));
+const lazyIntentRouter = createLazy(() => import("../../engine/intent_router.js"));
+const lazyExpander = createLazy(() => import("../../engine/intent_expander.js"));
+const lazyVerifier = createLazy(() => import("../../engine/verifier.js"));
+const lazyEvolver = createLazy(() => import("../../engine/evolver.js"));
+const lazyPlanner = createLazy(() => import("../../engine/task_planner.js"));
+const lazyImpact = createLazy(() => import("../../engine/impact_analyzer.js"));
+const lazyReviewer = createLazy(() => import("../../engine/code_reviewer.js"));
+const lazyDebt = createLazy(() => import("../../engine/debt_tracker.js"));
+const lazyScaffolder = createLazy(() => import("../../engine/scaffolder.js"));
+const lazyDelivery = createLazy(() => import("../../engine/delivery.js"));
+const lazyChangeCoord = createLazy(() => import("../../engine/change_coordinator.js"));
+const lazyTeam = createLazy(() => import("../../engine/team_awareness.js"));
+const lazyContractGuard = createLazy(() => import("../../engine/contract_guard.js"));
+const lazyOnboarding = createLazy(() => import("../../engine/onboarding.js"));
+const lazyGitDeps = createLazy(() => import("../../engine/git_deps.js"));
+const lazyKnowledge = createLazy(() => import("../../engine/knowledge_manager.js"));
+const lazyFeasibility = createLazy(() => import("../../engine/feasibility_checker.js"));
+const lazyDebugger = createLazy(() => import("../../engine/debugger.js"));
+const lazyObservability = createLazy(() => import("../../engine/observability.js"));
+const lazyGovernance = createLazy(() => import("../../engine/governance_report.js"));
+const lazyMigration = createLazy(() => import("../../engine/migration_guard.js"));
+const lazyTestGen = createLazy(() => import("../../engine/test_generator.js"));
+const lazyTestQuality = createLazy(() => import("../../engine/test_quality.js"));
+const lazyDepScan = createLazy(() => import("../../engine/dependency_scanner.js"));
+const lazyDebtReport = createLazy(() => import("../../engine/debt_reporter.js"));
+const lazyExploration = createLazy(() => import("../../engine/exploration.js"));
+const lazyWorkspaceResumer = createLazy(() => import("../../engine/workspace_resumer.js"));
+const lazyLLM = createLazy(() => import("../../engine/llm_gateway.js"));
+const lazyIO = createLazy(() => import("../../engine/io_controller.js"));
+const lazyCapability = createLazy(() => import("../../engine/capability_registry.js"));
+const lazyDecision = createLazy(() => import("../../engine/decision_contract.js"));
+const lazyAnchor = createLazy(() => import("../../engine/cognitive_anchor.js"));
+const lazyJob = createLazy(() => import("../../engine/job_manager.js"));
+const lazyAuditPool = createLazy(() => import("../../engine/audit_pool.js"));
+const lazyEscape = createLazy(() => import("../../engine/escape_report.js"));
+const lazyAuditSampler = createLazy(() => import("../../engine/audit_sampler.js"));
+const lazyCapAdvisor = createLazy(() => import("../../engine/capability_action_advisor.js"));
+const lazyCapState = createLazy(() => import("../../engine/capability_state_store.js"));
+const lazyMainPath = createLazy(() => import("../../engine/main_path_integration_contract.js"));
+const lazyDualLayer = createLazy(() => import("../../engine/dual_layer_mechanism_registry.js"));
+const lazyInputMaterial = createLazy(() => import("../../engine/input_material_contract_registry.js"));
+const lazyConfigCmd = createLazy(() => import("../../bin/config_commands.js"));
+const lazyConfigPrecedence = createLazy(() => import("../../engine/config_precedence_contract.js"));
+const lazyEnforcementGuard = createLazy(() => import("../../engine/enforcement_guard.js"));
+const lazyWorkspaceLease = createLazy(() => import("../../engine/workspace_lease.js"));
+const lazyDeliveryReadiness = createLazy(() => import("../../engine/delivery_readiness.js"));
+const lazyVerificationContract = createLazy(() => import("../../engine/verification_contract.js"));
+const lazyFailureReport = createLazy(() => import("../../engine/failure_report.js"));
+const lazyDegradation = createLazy(() => import("../../engine/degradation.js"));
+const lazyRetentionPolicy = createLazy(() => import("../../engine/retention_policy.js"));
+const lazyDiagnosticRegistry = createLazy(() => import("../../engine/diagnostic_registry.js"));
 // ── Zod Schema 定义 ──
 const ClassifySchema = {
     intent: z.string().describe("开发者意图描述"),
@@ -92,6 +111,19 @@ const ReviewSchema = {
 const ScaffoldSchema = {
     task_id: z.string().describe("sf_classify 返回的任务 ID（task_type 应为 scaffold）"),
 };
+const RecordVerificationExecutionSchema = {
+    task_id: z.string().describe("任务 ID"),
+    plan_id: z.string().describe("关联的 VerificationPlan ID"),
+    execution_records: z.array(z.object({
+        command: z.string().describe("执行的验证命令"),
+        exit_code: z.number().describe("命令退出码，0 表示通过"),
+        stdout_hash: z.string().describe("stdout 的 SHA256 hash"),
+        stderr_hash: z.string().describe("stderr 的 SHA256 hash"),
+        started_at: z.string().describe("命令开始时间 ISO 8601"),
+        finished_at: z.string().describe("命令结束时间 ISO 8601"),
+        evidence_id: z.string().describe("执行证据 ID"),
+    })).describe("真实执行记录列表"),
+};
 const DeliverSchema = {
     task_id: z.string().describe("任务 ID"),
     changed_files: z.array(z.string()).optional().describe("变更文件列表（不传则使用任务记录中的文件）"),
@@ -161,14 +193,14 @@ const ExploreSchema = {
  * @param server - McpServer 实例
  * @param deps - 工具依赖项（配置、知识索引、任务上下文）
  */
-export function registerTools(server, deps) {
+export async function registerTools(server, deps) {
     console.error("[soloForge] 工具注册: 开始注册 MCP 工具...");
     const { config, knowledgeIndex, taskContext } = deps;
     const projectPath = config._projectPath || process.cwd();
     // H1: LLM Gateway — Token 预算熔断，防止单任务 Token 超支
-    const gateway = deps.gateway ?? new LLMGateway();
+    const gateway = deps.gateway ?? new (await lazyLLM()).LLMGateway();
     // H4: IO Controller — 工作区互斥锁，防止外部修改导致的静默覆盖
-    const ioController = new IOController(projectPath);
+    const ioController = new (await lazyIO()).IOController(projectPath);
     // ── 统一网关 : 唯一工具调用边界 ──
     /** 计算 sf_status cancel 的动态 category */
     function computeEffectiveCategory(toolName, args, contract) {
@@ -187,48 +219,50 @@ export function registerTools(server, deps) {
     /** State precheck: validate task status before contract guard */
     const STATE_PRECHECKS = {
         sf_verify: ["executing", "retrying"],
+        sf_record_verification_execution: ["verifying", "executing"],
         sf_learn: ["verifying", "executing"],
         sf_expand: ["classifying", "expanding", "clarifying"],
     };
     const STATE_ERROR_LABELS = {
         sf_verify: "不可验证",
+        sf_record_verification_execution: "不可录入验证结果",
         sf_learn: "不可学习",
         sf_expand: "不可膨胀",
     };
     /** 授权模型: explicit > dynamic write gate > destructive gate > workflow gate > category default */
     function checkAuth(toolName, args, contract, ctx, effectiveCategory) {
-        // 1. Explicit confirmation
+        // 1. 显式确认
         if (args.confirm === true || args.authorized === true || args.authorization_token) {
             return { required: true, granted: true, reason: "explicit confirmation" };
         }
-        // 2. Dynamic write upgrade: cancel/job_cancel from read_only to write → must confirm
+        // 2. 动态写入升级: cancel/job_cancel 从 read_only 变为 write → 必须确认
         if (effectiveCategory && effectiveCategory !== contract.category && effectiveCategory !== "read_only_bypass") {
             return { required: true, granted: false, reason: "dynamic write upgrade requires explicit confirmation" };
         }
-        // 3. Destructive side effects always require explicit
+        // 3. 破坏性副作用始终需要显式确认
         const destructive = ["git_commit", "git_push", "pr_create", "external_write"];
         if (contract.side_effects.some((e) => destructive.includes(e))) {
             return { required: true, granted: false, reason: "destructive side effects require explicit confirmation" };
         }
-        // 4. Standalone strict tools (no workflow required, no task context) → handler does own checks
+        // 4. 独立严格工具（无 workflow 要求，无 task context）→ 由 handler 自行检查
         if (contract.category === "strict_controlled" && !ctx && !contract.requires_workflow) {
             return { required: false, granted: true, reason: "standalone strict tool" };
         }
-        // 5. Workflow contract gate for strict_controlled
+        // 5. strict_controlled 的 workflow 合同门控
         if (contract.category === "strict_controlled" && ctx?.last_tool_trace) {
             const allowed = ctx.last_tool_trace.next_allowed_tools ?? [];
             if (allowed.includes(toolName)) {
                 return { required: true, granted: true, reason: "workflow contract gate" };
             }
         }
-        // 5b. State-based fallback: strict tool with valid-state task but no tool_trace
+        // 5b. 基于状态的回退: 严格工具且任务处于有效状态但无 tool_trace
         if (contract.category === "strict_controlled" && ctx && !ctx.last_tool_trace && contract.requires_workflow) {
             const validStates = STATE_PRECHECKS[toolName];
             if (validStates && validStates.includes(ctx.status)) {
                 return { required: true, granted: true, reason: "task in valid state for tool" };
             }
         }
-        // 5c. Non-strict tools: auto-grant unless requires_authorization
+        // 5c. 非严格工具: 自动授权，除非 requires_authorization
         if (contract.category === "read_only_bypass" || contract.category === "normal_controlled") {
             if (contract.requires_authorization) {
                 return { required: true, granted: false, reason: "tool requires explicit authorization" };
@@ -242,7 +276,7 @@ export function registerTools(server, deps) {
             const invocationId = `inv-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
             const taskId = args.task_id;
             const contract = findToolInvocationContractByName(name);
-            // No contract → hard fail
+            // 无合同 → hard fail
             if (!contract) {
                 return {
                     content: [{ type: "text", text: JSON.stringify({ error: `工具 ${name} 未注册契约` }) }],
@@ -251,12 +285,12 @@ export function registerTools(server, deps) {
             }
             const effectiveCategory = computeEffectiveCategory(name, args, contract);
             const effectiveSideEffects = computeEffectiveSideEffects(name, args, contract);
-            // Load TaskContext
+            // 加载 TaskContext
             let ctx = null;
             if (taskId) {
                 ctx = await taskContext.load(taskId);
             }
-            // State precheck: validate task status before contract guard
+            // 状态预检: 在合同守卫之前验证任务状态
             if (taskId && STATE_PRECHECKS[name] && ctx) {
                 const validStates = STATE_PRECHECKS[name];
                 if (!validStates.includes(ctx.status)) {
@@ -270,7 +304,7 @@ export function registerTools(server, deps) {
                     };
                 }
             }
-            // Strict controlled without task_id
+            // 严格受控但缺少 task_id
             const isStandaloneStrict = !contract.requires_workflow;
             if (contract.category === "strict_controlled" && !taskId && !isStandaloneStrict) {
                 return {
@@ -278,11 +312,11 @@ export function registerTools(server, deps) {
                     isError: true,
                 };
             }
-            // Authorization
+            // 授权检查
             const authorization = checkAuth(name, args, contract, ctx ?? undefined, effectiveCategory);
-            // Authorization denied → hard fail for gateway-level denials only
-            // (dynamic write upgrade, destructive ops, strict_controlled with no auth source)
-            // Handler-level authorization (e.g. sf_capability_update confirm) is left to the handler
+            // 授权拒绝 → 仅对网关级拒绝执行 hard fail
+            // （动态写入升级、破坏性操作、无授权源的 strict_controlled）
+            // Handler 级授权（如 sf_capability_update confirm）由 handler 自行处理
             const gatewayDenial = !authorization.granted &&
                 authorization.reason !== "tool requires explicit authorization";
             if (gatewayDenial) {
@@ -312,17 +346,17 @@ export function registerTools(server, deps) {
                     isError: true,
                 };
             }
-            // Bypass for read_only_bypass
+            // read_only_bypass 的旁路处理
             const bypass = effectiveCategory === "read_only_bypass"
                 ? { allowed: true, reason: "read_only" } : undefined;
-            // Contract validation
+            // 合同验证
             const lastTrace = ctx?.last_tool_trace;
-            // Build effective contract override for dynamic tools (e.g., sf_status cancel)
+            // 为动态工具构建有效的合同覆盖（如 sf_status cancel）
             let contractOverride;
             if (effectiveCategory !== contract.category || effectiveSideEffects !== contract.side_effects) {
                 contractOverride = { ...contract, category: effectiveCategory, side_effects: effectiveSideEffects };
             }
-            // Workflow ID: only from real expansion trace
+            // Workflow ID: 仅来自真实的 expansion trace
             const explicitWorkflowId = ctx?.expansion?.workflow_trace?.workflow_id;
             const violations = validateToolInvocation({
                 tool_name: name,
@@ -334,7 +368,7 @@ export function registerTools(server, deps) {
                 workflow_id: explicitWorkflowId,
                 _contractOverride: contractOverride,
             });
-            // State-based fallback: downgrade contract_state_mismatch from hard_fail to require_human
+            // 基于状态的回退: 将 contract_state_mismatch 从 hard_fail 降级为 require_human
             if (authorization.reason === "task in valid state for tool") {
                 for (const v of violations) {
                     if (v.violation_type === "contract_state_mismatch" && v.severity === "hard_fail") {
@@ -343,7 +377,7 @@ export function registerTools(server, deps) {
                     }
                 }
             }
-            // Hard-fail violations → block
+            // Hard-fail 违规 → 阻止
             const hardFail = violations.find(v => v.severity === "hard_fail");
             if (hardFail) {
                 const blockedTrace = createToolTrace({
@@ -366,17 +400,17 @@ export function registerTools(server, deps) {
                     isError: true,
                 };
             }
-            // Execute handler
+            // 执行 handler
             try {
                 const raw = await handler(args);
-                // Pass through if handler returned { content } directly
+                // 如果 handler 直接返回 { content } 则透传
                 if (raw && typeof raw === "object" && "content" in raw && Array.isArray(raw.content)) {
                     return raw;
                 }
-                // Extract data from { result } pattern
+                // 从 { result } 模式中提取数据
                 const data = raw?.result !== undefined ? raw.result : raw;
                 const hasError = !!(data && typeof data === "object" && "error" in data);
-                // Build trace
+                // 构建 trace
                 const trace = createToolTrace({
                     tool_name: name, invocation_id: invocationId, task_id: taskId,
                     workflow_id: ctx?.expansion?.workflow_trace?.workflow_id,
@@ -385,18 +419,18 @@ export function registerTools(server, deps) {
                     forbidden_tools: contract.forbidden_next_tools,
                     authorization, bypass,
                 });
-                // Write trace to TaskContext
+                // 将 trace 写入 TaskContext
                 if (taskId) {
                     await taskContext.setToolTrace(taskId, trace, violations.length > 0 ? violations : undefined);
                 }
-                // Decorate response with trace + next/forbidden
+                // 用 trace + next/forbidden 装饰响应
                 const response = {
                     ...data,
                     tool_trace: trace,
                     next_allowed_tools: contract.default_next_tools,
                     forbidden_tools: contract.forbidden_next_tools,
                 };
-                // State-based fallback: expose degraded workflow in response
+                // 基于状态的回退: 在响应中暴露降级 workflow
                 if (authorization.reason === "task in valid state for tool") {
                     response.degraded_workflow = true;
                     response.workflow_source = "state-based-fallback";
@@ -433,14 +467,14 @@ export function registerTools(server, deps) {
         });
     }
     // 加载认知锚点上下文 — 必须提供相关性参数，禁止全量加载
-    function loadRelevantAnchors(query) {
+    async function loadRelevantAnchors(query) {
         console.error("[soloForge] 工具注册: 加载认知锚点");
         return _loadRelevantAnchorsInner(query);
     }
-    function _loadRelevantAnchorsInner(query) {
+    async function _loadRelevantAnchorsInner(query) {
         const stateDir = taskContext.getStateDir();
         const mapPath = path.join(stateDir, "cognitive.map.json");
-        const mapData = readMapJson(mapPath);
+        const mapData = (await lazyAnchor()).readMapJson(mapPath);
         if (!mapData || mapData.anchors.length === 0)
             return undefined;
         const existingFiles = new Set();
@@ -454,15 +488,15 @@ export function registerTools(server, deps) {
             }
         }
         catch { /* ignore */ }
-        const checked = checkAnchorStaleness(mapData.anchors, existingFiles);
+        const checked = (await lazyAnchor()).checkAnchorStaleness(mapData.anchors, existingFiles);
         // 必须有 module 或 file_paths，否则不返回任何锚点（禁止全量加载）
         if (!query.module && (!query.file_paths || query.file_paths.length === 0))
             return undefined;
-        // Collect anchors matching ANY of the provided file_paths or module
+        // 收集与任意提供的 file_paths 或 module 匹配的锚点
         const seen = new Set();
         const relevant = [];
         if (query.module) {
-            for (const a of filterRelevantAnchors(checked, { module: query.module })) {
+            for (const a of (await lazyAnchor()).filterRelevantAnchors(checked, { module: query.module })) {
                 if (!seen.has(a.anchor_id)) {
                     seen.add(a.anchor_id);
                     relevant.push(a);
@@ -471,7 +505,7 @@ export function registerTools(server, deps) {
         }
         if (query.file_paths) {
             for (const fp of query.file_paths) {
-                for (const a of filterRelevantAnchors(checked, { file_path: fp })) {
+                for (const a of (await lazyAnchor()).filterRelevantAnchors(checked, { file_path: fp })) {
                     if (!seen.has(a.anchor_id)) {
                         seen.add(a.anchor_id);
                         relevant.push(a);
@@ -508,10 +542,10 @@ export function registerTools(server, deps) {
         // 创建任务上下文
         const ctx = await taskContext.create(args.intent, config.product_profile);
         const input = { intent: args.intent, project_path: projectPath, task_id: ctx.task_id };
-        const classification = classify(input);
+        const classification = (await lazyClassifier()).classify(input);
         // 存储分类结果
         await taskContext.setClassification(ctx.task_id, classification);
-        if (!shouldEnterSoloForge(classification.route_decision)) {
+        if (!(await lazyIntentRouter()).shouldEnterSoloForge(classification.route_decision)) {
             await taskContext.updateStatus(ctx.task_id, "done");
         }
         return {
@@ -577,7 +611,7 @@ export function registerTools(server, deps) {
         }
         let expansion;
         try {
-            expansion = await expand({
+            expansion = await (await lazyExpander()).expand({
                 intent: ctx.intent,
                 classification: ctx.classification,
                 projectPath,
@@ -610,14 +644,22 @@ export function registerTools(server, deps) {
         // Privacy Gate: 隐私/敏感信息策略阻断
         const isBlocked = expansion.prompt.startsWith("## 阻塞：输入材料禁止读取")
             || expansion.prompt.startsWith("## 阻塞：隐私/敏感信息策略");
-        const isMaterialClarification = expansion.prompt.startsWith("## 澄清请求") && expansion.input_materials?.some((m) => m.access_mode !== "forbidden" && classifyIngestionStatus(m.path_or_ref) === "requires_confirmation");
+        let isMaterialClarification = false;
+        if (expansion.prompt.startsWith("## 澄清请求") && expansion.input_materials) {
+            for (const m of expansion.input_materials) {
+                if (m.access_mode !== "forbidden" && (await lazyInputMaterial()).classifyIngestionStatus(m.path_or_ref) === "requires_confirmation") {
+                    isMaterialClarification = true;
+                    break;
+                }
+            }
+        }
         // 注入 H1/H4 advisory warnings
         const advisories = {};
         if (h1Warning)
             advisories.h1_advisory = h1Warning;
         if (h4LockWarning)
             advisories.h4_advisory = h4LockWarning;
-        // Config precedence warnings 
+        // 配置优先级警告 
         if (expansion.config_resolution_reports && expansion.config_resolution_reports.length > 0) {
             const configWarnings = expansion.config_resolution_reports
                 .filter(r => r.conflicts.length > 0)
@@ -627,7 +669,7 @@ export function registerTools(server, deps) {
             }
         }
         // 决策契约 advisory: 校验 expand 输出是否包含默认决策字段
-        const decisionContract = validateDecisionOutput(expansion);
+        const decisionContract = (await lazyDecision()).validateDecisionOutput(expansion);
         if (!decisionContract.passed) {
             advisories.decision_contract_advisory = decisionContract.advisory;
         }
@@ -684,7 +726,7 @@ export function registerTools(server, deps) {
                 result: { error: "任务不存在" },
             };
         }
-        // RouteDecision contract verification — unconditional, before state precheck
+        // RouteDecision 合同验证 — 无条件，在状态预检之前
         const rdFromCtx = ctx.route_decision ?? ctx.classification?.route_decision ?? null;
         const wtFromCtx = ctx.workflow_trace ?? ctx.expansion?.workflow_trace ?? null;
         const rdContractInput = {
@@ -719,13 +761,30 @@ export function registerTools(server, deps) {
         const h4Warning = !integrity.clean
             ? { warning: `H4 advisory: ${integrity.message}`, dirty_files: integrity.dirty_files }
             : undefined;
-        const verifyResult = generateVerifyCommands(config, args.changed_files, acceptanceItems, ctx?.expansion?.workflow_trace?.route);
+        const verifyResult = (await lazyVerifier()).generateVerifyCommands(config, args.changed_files, acceptanceItems, ctx?.expansion?.workflow_trace?.route);
         verifyResult.task_id = args.task_id;
-        // Artifact lifecycle check : draft → verified requires ArtifactVerificationResult.passed
+        // Batch2: 创建 VerificationPlan（plan_only，非执行结果）
+        const vcModule = await lazyVerificationContract();
+        const allCommands = [
+            ...(verifyResult.checks?.build ?? []),
+            ...(verifyResult.checks?.tests ?? []),
+        ].map((c) => c.command);
+        const batch2Plan = vcModule.createVerificationPlan(args.task_id, allCommands, acceptanceItems.map((a) => a.description));
+        // Batch2: sf_verify 仅生成计划，不执行命令 — 始终保存 not_executed
+        // 真实执行结果必须通过 recordVerificationExecution 单独录入
+        const batch2Result = vcModule.createNotExecutedResult(args.task_id, batch2Plan.plan_id, "sf_verify 生成命令，等待执行");
+        // 存储 Batch2 验证契约到任务上下文
+        const ctxForBatch2 = await taskContext.load(args.task_id);
+        if (ctxForBatch2) {
+            ctxForBatch2.batch2_verification_plan = batch2Plan;
+            ctxForBatch2.batch2_verification_result = batch2Result;
+            await taskContext.save(ctxForBatch2);
+        }
+        // 产物生命周期检查: draft → verified 需要 ArtifactVerificationResult.passed
         let artifactVerificationResult;
         let artifactFileMissing = false;
         if (ctx.artifact_output && ctx.artifact_output.status === "draft") {
-            // Resolve artifact file and compute hash before verification
+            // 验证前解析产物文件并计算 hash
             const artifact = ctx.artifact_output;
             const fullPath = path.join(projectPath, artifact.path);
             if (fss.existsSync(fullPath)) {
@@ -735,7 +794,7 @@ export function registerTools(server, deps) {
                 if (!artifact.evidence_refs.some(r => r.startsWith("file:artifact:"))) {
                     artifact.evidence_refs.push(`file:artifact:path=${artifact.path} hash=sha256:${hash}`);
                 }
-                // Save updated artifact with hash
+                // 保存更新后的产物（含 hash）
                 const ctxForHash = await taskContext.load(args.task_id);
                 if (ctxForHash?.artifact_output) {
                     ctxForHash.artifact_output.hash = artifact.hash;
@@ -751,8 +810,25 @@ export function registerTools(server, deps) {
             artifactVerificationResult = verifyArtifact(artifact.kind, artifact);
         }
         // 记录变更文件
+        // Batch2: 写入护栏 — 检查变更文件是否在允许范围
+        if (args.changed_files.length > 0) {
+            const guardModule = await lazyEnforcementGuard();
+            const scopePaths = ctx.expansion?.scope?.allowed_paths ?? [];
+            for (const cf of args.changed_files) {
+                const writeFindings = guardModule.evaluateWriteGuard(ctx.classification?.route_decision?.route ?? "code_execution", cf, scopePaths, "command_execution_contract");
+                if (writeFindings.some((f) => f.blocked)) {
+                    return {
+                        result: {
+                            error: `Batch2 写入护栏阻断: ${writeFindings[0].reason_zh}`,
+                            blocked_file: cf,
+                            guard_id: writeFindings[0].guard_id,
+                        },
+                    };
+                }
+            }
+        }
         await taskContext.setExecution(args.task_id, args.changed_files);
-        // Mark no_change_artifact when no real files changed but artifact exists
+        // 无实际文件变更但存在产物时标记 no_change_artifact
         if (args.changed_files.length === 0 && ctx.artifact_output) {
             const execCtx = await taskContext.load(args.task_id);
             if (execCtx?.execution) {
@@ -767,7 +843,7 @@ export function registerTools(server, deps) {
         await taskContext.updateStatus(args.task_id, "verifying");
         // 存储验证结果
         await taskContext.setVerification(args.task_id, verifyResult);
-        // Artifact lifecycle transition: draft → verified only if ArtifactVerificationResult.passed
+        // 产物生命周期转换: draft → verified 仅在 ArtifactVerificationResult.passed 时
         if (ctx.artifact_output && ctx.artifact_output.status === "draft" && artifactVerificationResult?.passed) {
             const evidenceRef = `verification:${ctx.task_id}:checks=${artifactVerificationResult.checks.length}:summary=${artifactVerificationResult.summary.slice(0, 60)}`;
             try {
@@ -778,11 +854,11 @@ export function registerTools(server, deps) {
                 });
             }
             catch {
-                // Transition blocked — artifact stays draft, pipeline continues
+                // 转换被阻止 — 产物保持 draft，流水线继续
             }
         }
         // 认知锚点上下文回放（按变更文件相关性）
-        const verifyAnchors = loadRelevantAnchors({ file_paths: args.changed_files });
+        const verifyAnchors = await loadRelevantAnchors({ file_paths: args.changed_files });
         const verifyExtras = {};
         if (h4Warning)
             verifyExtras.h4_advisory = h4Warning;
@@ -795,13 +871,46 @@ export function registerTools(server, deps) {
             verifyExtras.artifact_warning = `产物验收检查未通过: ${reason}`;
             verifyExtras.artifact_verification = artifactVerificationResult;
         }
+        // eslint-disable-next-line @typescript-eslint/no-explicit-any
         const verifyPayload = Object.keys(verifyExtras).length > 0
             ? { ...verifyResult, ...verifyExtras }
-            : verifyResult;
+            : { ...verifyResult };
+        // Batch2: 附加验证契约引用到返回结果
+        verifyPayload.batch2_verification_plan = batch2Plan;
+        verifyPayload.batch2_verification_result = batch2Result;
         return {
             result: verifyPayload,
         };
     });
+    // ── sf_record_verification_execution: 录入真实验证执行结果（唯一 passed 入口） ──
+    registerSafeTool("sf_record_verification_execution", "录入真实验证执行结果，VerificationResult.status=passed 的唯一合法入口", RecordVerificationExecutionSchema, async (args) => {
+        const ctx = await taskContext.load(args.task_id);
+        if (!ctx) {
+            return { result: { error: "任务不存在" } };
+        }
+        // 必须有 VerificationPlan
+        if (!ctx.batch2_verification_plan) {
+            return { result: { error: "任务无 VerificationPlan，先执行 sf_verify 生成计划" } };
+        }
+        // plan_id 必须与 TaskContext 中当前 plan 一致
+        if (args.plan_id !== ctx.batch2_verification_plan.plan_id) {
+            return {
+                result: {
+                    error: `plan_id 不匹配: 请求 "${args.plan_id}"，当前任务计划 "${ctx.batch2_verification_plan.plan_id}" [SF-VERIFY-5002]`,
+                    diagnostic_code: "SF-VERIFY-5002",
+                },
+            };
+        }
+        const vcModule = await lazyVerificationContract();
+        const result = vcModule.recordVerificationExecution(args.task_id, args.plan_id, args.execution_records, ctx.batch2_verification_plan);
+        // 持久化到 TaskContext
+        const ctxForSave = await taskContext.load(args.task_id);
+        if (ctxForSave) {
+            ctxForSave.batch2_verification_result = result;
+            await taskContext.save(ctxForSave);
+        }
+        return { result };
+    });
     // ── sf_learn: 从执行结果中提取知识，支持重试循环控制 ──
     registerSafeTool("sf_learn", "从任务执行结果中提取知识，低置信度暂存，高置信度直接入库", LearnSchema, async (args) => {
         const ctx = await taskContext.load(args.task_id);
@@ -826,10 +935,37 @@ export function registerTools(server, deps) {
                     : "unknown failure",
                 timestamp: new Date().toISOString(),
             });
+            // Batch2: 创建 FailureReport（脱敏，非 raw error_output）
+            const frModule = await lazyFailureReport();
+            const failureClass = args.failure_type;
+            const errorOutput = args.verify_output
+                ? `build=${args.verify_output.build_passed} tests=${args.verify_output.tests_passed}`
+                : "unknown failure";
+            const retryCount = (ctx.execution?.attempt_count ?? 0) + 1;
+            const policy = frModule.getRecoveryPolicy(failureClass);
+            const batch2FailureReport = frModule.createFailureReport(args.task_id, failureClass, errorOutput, retryCount, policy?.max_retries ?? 0);
+            // 存储 FailureReport 到任务上下文
+            const ctxForFailure = await taskContext.load(args.task_id);
+            if (ctxForFailure) {
+                ctxForFailure.batch2_failure_report = batch2FailureReport;
+                await taskContext.save(ctxForFailure);
+            }
+            // Batch2: verifier 不可用时创建 DegradationEvent
+            if (!args.verify_output) {
+                const degModule = await lazyDegradation();
+                const degradationEvent = degModule.createDegradationEvent(args.task_id, "verifier", "full", "验证器输出不可用，无法判断 build/test 结果", ["verification_execution"]);
+                if (degradationEvent) {
+                    const ctxForDeg = await taskContext.load(args.task_id);
+                    if (ctxForDeg) {
+                        ctxForDeg.batch2_degradation_event = degradationEvent;
+                        await taskContext.save(ctxForDeg);
+                    }
+                }
+            }
         }
         // 转换到学习阶段
         await taskContext.updateStatus(args.task_id, "learning");
-        const learnResult = await evolve({
+        const learnResult = await (await lazyEvolver()).evolve({
             taskContext: ctx,
             result: args.result,
             verifyOutput: args.verify_output,
@@ -872,14 +1008,14 @@ export function registerTools(server, deps) {
     // ── sf_status: 任务状态查询（current/recent/resume/cancel） ──
     registerSafeTool("sf_status", "查询当前任务状态、列出近期任务、恢复中断任务或取消任务", StatusSchema, async (args) => {
         const action = args.action || "current";
-        // Job actions — advisory, independent of task actions
+        // Job 操作 — advisory，独立于任务操作
         if (args.job_action) {
             if (!args.job_id) {
                 return {
                     result: { error: "job 操作需要 job_id" },
                 };
             }
-            const jm = new JobManager(taskContext.getStateDir());
+            const jm = new (await lazyJob()).JobManager(taskContext.getStateDir());
             const taskId = args.task_id ?? await jm.resolveTaskId(args.job_id) ?? "";
             if (args.job_action === "job_status") {
                 const status = await jm.getJobStatus(args.job_id, taskId);
@@ -921,12 +1057,12 @@ export function registerTools(server, deps) {
                 };
             }
         }
-        // Auto-fail stale non-terminal tasks before reading
+        // 读取前自动将过期非终态任务标记为失败
         try {
             await taskContext.autoFailStale();
         }
         catch (e) {
-            console.error("[soloForge] autoFailStale error:", e);
+            console.error("[soloForge] autoFailStale 出错:", e);
         }
         switch (action) {
             case "current": {
@@ -960,7 +1096,7 @@ export function registerTools(server, deps) {
                 }
                 // JobManager advisory: 查询关联 job 状态
                 try {
-                    const jm = new JobManager(taskContext.getStateDir());
+                    const jm = new (await lazyJob()).JobManager(taskContext.getStateDir());
                     const activeJobs = await jm.listActiveJobs();
                     const relatedJob = activeJobs.find((j) => j.task_id === ctx.task_id);
                     if (relatedJob) {
@@ -974,7 +1110,7 @@ export function registerTools(server, deps) {
                     }
                 }
                 catch {
-                    // JobManager advisory — ignore errors
+                    // JobManager advisory — 忽略错误
                 }
                 return {
                     result: result,
@@ -1012,7 +1148,7 @@ export function registerTools(server, deps) {
                 if (ctx.execution)
                     resumeResult.execution = ctx.execution;
                 const resumeAnchors = ctx.execution?.changed_files
-                    ? loadRelevantAnchors({ file_paths: ctx.execution.changed_files })
+                    ? await loadRelevantAnchors({ file_paths: ctx.execution.changed_files })
                     : undefined;
                 if (resumeAnchors && resumeAnchors.length > 0)
                     resumeResult.cognitive_anchors = resumeAnchors;
@@ -1043,7 +1179,7 @@ export function registerTools(server, deps) {
                 result: { error: "任务不存在或尚未分类" },
             };
         }
-        const result = planTask({
+        const result = (await lazyPlanner()).planTask({
             intent: ctx.intent,
             classification: ctx.classification,
             config,
@@ -1105,7 +1241,7 @@ export function registerTools(server, deps) {
                 result: { error: "任务尚未膨胀，请先调用 sf_expand" },
             };
         }
-        const result = await analyzeImpact({
+        const result = await (await lazyImpact()).analyzeImpact({
             intent: ctx.intent,
             classification: ctx.classification,
             expansion: ctx.expansion,
@@ -1114,7 +1250,7 @@ export function registerTools(server, deps) {
         });
         result.task_id = args.task_id;
         // 决策契约 advisory: 校验 analyze 输出
-        const decisionContract = validateDecisionOutput(result);
+        const decisionContract = (await lazyDecision()).validateDecisionOutput(result);
         const advisoryExtras = {};
         if (!decisionContract.passed) {
             advisoryExtras.decision_contract_advisory = decisionContract.advisory;
@@ -1129,8 +1265,8 @@ export function registerTools(server, deps) {
                 result: { error: "任务不存在" },
             };
         }
-        const tracker = new DebtTracker(projectPath);
-        const result = await reviewCode({
+        const tracker = new (await lazyDebt()).DebtTracker(projectPath);
+        const result = await (await lazyReviewer()).reviewCode({
             changedFiles: args.changed_files,
             projectPath,
             config,
@@ -1142,7 +1278,7 @@ export function registerTools(server, deps) {
         result.task_id = args.task_id;
         await taskContext.setCodeReview(args.task_id, result);
         // 决策契约 advisory: 校验 review 输出
-        const decisionContract = validateDecisionOutput(result);
+        const decisionContract = (await lazyDecision()).validateDecisionOutput(result);
         const reviewExtras = {};
         if (!decisionContract.passed) {
             reviewExtras.decision_contract_advisory = decisionContract.advisory;
@@ -1165,7 +1301,7 @@ export function registerTools(server, deps) {
                 },
             };
         }
-        const result = await generateScaffold({
+        const result = await (await lazyScaffolder()).generateScaffold({
             intent: ctx.intent,
             classification: ctx.classification,
             config,
@@ -1189,7 +1325,7 @@ export function registerTools(server, deps) {
         const h4DeliverWarning = !deliverIntegrity.clean
             ? { warning: `H4 advisory: ${deliverIntegrity.message}`, dirty_files: deliverIntegrity.dirty_files }
             : undefined;
-        // Artifact status gate : deliver requires artifact status = accepted with evidence
+        // 产物状态门控: deliver 需要产物状态为 accepted 且有证据
         if (ctx.artifact_output) {
             const status = ctx.artifact_output.status;
             if (status === "draft") {
@@ -1210,7 +1346,7 @@ export function registerTools(server, deps) {
                     },
                 };
             }
-            // accepted must have confirmation evidence
+            // accepted 必须有确认证据
             if (status === "accepted") {
                 const hasAcceptanceEvidence = ctx.artifact_output.evidence_refs.some((r) => r.includes("acceptance") || r.includes("workflow_adoption"));
                 if (!hasAcceptanceEvidence) {
@@ -1224,27 +1360,68 @@ export function registerTools(server, deps) {
                 }
             }
         }
-        const result = await deliver({
+        // Batch2: 交付 lease 互斥检查
+        const leaseModule = await lazyWorkspaceLease();
+        const deliverLease = leaseModule.acquireLease(args.task_id, "delivery", [projectPath]);
+        if (deliverLease.lease?.status === "conflicted" || deliverLease.conflicts.length > 0) {
+            return {
+                result: {
+                    error: `交付 lease 冲突: ${deliverLease.conflicts.map((c) => `${c.conflict_type}: ${c.conflict_path}`).join(", ")}`,
+                    conflicts: deliverLease.conflicts,
+                },
+            };
+        }
+        // Batch2: 交付就绪评估 — delivery_allowed=false 必须阻断交付
+        const drModule = await lazyDeliveryReadiness();
+        const guardModule = await lazyEnforcementGuard();
+        const guardFindings = guardModule.evaluateDeliveryReadinessGuard(ctx.batch2_verification_result, ctx.batch2_verification_plan);
+        const readinessReport = drModule.evaluateDeliveryReadiness(args.task_id, ctx.batch2_verification_result, guardFindings, true, // scope_check — 已在 sf_verify 写入护栏中检查
+        deliverLease.conflicts.length === 0, // lease_check — 无冲突即通过
+        true, // privacy_check — 已在任务创建时脱敏
+        true);
+        // 保存就绪报告到任务上下文
+        const ctxForReadiness = await taskContext.load(args.task_id);
+        if (ctxForReadiness) {
+            ctxForReadiness.batch2_delivery_readiness = readinessReport;
+            await taskContext.save(ctxForReadiness);
+        }
+        if (!readinessReport.delivery_allowed) {
+            // 释放 lease 并阻断交付
+            if (deliverLease.lease) {
+                leaseModule.releaseLease(deliverLease.lease.lease_id);
+            }
+            return {
+                result: {
+                    error: `Batch2 交付就绪检查未通过: ${readinessReport.blocking_findings.map((f) => f.message_zh).join("; ")}`,
+                    delivery_readiness: readinessReport,
+                },
+            };
+        }
+        const result = await (await lazyDelivery()).deliver({
             taskContext: ctx,
             config,
             knowledgeIndex,
             projectPath,
-            gitOps: realGitOps,
+            gitOps: (await lazyGitDeps()).realGitOps,
             skipPush: args.skip_push,
             skipPr: args.skip_pr,
         });
         await taskContext.setDelivery(args.task_id, result);
+        // Batch2: 交付完成后释放 lease
+        if (deliverLease.lease) {
+            leaseModule.releaseLease(deliverLease.lease.lease_id);
+        }
         return {
             result: h4DeliverWarning ? { ...result, h4_advisory: h4DeliverWarning } : result,
         };
     });
     // ── sf_coord_check: 预测性冲突检测和跨仓库协调 ──
     registerSafeTool("sf_coord_check", "预测性冲突检测和跨仓库协调提示，检查分支状态、本地变更和潜在冲突", CoordCheckSchema, async (args) => {
-        const result = await checkConflicts({
+        const result = await (await lazyChangeCoord()).checkConflicts({
             projectPath,
             config,
             branch: args.branch,
-            gitOps: realGitOps,
+            gitOps: (await lazyGitDeps()).realGitOps,
         });
         return {
             result: result,
@@ -1252,11 +1429,11 @@ export function registerTools(server, deps) {
     });
     // ── sf_team_status: 团队活动流和工作负载查询 ──
     registerSafeTool("sf_team_status", "查询团队活动流、成员工作负载、过期分支和知识库更新状态", TeamStatusSchema, async (args) => {
-        const result = await getTeamStatus({
+        const result = await (await lazyTeam()).getTeamStatus({
             projectPath,
             config,
             since: args.since,
-            gitOps: realGitOps,
+            gitOps: (await lazyGitDeps()).realGitOps,
             knowledgeIndex: args.include_knowledge ? knowledgeIndex : undefined,
         });
         return {
@@ -1270,11 +1447,11 @@ export function registerTools(server, deps) {
             const ctx = await taskContext.load(args.task_id);
             changedFiles = ctx?.execution?.changed_files ?? [];
         }
-        const result = await checkContractChanges({
+        const result = await (await lazyContractGuard()).checkContractChanges({
             changedFiles,
             projectPath,
             config,
-            gitOps: realGitOps,
+            gitOps: (await lazyGitDeps()).realGitOps,
         });
         return {
             result: result,
@@ -1282,11 +1459,11 @@ export function registerTools(server, deps) {
     });
     // ── sf_onboard: 新人分步引导 ──
     registerSafeTool("sf_onboard", "新人分步引导：项目概览 → 代码导览 → 知识回顾 → 首个任务建议", OnboardSchema, async (args) => {
-        const result = await onboard({
+        const result = await (await lazyOnboarding()).onboard({
             config,
             projectPath,
             knowledgeIndex,
-            gitOps: realGitOps,
+            gitOps: (await lazyGitDeps()).realGitOps,
             currentStep: args.step,
             reset: args.reset,
         });
@@ -1302,7 +1479,7 @@ export function registerTools(server, deps) {
                 result: { error: "任务不存在或未完成分类，请先调用 sf_classify" },
             };
         }
-        const result = checkFeasibility(ctx.classification, config);
+        const result = (await lazyFeasibility()).checkFeasibility(ctx.classification, config);
         return {
             result: result,
         };
@@ -1313,7 +1490,7 @@ export function registerTools(server, deps) {
             ...config.scope.backend,
             ...config.scope.frontend,
         ];
-        const result = debugError(args.error_output, args.task_id || `debug-${Date.now()}`, projectScope);
+        const result = (await lazyDebugger()).debugError(args.error_output, args.task_id || `debug-${Date.now()}`, projectScope);
         return {
             result: result,
         };
@@ -1321,8 +1498,8 @@ export function registerTools(server, deps) {
     // ── sf_observability: 系统可观测和运行报告 ──
     registerSafeTool("sf_observability", "系统可观测：运行指标、成本估算、告警检测、能力状态、周期报告", ObservabilitySchema, async (args) => {
         const stateDir = taskContext.getStateDir();
-        const result = await generateReport(stateDir, args.period_days);
-        const capability = getCapabilitySummary();
+        const result = await (await lazyObservability()).generateReport(stateDir, args.period_days);
+        const capability = (await lazyCapability()).getSummary();
         const output = { ...result, capability };
         return {
             result: output,
@@ -1330,36 +1507,36 @@ export function registerTools(server, deps) {
     });
     // ── sf_migration_check: 数据库迁移安全性分析 ──
     registerSafeTool("sf_migration_check", "分析数据库迁移文件安全性：检测破坏性操作（DROP/DELETE/TRUNCATE）并生成回滚建议", MigrationCheckSchema, async (args) => {
-        const result = analyzeMigration(args.content, args.filename);
+        const result = (await lazyMigration()).analyzeMigration(args.content, args.filename);
         return {
             result: result,
         };
     });
     // ── sf_test_guide: 基于变更文件生成测试指引 ──
     registerSafeTool("sf_test_guide", "根据变更文件类型生成测试指引：推荐测试类型、场景、Mock 点和断言模板", TestGuideSchema, async (args) => {
-        const result = generateTestGuide(args.changed_files, [], config);
+        const result = (await lazyTestGen()).generateTestGuide(args.changed_files, [], config);
         return {
             result: result,
         };
     });
     // ── sf_test_quality: 测试文件质量五维评分 ──
     registerSafeTool("sf_test_quality", "评估测试文件质量：断言密度、边界覆盖、命名、重复率、场景覆盖五维评分", TestQualitySchema, async (args) => {
-        const result = analyzeTestQuality(args.content, args.filename);
+        const result = (await lazyTestQuality()).analyzeTestQuality(args.content, args.filename);
         return {
             result: result,
         };
     });
     // ── sf_dependency_scan: 依赖漏洞扫描 ──
     registerSafeTool("sf_dependency_scan", "扫描依赖声明文件漏洞：已知 CVE 规则匹配、未锁定版本检测、支持 npm/maven/gradle", DependencyScanSchema, async (args) => {
-        const result = scanDependencies(args.content, args.filename);
+        const result = (await lazyDepScan()).scanDependencies(args.content, args.filename);
         return {
             result: result,
         };
     });
     // ── sf_debt_report: 技术债务报告生成 ──
     registerSafeTool("sf_debt_report", "生成技术债务报告：按分类/严重度聚合、30 天趋势、优先级排序 Top 5", {}, async () => {
-        const tracker = new DebtTracker(projectPath);
-        const result = await generateDebtReport(tracker);
+        const tracker = new (await lazyDebt()).DebtTracker(projectPath);
+        const result = await (await lazyDebtReport()).generateDebtReport(tracker);
         return {
             result: result,
         };
@@ -1371,14 +1548,14 @@ export function registerTools(server, deps) {
             const ctx = await taskContext.load(args.task_id);
             classification = ctx?.classification;
         }
-        const result = exploreSolutions({
+        const result = (await lazyExploration()).exploreSolutions({
             domain_query: args.domain_query,
             projectConfig: config,
             classification,
             knowledgeIndex,
         });
         // 决策契约 advisory: sf_explore 应始终通过（10 字段已内置）
-        const decisionContract = validateDecisionOutput(result);
+        const decisionContract = (await lazyDecision()).validateDecisionOutput(result);
         const exploreExtras = {};
         if (!decisionContract.passed) {
             exploreExtras.decision_contract_advisory = decisionContract.advisory;
@@ -1387,7 +1564,7 @@ export function registerTools(server, deps) {
     });
     // ── sf_knowledge_audit: 知识库健康审计 ──
     registerSafeTool("sf_knowledge_audit", "审计知识库：识别过时条目、重复触发词、格式缺失、覆盖缺口。定期执行或手动触发", {}, async () => {
-        const result = await auditKnowledge(knowledgeIndex, config);
+        const result = await (await lazyKnowledge()).auditKnowledge(knowledgeIndex, config);
         return {
             result: result,
         };
@@ -1403,7 +1580,7 @@ export function registerTools(server, deps) {
         auto_enrich: z.boolean().optional().describe("是否返回行业最佳实践探索指引（默认 true，宿主 AI 将自动执行探索并填充内容）"),
     };
     registerSafeTool("sf_knowledge_add", "新增知识条目。默认保存为草稿到 .soloforge/knowledge/drafts/，人工确认后移入正式目录", KnowledgeAddSchema, async (args) => {
-        const result = await addKnowledge({
+        const result = await (await lazyKnowledge()).addKnowledge({
             title: args.title,
             type: args.type,
             scope: args.scope,
@@ -1425,7 +1602,7 @@ export function registerTools(server, deps) {
         status: z.enum(["active", "deprecated"]).optional().describe("更新条目状态"),
     };
     registerSafeTool("sf_knowledge_update", "更新已有知识条目：追加规则、更新触发词、标记废弃。自动创建备份", KnowledgeUpdateSchema, async (args) => {
-        const result = await updateKnowledge({
+        const result = await (await lazyKnowledge()).updateKnowledge({
             entry_name: args.entry_name,
             updates: {
                 when_triggers: args.when_triggers,
@@ -1444,13 +1621,13 @@ export function registerTools(server, deps) {
     });
     // ── sf_resume_workspace: 工作区状态唤醒（解决前端刷新导致UUID丢失） ──
     registerSafeTool("sf_resume_workspace", "扫描 .soloforge/state/ 目录，恢复中断工单并播报当前进度。新会话启动时必须优先调用", {}, async () => {
-        const result = await scanAndResume(taskContext);
+        const result = await (await lazyWorkspaceResumer()).scanAndResume(taskContext);
         // 认知锚点：按恢复任务的 changed_files 相关性加载，禁止全量
         if (result.task) {
             const ctx = await taskContext.load(result.task.task_id);
             const changedFiles = ctx?.execution?.changed_files;
             if (changedFiles && changedFiles.length > 0) {
-                const anchors = loadRelevantAnchors({ file_paths: changedFiles });
+                const anchors = await loadRelevantAnchors({ file_paths: changedFiles });
                 if (anchors && anchors.length > 0) {
                     result.cognitive_anchors = anchors;
                 }
@@ -1458,7 +1635,7 @@ export function registerTools(server, deps) {
         }
         // JobManager advisory: 查询活跃 jobs
         try {
-            const jm = new JobManager(taskContext.getStateDir());
+            const jm = new (await lazyJob()).JobManager(taskContext.getStateDir());
             const activeJobs = await jm.listActiveJobs();
             if (activeJobs.length > 0) {
                 result.active_jobs = activeJobs.map((j) => ({
@@ -1472,7 +1649,7 @@ export function registerTools(server, deps) {
             }
         }
         catch {
-            // JobManager advisory — ignore errors
+            // JobManager advisory — 忽略错误
         }
         return {
             result: result,
@@ -1484,10 +1661,10 @@ export function registerTools(server, deps) {
     };
     registerSafeTool("sf_audit_sample", "从审计池按风险加权抽样，生成抽检清单（SamplingDecision 列表）。只读，不落盘，不生成逃逸报告，不改能力状态", AuditSampleSchema, async (args) => {
         const stateDir = taskContext.getStateDir();
-        const pool = new AuditPool(stateDir);
+        const pool = new (await lazyAuditPool()).AuditPool(stateDir);
         const items = pool.list();
         const seed = args.seed ?? 0;
-        const result = sampleAuditItems(items, seed);
+        const result = (await lazyAuditSampler()).sampleAuditItems(items, seed);
         return {
             result: result,
         };
@@ -1510,7 +1687,7 @@ export function registerTools(server, deps) {
     };
     registerSafeTool("sf_escape_report", "记录逃逸、误伤或工具故障报告。只落盘记录，不自动降级，不改能力状态", EscapeReportSchema, async (args) => {
         const stateDir = taskContext.getStateDir();
-        const store = new EscapeReportStore(stateDir);
+        const store = new (await lazyEscape()).EscapeReportStore(stateDir);
         const report = {
             escape_id: args.escape_id,
             task_id: args.task_id,
@@ -1543,10 +1720,10 @@ export function registerTools(server, deps) {
     };
     registerSafeTool("sf_capability_update", "根据复盘结果更新 Capability Registry 状态。支持 dry_run 校验、证据校验、人工确认。不会自动触发，必须显式调用", CapabilityUpdateSchema, async (args) => {
         const stateDir = taskContext.getStateDir();
-        const escapeStore = new EscapeReportStore(stateDir);
-        const stateStore = new CapabilityStateStore(stateDir);
+        const escapeStore = new (await lazyEscape()).EscapeReportStore(stateDir);
+        const stateStore = new (await lazyCapState()).CapabilityStateStore(stateDir);
         const escapeReports = escapeStore.list();
-        const capabilities = getAllCapabilities();
+        const capabilities = (await lazyCapability()).getAllCapabilities();
         const cap = capabilities.find((c) => c.policy_id === args.policy_id);
         const currentState = stateStore.getEffectiveState(args.policy_id, cap?.state ?? "experimental");
         const result = stateStore.apply({
@@ -1569,25 +1746,25 @@ export function registerTools(server, deps) {
     registerSafeTool("sf_governance_report", "生成治理健康报告：汇总审计池、逃逸报告、能力动作决策。只读，不改状态", GovernanceReportSchema, async (args) => {
         const stateDir = taskContext.getStateDir();
         const seed = args.seed ?? 0;
-        const pool = new AuditPool(stateDir);
-        const escapeStore = new EscapeReportStore(stateDir);
+        const pool = new (await lazyAuditPool()).AuditPool(stateDir);
+        const escapeStore = new (await lazyEscape()).EscapeReportStore(stateDir);
         const auditItems = pool.list();
         const auditStats = pool.stats();
         const escapeReports = escapeStore.list();
         const escapeStats = escapeStore.stats();
-        // Generate action decisions for all capabilities (using effective states)
-        const capabilities = getAllCapabilities();
-        const stateStore = new CapabilityStateStore(stateDir);
-        const decisions = capabilities.map((cap) => {
+        // 为所有能力生成动作决策（使用有效状态）
+        const capabilities = (await lazyCapability()).getAllCapabilities();
+        const stateStore = new (await lazyCapState()).CapabilityStateStore(stateDir);
+        const decisions = await Promise.all(capabilities.map(async (cap) => {
             const effectiveState = stateStore.getEffectiveState(cap.policy_id, cap.state);
-            return decideAction(escapeReports, effectiveState, cap.policy_id);
-        });
-        // Generate sample decisions for sampled_count
-        const sampleResult = sampleAuditItems(auditItems, seed);
-        // Dual-layer mechanism findings 
-        const dlFindings = validateMechanismLayerMaps();
-        const dlMechanismCount = listMechanismLayerMaps().length;
-        // Collect artifact records from recent tasks 
+            return (await lazyCapAdvisor()).decideAction(escapeReports, effectiveState, cap.policy_id);
+        }));
+        // 为 sampled_count 生成抽样决策
+        const sampleResult = (await lazyAuditSampler()).sampleAuditItems(auditItems, seed);
+        // 双层机制发现 
+        const dlFindings = (await lazyDualLayer()).validateMechanismLayerMaps();
+        const dlMechanismCount = (await lazyDualLayer()).listMechanismLayerMaps().length;
+        // 收集近期任务的产物记录 
         const recentTasks = await taskContext.listRecent(20);
         const artifacts = [];
         for (const t of recentTasks) {
@@ -1595,25 +1772,25 @@ export function registerTools(server, deps) {
             if (tCtx?.artifact_output)
                 artifacts.push(tCtx.artifact_output);
         }
-        // Collect config resolution reports — use shared function for real data 
+        // 收集配置解析报告 — 使用共享函数获取真实数据 
         let configReports = [];
         let configEntries = [];
         try {
-            const resolved = await resolveCurrentProjectConfigReports(projectPath);
+            const resolved = await (await lazyConfigPrecedence()).resolveCurrentProjectConfigReports(projectPath);
             configReports = resolved.reports;
             configEntries = resolved.entries;
         }
         catch (e) {
             console.error(`[soloForge] 配置报告解析失败: ${e instanceof Error ? e.message : String(e)}`);
         }
-        // Also include reports from recent task contexts
+        // 同时包含近期任务上下文中的报告
         for (const t of recentTasks) {
             const tCtx = await taskContext.load(t.task_id);
             if (tCtx?.expansion?.config_resolution_reports) {
                 configReports.push(...tCtx.expansion.config_resolution_reports);
             }
         }
-        const report = generateGovernanceReport(auditStats, auditItems, escapeReports, escapeStats, decisions, new Date(), sampleResult.decisions, dlFindings, dlMechanismCount, artifacts.length > 0 ? artifacts : undefined, configReports.length > 0 ? configReports : undefined, configEntries.length > 0 ? configEntries : undefined);
+        const report = (await lazyGovernance()).generateReport(auditStats, auditItems, escapeReports, escapeStats, decisions, new Date(), sampleResult.decisions, dlFindings, dlMechanismCount, artifacts.length > 0 ? artifacts : undefined, configReports.length > 0 ? configReports : undefined, configEntries.length > 0 ? configEntries : undefined);
         return {
             result: report,
         };
@@ -1625,7 +1802,7 @@ export function registerTools(server, deps) {
     };
     registerSafeTool("sf_audit_integration", "审计生产代码的主链路集成状态，检测孤岛模块（只被测试导入、无生产代码调用的模块）", AuditIntegrationSchema, async (args) => {
         const projectPath = config._projectPath || process.cwd();
-        // Use scope-aware production file collection (supports multi-repo, multi-lang)
+        // 使用作用域感知的生产文件收集（支持多仓库、多语言）
         const { collectAllProductionFiles } = await import("../../engine/main_path_integration_contract.js");
         const allProdFiles = collectAllProductionFiles(projectPath, config);
         if (allProdFiles.length === 0) {
@@ -1636,8 +1813,8 @@ export function registerTools(server, deps) {
         const targetFiles = args.changed_files
             ? allProdFiles.filter((rel) => args.changed_files.some((cf) => rel === cf || rel.startsWith(cf.replace(/\.(ts|tsx|js|jsx|java|kt|go|py)$/, ""))))
             : allProdFiles;
-        const contracts = buildMainPathIntegrationContracts(projectPath, targetFiles, config);
-        const report = auditIntegration(contracts);
+        const contracts = (await lazyMainPath()).buildMainPathIntegrationContracts(projectPath, targetFiles, config);
+        const report = (await lazyMainPath()).auditIntegration(contracts);
         if (args.json_output) {
             return {
                 result: report,