Comment by dist-epoch

The detailed specification is the output for a particular input.

And you can use a fuzzer to augument that.