Wouldn't it be something if there existed tooling that enforced this level of discipline and checked its validity before executing any code such that you didn't

Wouldn't it be something if there existed tooling that enforced this level of discipline and checked its validity before executing any code such that you didn't rely on the entire ecosystem to adhere to the same standards and remove that as a source of ambiguity...