parsimagma: concept DOIs in the badge, version DOIs in the paper, no working directory in the proof logs

parsimagma’s citation surface was settled deliberately: the README badge and posts cite the concept DOI 10.5281/zenodo.22237100, which always resolves to the newest release, while the paper’s bibliography keeps the version DOI, because a report of measurements should pin the artifact it measured — and the write-up DOI was repointed at the current version rather than the one carrying a superseded-version banner (16d60e0). The same pass took the working directory out of the published Vampire logs: the proofs are worth publishing, the absolute temp path they were produced under is not (2f9bf2d).