progmune-runtime 3.7.59 → 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）
 
@@ -49,7 +70,7 @@ external-ID）用 JSON 列 `.contains()` 做匹配——contains() 在 JSON 列
   （闭包晚绑定）」。注：fix_commit cd9db21c 是「重构形式的安全修复」
   （fr-013 教训的镜像：fix 性质必须以公告摘要核对）。
 
-## [3.7.57] — 2026-10-04（未发布）
+## [3.7.57] — 2026-10-04（3.7.57~3.7.59 合并条目）
 
 ### §51 held-out 验证 + §52-53 决策门禁 + 修冤枉第一刀（Data Mutation 族移除）
 

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.59";
+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.59",
+  "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: