人类审稿人拒收 AI 编程 PR：因未附 TLA+ 形式化验证文件

代码评审者 Greg Pstrucha 以未添加合适的 TLA+ 文件为由，拒绝了 AI 生成的 PR。截图经 Postcraft（zeeg）转发后在 AI 编程圈传播；TLA+ 是用于分布式系统验证的形式化语言，以其作为验收标准被解读为玩笑式的高门槛拒绝。