@article{verifiabilityfirstagentsprovableobservab, title = {Verifiability-First Agents: Provable Observability and Lightweight Audit Agents for Controlling Autonomous LLM Systems}, author = {Abhivansh Gupta}, year = {2025}, eprint = {2512.17259}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2512.17259}, }