progmune-runtime 3.6.0 → 3.7.0

package/CHANGELOG.md

@@ -1,5 +1,32 @@
 # Changelog
 
+## [3.7.0] — 2026-08-23
+
+### 新增：P4.6 跨函数传播（入口展开 + 片段抑制）
+
+- `src/call-sequence.ts`：`buildCallSequences` 共享序列构建——入口函数（不被项目函数调用）的调用链做传递展开（内联被调项目函数体，深度 ≤4、环安全）；非入口函数的孤立片段不再单独验证（违规归因到调用它的入口），消除 helper 片段误报
+- 规则名函数与叶子原语（函数体只调外部调用）不内联——协议原语只在调用链内验证，调用名保留给匹配层
+- trust 引擎接线：`extractCallSequencesFromIR` 换用 `buildCallSequences`，规则名集合作为展开保留单元；生效范围如实记录——ir.json 为函数数组形态（协议盲测语料 / extractIR 直出）时 P4.6 生效；合并形态 `{ typeMap, functions }`（execute/MCP 写盘）沿用既有回退路径（3.5.0 起的既有行为，恢复 IR-first 需先做词段匹配门控的 FP 打磨）
+- 边界（与 C 的 L3 同类，如实记录）：展开是语法内联（调用链扁平化），不做数据流/指针/分支分析
+
+### 新增：协议盲测 v1.2（跨函数 + 任意命名变体）
+
+- 语料网格扩至 38 项目：T0–T5 × S1–S5（30）+ T6/T7 × S1–S4（8）；新增违规类 T6 cross_function_precondition、T7 cross_function_cleanup、风格 S5 renamed（无 `@progmune` 注解 + 改名协议函数，词段匹配验证）
+- **复测结果：66 可测金标，检出 64（Recall 97%）/ Precision 100% / 0 FP**；2 处漏检为 T2×S5 注解依赖前置约束（无注解项目级前置不可恢复，命名匹配本身正常），金标与基线如实单列
+- 回归测试 `tests/python-protocol-benchmark.test.ts` 扩至 6 例（T1 broken / T0 clean 含分离式清洁链 / T5 endState / T6 cross-function / S5 renamed）
+
+### 文档
+
+- 覆盖矩阵（中英）Python 协议行（Auth / Resource Lifecycle）由 ⚠️ 升级 ✅，证据引用协议盲测 v1.2；升级条件（跨函数传播、任意命名验证）全部勾选
+- 基线 `BASELINE_PROTOCOL_PYTHON_v1.md` 更新至 v1.2：语料、结果、已知缺口（注解依赖 / LLM 桥接不在测量范围 / P4.6 展开语义边界）如实记录
+
+## [3.6.1] — 2026-08-23
+
+### 文档
+
+- README 社区章节直展双群二维码：微信（`assets/wechat-group.png`）+ WhatsApp（`assets/whatsapp-group.jpg`），中英双语同步
+- 微信群码 7 天过期提醒 workflow 文案同步直展形态
+
 ## [3.6.0] — 2026-08-23
 
 ### 新增：SSG endState 检查（序列末尾资源未释放）

package/README.md

@@ -197,10 +197,12 @@ SDK (src/sdk.ts)           verify() → APPROVED / NEEDS_REVIEW / BLOCKED
 ## Community & Feedback
 
 <p align="center">
-  <img src="https://raw.githubusercontent.com/shenlian19831109/progmune-runtime/main/assets/wechat-group.png" width="240" alt="Progmune user discussion group QR code" />
+  <img src="https://github.com/shenlian19831109/progmune-runtime/blob/main/assets/wechat-group.png?raw=true" width="200" alt="WeChat group QR code" />
+  &nbsp;&nbsp;&nbsp;
+  <img src="https://github.com/shenlian19831109/progmune-runtime/blob/main/assets/whatsapp-group.jpg?raw=true" width="200" alt="WhatsApp group QR code" />
 </p>
 
