Behavior-Constrained Agent Systems: A Control-Theoretic View of Safe Authorization | Synapse