本文定义了 TRACE（Typed Reasoning And Commitment Evidence）：一种用于记录推理轨迹的类型化、版本化框架，提供了一种编写记录的参考程序，以及一种操作纪律，即没有记录就不进行持久性状态改变。文章从三个层面论证推理不在语言模型中：自回归机制本质上计算关联；链式思维和强化学习继承了其局限性；以及从苏格拉底程序到 Pearl 的阶梯，推理理论的正式构造缺失。
该框架通过字段和测试来弥补这种缺失：TraceRecord 及其因果特化、一个八阶段参考写入器、优先门测量机制、TRACE-Bench 协议，以及记录消费者、内存接纳、计划门控、时间遗憾和裁决重用，其更可审计的决策是记录的衡量标准。记录消费者合同规定了记录所保证的内容和消费者必须遵守的条款，使得该框架成为一种操作接口，而非被动文档。
本文中有两个实例：一个无音乐课程的论证，从句子追溯到类型化裁决，分离了关联、干预和处方；另一个关于洪水搜索和救援的场景，其中预测世界模型报告了自信的计划成功，而其自身的支持和超分布分数却相互矛盾，因此记录推迟了承诺，请求有界观察，修订为附加唯一路径，并清除不同的分支。该场景为说明性示例，而非经验性研究；闭环评估留待未来工作，因此贡献在于框架及其合同，而非性能声明。
附录包含完整框架、写入算法及成本模型、临床及政策插图、基准协议、收敛指标和使用场景。
博主点评： TRACE 提供了一种创新的方式来记录和审计推理过程，特别是在复杂决策场景中。通过明确的契约和操作接口，TRACE 使得推理过程更加透明和可追溯，为未来的研究提供了丰富的框架基础。