progmune-runtime 2.0.4 → 2.1.1

package/dist/failure-corpus.js

@@ -33,81 +33,553 @@ var __importStar = (this && this.__importStar) || (function () {
     };
 })();
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.saveCheckpoint = saveCheckpoint;
+exports.loadCheckpoint = loadCheckpoint;
+exports.clearCheckpoint = clearCheckpoint;
 exports.recordFailure = recordFailure;
+exports.recordSession = recordSession;
 exports.getAllFailures = getAllFailures;
 exports.getFailuresBySVL = getFailuresBySVL;
 exports.getTopFailurePatterns = getTopFailurePatterns;
+exports.getFailureGenome = getFailureGenome;
+exports.getAllSessions = getAllSessions;
+exports.getLearnedPatterns = getLearnedPatterns;
+exports.queryAntibodies = queryAntibodies;
+exports.getSemanticHeatmap = getSemanticHeatmap;
+exports.getAntibodyStats = getAntibodyStats;
 exports.generateCandidateRules = generateCandidateRules;
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
-const CORPUS_DIR = path.resolve(__dirname, "../failure_corpus");
+const file_lock_1 = require("./file-lock");
+// 优先使用 PROGMUNE_PROJECT_DIR（由 MCP 服务器在调用时设置），确保多项目隔离
+const projectDir = process.env.PROGMUNE_PROJECT_DIR || process.cwd();
+const CORPUS_DIR = process.env.PROGMUNE_CORPUS_DIR
+    || path.resolve(projectDir, ".progmune_corpus");
+const SESSIONS_DIR = path.join(CORPUS_DIR, "sessions");
+const CHECKPOINT_DIR = path.join(CORPUS_DIR, "checkpoints");
 function ensureDir(dir) {
     if (!fs.existsSync(dir))
         fs.mkdirSync(dir, { recursive: true });
 }
