@misc{indiciaec5bfd781d7fc,
  title = {Bounded Loops: Pre-Run Spend Bounds, Proved Termination, and Verified Completion for Agent Harnesses},
  author = {Varun Pratap Bhardwaj and Garima Singh and Arun Pratap Bhardwaj},
  year = {2026},
  url = {https://arxiv.org/abs/2609.27871},
  note = {Source identifier: 2609.27871}
}