soloforge 1.3.0 → 1.3.2

package/dist/engine/design_artifact_pack.js

@@ -0,0 +1,167 @@
+/**
+ * 设计产物包真实复验。
+ *
+ * 本模块读取用户项目中的真实设计资产，检查权威文件存在性、
+ * API 字段级合同、SQL 显著不可执行语法和跨文档关键冲突。
+ */
+import fs from "node:fs";
+import path from "node:path";
+import { createHash } from "node:crypto";
+import YAML from "yaml";
+export function defaultDesignArtifactPaths() {
+    return {
+        decision_record: "docs/architecture/00-架构决策记录.md",
+        architecture_document: "docs/architecture/01-架构设计文档.md",
+        database_document: "docs/architecture/02-数据库设计文档.md",
+        api_document: "docs/architecture/03-API接口规格文档.md",
+        consistency_report: "docs/architecture/99-设计一致性验收报告.md",
+        openapi: "docs/api/openapi.yaml",
+        sql_roots: ["db/migrations", "db/schema"],
+    };
+}
+export function createDesignArtifactPack(taskId, paths = {}) {
+    return {
+        task_id: taskId,
+        standard_version: "design-artifact-pack/v1",
+        status: "draft",
+        paths: { ...defaultDesignArtifactPaths(), ...paths },
+        baseline_hashes: {},
+        findings: [],
+    };
+}
+function readText(rootDir, relativePath) {
+    const absolutePath = path.join(rootDir, relativePath);
+    return fs.existsSync(absolutePath) ? fs.readFileSync(absolutePath, "utf-8") : 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 results;
+}
+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.consistency_report,
+        contract.paths.openapi,
+    ];
+    const contents = new Map();
+    for (const relativePath of requiredDocuments) {
+        const text = readText(rootDir, relativePath);
+        if (text === undefined) {
+            addMissing(findings, relativePath);
+        }
+        else {
+            contents.set(relativePath, text);
+            checkedFiles.push(relativePath);
+            hashes[relativePath] = 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 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/design_artifact_pack.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"design_artifact_pack.js","sourceRoot":"","sources":["../../src/engine/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;AAkDxB,MAAM,UAAU,0BAA0B;IACxC,OAAO;QACL,eAAe,EAAE,gCAAgC;QACjD,qBAAqB,EAAE,gCAAgC;QACvD,iBAAiB,EAAE,iCAAiC;QACpD,YAAY,EAAE,mCAAmC;QACjD,kBAAkB,EAAE,mCAAmC;QACvD,OAAO,EAAE,uBAAuB;QAChC,SAAS,EAAE,CAAC,eAAe,EAAE,WAAW,CAAC;KAC1C,CAAC;AACJ,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,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,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,OAAO,CAAC;AACjB,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,kBAAkB;QACjC,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,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAC7C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;YACjC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAChC,MAAM,CAAC,YAAY,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzE,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,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/dual_layer_mechanism_registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dual_layer_mechanism_registry.d.ts","sourceRoot":"","sources":["../../src/engine/dual_layer_mechanism_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,KAAK,EACV,iBAAiB,EAEjB,wBAAwB,EACxB,0BAA0B,EAE3B,MAAM,aAAa,CAAC;AAy/CrB,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAMpD,CAAC;AAEF,4BAA4B;AAC5B,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAErD;AAED,qBAAqB;AACrB,wBAAgB,2BAA2B,IAAI,GAAG,CAAC,MAAM,CAAC,CAEzD;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,iBAAiB,EAAE,CAE5D;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEnF;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,iBAAiB,EAAE,CAEhG;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,wBAAwB,GAAG,iBAAiB,EAAE,CAE3F;AAID,MAAM,WAAW,qBAAqB;IACpC,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,EAAE,OAAO,CAAC;IACxB,WAAW,EAAE,OAAO,CAAC;IACrB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,iBAAiB,GAAG,qBAAqB,CA4BxF;AAYD;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,GAAE,iBAAiB,EAAgD,EACvE,OAAO,GAAE,MAAsB,EAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,0BAA0B,EAAE,CA4N9B"}
+{"version":3,"file":"dual_layer_mechanism_registry.d.ts","sourceRoot":"","sources":["../../src/engine/dual_layer_mechanism_registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,KAAK,EACV,iBAAiB,EAEjB,wBAAwB,EACxB,0BAA0B,EAE3B,MAAM,aAAa,CAAC;AAqxDrB,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAOpD,CAAC;AAEF,4BAA4B;AAC5B,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,CAErD;AAED,qBAAqB;AACrB,wBAAgB,2BAA2B,IAAI,GAAG,CAAC,MAAM,CAAC,CAEzD;AAID;;;GAGG;AACH,wBAAgB,sBAAsB,IAAI,iBAAiB,EAAE,CAE5D;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEnF;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,iBAAiB,EAAE,CAEhG;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,wBAAwB,GAAG,iBAAiB,EAAE,CAE3F;AAID,MAAM,WAAW,qBAAqB;IACpC,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,EAAE,OAAO,CAAC;IACxB,WAAW,EAAE,OAAO,CAAC;IACrB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,iBAAiB,GAAG,qBAAqB,CA4BxF;AAYD;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,GAAE,iBAAiB,EAAgD,EACvE,OAAO,GAAE,MAAsB,EAC/B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,0BAA0B,EAAE,CA8O9B"}

package/dist/engine/dual_layer_mechanism_registry.js

@@ -986,6 +986,244 @@ const MECHANISM_CONTRACTS = [
         },
         status: "dual_layer_enforced",
     },
+    // ── 发布问题: 通用决策研讨机制（问题六十一） ──
+    // 架构决策研讨作为内置子包保留，mc-architecture-decision-workshop 不代表整个问题六十一
+    {
+        mechanism_id: "mc-decision-workshop",
+        mechanism_name: "通用决策研讨机制",
+        owner_issue_id: "问题六十一",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/通用决策研讨规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+            ],
+            injected_routes: ["multi_stage_plan", "single_artifact"],
+            injected_workflows: ["architecture_design", "technology_selection", "data_migration", "security_policy", "deployment", "refactor"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/decision_workshop.ts", "src/adapters/claude_code/tools.ts"],
+            registries: ["mechanism_contract_registry"],
+            entrypoints: ["requiresDecisionWorkshop", "createDecisionWorkshop", "evaluateDecisionWorkshop", "applyDecisionWorkshopGate"],
+            state_effects: ["decision_workshop → allow/block execution"],
+            hard_fail_conditions: ["必须域未确认", "现有系统证据缺失", "用户确认引用缺失"],
+            degradation_behavior: "返回待讨论域和待确认清单",
+        },
+        evidence_layer: {
+            outputs: ["DecisionWorkshopContract", "DecisionWorkshopGateResult"],
+            reports: ["DecisionRecord"],
+            diagnostic_codes: ["SF-DECISION-WORKSHOP-REQUIRED"],
+            task_context_facts: ["decision_workshop"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/decision_workshop.test.ts"],
+            runtime_checks: ["all_required_domains_confirmed"],
+            regression_cases: ["tech_selection_blocks_without_confirmation", "low_risk_skips_workshop"],
+            drift_checks: ["workshop_matches_task_intent"],
+        },
+        status: "dual_layer_enforced",
+    },
+    // ── 发布问题: 架构决策研讨与确认门（问题六十一内置子包） ──
+    {
+        mechanism_id: "mc-architecture-decision-workshop",
+        mechanism_name: "架构决策研讨与确认门",
+        owner_issue_id: "问题六十一",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/架构决策研讨规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/procedures/架构决策研讨工作流.md", asset_kind: "pipeline_procedure", consumption_mode: "required" },
+            ],
+            injected_routes: ["multi_stage_plan"],
+            injected_workflows: ["architecture_design"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/architecture_decision_workshop.ts", "src/adapters/claude_code/tools.ts"],
+            registries: ["mechanism_contract_registry"],
+            entrypoints: ["evaluateArchitectureDecisionWorkshop", "checkArchitectureDecisionWorkshopGate"],
+            state_effects: ["architecture_decision_workshop → allow/block formal design generation"],
+            hard_fail_conditions: ["六域决策未确认", "现有系统证据缺失", "输出范围未确认"],
+            degradation_behavior: "返回待讨论域和待确认清单",
+        },
+        evidence_layer: {
+            outputs: ["ArchitectureDecisionWorkshopContract", "ArchitectureWorkshopGateResult"],
+            reports: ["ArchitectureDecisionRecord"],
+            diagnostic_codes: ["SF-ARCH-WORKSHOP-REQUIRED"],
+            task_context_facts: ["architecture_decision_workshop"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/architecture_decision_workshop.test.ts", "tests/adapters/architecture_design_workshop_mainpath.test.ts"],
+            runtime_checks: ["six_domains_confirmed"],
+            regression_cases: ["missing_confirmation_blocks_design", "low_risk_skips_workshop"],
+            drift_checks: ["workshop_matches_architecture_output"],
+        },
+        status: "dual_layer_enforced",
+    },
+    // ── 发布问题: 标准资产覆盖机制（问题六十二） ──
+    // mc-design-artifact-pack 仅作为首批 P0 子机制保留
+    {
+        mechanism_id: "mc-standard-asset-coverage",
+        mechanism_name: "标准资产覆盖审计",
+        owner_issue_id: "问题六十二",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/标准资产覆盖规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+            ],
+            injected_routes: ["validate", "multi_stage_plan"],
+            injected_workflows: ["all"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/standard_asset_coverage.ts"],
+            registries: ["mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["auditStandardAssetCoverage"],
+            state_effects: ["coverage_report → 覆盖完整性"],
+            hard_fail_conditions: ["P0 资产缺少标准承载路径", "P0 资产未注册", "P0 资产缺少 owner"],
+            degradation_behavior: "覆盖缺口时阻断发布",
+        },
+        evidence_layer: {
+            outputs: ["StandardAssetCoverageReport", "StandardAssetCoverageEntry"],
+            reports: [],
+            diagnostic_codes: ["SF-COVERAGE-0001"],
+            task_context_facts: ["standard_asset_coverage"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/standard_asset_coverage.test.ts"],
+            runtime_checks: ["all_p0_types_covered"],
+            regression_cases: ["missing_bearer_blocks", "unregistered_asset_blocks"],
+            drift_checks: ["coverage_matches_registry"],
+        },
+        status: "dual_layer_enforced",
+    },
+    // ── 发布问题: 设计产物包与存量复验门（问题六十二子机制） ──
+    {
+        mechanism_id: "mc-design-artifact-pack",
+        mechanism_name: "设计产物包与存量复验门",
+        owner_issue_id: "问题六十二",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/设计产物包规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+                { path: "templates/knowledge/procedures/设计产物生成与复验工作流.md", asset_kind: "pipeline_procedure", consumption_mode: "required" },
+            ],
+            injected_routes: ["multi_stage_plan", "single_artifact"],
+            injected_workflows: ["architecture_design"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/design_artifact_pack.ts", "src/adapters/claude_code/tools.ts"],
+            registries: ["mechanism_contract_registry"],
+            entrypoints: ["verifyDesignArtifactPack"],
+            state_effects: ["design_artifact_pack → implementation_ready/block delivery"],
+            hard_fail_conditions: ["字段级 API 缺失", "SQL 无效", "跨产物冲突", "旧文档未复验"],
+            degradation_behavior: "复验失败时阻断编码与交付并请求修复",
+        },
+        evidence_layer: {
+            outputs: ["DesignArtifactPackContract", "DesignArtifactVerificationResult"],
+            reports: ["DesignConsistencyReport"],
+            diagnostic_codes: ["SF-DESIGN-PACK-VERIFY-FAILED", "SF-DESIGN-PACK-NOT-READY"],
+            task_context_facts: ["design_artifact_pack"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/design_artifact_pack.test.ts", "tests/adapters/architecture_design_workshop_mainpath.test.ts"],
+            runtime_checks: ["real_design_files_verified"],
+            regression_cases: ["api_fields_required", "postgres_invalid_sql_blocks", "cross_document_conflict_blocks"],
+            drift_checks: ["openapi_sql_markdown_consistency"],
+        },
+        status: "dual_layer_enforced",
+    },
+    // ── 发布问题: 标准资产契约化 ──
+    {
+        mechanism_id: "mc-standard-asset-contract",
+        mechanism_name: "标准资产契约化",
+        owner_issue_id: "问题六十三",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/验收模板输出契约规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+            ],
+            injected_routes: ["multi_stage_plan", "single_artifact"],
+            injected_workflows: ["architecture_design"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/standard_asset_contract.ts"],
+            registries: ["mechanism_contract_registry"],
+            entrypoints: ["verifyStandardAssetContract"],
+            state_effects: ["template_verified → 允许下游消费"],
+            hard_fail_conditions: ["P0 模板缺契约字段", "验收失败未进入 repair_reverify"],
+            degradation_behavior: "验收失败时阻断编码与交付并请求修复",
+        },
+        evidence_layer: {
+            outputs: ["StandardAssetContract", "ContractVerificationResult"],
+            reports: [],
+            diagnostic_codes: ["SF-CONTRACT-0001", "SF-CONTRACT-0002", "SF-CONTRACT-0003"],
+            task_context_facts: ["template_verified"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/standard_asset_contract.test.ts"],
+            runtime_checks: ["contract_fields_complete"],
+            regression_cases: ["api_field_table_missing_blocks", "draft_not_used_for_implementation"],
+            drift_checks: ["contract_matches_template_content"],
+        },
+        status: "dual_layer_enforced",
+    },
+    // ── 发布问题: 模板资产可见性与注入边界 ──
+    {
+        mechanism_id: "mc-template-asset-visibility",
+        mechanism_name: "模板资产可见性与注入边界",
+        owner_issue_id: "问题六十四",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/模板资产可见性规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+            ],
+            injected_routes: ["init", "sync-templates", "validate", "multi_stage_plan"],
+            injected_workflows: ["all"],
+            target_hosts: ["claude_code", "codex", "trae"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/template_asset_visibility.ts"],
+            registries: ["mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["filterAssetsForUserProject", "checkAssetVisibilityGate"],
+            state_effects: ["internal 资产不同步到用户项目", "scaffold 不进入知识索引"],
+            hard_fail_conditions: ["内部资产泄漏到用户项目", "可见性冲突未解决"],
+            degradation_behavior: "冲突资产隔离并请求用户确认",
+        },
+        evidence_layer: {
+            outputs: ["AssetVisibilityReport", "VisibilityConflictResult"],
+            reports: [],
+            diagnostic_codes: ["SF-ASSET-0001", "SF-ASSET-0002", "SF-ASSET-0003"],
+            task_context_facts: ["asset_visibility"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/template_asset_visibility.test.ts"],
+            runtime_checks: ["all_assets_have_visibility_metadata"],
+            regression_cases: ["internal_not_synced", "scaffold_not_indexed", "fallback_respects_gate"],
+            drift_checks: ["visibility_field_matches_content"],
+        },
+        status: "dual_layer_enforced",
+    },
     // ── 20. 现有系统分析 ──
     {
         mechanism_id: "mc-existing-system-analysis",
@@ -1495,6 +1733,45 @@ const MECHANISM_CONTRACTS = [
         },
         status: "dual_layer_enforced",
     },
+    // ── 37. 证据驱动与反幻觉契约 ──
+    {
+        mechanism_id: "mc-evidence-grounding",
+        mechanism_name: "证据驱动与反幻觉契约",
+        owner_issue_id: "问题六十",
+        priority: "P0",
+        template_layer: {
+            required: true,
+            assets: [
+                { path: "templates/knowledge/rules/证据驱动与反幻觉规则.md", asset_kind: "knowledge_rule", consumption_mode: "required" },
+            ],
+            injected_routes: ["code_execution", "multi_stage_plan"],
+            injected_workflows: ["sf_expand", "sf_verify", "sf_deliver"],
+            target_hosts: ["claude_code"],
+            language_policy: "zh_first",
+        },
+        enforcement_layer: {
+            required: true,
+            enforcers: ["src/engine/evidence_grounding_contract.ts", "src/engine/instruction_contract.ts"],
+            registries: ["dual_layer_mechanism_registry", "mechanism_contract_registry", "consumable_asset_registry"],
+            entrypoints: ["createEvidenceGroundingSystem", "assessTaskRisk"],
+            state_effects: ["evidence_matrix", "unsupported_claims", "conflict_resolutions"],
+            hard_fail_conditions: ["无证据声称项目事实", "generated_inference单独支撑事实", "forbidden evidence被注入", "tests/scenario/gate自证"],
+            degradation_behavior: "降级为 advisory，标注为通用建议，不阻断低风险任务",
+        },
+        evidence_layer: {
+            outputs: ["EvidenceMatrix", "EvidenceGateResult"],
+            reports: ["evidence_advisory", "unsupported_claims"],
+            diagnostic_codes: ["SF-EVIDENCE-6000", "SF-EVIDENCE-6001", "SF-EVIDENCE-6002"],
+            task_context_facts: ["evidence_matrix", "unsupported_claims", "conflict_resolutions"],
+        },
+        verification_layer: {
+            tests: ["tests/engine/evidence_grounding_contract.test.ts"],
+            runtime_checks: ["validate-release 证据驱动检查"],
+            regression_cases: ["无证据声称项目事实 → blocked", "generated_inference 单独支撑 → blocked", "validation_plan 冒充结果 → blocked"],
+            drift_checks: ["adapter prompt 包含证据驱动规则"],
+        },
+        status: "dual_layer_enforced",
+    },
 ];
 // ── 已废弃机制 ID 别名映射 ──
 // 旧 ID → 正式 ID。旧 ID 在 MC 中标记为 deprecated，模板/知识资产必须指向正式 ID。
@@ -1504,6 +1781,7 @@ export const MECHANISM_ALIASES = {
     "mc-workspace-resumer": "mc-task-context-lifecycle",
     "mc-delivery": "mc-delivery-gate",
     "mc-metric-contract": "mc-metric-governance",
+    "evidence-grounding": "mc-evidence-grounding",
 };
 /** 将机制 ID 解析为正式 ID（处理别名） */
 export function resolveMechanismId(id) {
@@ -1605,6 +1883,22 @@ export function validateMechanismLayerMaps(maps = MECHANISM_CONTRACTS.map(contra
     const knownMechanismIds = new Set(listMechanismContracts().map((c) => c.id));
     const knownCapabilityIds = new Set(getAllCapabilities().map((c) => c.id));
     for (const m of maps) {
+        // P0/P1 实验性机制必须被标记为未达 dual_layer_enforced
+        if (m.status === "experimental_dual_layer" && (m.priority === "P0" || m.priority === "P1")) {
+            findings.push({
+                severity: "hard_fail",
+                mechanism_id: m.mechanism_id,
+                finding_type: "p0_not_dual_layer",
+                message: `P0/P1 机制 ${m.mechanism_id} 必须为 dual_layer_enforced，当前: ${m.status}`,
+            });
+            seenIds.add(m.mechanism_id);
+            continue;
+        }
+        // 非 P0/P1 实验性机制跳过深度验证
+        if (m.status === "experimental_dual_layer") {
+            seenIds.add(m.mechanism_id);
+            continue;
+        }
         // 重复 ID
         if (seenIds.has(m.mechanism_id)) {
             findings.push({