TY - RPRT TI - Certified Execution Harness for Agentic AI: Safe and Least-Intrusive Petri-Net Supervisory Control Between Reasoning and Action AU - Chao Gu AU - Quanyan Zhu PY - 2026 UR - https://arxiv.org/abs/2610.31376 ID - 2610.31376 ER -