soloforge 1.3.1 → 1.3.3

package/dist/engine/observed_consumption.js

@@ -0,0 +1,377 @@
+/**
+ * 逐资产运行时消费证据 — 由真实生产入口函数执行产生 trace。
+ *
+ * 调用真实生产模块（template_init_sync、template_manifest_io、scaffolder、
+ * intent_expander、claude_md、index_manager），收集 consumption_trace_store 中的 trace，
+ * 验证每个注册资产都有对应 consume_category 要求的真实 consumer trace。
+ *
+ * mainline 资产: 按 mainline_consumer 字段映射到真实 trace consumer，
+ * 而非统一使用 category 级别检查。
+ *
+ * 禁止：从合同声明字段直接复制 selected/pass。
+ * 禁止：以"文件存在"或"export 存在"作为消费证据。
+ * 禁止：自行遍历文件后伪写 consumer="verified_consumer" 的模拟证据。
+ * 禁止：用 contract_gate 为未运行资产补"消费通过"逻辑。
+ * 禁止：有任意 trace 即 pass 的宽松分支。
+ */
+import path from "node:path";
+import fs from "node:fs";
+import os from "node:os";
+import { getConsumptionTraces, clearConsumptionTraces, getTraceCounts, } from "./consumption_trace_store.js";
+import { buildTemplateAssetContracts, getContractDecision, clearContractCache, } from "./template_asset_contract_registry.js";
+/**
+ * mainline_consumer 字段 → 合法的真实 trace consumer（单精确匹配）。
+ *
+ * 每个 mainline 资产只能由对应入口函数产生的 trace 验证，
+ * trace 必须携带 declared_consumer 与合同 mainline_consumer 精确对应。
+ * 禁止跨入口替代：不得用 init/knowledge_index 代替专项消费者。
+ */
+const MAINLINE_CONSUMER_TRACE_MAP = {
+    "soloforge.copyGlobalPatterns": "init",
+    "intent_expander.loadBuiltinByPipeline": "expander",
+    "intent_expander.queryKnowledgeForRoute": "expander",
+    "claude_md.generateClaudeMd": "adapter_prompt",
+    "scaffolder.generateScaffold": "scaffold",
+    "knowledge_asset_consumer.consumeForRouter": "knowledge_index",
+    "knowledge_config_loader.loadKnowledgeConfig": "knowledge_index",
+    "knowledge_manager.addKnowledge": "knowledge_index",
+    "template_mechanism_auditor": "knowledge_index",
+    "code_reviewer.classifyFindingsByTrust": "knowledge_index",
+};
+/** consume_category → 必须由这些 consumer 之一产生真实 trace（非 mainline 类别） */
+const REQUIRED_CONSUMERS = {
+    copy_only: ["init", "sync_templates"],
+    scaffold_only: ["scaffold"],
+    internal_runtime: [], // 由合同门禁拒绝验证
+    audit_only: [], // 由合同门禁拒绝验证
+};
+/**
+ * 运行真实 init scenario: 调用共享模板同步模块。
+ */
+async function runRealInitScenario(rootDir, tmpDir) {
+    const { copyKnowledgeToProject, copyPatternsToGlobal } = await import("./template_init_sync.js");
+    await copyKnowledgeToProject(rootDir, tmpDir);
+    const globalDir = path.join(tmpDir, ".soloforge", "patterns");
+    await copyPatternsToGlobal(rootDir, globalDir);
+}
+/**
+ * 运行真实 sync-templates scenario: 调用 buildTemplateManifestWithStats。
+ */
+async function runRealSyncScenario(rootDir) {
+    const { buildTemplateManifestWithStats } = await import("./template_manifest_io.js");
+    const templatesDir = path.join(rootDir, "templates");
+    if (!fs.existsSync(templatesDir))
+        return;
+    buildTemplateManifestWithStats(templatesDir, "0.0.0");
+}
+/**
+ * 运行真实 scaffold scenario: 调用 generateScaffold。
+ */
+async function runRealScaffoldScenario(rootDir) {
+    const { generateScaffold } = await import("./scaffolder.js");
+    try {
+        await generateScaffold({
+            intent: "新建订单模块",
+            classification: { task_type: "new_feature", risk: "low", complexity: "medium", ambiguity: "none", affected_repos: [], mode: "autonomous", strategy: "full_pipeline" },
+            config: { tech_stack: { backend: { framework: "spring" }, frontend: { framework: "react" } } },
+            projectPath: rootDir,
+        });
+    }
+    catch {
+        // scaffold 可能因缺少模板目录而失败，不影响 trace 收集
+    }
+}
+/**
+ * 运行真实 adapter prompt scenario: 调用 generateClaudeMd。
+ * generateClaudeMd 内部调用 listConsumableAssetsByConsumer 并记录 adapter_prompt trace。
+ */
+async function runRealAdapterPromptScenario() {
+    const { generateClaudeMd } = await import("../adapters/claude_code/claude_md.js");
+    const config = {
+        name: "observe-scenario",
+        tech_stack: {
+            backend: { lang: "java", framework: "spring-boot", version: "3.x" },
+            frontend: { lang: "ts", framework: "react", version: "18" },
+        },
+        product_profile: "saas",
+        repos: [],
+        build_commands: {
+            backend: { build: "mvn compile", test: "mvn test", full: "mvn verify" },
+            frontend: { build: "npm run build", test: "npm test", full: "npm run build && npm test" },
+        },
+        scope: { backend: ["src/"], frontend: ["src/"] },
+    };
+    generateClaudeMd(config);
+}
+/**
+ * 运行真实 expander scenario: 调用 expand()。
+ * expand 内部调用 listConsumableAssetsByConsumer("intent_expander") 并记录 expander trace。
+ */
+async function runRealExpanderScenario(rootDir, tmpDir) {
+    const { KnowledgeIndexManager } = await import("../knowledge/index_manager.js");
+    const { expand } = await import("./intent_expander.js");
+    const config = {
+        name: "observe-scenario",
+        tech_stack: {
+            backend: { lang: "java", framework: "spring-boot", version: "3.x" },
+            frontend: { lang: "ts", framework: "react", version: "18" },
+        },
+        product_profile: "saas",
+        repos: [],
+        build_commands: {
+            backend: { build: "mvn compile", test: "mvn test", full: "mvn verify" },
+            frontend: { build: "npm run build", test: "npm test", full: "npm run build && npm test" },
+        },
+        scope: { backend: ["src/"], frontend: ["src/"] },
+        _projectPath: tmpDir,
+    };
+    const kim = new KnowledgeIndexManager(config, { watch: false });
+    try {
+        await kim.build();
+        await expand({
+            intent: "修复按钮文字拼写错误",
+            classification: {
+                task_type: "code_change",
+                risk: "low",
+                complexity: "low",
+                ambiguity: "none",
+                affected_repos: [],
+                mode: "autonomous",
+                strategy: "quick_fix",
+            },
+            projectPath: tmpDir,
+            config,
+            knowledgeIndex: kim,
+        });
+    }
+    catch {
+        // expand 可能因缺少完整上下文而失败，trace 在失败前已记录
+    }
+    finally {
+        await kim.close();
+    }
+}
+/**
+ * 生成全量逐资产运行时消费观察报告。
+ *
+ * 运行真实生产入口函数，收集 trace，与权威合同注册表交叉验证。
+ * mainline 资产按 mainline_consumer 映射到真实 trace consumer；
+ * 其他类别按 consume_category 要求特定 consumer 的真实 trace。
+ */
+export async function observeAllConsumption(rootDir, _techStack) {
+    clearContractCache();
+    clearConsumptionTraces();
+    const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), "soloforge-obs-"));
+    const contracts = buildTemplateAssetContracts(rootDir);
+    try {
+        await runRealInitScenario(rootDir, tmpDir);
+        await runRealSyncScenario(rootDir);
+        await runRealScaffoldScenario(rootDir);
+        await runRealAdapterPromptScenario();
+        await runRealExpanderScenario(rootDir, tmpDir);
+    }
+    finally {
+        fs.rmSync(tmpDir, { recursive: true, force: true });
+    }
+    // 收集所有 trace，按 asset_path 聚合
+    const traces = getConsumptionTraces();
+    const traceByPath = new Map();
+    for (const t of traces) {
+        if (t.asset_path) {
+            const arr = traceByPath.get(t.asset_path) ?? [];
+            arr.push(t);
+            traceByPath.set(t.asset_path, arr);
+        }
+    }
+    // 与权威合同交叉验证
+    const observations = [];
+    const failures = [];
+    let passCount = 0;
+    let failCount = 0;
+    let syncedCount = 0;
+    let indexedCount = 0;
+    let injectedCount = 0;
+    let blockedCount = 0;
+    let skippedInternal = 0;
+    let skippedUnregistered = 0;
+    for (const contract of contracts) {
+        const assetTraces = traceByPath.get(contract.path) ?? [];
+        const rv = contract.runtime_visibility;
+        // internal_runtime/audit_only: 必须验证合同门禁正确拒绝
+        if (contract.consume_category === "internal_runtime" || contract.consume_category === "audit_only") {
+            const decision = getContractDecision(contract.path);
+            const correctlyDenied = decision.decision === "denied";
+            if (!correctlyDenied) {
+                failCount++;
+                blockedCount++;
+                const reason = `${contract.path}: ${contract.consume_category} 资产未被正确拒绝（decision=${decision.decision}）`;
+                failures.push(reason);
+                observations.push({
+                    asset_path: contract.path,
+                    contract_id: contract.asset_id,
+                    consume_category: contract.consume_category,
+                    runtime_visibility: rv,
+                    entry_point: "contract_gate",
+                    contract_decision: decision.decision,
+                    trace_count: assetTraces.length,
+                    validation_result: "fail",
+                    failure_reason: reason,
+                });
+            }
+            else {
+                skippedInternal++;
+                blockedCount++;
+                observations.push({
+                    asset_path: contract.path,
+                    contract_id: contract.asset_id,
+                    consume_category: contract.consume_category,
+                    runtime_visibility: rv,
+                    entry_point: "contract_gate",
+                    contract_decision: "denied",
+                    trace_count: assetTraces.length,
+                    validation_result: "pass",
+                });
+            }
+            continue;
+        }
+        // mainline: trace 的 declared_consumer 必须与合同 mainline_consumer 精确匹配
+        if (contract.consume_category === "mainline") {
+            const expectedConsumer = MAINLINE_CONSUMER_TRACE_MAP[contract.mainline_consumer];
+            if (!expectedConsumer) {
+                failCount++;
+                const reason = `${contract.path}: mainline_consumer="${contract.mainline_consumer}" 无真实 trace consumer 映射`;
+                failures.push(reason);
+                observations.push({
+                    asset_path: contract.path,
+                    contract_id: contract.asset_id,
+                    consume_category: contract.consume_category,
+                    runtime_visibility: rv,
+                    entry_point: "none",
+                    contract_decision: "unregistered",
+                    trace_count: assetTraces.length,
+                    validation_result: "fail",
+                    failure_reason: reason,
+                });
+                continue;
+            }
+            // 精确匹配: declared_consumer === mainline_consumer 且 consumer 类型正确
+            const validTrace = assetTraces.find(t => t.consumer === expectedConsumer && t.declared_consumer === contract.mainline_consumer);
+            if (!validTrace) {
+                failCount++;
+                const actualConsumers = assetTraces.map(t => `${t.consumer}(declared=${t.declared_consumer ?? "none"})`);
+                const reason = `${contract.path}: 无精确消费 trace（mainline_consumer=${contract.mainline_consumer}，需 consumer=${expectedConsumer} declared_consumer=${contract.mainline_consumer}，实际 [${actualConsumers.join(", ")}]）`;
+                failures.push(reason);
+                observations.push({
+                    asset_path: contract.path,
+                    contract_id: contract.asset_id,
+                    consume_category: contract.consume_category,
+                    runtime_visibility: rv,
+                    entry_point: actualConsumers[0] ?? "none",
+                    contract_decision: "unregistered",
+                    trace_count: assetTraces.length,
+                    validation_result: "fail",
+                    failure_reason: reason,
+                });
+                continue;
+            }
+            passCount++;
+            // 按 runtime_visibility 分类计数
+            if (rv === "injectable")
+                injectedCount++;
+            else if (rv === "index_only")
+                indexedCount++;
+            observations.push({
+                asset_path: contract.path,
+                contract_id: contract.asset_id,
+                consume_category: contract.consume_category,
+                runtime_visibility: rv,
+                entry_point: validTrace.consumer,
+                contract_decision: validTrace.contract_decision ?? "allowed",
+                trace_count: assetTraces.length,
+                validation_result: "pass",
+            });
+            continue;
+        }
+        // 其他类别: 按 REQUIRED_CONSUMERS 查找
+        const requiredConsumers = REQUIRED_CONSUMERS[contract.consume_category];
+        if (!requiredConsumers || requiredConsumers.length === 0) {
+            passCount++;
+            // 按 runtime_visibility 分类计数
+            if (rv === "injectable")
+                injectedCount++;
+            else if (rv === "index_only")
+                indexedCount++;
+            else if (rv === "internal_only" || rv === "scaffold_only")
+                blockedCount++;
+            observations.push({
+                asset_path: contract.path,
+                contract_id: contract.asset_id,
+                consume_category: contract.consume_category,
+                runtime_visibility: rv,
+                entry_point: "none_required",
+                contract_decision: "allowed",
+                trace_count: assetTraces.length,
+                validation_result: "pass",
+            });
+            continue;
+        }
+        const validTrace = assetTraces.find(t => requiredConsumers.includes(t.consumer));
+        if (!validTrace) {
+            failCount++;
+            const reason = `${contract.path}: 无合法消费 trace（consume_category=${contract.consume_category}，需 ${requiredConsumers.join("|")}，实际 consumer=[${assetTraces.map(t => t.consumer).join(",")}]）`;
+            failures.push(reason);
+            observations.push({
+                asset_path: contract.path,
+                contract_id: contract.asset_id,
+                consume_category: contract.consume_category,
+                runtime_visibility: rv,
+                entry_point: assetTraces[0]?.consumer ?? "none",
+                contract_decision: "unregistered",
+                trace_count: assetTraces.length,
+                validation_result: "fail",
+                failure_reason: reason,
+            });
+            continue;
+        }
+        passCount++;
+        // copy_only 资产由 init/sync 入口消费
+        if (contract.consume_category === "copy_only")
+            syncedCount++;
+        else if (rv === "injectable")
+            injectedCount++;
+        else if (rv === "index_only")
+            indexedCount++;
+        observations.push({
+            asset_path: contract.path,
+            contract_id: contract.asset_id,
+            consume_category: contract.consume_category,
+            runtime_visibility: rv,
+            entry_point: validTrace.consumer,
+            contract_decision: validTrace.contract_decision ?? "allowed",
+            trace_count: assetTraces.length,
+            validation_result: "pass",
+        });
+    }
+    // 检查未注册文件
+    const registeredPaths = new Set(contracts.map(c => c.path));
+    for (const [assetPath, tArr] of traceByPath) {
+        if (!registeredPaths.has(assetPath) && tArr.some(t => t.contract_decision === "unregistered")) {
+            skippedUnregistered++;
+        }
+    }
+    return {
+        total: observations.length,
+        pass: passCount,
+        fail: failCount,
+        synced: syncedCount,
+        indexed: indexedCount,
+        injected: injectedCount,
+        blocked: blockedCount,
+        skipped_internal: skippedInternal,
+        skipped_unregistered: skippedUnregistered,
+        observations,
+        failures,
+        trace_counts: getTraceCounts(),
+    };
+}
+//# sourceMappingURL=observed_consumption.js.map

