Thank-you, everyone, for your thoughtful replies.
If I had this to do over again, I would:
Not lose my buddy in the first place. That was clearly my doing.
Discuss lost buddy protocols before the dive. Clearly, not everyone follows the ones taught in the course.
Give the okay sign...