progmune-runtime 3.7.58 → 3.7.60

package/CHANGELOG.md

@@ -1,6 +1,27 @@
 # Changelog
 
-## [3.7.58] — 2026-10-04（未发布）
+## [3.7.60] — 2026-10-05（未发布）
+
+### fr-002/003 点亮：令牌交换路径检查完备性（修复回归 10/17）
+
+**策略分支漏报根因第一刀**：OAuth 令牌交换路径绕过正常回调路径的检查——
+open-webui 同一函数 `token_exchange` 的两个独立公告：缺角色策略判定
+（fr-002，被角色策略拒绝的用户仍可登录）+ 缺域白名单检查（fr-003）。
+
+- 提取器 `tools/extract_ir.py`：`has_token_exchange_missing_guard`——函数名
+  token exchange 形态 + 函数体（AST 全量文本）缺角色判定或缺域检查 ⇒
+  注入 `__progmune_token_exchange_unguarded__`。缺席证据来自 AST 全量
+  文本（非 TS 侧 calls 通道的盲判，R75 适用边界明确）
+- 引擎规则 "Token Exchange Missing OAuth Guard"（python-only marker-driven）
+- **三态验证**：fr-002 parent 报（role 缺）/ fr-002 fix 0（两项齐）/
+  fr-003 fix 报（该时间点 role 漏洞在场，正确）；Python 盲测 90 项目
+  零触发（2533 条逐条一致）；定向测试 8/8
+- **fr-corpus 战绩：8 干净 DETECTED + 2 with-boundary = 有效 10/17**
+- **fr-006 判定不可点亮**：SSRF 黑名单条目缺失是「配置/词表完备性」
+  知识问题，静态判据无法穷举「该有的条目」，不硬做。归入漏报根因
+  新类「配置/词表完备性」
+
+### fr-014 点亮 + fr-015 关闭（2026-10-05）
 
 ### fr-001 点亮：身份映射子串匹配（修复回归 6/17）
 
@@ -22,7 +43,34 @@ external-ID）用 JSON 列 `.contains()` 做匹配——contains() 在 JSON 列
 不可点亮：污点根是 DB 字段（跨请求存储污点），现有管线结构性够不着，
 归入漏报根因新子类（详见 CAPABILITY_THREE_PROOFS_V1.md）。
 
-## [3.7.57] — 2026-10-04（未发布）
+### fr-014 点亮 + fr-015 关闭（2026-10-05）
+
+- **fr-014（8/17，DETECTED-with-boundary）**：mockoon 管理 API 裸奔检出——
+  两处 Express 检测器可见性缺口修复：①`extractRoutes` 支持模板字符串路径
+  （库形态模块路径全是 `${prefix}/...` 变量拼前缀，此前整文件 0 路由）；
+  ②`app: Express` 形参的 setup 模块纳入整 app 无认证判定（此前落在
+  creator 门与 hasAnyAuth 门之间的盲区）。修复后残留归因到匿名中间件
+  函数体内的 bearer 校验超出名字级分类；AUTH_MIDDLEWARE_PATTERNS 补
+  timingSafeEqual/extractBearerToken（对具名形态有效）。express-realworld
+  回归 20 路由零新增误报。
+- **fr-015 判定关闭（corpus_invalid）**：真值 sink 在虚拟模块
+  （#og-image-virtual/public-assets.mjs，pre 快照不存在），mini 切片无 sink；
+  且 pre-fix 已有 isBlockedUrl 守卫未接在 fonts 路径——fr-009 同族
+  「守卫存在但不足」。检测无从谈起，如实不覆盖。
+
+### fr-012 复测点亮 + fr-004 判定关闭（2026-10-05）
+
+- **fr-012（7/17，DETECTED-with-boundary）**：MCP 工具实参污点根（3.7.33 C 系列）
+  上线后修复前 markdownUpload 已命中路径穿越标记——此前未复测。修复后残留
+  2 条归因到 local 部署 by-design 分支（IS_REMOTE 拒绝 filePath 是修复，
+  local 保留文件读取是设计；提取器无分支语义，fr-009 同族边界）。
+- **fr-004 判定关闭**：形态是闭包晚绑定（循环内 cookies 被内层函数晚绑定
+  捕获，多工具服务器时共享最后连接的 cookie jar）而非污点流——检测需变量
+  绑定分析，词形判据下 FP 爆炸，不硬做。根因归类修正为「作用域语义
+  （闭包晚绑定）」。注：fix_commit cd9db21c 是「重构形式的安全修复」
+  （fr-013 教训的镜像：fix 性质必须以公告摘要核对）。
+
+## [3.7.57] — 2026-10-04（3.7.57~3.7.59 合并条目）
 
 ### §51 held-out 验证 + §52-53 决策门禁 + 修冤枉第一刀（Data Mutation 族移除）
 

