soloforge 1.3.2 → 1.3.3

package/dist/engine/release_readiness_gate.js

@@ -1136,13 +1136,13 @@ async function checkBatchIssueFormatConsistency(rootDir, hardFail, _info) {
         hardFail("BATCH_ISSUE_FORMAT_INCONSISTENT", "loadBatchIssueDetails 导出未找到", ["scripts/batch_issue_details.mjs"], "构建系统", "共享解析脚本导出不正确", "修复脚本");
         return;
     }
-    const expectedCounts = { 1: 19, 2: 12, 3: 9, 4: 13, 5: 6, 6: 4 };
+    const expectedCounts = { 1: 19, 2: 12, 3: 9, 4: 13, 5: 6, 6: 5, 7: 2 };
     const requiredPerProblemSections = [
         "问题背景", "用户反馈 / 触发场景", "根因分析", "解决方案", "方案细节",
         "硬规则", "非目标", "影响范围", "落地文件", "验收标准", "回归风险",
         "与其他问题的关联", "发布门禁要求",
     ];
-    for (let batch = 1; batch <= 6; batch++) {
+    for (let batch = 1; batch <= 7; batch++) {
         const details = loadBatchIssueDetails(batch, rootDir);
         if (!details.loaded) {
             hardFail("BATCH_ISSUE_FORMAT_INCONSISTENT", `Batch${batch} 问题集未加载: ${details.error}`, [`docs/SoloForge-Batch${batch}问题集.md`], `Batch${batch}`, "旧 gate 只检查文档存在，不验证是否可解析", "第 3 步统一格式");
@@ -1508,6 +1508,144 @@ function checkDependencyAudit(rootDir, hardFail, _info) {
         hardFail("DEPENDENCY_AUDIT", "漏洞扫描报告格式无效", ["package.json"], "依赖健康", "旧 gate 不验证报告格式", "删除 .soloforge/advisory-report.json 并重新运行 npm run audit-deps");
     }
 }
+// ── 16. 工作流导航契约行为验证（问题六十五） ──
+async function checkWorkflowNavigationBehavior(rootDir, hardFail, _info) {
+    // 1. 编译产物存在性
+    const navPath = path.join(rootDir, "dist", "engine", "next_action_planner.js");
+    if (!fs.existsSync(navPath)) {
+        hardFail("NAVIGATION_MODULE_MISSING", "problem-65: next_action_planner.js 未编译到 dist/", ["src/engine/next_action_planner.ts"], "problem-65", "发布门禁不检查问题-65 导航机制是否存在", "实现 next_action_planner 并编译");
+        return;
+    }
+    // 2. 核心导出存在性
+    let nav;
+    try {
+        nav = await import(navPath);
+    }
+    catch (e) {
+        hardFail("NAVIGATION_IMPORT_ERROR", `problem-65: next_action_planner 导入失败: ${e.message}`, ["src/engine/next_action_planner.ts"], "problem-65", "导航模块存在但不可导入", "修复导入错误");
+        return;
+    }
+    if (typeof nav.planNextAction !== "function") {
+        hardFail("NAVIGATION_EXPORT_MISSING", "problem-65: next_action_planner 未导出 planNextAction 函数", ["src/engine/next_action_planner.ts"], "problem-65", "导航模块缺少核心导出", "添加 planNextAction 导出");
+    }
+    if (typeof nav.computeDisallowedActions !== "function") {
+        hardFail("NAVIGATION_DISALLOWED_MISSING", "problem-65: next_action_planner 未导出 computeDisallowedActions 函数", ["src/engine/next_action_planner.ts"], "problem-65", "禁止动作规则计算函数缺失", "添加 computeDisallowedActions 导出");
+    }
+    // 3. 行为验证: 未初始化项目应返回 uninitialized
+    const tmpDir = path.join(rootDir, ".soloforge-gate-nav-test-" + Date.now());
+    try {
+        fs.mkdirSync(tmpDir, { recursive: true });
+        const plan = await nav.planNextAction(tmpDir);
+        if (plan.project_stage !== "uninitialized") {
+            hardFail("NAVIGATION_BEHAVIOR_UNINIT", `problem-65: 未初始化项目的阶段应为 uninitialized，实际为 ${plan.project_stage}`, ["src/engine/project_stage_detector.ts"], "problem-65", "导航未正确检测未初始化项目", "修复 detectProjectStage 逻辑");
+        }
+        if (!plan.work_package || plan.work_package.action !== "sf_init") {
+            hardFail("NAVIGATION_BEHAVIOR_INIT_WP", `problem-65: 未初始化项目的工作包应为 sf_init，实际为 ${plan.work_package?.action ?? "null"}`, ["src/engine/next_action_planner.ts"], "problem-65", "导航工作包未正确推荐初始化", "修复 computeWorkPackage 逻辑");
+        }
+    }
+    catch (e) {
+        hardFail("NAVIGATION_BEHAVIOR_ERROR", `problem-65: 行为级检查执行失败: ${e.message}`, ["src/engine/next_action_planner.ts"], "problem-65", "导航机制行为检查不可执行", "修复导航机制代码");
+    }
+    finally {
+        try {
+            fs.rmSync(tmpDir, { recursive: true });
+        }
+        catch { }
+    }
+    // 4. 知识文件存在性
+    const rulePath = path.join(rootDir, "templates", "knowledge", "rules", "工作流导航契约规则.md");
+    if (!fs.existsSync(rulePath)) {
+        hardFail("NAVIGATION_RULE_MISSING", "problem-65: 缺少知识规则文件 工作流导航契约规则.md", ["templates/knowledge/rules/工作流导航契约规则.md"], "problem-65", "导航知识规则缺失", "创建知识规则文件");
+    }
+    const procedurePath = path.join(rootDir, "templates", "knowledge", "procedures", "全生命周期工作流导航.md");
+    if (!fs.existsSync(procedurePath)) {
+        hardFail("NAVIGATION_PROCEDURE_MISSING", "problem-65: 缺少知识流程文件 全生命周期工作流导航.md", ["templates/knowledge/procedures/全生命周期工作流导航.md"], "problem-65", "导航知识流程缺失", "创建知识流程文件");
+    }
+    // 5. CLI 命令存在性
+    const cliDist = fs.readFileSync(path.join(rootDir, "dist", "bin", "soloforge.js"), "utf-8");
+    if (!cliDist.includes('case "next"') && !cliDist.includes("cmdNext")) {
+        hardFail("NAVIGATION_CLI_MISSING", "problem-65: CLI 缺少 next 命令入口", ["src/bin/soloforge.ts"], "problem-65", "CLI 无 next 命令", "添加 case 'next' dispatch");
+    }
+    if (!cliDist.includes('case "stage"') && !cliDist.includes("cmdStage")) {
+        hardFail("NAVIGATION_CLI_STAGE_MISSING", "problem-65: CLI 缺少 stage 命令入口", ["src/bin/soloforge.ts"], "problem-65", "CLI 无 stage 命令", "添加 case 'stage' dispatch");
+    }
+    _info("  problem-65 工作流导航行为验证完成");
+}
+// ── 17. 实现工程契约行为验证（问题六十六/六十七） ──
+async function checkImplementationContractBehavior(rootDir, hardFail, _info) {
+    const oodPath = path.join(rootDir, "dist", "engine", "ood_solid_contract.js");
+    const backendPath = path.join(rootDir, "dist", "engine", "backend_implementation_contract.js");
+    if (!fs.existsSync(oodPath) || !fs.existsSync(backendPath)) {
+        hardFail("IMPLEMENTATION_CONTRACT_MODULE_MISSING", "problem-66/67: OOD/SOLID 或后端工程契约未编译到 dist/", ["src/engine/ood_solid_contract.ts", "src/engine/backend_implementation_contract.ts"], "problem-66/problem-67", "仅登记问题而未验证运行时模块", "实现并编译两个工程契约模块");
+        return;
+    }
+    try {
+        const ood = await import(oodPath);
+        const backend = await import(backendPath);
+        const blockedOod = ood.evaluateOodDesignGate({
+            task_id: "gate-ood",
+            intent: "实现订单领域服务状态流转策略",
+            route: "code_change",
+        });
+        if (blockedOod.allowed || blockedOod.status !== "blocked") {
+            hardFail("OOD_SUMMARY_FALSE_PASS", "problem-66: 复杂业务编码缺少 OOD 摘要仍被放行", ["src/engine/ood_solid_contract.ts"], "problem-66", "文件存在不能证明编码前门禁有效", "修复 evaluateOodDesignGate 的缺摘要阻断");
+        }
+        const lowRisk = ood.evaluateOodDesignGate({
+            task_id: "gate-ood-low",
+            intent: "修复 README 文案错别字",
+            route: "code_change",
+        });
+        if (!lowRisk.allowed || lowRisk.status !== "not_applicable") {
+            hardFail("OOD_LOW_RISK_OVERBLOCK", "problem-66: 低风险文案任务被 OOD 门禁误阻断", ["src/engine/ood_solid_contract.ts"], "problem-66", "门禁不能以流程重量替代适用性判断", "修复低风险跳过判断");
+        }
+        const solidFindings = ood.reviewSolidCode({
+            "src/OrderController.ts": "class OrderController { save(){ return this.repository.save(this.calculate()); } }",
+        });
+        if (!ood.hasBlockingSolidFindings(solidFindings)) {
+            hardFail("SOLID_REVIEW_FALSE_PASS", "problem-66: Controller 职责膨胀没有产生阻断 finding", ["src/engine/ood_solid_contract.ts"], "problem-66", "必须用真实代码内容验证审查能力", "修复 SRP 阻断识别");
+        }
+        const blockedBackend = backend.evaluateBackendImplementationGate({
+            task_id: "gate-backend",
+            intent: "实现后端 API 支付接口",
+            route: "code_change",
+        });
+        if (blockedBackend.allowed || blockedBackend.status !== "blocked") {
+            hardFail("BACKEND_WORK_PACKAGE_FALSE_PASS", "problem-67: 后端实现缺少工程工作包仍被放行", ["src/engine/backend_implementation_contract.ts"], "problem-67", "文件存在不能证明编码前门禁有效", "修复 evaluateBackendImplementationGate");
+        }
+        const backendFindings = backend.reviewBackendImplementationFiles({
+            "src/PaymentController.java": "@PostMapping(\"/pay\") @Transactional public PaymentEntity pay(@RequestBody PaymentEntity value) { webClient.post(); return value; }",
+        });
+        if (!backend.hasBlockingBackendFindings(backendFindings)) {
+            hardFail("BACKEND_REVIEW_FALSE_PASS", "problem-67: 实体暴露或事务内外调没有产生阻断 finding", ["src/engine/backend_implementation_contract.ts"], "problem-67", "必须用真实代码内容验证后端审查能力", "修复后端工程 finding 检测");
+        }
+        if (backend.requiresBackendImplementationContract("实现简单 GET 详情只读接口", "code_change")) {
+            hardFail("BACKEND_LOW_RISK_OVERBLOCK", "problem-67: 简单只读接口被完整后端工程工作包误阻断", ["src/engine/backend_implementation_contract.ts"], "problem-67", "后端契约必须具备适用性边界", "修复低风险只读任务跳过逻辑");
+        }
+        const alignmentFindings = backend.verifyBackendArtifactAlignment({
+            apiDocumentText: "GET /api/payments/{id}",
+            openapiText: "paths:\n  /api/orders/{id}:",
+            migrationText: "create table payment(id bigint);",
+        });
+        if (!backend.hasBlockingBackendFindings(alignmentFindings)) {
+            hardFail("BACKEND_API_OPENAPI_DRIFT_FALSE_PASS", "problem-67: Markdown API 与 OpenAPI endpoint 漂移未阻断", ["src/engine/backend_implementation_contract.ts"], "problem-67", "契约对齐必须由行为检查证明", "修复 API/OpenAPI 漂移检测");
+        }
+    }
+    catch (e) {
+        hardFail("IMPLEMENTATION_CONTRACT_EXECUTION_ERROR", `problem-66/67: 实现工程行为检查执行失败: ${e.message}`, ["src/engine/ood_solid_contract.ts", "src/engine/backend_implementation_contract.ts"], "problem-66/problem-67", "契约模块必须可运行并返回确定结果", "修复运行时异常");
+    }
+    const toolsText = safeRead(path.join(rootDir, "src", "adapters", "claude_code", "tools.ts")) ?? "";
+    const requiredHooks = [
+        "lazyOodSolid", "lazyBackendImplementation", "evaluateOodDesignGate",
+        "evaluateBackendImplementationGate", "reviewSolidCode",
+        "reviewBackendImplementationFiles", "hasBlockingSolidFindings", "hasBlockingBackendFindings",
+    ];
+    for (const hook of requiredHooks) {
+        if (!toolsText.includes(hook)) {
+            hardFail("IMPLEMENTATION_CONTRACT_MAINPATH_MISSING", `problem-66/67: MCP 主链路缺少真实消费点 ${hook}`, ["src/adapters/claude_code/tools.ts"], "problem-66/problem-67", "只实现引擎函数不能证明用户路径受约束", "接入 sf_expand/sf_review/sf_verify/sf_deliver");
+        }
+    }
+    _info("  problem-66/67 实现工程契约行为验证完成");
+}
 // ── 15. 发布问题全局合同 ──
 async function checkReleaseIssueDesignPath(rootDir, hardFail, _info) {
     const toolsText = safeRead(path.join(rootDir, "src", "adapters", "claude_code", "tools.ts")) ?? "";
@@ -2165,10 +2303,18 @@ export async function runReleaseReadinessGate(rootDir) {
     beginPhase("依赖漏洞扫描");
     checkDependencyAudit(rootDir, hardFail, _info);
     endPhase("依赖漏洞扫描");
-    // 15: 发布问题全局合同（问题六十一至六十四）
+    // 15: 发布问题全局合同（问题六十一至六十五）
     beginPhase("发布问题全局合同");
     await checkReleaseIssueDesignPath(rootDir, hardFail, _info);
     endPhase("发布问题全局合同");
+    // 16: 工作流导航契约行为验证（问题六十五）
+    beginPhase("工作流导航契约行为验证");
+    await checkWorkflowNavigationBehavior(rootDir, hardFail, _info);
+    endPhase("工作流导航契约行为验证");
+    // 17: OOD/SOLID 与后端实现工程契约行为验证（问题六十六/六十七）
+    beginPhase("实现工程契约行为验证");
+    await checkImplementationContractBehavior(rootDir, hardFail, _info);
+    endPhase("实现工程契约行为验证");
     // 恢复 console.error 和日志器
     console.error = origConsoleError;
     resetLogger();