[SirSavary]

Hyrum's law is about the real consumers/users (inadvertently) depending on any observable behaviour they can get their hands on.

TDD/BDD tests are meant to define the intended contract of a system.

These are not the same thing.