@misc{indiciae78ff66352f3b, title = {Verifiability-First Agents: Provable Observability and Lightweight Audit Agents for Controlling Autonomous LLM Systems}, author = {Abhivansh Gupta}, year = {2025}, url = {https://arxiv.org/abs/2512.17259}, note = {Source identifier: 2512.17259} }