package/dist/engine/observed_consumption.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"observed_consumption.js","sourceRoot":"","sources":["../../src/engine/observed_consumption.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,EAAE,MAAM,SAAS,CAAC;AAEzB,OAAO,EACL,oBAAoB,EACpB,sBAAsB,EACtB,cAAc,GACf,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,2BAA2B,EAC3B,mBAAmB,EACnB,kBAAkB,GACnB,MAAM,uCAAuC,CAAC;AAiC/C;;;;;;GAMG;AACH,MAAM,2BAA2B,GAA2B;IAC1D,8BAA8B,EAAE,MAAM;IACtC,uCAAuC,EAAE,UAAU;IACnD,wCAAwC,EAAE,UAAU;IACpD,4BAA4B,EAAE,gBAAgB;IAC9C,6BAA6B,EAAE,UAAU;IACzC,2CAA2C,EAAE,iBAAiB;IAC9D,6CAA6C,EAAE,iBAAiB;IAChE,gCAAgC,EAAE,iBAAiB;IACnD,4BAA4B,EAAE,iBAAiB;IAC/C,uCAAuC,EAAE,iBAAiB;CAC3D,CAAC;AAEF,oEAAoE;AACpE,MAAM,kBAAkB,GAA6B;IACnD,SAAS,EAAE,CAAC,MAAM,EAAE,gBAAgB,CAAC;IACrC,aAAa,EAAE,CAAC,UAAU,CAAC;IAC3B,gBAAgB,EAAE,EAAE,EAAG,YAAY;IACnC,UAAU,EAAE,EAAE,EAAS,YAAY;CACpC,CAAC;AAEF;;GAEG;AACH,KAAK,UAAU,mBAAmB,CAAC,OAAe,EAAE,MAAc;IAChE,MAAM,EAAE,sBAAsB,EAAE,oBAAoB,EAAE,GAAG,MAAM,MAAM,CAAC,yBAAyB,CAAC,CAAC;IACjG,MAAM,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAE9C,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC;IAC9D,MAAM,oBAAoB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;AACjD,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,mBAAmB,CAAC,OAAe;IAChD,MAAM,EAAE,8BAA8B,EAAE,GAAG,MAAM,MAAM,CAAC,2BAA2B,CAAC,CAAC;IACrF,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACrD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO;IACzC,8BAA8B,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,KAAK,UAAU,uBAAuB,CAAC,OAAe;IACpD,MAAM,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC7D,IAAI,CAAC;QACH,MAAM,gBAAgB,CAAC;YACrB,MAAM,EAAE,QAAQ;YAChB,cAAc,EAAE,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAS;YAC5K,MAAM,EAAE,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAS;YACrG,WAAW,EAAE,OAAO;SACrB,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,qCAAqC;IACvC,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,4BAA4B;IACzC,MAAM,EAAE,gBAAgB,EAAE,GAAG,MAAM,MAAM,CAAC,sCAAsC,CAAC,CAAC;IAClF,MAAM,MAAM,GAAG;QACb,IAAI,EAAE,kBAAkB;QACxB,UAAU,EAAE;YACV,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,KAAK,EAAE;YACnE,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE;SAC5D;QACD,eAAe,EAAE,MAAM;QACvB,KAAK,EAAE,EAAE;QACT,cAAc,EAAE;YACd,OAAO,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;YACvE,QAAQ,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,2BAA2B,EAAE;SAC1F;QACD,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE;KAC1C,CAAC;IACT,gBAAgB,CAAC,MAAM,CAAC,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,uBAAuB,CAAC,OAAe,EAAE,MAAc;IACpE,MAAM,EAAE,qBAAqB,EAAE,GAAG,MAAM,MAAM,CAAC,+BAA+B,CAAC,CAAC;IAChF,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,sBAAsB,CAAC,CAAC;IAExD,MAAM,MAAM,GAAG;QACb,IAAI,EAAE,kBAAkB;QACxB,UAAU,EAAE;YACV,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,KAAK,EAAE;YACnE,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE;SAC5D;QACD,eAAe,EAAE,MAAM;QACvB,KAAK,EAAE,EAAE;QACT,cAAc,EAAE;YACd,OAAO,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;YACvE,QAAQ,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,2BAA2B,EAAE;SAC1F;QACD,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE;QAChD,YAAY,EAAE,MAAM;KACd,CAAC;IAET,MAAM,GAAG,GAAG,IAAI,qBAAqB,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAChE,IAAI,CAAC;QACH,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC;QAClB,MAAM,MAAM,CAAC;YACX,MAAM,EAAE,YAAY;YACpB,cAAc,EAAE;gBACd,SAAS,EAAE,aAAa;gBACxB,IAAI,EAAE,KAAK;gBACX,UAAU,EAAE,KAAK;gBACjB,SAAS,EAAE,MAAM;gBACjB,cAAc,EAAE,EAAE;gBAClB,IAAI,EAAE,YAAY;gBAClB,QAAQ,EAAE,WAAW;aACf;YACR,WAAW,EAAE,MAAM;YACnB,MAAM;YACN,cAAc,EAAE,GAAG;SACpB,CAAC,CAAC;IACL,CAAC;IAAC,MAAM,CAAC;QACP,qCAAqC;IACvC,CAAC;YAAS,CAAC;QACT,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC;IACpB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,OAAe,EAAE,UAAqB;IAChF,kBAAkB,EAAE,CAAC;IACrB,sBAAsB,EAAE,CAAC;IAEzB,MAAM,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAC;IACvD,IAAI,CAAC;QACH,MAAM,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC3C,MAAM,mBAAmB,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,4BAA4B,EAAE,CAAC;QACrC,MAAM,uBAAuB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACjD,CAAC;YAAS,CAAC;QACT,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,6BAA6B;IAC7B,MAAM,MAAM,GAAG,oBAAoB,EAAE,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC/D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACjB,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YAChD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACZ,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,YAAY;IACZ,MAAM,YAAY,GAA0B,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAE5B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACzD,MAAM,EAAE,GAAG,QAAQ,CAAC,kBAAkB,CAAC;QAEvC,4CAA4C;QAC5C,IAAI,QAAQ,CAAC,gBAAgB,KAAK,kBAAkB,IAAI,QAAQ,CAAC,gBAAgB,KAAK,YAAY,EAAE,CAAC;YACnG,MAAM,QAAQ,GAAG,mBAAmB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACpD,MAAM,eAAe,GAAG,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC;YACvD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACrB,SAAS,EAAE,CAAC;gBACZ,YAAY,EAAE,CAAC;gBACf,MAAM,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,gBAAgB,sBAAsB,QAAQ,CAAC,QAAQ,GAAG,CAAC;gBACxG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACtB,YAAY,CAAC,IAAI,CAAC;oBAChB,UAAU,EAAE,QAAQ,CAAC,IAAI;oBACzB,WAAW,EAAE,QAAQ,CAAC,QAAQ;oBAC9B,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;oBAC3C,kBAAkB,EAAE,EAAE;oBACtB,WAAW,EAAE,eAAe;oBAC5B,iBAAiB,EAAE,QAAQ,CAAC,QAAQ;oBACpC,WAAW,EAAE,WAAW,CAAC,MAAM;oBAC/B,iBAAiB,EAAE,MAAM;oBACzB,cAAc,EAAE,MAAM;iBACvB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,eAAe,EAAE,CAAC;gBAClB,YAAY,EAAE,CAAC;gBACf,YAAY,CAAC,IAAI,CAAC;oBAChB,UAAU,EAAE,QAAQ,CAAC,IAAI;oBACzB,WAAW,EAAE,QAAQ,CAAC,QAAQ;oBAC9B,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;oBAC3C,kBAAkB,EAAE,EAAE;oBACtB,WAAW,EAAE,eAAe;oBAC5B,iBAAiB,EAAE,QAAQ;oBAC3B,WAAW,EAAE,WAAW,CAAC,MAAM;oBAC/B,iBAAiB,EAAE,MAAM;iBAC1B,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,mEAAmE;QACnE,IAAI,QAAQ,CAAC,gBAAgB,KAAK,UAAU,EAAE,CAAC;YAC7C,MAAM,gBAAgB,GAAG,2BAA2B,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;YACjF,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACtB,SAAS,EAAE,CAAC;gBACZ,MAAM,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,wBAAwB,QAAQ,CAAC,iBAAiB,yBAAyB,CAAC;gBAC3G,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACtB,YAAY,CAAC,IAAI,CAAC;oBAChB,UAAU,EAAE,QAAQ,CAAC,IAAI;oBACzB,WAAW,EAAE,QAAQ,CAAC,QAAQ;oBAC9B,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;oBAC3C,kBAAkB,EAAE,EAAE;oBACtB,WAAW,EAAE,MAAM;oBACnB,iBAAiB,EAAE,cAAc;oBACjC,WAAW,EAAE,WAAW,CAAC,MAAM;oBAC/B,iBAAiB,EAAE,MAAM;oBACzB,cAAc,EAAE,MAAM;iBACvB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,gEAAgE;YAChE,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACtC,CAAC,CAAC,QAAQ,KAAK,gBAAgB,IAAI,CAAC,CAAC,iBAAiB,KAAK,QAAQ,CAAC,iBAAiB,CACtF,CAAC;YACF,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,SAAS,EAAE,CAAC;gBACZ,MAAM,eAAe,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,aAAa,CAAC,CAAC,iBAAiB,IAAI,MAAM,GAAG,CAAC,CAAC;gBACzG,MAAM,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,mCAAmC,QAAQ,CAAC,iBAAiB,eAAe,gBAAgB,sBAAsB,QAAQ,CAAC,iBAAiB,QAAQ,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClN,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACtB,YAAY,CAAC,IAAI,CAAC;oBAChB,UAAU,EAAE,QAAQ,CAAC,IAAI;oBACzB,WAAW,EAAE,QAAQ,CAAC,QAAQ;oBAC9B,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;oBAC3C,kBAAkB,EAAE,EAAE;oBACtB,WAAW,EAAE,eAAe,CAAC,CAAC,CAAC,IAAI,MAAM;oBACzC,iBAAiB,EAAE,cAAc;oBACjC,WAAW,EAAE,WAAW,CAAC,MAAM;oBAC/B,iBAAiB,EAAE,MAAM;oBACzB,cAAc,EAAE,MAAM;iBACvB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,SAAS,EAAE,CAAC;YACZ,4BAA4B;YAC5B,IAAI,EAAE,KAAK,YAAY;gBAAE,aAAa,EAAE,CAAC;iBACpC,IAAI,EAAE,KAAK,YAAY;gBAAE,YAAY,EAAE,CAAC;YAC7C,YAAY,CAAC,IAAI,CAAC;gBAChB,UAAU,EAAE,QAAQ,CAAC,IAAI;gBACzB,WAAW,EAAE,QAAQ,CAAC,QAAQ;gBAC9B,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;gBAC3C,kBAAkB,EAAE,EAAE;gBACtB,WAAW,EAAE,UAAU,CAAC,QAAQ;gBAChC,iBAAiB,EAAE,UAAU,CAAC,iBAAiB,IAAI,SAAS;gBAC5D,WAAW,EAAE,WAAW,CAAC,MAAM;gBAC/B,iBAAiB,EAAE,MAAM;aAC1B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,gCAAgC;QAChC,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;QACxE,IAAI,CAAC,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzD,SAAS,EAAE,CAAC;YACZ,4BAA4B;YAC5B,IAAI,EAAE,KAAK,YAAY;gBAAE,aAAa,EAAE,CAAC;iBACpC,IAAI,EAAE,KAAK,YAAY;gBAAE,YAAY,EAAE,CAAC;iBACxC,IAAI,EAAE,KAAK,eAAe,IAAI,EAAE,KAAK,eAAe;gBAAE,YAAY,EAAE,CAAC;YAC1E,YAAY,CAAC,IAAI,CAAC;gBAChB,UAAU,EAAE,QAAQ,CAAC,IAAI;gBACzB,WAAW,EAAE,QAAQ,CAAC,QAAQ;gBAC9B,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;gBAC3C,kBAAkB,EAAE,EAAE;gBACtB,WAAW,EAAE,eAAe;gBAC5B,iBAAiB,EAAE,SAAS;gBAC5B,WAAW,EAAE,WAAW,CAAC,MAAM;gBAC/B,iBAAiB,EAAE,MAAM;aAC1B,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEjF,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,SAAS,EAAE,CAAC;YACZ,MAAM,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,kCAAkC,QAAQ,CAAC,gBAAgB,MAAM,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAC3L,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACtB,YAAY,CAAC,IAAI,CAAC;gBAChB,UAAU,EAAE,QAAQ,CAAC,IAAI;gBACzB,WAAW,EAAE,QAAQ,CAAC,QAAQ;gBAC9B,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;gBAC3C,kBAAkB,EAAE,EAAE;gBACtB,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,MAAM;gBAC/C,iBAAiB,EAAE,cAAc;gBACjC,WAAW,EAAE,WAAW,CAAC,MAAM;gBAC/B,iBAAiB,EAAE,MAAM;gBACzB,cAAc,EAAE,MAAM;aACvB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,SAAS,EAAE,CAAC;QACZ,+BAA+B;QAC/B,IAAI,QAAQ,CAAC,gBAAgB,KAAK,WAAW;YAAE,WAAW,EAAE,CAAC;aACxD,IAAI,EAAE,KAAK,YAAY;YAAE,aAAa,EAAE,CAAC;aACzC,IAAI,EAAE,KAAK,YAAY;YAAE,YAAY,EAAE,CAAC;QAC7C,YAAY,CAAC,IAAI,CAAC;YAChB,UAAU,EAAE,QAAQ,CAAC,IAAI;YACzB,WAAW,EAAE,QAAQ,CAAC,QAAQ;YAC9B,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;YAC3C,kBAAkB,EAAE,EAAE;YACtB,WAAW,EAAE,UAAU,CAAC,QAAQ;YAChC,iBAAiB,EAAE,UAAU,CAAC,iBAAiB,IAAI,SAAS;YAC5D,WAAW,EAAE,WAAW,CAAC,MAAM;YAC/B,iBAAiB,EAAE,MAAM;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,UAAU;IACV,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,KAAK,cAAc,CAAC,EAAE,CAAC;YAC9F,mBAAmB,EAAE,CAAC;QACxB,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,YAAY,CAAC,MAAM;QAC1B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE,YAAY;QACrB,QAAQ,EAAE,aAAa;QACvB,OAAO,EAAE,YAAY;QACrB,gBAAgB,EAAE,eAAe;QACjC,oBAAoB,EAAE,mBAAmB;QACzC,YAAY;QACZ,QAAQ;QACR,YAAY,EAAE,cAAc,EAA4B;KACzD,CAAC;AACJ,CAAC"}

package/dist/engine/ood_solid_contract.d.ts

@@ -0,0 +1,51 @@
+/**
+ * OOD 与 SOLID 实现契约。
+ *
+ * 复杂业务编码在执行前必须给出对象职责与依赖边界；审查和交付阶段
+ * 使用同一套 finding 口径阻断典型的 SOLID 违规。
+ */
+export type SolidPrinciple = "SRP" | "OCP" | "LSP" | "ISP" | "DIP" | "OVERDESIGN";
+export type SolidSeverity = "hard_fail" | "warning" | "advisory";
+export interface OodDesignSummary {
+    task_id: string;
+    status: "required" | "satisfied" | "not_applicable";
+    applicability_reason_zh: string;
+    objects: Array<{
+        name: string;
+        responsibility: string;
+    }>;
+    interfaces: string[];
+    dependency_direction: string[];
+    change_points: string[];
+    solid_risks: string[];
+    not_applicable_reason?: string;
+    user_confirmation_ref?: string;
+}
+export interface SolidReviewFinding {
+    principle: SolidPrinciple;
+    severity: SolidSeverity;
+    file: string;
+    evidence: string;
+    suggestion_zh: string;
+}
+export interface OodSolidGateResult {
+    applicable: boolean;
+    allowed: boolean;
+    status: "required" | "satisfied" | "not_applicable" | "blocked";
+    reason_zh: string;
+    required_summary?: OodDesignSummary;
+    findings: SolidReviewFinding[];
+}
+export declare function requiresOodSolidContract(intent: string, route?: string, changedFiles?: string[]): boolean;
+export declare function createOodDesignSummary(taskId: string, intent: string): OodDesignSummary;
+export declare function evaluateOodDesignGate(input: {
+    task_id: string;
+    intent: string;
+    route?: string;
+    changed_files?: string[];
+    summary?: OodDesignSummary;
+}): OodSolidGateResult;
+export declare function reviewSolidCode(fileContents: Record<string, string>): SolidReviewFinding[];
+export declare function hasBlockingSolidFindings(findings: SolidReviewFinding[]): boolean;
+export declare function evaluateOverdesignRisk(intent: string, summary?: OodDesignSummary): SolidReviewFinding[];
+//# sourceMappingURL=ood_solid_contract.d.ts.map

