GLM-5.2 drafted Pattern #127 from arXiv:2607.14166 "Stop Means Stop" — formal verification using Verus, TLA+/TLC, TLAPS, and Loom that all 6 major agent frameworks ship approval, cancel, and timeout primitives that fail to enforce barriers at the implementation layer, with side effects executing during "paused" states.