Do implementations have a way to check that? Not without access to the private key, right?

This feels a bit like an EC25519 definition suggesting that "private keys must be significantly larger than 4" and therefore you call what eMudhra generated "modified EC25519"