A requirement without a verification clause is not a specification.
Software, data, machine learning, and computer science practice all depend on constraints that must be falsifiable, reviewable, and mechanically checked where possible.
These specifications inform the Logos doctrine: principles become real when they become tests.