progmune-runtime 2.0.4 → 2.1.1

package/dist/runtime-types.js

@@ -0,0 +1,117 @@
+"use strict";
+// Runtime Ontology — Progmune 执行语义的 formal type system
+// 所有 runtime primitive 的单一定义源
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.replayLedger = exports.replaySession = exports.getMinimalFixSet = exports.generateRepairSummary = exports.validateProposal = exports.applyProposalAsBranch = exports.suggestInvariantRepair = exports.suggestProtocolRepair = exports.suggestRepairs = exports.describeBranchTree = exports.unwrapBranchTree = exports.wrapAsBranch = exports.findRootBranch = exports.buildBranchMap = exports.replayBranch = exports.getBranchPath = exports.flattenBranch = exports.mergeBranches = exports.forkBranch = exports.createBranch = exports.createRootBranch = exports.registerAllMissingFingerprints = exports.verifyAllFingerprints = exports.verifyFingerprint = exports.getFingerprintRegistry = exports.getFingerprint = exports.registerFingerprint = exports.assertLedgerInvariants = exports.assertTransitionOrder = exports.assertRuleHashMatch = exports.assertDeltaConsistency = exports.assertLedgerConsistency = exports.InvariantViolationError = exports.listAllStates = exports.findTransition = exports.findViolations = exports.findConsumer = exports.findProducer = exports.rejectionToJSON = exports.explainRejection = exports.diffLedgers = exports.hashLedger = exports.hashRules = exports.findFixPathStatic = exports.checkLedgerConsistency = exports.validateTransition = exports.applyTransitionDelta = exports.rebuildState = exports.parseProtocolsFromJSON = exports.StateMachineValidator = void 0;
+exports.replayWithDetail = void 0;
+exports.generateAttemptId = generateAttemptId;
+exports.generateSessionId = generateSessionId;
+exports.generatePlannerSeed = generatePlannerSeed;
+const crypto = __importStar(require("crypto"));
+var ssg_validator_1 = require("./ssg-validator");
+Object.defineProperty(exports, "StateMachineValidator", { enumerable: true, get: function () { return ssg_validator_1.StateMachineValidator; } });
+Object.defineProperty(exports, "parseProtocolsFromJSON", { enumerable: true, get: function () { return ssg_validator_1.parseProtocolsFromJSON; } });
+// Phase 3: Semantic Ledger pure functions (re-exported from ssg-validator)
+var ssg_validator_2 = require("./ssg-validator");
+Object.defineProperty(exports, "rebuildState", { enumerable: true, get: function () { return ssg_validator_2.rebuildState; } });
+Object.defineProperty(exports, "applyTransitionDelta", { enumerable: true, get: function () { return ssg_validator_2.applyTransitionDelta; } });
+Object.defineProperty(exports, "validateTransition", { enumerable: true, get: function () { return ssg_validator_2.validateTransition; } });
+Object.defineProperty(exports, "checkLedgerConsistency", { enumerable: true, get: function () { return ssg_validator_2.checkLedgerConsistency; } });
+Object.defineProperty(exports, "findFixPathStatic", { enumerable: true, get: function () { return ssg_validator_2.findFixPathStatic; } });
+Object.defineProperty(exports, "hashRules", { enumerable: true, get: function () { return ssg_validator_2.hashRules; } });
+Object.defineProperty(exports, "hashLedger", { enumerable: true, get: function () { return ssg_validator_2.hashLedger; } });
+Object.defineProperty(exports, "diffLedgers", { enumerable: true, get: function () { return ssg_validator_2.diffLedgers; } });
+Object.defineProperty(exports, "explainRejection", { enumerable: true, get: function () { return ssg_validator_2.explainRejection; } });
+Object.defineProperty(exports, "rejectionToJSON", { enumerable: true, get: function () { return ssg_validator_2.rejectionToJSON; } });
+Object.defineProperty(exports, "findProducer", { enumerable: true, get: function () { return ssg_validator_2.findProducer; } });
+Object.defineProperty(exports, "findConsumer", { enumerable: true, get: function () { return ssg_validator_2.findConsumer; } });
+Object.defineProperty(exports, "findViolations", { enumerable: true, get: function () { return ssg_validator_2.findViolations; } });
+Object.defineProperty(exports, "findTransition", { enumerable: true, get: function () { return ssg_validator_2.findTransition; } });
+Object.defineProperty(exports, "listAllStates", { enumerable: true, get: function () { return ssg_validator_2.listAllStates; } });
+// Phase 4: Invariant assertion layer
+var runtime_invariants_1 = require("./runtime-invariants");
+Object.defineProperty(exports, "InvariantViolationError", { enumerable: true, get: function () { return runtime_invariants_1.InvariantViolationError; } });
+Object.defineProperty(exports, "assertLedgerConsistency", { enumerable: true, get: function () { return runtime_invariants_1.assertLedgerConsistency; } });
+Object.defineProperty(exports, "assertDeltaConsistency", { enumerable: true, get: function () { return runtime_invariants_1.assertDeltaConsistency; } });
+Object.defineProperty(exports, "assertRuleHashMatch", { enumerable: true, get: function () { return runtime_invariants_1.assertRuleHashMatch; } });
+Object.defineProperty(exports, "assertTransitionOrder", { enumerable: true, get: function () { return runtime_invariants_1.assertTransitionOrder; } });
+Object.defineProperty(exports, "assertLedgerInvariants", { enumerable: true, get: function () { return runtime_invariants_1.assertLedgerInvariants; } });
+// Phase 4: Fingerprint Registry
+var ledger_registry_1 = require("./ledger-registry");
+Object.defineProperty(exports, "registerFingerprint", { enumerable: true, get: function () { return ledger_registry_1.registerFingerprint; } });
+Object.defineProperty(exports, "getFingerprint", { enumerable: true, get: function () { return ledger_registry_1.getFingerprint; } });
+Object.defineProperty(exports, "getFingerprintRegistry", { enumerable: true, get: function () { return ledger_registry_1.getFingerprintRegistry; } });
+Object.defineProperty(exports, "verifyFingerprint", { enumerable: true, get: function () { return ledger_registry_1.verifyFingerprint; } });
+Object.defineProperty(exports, "verifyAllFingerprints", { enumerable: true, get: function () { return ledger_registry_1.verifyAllFingerprints; } });
+Object.defineProperty(exports, "registerAllMissingFingerprints", { enumerable: true, get: function () { return ledger_registry_1.registerAllMissingFingerprints; } });
+// Phase 4: Branch Ledger
+var branch_ledger_1 = require("./branch-ledger");
+Object.defineProperty(exports, "createRootBranch", { enumerable: true, get: function () { return branch_ledger_1.createRootBranch; } });
+Object.defineProperty(exports, "createBranch", { enumerable: true, get: function () { return branch_ledger_1.createBranch; } });
+Object.defineProperty(exports, "forkBranch", { enumerable: true, get: function () { return branch_ledger_1.forkBranch; } });
+Object.defineProperty(exports, "mergeBranches", { enumerable: true, get: function () { return branch_ledger_1.mergeBranches; } });
+Object.defineProperty(exports, "flattenBranch", { enumerable: true, get: function () { return branch_ledger_1.flattenBranch; } });
+Object.defineProperty(exports, "getBranchPath", { enumerable: true, get: function () { return branch_ledger_1.getBranchPath; } });
+Object.defineProperty(exports, "replayBranch", { enumerable: true, get: function () { return branch_ledger_1.replayBranch; } });
+Object.defineProperty(exports, "buildBranchMap", { enumerable: true, get: function () { return branch_ledger_1.buildBranchMap; } });
+Object.defineProperty(exports, "findRootBranch", { enumerable: true, get: function () { return branch_ledger_1.findRootBranch; } });
+Object.defineProperty(exports, "wrapAsBranch", { enumerable: true, get: function () { return branch_ledger_1.wrapAsBranch; } });
+Object.defineProperty(exports, "unwrapBranchTree", { enumerable: true, get: function () { return branch_ledger_1.unwrapBranchTree; } });
+Object.defineProperty(exports, "describeBranchTree", { enumerable: true, get: function () { return branch_ledger_1.describeBranchTree; } });
+// Phase 4: Repair Proposal Engine
+var repair_proposal_1 = require("./repair-proposal");
+Object.defineProperty(exports, "suggestRepairs", { enumerable: true, get: function () { return repair_proposal_1.suggestRepairs; } });
+Object.defineProperty(exports, "suggestProtocolRepair", { enumerable: true, get: function () { return repair_proposal_1.suggestProtocolRepair; } });
+Object.defineProperty(exports, "suggestInvariantRepair", { enumerable: true, get: function () { return repair_proposal_1.suggestInvariantRepair; } });
+Object.defineProperty(exports, "applyProposalAsBranch", { enumerable: true, get: function () { return repair_proposal_1.applyProposalAsBranch; } });
+Object.defineProperty(exports, "validateProposal", { enumerable: true, get: function () { return repair_proposal_1.validateProposal; } });
+Object.defineProperty(exports, "generateRepairSummary", { enumerable: true, get: function () { return repair_proposal_1.generateRepairSummary; } });
+Object.defineProperty(exports, "getMinimalFixSet", { enumerable: true, get: function () { return repair_proposal_1.getMinimalFixSet; } });
+// Phase 4: Deterministic Replay
+var deterministic_replay_1 = require("./deterministic-replay");
+Object.defineProperty(exports, "replaySession", { enumerable: true, get: function () { return deterministic_replay_1.replaySession; } });
+Object.defineProperty(exports, "replayLedger", { enumerable: true, get: function () { return deterministic_replay_1.replayLedger; } });
+Object.defineProperty(exports, "replayWithDetail", { enumerable: true, get: function () { return deterministic_replay_1.replayWithDetail; } });
+// ── ID生成工具 ──
+function generateAttemptId() {
+    return `att_${Date.now()}_${Math.random().toString(36).slice(2, 7)}`;
+}
+function generateSessionId() {
+    return `sess_${Date.now()}_${Math.random().toString(36).slice(2, 7)}`;
+}
+function generatePlannerSeed(prompt, model) {
+    return crypto.createHash("md5").update(`${prompt}|${model}|${Date.now()}`).digest("hex").slice(0, 8);
+}

