soloforge 1.1.2 → 1.1.30

package/dist/engine/contracts/design_artifact_pack.js

@@ -0,0 +1,202 @@
+/**
+ * 设计产物包真实复验。
+ *
+ * 本模块读取用户项目中的真实设计资产，检查权威文件存在性、
+ * API 字段级合同、SQL 显著不可执行语法和跨文档关键冲突。
+ */
+import fs from "node:fs";
+import path from "node:path";
+import { createHash } from "node:crypto";
+import YAML from "yaml";
+import { auditDesignImplementationTraceability, } from "./traceability.js";
+import { getDesignLifecycleArtifactAliases, getDesignLifecycleArtifactPaths } from "./design_lifecycle_contract.js";
+export function defaultDesignArtifactPaths() {
+    return getDesignLifecycleArtifactPaths();
+}
+export function createDesignArtifactPack(taskId, paths = {}) {
+    return {
+        task_id: taskId,
+        standard_version: "design-artifact-pack/v1",
+        status: "draft",
+        paths: { ...defaultDesignArtifactPaths(), ...paths },
+        baseline_hashes: {},
+        findings: [],
+    };
+}
+function resolveTraceabilityMatrixPath(paths) {
+    return paths.traceability_matrix ?? getDesignLifecycleArtifactPaths().traceability_matrix;
+}
+function readText(rootDir, relativePath) {
+    const absolutePath = path.join(rootDir, relativePath);
+    return fs.existsSync(absolutePath) ? fs.readFileSync(absolutePath, "utf-8") : undefined;
+}
+function resolveReadableArtifactPath(rootDir, canonicalPath) {
+    for (const candidate of [canonicalPath, ...getDesignLifecycleArtifactAliases(canonicalPath)]) {
+        if (readText(rootDir, candidate) !== undefined)
+            return candidate;
+    }
+    return undefined;
+}
+function addMissing(findings, relativePath) {
+    findings.push({ code: "DESIGN_ARTIFACT_MISSING", severity: "hard_fail", file: relativePath, message_zh: `缺少设计产物: ${relativePath}` });
+}
+function collectSqlFiles(rootDir, roots) {
+    const results = [];
+    for (const relativeRoot of roots) {
+        const absoluteRoot = path.join(rootDir, relativeRoot);
+        if (!fs.existsSync(absoluteRoot))
+            continue;
+        const stack = [absoluteRoot];
+        while (stack.length > 0) {
+            const current = stack.pop();
+            for (const entry of fs.readdirSync(current, { withFileTypes: true })) {
+                const absolutePath = path.join(current, entry.name);
+                if (entry.isDirectory())
+                    stack.push(absolutePath);
+                else if (entry.name.endsWith(".sql"))
+                    results.push(path.relative(rootDir, absolutePath));
+            }
+        }
+    }
+    return [...new Set(results)].sort();
+}
+function verifyApiFieldContract(content, file, findings) {
+    const endpointCount = (content.match(/(?:^|\n)#{2,5}\s+.*(?:GET|POST|PUT|PATCH|DELETE)\s+\/|(?:^|\n)\s*(?:GET|POST|PUT|PATCH|DELETE)\s+\/\S+/g) ?? []).length;
+    const requestTables = (content.match(/请求(?:体|参数| Body)?.{0,20}\n\s*\|/g) ?? []).length;
+    const responseTables = (content.match(/响应(?:体|字段| Body)?.{0,20}\n\s*\|/g) ?? []).length;
+    if (endpointCount === 0) {
+        findings.push({ code: "API_ENDPOINTS_NOT_IDENTIFIED", severity: "hard_fail", file, message_zh: "API 规格未识别到 endpoint 定义，无法验证字段级契约" });
+        return;
+    }
+    if (requestTables < endpointCount || responseTables < endpointCount) {
+        findings.push({
+            code: "API_FIELD_TABLE_INCOMPLETE",
+            severity: "hard_fail",
+            file,
+            message_zh: `API 规格存在 ${endpointCount} 个 endpoint，但字段表不足（请求 ${requestTables}，响应 ${responseTables}）；每个接口必须具备请求与响应字段说明表`,
+        });
+    }
+}
+function extractApiOperations(content) {
+    const matches = content.matchAll(/\b(GET|POST|PUT|PATCH|DELETE)\s+(\/api\/\S+)/gi);
+    return [...matches].map((match) => ({
+        method: match[1].toLowerCase(),
+        path: match[2].replace(/[，。),;`]+$/, ""),
+    }));
+}
+function verifyOpenApiCoverage(apiContent, openapiContent, file, findings) {
+    let parsed;
+    try {
+        parsed = YAML.parse(openapiContent);
+    }
+    catch {
+        findings.push({ code: "OPENAPI_PARSE_FAILED", severity: "hard_fail", file, message_zh: "OpenAPI YAML 无法解析，不得作为接口字段权威资产" });
+        return;
+    }
+    const paths = parsed?.paths ?? {};
+    const operations = extractApiOperations(apiContent);
+    if (operations.length === 0 || Object.keys(paths).length === 0) {
+        findings.push({ code: "OPENAPI_OPERATIONS_MISSING", severity: "hard_fail", file, message_zh: "API 文档或 OpenAPI 未提供可对账的 endpoint 操作" });
+        return;
+    }
+    for (const operation of operations) {
+        if (!paths[operation.path]?.[operation.method]) {
+            findings.push({
+                code: "OPENAPI_MARKDOWN_DRIFT",
+                severity: "hard_fail",
+                file,
+                message_zh: `API 文档中的 ${operation.method.toUpperCase()} ${operation.path} 未在 OpenAPI 中定义同名操作`,
+            });
+        }
+    }
+}
+export function verifyDesignArtifactPack(rootDir, contract) {
+    const findings = [];
+    const checkedFiles = [];
+    const hashes = {};
+    const requiredDocuments = [
+        contract.paths.decision_record,
+        contract.paths.architecture_document,
+        contract.paths.database_document,
+        contract.paths.api_document,
+        contract.paths.slice_plan,
+        contract.paths.consistency_report,
+        resolveTraceabilityMatrixPath(contract.paths),
+        contract.paths.openapi,
+    ];
+    const contents = new Map();
+    for (const relativePath of requiredDocuments) {
+        const actualPath = relativePath === contract.paths.slice_plan
+            ? resolveReadableArtifactPath(rootDir, relativePath)
+            : relativePath;
+        const text = actualPath ? readText(rootDir, actualPath) : undefined;
+        if (!actualPath || text === undefined) {
+            addMissing(findings, relativePath);
+        }
+        else {
+            if (relativePath === contract.paths.slice_plan && actualPath !== relativePath) {
+                findings.push({
+                    code: "DESIGN_ARTIFACT_LEGACY_SLICE_PLAN_PATH",
+                    severity: "advisory",
+                    file: actualPath,
+                    message_zh: `检测到旧切片计划路径 ${actualPath}，当前标准路径为 ${relativePath}`,
+                    recovery_zh: `将 ${actualPath} 迁移或复制为 ${relativePath}，保留旧文件仅作为历史兼容引用。`,
+                    recovery_command: "soloforge upgrade-design-artifacts --apply --confirm",
+                });
+            }
+            contents.set(relativePath, text);
+            checkedFiles.push(actualPath);
+            hashes[actualPath] = createHash("sha256").update(text).digest("hex");
+        }
+    }
+    const apiContent = contents.get(contract.paths.api_document);
+    if (apiContent) {
+        verifyApiFieldContract(apiContent, contract.paths.api_document, findings);
+        const openapiContent = contents.get(contract.paths.openapi);
+        if (openapiContent) {
+            verifyOpenApiCoverage(apiContent, openapiContent, contract.paths.openapi, findings);
+        }
+    }
+    const dbContent = contents.get(contract.paths.database_document) ?? "";
+    const sqlFiles = collectSqlFiles(rootDir, contract.paths.sql_roots);
+    if (sqlFiles.length === 0) {
+        findings.push({ code: "SQL_AUTHORITY_MISSING", severity: "hard_fail", message_zh: "缺少可执行 SQL/migration 权威资产，数据库 Markdown 不得单独作为物理结构结论" });
+    }
+    for (const sqlFile of sqlFiles) {
+        const sql = readText(rootDir, sqlFile) ?? "";
+        checkedFiles.push(sqlFile);
+        hashes[sqlFile] = createHash("sha256").update(sql).digest("hex");
+        if (/CONSTRAINT\s+\S+\s+UNIQUE\s*\([^)]*\)\s+WHERE\b/i.test(sql)) {
+            findings.push({ code: "POSTGRES_PARTIAL_UNIQUE_INVALID", severity: "hard_fail", file: sqlFile, message_zh: "检测到 PostgreSQL 不支持的 CONSTRAINT UNIQUE ... WHERE 语法，应使用部分唯一索引并重新真实验证" });
+        }
+    }
+    if (/PostgreSQL/i.test(dbContent) && /CONSTRAINT\s+\S+\s+UNIQUE\s*\([^)]*\)\s+WHERE\b/i.test(dbContent)) {
+        findings.push({ code: "POSTGRES_PARTIAL_UNIQUE_INVALID", severity: "hard_fail", file: contract.paths.database_document, message_zh: "数据库设计文档包含 PostgreSQL 不可执行的条件唯一约束语法" });
+    }
+    const architectureContent = contents.get(contract.paths.architecture_document) ?? "";
+    if (/"code"\s*:\s*200/.test(architectureContent) && /"code"\s*:\s*0/.test(apiContent ?? "")) {
+        findings.push({ code: "CROSS_DOC_RESPONSE_CODE_CONFLICT", severity: "hard_fail", message_zh: "架构文档与 API 规格的统一响应业务码定义冲突" });
+    }
+    if (/\balert\b|告警/i.test(apiContent ?? "") && !/\balert\b|告警/i.test(dbContent)) {
+        findings.push({ code: "CROSS_DOC_ENTITY_MISSING", severity: "hard_fail", message_zh: "API 规格引用告警实体，但数据库设计未定义对应实体或映射" });
+    }
+    const traceabilityReport = auditDesignImplementationTraceability(rootDir, resolveTraceabilityMatrixPath(contract.paths));
+    for (const traceFinding of traceabilityReport.findings) {
+        findings.push({
+            code: traceFinding.code,
+            severity: traceFinding.severity,
+            file: traceFinding.file,
+            message_zh: traceFinding.message_zh,
+            recovery_zh: traceFinding.recovery_zh,
+            recovery_command: traceFinding.recovery_command,
+            template_path: traceFinding.template_path,
+        });
+    }
+    for (const checkedFile of traceabilityReport.checked_files) {
+        if (!checkedFiles.includes(checkedFile))
+            checkedFiles.push(checkedFile);
+    }
+    const passed = findings.every((finding) => finding.severity !== "hard_fail");
+    return { passed, status: passed ? "implementation_ready" : "verification_failed", findings, checked_files: checkedFiles, hashes };
+}
+//# sourceMappingURL=design_artifact_pack.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"design_artifact_pack.js","sourceRoot":"","sources":["../../../src/engine/contracts/design_artifact_pack.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EACL,qCAAqC,GACtC,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,iCAAiC,EAAE,+BAA+B,EAAE,MAAM,gCAAgC,CAAC;AAwDpH,MAAM,UAAU,0BAA0B;IACxC,OAAO,+BAA+B,EAAE,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAc,EAAE,QAAsC,EAAE;IAC/F,OAAO;QACL,OAAO,EAAE,MAAM;QACf,gBAAgB,EAAE,yBAAyB;QAC3C,MAAM,EAAE,OAAO;QACf,KAAK,EAAE,EAAE,GAAG,0BAA0B,EAAE,EAAE,GAAG,KAAK,EAAE;QACpD,eAAe,EAAE,EAAE;QACnB,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,KAA0B;IAC/D,OAAO,KAAK,CAAC,mBAAmB,IAAI,+BAA+B,EAAE,CAAC,mBAAmB,CAAC;AAC5F,CAAC;AAED,SAAS,QAAQ,CAAC,OAAe,EAAE,YAAoB;IACrD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IACtD,OAAO,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1F,CAAC;AAED,SAAS,2BAA2B,CAAC,OAAe,EAAE,aAAqB;IACzE,KAAK,MAAM,SAAS,IAAI,CAAC,aAAa,EAAE,GAAG,iCAAiC,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;QAC7F,IAAI,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;IACnE,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,UAAU,CAAC,QAAiC,EAAE,YAAoB;IACzE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,YAAY,EAAE,EAAE,CAAC,CAAC;AACvI,CAAC;AAED,SAAS,eAAe,CAAC,OAAe,EAAE,KAAe;IACvD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,YAAY,IAAI,KAAK,EAAE,CAAC;QACjC,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QACtD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;YAAE,SAAS;QAC3C,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;YAC7B,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;gBACrE,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBACpD,IAAI,KAAK,CAAC,WAAW,EAAE;oBAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;qBAC7C,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;oBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;YAC3F,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAe,EAAE,IAAY,EAAE,QAAiC;IAC9F,MAAM,aAAa,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,yGAAyG,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IAC9J,MAAM,aAAa,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,kCAAkC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACvF,MAAM,cAAc,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,kCAAkC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACxF,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,8BAA8B,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,kCAAkC,EAAE,CAAC,CAAC;QACrI,OAAO;IACT,CAAC;IACD,IAAI,aAAa,GAAG,aAAa,IAAI,cAAc,GAAG,aAAa,EAAE,CAAC;QACpE,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,4BAA4B;YAClC,QAAQ,EAAE,WAAW;YACrB,IAAI;YACJ,UAAU,EAAE,YAAY,aAAa,yBAAyB,aAAa,OAAO,cAAc,sBAAsB;SACvH,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAe;IAC3C,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,gDAAgD,CAAC,CAAC;IACnF,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE;QAC/B,IAAI,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC;KAC1C,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,qBAAqB,CAC5B,UAAkB,EAClB,cAAsB,EACtB,IAAY,EACZ,QAAiC;IAEjC,IAAI,MAA2D,CAAC;IAChE,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAwD,CAAC;IAC7F,CAAC;IAAC,MAAM,CAAC;QACP,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,gCAAgC,EAAE,CAAC,CAAC;QAC3H,OAAO;IACT,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC;IAClC,MAAM,UAAU,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,qCAAqC,EAAE,CAAC,CAAC;QACtI,OAAO;IACT,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/C,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,wBAAwB;gBAC9B,QAAQ,EAAE,WAAW;gBACrB,IAAI;gBACJ,UAAU,EAAE,YAAY,SAAS,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,SAAS,CAAC,IAAI,qBAAqB;aAC9F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,OAAe,EACf,QAAoC;IAEpC,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,iBAAiB,GAAG;QACxB,QAAQ,CAAC,KAAK,CAAC,eAAe;QAC9B,QAAQ,CAAC,KAAK,CAAC,qBAAqB;QACpC,QAAQ,CAAC,KAAK,CAAC,iBAAiB;QAChC,QAAQ,CAAC,KAAK,CAAC,YAAY;QAC3B,QAAQ,CAAC,KAAK,CAAC,UAAU;QACzB,QAAQ,CAAC,KAAK,CAAC,kBAAkB;QACjC,6BAA6B,CAAC,QAAQ,CAAC,KAAK,CAAC;QAC7C,QAAQ,CAAC,KAAK,CAAC,OAAO;KACvB,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE3C,KAAK,MAAM,YAAY,IAAI,iBAAiB,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,YAAY,KAAK,QAAQ,CAAC,KAAK,CAAC,UAAU;YAC3D,CAAC,CAAC,2BAA2B,CAAC,OAAO,EAAE,YAAY,CAAC;YACpD,CAAC,CAAC,YAAY,CAAC;QACjB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpE,IAAI,CAAC,UAAU,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACtC,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,IAAI,YAAY,KAAK,QAAQ,CAAC,KAAK,CAAC,UAAU,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;gBAC9E,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,wCAAwC;oBAC9C,QAAQ,EAAE,UAAU;oBACpB,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,cAAc,UAAU,YAAY,YAAY,EAAE;oBAC9D,WAAW,EAAE,KAAK,UAAU,WAAW,YAAY,kBAAkB;oBACrE,gBAAgB,EAAE,sDAAsD;iBACzE,CAAC,CAAC;YACL,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACjC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC9B,MAAM,CAAC,UAAU,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC7D,IAAI,UAAU,EAAE,CAAC;QACf,sBAAsB,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC1E,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5D,IAAI,cAAc,EAAE,CAAC;YACnB,qBAAqB,CAAC,UAAU,EAAE,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACtF,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC;IACvE,MAAM,QAAQ,GAAG,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,oDAAoD,EAAE,CAAC,CAAC;IAC5I,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7C,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,MAAM,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACjE,IAAI,kDAAkD,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACjE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iCAAiC,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,qEAAqE,EAAE,CAAC,CAAC;QACtL,CAAC;IACH,CAAC;IACD,IAAI,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,kDAAkD,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACxG,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iCAAiC,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,iBAAiB,EAAE,UAAU,EAAE,oCAAoC,EAAE,CAAC,CAAC;IAC9K,CAAC;IAED,MAAM,mBAAmB,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,EAAE,CAAC;IACrF,IAAI,kBAAkB,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;QAC5F,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kCAAkC,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,0BAA0B,EAAE,CAAC,CAAC;IAC7H,CAAC;IACD,IAAI,eAAe,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/E,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,+BAA+B,EAAE,CAAC,CAAC;IAC1H,CAAC;IAED,MAAM,kBAAkB,GAAG,qCAAqC,CAAC,OAAO,EAAE,6BAA6B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IACzH,KAAK,MAAM,YAAY,IAAI,kBAAkB,CAAC,QAAQ,EAAE,CAAC;QACvD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,YAAY,CAAC,IAAI;YACvB,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,IAAI,EAAE,YAAY,CAAC,IAAI;YACvB,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,WAAW,EAAE,YAAY,CAAC,WAAW;YACrC,gBAAgB,EAAE,YAAY,CAAC,gBAAgB;YAC/C,aAAa,EAAE,YAAY,CAAC,aAAa;SAC1C,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,WAAW,IAAI,kBAAkB,CAAC,aAAa,EAAE,CAAC;QAC3D,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC1E,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;IAC7E,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,qBAAqB,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;AACpI,CAAC"}

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

@@ -0,0 +1,60 @@
+/**
+ * 设计到交付生命周期合同。
+ *
+ * 本模块是设计、实现、测试、验收各节点输入输出的唯一口径。
+ * 其他门禁只能消费这里定义的阶段产物，不能在 sf_verify 或 hook 中临时新增文件假设。
+ */
+export type DesignLifecycleStageId = "requirements_intake" | "prototype_extraction" | "architecture_design" | "detail_design" | "slice_planning" | "implementation" | "testing" | "acceptance" | "delivery";
+export type LifecycleArtifactRole = "input" | "output" | "authority" | "evidence";
+export interface LifecycleArtifactContract {
+    id: string;
+    role: LifecycleArtifactRole;
+    path: string;
+    required: boolean;
+    description_zh: string;
+    aliases?: string[];
+}
+export interface LifecycleGateContract {
+    id: string;
+    owner: "soloforge_next" | "sf_expand" | "sf_verify" | "sf_review" | "sf_deliver" | "cli";
+    blocks: string[];
+    required_evidence: string[];
+    recovery_command?: string;
+}
+export interface DesignLifecycleStageContract {
+    stage_id: DesignLifecycleStageId;
+    name_zh: string;
+    purpose_zh: string;
+    inputs: LifecycleArtifactContract[];
+    outputs: LifecycleArtifactContract[];
+    authorities: LifecycleArtifactContract[];
+    gates: LifecycleGateContract[];
+}
+export interface DesignLifecycleContractFinding {
+    code: string;
+    severity: "hard_fail" | "advisory";
+    stage_id?: DesignLifecycleStageId;
+    message_zh: string;
+}
+export interface DesignLifecycleArtifactPaths {
+    decision_record: string;
+    architecture_document: string;
+    database_document: string;
+    api_document: string;
+    optional_detail_design_document: string;
+    slice_plan: string;
+    consistency_report: string;
+    traceability_matrix: string;
+    openapi: string;
+    sql_roots: string[];
+}
+export declare const DESIGN_LIFECYCLE_TRACEABILITY_MATRIX_PATH = "docs/traceability/01-\u9700\u6C42\u539F\u578B\u8BBE\u8BA1\u5B9E\u73B0\u8FFD\u8E2A\u77E9\u9635.md";
+export declare const DESIGN_LIFECYCLE_SLICE_PLAN_PATH = "docs/architecture/04-\u5F00\u53D1\u5207\u7247\u8BA1\u5212.md";
+export declare const DESIGN_LIFECYCLE_LEGACY_SLICE_PLAN_PATHS: readonly ["docs/architecture/04-第一阶段开发切片计划.md"];
+export declare const DESIGN_LIFECYCLE_SQL_ROOTS: readonly ["db/migrations", "db/migration", "db/schema", "db/changelog", "docs/db/migration", "backend/db/migration", "backend/src/main/resources/db/migration", "server/src/main/resources/db/migration", "apps/backend/src/main/resources/db/migration"];
+export declare function listDesignLifecycleStageContracts(): DesignLifecycleStageContract[];
+export declare function getDesignLifecycleStageContract(stageId: DesignLifecycleStageId): DesignLifecycleStageContract;
+export declare function getDesignLifecycleArtifactPaths(): DesignLifecycleArtifactPaths;
+export declare function getDesignLifecycleArtifactAliases(path: string): string[];
+export declare function validateDesignLifecycleContract(): DesignLifecycleContractFinding[];
+//# sourceMappingURL=design_lifecycle_contract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"design_lifecycle_contract.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/design_lifecycle_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,MAAM,sBAAsB,GAC5B,qBAAqB,GACrB,sBAAsB,GACtB,qBAAqB,GACrB,eAAe,GACf,gBAAgB,GAChB,gBAAgB,GAChB,SAAS,GACT,YAAY,GACZ,UAAU,CAAC;AAEjB,MAAM,MAAM,qBAAqB,GAAG,OAAO,GAAG,QAAQ,GAAG,WAAW,GAAG,UAAU,CAAC;AAElF,MAAM,WAAW,yBAAyB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,qBAAqB,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,qBAAqB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,gBAAgB,GAAG,WAAW,GAAG,WAAW,GAAG,WAAW,GAAG,YAAY,GAAG,KAAK,CAAC;IACzF,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,4BAA4B;IACzC,QAAQ,EAAE,sBAAsB,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,yBAAyB,EAAE,CAAC;IACpC,OAAO,EAAE,yBAAyB,EAAE,CAAC;IACrC,WAAW,EAAE,yBAAyB,EAAE,CAAC;IACzC,KAAK,EAAE,qBAAqB,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,8BAA8B;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,WAAW,GAAG,UAAU,CAAC;IACnC,QAAQ,CAAC,EAAE,sBAAsB,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,4BAA4B;IACzC,eAAe,EAAE,MAAM,CAAC;IACxB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,CAAC;IACrB,+BAA+B,EAAE,MAAM,CAAC;IACxC,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,eAAO,MAAM,yCAAyC,qGACZ,CAAC;AAE3C,eAAO,MAAM,gCAAgC,iEAAmC,CAAC;AAEjF,eAAO,MAAM,wCAAwC,iDAE3C,CAAC;AAEX,eAAO,MAAM,0BAA0B,2PAU7B,CAAC;AAyVX,wBAAgB,iCAAiC,IAAI,4BAA4B,EAAE,CAQlF;AAED,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,sBAAsB,GAAG,4BAA4B,CAU7G;AAED,wBAAgB,+BAA+B,IAAI,4BAA4B,CAyB9E;AAED,wBAAgB,iCAAiC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAOxE;AAED,wBAAgB,+BAA+B,IAAI,8BAA8B,EAAE,CAqFlF"}