rauchg 发布 gdp-ts：用类型系统证明在编译期拦截 IDOR 漏洞

rauchg 发布 gdp-ts，一个基于 Ghosts of Departed Proofs 模式的库、linter 和 AI skill，要求敏感函数携带调用方已完成授权检查的「证明」，由类型检查器在编译期验证，防止团队和 coding agents 引入 IDOR 等灾难性安全漏洞。