Datadog 如何为 Claude Code 打造通用机床 Temper

Datadog 团队构建了 Temper，一个让智能体产出规格说明而非应用代码的运行时环境，内核读取规格、经四层分析验证后直接部署其描述的系统。每份规格由 Behavior、Data contract、Authorization 三类契约描述，并分别经过符号推理、穷尽状态探索、带种子故障注入的确定性仿真和随机属性测试，小规格的整条验证链在不到一秒内跑完。