Automata from Agent Traces: Failure and Next-Step Prediction

论文把整套轨迹语料折叠成共享有限状态机，借状态拓扑同时做下一步预测和失败监控，而非只分析单条成功轨迹。12 个公开数据集上的 FSM 只有 7 - 43 个状态，留出回放 fitness 至少 0.997，跨切分拓扑近乎不变且毫秒级构建。状态上下文在所有匹配数据集胜过 Agent Workflow Memory，状态特征的失败 AUROC 最高 0.94，并可在任务完成前触发早停。