progmune-runtime 2.1.0 → 2.1.1

package/dist/ssg-validator.js

@@ -98,6 +98,7 @@ function deepEqualSnapshots(a, b) {
     return true;
 }
 // ── rebuildState: pure fold over ledger → per-namespace state snapshot ──
+/** @requires LEDGER_DATA @produces STATE_SNAPSHOT */
 function rebuildState(ledger, namespaceInitialStates = new Map([["_global", "INIT"]])) {
     const stateMap = fromSnapshot({});
     for (const [ns, initState] of namespaceInitialStates) {
@@ -131,6 +132,7 @@ function computeDelta(beforeSnap, afterSnap, namespace) {
     return { acquired, invalidated };
 }
 // ── findFixPathStatic: BFS state graph search (extracted from class) ──
+/** @requires CURRENT_STATES @produces FIX_PATH */
 function findFixPathStatic(rules, namespace, current, targetPreStates) {
     const nsFuncs = [];
     for (const [fn, rule] of rules) {
@@ -184,6 +186,7 @@ function findFixPathStatic(rules, namespace, current, targetPreStates) {
     return path;
 }
 // ── validateTransition: pure function, stateless ──
+/** @requires TRANSITION_CONTEXT @produces VALIDATION_RESULT */
 function validateTransition(ctx, candidateFunctionName, actionIndex, rules, namespaceInitialStates, ruleHash) {
     const currentState = ctx.currentState;
     const rule = rules.get(candidateFunctionName);
@@ -281,6 +284,7 @@ function validateTransition(ctx, candidateFunctionName, actionIndex, rules, name
     return { valid: true, transition };
 }
 // ── checkLedgerConsistency: Invariant-0 + Invariant-1 over full ledger ──
+/** @requires LEDGER_DATA @produces CONSISTENCY_RESULT */
 function checkLedgerConsistency(ledger, namespaceInitialStates = new Map([["_global", "INIT"]])) {
     const violations = [];
     const running = fromSnapshot({});
@@ -348,6 +352,7 @@ function checkLedgerConsistency(ledger, namespaceInitialStates = new Map([["_glo
     return { consistent: violations.length === 0, violations };
 }
 // ── hashRules: stable hash of rule set for constraint snapshot (P1) ──
+/** @requires RULES @produces RULE_HASH */
 function hashRules(rules) {
     const sorted = [...rules.entries()]
         .sort(([a], [b]) => a.localeCompare(b))
@@ -361,6 +366,7 @@ function hashRules(rules) {
     return crypto.createHash("sha256").update(JSON.stringify(sorted)).digest("hex").slice(0, 16);
 }
 /** Compute a deterministic SHA256 hash of an entire ledger (P1: Tamper-evident integrity). */
+/** @requires LEDGER_DATA @produces LEDGER_HASH */
 function hashLedger(ledger) {
     const canonical = ledger.map(t => ({
         actionIndex: t.actionIndex,
@@ -376,6 +382,7 @@ function hashLedger(ledger) {
     return crypto.createHash("sha256").update(JSON.stringify(canonical)).digest("hex").slice(0, 16);
 }
 /** Compare two ledgers and identify structural differences. */
+/** @requires TWO_LEDGERS @produces LEDGER_DIFF */
 function diffLedgers(ledgerA, ledgerB) {
     const hash = (t) => crypto.createHash("sha256").update(JSON.stringify({
         i: t.actionIndex, f: t.function, n: t.namespace,
@@ -617,6 +624,7 @@ exports.StateMachineValidator = StateMachineValidator;
 // Standalone presentation utilities (formerly static methods)
 // ═══════════════════════════════════════════════════════════════
 /** Format an SSG rejection as a human-readable multi-line string. */
+/** @requires SSG_REJECTION @produces EXPLANATION */
 function explainRejection(rejection) {
     const nsLabel = rejection.namespace && rejection.namespace !== DEFAULT_NAMESPACE
         ? ` [namespace: ${rejection.namespace}]` : '';

package/dist/utils.js

@@ -3,6 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.jaccardSimilarity = jaccardSimilarity;
 exports.extractKeywords = extractKeywords;
 // 计算两个字符串的简单 Jaccard 相似度（基于字符二元组）
+/** @requires STRING_A @produces SIMILARITY_SCORE */
 function jaccardSimilarity(a, b) {
     const bigrams = (s) => {
         const bgs = new Set();
@@ -17,6 +18,7 @@ function jaccardSimilarity(a, b) {
     return intersection.size / (union.size || 1);
 }
 // 从意图中提取关键词
+/** @requires TEXT @produces KEYWORDS */
 function extractKeywords(intent) {
     return intent.split(/[\s，。！？,]+/).filter(w => w.length > 1).map(w => w.toLowerCase());
 }

package/dist/validator.js

@@ -150,6 +150,7 @@ function checkVariableFlow(actions) {
  * 校验单个动作的合法性（函数存在、类型匹配、参数数量）。
  * @protocol namespace=dev_pipeline pre_states=["IR_EXTRACTED"] post_states=["ACTION_VALIDATED"]
  */
+/** @requires ACTION @produces VALIDATION_RESULT */
 function validateAction(action, actionIndex) {
     const functions = loadIR();
     const errors = [];
@@ -229,6 +230,7 @@ function validateAction(action, actionIndex) {
  * 批量校验动作序列 + 变量流向分析。
  * @protocol namespace=dev_pipeline pre_states=["ACTION_VALIDATED"] post_states=["SEQUENCE_VALIDATED"] invalidate=["ACTION_VALIDATED"]
  */
+/** @requires ACTIONS @produces VALIDATION_RESULT */
 function validateActionSequence(actions) {
     const errors = [];
     const violations = [];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "progmune-runtime",
-  "version": "2.1.0",
+  "version": "2.1.1",
   "description": "Progmune Runtime — Program Immunology: Constraint-Guided Program Synthesis Runtime",
   "main": "dist/mcp-server.mjs",
   "bin": {