`spec.json` should be generated (deterministically and automatically) from publically available source code. However, no scripts to do so are provided.