Formal, cloud agent에 장기 secret 없이 OIDC로 프로덕션 접근 권한 부여

We let our cloud agents query prod (with OIDC, not secrets)

Formal은 장기 secret을 없애기 위해 OIDC 통합을 구축했다. Cursor, Devin 같은 cloud coding agent가 직접 OIDC 발급자 역할을 하므로, 이제 이들에게 감사 가능하고 정책으로 제어되는 읽기 전용 프로덕션 접근 권한을 줄 수 있다. agent 세션 ID, 작업 중인 repo, 실행한 사람을 기준으로 권한을 부여하고, Slack 승인 절차를 거쳐 단기 토큰을 발급한다. 핵심은 agent 접근을 또 하나의 장기 secret이 아니라 일시적 위임으로 모델링하는 것이다.