At least originally, there was a basic idea that ignoring an attribute should not affect the validity of a program. Like [[nodiscard]] and [[maybe_unused]] would affect warnings, but not the generated code.

Adding ABI-modifying attributes seems to be totally contrary to this.

That basic idea has been thrown out of the window a while ago. We now have multiple potentially-ABI-modifying attributes in the standard.