Non-Bypassable Execution Control in Autonomous Systems | Synapse