but generating its input file straight from the spec was something we did originally in BVAL
Are you sure. Where is the tooling part which generates the input then on our part?