-function recordFailure(record) {
-    ensureDir(CORPUS_DIR);
-    const date = new Date().toISOString().slice(0, 10);
-    const dateDir = path.join(CORPUS_DIR, date);
-    ensureDir(dateDir);
-    const id = `fail_${Date.now()}`;
-    const fullRecord = {
-        ...record,
-        id,
+function checkpointPath(intent) {
+    // 用 intent 的稳定 hash 作为文件名，避免特殊字符
+    const hash = Buffer.from(intent).toString("base64").replace(/[/+=]/g, "_").slice(0, 32);
+    return path.join(CHECKPOINT_DIR, `ckpt_${hash}.json`);
+}
+/** Save planner checkpoint for crash recovery. */
+function saveCheckpoint(intent, data) {
+    ensureDir(CHECKPOINT_DIR);
+    const cp = {
+        ...data,
+        intent,
         timestamp: new Date().toISOString(),
     };
-    const filename = `${id}.json`;
-    const filepath = path.join(dateDir, filename);
-    fs.writeFileSync(filepath, JSON.stringify(fullRecord, null, 2));
-    console.log(`[FailureCorpus] 记录失败案例: ${id} [${record.violatedSVL}]`);
+    fs.writeFileSync(checkpointPath(intent), JSON.stringify(cp, null, 2));
+}
+/** Load a previously saved planner checkpoint. */
+function loadCheckpoint(intent) {
+    try {
+        const raw = fs.readFileSync(checkpointPath(intent), "utf-8");
+        return JSON.parse(raw);
+    }
+    catch {
+        return null;
+    }
+}
+/** Clear a saved planner checkpoint. */
+function clearCheckpoint(intent) {
+    try {
+        fs.unlinkSync(checkpointPath(intent));
+    }
+    catch { }
 }
+/** Record a constraint violation to the failure corpus. */
+function recordFailure(record) {
+    (0, file_lock_1.withLock)("failure-corpus", () => {
+        ensureDir(CORPUS_DIR);
+        const date = new Date().toISOString().slice(0, 10);
+        const dateDir = path.join(CORPUS_DIR, date);
+        ensureDir(dateDir);
+        const seqFile = path.join(CORPUS_DIR, ".seq");
+        let seq = 0;
+        try {
+            seq = parseInt(fs.readFileSync(seqFile, 'utf-8'), 10);
+        }
+        catch { }
+        seq++;
+        fs.writeFileSync(seqFile, String(seq));
+        const id = `fail_${Date.now()}_${seq}`;
+        const fullRecord = {
+            ...record,
+            id,
+            timestamp: new Date().toISOString(),
+            plannerAttempt: record.plannerAttempt || 1,
+            plannerRetryTotal: record.plannerRetryTotal || 1,
+        };
+        const filename = `${id}.json`;
+        fs.writeFileSync(path.join(dateDir, filename), JSON.stringify(fullRecord, null, 2));
+        console.error(`[FailureCorpus] ${record.violatedSVL} | 尝试 ${record.plannerAttempt}/${record.plannerRetryTotal} | ${id}`);
+    });
+}
+/** 记录一个完整的意图会话（支持 ExecutionSession 和旧 IntentSession） */
+/**
+ * 保存执行会话（含所有尝试、违规、状态转移）。
+ * @protocol namespace=dev_pipeline pre_states=["CODE_EMITTED"] post_states=["SESSION_RECORDED"] invalidate=["CODE_EMITTED"]
+ */
+/** @requires EXECUTION_DATA @produces SESSION_ID */
+/** @requires EXECUTION_DATA @produces SESSION_ID */
+function recordSession(session) {
+    ensureDir(SESSIONS_DIR);
+    const sessionId = session.sessionId || `sess_${Date.now()}_${Math.random().toString(36).slice(2, 7)}`;
+    // 检测新格式：ExecutionSession has .attempts[0]?.violations
+    const isExecutionSession = session.attempts?.length > 0 && session.attempts[0].violations;
+    if (isExecutionSession) {
+        // 新格式：直接保存 ExecutionSession
+        const fullSession = { ...session, sessionId };
+        fs.writeFileSync(path.join(SESSIONS_DIR, `${sessionId}.json`), JSON.stringify(fullSession, null, 2));
+        // 为每个违规的 attempt 记录到 failure corpus（向后兼容）
+        for (const attempt of fullSession.attempts) {
+            for (const violation of attempt.violations) {
+                const svlStr = `SVL-${violation.svl}`;
+                const blockingFn = attempt.generatedActions[violation.actionIndex];
+                recordFailure({
+                    intent: fullSession.intent,
+                    projectFunctions: [],
+                    violatedSVL: svlStr,
+                    constraintType: violation.violatedConstraint,
+                    actionSequence: attempt.generatedActions,
+                    errorDetail: violation.description,
+                    ssgState: violation.currentStates,
+                    ssgFixPath: violation.fixPath,
+                    ssgMissingFunctions: violation.missingStates,
+                    plannerAttempt: attempt.attemptNumber,
+                    plannerRetryTotal: fullSession.attempts.length,
+                });
+            }
+        }
+        return sessionId;
+    }
+    // 旧格式：兼容保存
+    const fullSession = { ...session, sessionId };
+    fs.writeFileSync(path.join(SESSIONS_DIR, `${sessionId}.json`), JSON.stringify(fullSession, null, 2));
+    return sessionId;
+}
+/** @requires FAILURE_CORPUS @produces FAILURE_LIST */
 function getAllFailures() {
     const records = [];
     if (!fs.existsSync(CORPUS_DIR))
         return records;
-    const dirs = fs.readdirSync(CORPUS_DIR);
+    const dirs = fs.readdirSync(CORPUS_DIR).filter(d => d !== 'sessions');
     for (const dir of dirs) {
         const dirPath = path.join(CORPUS_DIR, dir);
         if (!fs.statSync(dirPath).isDirectory())
             continue;
-        const files = fs.readdirSync(dirPath);
-        for (const file of files) {
+        for (const file of fs.readdirSync(dirPath)) {
             if (file.endsWith(".json")) {
-                const content = fs.readFileSync(path.join(dirPath, file), "utf-8");
-                records.push(JSON.parse(content));
+                try {
+                    records.push(JSON.parse(fs.readFileSync(path.join(dirPath, file), "utf-8")));
+                }
+                catch { }
             }
         }
     }
     return records;
 }
+/** @requires FAILURE_LIST @produces FILTERED_FAILURES */
 function getFailuresBySVL(level) {
     return getAllFailures().filter(r => r.violatedSVL === level);
 }
+/** @requires FAILURE_LIST @produces FAILURE_PATTERNS */
 function getTopFailurePatterns(limit = 5) {
-    const counts = new Map();
-    const all = getAllFailures();
-    for (const r of all) {
+    const groups = new Map();
+    for (const r of getAllFailures()) {
         const key = `${r.violatedSVL}:${r.constraintType}`;
-        counts.set(key, (counts.get(key) || 0) + 1);
+        const entry = groups.get(key) || { count: 0, examples: [] };
+        entry.count++;
+        if (entry.examples.length < 3)
+            entry.examples.push(r.intent);
+        groups.set(key, entry);
     }
-    return [...counts.entries()]
-        .map(([pattern, count]) => ({ pattern, count }))
+    return [...groups.entries()]
+        .map(([pattern, entry]) => ({ pattern, count: entry.count, examples: entry.examples }))
         .sort((a, b) => b.count - a.count)
         .slice(0, limit);
 }
-function generateCandidateRules() {
-    const patterns = getTopFailurePatterns(3);
-    const rules = [];
-    for (const p of patterns) {
-        if (p.pattern === "SVL-4:protocol") {
-            rules.push("建议：为相关函数添加 SSG 协议约束，检查前置状态。");
+/** 构建 AI 失败基因组 —— 按失效模式分组的完整画像 */
+/** Get failure genome statistics: total failures, SVL distribution, constraint types, top patterns.
+ * @tags failure, statistics, genome, audit
+ */
+/** Get failure genome statistics: total failures by SVL, constraint type, and fix path. */
+/** @requires FAILURE_DATA @produces FAILURE_GENOME */
+/** @requires FAILURE_DATA @produces FAILURE_GENOME */
+function getFailureGenome() {
+    const sessions = getAllSessions();
+    const bySVL = { "SVL-1": 0, "SVL-2": 0, "SVL-3": 0, "SVL-4": 0 };
+    const byConstraint = {};
+    const patternCounts = new Map();
+    const fixPathCounts = new Map();
+    let totalViolations = 0;
+    let totalRetries = 0;
+    let resolvedSessions = 0;
+    for (const s of sessions) {
+        const sessionRetries = s.attempts.filter(a => a.outcome !== "success").length;
+        totalRetries += sessionRetries;
+        if (s.resolved)
+            resolvedSessions++;
+        for (const a of s.attempts) {
+            for (const v of a.violations) {
+                totalViolations++;
+                const svlKey = `SVL-${v.svl}`;
+                bySVL[svlKey] = (bySVL[svlKey] || 0) + 1;
+                const ct = v.violatedConstraint || "unknown";
+                byConstraint[ct] = (byConstraint[ct] || 0) + 1;
+                // Pattern grouping
+                const patternKey = `${svlKey}:${ct}`;
+                const entry = patternCounts.get(patternKey) || { count: 0, examples: [] };
+                entry.count++;
+                if (entry.examples.length < 3)
+                    entry.examples.push(s.intent);
+                patternCounts.set(patternKey, entry);
+                if (v.fixPath && v.fixPath.length > 0) {
+                    const key = `${svlKey}:${v.fixPath.join("→")}`;
+                    fixPathCounts.set(key, (fixPathCounts.get(key) || 0) + 1);
+                }
+            }
+        }
+    }
+    const topPatterns = [...patternCounts.entries()]
+        .map(([pattern, entry]) => ({ pattern, count: entry.count, examples: entry.examples }))
+        .sort((a, b) => b.count - a.count)
+        .slice(0, 5);
+    const commonFixPaths = [...fixPathCounts.entries()]
+        .map(([key, count]) => {
+        const [violation, ...rest] = key.split(":");
+        return { violation, fixPath: rest.join(":").split("→"), count };
+    })
+        .sort((a, b) => b.count - a.count)
+        .slice(0, 10);
+    return {
+        totalFailures: totalViolations,
+        bySVL,
+        byConstraintType: byConstraint,
+        topPatterns,
+        commonFixPaths,
+        averageRetriesToSuccess: totalViolations > 0 ? Math.round((totalRetries / totalViolations) * 10) / 10 : 0,
+    };
+}
+/** 获取所有意图会话（归一化为 ExecutionSession[]） */
+/** Load all execution sessions from the corpus directory.
+ * @tags session, corpus, audit, history
+ */
+/** @requires SESSION_DATA @produces SESSION_LIST */
+/** @requires SESSION_CORPUS @produces SESSION_LIST */
+/** @requires SESSION_CORPUS @produces SESSION_LIST */
+/** @requires SESSION_CORPUS @produces SESSION_LIST */
+function getAllSessions() {
+    const sessions = [];
+    if (!fs.existsSync(SESSIONS_DIR))
+        return sessions;
+    for (const file of fs.readdirSync(SESSIONS_DIR)) {
+        if (file.endsWith(".json")) {
+            try {
+                const raw = JSON.parse(fs.readFileSync(path.join(SESSIONS_DIR, file), "utf-8"));
+                sessions.push(normalizeSession(raw));
+            }
+            catch { }
+        }
+    }
+    return sessions;
+}
+/** 检测并归一化新旧两种会话格式 */
+function normalizeSession(raw) {
+    // 新格式：attempts[0] 有 violations 字段
+    if (raw.attempts?.length > 0 && raw.attempts[0].violations) {
+        return raw;
+    }
+    // 旧 IntentSession 格式 → 上转
+    return convertOldSession(raw);
+}
+/** 将旧 IntentSession 转换为 ExecutionSession */
+function convertOldSession(old) {
+    const attempts = (old.attempts || []).map((sa, i) => ({
+        id: `${old.sessionId}_att_${i + 1}`,
+        sessionId: old.sessionId,
+        attemptNumber: sa.plannerAttempt || i + 1,
+        inputIntent: old.intent,
+        plannerSeed: old.sessionId,
+        constraintSnapshotId: old.snapshotId || "",
+        generatedActions: sa.actionSequence || [],
+        transitions: [],
+        violations: [{
+                svl: parseInt((sa.violatedSVL || "SVL-1").split("-")[1]),
+                violatedConstraint: sa.constraintType || "unknown",
+                actionIndex: 0,
+                currentStates: sa.ssgState,
+                missingStates: sa.ssgMissingFunctions,
+                fixPath: sa.ssgFixPath,
+                description: sa.errorDetail || "",
+            }],
+        outcome: "constraint_violation",
+        timestamp: new Date(old.timestamp).getTime(),
+        llmCallCount: 1,
+        durationMs: 0,
+    }));
+    return {
+        sessionId: old.sessionId,
+        intent: old.intent,
+        attempts,
+        successfulAttempt: old.resolved && old.successfulAlternative
+            ? {
+                id: `${old.sessionId}_success`,
+                sessionId: old.sessionId,
+                attemptNumber: old.totalRetries + 1,
+                inputIntent: old.intent,
+                plannerSeed: old.sessionId,
+                constraintSnapshotId: old.snapshotId || "",
+                generatedActions: old.successfulAlternative,
+                transitions: [],
+                violations: [],
+                outcome: "success",
+                timestamp: new Date(old.timestamp).getTime(),
+                llmCallCount: old.totalRetries,
+                durationMs: 0,
+            }
+            : undefined,
+        resolved: old.resolved,
+        snapshotId: old.snapshotId,
+        startedAt: new Date(old.timestamp).getTime(),
+        endedAt: new Date(old.timestamp).getTime(),
+    };
+}
+function computeACL(count, distinctIntents, resolvedRate) {
+    const acl4Count = parseInt(process.env.PROGMUNE_ACL4_COUNT || "10", 10);
+    const acl4Intents = parseInt(process.env.PROGMUNE_ACL4_INTENTS || "5", 10);
+    const acl3Count = parseInt(process.env.PROGMUNE_ACL3_COUNT || "4", 10);
+    const acl3Intents = parseInt(process.env.PROGMUNE_ACL3_INTENTS || "3", 10);
+    const acl2Count = parseInt(process.env.PROGMUNE_ACL2_COUNT || "2", 10);
+    if (count >= acl4Count && distinctIntents >= acl4Intents)
+        return "ACL-4";
+    if (count >= acl3Count || distinctIntents >= acl3Intents)
+        return "ACL-3";
+    if (count >= acl2Count)
+        return "ACL-2";
+    return "ACL-1";
+}
+/** Get antibody patterns learned from failure history. */
+/** @requires FAILURE_HISTORY @produces LEARNED_PATTERNS */
+function getLearnedPatterns() {
+    const sessions = getAllSessions();
+    const agg = new Map();
+    for (const s of sessions) {
+        for (const a of s.attempts) {
+            // Extract SSG violations from Attempt.violations
+            for (const v of a.violations) {
+                if (!v.fixPath || v.fixPath.length === 0)
+                    continue;
+                if (v.svl !== 4)
+                    continue; // only SVL-4 has fix paths
+                const violatedLabel = `SVL-${v.svl}`;
+                const missingKey = (v.missingStates || ["unknown"]).join(",");
+                const signature = `${violatedLabel}:${missingKey}`;
+                const existing = agg.get(signature);
+                const ts = new Date(s.startedAt).toISOString();
+                if (existing) {
+                    existing.count++;
+                    existing.intents.add(s.intent);
+                    if (s.resolved)
+                        existing.resolvedCount++;
+                    if (ts > existing.lastSeen)
+                        existing.lastSeen = ts;
+                }
+                else {
+                    agg.set(signature, {
+                        violation: `${violatedLabel}: ${(v.missingStates || ["unknown"]).join(", ")}`,
+                        fixPath: v.fixPath,
+                        count: 1,
+                        intents: new Set([s.intent]),
+                        resolvedCount: s.resolved ? 1 : 0,
+                        firstSeen: ts,
+                        lastSeen: ts,
+                    });
+                }
+            }
         }
-        else if (p.pattern === "SVL-1:symbol_existence") {
-            rules.push("建议：检查项目 IR 是否缺少必要的函数定义。");
+    }
+    const patterns = [];
+    for (const [signature, data] of agg) {
+        const distinctCount = data.intents.size;
+        const resolvedRate = data.count > 0 ? Math.round((data.resolvedCount / data.count) * 100) / 100 : 0;
+        patterns.push({
+            signature,
+            violation: data.violation,
+            fixPath: data.fixPath,
+            occurrenceCount: data.count,
+            distinctIntents: [...data.intents],
+            resolvedRate,
+            antibodyLevel: computeACL(data.count, distinctCount, resolvedRate),
+            firstSeen: data.firstSeen,
+            lastSeen: data.lastSeen,
+        });
+    }
+    patterns.sort((a, b) => b.occurrenceCount - a.occurrenceCount);
+    return { failureToFix: patterns };
+}
+/** 查询匹配当前意图的高置信度抗体（ACL-3+），用于推理层免疫加速 */
+/** Query antibody registry for matching repair patterns. */
+/** @requires FAILURE_SIGNATURE @produces ANTIBODY_MATCH */
+function queryAntibodies(intent, minACL = "ACL-3") {
+    const { failureToFix } = getLearnedPatterns();
+    const aclRank = { "ACL-1": 1, "ACL-2": 2, "ACL-3": 3, "ACL-4": 4 };
+    const minRank = aclRank[minACL];
+    const intentLower = intent.toLowerCase();
+    const intentWords = new Set(intentLower.split(/[\s,，、]+|(?<=[一-鿿])(?=[一-鿿])/).filter(w => w.length > 0));
+    return failureToFix
+        .filter(p => aclRank[p.antibodyLevel] >= minRank)
+        .filter(p => p.fixPath && p.fixPath.length > 0)
+        .map(p => {
+        // 计算意图相似度
+        let overlapScore = 0;
+        for (const di of p.distinctIntents) {
+            const diWords = new Set(di.toLowerCase().split(/[\s,，、]+|(?<=[一-鿿])(?=[一-鿿])/).filter(w => w.length > 0));
+            const intersection = [...intentWords].filter(w => diWords.has(w)).length;
+            const union = new Set([...intentWords, ...diWords]).size;
+            overlapScore = Math.max(overlapScore, union > 0 ? intersection / union : 0);
         }
-        else if (p.pattern === "SVL-3:dataflow") {
-            rules.push("建议：强化变量声明检查，确保变量使用前已初始化。");
+        return { ...p, _score: overlapScore };
+    })
+        .filter(p => p._score >= 0.2) // 至少 20% 的 Jaccard 相似度
+        .sort((a, b) => b._score - a._score);
+}
+/** 语义热力图：哪些协议/层最脆弱，约束如何聚类 */
+/** Get semantic heatmap showing fragile protocols and SVL hotspots. */
+/** @requires FAILURE_DATA @produces HEATMAP */
+/** @requires FAILURE_HEATMAP @produces HEATMAP_DATA */
+function getSemanticHeatmap() {
+    const sessions = getAllSessions();
+    // Count total violations from sessions
+    let totalViolations = 0;
+    const svlCounts = {};
+    const funcCounts = new Map();
+    for (const s of sessions) {
+        for (const a of s.attempts) {
+            for (const v of a.violations) {
+                totalViolations++;
+                const svlKey = `SVL-${v.svl}`;
+                svlCounts[svlKey] = (svlCounts[svlKey] || 0) + 1;
+                // Fragile protocols: extract blocked function from description
+                const blockedMatch = v.description.match(/(\w+)\s*(要求|requires|blocked|不允许|不合法)/);
+                const fn = blockedMatch ? blockedMatch[1] : (a.generatedActions.find(x => x.kind === "call")?.function || "unknown");
+                const existing = funcCounts.get(fn);
+                if (existing) {
+                    existing.count++;
+                }
+                else {
+                    funcCounts.set(fn, { count: 1, svl: svlKey });
+                }
+            }
         }
     }
+    const total = totalViolations || 1;
+    const fragileProtocols = [...funcCounts.entries()]
+        .map(([fn, data]) => ({ function: fn, violationCount: data.count, svl: data.svl }))
+        .sort((a, b) => b.violationCount - a.violationCount)
+        .slice(0, 10);
+    // SVL hotspots
+    const svlHotspots = [];
+    for (const [svl, count] of Object.entries(svlCounts)) {
+        svlHotspots.push({ svl, count, percentage: Math.round((count / total) * 100) });
+    }
+    svlHotspots.sort((a, b) => b.count - a.count);
+    // Constraint clusters: which anomaly types co-occur in the same session
+    const constraintClusters = [];
+    for (const s of sessions) {
+        if (s.attempts.length < 2)
+            continue;
+        const types = [...new Set(s.attempts.flatMap(a => a.violations.map(v => v.violatedConstraint)))].filter(Boolean).sort();
+        if (types.length >= 2) {
+            constraintClusters.push({ constraints: types, count: s.attempts.length, intent: s.intent });
+        }
+    }
+    constraintClusters.sort((a, b) => b.count - a.count);
+    // High friction intents: which tasks require the most adaptations
+    const highFrictionIntents = sessions
+        .map(s => ({
+        intent: s.intent,
+        adaptationCount: s.attempts.filter(a => a.outcome !== "success").length,
+        anomalyTypes: [...new Set(s.attempts.flatMap(a => a.violations.map(v => v.violatedConstraint)))].filter(Boolean),
+    }))
+        .sort((a, b) => b.adaptationCount - a.adaptationCount)
+        .slice(0, 8);
+    return { fragileProtocols, svlHotspots, constraintClusters, highFrictionIntents };
+}
+/** 抗体效能统计：量化免疫加速节省的 LLM 调用和 token */
+/** Get antibody efficacy statistics: hits by level, tokens saved, top signatures.
+ * @tags antibody, immune, statistics, efficiency
+ */
+/** @requires ANTIBODY_DATA @produces ANTIBODY_STATS */
+/** @requires ANTIBODY_DATA @produces ANTIBODY_STATS */
+function getAntibodyStats() {
+    const sessions = getAllSessions();
+    let totalHits = 0;
+    let fastPathHits = 0;
+    let injectedHintHits = 0;
+    let totalLLMCallsSaved = 0;
+    let totalTokensSaved = 0;
+    const byLevel = {};
+    const sigMap = new Map();
+    for (const s of sessions) {
+        for (const a of s.attempts) {
+            const hit = a.antibodyHit;
+            if (!hit)
+                continue;
+            totalHits++;
+            if (hit.action === "fast_path")
+                fastPathHits++;
+            else if (hit.action === "injected_hint")
+                injectedHintHits++;
+            totalLLMCallsSaved += hit.llmCallsSaved || 0;
+            totalTokensSaved += hit.estimatedTokensSaved || 0;
+            const level = hit.level || "ACL-1";
+            const lb = byLevel[level] || { hits: 0, llmSaved: 0, tokensSaved: 0 };
+            lb.hits++;
+            lb.llmSaved += hit.llmCallsSaved || 0;
+            lb.tokensSaved += hit.estimatedTokensSaved || 0;
+            byLevel[level] = lb;
+            const sig = hit.signature || "unknown";
+            const se = sigMap.get(sig) || { hits: 0, similarities: [] };
+            se.hits++;
+            se.similarities.push(hit.similarityScore || 0);
+            sigMap.set(sig, se);
+        }
+    }
+    const topSignatures = [...sigMap.entries()]
+        .map(([signature, d]) => ({
+        signature,
+        hits: d.hits,
+        avgSimilarity: Math.round((d.similarities.reduce((a, b) => a + b, 0) / d.similarities.length) * 100) / 100,
+    }))
+        .sort((a, b) => b.hits - a.hits)
+        .slice(0, 10);
+    return { totalHits, fastPathHits, injectedHintHits, totalLLMCallsSaved, totalTokensSaved, byLevel, topSignatures };
+}
+/** Generate candidate immune rules from failure patterns. */
+function generateCandidateRules() {
+    const genome = getFailureGenome();
+    const rules = [];
+    // SVL-4 修复路径
+    const ssgFixes = genome.commonFixPaths.filter(f => f.violation === 'SVL-4');
+    if (ssgFixes.length > 0) {
+        const top = ssgFixes[0];
+        rules.push(`SSG 修复规则: 当检测到协议违规时，优先尝试调用 ${top.fixPath.join(' → ')}。`);
+    }
+    if (genome.bySVL["SVL-1"] > genome.bySVL["SVL-4"]) {
+        rules.push("SVL-1 是最高频失效模式——建议强化 IR 提取的符号覆盖度。");
+    }
+    if (genome.bySVL["SVL-4"] > 0) {
+        rules.push("SVL-4 协议违规建议：为关键函数添加 @protocol JSDoc 注解。");
+    }
+    if (genome.averageRetriesToSuccess > 2) {
+        rules.push(`平均需要 ${genome.averageRetriesToSuccess} 次重试才能成功——考虑优化 Planner 路径排序。`);
+    }
     return rules;
 }

package/dist/failure-report.js

@@ -0,0 +1,11 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.main = main;
+// @progmune-generated session=sess_1780343206982_0y8gk timestamp=2026-06-01T19:46:48.561Z ruleHash=9dec68bc2995e92a
+// Generated with IR constraint: 382 functions, 17 protocol rules
+const failure_corpus_1 = require("./failure-corpus");
+function main() {
+    const genome = (0, failure_corpus_1.getFailureGenome)();
+    return genome;
+}
+main();

package/dist/failures.js

@@ -0,0 +1,11 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.main = main;
+// @progmune-generated session=sess_1780345916092_sn5tt timestamp=2026-06-01T20:31:57.612Z ruleHash=9dec68bc2995e92a
+// Generated with IR constraint: 390 functions, 17 protocol rules
+const failure_corpus_1 = require("./failure-corpus");
+function main() {
+    const failures = (0, failure_corpus_1.getAllFailures)();
+    return failures;
+}
+main();

package/dist/fast-path-hits.js

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.main = main;
+// @progmune-generated session=sess_1780343852770_0srir timestamp=2026-06-01T19:57:34.249Z ruleHash=9dec68bc2995e92a
+// Generated with IR constraint: 395 functions, 17 protocol rules
+const failure_corpus_1 = require("./failure-corpus");
+function main() {
+    const stats = (0, failure_corpus_1.getAntibodyStats)();
+    const body = getBody();
+    const methods = getMethods();
+    return stats;
+}
+main();

package/dist/feedback.js

@@ -39,17 +39,23 @@ exports.getFunctionSuccessRate = getFunctionSuccessRate;
 exports.recordRun = recordRun;
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
+const file_lock_1 = require("./file-lock");
 const FEEDBACK_PATH = path.resolve(__dirname, "../feedback.json");
+/** @requires CORPUS @produces FEEDBACK_DATA */
 function loadFeedback() {
     if (!fs.existsSync(FEEDBACK_PATH))
         return [];
     return JSON.parse(fs.readFileSync(FEEDBACK_PATH, "utf-8"));
 }
+/** @requires FEEDBACK_EVENT @produces FEEDBACK_ID */
 function saveFeedback(record) {
-    const data = loadFeedback();
-    data.push(record);
-    fs.writeFileSync(FEEDBACK_PATH, JSON.stringify(data, null, 2));
+    (0, file_lock_1.withLock)("feedback.json", () => {
+        const data = loadFeedback();
+        data.push(record);
+        fs.writeFileSync(FEEDBACK_PATH, JSON.stringify(data, null, 2));
+    });
 }
+/** @requires FUNCTION_NAME @produces SUCCESS_RATE */
 function getFunctionSuccessRate(funcName) {
     const records = loadFeedback();
     const funcRecords = records.filter(r => r.functionName === funcName);
@@ -58,6 +64,7 @@ function getFunctionSuccessRate(funcName) {
     const successCount = funcRecords.filter(r => r.success).length;
     return successCount / funcRecords.length;
 }
+/** @requires EXECUTION_DATA @produces RUN_ID */
 function recordRun(intent, actions, success, error) {
     for (const action of actions) {
         if (action.kind === "call") {