I must be missing something.  For the aca_spec file we use starcheck release number (tagged on github and logged in the review output), just like every other starcheck source file that is used in generating products.  I don't see how there is anything qualitatively different between `aca_spec.json` and say `Obsid.pm`.  So maybe I am missing something.