让云端智能体读生产环境：用 OIDC，不用密钥

📋 概述

Formal 的工程师讲他们怎么让云端编码智能体（Cursor、Devin）在有审计、有策略控制的只读权限下访问生产数据：不用长期密钥，用 OIDC。流程是标准的三方链路——工作负载从环境或元数据端点拿到自己的 JWT（通常限定 audience 防止跨依赖方重放），以 Bearer 调用依赖方，依赖方从 IdP 的 .well-known/openid-configuration 取 JWKS 验签，再校验 claim 把外部身份映射成本地机器身份。Formal 之上加了两个东西：每个集成可配一段 CEL 条件，条件不成立则令牌不能认证；OIDC claim 同时作为 Permissions 的输入，用来写更细的授权条件。因为 Cursor、Devin 自己就是 OIDC issuer，这条路才通。