package/dist/engine/ood_solid_contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ood_solid_contract.d.ts","sourceRoot":"","sources":["../../src/engine/ood_solid_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,MAAM,cAAc,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,YAAY,CAAC;AAClF,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,SAAS,GAAG,UAAU,CAAC;AAEjE,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,UAAU,GAAG,WAAW,GAAG,gBAAgB,CAAC;IACpD,uBAAuB,EAAE,MAAM,CAAC;IAChC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,qBAAqB,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,cAAc,CAAC;IAC1B,QAAQ,EAAE,aAAa,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,EAAE,UAAU,GAAG,WAAW,GAAG,gBAAgB,GAAG,SAAS,CAAC;IAChE,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IACpC,QAAQ,EAAE,kBAAkB,EAAE,CAAC;CAChC;AAKD,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,MAAM,EACd,KAAK,CAAC,EAAE,MAAM,EACd,YAAY,GAAE,MAAM,EAAO,GAC1B,OAAO,CAKT;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAWvF;AAYD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,OAAO,CAAC,EAAE,gBAAgB,CAAC;CAC5B,GAAG,kBAAkB,CA4BrB;AAaD,wBAAgB,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,kBAAkB,EAAE,CA2C1F;AAED,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,kBAAkB,EAAE,GAAG,OAAO,CAEhF;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,kBAAkB,EAAE,CASvG"}

