Jane Street 演讲：把代码库调教得更适合 Agent 的类型反馈、Expect Test 与正式方法

作者转述 @yminsky 在 Bug Bash 的演讲，讲如何把代码库改造成更利于 Agent 工作的环境。核心观点包括用类型表达全局不变量、用 expect test 和库级确定性仿真提供毫秒级反馈、Agent 时代 code review 更重要，以及正式方法因成本结构变化从被冷落变为 Jane Street 正在组建团队投入的方向。