REVIEW 3 major objections 6 minor 33 references
A telemetry-only, one-class monitor can detect and repair a substantial share of LLM-agent failures in real time at microsecond cost per step, without a judge model in the loop.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-04 06:48 UTC pith:EFTZH2JL
load-bearing objection The deterministic checks and repair loop are the real contribution; the telemetry monitor's headline detection numbers come from a simulator, not the real corpus, and the organic validation is at chance — fix the abstract and this is a solid, honest system study. the 3 major comments →
Real-Time Detection and Repair of LLM Agent Failures
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
On the paper's own terms, the central claim is that an always-on watchdog over step-level telemetry can carry most of the failure-detection burden that is usually assigned to a second LLM. A causal one-class reservoir (echo-state network) with per-channel CUSUM accumulation scores each step in roughly 200 microseconds, detects 0.71 of failures at a 4.4% false-alarm budget (AUROC 0.872) in the controlled study, and its margin over a memoryless detector is a monotone function of post-onset horizon (+0.09 at <=3 steps, +0.40 at >=9). Because the one-class monitor needs a per-deployment healthy null and still spends some false alarms, the paper adds a deterministic verification layer — recomputi
What carries the argument
The central mechanism is a two-layer architecture. The first layer is a one-class echo-state-network ensemble: a frozen random recurrent reservoir per telemetry channel projects the step stream into a fixed feature space, a closed-form ridge readout predicts the next step, and a one-sided CUSUM statistic accumulates the normalized prediction error channel-wise, alarming on the loudest channel. This is what makes detection temporal — slow persistent shifts integrate while noise does not — and affordable (closed-form fit, ~200 microseconds per step). The second layer is deterministic verification: total_consistency recomputes a run's stated total from the tool results it actually received, req
Load-bearing premise
The whole telemetry-monitor half of the argument rests on being able to collect a healthy null from the exact serving distribution before deployment; if a deployment cannot produce that null — because temperature, toolset, prompt probe pattern, or latency regime shift — the statistical monitor is inapplicable and only the deterministic checks remain.
What would settle it
On a held-out deployment that matches the paper's served configuration, collect a healthy null, inject a looping failure that gives the monitor at least nine post-onset steps, and measure whether the ESN/CUSUM detects it at the 5% false-alarm budget; the paper predicts a decisive win over the memoryless baseline there, so near-chance detection would falsify the horizon-dependence claim.
If this is right
- Deployments can run an always-on watchdog at roughly 200 microseconds per step, three orders of magnitude below a judge call, making continuous monitoring of every agent step affordable.
- Failures with temporal room — looping, cascading tool errors, slow drift — are the statistical monitor's strength; short-horizon failures need the memoryless baseline or the deterministic checks.
- Deterministic checks give near-perfect precision on numeric consistency, required calls, and tool-result shape, and transfer across model families with no retraining, so they can be shipped with no healthy null.
- When a check flags a run, rolling back to the last fact-gathering step and re-running with only the name of the failing check recovers a meaningful fraction of wrong episodes, and the net success gain (52% to 73%) is real because the checks never flag an already-correct episode.
- The monitored system can be configured to escalate only on alarm, using a judge as a complement rather than a per-step default, because judge and monitor fail on different failure classes.
Where Pith is reading between the lines
- Because judge and monitor fail on different classes, the natural deployment is an escalation layer: let the cheap monitor run every step and route only its alarms (plus judge-blind classes like context corruption) to a judge; the paper's measured judge numbers suggest the savings survive but the detection gain is smaller than a stipulated-oracle analysis implied.
- The horizon-dependence result suggests a tiered detector: memoryless distance for the first few steps after onset, reservoir accumulation for slow drifts, and deterministic checks for content corruption; the paper's hybrid is a step in that direction but a deployment could tune the mixture online.
- The repair finding — naming the failing check without values recovers more than supplying the correct answer — suggests the mechanism is attention redirection rather than answer-giving; a direct test would vary the prompt's information content while holding the rollback fixed.
- The organic-failure base rate was too low for a statistical fabrication claim; longer or adversarially prompted deployments could reveal whether the grounding verifier's sensitivity under provocation (about half) holds when fabrications are more frequent.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a lightweight, causal detection layer for LLM-agent failures: per-step telemetry (hash embedding, token uncertainty, action metadata) is fed to a one-class ESN ensemble with CUSUM alarms trained only on healthy episodes, optionally fused with Mahalanobis and a content-grounding channel, and supplemented by deterministic checks (total consistency, required coverage, tool contract) that need no null model. The authors report a 2,823-episode real-ecosystem corpus, a controlled simulator study isolating detector mechanics, out-of-sample ranking on AFTraj-2K and ATBench, a largely negative organic-failure validation, and a rollback-and-rerun repair study with a resampling control, claiming a 45% recovery of genuinely wrong episodes and a 52% to 73% task-success lift.
Significance. If the claims hold, the paper contributes a cheap (~200 microseconds per step) alternative to per-step LLM judging, with unusually candid negative results: organic failures at/below chance, no cross-deployment transfer, an explicitly underpowered fabrication study, and kept negative repair rungs. The deterministic verification and repair results are the strongest contributions, and the artifact release with SHA-256 manifest, frozen held-out tests, and Bonferroni-corrected repair comparison is a model of reproducible empirical work. The main advertised telemetry number, however, comes from a simulator and is presented in the abstract as a real-corpus result, so the significance of the statistical monitor itself is currently overstated.
major comments (3)
- [Abstract and §6] The headline "0.71 of failures at 5% FA (AUROC 0.872)" is presented in the abstract as measured on the 2,823-episode real corpus, but §6 says the controlled study "is a mechanism study, and no deployment claim rests on it" and reports 0.707±0.068 / 0.872±0.015 on constructed simulator telemetry. Section 5, the real-ecosystem spine, reports only per-class coverage and per-deployment AUROCs, not a pooled 0.71; §9's organic-failure validation gives within-organic AUROC 0.31–0.42 and 1/3 catch of fabrications. This misattribution is load-bearing because the 0.71 number is the paper's public claim. Please either move the simulator number out of the real-corpus sentence or report the real-corpus pooled detection rate at the top, and reconcile the abstract with §6's caveat.
- [§9, §11, Conclusion] The concluding sentence "Observable step telemetry covers most of the agent-failure space" goes beyond the measured evidence. The organic (non-injected) test ranks the failure set at/below chance (AUROC 0.31–0.42), catches only 1 of 3 fabrications, and silent aborts are caught by a five-line completion check, not by telemetry; §11(2) says slow goal drift evades every per-step-surprise monitor, and §11(4) says plausible-value corruption is undetectable by construction. The supported claim is narrower: a cheap monitor catches specific mechanically visible classes under a per-deployment matched null, while deterministic verification and escalation carry the rest. The abstract and conclusion should state that boundary rather than "most of the agent-failure space".
- [§10, Table 3] The status of the deterministic checks' numbers is ambiguous. The text says the checks were written after inspecting failures in the serving arm, "so that arm cannot also be their test set," yet Table 3 presents head-to-head recall/false-positive figures (60%, 0/63) before introducing the frozen 120-episode held-out set (54%, 0/64). Please label which rows are development and which are the prospective test, and clarify whether the llama3.1:8b "110 of 110" figure is on the same held-out seeds. The central verification claim rests on this distinction, so it should be explicit in the table.
minor comments (6)
- [§6] Hypotheses H1 and H3b are referenced but never formally stated. Please define them explicitly or remove the labels.
- [Eqs. (3)–(4)] The one-step prediction \hat{x}_{t+1} in (3) is compared with x_t in (4). Align the time index so the reader can see the monitor is causal and the prediction is for the current step.
- [§5.1 and Abstract] The abstract phrase "Ranking transfers ... AFTraj-2K 0.745, ATBench 0.779" is easy to read as detection transfer; the body reports detection at only 0.048 on AFTraj-2K at the 5% budget. State both ranking AUROC and operating-point detection together.
- [Table 3, Figure 4] Add confidence intervals or bootstrap intervals to the per-deployment AUROC points and to the 0/63 and 0/64 false-positive counts. With 63–64 healthy episodes, a 0 count has a nontrivial upper bound and the reader currently cannot judge precision.
- [§4] The v2 row says tool results are appended into step text while the dimension count remains 43. Explain how the dimensionality is unchanged despite added content.
- [§9] The organic-failure sample is very small (11 organic failures; 2 hallucinations in the pre-registered 55 episodes). The paper is appropriately cautious, but the abstract should also state this small-n boundary rather than implying broad organic coverage.
Circularity Check
No significant circularity: the paper is an empirical systems study with external benchmarks, disjoint held-out evaluation, and no self-citation chain.
full rationale
The paper does not present a derivation that reduces to its own inputs. The ESN/CUSUM monitor is one-class and fitted only on healthy runs, with the threshold θ read from healthy validation episodes (Eq. 6) — this is calibration, not a prediction from the target. The horizon-effect 'prediction' on AFTraj-2K is an out-of-sample transfer of an observed relationship to corpora built by other groups (§5.1), so it is not a fitted input renamed as a prediction. The deterministic checks were frozen and evaluated on 120 later episodes at disjoint seeds (§10), and the paper reports its negative organic results (within-organic AUROC 0.31–0.42, 1/3 fabrications caught) and its underpowered pre-registered study (§9, §11) rather than hiding them. The simulator is explicitly quarantined: 'This section is a mechanism study, and no deployment claim rests on it' and 'The class-channel signatures are therefore designed in' (§6), so any designed-in detectability is acknowledged, not presented as evidence. There are no self-citations, no imported uniqueness theorems, and no ansatz smuggled in via citation. The abstract's placement of the simulator's 0.71/AUROC 0.872 alongside the 2,823-episode corpus is a reporting/overclaim concern that belongs under correctness risk, not circularity.
Axiom & Free-Parameter Ledger
free parameters (6)
- ESN reservoir hyperparameters (size, spectral radius, leakage α, ensemble size K)
- CUSUM drift allowance κ and alarm threshold θ
- Per-channel residual scale σ_err
- Logistic fusion weights for hybrid ESN+Mahalanobis =
cross-fit weights
- Content-grounding channel thresholds (JSON-prefix validity, char anomaly, lexical flag)
- Telemetry dimensionality versions (43/51/60)
axioms (8)
- standard math CUSUM sequential change detection and one-class anomaly detection are valid statistical tools for the telemetry stream.
- standard math The reservoir (ESN) with frozen random recurrent weights provides a sufficiently rich feature map; ridge readout is closed-form.
- domain assumption The telemetry vector x_t (hash embedding, token surprisal, action metadata) is causally computable per step and contains enough signal.
- domain assumption Healthy null episodes can be collected under the exact serving distribution before deployment.
- domain assumption Failure labels in the corpora (injected onsets and organic labels) are accurate ground truth.
- ad hoc to paper Each figure asserted by the agent must trace to a tool result the agent actually received, or an arithmetic combination thereof.
- domain assumption Tool contracts (allowed result shapes) are known and available for validation.
- domain assumption The task oracle's success grading is reliable and unseen by repair prompts.
read the original abstract
LLM agents fail mid-episode -- they loop, cascade tool errors, drift off goal, fabricate results, or silently absorb corrupted content -- and the standard remedy, judging every step with a second LLM, costs more than the agent itself. We ask how much detection is achievable from observable step telemetry alone, using monitors costing microseconds per step and trained only on healthy runs. On 2,823 committed agent episodes across three frameworks, three local models (qwen2.5 7b/3b, llama3.1 8b) and a commercial API (gemini-2.5-flash), a one-class echo-state-network ensemble with CUSUM alarms detects 0.71 of failures at a 5% false-alarm budget (AUROC 0.872). Its advantage over a memoryless baseline is a monotone function of post-onset horizon (+0.09 at <=3 steps, +0.40 at >=9), predicting its own failure region out of sample on AFTraj-2K. Ranking transfers with no retraining to two corpora from other groups (AFTraj-2K 0.745, ATBench 0.779). Monitors carry two burdens: a per-deployment healthy null (they do not transfer -- AUROC 0.527 cold against 0.885 recalibrated) and a residual false-alarm rate. We add a layer carrying neither: deterministic verification, which recomputes a run's stated total from the tool results it actually received and confirms every required call was made. Head-to-head it catches 60% of failures (96% with the coverage check) at 0 of 63 false positives against the monitor's 54% at 17%, transfers unchanged to llama3.1:8b (110 of 110 at 0 of 10), and trips on 0 of 1825 healthy episodes. Detection is then closed into repair: each flagged run is rolled back and re-run live, recovering 45% of failures against a 16% resampling control (p=0.0005) and lifting task success from 52% to 73% for about one extra model call per run. The system runs at ~200 microseconds per step, three orders of magnitude below a judge call. Code, traces and results are released.
Figures
Reference graph
Works this paper leans on
-
[1]
Xing, Hao Zhang, Joseph E
Lianmin Zheng, Wei-Lin Chiang, Ying Sheng, Siyuan Zhuang, Zhanghao Wu, Yonghao Zhuang, Zi Lin, Zhuohan Li, Dacheng Li, Eric P. Xing, Hao Zhang, Joseph E. Gonzalez, and Ion Stoica. Judging LLM-as-a-judge with MT-Bench and Chatbot Arena. InAdvances in Neural Information Processing Systems (NeurIPS) Datasets and Benchmarks Track, 2023
2023
-
[2]
E. S. Page. Continuous inspection schemes.Biometrika, 41(1/2):100–115, 1954
1954
-
[3]
Nikiforov.Detection of Abrupt Changes: Theory and Application
Michèle Basseville and Igor V . Nikiforov.Detection of Abrupt Changes: Theory and Application. Prentice Hall, 1993
1993
-
[4]
Anomaly detection: A survey.ACM Computing Surveys, 41(3):1–58, 2009
Varun Chandola, Arindam Banerjee, and Vipin Kumar. Anomaly detection: A survey.ACM Computing Surveys, 41(3):1–58, 2009
2009
-
[5]
A simple unified framework for detecting out-of-distribution samples and adversarial attacks
Kimin Lee, Kibok Lee, Honglak Lee, and Jinwoo Shin. A simple unified framework for detecting out-of-distribution samples and adversarial attacks. InAdvances in Neural Information Processing Systems (NeurIPS), 2018
2018
-
[6]
A baseline for detecting misclassified and out-of-distribution examples in neural networks
Dan Hendrycks and Kevin Gimpel. A baseline for detecting misclassified and out-of-distribution examples in neural networks. InInternational Conference on Learning Representations (ICLR), 2017
2017
-
[7]
Isolation forest
Fei Tony Liu, Kai Ming Ting, and Zhi-Hua Zhou. Isolation forest. InIEEE International Conference on Data Mining (ICDM), pages 413–422, 2008
2008
-
[8]
echo state
Herbert Jaeger. The “echo state” approach to analysing and training recurrent neural networks. Technical Report 148, GMD – German National Research Institute for Computer Science, 2001
2001
-
[9]
Reservoir computing approaches to recurrent neural network training.Computer Science Review, 3(3):127–149, 2009
Mantas Lukoševiˇcius and Herbert Jaeger. Reservoir computing approaches to recurrent neural network training.Computer Science Review, 3(3):127–149, 2009
2009
-
[10]
Weinberger
Chuan Guo, Geoff Pleiss, Yu Sun, and Kilian Q. Weinberger. On calibration of modern neural networks. InInternational Conference on Machine Learning (ICML), 2017
2017
-
[11]
ReAct: Synergizing reasoning and acting in language models
Shunyu Yao, Jeffrey Zhao, Dian Yu, Nan Du, Izhak Shafran, Karthik Narasimhan, and Yuan Cao. ReAct: Synergizing reasoning and acting in language models. InInternational Conference on Learning Representations (ICLR), 2023
2023
-
[12]
White, Doug Burger, and Chi Wang
Qingyun Wu, Gagan Bansal, Jieyu Zhang, Yiran Wu, Beibin Li, Erkang Zhu, Li Jiang, Xiaoyun Zhang, Shaokun Zhang, Jiale Liu, Ahmed Hassan Awadallah, Ryen W. White, Doug Burger, and Chi Wang. AutoGen: Enabling next-gen LLM applications via multi-agent conversation. arXiv preprint arXiv:2308.08155, 2023. 14
Pith/arXiv arXiv 2023
-
[13]
AgentBench: Evaluating LLMs as agents
Xiao Liu, Hao Yu, Hanchen Zhang, Yifan Xu, Xuanyu Lei, Hanyu Lai, Yu Gu, Hangliang Ding, Kaiwen Men, Kejuan Yang, Shudan Zhang, Xiang Deng, Aohan Zeng, Zhengxiao Du, Chenhui Zhang, Sheng Shen, Tianjun Zhang, Yu Su, Huan Sun, Minlie Huang, Yuxiao Dong, and Jie Tang. AgentBench: Evaluating LLMs as agents. InInternational Conference on Learning Representatio...
2024
-
[14]
Mert Cemri, Melissa Z. Pan, Shuyi Yang, Lakshya A. Agrawal, Bhavya Chopra, Rishabh Tiwari, Kurt Keutzer, Aditya Parameswaran, Dan Klein, Kannan Ramchandran, Matei Zaharia, Joseph E. Gonzalez, and Ion Stoica. Why do multi-agent LLM systems fail?arXiv preprint arXiv:2503.13657, 2025
Pith/arXiv arXiv 2025
-
[15]
Shaokun Zhang, Ming Yin, Jieyu Zhang, Jiale Liu, Zhiguang Han, Jingyang Zhang, Beibin Li, Chi Wang, Huazheng Wang, Yiran Chen, and Qingyun Wu. Which agent causes task failures and when? on automated failure attribution of LLM multi-agent systems.arXiv preprint arXiv:2505.00212, 2025
Pith/arXiv arXiv 2025
-
[16]
Boxuan Zhang, Jianing Zhu, Zeru Shi, Dongfang Liu, and Ruixiang Tang. AgentFore- sight: Online auditing for early failure prediction in multi-agent systems.arXiv preprint arXiv:2605.08715, 2026
Pith/arXiv arXiv 2026
-
[17]
Avinash Baidya, Xinran Liang, Ruocheng Guo, Xiang Gao, and Kamalika Das. When evidence is sparse: Weakly supervised early failure alerting in dialogs and LLM-agent trajectories.arXiv preprint arXiv:2606.05414, 2026
Pith/arXiv arXiv 2026
-
[18]
Haoyu Wang, Christopher M. Poskitt, and Jun Sun. AgentSpec: Customizable runtime enforce- ment for safe and reliable LLM agents. InIEEE/ACM International Conference on Software Engineering (ICSE), 2026. arXiv:2503.18666, 2025
Pith/arXiv arXiv 2026
-
[19]
Poskitt, Jiali Wei, and Jun Sun
Haoyu Wang, Christopher M. Poskitt, Jiali Wei, and Jun Sun. ProbGuard: Probabilistic runtime monitoring for LLM agent safety.arXiv preprint arXiv:2508.00500, 2025
Pith/arXiv arXiv 2025
-
[20]
Xinmiao Huang, Jinwei Hu, Rajarshi Roy, Changshun Wu, Yi Dong, and Xiaowei Huang. PrefixGuard: From LLM-agent traces to online failure-warning monitors.arXiv preprint arXiv:2605.06455, 2026
Pith/arXiv arXiv 2026
-
[21]
Laksh Advani. Trajectory guard: A lightweight, sequence-aware model for real-time anomaly detection in agentic AI.arXiv preprint arXiv:2601.00516, 2026
arXiv 2026
-
[22]
Chenyu Zhao, Shenglin Zhang, Wenwei Gu, Yongqian Sun, Dan Pei, Chetan Bansal, Saravan Rajmohan, and Minghua Ma. AgentTether: Graph-guided diagnosis and runtime intervention for reliable LLM agent operation.arXiv preprint arXiv:2607.06273, 2026
Pith/arXiv arXiv 2026
-
[23]
A survey on LLM-as-a-judge.arXiv preprint arXiv:2411.15594, 2024
Jiawei Gu, Xuhui Jiang, Zhichao Shi, Hexiang Tan, Xuehao Zhai, Chengjin Xu, Wei Li, Yinghan Shen, Shengjie Ma, Honghao Liu, Saizhuo Wang, Kun Zhang, Yuanzhuo Wang, Wen Gao, Lionel Ni, and Jian Guo. A survey on LLM-as-a-judge.arXiv preprint arXiv:2411.15594, 2024
Pith/arXiv arXiv 2024
-
[24]
Judging the judges: A systematic study of position bias in LLM-as-a-judge
Lin Shi, Chiyu Ma, Wenhua Liang, Xingjian Diao, Weicheng Ma, and Soroush V osoughi. Judging the judges: A systematic study of position bias in LLM-as-a-judge. InConference of the Asia-Pacific Chapter of the Association for Computational Linguistics (AACL-IJCNLP),
-
[25]
Survey of hallucination in natural language generation
Ziwei Ji, Nayeon Lee, Rita Frieske, Tiezheng Yu, Dan Su, Yan Xu, Etsuko Ishii, Ye Jin Bang, Andrea Madotto, and Pascale Fung. Survey of hallucination in natural language generation. ACM Computing Surveys, 55(12):1–38, 2023
2023
-
[26]
Xixun Lin, Yucheng Ning, Jingwen Zhang, Yan Dong, Yilong Liu, Yongxuan Wu, Xiaohua Qi, Nan Sun, Yanmin Shang, Kun Wang, Pengfei Cao, Qingyue Wang, Lixin Zou, Xu Chen, Chuan Zhou, Jia Wu, Peng Zhang, Qingsong Wen, Shirui Pan, Bin Wang, Yanan Cao, Kai Chen, Songlin Hu, and Li Guo. LLM-based agents suffer from hallucinations: A survey of taxonomy, methods, a...
arXiv 2025
-
[27]
Potsawee Manakul, Adian Liusie, and Mark J. F. Gales. SelfCheckGPT: Zero-resource black- box hallucination detection for generative large language models. InConference on Empirical Methods in Natural Language Processing (EMNLP), 2023
2023
-
[28]
Detecting hallucinations in large language models using semantic entropy.Nature, 630:625–630, 2024
Sebastian Farquhar, Jannik Kossen, Lorenz Kuhn, and Yarin Gal. Detecting hallucinations in large language models using semantic entropy.Nature, 630:625–630, 2024
2024
-
[29]
Jannik Kossen, Jiatong Han, Muhammed Razzak, Lisa Schut, Shreshth Malik, and Yarin Gal. Semantic entropy probes: Robust and cheap hallucination detection in LLMs.arXiv preprint arXiv:2406.15927, 2024
Pith/arXiv arXiv 2024
-
[30]
Detect- ing strategic deception with linear probes
Nicholas Goldowsky-Dill, Bilal Chughtai, Stefan Heimersheim, and Marius Hobbhahn. Detect- ing strategic deception with linear probes. InInternational Conference on Machine Learning (ICML), volume 267 ofPMLR, pages 19755–19786, 2025
2025
-
[31]
Kai Ruan, Zihe Huang, Ziqi Zhou, Qianshan Wei, Xuan Wang, and Hao Sun. Doomed from the start: Early abort of LLM agent episodes via a recall-controlled probe cascade.arXiv preprint arXiv:2607.06503, 2026
Pith/arXiv arXiv 2026
-
[32]
Shanghai AI Laboratory. ATBench: A diverse and realistic agent trajectory benchmark for long-horizon agent safety.arXiv preprint arXiv:2604.02022, 2026. 16
Pith/arXiv arXiv 2026
-
[2025]
arXiv:2406.07791, 2024
arXiv 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.