TY  - RPRT
TI  - Bounded Loops: Pre-Run Spend Bounds, Proved Termination, and Verified Completion for Agent Harnesses
AU  - Varun Pratap Bhardwaj
AU  - Garima Singh
AU  - Arun Pratap Bhardwaj
PY  - 2026
UR  - https://arxiv.org/abs/2609.27871
ID  - 2609.27871
ER  -