soloforge 1.5.0 → 2.0.0

package/dist/engine/contracts/lazy_pattern_detector.js

@@ -0,0 +1,164 @@
+/**
+ * 代码级偷懒模式检测器 — 纯正则实现，零 AI 依赖。
+ *
+ * 职责：
+ * - 对 .ts 文件内容执行 6 种偷懒模式检测
+ * - 返回 LazyPatternFinding[]，包含严重级别、行号、中文描述和证据片段
+ * - 支持 abstract/interface/test 文件豁免
+ *
+ * 检测维度：
+ * 1. 空函数体（hard_fail）— 排除 abstract/interface 声明
+ * 2. 未实现占位 throw new Error("not implemented")（hard_fail）
+ * 3. 空 catch 块（hard_fail）
+ * 4. TODO/FIXME 注释（warning）— .test.ts 豁免
+ * 5. 未实现注释（待实现/待完成）（hard_fail）— .test.ts 豁免
+ * 6. any 无 disable 注释（warning）— .d.ts 豁免
+ *
+ * 设计决策：
+ * - 代码围栏状态机跳过 markdown 代码块（防止误报）
+ * - 逐行匹配，每行只报第一个匹配（避免同一行重复报告）
+ * - 豁免逻辑在函数入口通过 filePath 后缀判断
+ */
+const PATTERNS = [
+    // 1. 空函数体 — hard_fail（只匹配 { 和 } 同行的真正空体）
+    {
+        name: "empty_function_body",
+        regex: /(?:function\s+\w+\s*\([^)]*\)\s*\{\s*\}|(?:const|let|var)\s+\w+\s*=\s*(?:async\s+)?\([^)]*\)\s*(?::\s*\w+(?:<[^>]+>)?)?\s*=>\s*\{\s*\})/,
+        severity: "hard_fail",
+        message_template: "空函数体：{match}",
+        exclude_line: /abstract\s|interface\s|\bdeclare\s/,
+    },
+    // 2. 未实现占位 — hard_fail
+    {
+        name: "not_implemented_placeholder",
+        regex: /throw\s+new\s+(?:Error|TypeError|NotImplementedError)\s*\(\s*["'](?:not\s+implemented|TODO|FIXME|unimplemented|暂未实现|尚未实现)/i,
+        severity: "hard_fail",
+        message_template: "未实现占位：{match}",
+    },
+    // 3. 空 catch 块 — hard_fail
+    {
+        name: "empty_catch_block",
+        regex: /catch\s*\(\s*\w+\s*\)\s*\{\s*\}/,
+        severity: "hard_fail",
+        message_template: "空 catch 块：{match}",
+    },
+    // 4. TODO/FIXME 注释 — warning
+    {
+        name: "todo_fixme_comment",
+        regex: /(?:\/\/|#)\s*(?:TODO|FIXME|HACK|XXX)\b/i,
+        severity: "warning",
+        message_template: "发现 TODO/FIXME 注释：{match}",
+        exclude_file_suffix: [".test.ts", ".spec.ts"],
+    },
+    // 5. 未实现注释 — hard_fail
+    {
+        name: "unimplemented_comment",
+        regex: /(?:\/\/|#)\s*(?:待实现|待完成|待补充|暂未实现|尚未实现|需要实现|待开发)/,
+        severity: "hard_fail",
+        message_template: "发现未实现注释：{match}",
+        exclude_file_suffix: [".test.ts", ".spec.ts"],
+    },
+    // 6. any 无 disable — warning
+    {
+        name: "any_without_disable",
+        regex: /:\s*any\b/,
+        severity: "warning",
+        message_template: "使用 any 类型但无 eslint-disable 注释：{match}",
+        exclude_line: /eslint-disable.*@typescript-eslint\/no-explicit-any/,
+        exclude_file_suffix: [".d.ts"],
+    },
+];
+// ── 代码围栏状态机 ──
+/**
+ * 判断某行是否在 markdown 代码围栏内。
+ * 用于跳过 .ts 文件中嵌入的 markdown 文档（如注释中的代码示例）。
+ */
+function isInCodeFence(line, fenceState) {
+    const trimmed = line.trim();
+    if (/^```/.test(trimmed)) {
+        fenceState.inFence = !fenceState.inFence;
+        return true; // 围栏行本身也跳过
+    }
+    return fenceState.inFence;
+}
+// ── 核心检测函数 ──
+/**
+ * 对 .ts 文件内容执行偷懒模式检测。
+ *
+ * @param content 文件内容
+ * @param filePath 文件路径（用于豁免判断）
+ * @returns 偷懒模式发现项数组
+ */
+export function detectLazyPatterns(content, filePath) {
+    const findings = [];
+    const lines = content.split("\n");
+    const fenceState = { inFence: false };
+    // ── 第一遍：检测跨行空函数体 ──
+    // function foo() {\n} 和 const foo = () => {\n};
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i].trim();
+        // 跳过 abstract/interface/declare 声明
+        if (/\b(?:abstract|interface|declare)\b/.test(line))
+            continue;
+        // 匹配 function 开头并在行尾有 { 的声明
+        const funcOpen = /^(?:async\s+)?function\s+\w+\s*\([^)]*\)\s*(?::\s*\w+(?:<[^>]+>)?)?\s*\{\s*$/.exec(line);
+        // 匹配箭头函数开头并在行尾有 { 的声明
+        const arrowOpen = /^(?:const|let|var)\s+\w+\s*=\s*(?:async\s+)?\([^)]*\)\s*(?::\s*\w+(?:<[^>]+>)?)?\s*=>\s*\{\s*$/.exec(line);
+        if (funcOpen || arrowOpen) {
+            // 检查下一非空行是否只有 }
+            let nextIdx = i + 1;
+            while (nextIdx < lines.length && lines[nextIdx].trim() === "")
+                nextIdx++;
+            if (nextIdx < lines.length) {
+                const nextTrimmed = lines[nextIdx].trim();
+                if (nextTrimmed === "}" || nextTrimmed === "};") {
+                    findings.push({
+                        pattern: "empty_function_body",
+                        severity: "hard_fail",
+                        line_number: i + 1,
+                        message: `空函数体：${line}`,
+                        evidence: line.length > 120 ? line.substring(0, 120) + "..." : line,
+                    });
+                }
+            }
+        }
+    }
+    // ── 第二遍：逐行模式匹配 ──
+    const emptyBodyLines = new Set(findings.map((f) => f.line_number));
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        // 已在第一遍报过的行跳过
+        if (emptyBodyLines.has(i + 1))
+            continue;
+        // 跳过 markdown 代码围栏内的行
+        if (isInCodeFence(line, fenceState))
+            continue;
+        // 逐模式匹配，每行只报第一个匹配
+        for (const pattern of PATTERNS) {
+            // 文件豁免检查
+            if (pattern.exclude_file_suffix) {
+                if (pattern.exclude_file_suffix.some((sfx) => filePath.endsWith(sfx))) {
+                    continue;
+                }
+            }
+            const match = pattern.regex.exec(line);
+            if (!match)
+                continue;
+            // 行级排除检查
+            if (pattern.exclude_line && pattern.exclude_line.test(line))
+                continue;
+            // 截断证据到 120 字符
+            const evidence = line.length > 120 ? line.substring(0, 120) + "..." : line;
+            findings.push({
+                pattern: pattern.name,
+                severity: pattern.severity,
+                line_number: i + 1,
+                message: pattern.message_template.replace("{match}", match[0]),
+                evidence,
+            });
+            break; // 每行只报第一个匹配
+        }
+    }
+    return findings;
+}
+//# sourceMappingURL=lazy_pattern_detector.js.map

package/dist/engine/contracts/lazy_pattern_detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lazy_pattern_detector.js","sourceRoot":"","sources":["../../../src/engine/contracts/lazy_pattern_detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAmCH,MAAM,QAAQ,GAAiB;IAC7B,yCAAyC;IACzC;QACE,IAAI,EAAE,qBAAqB;QAC3B,KAAK,EAAE,yIAAyI;QAChJ,QAAQ,EAAE,WAAW;QACrB,gBAAgB,EAAE,cAAc;QAChC,YAAY,EAAE,oCAAoC;KACnD;IACD,uBAAuB;IACvB;QACE,IAAI,EAAE,6BAA6B;QACnC,KAAK,EAAE,4HAA4H;QACnI,QAAQ,EAAE,WAAW;QACrB,gBAAgB,EAAE,eAAe;KAClC;IACD,2BAA2B;IAC3B;QACE,IAAI,EAAE,mBAAmB;QACzB,KAAK,EAAE,iCAAiC;QACxC,QAAQ,EAAE,WAAW;QACrB,gBAAgB,EAAE,mBAAmB;KACtC;IACD,6BAA6B;IAC7B;QACE,IAAI,EAAE,oBAAoB;QAC1B,KAAK,EAAE,yCAAyC;QAChD,QAAQ,EAAE,SAAS;QACnB,gBAAgB,EAAE,0BAA0B;QAC5C,mBAAmB,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;KAC9C;IACD,uBAAuB;IACvB;QACE,IAAI,EAAE,uBAAuB;QAC7B,KAAK,EAAE,iDAAiD;QACxD,QAAQ,EAAE,WAAW;QACrB,gBAAgB,EAAE,iBAAiB;QACnC,mBAAmB,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;KAC9C;IACD,6BAA6B;IAC7B;QACE,IAAI,EAAE,qBAAqB;QAC3B,KAAK,EAAE,WAAW;QAClB,QAAQ,EAAE,SAAS;QACnB,gBAAgB,EAAE,uCAAuC;QACzD,YAAY,EAAE,qDAAqD;QACnE,mBAAmB,EAAE,CAAC,OAAO,CAAC;KAC/B;CACF,CAAC;AAEF,gBAAgB;AAEhB;;;GAGG;AACH,SAAS,aAAa,CAAC,IAAY,EAAE,UAAgC;IACnE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,UAAU,CAAC,OAAO,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC;QACzC,OAAO,IAAI,CAAC,CAAC,WAAW;IAC1B,CAAC;IACD,OAAO,UAAU,CAAC,OAAO,CAAC;AAC5B,CAAC;AAED,eAAe;AAEf;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAe,EAAE,QAAgB;IAClE,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAEtC,qBAAqB;IACrB,gDAAgD;IAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;QAE9B,mCAAmC;QACnC,IAAI,oCAAoC,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAE9D,4BAA4B;QAC5B,MAAM,QAAQ,GAAG,8EAA8E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3G,sBAAsB;QACtB,MAAM,SAAS,GAAG,gGAAgG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE9H,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;YAC1B,gBAAgB;YAChB,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;YACpB,OAAO,OAAO,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,OAAO,CAAE,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,OAAO,EAAE,CAAC;YAC1E,IAAI,OAAO,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;gBAC3B,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAE,CAAC,IAAI,EAAE,CAAC;gBAC3C,IAAI,WAAW,KAAK,GAAG,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;oBAChD,QAAQ,CAAC,IAAI,CAAC;wBACZ,OAAO,EAAE,qBAAqB;wBAC9B,QAAQ,EAAE,WAAW;wBACrB,WAAW,EAAE,CAAC,GAAG,CAAC;wBAClB,OAAO,EAAE,QAAQ,IAAI,EAAE;wBACvB,QAAQ,EAAE,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI;qBACpE,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAEnE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QAEvB,cAAc;QACd,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAAE,SAAS;QAExC,sBAAsB;QACtB,IAAI,aAAa,CAAC,IAAI,EAAE,UAAU,CAAC;YAAE,SAAS;QAE9C,kBAAkB;QAClB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,SAAS;YACT,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;gBAChC,IAAI,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBACtE,SAAS;gBACX,CAAC;YACH,CAAC;YAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,KAAK;gBAAE,SAAS;YAErB,SAAS;YACT,IAAI,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAEtE,eAAe;YACf,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;YAE3E,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO,EAAE,OAAO,CAAC,IAAI;gBACrB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,WAAW,EAAE,CAAC,GAAG,CAAC;gBAClB,OAAO,EAAE,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC9D,QAAQ;aACT,CAAC,CAAC;YAEH,MAAM,CAAC,YAAY;QACrB,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/engine/contracts/lifecycle_knowledge_contract.d.ts

@@ -0,0 +1,59 @@
+/**
+ * 生命周期 + 项目知识 + 证据消费统一合同。
+ *
+ * 这是 next、sf_stage_execute、sf_review、sf_gate_check、sf_stage_advance、审计和发布门禁共享的决策包。
+ * 任何入口不得绕过本合同临时新增生命周期文件、知识选择规则或交付阻断口径。
+ */
+import type { ProjectConfig } from "../../types/index.js";
+import { type GenerationTrace } from "./control_plane_contract.js";
+import { type DesignArtifactVerificationResult } from "./design_artifact_pack.js";
+import { getDesignLifecycleArtifactPaths, getDesignLifecycleStageContract, type DesignLifecycleStageId } from "./design_lifecycle_contract.js";
+import { type ProjectKnowledgeAuditReport, type ProjectKnowledgeSelectionResult } from "./project_knowledge_contract.js";
+import { type DesignImplementationTraceabilityReport } from "./traceability.js";
+export type LifecycleKnowledgeConsumer = "soloforge_next" | "sf_stage_execute" | "sf_review" | "sf_gate_check" | "sf_stage_advance" | "audit" | "release_gate" | "hook";
+export interface LifecycleKnowledgeDecisionInput {
+    projectPath: string;
+    consumer: LifecycleKnowledgeConsumer;
+    intent: string;
+    route?: string;
+    lifecycle_stage?: DesignLifecycleStageId;
+    changed_files?: string[];
+    verified_files?: string[];
+    traceability_ids?: string[];
+    business_domains?: string[];
+    tech_stack?: string[];
+    task_id?: string;
+    delivery_status?: "delivered" | "blocked" | "manual_required";
+    generation_traces?: GenerationTrace[];
+    enforce_control_plane?: boolean;
+    config?: ProjectConfig;
+    selection_limit?: number;
+    require_design_audit?: boolean;
+    record_trace?: boolean;
+}
+export interface LifecycleKnowledgeFinding {
+    severity: "hard_fail" | "warning" | "advisory";
+    code: string;
+    message_zh: string;
+    recovery_command?: string;
+    source: "lifecycle" | "traceability" | "design_artifact_pack" | "project_knowledge" | "control_plane";
+}
+export interface LifecycleKnowledgeDecisionBundle {
+    contract_id: "lifecycle_knowledge_contract/v1";
+    consumer: LifecycleKnowledgeConsumer;
+    lifecycle_stage?: DesignLifecycleStageId;
+    lifecycle_stage_contract?: ReturnType<typeof getDesignLifecycleStageContract>;
+    authoritative_paths: ReturnType<typeof getDesignLifecycleArtifactPaths>;
+    project_knowledge: ProjectKnowledgeAuditReport;
+    knowledge_selection: ProjectKnowledgeSelectionResult;
+    traceability: DesignImplementationTraceabilityReport;
+    design_artifact_pack?: DesignArtifactVerificationResult;
+    findings: LifecycleKnowledgeFinding[];
+    hard_fail_count: number;
+    warning_count: number;
+    decision_summary_zh: string;
+    recovery_commands: string[];
+}
+export declare function evaluateLifecycleKnowledgeDecision(input: LifecycleKnowledgeDecisionInput): LifecycleKnowledgeDecisionBundle;
+export declare function summarizeLifecycleKnowledgeDecision(bundle: LifecycleKnowledgeDecisionBundle): string;
+//# sourceMappingURL=lifecycle_knowledge_contract.d.ts.map

package/dist/engine/contracts/lifecycle_knowledge_contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle_knowledge_contract.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/lifecycle_knowledge_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,EAAmC,KAAK,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACpG,OAAO,EAIL,KAAK,gCAAgC,EACtC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,+BAA+B,EAC/B,+BAA+B,EAC/B,KAAK,sBAAsB,EAC5B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAGL,KAAK,2BAA2B,EAChC,KAAK,+BAA+B,EACrC,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAEL,KAAK,sCAAsC,EAC5C,MAAM,mBAAmB,CAAC;AAG3B,MAAM,MAAM,0BAA0B,GAClC,gBAAgB,GAChB,kBAAkB,GAClB,WAAW,GACX,eAAe,GACf,kBAAkB,GAClB,OAAO,GACP,cAAc,GACd,MAAM,CAAC;AAEX,MAAM,WAAW,+BAA+B;IAC9C,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,0BAA0B,CAAC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,eAAe,CAAC,EAAE,sBAAsB,CAAC;IACzC,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,eAAe,CAAC,EAAE,WAAW,GAAG,SAAS,GAAG,iBAAiB,CAAC;IAC9D,iBAAiB,CAAC,EAAE,eAAe,EAAE,CAAC;IACtC,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC,MAAM,CAAC,EAAE,aAAa,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,EAAE,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,MAAM,EAAE,WAAW,GAAG,cAAc,GAAG,sBAAsB,GAAG,mBAAmB,GAAG,eAAe,CAAC;CACvG;AAED,MAAM,WAAW,gCAAgC;IAC/C,WAAW,EAAE,iCAAiC,CAAC;IAC/C,QAAQ,EAAE,0BAA0B,CAAC;IACrC,eAAe,CAAC,EAAE,sBAAsB,CAAC;IACzC,wBAAwB,CAAC,EAAE,UAAU,CAAC,OAAO,+BAA+B,CAAC,CAAC;IAC9E,mBAAmB,EAAE,UAAU,CAAC,OAAO,+BAA+B,CAAC,CAAC;IACxE,iBAAiB,EAAE,2BAA2B,CAAC;IAC/C,mBAAmB,EAAE,+BAA+B,CAAC;IACrD,YAAY,EAAE,sCAAsC,CAAC;IACrD,oBAAoB,CAAC,EAAE,gCAAgC,CAAC;IACxD,QAAQ,EAAE,yBAAyB,EAAE,CAAC;IACtC,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC7B;AA8DD,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,+BAA+B,GACrC,gCAAgC,CAwIlC;AAED,wBAAgB,mCAAmC,CAAC,MAAM,EAAE,gCAAgC,GAAG,MAAM,CASpG"}

package/dist/engine/contracts/lifecycle_knowledge_contract.js

@@ -0,0 +1,203 @@
+/**
+ * 生命周期 + 项目知识 + 证据消费统一合同。
+ *
+ * 这是 next、sf_stage_execute、sf_review、sf_gate_check、sf_stage_advance、审计和发布门禁共享的决策包。
+ * 任何入口不得绕过本合同临时新增生命周期文件、知识选择规则或交付阻断口径。
+ */
+import { assessControlledGenerationChain } from "./control_plane_contract.js";
+import { createDesignArtifactPack, defaultDesignArtifactPaths, verifyDesignArtifactPack, } from "./design_artifact_pack.js";
+import { getDesignLifecycleArtifactPaths, getDesignLifecycleStageContract, } from "./design_lifecycle_contract.js";
+import { auditProjectKnowledge, selectProjectKnowledgeForTaskWithReasons, } from "./project_knowledge_contract.js";
+import { auditDesignImplementationTraceability, } from "./traceability.js";
+import { recordConsumptionTrace } from "../templates/consumption_trace_store.js";
+function consumerToTraceConsumer(consumer) {
+    switch (consumer) {
+        case "sf_stage_execute":
+            return "reviewer";
+        case "sf_review":
+            return "reviewer";
+        case "sf_gate_check":
+            return "verifier";
+        case "sf_stage_advance":
+            return "deliverer";
+        case "soloforge_next":
+        case "release_gate":
+        case "hook":
+        case "audit":
+            return "knowledge_selection";
+    }
+}
+function consumerAction(consumer) {
+    switch (consumer) {
+        case "sf_stage_execute":
+            return "reviewed";
+        case "sf_review":
+            return "reviewed";
+        case "sf_gate_check":
+            return "verified";
+        case "sf_stage_advance":
+            return "delivery_blocked";
+        case "audit":
+            return "indexed";
+        default:
+            return "selected";
+    }
+}
+function unique(values) {
+    return [...new Set(values.filter((value) => !!value && value.trim().length > 0))];
+}
+function collectTraceabilityIds(input) {
+    return unique([
+        ...(input.traceability_ids ?? []),
+        ...((input.intent.match(/\b(?:REQ|PROTO|ARCH|DD|PHASE|SLICE|AC)-(?:[A-Z]+)?\d{2,}\b/g) ?? [])),
+    ]);
+}
+function shouldEnforceTraceability(input, traceabilityIds) {
+    if (input.require_design_audit || traceabilityIds.length > 0)
+        return true;
+    const stageRequiresTraceability = ["implementation", "testing", "acceptance", "delivery"].includes(input.lifecycle_stage ?? "");
+    if (!stageRequiresTraceability)
+        return false;
+    return (input.changed_files ?? []).some((file) => /\.(java|kt|ts|tsx|js|jsx|py|go|rs|sql|yaml|yml)$/i.test(file) &&
+        !file.startsWith("templates/") &&
+        !file.startsWith("docs/") &&
+        !file.includes(".test.") &&
+        !file.endsWith(".test.ts") &&
+        !file.endsWith(".test.tsx"));
+}
+export function evaluateLifecycleKnowledgeDecision(input) {
+    const authoritativePaths = getDesignLifecycleArtifactPaths();
+    const projectKnowledge = auditProjectKnowledge(input.projectPath, input.config);
+    const traceability = auditDesignImplementationTraceability(input.projectPath, authoritativePaths.traceability_matrix);
+    const lifecycleStageContract = input.lifecycle_stage
+        ? getDesignLifecycleStageContract(input.lifecycle_stage)
+        : undefined;
+    const traceabilityIds = collectTraceabilityIds(input);
+    const selection = selectProjectKnowledgeForTaskWithReasons(projectKnowledge, {
+        intent: input.intent,
+        route: input.route,
+        tech_stack: input.tech_stack,
+        lifecycle_stage: input.lifecycle_stage,
+        changed_files: input.changed_files,
+        business_domains: input.business_domains,
+        traceability_ids: traceabilityIds,
+        limit: input.selection_limit ?? 8,
+    });
+    const findings = [];
+    for (const asset of projectKnowledge.assets) {
+        for (const finding of asset.findings) {
+            if (finding.severity === "hard_fail") {
+                findings.push({
+                    severity: "hard_fail",
+                    code: finding.code,
+                    message_zh: `${asset.rel_path}: ${finding.message_zh}`,
+                    recovery_command: "soloforge audit-project-knowledge",
+                    source: "project_knowledge",
+                });
+            }
+        }
+    }
+    if (shouldEnforceTraceability(input, traceabilityIds)) {
+        for (const finding of traceability.findings) {
+            findings.push({
+                severity: finding.severity,
+                code: finding.code,
+                message_zh: finding.message_zh,
+                recovery_command: finding.recovery_command,
+                source: "traceability",
+            });
+        }
+    }
+    let designArtifactPack;
+    if (input.require_design_audit) {
+        designArtifactPack = verifyDesignArtifactPack(input.projectPath, createDesignArtifactPack(input.task_id ?? "lifecycle-knowledge-decision", defaultDesignArtifactPaths()));
+        for (const finding of designArtifactPack.findings) {
+            findings.push({
+                severity: finding.severity,
+                code: finding.code,
+                message_zh: finding.message_zh,
+                recovery_command: finding.recovery_command ?? "soloforge audit-design-artifacts",
+                source: "design_artifact_pack",
+            });
+        }
+    }
+    if (input.enforce_control_plane !== false) {
+        const controlPlane = assessControlledGenerationChain({
+            changed_files: input.changed_files ?? [],
+            verified_files: input.verified_files ?? input.changed_files ?? [],
+            traces: input.generation_traces ?? [],
+            delivery_status: input.delivery_status,
+        });
+        for (const finding of controlPlane.findings) {
+            findings.push({
+                severity: finding.severity,
+                code: finding.code,
+                message_zh: finding.message,
+                recovery_command: finding.recovery,
+                source: "control_plane",
+            });
+        }
+    }
+    const requiredGate = lifecycleStageContract?.gates.find((gate) => gate.owner === input.consumer || (input.consumer === "hook" && gate.owner === "cli"));
+    if (requiredGate && requiredGate.required_evidence.length === 0) {
+        findings.push({
+            severity: "hard_fail",
+            code: "LIFECYCLE_GATE_WITHOUT_EVIDENCE",
+            message_zh: `生命周期门禁 ${requiredGate.id} 缺少 required_evidence`,
+            recovery_command: requiredGate.recovery_command,
+            source: "lifecycle",
+        });
+    }
+    if (input.record_trace !== false) {
+        const traceConsumer = consumerToTraceConsumer(input.consumer);
+        const action = consumerAction(input.consumer);
+        for (const decision of selection.decisions) {
+            recordConsumptionTrace({
+                consumer: traceConsumer,
+                asset_id: decision.asset.id,
+                asset_path: decision.asset.rel_path,
+                fields_consumed: ["asset_path", "contract_decision", "lifecycle_stage", "matched_signals", "excluded_reasons"],
+                matched_reason: decision.reason_zh,
+                matched_signals: decision.matched_signals,
+                excluded_reasons: decision.excluded_reasons,
+                task_id_or_pipeline_id: input.task_id ?? input.route ?? input.consumer,
+                consumed_at: new Date().toISOString(),
+                lifecycle_stage: input.lifecycle_stage,
+                action,
+                contract_decision: decision.status === "blocked" ? "denied" : decision.status === "selected" ? "allowed" : "unregistered",
+            });
+        }
+    }
+    const hardFailCount = findings.filter((finding) => finding.severity === "hard_fail").length;
+    const warningCount = findings.filter((finding) => finding.severity === "warning").length;
+    const recoveryCommands = unique(findings.map((finding) => finding.recovery_command));
+    return {
+        contract_id: "lifecycle_knowledge_contract/v1",
+        consumer: input.consumer,
+        lifecycle_stage: input.lifecycle_stage,
+        lifecycle_stage_contract: lifecycleStageContract,
+        authoritative_paths: authoritativePaths,
+        project_knowledge: projectKnowledge,
+        knowledge_selection: selection,
+        traceability,
+        design_artifact_pack: designArtifactPack,
+        findings,
+        hard_fail_count: hardFailCount,
+        warning_count: warningCount,
+        decision_summary_zh: hardFailCount > 0
+            ? `统一生命周期知识合同阻断 ${hardFailCount} 项`
+            : `统一生命周期知识合同通过，选中 ${selection.selected.length} 条项目知识规则`,
+        recovery_commands: recoveryCommands,
+    };
+}
+export function summarizeLifecycleKnowledgeDecision(bundle) {
+    const selected = bundle.knowledge_selection.selected
+        .map((decision) => `${decision.asset.rel_path}: ${decision.reason_zh}`)
+        .join("；");
+    const blockers = bundle.findings
+        .filter((finding) => finding.severity === "hard_fail")
+        .map((finding) => `[${finding.code}] ${finding.message_zh}`)
+        .join("；");
+    return blockers || selected || bundle.decision_summary_zh;
+}
+//# sourceMappingURL=lifecycle_knowledge_contract.js.map

package/dist/engine/contracts/lifecycle_knowledge_contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle_knowledge_contract.js","sourceRoot":"","sources":["../../../src/engine/contracts/lifecycle_knowledge_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,+BAA+B,EAAwB,MAAM,6BAA6B,CAAC;AACpG,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,wBAAwB,GAEzB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACL,+BAA+B,EAC/B,+BAA+B,GAEhC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,qBAAqB,EACrB,wCAAwC,GAGzC,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,qCAAqC,GAEtC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,sBAAsB,EAA8B,MAAM,yCAAyC,CAAC;AA0D7G,SAAS,uBAAuB,CAAC,QAAoC;IACnE,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,UAAU,CAAC;QACpB,KAAK,WAAW;YACd,OAAO,UAAU,CAAC;QACpB,KAAK,eAAe;YAClB,OAAO,UAAU,CAAC;QACpB,KAAK,kBAAkB;YACrB,OAAO,WAAW,CAAC;QACrB,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,qBAAqB,CAAC;IACjC,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,QAAoC;IAC1D,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,kBAAkB;YACrB,OAAO,UAAU,CAAC;QACpB,KAAK,WAAW;YACd,OAAO,UAAU,CAAC;QACpB,KAAK,eAAe;YAClB,OAAO,UAAU,CAAC;QACpB,KAAK,kBAAkB;YACrB,OAAO,kBAAkB,CAAC;QAC5B,KAAK,OAAO;YACV,OAAO,SAAS,CAAC;QACnB;YACE,OAAO,UAAU,CAAC;IACtB,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,MAAiC;IAC/C,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACrG,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAsC;IACpE,OAAO,MAAM,CAAC;QACZ,GAAG,CAAC,KAAK,CAAC,gBAAgB,IAAI,EAAE,CAAC;QACjC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,6DAA6D,CAAC,IAAI,EAAE,CAAC,CAAC;KAC/F,CAAC,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAsC,EAAE,eAAyB;IAClG,IAAI,KAAK,CAAC,oBAAoB,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,MAAM,yBAAyB,GAAG,CAAC,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IAChI,IAAI,CAAC,yBAAyB;QAAE,OAAO,KAAK,CAAC;IAC7C,OAAO,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/C,mDAAmD,CAAC,IAAI,CAAC,IAAI,CAAC;QAC9D,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAC9B,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QACzB,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QACxB,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC1B,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAC5B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kCAAkC,CAChD,KAAsC;IAEtC,MAAM,kBAAkB,GAAG,+BAA+B,EAAE,CAAC;IAC7D,MAAM,gBAAgB,GAAG,qBAAqB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAChF,MAAM,YAAY,GAAG,qCAAqC,CAAC,KAAK,CAAC,WAAW,EAAE,kBAAkB,CAAC,mBAAmB,CAAC,CAAC;IACtH,MAAM,sBAAsB,GAAG,KAAK,CAAC,eAAe;QAClD,CAAC,CAAC,+BAA+B,CAAC,KAAK,CAAC,eAAe,CAAC;QACxD,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,eAAe,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,wCAAwC,CAAC,gBAAgB,EAAE;QAC3E,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,gBAAgB,EAAE,eAAe;QACjC,KAAK,EAAE,KAAK,CAAC,eAAe,IAAI,CAAC;KAClC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,MAAM,EAAE,CAAC;QAC5C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,IAAI,OAAO,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;gBACrC,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,WAAW;oBACrB,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,UAAU,EAAE,GAAG,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,UAAU,EAAE;oBACtD,gBAAgB,EAAE,mCAAmC;oBACrD,MAAM,EAAE,mBAAmB;iBAC5B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,yBAAyB,CAAC,KAAK,EAAE,eAAe,CAAC,EAAE,CAAC;QACtD,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;gBAC1C,MAAM,EAAE,cAAc;aACvB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,kBAAgE,CAAC;IACrE,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC/B,kBAAkB,GAAG,wBAAwB,CAC3C,KAAK,CAAC,WAAW,EACjB,wBAAwB,CAAC,KAAK,CAAC,OAAO,IAAI,8BAA8B,EAAE,0BAA0B,EAAE,CAAC,CACxG,CAAC;QACF,KAAK,MAAM,OAAO,IAAI,kBAAkB,CAAC,QAAQ,EAAE,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,UAAU,EAAE,OAAO,CAAC,UAAU;gBAC9B,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,IAAI,kCAAkC;gBAChF,MAAM,EAAE,sBAAsB;aAC/B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,qBAAqB,KAAK,KAAK,EAAE,CAAC;QAC1C,MAAM,YAAY,GAAG,+BAA+B,CAAC;YACnD,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,EAAE;YACxC,cAAc,EAAE,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,aAAa,IAAI,EAAE;YACjE,MAAM,EAAE,KAAK,CAAC,iBAAiB,IAAI,EAAE;YACrC,eAAe,EAAE,KAAK,CAAC,eAAe;SACvC,CAAC,CAAC;QACH,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,UAAU,EAAE,OAAO,CAAC,OAAO;gBAC3B,gBAAgB,EAAE,OAAO,CAAC,QAAQ;gBAClC,MAAM,EAAE,eAAe;aACxB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,sBAAsB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC/D,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CACrF,CAAC;IACF,IAAI,YAAY,IAAI,YAAY,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChE,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,iCAAiC;YACvC,UAAU,EAAE,UAAU,YAAY,CAAC,EAAE,uBAAuB;YAC5D,gBAAgB,EAAE,YAAY,CAAC,gBAAgB;YAC/C,MAAM,EAAE,WAAW;SACpB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,KAAK,CAAC,YAAY,KAAK,KAAK,EAAE,CAAC;QACjC,MAAM,aAAa,GAAG,uBAAuB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC9C,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;YAC3C,sBAAsB,CAAC;gBACrB,QAAQ,EAAE,aAAa;gBACvB,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE;gBAC3B,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,QAAQ;gBACnC,eAAe,EAAE,CAAC,YAAY,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,kBAAkB,CAAC;gBAC9G,cAAc,EAAE,QAAQ,CAAC,SAAS;gBAClC,eAAe,EAAE,QAAQ,CAAC,eAAe;gBACzC,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;gBAC3C,sBAAsB,EAAE,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,QAAQ;gBACtE,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACrC,eAAe,EAAE,KAAK,CAAC,eAAe;gBACtC,MAAM;gBACN,iBAAiB,EAAE,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc;aAC1H,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;IAC5F,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IACzF,MAAM,gBAAgB,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAErF,OAAO;QACL,WAAW,EAAE,iCAAiC;QAC9C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,wBAAwB,EAAE,sBAAsB;QAChD,mBAAmB,EAAE,kBAAkB;QACvC,iBAAiB,EAAE,gBAAgB;QACnC,mBAAmB,EAAE,SAAS;QAC9B,YAAY;QACZ,oBAAoB,EAAE,kBAAkB;QACxC,QAAQ;QACR,eAAe,EAAE,aAAa;QAC9B,aAAa,EAAE,YAAY;QAC3B,mBAAmB,EAAE,aAAa,GAAG,CAAC;YACpC,CAAC,CAAC,gBAAgB,aAAa,IAAI;YACnC,CAAC,CAAC,mBAAmB,SAAS,CAAC,QAAQ,CAAC,MAAM,UAAU;QAC1D,iBAAiB,EAAE,gBAAgB;KACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mCAAmC,CAAC,MAAwC;IAC1F,MAAM,QAAQ,GAAG,MAAM,CAAC,mBAAmB,CAAC,QAAQ;SACjD,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC;SACtE,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ;SAC7B,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,WAAW,CAAC;SACrD,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;SAC3D,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,OAAO,QAAQ,IAAI,QAAQ,IAAI,MAAM,CAAC,mBAAmB,CAAC;AAC5D,CAAC"}

package/dist/engine/contracts/local_docker_acceptance.d.ts

@@ -0,0 +1,94 @@
+/**
+ * 问题五十二: Local Docker / Browser Acceptance — 本地 Docker 与浏览器验收契约。
+ *
+ * 强制执行:
+ * - 有可运行前端/全栈服务时不得只停在单测、静态检查或报告
+ * - 浏览器验收失败必须 capture/classify/map/repair/rebuild/redeploy/rerun
+ * - 最终必须给用户本地可访问 URL，否则不得 delivered
+ * - 不得用空 errors 数组模拟 passed，必须有真实 HTTP 请求证据
+ */
+import type { LocalDockerAcceptanceContract, ServiceRuntimeSpec, BrowserAcceptancePlan, RepairLoopPolicy, BrowserAcceptanceEvidence, FinalLocalReviewAccess, LocalAcceptanceStatus } from "./extension_platform_contracts.js";
+export interface LocalAcceptanceResult {
+    passed: boolean;
+    status: LocalAcceptanceStatus;
+    blocking_reasons: string[];
+}
+/** 真实本地验收执行结果 */
+export interface RealLocalAcceptanceResult {
+    health_check_ok: boolean;
+    health_check_output: string;
+    target_url: string;
+    assertion_results: string[];
+    http_status: number | null;
+    response_body_sample: string;
+    timestamp: string;
+    run_hash: string;
+}
+/**
+ * 创建本地验收契约。
+ */
+export declare function createLocalDockerAcceptanceContract(overrides?: Partial<LocalDockerAcceptanceContract>): LocalDockerAcceptanceContract;
+/**
+ * 评估是否需要本地验收。
+ */
+export declare function requiresLocalAcceptance(hasFrontend: boolean, hasBackend: boolean, hasDockerCompose: boolean, hasDockerfile: boolean): {
+    required: boolean;
+    run_mode: LocalDockerAcceptanceContract["project_run_mode"];
+};
+/**
+ * 创建服务运行规格。
+ */
+export declare function createServiceRuntimeSpec(overrides: Partial<ServiceRuntimeSpec> & Pick<ServiceRuntimeSpec, "service_name">): ServiceRuntimeSpec;
+/**
+ * 执行真实本地 HTTP 验收 — 必须有真实 fetch 证据。
+ * 对指定 URL 执行 HTTP GET，记录 status、response body 片段、断言结果。
+ */
+export declare function executeRealHttpAcceptance(targetUrl: string, assertions: Array<{
+    name: string;
+    check: (status: number, body: string) => boolean;
+}>): Promise<RealLocalAcceptanceResult>;
+/** fetch-compatible transport 函数类型 */
+export type HttpTransport = (url: string) => Promise<{
+    status: number;
+    text: () => Promise<string>;
+}>;
+/**
+ * 使用可注入 transport 执行 HTTP 验收 — 不依赖端口绑定。
+ * transport 是一个 fetch-like 函数: (url) → { status, text() }
+ * 用于单元/Release Gate 中验证完整证据链，无需监听端口。
+ */
+export declare function executeHttpAcceptanceWithTransport(targetUrl: string, assertions: Array<{
+    name: string;
+    check: (status: number, body: string) => boolean;
+}>, transport: HttpTransport): Promise<RealLocalAcceptanceResult>;
+/**
+ * 将真实验收结果转换为浏览器验收证据。
+ */
+export declare function realResultToBrowserEvidence(result: RealLocalAcceptanceResult, flowName: string): BrowserAcceptanceEvidence;
+/**
+ * 执行浏览器验收 — 失败必须 capture/classify/map/repair/rebuild/redeploy/rerun。
+ * 注意: 此函数仅分类已知错误，不执行真实 HTTP 请求。
+ * 真实验收请使用 executeRealHttpAcceptance + realResultToBrowserEvidence。
+ */
+export declare function performBrowserAcceptance(plan: BrowserAcceptancePlan, errors: string[], _repairPolicy: RepairLoopPolicy): {
+    evidence: BrowserAcceptanceEvidence;
+    needsRepair: boolean;
+    stopReason?: string;
+};
+/**
+ * 验证最终访问 — 必须给用户本地可访问 URL。
+ */
+export declare function validateFinalAccess(finalAccess: FinalLocalReviewAccess, projectRunMode: LocalDockerAcceptanceContract["project_run_mode"]): LocalAcceptanceResult;
+/**
+ * 验证本地验收全量证据 — 检查 health check、browser evidence、build artifacts。
+ * 不允许仅靠传入空 errors 数组判定成功。
+ */
+export declare function validateLocalAcceptanceEvidence(contract: LocalDockerAcceptanceContract): LocalAcceptanceResult;
+/**
+ * 评估修复循环策略。
+ */
+export declare function evaluateRepairLoop(iteration: number, policy: RepairLoopPolicy, lastErrors: string[], previousErrors: string[]): {
+    continue_repair: boolean;
+    reason: string;
+};
+//# sourceMappingURL=local_docker_acceptance.d.ts.map

package/dist/engine/contracts/local_docker_acceptance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"local_docker_acceptance.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/local_docker_acceptance.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EACV,6BAA6B,EAC7B,kBAAkB,EAClB,qBAAqB,EACrB,gBAAgB,EAChB,yBAAyB,EACzB,sBAAsB,EACtB,qBAAqB,EACtB,MAAM,mCAAmC,CAAC;AAG3C,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,OAAO,CAAC;IAChB,MAAM,EAAE,qBAAqB,CAAC;IAC9B,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AAED,iBAAiB;AACjB,MAAM,WAAW,yBAAyB;IACxC,eAAe,EAAE,OAAO,CAAC;IACzB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,wBAAgB,mCAAmC,CACjD,SAAS,CAAC,EAAE,OAAO,CAAC,6BAA6B,CAAC,GACjD,6BAA6B,CA0C/B;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,OAAO,EACpB,UAAU,EAAE,OAAO,EACnB,gBAAgB,EAAE,OAAO,EACzB,aAAa,EAAE,OAAO,GACrB;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,6BAA6B,CAAC,kBAAkB,CAAC,CAAA;CAAE,CAWpF;AAED;;GAEG;AACH,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,IAAI,CAAC,kBAAkB,EAAE,cAAc,CAAC,GAChF,kBAAkB,CAQpB;AAED;;;GAGG;AACH,wBAAsB,yBAAyB,CAC7C,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAA;CAAE,CAAC,GACpF,OAAO,CAAC,yBAAyB,CAAC,CAqCpC;AAED,sCAAsC;AACtC,MAAM,MAAM,aAAa,GAAG,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,OAAO,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC,CAAC;AAEtG;;;;GAIG;AACH,wBAAsB,kCAAkC,CACtD,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAA;CAAE,CAAC,EACrF,SAAS,EAAE,aAAa,GACvB,OAAO,CAAC,yBAAyB,CAAC,CAqCpC;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CACzC,MAAM,EAAE,yBAAyB,EACjC,QAAQ,EAAE,MAAM,GACf,yBAAyB,CAc3B;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,qBAAqB,EAC3B,MAAM,EAAE,MAAM,EAAE,EAChB,aAAa,EAAE,gBAAgB,GAC9B;IACD,QAAQ,EAAE,yBAAyB,CAAC;IACpC,WAAW,EAAE,OAAO,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,CAmCA;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,sBAAsB,EACnC,cAAc,EAAE,6BAA6B,CAAC,kBAAkB,CAAC,GAChE,qBAAqB,CA+BvB;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,QAAQ,EAAE,6BAA6B,GACtC,qBAAqB,CAuDvB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAAE,EACpB,cAAc,EAAE,MAAM,EAAE,GACvB;IAAE,eAAe,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAa9C"}