Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control

Huang, Jek, Hsia, Jeffery, Sun, Jiayi · arXiv · 2026