BehaviorSpec: A Declarative Contract for Governing AI Agent Behavior | Synapse