Autonomy Protocols: From Human Behavioral Modeling to Correct-by-Construction, Scalable Control