Verifiability-First Agents: Provable Observability and Lightweight Audit Agents for Controlling Autonomous LLM Systems. - Abhivansh Gupta (CoRR, 2025)