Why not instead make a test suite of inputs and expected pass/fail for validation of implementations.

It's not more than a specification if a single implementation is to be used--then it's a 'spec' defined by the implementation because any idiosyncrasies of that implementation become defacto specification.