Comment by visarga

Another possibility is to implement the same spec twice, and do differential testing, you can catch diverging assumptions and clarify them.