soloforge 1.3.1 → 1.3.2

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/release_issue_scenario_registry.d.ts

@@ -0,0 +1,64 @@
+/**
+ * 发布问题场景注册表 — 结构化场景定义 + 真实生产入口执行证据。
+ *
+ * R11: 所有 MCP 工具链场景使用 ToolInvocationObservation 记录。
+ * 确认通过 sf_expand 的 decision_workshop / architecture_decision_workshop 输入，
+ * 不再直接修改 TaskContext 确认研讨域。
+ */
+export interface ScenarioExecutionResult {
+    scenario_id: string;
+    status: "pass" | "fail";
+    evidence?: string;
+    error?: string;
+    duration_ms?: number;
+    /** 真实入口 trace: 由 ToolInvocationObservation 生成 */
+    production_trace?: {
+        tool_entrypoint: string;
+        diagnostic_codes: string[];
+        gates_consumed: string[];
+    };
+    behavioral_proof?: {
+        task_id: string;
+        blocked_task_id?: string;
+        delivered_task_id?: string;
+        contract_blocked?: boolean;
+        repair_directive_cleared?: boolean;
+        artifact_status?: string;
+        acceptance_confirmation_ref?: string;
+        delivery_succeeded?: boolean;
+    };
+}
+export interface ScenarioEntry {
+    scenario_id: string;
+    covering_problem: string;
+    test_files: string[];
+    /** 真实生产入口标识 */
+    production_entrypoint: string;
+    /** 明确的预期结果描述 */
+    expected_outcome: string;
+    /** 执行函数: 运行真实生产逻辑产生执行证据 */
+    runner: () => Promise<ScenarioExecutionResult>;
+}
+/** 获取全量场景定义 */
+export declare function getReleaseIssueScenarios(): ScenarioEntry[];
+/**
+ * 验证 发布问题场景覆盖:
+ * - 所有场景必须有 runner + production_entrypoint + expected_outcome
+ * - 所有引用测试文件的场景: 测试文件必须存在
+ * - 返回结构化验证结果
+ */
+export declare function validateReleaseIssueScenarios(rootDir: string): {
+    valid: boolean;
+    missing_tests: string[];
+    missing_runners: string[];
+    missing_entrypoints: string[];
+    tautology_suspects: string[];
+    scenario_count: number;
+    covered_problems: string[];
+};
+/**
+ * 运行所有场景，收集执行证据。
+ * 每个场景必须有 runner，无 runner 视为 fail。
+ */
+export declare function executeReleaseIssueScenarios(): Promise<ScenarioExecutionResult[]>;
+//# sourceMappingURL=release_issue_scenario_registry.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"release_issue_scenario_registry.d.ts","sourceRoot":"","sources":["../../src/engine/release_issue_scenario_registry.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAMH,MAAM,WAAW,uBAAuB;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iDAAiD;IACjD,gBAAgB,CAAC,EAAE;QACjB,eAAe,EAAE,MAAM,CAAC;QACxB,gBAAgB,EAAE,MAAM,EAAE,CAAC;QAC3B,cAAc,EAAE,MAAM,EAAE,CAAC;KAC1B,CAAC;IACF,gBAAgB,CAAC,EAAE;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,iBAAiB,CAAC,EAAE,MAAM,CAAC;QAC3B,gBAAgB,CAAC,EAAE,OAAO,CAAC;QAC3B,wBAAwB,CAAC,EAAE,OAAO,CAAC;QACnC,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,2BAA2B,CAAC,EAAE,MAAM,CAAC;QACrC,kBAAkB,CAAC,EAAE,OAAO,CAAC;KAC9B,CAAC;CACH;AAED,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,eAAe;IACf,qBAAqB,EAAE,MAAM,CAAC;IAC9B,gBAAgB;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,2BAA2B;IAC3B,MAAM,EAAE,MAAM,OAAO,CAAC,uBAAuB,CAAC,CAAC;CAChD;AAyzCD,eAAe;AACf,wBAAgB,wBAAwB,IAAI,aAAa,EAAE,CAE1D;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC3C,OAAO,EAAE,MAAM,GACd;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,aAAa,EAAE,MAAM,EAAE,CAAC;IAAC,eAAe,EAAE,MAAM,EAAE,CAAC;IAAC,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAAC,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAAC,cAAc,EAAE,MAAM,CAAC;IAAC,gBAAgB,EAAE,MAAM,EAAE,CAAA;CAAE,CAqCzL;AAED;;;GAGG;AACH,wBAAsB,4BAA4B,IAAI,OAAO,CAAC,uBAAuB,EAAE,CAAC,CAavF"}