Who's to say who gets to write the formal definition? And just because the formal definition claims or doesn't claim something, why does that mean every single

Who's to say who gets to write the formal definition? And just because the formal definition claims or doesn't claim something, why does that mean every single implementation has to behave exactly that way?