作者用自建 Loom 语言测试编码智能体能否识破语义陷阱

作者设计了一门看似熟悉但语义反直觉的智能合约语言 Loom，让 Claude Code、Codex 和 Antigravity 中的多个模型在 45 分钟内完成资产标准与恒定乘积交易所任务，并统计它们能否识别 signer 可被存储、接口实现可被交易覆盖、panic 延迟失败三类陷阱。