progmune-runtime 2.0.4 → 2.1.1

package/dist/semantic-validator.js

@@ -6,8 +6,9 @@ function loadContracts() {
     if (irCache)
         return irCache;
     const raw = JSON.parse(require("fs").readFileSync("ir.json", "utf-8"));
-    irCache = raw;
-    return raw;
+    const functions = Array.isArray(raw) ? raw : (raw.functions || []);
+    irCache = functions;
+    return functions;
 }
 function matchIntent(intent, keywords) {
     return keywords.some(kw => intent.includes(kw));

package/dist/semantic_guard_test.js

@@ -58,7 +58,8 @@ async function runSemanticTest() {
     const results = [];
     for (const [caseName, intent] of Object.entries(intents)) {
         console.log(`\n🧪 ${caseName}: ${intent.substring(0, 50)}...`);
-        const actions = await (0, planner_1.plan)(intent);
+        const result = await (0, planner_1.plan)(intent);
+        const actions = result.actions;
         if (!actions || actions.length === 0) {
             results.push({ case: caseName, intent, generatedCode: "", actionSequence: [], syntaxPass: false, semanticError: true, runtimePass: false });
             console.log("  ❌ 规划失败（无输出）");

package/dist/session-utils.js

@@ -0,0 +1,19 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.countResolved = countResolved;
+exports.formatSessionCounts = formatSessionCounts;
+/** Count resolved vs unresolved sessions in a session list.
+ * @requires SESSION_LIST @produces RESOLVED_COUNT
+ * @tags session, count, statistics
+ */
+function countResolved(sessions) {
+    const resolved = sessions.filter((s) => s.resolved).length;
+    return { resolved, unresolved: sessions.length - resolved, total: sessions.length };
+}
+/** Get a summary of session counts as a formatted string.
+ * @requires RESOLVED_COUNT @produces FORMATTED_COUNT
+ * @tags session, format, report
+ */
+function formatSessionCounts(counts) {
+    return `${counts.resolved}/${counts.total} resolved, ${counts.unresolved} unresolved`;
+}

package/dist/sessions.js

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