Skip to content

docs: correct historical Zenodo DOI classification - #39

Merged
papasop merged 1 commit into
mainfrom
codex/correct-zenodo-doi-classification
Aug 11, 2026
Merged

docs: correct historical Zenodo DOI classification#39
papasop merged 1 commit into
mainfrom
codex/correct-zenodo-doi-classification

Conversation

@papasop

@papasop papasop commented Aug 11, 2026

Copy link
Copy Markdown
Owner

Correct the repository metadata classification of the earlier Zenodo record.

  • identify 10.5281/zenodo.21728432 as a historical version DOI
  • retain 10.5281/zenodo.21882158 as the preferred v1.2.9 version DOI
  • avoid asserting an unverified all-versions Concept DOI
  • preserve the paper-local-ode-v1.5 release boundary
  • update repository checksums

Validation:

  • SHA256SUMS.txt: PASS, 0 FAILED
  • published-paper boundary checker: PASS
  • GLOBAL_FLOW_CLAIMED=false
  • theorem-bearing paths diff: empty
  • manuscript artifact diff: empty
  • working tree: clean

Scientific boundary:

  • no manuscript changes
  • no theorem-bearing asset changes
  • no certificate, protocol, JSON, or atlas changes
  • no Arb rerun
  • no global-flow claim

Excluded actions:

  • no tag creation, movement, deletion, or push
  • no GitHub Release changes
  • no Zenodo changes

Correct the repository metadata classification of the earlier Zenodo record.

- identify 10.5281/zenodo.21728432 as a historical version DOI
- retain 10.5281/zenodo.21882158 as the preferred v1.2.9 version DOI
- avoid asserting an unverified all-versions Concept DOI
- preserve the paper-local-ode-v1.5 release boundary
- update repository checksums

Validation:

- SHA256SUMS.txt: PASS, 0 FAILED
- published-paper boundary checker: PASS
- GLOBAL_FLOW_CLAIMED=false
- theorem-bearing paths diff: empty
- manuscript artifact diff: empty
- working tree: clean

Scientific boundary:

- no manuscript changes
- no theorem-bearing asset changes
- no certificate, protocol, JSON, or atlas changes
- no Arb rerun
- no global-flow claim

Excluded actions:

- no tag creation, movement, deletion, or push
- no GitHub Release changes
- no Zenodo changes
@papasop
papasop merged commit f8d9d49 into main Aug 11, 2026
2 checks passed
@papasop
papasop deleted the codex/correct-zenodo-doi-classification branch August 11, 2026 07:04
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