package/dist/engine/ood_solid_contract.js

@@ -0,0 +1,115 @@
+/**
+ * OOD 与 SOLID 实现契约。
+ *
+ * 复杂业务编码在执行前必须给出对象职责与依赖边界；审查和交付阶段
+ * 使用同一套 finding 口径阻断典型的 SOLID 违规。
+ */
+const COMPLEX_OOD_KEYWORDS = /领域|业务规则|状态流转|策略模式|计费策略|订单流转|支付编排|结算规则|工作流编排|重构架构|模块设计|服务设计|领域服务|应用服务设计|domain|aggregate|solid|面向对象|职责拆分|接口抽象|依赖倒置/i;
+const LOW_RISK_KEYWORDS = /错别字|拼写|文案|注释|样式|css|颜色|README|日志文案|配置值|测试数据|fixture/i;
+export function requiresOodSolidContract(intent, route, changedFiles = []) {
+    const text = `${intent} ${changedFiles.join(" ")}`;
+    if (LOW_RISK_KEYWORDS.test(text) && !COMPLEX_OOD_KEYWORDS.test(text))
+        return false;
+    const codeRoute = !route || ["code_change", "artifact_generation", "operation", "multi_stage_plan"].includes(route);
+    return codeRoute && COMPLEX_OOD_KEYWORDS.test(text);
+}
+export function createOodDesignSummary(taskId, intent) {
+    return {
+        task_id: taskId,
+        status: "required",
+        applicability_reason_zh: `该任务涉及复杂对象职责或依赖边界，编码前需补齐 OOD/SOLID 摘要: ${intent}`,
+        objects: [],
+        interfaces: [],
+        dependency_direction: [],
+        change_points: [],
+        solid_risks: [],
+    };
+}
+function hasCompleteDesignSummary(summary) {
+    return !!summary
+        && summary.objects.length > 0
+        && summary.objects.every((item) => item.name.trim().length > 0 && item.responsibility.trim().length > 0)
+        && summary.interfaces.length > 0
+        && summary.dependency_direction.length > 0
+        && summary.change_points.length > 0
+        && summary.solid_risks.length > 0;
+}
+export function evaluateOodDesignGate(input) {
+    if (!requiresOodSolidContract(input.intent, input.route, input.changed_files)) {
+        return {
+            applicable: false,
+            allowed: true,
+            status: "not_applicable",
+            reason_zh: "低风险或非对象设计任务，无需引入 OOD/SOLID 工作包",
+            findings: [],
+        };
+    }
+    if (!hasCompleteDesignSummary(input.summary)) {
+        return {
+            applicable: true,
+            allowed: false,
+            status: "blocked",
+            reason_zh: "复杂编码任务缺少完整 OOD/SOLID 设计摘要，不得开始实现",
+            required_summary: input.summary ?? createOodDesignSummary(input.task_id, input.intent),
+            findings: [],
+        };
+    }
+    return {
+        applicable: true,
+        allowed: true,
+        status: "satisfied",
+        reason_zh: "OOD/SOLID 设计摘要已具备，可进入实现并在审查阶段复验",
+        required_summary: { ...input.summary, status: "satisfied" },
+        findings: [],
+    };
+}
+function addFinding(findings, principle, severity, file, evidence, suggestion_zh) {
+    findings.push({ principle, severity, file, evidence, suggestion_zh });
+}
+export function reviewSolidCode(fileContents) {
+    const findings = [];
+    for (const [file, content] of Object.entries(fileContents)) {
+        const lowered = file.toLowerCase();
+        if (/controller/.test(lowered)
+            && /(?:repository\.|mapper\.|entitymanager|save\s*\(|@Transactional|calculate|compute)/i.test(content)) {
+            addFinding(findings, "SRP", "hard_fail", file, "Controller 同时出现持久化、事务或业务计算职责", "将业务规则与持久化移入应用服务，Controller 仅处理协议适配、校验和响应映射。");
+        }
+        if (/(?:service|usecase|application)/.test(lowered)
+            && /new\s+(?:RestTemplate|WebClient|HttpClient|Stripe|S3|OpenAI|Twilio|Axios|.*Repository)\s*\(/i.test(content)) {
+            addFinding(findings, "DIP", "hard_fail", file, "业务服务直接构造外部依赖或仓储实现", "通过端口接口与依赖注入隔离基础设施实现。");
+        }
+        if (/interface\s+\w+[\s\S]{0,800}(?:upload|export|notify|delete|approve)[\s\S]{0,800}(?:upload|export|notify|delete|approve)/i.test(content)
+            && /(?:UnsupportedOperationException|throw new Error\(['\"]not implemented)/i.test(content)) {
+            addFinding(findings, "ISP", "hard_fail", file, "实现被迫抛出未支持操作，接口职责过宽", "拆分为客户端真正需要的细粒度接口。");
+        }
+        if (/(?:extends|implements)\s+\w+[\s\S]{0,500}(?:UnsupportedOperationException|throw new Error\(['\"]unsupported)/i.test(content)) {
+            addFinding(findings, "LSP", "hard_fail", file, "子类型拒绝父契约操作", "重构抽象层级，确保替换后仍满足原契约。");
+        }
+        const branching = (content.match(/\b(?:if|else if|switch)\s*\([^)]*(?:type|status|kind|strategy)/gi) ?? []).length;
+        if (branching >= 3) {
+            addFinding(findings, "OCP", "warning", file, "同一变化维度出现多处分支扩展点", "用策略/处理器注册方式隔离新增类型，减少修改既有分支。");
+        }
+        if (/(?:component|page|\.tsx$|\.vue$)/.test(lowered)
+            && /(?:fetch\(|axios\.|apiClient|request\()/i.test(content)
+            && /(?:useState|useEffect|computed\(|ref\(|watch\()/i.test(content)
+            && /(?:if\s*\(|switch\s*\()/i.test(content)) {
+            addFinding(findings, "SRP", "hard_fail", file, "复杂 UI 组件混合远程调用、状态编排与业务判断", "拆分展示组件、状态 hook/composable 与 API client/业务服务。");
+        }
+    }
+    return findings;
+}
+export function hasBlockingSolidFindings(findings) {
+    return findings.some((finding) => finding.severity === "hard_fail");
+}
+export function evaluateOverdesignRisk(intent, summary) {
+    if (!LOW_RISK_KEYWORDS.test(intent) || !summary || summary.objects.length < 4)
+        return [];
+    return [{
+            principle: "OVERDESIGN",
+            severity: "warning",
+            file: "OOD设计摘要",
+            evidence: "低风险修改引入多个对象与抽象边界",
+            suggestion_zh: "保持最小实现，不为简单修改提前引入复杂对象结构。",
+        }];
+}
+//# sourceMappingURL=ood_solid_contract.js.map

package/dist/engine/ood_solid_contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ood_solid_contract.js","sourceRoot":"","sources":["../../src/engine/ood_solid_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAmCH,MAAM,oBAAoB,GAAG,oHAAoH,CAAC;AAClJ,MAAM,iBAAiB,GAAG,sDAAsD,CAAC;AAEjF,MAAM,UAAU,wBAAwB,CACtC,MAAc,EACd,KAAc,EACd,eAAyB,EAAE;IAE3B,MAAM,IAAI,GAAG,GAAG,MAAM,IAAI,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACnD,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACnF,MAAM,SAAS,GAAG,CAAC,KAAK,IAAI,CAAC,aAAa,EAAE,qBAAqB,EAAE,WAAW,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACpH,OAAO,SAAS,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAc,EAAE,MAAc;IACnE,OAAO;QACL,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,UAAU;QAClB,uBAAuB,EAAE,yCAAyC,MAAM,EAAE;QAC1E,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,EAAE;QACd,oBAAoB,EAAE,EAAE;QACxB,aAAa,EAAE,EAAE;QACjB,WAAW,EAAE,EAAE;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAqC;IACrE,OAAO,CAAC,CAAC,OAAO;WACX,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;WAC1B,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;WACrG,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;WAC7B,OAAO,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;WACvC,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;WAChC,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAMrC;IACC,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;QAC9E,OAAO;YACL,UAAU,EAAE,KAAK;YACjB,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,gBAAgB;YACxB,SAAS,EAAE,gCAAgC;YAC3C,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,SAAS;YACjB,SAAS,EAAE,kCAAkC;YAC7C,gBAAgB,EAAE,KAAK,CAAC,OAAO,IAAI,sBAAsB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC;YACtF,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IACD,OAAO;QACL,UAAU,EAAE,IAAI;QAChB,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,WAAW;QACnB,SAAS,EAAE,iCAAiC;QAC5C,gBAAgB,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE;QAC3D,QAAQ,EAAE,EAAE;KACb,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,QAA8B,EAC9B,SAAyB,EACzB,QAAuB,EACvB,IAAY,EACZ,QAAgB,EAChB,aAAqB;IAErB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,YAAoC;IAClE,MAAM,QAAQ,GAAyB,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC;eACzB,qFAAqF,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACzG,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAC3C,8BAA8B,EAC9B,6CAA6C,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,iCAAiC,CAAC,IAAI,CAAC,OAAO,CAAC;eAC9C,8FAA8F,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAClH,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAC3C,mBAAmB,EACnB,sBAAsB,CAAC,CAAC;QAC5B,CAAC;QACD,IAAI,0HAA0H,CAAC,IAAI,CAAC,OAAO,CAAC;eACvI,0EAA0E,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9F,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAC3C,oBAAoB,EACpB,mBAAmB,CAAC,CAAC;QACzB,CAAC;QACD,IAAI,+GAA+G,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAClI,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAC3C,YAAY,EACZ,qBAAqB,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,SAAS,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,kEAAkE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACnH,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;YACnB,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EACzC,iBAAiB,EACjB,6BAA6B,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,kCAAkC,CAAC,IAAI,CAAC,OAAO,CAAC;eAC/C,0CAA0C,CAAC,IAAI,CAAC,OAAO,CAAC;eACxD,kDAAkD,CAAC,IAAI,CAAC,OAAO,CAAC;eAChE,0BAA0B,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9C,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAC3C,0BAA0B,EAC1B,8CAA8C,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,QAA8B;IACrE,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAc,EAAE,OAA0B;IAC/E,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACzF,OAAO,CAAC;YACN,SAAS,EAAE,YAAY;YACvB,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,kBAAkB;YAC5B,aAAa,EAAE,0BAA0B;SAC1C,CAAC,CAAC;AACL,CAAC"}

package/dist/engine/project_stage_detector.d.ts

@@ -0,0 +1,17 @@
+/**
+ * 项目阶段检测器 — 问题六十五。
+ *
+ * 综合项目状态（配置、知识、设计产物、任务）判断当前项目生命周期阶段。
+ * 不只看一个字段，综合 config、knowledge、design、task 多维信号。
+ */
+import type { ProjectStage, StageExplanation } from "./workflow_navigation_contract.js";
+/**
+ * 检测项目当前所处阶段。
+ * 综合判断: config 存在性/确认状态、knowledge 可用性、设计产物状态、任务执行状态。
+ */
+export declare function detectProjectStage(projectPath: string): Promise<ProjectStage>;
+/**
+ * 获取项目阶段的中文解释。
+ */
+export declare function explainProjectStage(stage: ProjectStage): StageExplanation;
+//# sourceMappingURL=project_stage_detector.d.ts.map

package/dist/engine/project_stage_detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project_stage_detector.d.ts","sourceRoot":"","sources":["../../src/engine/project_stage_detector.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAIxF;;;GAGG;AACH,wBAAsB,kBAAkB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CA8HnF;AAsDD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,YAAY,GAAG,gBAAgB,CASzE"}