TRACE：一种用于可审计代理承诺的操作型推理模式

本文定义了 TRACE（类型化推理与承诺证据），这是一种用于记录推理轨迹的类型化、版本化模式。文章论证推理并非大语言模型固有机制，自回归仅计算关联，思维链亦有局限。TRACE 通过定义记录结构与消费契约，将推理转化为可操作接口而非被动文档。文中通过音乐教学论证与洪水救援案例，展示了该模式如何分离关联、干预与处方，并在预测模型置信度矛盾时推迟承诺、修正记录，从而实现可审计的决策过程。