Poly：面向 Coding Agents 的人类可读编程语言

Poly 是面向 Coding Agents 编写软件有状态核心的编程语言与运行时，程序由一组声明的状态机组成，编译器在运行前对声明有限域做穷尽检查。poly check 能报出重复扣款、跨机器消息到达顺序等缺陷，例如两次 Pay 调用会发出两笔 charge。目前状态为规范草案 v0.6，尚无代码。