-Your feedback shapes Progmune. Scan the QR code to join the user discussion group (WeChat), or open a [GitHub Issue](https://github.com/shenlian19831109/progmune-runtime/issues) for bug reports, feature requests, and suggestions.
+Your feedback shapes Progmune. Scan the QR code to join the user discussion group (WeChat / WhatsApp), or open a [GitHub Issue](https://github.com/shenlian19831109/progmune-runtime/issues) for bug reports, feature requests, and suggestions.
 
 ---
 

package/README.zh-CN.md

@@ -196,10 +196,12 @@ SDK (src/sdk.ts)           verify() → APPROVED / NEEDS_REVIEW / BLOCKED
 ## 社区与反馈
 
 <p align="center">
-  <img src="https://raw.githubusercontent.com/shenlian19831109/progmune-runtime/main/assets/wechat-group.png" width="240" alt="Progmune 用户讨论群二维码" />
+  <img src="https://github.com/shenlian19831109/progmune-runtime/blob/main/assets/wechat-group.png?raw=true" width="200" alt="微信群二维码" />
+  &nbsp;&nbsp;&nbsp;
+  <img src="https://github.com/shenlian19831109/progmune-runtime/blob/main/assets/whatsapp-group.jpg?raw=true" width="200" alt="WhatsApp 群二维码" />
 </p>
 
-你的意见塑造 Progmune。扫码加入用户讨论群（微信），或通过 [GitHub Issue](https://github.com/shenlian19831109/progmune-runtime/issues) 提交缺陷报告、功能需求与建议。
+你的意见塑造 Progmune。扫码加入用户讨论群（微信 / WhatsApp），或通过 [GitHub Issue](https://github.com/shenlian19831109/progmune-runtime/issues) 提交缺陷报告、功能需求与建议。
 
 ---
 

package/dist/call-sequence.js

@@ -0,0 +1,86 @@
+"use strict";
+/**
+ * 跨函数调用序列构建（P4.6：跨函数传播）
+ *
+ * per-function 序列验证的扩展模型：
+ *   - 入口函数（不被任何项目函数调用的函数）的调用序列做传递展开——
+ *     内联被调项目函数体（深度 ≤ MAX_DEPTH、环安全），外部调用（非项目函数）
+ *     原样保留给规则匹配层（别名/词段匹配）。
+ *   - 非入口函数的孤立片段不再单独验证——违规归因到调用它的入口函数，
+ *     消除"helper 单独 close_file / read_file"类的片段误报。
+ *
+ * 边界（与 C 的 L3 同类，如实记录）：展开是语法内联（调用链扁平化），
+ * 不做数据流/指针/分支分析；跨文件依赖 IR 的 calls[] 图。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildCallSequences = buildCallSequences;
+const MAX_DEPTH = 4;
+/** 项目函数判定：有真实文件且非外部导入条目（external 条目无函数体可内联）。 */
+function isProjectFn(f) {
+    return !f.external && !!f.file && f.file !== "(external)";
+}
+/**
+ * 从 IR 构建验证序列：入口函数展开 + 非入口抑制。
+ * @param ir - FunctionInfo 列表（TS 或 Python 提取器输出）
+ * @param keepNames - 协议规则名集合：命中这些名字的项目函数是验证单元
+ *   （其调用名保留给规则匹配），不内联其函数体——否则 create_session 等
+ *   规则函数的平凡函数体会把调用名"吞掉"
+ */
+function buildCallSequences(ir, keepNames) {
+    const fnMap = new Map();
+    for (const f of ir) {
+        if (isProjectFn(f))
+            fnMap.set(f.name, f);
+    }
+    // 被项目函数调用过的函数不是入口（其片段并入调用方展开序列）
+    const calledBy = new Set();
+    for (const f of ir) {
+        if (!isProjectFn(f))
+            continue;
+        for (const c of f.calls || []) {
+            if (fnMap.has(c))
+                calledBy.add(c);
+        }
+    }
+    /** 展开函数体内的调用（入口序列 = 函数体调用，不含函数自己的名字） */
+    const expandBody = (fn, depth, visiting) => {
+        const out = [];
+        for (const c of fn.calls || []) {
+            if (typeof c !== "string" || c.startsWith("__progmune_"))
+                continue;
+            out.push(...expandCall(c, depth, visiting));
+        }
+        return out;
+    };
+    const expandCall = (name, depth, visiting) => {
+        if (depth > MAX_DEPTH || visiting.has(name))
+            return [];
+        const fn = fnMap.get(name);
+        // 外部调用或规则函数：调用名保留给匹配层，不内联
+        if (!fn || (keepNames && keepNames.has(name)))
+            return [name];
+        // 叶子函数（函数体只调外部原语）是协议原语或叶子 helper：
+        // 保留名字，不内联——否则 S5 改名协议函数的平凡函数体会吞掉调用名
+        const hasProjectCalls = (fn.calls || []).some((c) => fnMap.has(c));
+        if (!hasProjectCalls)
+            return [name];
+        visiting.add(name);
+        const out = expandBody(fn, depth + 1, visiting);
+        visiting.delete(name);
+        return out;
+    };
+    const sequences = [];
+    for (const f of ir) {
+        if (!isProjectFn(f))
+            continue;
+        if (calledBy.has(f.name))
+            continue; // 非入口：片段并入调用方
+        if (keepNames && keepNames.has(f.name))
+            continue; // 协议原语不是入口：只在调用链内验证
+        const calls = expandBody(f, 0, new Set());
+        if (calls.length === 0)
+            continue;
+        sequences.push({ calls, file: f.file, function: f.name });
+    }
+    return sequences;
+}

package/dist/trust/engine.js

@@ -62,6 +62,7 @@ const api_semantic_mapper_1 = require("./api-semantic-mapper");
 const protocol_domain_validator_1 = require("./protocol-domain-validator");
 const call_graph_propagator_1 = require("./call-graph-propagator");
 const ssg_bridge_1 = require("./ssg-bridge");
+const call_sequence_1 = require("../call-sequence");
 // ── Main Entry Point ──
 async function evaluateTrust(ctx) {
     const engineVersion = "trust-runtime-v1.0.0";
@@ -719,12 +720,13 @@ async function collectProtocolViolations(ctx, callGraph) {
             }
             catch { /* best-effort — 回退正则扫描 */ }
         }
+        // ── SSG State Machine: load protocol rules once ──
+        protocolRulesData = (0, ssg_bridge_1.loadProtocolRules)(ctx.projectPath);
         // ── Phase 1-5 Semantic Pipeline ──
-        const callSequences = extractCallSequencesFromProject(ctx.projectPath, ctx.language);
+        // 规则名集合作为展开的保留单元：规则函数不内联（调用名保留给匹配层）
+        const callSequences = extractCallSequencesFromProject(ctx.projectPath, ctx.language, protocolRulesData ? new Set(protocolRulesData.rules.keys()) : undefined);
         const flaggedCount = { value: 0 };
         const cleanCount = { value: 0 };
-        // ── SSG State Machine: load protocol rules once ──
-        protocolRulesData = (0, ssg_bridge_1.loadProtocolRules)(ctx.projectPath);
         // ── P4.5: 合并项目 IR 注解协议（IR 优先，缺 namespace 继承内置 JSON） ──
         // 内置 protocols.json 的规则是通用弱约束（如 generate_jwt pre=[]），
         // 项目文件里的 @protocol 注解才是项目真实协议（如 pre=[PASSWORD_VERIFIED]）。
@@ -904,20 +906,21 @@ async function collectProtocolViolations(ctx, callGraph) {
         } : undefined,
     };
 }
-function extractCallSequencesFromProject(projectPath, language) {
-    // P4.5: 优先 IR 精确序列（每个函数体内的真实调用，从各自入口验证）
-    const irSequences = extractCallSequencesFromIR(projectPath);
+function extractCallSequencesFromProject(projectPath, language, keepNames) {
+    // P4.5/P4.6: 优先 IR 精确序列（入口函数展开 + 非入口抑制，跨函数传播）
+    const irSequences = extractCallSequencesFromIR(projectPath, keepNames);
     if (irSequences.length > 0)
         return irSequences;
     // 回退：正则扫描（C 等无 IR 语言保持原行为）
     return extractCallSequencesRegex(projectPath, language);
 }
 /**
- * P4.5: 从 ir.json 构建 per-function 调用序列。
- * 每个函数体内的 calls[] 是一条独立序列（从协议初始状态起步验证）——
- * 函数声明名单不再是验证对象；语义 marker（__progmune_*）供规则消费，不作真实调用。
+ * P4.5/P4.6: 从 ir.json 构建验证序列——入口函数展开 + 非入口抑制
+ * （共享实现见 src/call-sequence.ts buildCallSequences）：
+ * 函数声明名单不再是验证对象；语义 marker（__progmune_*）供规则消费，
+ * 不作真实调用；被项目函数调用的函数片段并入调用方展开序列。
  */
-function extractCallSequencesFromIR(projectPath) {
+function extractCallSequencesFromIR(projectPath, keepNames) {
     try {
         const fs = require("fs");
         const irPath = path.join(projectPath, "ir.json");
@@ -926,18 +929,7 @@ function extractCallSequencesFromIR(projectPath) {
         const ir = JSON.parse(fs.readFileSync(irPath, "utf-8"));
         if (!Array.isArray(ir))
             return [];
-        const sequences = [];
-        for (const f of ir) {
-            const calls = (f.calls || []).filter((c) => typeof c === "string" && !c.startsWith("__progmune_"));
-            if (calls.length === 0)
-                continue;
-            sequences.push({
-                calls,
-                file: String(f.file || ""),
-                function: String(f.name || "unknown"),
-            });
-        }
-        return sequences;
+        return (0, call_sequence_1.buildCallSequences)(ir, keepNames);
     }
     catch {
         return [];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "progmune-runtime",
-  "version": "3.6.0",
+  "version": "3.7.0",
   "description": "Progmune — AI Trust Decision Engine. Verify AI-generated code before it reaches production. Outputs APPROVED / NEEDS_REVIEW / BLOCKED with evidence.",
   "files": [
     "dist/",