package/dist/frameworks/express-detector.js

@@ -76,6 +76,11 @@ const AUTH_MIDDLEWARE_PATTERNS = [
     /\bensureAuthenticated\b/,
     /\bauthGuard\b/,
     /\bAuthGuard\b/,
+    // 匿名中间件函数体内的 bearer 校验证据（2026-10-05 fr-014 mockoon 修复形态：
+    // app.use(`${prefix}*`, (req,res,next) => { hasValidAdminApiToken(...) })——
+    // 认证在函数体里，中间件名不可见）
+    /\btimingSafeEqual\b/,
+    /\bextractBearerToken\b/,
     /\brequire\w*[Aa]uth\b/,
     /\bcheckAuth\b/,
     /\bprotect\b/,
@@ -161,17 +166,22 @@ function extractRoutes(code, appName) {
     for (const method of methods) {
         // Pattern: app.get('/path', middleware1, middleware2, handler)
         // or: router.post('/path', handler)
-        const routeRegex = new RegExp(`\\b${receivers}\\.${method}\\s*\\(\\s*['\"]([^'\"]+)['\"]\\s*,([^;]+)\\)`, "gi");
+        // 2026-10-05（fr-014 mockoon）：路径也支持模板字符串
+        // app.get(`${adminApiPrefix}/events`, ...)——库形态模块（app 经参数传入）
+        // 的路径几乎全是变量拼前缀的模板串，字符串字面量 regex 整文件 0 路由。
+        // 捕获组：1=单引号 2=双引号 3=模板串；path 取三者首个非空。
+        const routeRegex = new RegExp(`\\b${receivers}\\.${method}\\s*\\(\\s*(?:'([^']+)'|\"([^\"]+)\"|\`([^\`]+)\`)\\s*,([^;]+)\\)`, "gi");
         let match;
         while ((match = routeRegex.exec(code)) !== null) {
-            const rawArgs = match[2].trim();
+            const routePath = match[1] ?? match[2] ?? match[3] ?? "";
+            const rawArgs = match[4].trim();
             const args = rawArgs.split(",").map(a => a.trim()).filter(a => a.length > 0);
             // Last arg is the handler, everything before is middleware
             const handler = args[args.length - 1] || "anonymous";
             const middlewares = args.slice(0, -1);
             routes.push({
                 method,
-                path: match[1],
+                path: routePath,
                 handler,
                 middlewares,
                 line: code.slice(0, match.index).split("\n").length,
@@ -274,9 +284,14 @@ function analyzeExpressApp(code) {
     const hasSession = globalMiddleware.some(m => m.type === "session") || /\bsession\s*\(/.test(code);
     // ── Generate Issues ──
     // 整 app 无认证：仅真 app（实例化 express()）且自身有非公开 mutation
-    // 路由时报——main.ts 只挂载路由模块（真实认证在 controllers 内）不算裸
+    // 路由时报——main.ts 只挂载路由模块（真实认证在 controllers 内）不算裸。
+    // 2026-10-05（fr-014 mockoon）：库形态 setup 模块（app: Express 经参数
+    // 传入、在调用方 app 上挂载）同样报——此前「非 creator 且无 auth」落在
+    // 两条判定路之间（整 app 报要求 creator、逐路由报要求 hasAnyAuth），
+    // 管理 API 裸奔的系统性盲区。
+    const appIsParam = /\bapp\s*:\s*Express\b/.test(code);
     const hasNakedMutation = routes.some(nonPublicMutation);
-    if (!hasAnyAuth && appIsCreator && hasNakedMutation) {
+    if (!hasAnyAuth && (appIsCreator || appIsParam) && hasNakedMutation) {
         issues.push({
             severity: "critical",
             rule: "EXPRESS_NO_AUTH_MIDDLEWARE",

package/dist/protocol-detector-identity-substring.test.js

@@ -137,3 +137,55 @@ async def get_oauth_subject_from_claim(claim, db=None):
         }
     });
 });
+(0, vitest_1.describe)("fr-002/003 token exchange missing guard（提取器标记）", () => {
+    const TK_MARKER = "__progmune_token_exchange_unguarded__";
+    (0, vitest_1.it)("修复前形态：token_exchange 缺角色判定 → 注入标记（fr-002）", () => {
+        write("auths.py", `
+async def token_exchange(request, provider, token_data, db=None):
+    email = token_data.get('email', '').lower()
+    user = await Users.get_user_by_oauth_sub(provider, token_data.get('sub'), db)
+    return await create_session_response(request, user, db, source='oauth')
+`);
+        const ir = (0, extract_ir_python_1.extractIRPython)(dir);
+        const fn = ir.find((f) => f.name === "token_exchange");
+        (0, vitest_1.expect)(fn).toBeDefined();
+        (0, vitest_1.expect)(fn.calls).toContain(TK_MARKER);
+    });
+    (0, vitest_1.it)("修复前形态：token_exchange 缺域检查 → 注入标记（fr-003）", () => {
+        write("auths.py", `
+async def token_exchange(request, provider, token_data, db=None):
+    email = token_data.get('email', '').lower()
+    user = await Users.get_user_by_oauth_sub(provider, token_data.get('sub'), db)
+    role = await oauth_manager.get_user_role(user, user_data)
+    return await create_session_response(request, user, db, source='oauth')
+`);
+        const ir = (0, extract_ir_python_1.extractIRPython)(dir);
+        const fn = ir.find((f) => f.name === "token_exchange");
+        (0, vitest_1.expect)(fn.calls).toContain(TK_MARKER);
+    });
+    (0, vitest_1.it)("修复后形态：角色判定 + 域检查都有 → 无标记", () => {
+        write("auths.py", `
+async def token_exchange(request, provider, token_data, db=None):
+    email = token_data.get('email', '').lower()
+    if '*' not in auth_manager_config.OAUTH_ALLOWED_DOMAINS and email.split('@')[-1] not in auth_manager_config.OAUTH_ALLOWED_DOMAINS:
+        raise HTTPException(status_code=403)
+    user = await Users.get_user_by_oauth_sub(provider, token_data.get('sub'), db)
+    user = await oauth_manager.update_user_from_oauth(request=request, user=user, user_data=user_data, provider=provider, token=token_data, db=db)
+    return await create_session_response(request, user, db, source='oauth')
+`);
+        const ir = (0, extract_ir_python_1.extractIRPython)(dir);
+        const fn = ir.find((f) => f.name === "token_exchange");
+        (0, vitest_1.expect)(fn).toBeDefined();
+        (0, vitest_1.expect)(fn.calls).not.toContain(TK_MARKER);
+    });
+    (0, vitest_1.it)("负例：非 token exchange 函数 → 无标记", () => {
+        write("utils.py", `
+async def refresh_token(request, db=None):
+    return await create_session_response(request, None, db)
+`);
+        const ir = (0, extract_ir_python_1.extractIRPython)(dir);
+        for (const f of ir) {
+            (0, vitest_1.expect)(f.calls).not.toContain(TK_MARKER);
+        }
+    });
+});

package/dist/protocol-detector.js

@@ -862,6 +862,22 @@ const SAFEGUARD_RULES = [
         conceptMissing: ["ExactIdentityMatch", "SubscriptExtraction"],
         conceptExpected: ["oauth[provider]['sub'] == sub", "scim[provider]['external_id'] == external_id"],
     },
+    {
+        name: "Token Exchange Missing OAuth Guard",
+        category: "auth",
+        // 2026-10-05（REALWORLD_FIX_REGRESSION_V1 fr-002/fr-003）：OAuth 令牌
+        // 交换路径绕过正常回调路径的检查——open-webui 的 token_exchange 函数
+        // 缺角色策略判定（fr-002）与域白名单检查（fr-003）两个独立公告。
+        // Python 提取器在「函数名 token exchange 形态 + 函数体（AST 全量）
+        // 缺角色判定或缺域检查」时注入标记。缺席证据来自 AST 全量文本，
+        // 非 TS 侧 calls 通道（R75 的适用范围：calls 有损的盲判不适用）。
+        languages: ["python"],
+        trigger: /\b(__progmune_token_exchange_unguarded__)\b/,
+        safeguards: [],
+        violationMessage: "OAuth token exchange endpoint is missing the authorization checks the normal OAuth callback enforces — role policy (get_user_role / OAUTH_ALLOWED_ROLES) and/or email domain allowlist (OAUTH_ALLOWED_DOMAINS). Users rejected by role policy or outside the domain allowlist can still sign in through the token exchange path.",
+        conceptMissing: ["RolePolicyOnTokenExchange", "DomainAllowlistOnTokenExchange"],
+        conceptExpected: ["get_user_role before session creation", "OAUTH_ALLOWED_DOMAINS check"],
+    },
     {
         name: "XSS (Unsafe Template Rendering)",
         category: "xss",

package/dist/sdk.js

@@ -20,7 +20,7 @@ const risk_model_1 = require("./risk-model");
 const protocol_knowledge_1 = require("./protocol-knowledge");
 const evidence_repository_1 = require("./evidence-repository");
 /** Runtime version — stable public identifier. Internal layers evolve underneath. */
-exports.RUNTIME_VERSION = "3.7.58";
+exports.RUNTIME_VERSION = "3.7.60";
 function verify(filePath) {
     const cert = (0, certify_1.certify)(filePath);
     const kb = (0, protocol_knowledge_1.buildKnowledgeBase)();

package/package.json

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

package/tools/extract_ir.py

@@ -782,6 +782,32 @@ def has_identity_substring_match(node):
     return False
 
 
+TOKEN_EXCHANGE_UNGUARDED_MARKER = "__progmune_token_exchange_unguarded__"
+
+
+def has_token_exchange_missing_guard(node):
+    """OAuth 令牌交换路径绕过正常回调路径的检查（REALWORLD_FIX_REGRESSION_V1
+    fr-002/fr-003 open-webui——同一函数 token_exchange 的两个独立公告）：
+    fr-002 角色策略（OAUTH_ALLOWED_ROLES/ADMIN_ROLES）未在令牌交换路径执行，
+    被角色策略拒绝的用户仍可登录；fr-003 域白名单（OAUTH_ALLOWED_DOMAINS）
+    同样只在正常 callback 检查、token_exchange 跳过。
+    判据（语义定义，正向证据）：函数名是 token exchange 形态，且函数体
+    （AST 全量文本）缺角色判定或缺域检查——Python 提取器有 AST 全量函数体，
+    缺席证据不是 TS 侧「calls 通道有损」的盲判（R75 的适用范围说明）。"""
+    try:
+        name = getattr(node, "name", "")
+        if not re.search(r"token[_\s]?exchange", name, re.I):
+            return False
+        text = ast.unparse(node)
+    except Exception:
+        return False
+    has_role = bool(re.search(r"get_user_role|update_user_from_oauth|determined_role", text))
+    has_domain = bool(
+        re.search(r"OAUTH_ALLOWED_DOMAINS|ALLOWED_DOMAINS|email\.split\([^)]*@", text)
+    )
+    return not has_role or not has_domain
+
+
 def has_cross_user_resource_write(node):
     """跨用户资源写入（REALWORLD_FIX_REGRESSION_V1 fr-005 open-webui）：
     函数把请求 payload 里的外来资源 id（folder_id 等）连同持久化调用
@@ -995,6 +1021,8 @@ def extract_calls(node, unsafe_vars=None, imports=None, module_constants=None, g
         calls.append(CROSS_USER_WRITE_MARKER)
     if has_identity_substring_match(node) and IDENTITY_SUBSTRING_MARKER not in calls:
         calls.append(IDENTITY_SUBSTRING_MARKER)
+    if has_token_exchange_missing_guard(node) and TOKEN_EXCHANGE_UNGUARDED_MARKER not in calls:
+        calls.append(TOKEN_EXCHANGE_UNGUARDED_MARKER)
     if has_command_taint_flow(node) and CMD_FLOW_MARKER not in calls:
         calls.append(CMD_FLOW_MARKER)
     if has_csrf_exempt(node) and CSRF_MARKER not in calls: