Skip to content

docs: link published Zenodo archive - #40

Merged
ViktorMikhalkin merged 1 commit into
mainfrom
docs/zenodo-doi-metadata
Sep 14, 2026
Merged

ViktorMikhalkin merged 1 commit into
mainfrom
docs/zenodo-doi-metadata

Conversation

@ViktorMikhalkin

Copy link
Copy Markdown
Contributor

Summary

  • add the Zenodo concept DOI badge and release citation to the README
  • register the immutable v0.4.4 archive DOI in CITATION.cff
  • add a neutral software-availability statement to the manuscript
  • refresh the protected manuscript SHA-256

Scope

Documentation and publication metadata only. No solver code, theorem, numerical result, benchmark artifact, or performance claim changed. This PR does not create a release or move the existing v0.4.4 tag.

Zenodo identifiers

  • version DOI: 10.5281/zenodo.22753773
  • concept DOI: 10.5281/zenodo.22753772

Verification

  • cffconvert --validate -i CITATION.cff
  • ./build.sh (directed-rounding and MXCSR probes pass)
  • python tests/check_paper_claims.py (all 8 manuscript claims reproduced)
  • python tests/check_paper_claims.py --audit-performance-artifacts . --require-publication-ready
  • BIBTEX=bibtex ./build_paper.sh
  • no unresolved references or citations in the final paper.log
  • visual review of the affected manuscript pages

@ViktorMikhalkin
ViktorMikhalkin merged commit c06e6d7 into main Sep 14, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant