Write correct @spec JSDoc annotations in source files to link code to specgraph spec documents and produce E0 evidence.