package/dist/runtime.js

@@ -37,6 +37,7 @@ exports.runAndCheck = runAndCheck;
 const child_process_1 = require("child_process");
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
+/** @requires COMMAND @produces EXECUTION_RESULT */
 function runAndCheck(code) {
     // 把临时文件写入 test-login 目录，使用它的 tsconfig 编译
     const tmpDir = path.resolve("test-login");

package/dist/search-planner.js

@@ -46,7 +46,8 @@ const WEIGHT_HISTORY = 0.4; // 反馈系统成功率的权重
 const WEIGHT_GOAL_COMPLETION = 0.5; // 目标完成奖励
 const STATIC_HIGH_THRESHOLD = 0.6; // 静态评分超过此值时，跳过LLM调用
 function loadIR() {
-    return JSON.parse(fs.readFileSync("ir.json", "utf-8"));
+    const raw = JSON.parse(fs.readFileSync("ir.json", "utf-8"));
+    return Array.isArray(raw) ? raw : (raw.functions || []);
 }
 const staticScoreCache = new Map();
 function getStaticScore(funcName, goal) {
@@ -92,14 +93,41 @@ async function decomposeGoals(intent, functions) {
     catch { }
     return [intent];
 }
-async function functionMatchesGoal(funcName, goal, staticScore) {
-    if (staticScore > STATIC_HIGH_THRESHOLD)
-        return staticScore;
-    const prompt = `函数 ${funcName} 对 "${goal}" 的贡献度（0-10整数），只返回数字:`;
-    const resp = await (0, llm_1.generate)(prompt);
-    const s = parseFloat(resp.trim());
-    return isNaN(s) ? 0.3 : Math.min(1, s / 10);
+/** 批量评分：将同一 goal 的所有候选函数打包为一次 LLM 调用 */
+async function batchScoreFuncs(funcs, goal) {
+    const result = new Map();
+    const needsLLM = [];
+    for (const f of funcs) {
+        if (f.staticScore > STATIC_HIGH_THRESHOLD) {
+            result.set(f.name, f.staticScore);
+        }
+        else {
+            needsLLM.push(f);
+        }
+    }
+    if (needsLLM.length === 0)
+        return result;
+    const funcNames = needsLLM.map(f => f.name).join(", ");
+    const prompt = `评估以下每个函数对目标"${goal}"的贡献度（0-10整数）。只返回JSON对象，格式：{"函数名":整数}\n函数：${funcNames}`;
+    try {
+        const text = await (0, llm_1.generate)(prompt);
+        const match = text.match(/\{[\s\S]*\}/);
+        if (match) {
+            const scores = JSON.parse(match[0]);
+            for (const [name, score] of Object.entries(scores)) {
+                const n = typeof score === 'number' ? score : parseFloat(String(score));
+                result.set(name, isNaN(n) ? 0.3 : Math.min(1, n / 10));
+            }
+        }
+    }
+    catch { }
+    for (const f of needsLLM) {
+        if (!result.has(f.name))
+            result.set(f.name, 0.3);
+    }
+    return result;
 }
+/** @requires INTENT @produces ACTION_PLAN */
 async function searchPlan(intent, beamWidth = 2, maxDepth = 6) {
     (0, llm_1.resetCallCount)();
     staticScoreCache.clear();
@@ -127,11 +155,13 @@ async function searchPlan(intent, beamWidth = 2, maxDepth = 6) {
             })).filter((f) => f.staticScore > 0.05)
                 .sort((a, b) => b.staticScore - a.staticScore)
                 .slice(0, 5);
+            // 批量评分：一次 LLM 调用评估所有候选函数
+            const scoreMap = await batchScoreFuncs(scoredFuncs.map(f => ({ name: f.name, staticScore: f.staticScore })), currentGoal);
             for (const func of scoredFuncs) {
                 const alreadyUsed = cand.actions.some(a => a.kind === "call" && a.function === func.name && a._goalIndex === cand.currentGoalIndex);
                 if (alreadyUsed)
                     continue;
-                const relevance = await functionMatchesGoal(func.name, currentGoal, func.staticScore);
+                const relevance = scoreMap.get(func.name) ?? 0.3;
                 if (relevance < 0.2)
                     continue;
                 const args = func.params.map((p) => ({

package/dist/semantic-snapshot.js

@@ -0,0 +1,157 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createSnapshot = createSnapshot;
+exports.saveSnapshot = saveSnapshot;
+exports.loadSnapshot = loadSnapshot;
+exports.listSnapshots = listSnapshots;
+exports.diffSnapshots = diffSnapshots;
+exports.summarizeSnapshot = summarizeSnapshot;
+exports.findSnapshotBySession = findSnapshotBySession;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const crypto = __importStar(require("crypto"));
+const projectDir = process.env.PROGMUNE_PROJECT_DIR || process.cwd();
+const SNAPSHOT_DIR = path.resolve(projectDir, ".progmune_corpus", "snapshots");
+function ensureDir(dir) {
+    if (!fs.existsSync(dir))
+        fs.mkdirSync(dir, { recursive: true });
+}
+/** 从 IR 数据创建快照 */
+/** @requires IR_DATA @produces SNAPSHOT */
+function createSnapshot(ir, intent, sessionId) {
+    const functions = ir.map((f) => ({
+        name: f.name,
+        params: (f.params || []).map((p) => ({ name: p.name, type: p.type })),
+        returnType: f.returnType || "void",
+    }));
+    const hash = crypto.createHash("md5")
+        .update(JSON.stringify(functions))
+        .digest("hex")
+        .slice(0, 12);
+    return {
+        id: `snap_${Date.now()}_${hash}`,
+        timestamp: new Date().toISOString(),
+        intent,
+        sessionId,
+        functions,
+    };
+}
+/** 持久化快照 */
+/** @requires SNAPSHOT @produces SNAPSHOT_ID */
+function saveSnapshot(snapshot) {
+    ensureDir(SNAPSHOT_DIR);
+    fs.writeFileSync(path.join(SNAPSHOT_DIR, `${snapshot.id}.json`), JSON.stringify(snapshot, null, 2));
+    return snapshot.id;
+}
+/** 加载快照 */
+function loadSnapshot(snapshotId) {
+    try {
+        const raw = fs.readFileSync(path.join(SNAPSHOT_DIR, `${snapshotId}.json`), "utf-8");
+        return JSON.parse(raw);
+    }
+    catch {
+        return null;
+    }
+}
+/** 列出所有快照 */
+function listSnapshots() {
+    const snapshots = [];
+    if (!fs.existsSync(SNAPSHOT_DIR))
+        return snapshots;
+    for (const file of fs.readdirSync(SNAPSHOT_DIR)) {
+        if (file.endsWith(".json")) {
+            try {
+                snapshots.push(JSON.parse(fs.readFileSync(path.join(SNAPSHOT_DIR, file), "utf-8")));
+            }
+            catch { }
+        }
+    }
+    snapshots.sort((a, b) => b.timestamp.localeCompare(a.timestamp));
+    return snapshots;
+}
+/** 计算两个快照之间的差异 */
+function diffSnapshots(before, after) {
+    const beforeMap = new Map();
+    const afterMap = new Map();
+    for (const f of before.functions)
+        beforeMap.set(f.name, f);
+    for (const f of after.functions)
+        afterMap.set(f.name, f);
+    const added = [];
+    const removed = [];
+    const changed = [];
+    let unchanged = 0;
+    for (const [name, f] of afterMap) {
+        if (!beforeMap.has(name)) {
+            added.push(f);
+        }
+        else {
+            const bf = beforeMap.get(name);
+            const bSig = `${bf.returnType}:${bf.params.map(p => `${p.name}:${p.type}`).join(",")}`;
+            const aSig = `${f.returnType}:${f.params.map(p => `${p.name}:${p.type}`).join(",")}`;
+            if (bSig !== aSig) {
+                changed.push({ before: bf, after: f });
+            }
+            else {
+                unchanged++;
+            }
+        }
+    }
+    for (const [name, f] of beforeMap) {
+        if (!afterMap.has(name)) {
+            removed.push(f);
+        }
+    }
+    return { added, removed, changed, unchanged };
+}
+/** 生成快照摘要 */
+function summarizeSnapshot(snapshot) {
+    const lines = [
+        `Snapshot: ${snapshot.id}`,
+        `Timestamp: ${snapshot.timestamp}`,
+        `Functions: ${snapshot.functions.length}`,
+    ];
+    if (snapshot.intent)
+        lines.push(`Intent: ${snapshot.intent}`);
+    if (snapshot.sessionId)
+        lines.push(`Session: ${snapshot.sessionId}`);
+    return lines.join("\n");
+}
+/** 按 sessionId 查找快照，返回最近的一个（或 undefined） */
+function findSnapshotBySession(sessionId) {
+    const snapshots = listSnapshots();
+    return snapshots.find(s => s.sessionId === sessionId);
+}