diff --git a/CHANGELOG.md b/CHANGELOG.md index 513e1ddc..3b6f9854 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,10 @@ ## Unreleased — root and README navigation cleanup +- Close the v1.2.12 publication provenance with Zenodo version DOI + `10.5281/zenodo.21895917`, Concept DOI `10.5281/zenodo.15879392`, and the + immutable `paper-local-ode-v1.6` GitHub Release. This metadata-only closure + changes no manuscript or theorem-bearing asset. - Archive the independently reviewed v1.2.12 textual manuscript revision and source ZIP as a recommended reading version. This incorporates the recorded v1.2.9 errata and subsequent textual clarifications, preserves all v1.2.9 diff --git a/CITATION.cff b/CITATION.cff index 1f7a48aa..503c2a97 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -19,8 +19,9 @@ preferred-citation: given-names: "Y. Y. N." orcid: "https://orcid.org/0009-0002-6471-139X" year: 2026 - doi: "10.5281/zenodo.21882158" - url: "https://zenodo.org/records/21882158" -# Historical version DOI retained for repository boundary checks: + doi: "10.5281/zenodo.21895917" + url: "https://zenodo.org/records/21895917" +# All-versions Concept DOI: 10.5281/zenodo.15879392 +# Historical version DOIs are retained in docs/MANUSCRIPT_PROVENANCE.md. # doi: "10.5281/zenodo.21728432" # url: "https://zenodo.org/records/21728432" diff --git a/README.md b/README.md index 3efaf6e1..ca3e3b9a 100644 --- a/README.md +++ b/README.md @@ -33,8 +33,9 @@ identifies the earlier public manuscript boundary; it is not the preferred current-manuscript citation. The v1.2.9 DOI [10.5281/zenodo.21882158](https://doi.org/10.5281/zenodo.21882158) and [`paper-local-ode-v1.5`](https://github.com/papasop/Geometric-Flow/releases/tag/paper-local-ode-v1.5) -remain immutable historical records. The v1.2.12 tag, GitHub Release, and -Zenodo version DOI are pending. +remain immutable historical records. The recommended v1.2.12 release is +archived at [10.5281/zenodo.21895917](https://doi.org/10.5281/zenodo.21895917) +and [`paper-local-ode-v1.6`](https://github.com/papasop/Geometric-Flow/releases/tag/paper-local-ode-v1.6). The historical raw record URL `https://zenodo.org/records/21728432` is not the current paper record. @@ -44,6 +45,8 @@ current paper record. | --- | --- | | Read the recommended v1.2.12 manuscript | [`docs/manuscript/geometric_flow_v1_2_12_freeze_candidate.pdf`](docs/manuscript/geometric_flow_v1_2_12_freeze_candidate.pdf) | | Inspect the matching v1.2.12 source ZIP | [`docs/manuscript/geometric_flow_v1_2_12_source.zip`](docs/manuscript/geometric_flow_v1_2_12_source.zip) | +| Cite the recommended v1.2.12 public version | [Zenodo DOI `10.5281/zenodo.21895917`](https://doi.org/10.5281/zenodo.21895917) | +| Download the matching GitHub release | [GitHub Release `paper-local-ode-v1.6`](https://github.com/papasop/Geometric-Flow/releases/tag/paper-local-ode-v1.6) | | Audit the historical v1.2.9 public release | [GitHub Release `paper-local-ode-v1.5`](https://github.com/papasop/Geometric-Flow/releases/tag/paper-local-ode-v1.5) | | Verify the published theorem boundary | [`python reproduce/published_paper.py`](reproduce/published_paper.py) | | Follow the proof and certificate map | [Proof navigation](docs/PROOF_NAVIGATION.md) | @@ -243,11 +246,12 @@ Historical and archive material: ## Citation And Licences The recommended reading version is the frozen v1.2.12 manuscript archived in -this repository. Its tag, GitHub Release, Zenodo version DOI, and release -commit are pending until publication: +this repository and published through the following immutable release records: - PDF: [`docs/manuscript/geometric_flow_v1_2_12_freeze_candidate.pdf`](docs/manuscript/geometric_flow_v1_2_12_freeze_candidate.pdf) - source ZIP: [`docs/manuscript/geometric_flow_v1_2_12_source.zip`](docs/manuscript/geometric_flow_v1_2_12_source.zip) +- DOI: [10.5281/zenodo.21895917](https://doi.org/10.5281/zenodo.21895917) +- GitHub Release: [`paper-local-ode-v1.6`](https://github.com/papasop/Geometric-Flow/releases/tag/paper-local-ode-v1.6) Historical v1.2.9 public archive: @@ -259,13 +263,12 @@ The historical version DOI identifies the earlier public manuscript boundary; it is not the preferred current-manuscript citation. -Suggested citation for the local theorem and published paper boundary: until -the v1.2.12 Zenodo version DOI is created, cite the repository commit or -Draft/PR archive for v1.2.12 and identify the theorem-bearing software -boundary as v0.7.4 + v0.9.3. +Suggested citation for the local theorem and published paper boundary: cite +v1.2.12 using DOI `10.5281/zenodo.21895917` and identify the theorem-bearing +software boundary as v0.7.4 + v0.9.3. Software is released under the [MIT license](LICENSE). The v1.2.12 manuscript -and manuscript source ZIP are intended to be released under Creative Commons Attribution 4.0 +and manuscript source ZIP are released under Creative Commons Attribution 4.0 International (CC BY 4.0). ## 中文概览 diff --git a/SHA256SUMS.txt b/SHA256SUMS.txt index 7145e866..ceef4fbd 100644 --- a/SHA256SUMS.txt +++ b/SHA256SUMS.txt @@ -4,12 +4,12 @@ ec1da81e6808bba8c8c200fdec8574155ef502d8afc52a1e97b3e4cd85db709c .github/workfl 41618318ff4a948ba9f4f4e8c3c457babedc2898c28cf9292f5871ba0cc57b01 .github/workflows/structural-checks.yml 60594ebf5896d74e31b82ca528943a991375fe4a00746824c75c709eeec49d7b .gitignore f6cdb4e3b9127d32aee56cf66e86a9456ec3686e896696802073e6caf0ac3554 APPLY_GUIDE.md -a82298b6acdf6befcd1512ca61f249394c72cd0df36b3a095848cea35f74cc48 CHANGELOG.md -51588137343e718b6cb916c5c1bbe1a7f16b8ab994364c19b33ec952bdc3ad0b CITATION.cff +dbba6e441be3b187898fa66c42a8e7b83ba8ae823d107188469a14c6fb190811 CHANGELOG.md +e413b2323ce02f0622e59cdccbc4a777c4060dacbd1ecf2b7cbad5631d6ca493 CITATION.cff 648bfd6ec2edd62a06f951444efe44a05dbfb17565ca0194e0de7be8ca05a00e CONTROL_EXTENSION_SHA256SUMS.txt 6766e3773ab0cae72b57d2ff0260bb46e28f515c1a8fd46dc6e799c4c3e31315 LICENSE 0402018a16a3578b01f0db0027bb63ef40e82a64189258aea850e7d52dc8a277 PULSER_WIENER_SHA256SUMS.txt -d690a160fca6ae1997e876944879ef70d60a666398b1669aadc2719e27b88536 README.md +54f042519ac66276fc9936e39b3c6c3085c42a4a6c17829cb93443f33468533b README.md 666fad44e9d370466f43860cd4e04ebb48769fc1d92f88bbf3fc139c8e6a1cdb archive/milestones/01_local_foundation/response_fibre_arb_normal_root_v0_9_8_oneclick.py 13e34a4c8685ef538486b9708902c7138d5e34369605f7ec77df54c4d9cfc085 archive/milestones/01_local_foundation/response_fibre_normal_root_v0_9_7_oneclick.py 014d265a818bbd82c8aa8805317e61222ccf13136df871947a71ffa9e0e38291 archive/milestones/01_local_foundation/response_fibre_recenter_preflight_v0_9_6_oneclick.py @@ -50,23 +50,23 @@ a0a524b34011e8646d19cfecc45ca52c0475efc8af6a5f62cd4e5c9459c6416e archive/milest 27c107ab01f254215fc6bda721bcbcf793c4856dde5791caef7f840fd5662c3c archive/milestones/superseded/v0_9_18/response_fibre_lohner_stress_v0_9_18_oneclick.py 885895c6205af597c68921365290aee363d388cbf4f84318b6533ad5044fbe74 docs/ARCHIVE_MIGRATION_PLAN.json 4cafc706613790855df4b6c3a50a030ed2275b3aa9fcf5bba5fe28b853bd2fdd docs/ARCHIVE_MIGRATION_PLAN.md -0102e98aac8934b1dac5e031252f63cb66b3c70c654a85fa982d16b4a9720d7e docs/ARTIFACT_INDEX.md +7a151c1beb9b6e5ff537acff67a9a18aca9acccd4d592cbfbde1b17bf6f2b97f docs/ARTIFACT_INDEX.md 666e7e6c793c10350663acfcbfb5558987f83e5e9b3f6c043d041b4de159ac0b docs/BACKEND_BINDING.md 8635644617c251a7818daa9ebd918bcb3cde7b0fce9df702176004d6340b7e10 docs/CERTIFICATE_DAG_SCOPE.md d6f66ef3a23139381e3874bcebf0128afb0a5c9b5e9b2cbb311b4c816275618a docs/CLAIM_SCOPE.md 0420f5bdf41e68b027c0e114a0021d1acd02590744607947605e25fbcc18fc88 docs/CONTROL_EXTENSION_SCOPE.md 514babfd17b91394947921d61b2e83c395bd5d2b25f96bc5596ff0de7be34e81 docs/K1_BRIDGE_SCOPE.md 1469688fbdf85b2b5af5a8c184e298d0b1186d49030dd0d44b51ee3e1ee91ca2 docs/MANUSCRIPT_ERRATA_v1.2.9.md -271b44f2dab122bba60ff1158b277c373e38e15f2cad0627140c74941e618a7c docs/MANUSCRIPT_PROVENANCE.md +1536ead8639149fdd7759b31d320c750ae2f683b655b3e69e6ba5206ecb9e48d docs/MANUSCRIPT_PROVENANCE.md 6760fc98008920898d9aec408be2c540a07fa6751c6f4b5ce10beb007faf3b48 docs/MATHEMATICS.md 8f4338669bda381032abe0930a7fc7693f00b27c1d56a35753c1a7d2407e642e docs/MILESTONES.md 146d0227e86e5a9f47dc125402dcc5b9e5cd1d8bb3e14523bf589021939de841 docs/NEURAL_NETWORK_RESPONSE_FIBRES.md -550a1b36ab7e227788a2e036a3d2a8a66dcb8177e8c87aeca07e1d21d31452cb docs/PAPER_WORDING.md +3cd21823b52ac4e4a2d443cbafa4ddd8ce7b4de5af01a8aa8b0fc7910291afe6 docs/PAPER_WORDING.md 56aa37748de0f7563c0837c75265328e938cc9dee946df3f19822e70164b6218 docs/PROCESS_TIME_SCOPE.md 8984441d6c1ea7551ae6e2f1f207d0c48e13f24dbf73e29928018d9a4669278d docs/PROOF_GRAPH.md 07d00692d4ffb5c5b56b63cdd56ca74c508bca7f51a496b2d0a47232a784c5b7 docs/PROOF_MAP.md 69382d9ea7520f12efae49fe9b80c2d281e4072fe0ca112e7cd4a3a038c67727 docs/PROOF_NAVIGATION.md -f7c5537bf9952b21b93b434e7393dfa4949bfc69e555e21dca208fee077ca4fc docs/PUBLISHED_PAPER_BOUNDARY.md +dea911fa96b54d7c54617dc00461879d9b1b630a02bfa374a573ca469883e0c8 docs/PUBLISHED_PAPER_BOUNDARY.md 1e8dfc5f9bdb0934b9b460b56645355695af931296a789bfc26dc7e71d8a012e docs/REFERENCE_RESULTS.md 2b881e04bf643559402aeebb4ef69636eb461b84339abdfcc4f2f526ab67e384 docs/REPRODUCIBILITY.md 18ec360c6524fb2717cad75a506ba1eb5291703a25c47eb9a73ce6477486091b docs/RESEARCH_STATUS_MATRIX.md @@ -89,7 +89,7 @@ a55f3b27fa94ef7648fa801e13bddf1557ecc192486b9cac20ec3cb8c6a460e3 docs/archive/U 6c6d842c8ca6a31631cee3f83e42f52d8accabe34950d8c8683ce457b35b713a docs/manuscript/geometric_flow_v1_2_9_source.zip 470d10aa1790fbe544e7299c469d3353fb9a415a739f27d3343de58eb2cfe784 docs/post_publication/C4_CONTROLLED_ATTRACTION_MILESTONE.md 18d5fc3bf65904ce83703632e4e9f1db4f21885d378c80d289f256e1c84cfce6 docs/post_publication/PULSER_WIENER_STABILITY_MAP_V1_3.md -1fb40ce6c7a74ccf0591cf0dd6edf57950ed19640c0c521ba6ed4365cba22770 docs/releases/RELEASE_NOTES.md +2e25463029da0c195e0844a5fecb342184c4dc8cb7fc576598a05e7ffa3d529b docs/releases/RELEASE_NOTES.md bc56c153f62b62f591a8d5c96866b21931ec2aa76c3e75568415ac2c7927a953 docs/releases/RELEASE_NOTES_v0.10.14.1.md d29f6506605725f022e9259ab27603977b682885bf36a221d068f330b3e9a81f docs/releases/RELEASE_NOTES_v0.10.5.md cf39d28818c006a075dc02eff5e728bdc5e38baf85c5f0dde960cb76d23488c9 docs/releases/RELEASE_NOTES_v0.10.6.md diff --git a/docs/ARTIFACT_INDEX.md b/docs/ARTIFACT_INDEX.md index e3b2f5cd..d1d4cb91 100644 --- a/docs/ARTIFACT_INDEX.md +++ b/docs/ARTIFACT_INDEX.md @@ -27,7 +27,7 @@ before invoking the long versioned artifact. A mismatch fails closed. | Manuscript archive | Primary artifact | Stored reference result | Claim boundary | | --- | --- | --- | --- | -| v1.2.12 | `docs/manuscript/geometric_flow_v1_2_12_freeze_candidate.pdf`; `docs/manuscript/geometric_flow_v1_2_12_source.zip` | Recommended reading manuscript archive; release identifiers pending | Textual revision only; incorporates v1.2.9 errata; no theorem-bearing certificate, numerical gate, Arb rerun, or global-flow claim. | +| v1.2.12 | `docs/manuscript/geometric_flow_v1_2_12_freeze_candidate.pdf`; `docs/manuscript/geometric_flow_v1_2_12_source.zip` | Recommended public version: DOI `10.5281/zenodo.21895917`; GitHub Release `paper-local-ode-v1.6` | Textual revision only; incorporates v1.2.9 errata; no theorem-bearing certificate, numerical gate, Arb rerun, or global-flow claim. | | v1.2.9 | `docs/manuscript/geometric_flow_v1_2_9_freeze_candidate.pdf`; `docs/MANUSCRIPT_ERRATA_v1.2.9.md` | Historical public Zenodo/GitHub release boundary | Immutable historical version DOI and erratum; theorem-bearing boundary remains v0.7.4 + v0.9.3. | | Milestone | Primary artifact | Stored reference result | Claim boundary | diff --git a/docs/MANUSCRIPT_PROVENANCE.md b/docs/MANUSCRIPT_PROVENANCE.md index 7dd5eb99..2dbcd8fa 100644 --- a/docs/MANUSCRIPT_PROVENANCE.md +++ b/docs/MANUSCRIPT_PROVENANCE.md @@ -8,7 +8,7 @@ repository state, theorem-bearing software boundary, and public archive. - Title: *Computation as Geometric Flow: An Arb-Certified Local Intrinsic ODE on a Quantum-Control Response Fibre* - Status: historical v1.1 candidate retained for audit history. The current - frozen manuscript is v1.2.9; see "v1.2.9 manuscript" below. + recommended reading manuscript is v1.2.12; see "v1.2.12 manuscript" below. - PDF: `docs/manuscript/geometric_flow_submission_candidate_v1.1.pdf` - PDF SHA-256: `86edef125808640fc7c59b2ceec39d3fd36954b4b395b20f5949de13d0364b96` @@ -154,17 +154,32 @@ frozen PDF above remains the archival manuscript. - Arb rerun: not performed for this manuscript revision; the existing frozen theorem certificates remain the governing numerical evidence. - `GLOBAL_FLOW_CLAIMED`: false -- repository release tag: `PENDING_UNTIL_TAG` +- repository release tag: `paper-local-ode-v1.6` - manuscript/tag mapping: `v1.2.12` manuscript -> - `PENDING_UNTIL_TAG` repository release. -- final release commit: `PENDING_UNTIL_RELEASE` -- repository commit: `PENDING_UNTIL_RELEASE` -- GitHub release URL: `PENDING_UNTIL_RELEASE` -- Zenodo version DOI: `PENDING_UNTIL_ZENODO_PUBLICATION` -- Zenodo DOI URL: `PENDING_UNTIL_ZENODO_PUBLICATION` -- source PR: `PENDING_UNTIL_RELEASE` + `paper-local-ode-v1.6` repository release. +- final release commit: + `9f00cef039a8b97598e06e87614f9b506a81cddc` +- repository commit: + `9f00cef039a8b97598e06e87614f9b506a81cddc` +- annotated tag object: + `e4da94c96f271d5eed63a1d18821476686de9aa3` +- peeled commit: + `9f00cef039a8b97598e06e87614f9b506a81cddc` +- GitHub release URL: + `https://github.com/papasop/Geometric-Flow/releases/tag/paper-local-ode-v1.6` +- Zenodo version DOI: `10.5281/zenodo.21895917` +- Zenodo DOI URL: `https://doi.org/10.5281/zenodo.21895917` +- all-versions Concept DOI: `10.5281/zenodo.15879392` +- source PR: `https://github.com/papasop/Geometric-Flow/pull/42` - workflow URLs: - `PENDING_UNTIL_RELEASE` + - structural-checks: + `https://github.com/papasop/Geometric-Flow/actions/runs/31549636860` + - reproduce-validated-ode: + `https://github.com/papasop/Geometric-Flow/actions/runs/31549636994` + - reproduce-joint-geometric-flow: + `https://github.com/papasop/Geometric-Flow/actions/runs/31549636914` +- exact workflow commit for all three successful tag-triggered runs: + `9f00cef039a8b97598e06e87614f9b506a81cddc` The v1.2.12 source archive contains its own `README_BUILD.md` and `SOURCE_MANIFEST.md`. The archive manifest reports a clean three-pass @@ -177,30 +192,33 @@ self-hash loop. ## Public archive and repository binding - Historical Zenodo version DOI: `10.5281/zenodo.21728432` -- Zenodo version DOI: `10.5281/zenodo.21882158` -- Zenodo DOI URL: `https://doi.org/10.5281/zenodo.21882158` +- Previous Zenodo version DOI: `10.5281/zenodo.21882158` +- Current Zenodo version DOI: `10.5281/zenodo.21895917` +- current Zenodo DOI URL: `https://doi.org/10.5281/zenodo.21895917` +- all-versions Concept DOI: `10.5281/zenodo.15879392` - GitHub release URL: - `https://github.com/papasop/Geometric-Flow/releases/tag/paper-local-ode-v1.5` -- immutable paper-boundary tag: `paper-local-ode-v1.5` + `https://github.com/papasop/Geometric-Flow/releases/tag/paper-local-ode-v1.6` +- immutable paper-boundary tag: `paper-local-ode-v1.6` - annotated tag object: - `038ac83231af925725da8f9a2c9b10067053bcf6` + `e4da94c96f271d5eed63a1d18821476686de9aa3` - peeled commit: - `8742913c3ba992db98b90bc79cd691a31199d1e7` + `9f00cef039a8b97598e06e87614f9b506a81cddc` - repository commit: - `8742913c3ba992db98b90bc79cd691a31199d1e7` + `9f00cef039a8b97598e06e87614f9b506a81cddc` -The Zenodo version DOI `10.5281/zenodo.21882158` identifies the frozen v1.2.9 -manuscript. The historical Zenodo version DOI `10.5281/zenodo.21728432` and -the public record `https://zenodo.org/records/21728432` identify an earlier -public manuscript version and boundary. The actual all-versions Concept DOI is -not recorded here because it has not been independently verified from the -authoritative Zenodo metadata. +The Zenodo version DOI `10.5281/zenodo.21895917` identifies the frozen v1.2.12 +recommended reading manuscript. The preceding version DOI +`10.5281/zenodo.21882158` identifies v1.2.9, while the historical version DOI +`10.5281/zenodo.21728432` identifies an earlier public manuscript boundary. +Zenodo's authoritative record metadata identifies `10.5281/zenodo.15879392` +as the all-versions Concept DOI. Observed GitHub tags during this update: `paper-local-ode-v1.0`, `paper-local-ode-v1.1`, `paper-local-ode-v1.2`, `paper-local-ode-v1.3`, and `paper-local-ode-v1.4` already exist. Do not move them. The annotated -`paper-local-ode-v1.5` tag was created and verified at the object and -peeled-commit identifiers recorded above; it must not be moved or reused. +`paper-local-ode-v1.5` historical tag remains immutable. The annotated +`paper-local-ode-v1.6` tag was verified at the object and peeled-commit +identifiers recorded above; it must not be moved or reused. ## Theorem-bearing boundary @@ -216,13 +234,13 @@ peeled-commit identifiers recorded above; it must not be moved or reused. ## Reproduction record - structural-checks workflow URL: - `https://github.com/papasop/Geometric-Flow/actions/runs/31452933116` + `https://github.com/papasop/Geometric-Flow/actions/runs/31549636860` - validated-ODE workflow URL: - `https://github.com/papasop/Geometric-Flow/actions/runs/31452933117` + `https://github.com/papasop/Geometric-Flow/actions/runs/31549636994` - joint v0.7.4 + v0.9.3 workflow URL: - `https://github.com/papasop/Geometric-Flow/actions/runs/31452933149` + `https://github.com/papasop/Geometric-Flow/actions/runs/31549636914` - exact workflow commit: - `8742913c3ba992db98b90bc79cd691a31199d1e7` + `9f00cef039a8b97598e06e87614f9b506a81cddc` The URLs above must refer to successful runs on the exact immutable submission commit. An empty or unavailable status is not evidence of success. @@ -233,6 +251,6 @@ commit. An empty or unavailable status is not evidence of success. - manuscript licence: Creative Commons Attribution 4.0 International (CC BY 4.0) -CC BY 4.0 governs the v1.2.9 manuscript and manuscript source archive. MIT -continues to govern the repository software. The two licences cover different -artifact classes. +CC BY 4.0 governs the v1.2.12 and historical v1.2.9 manuscripts and their +manuscript source archives. MIT continues to govern the repository software. +The two licences cover different artifact classes. diff --git a/docs/PAPER_WORDING.md b/docs/PAPER_WORDING.md index 3d52ed51..0608c6ff 100644 --- a/docs/PAPER_WORDING.md +++ b/docs/PAPER_WORDING.md @@ -14,9 +14,9 @@ Use v1.2.12 as the recommended reading version: > immutable historical records. Do not describe v1.2.12 as a new theorem, a certificate rerun, a global-flow -result, or a replacement for theorem-bearing software assets. Its repository -release tag, GitHub Release, and Zenodo version DOI remain pending until the -corresponding publication gates are actually completed. +result, or a replacement for theorem-bearing software assets. Cite the +published version as DOI `10.5281/zenodo.21895917`, bound to the immutable +GitHub Release `paper-local-ode-v1.6`. ## Layer I: Unconditional Local Theorem diff --git a/docs/PUBLISHED_PAPER_BOUNDARY.md b/docs/PUBLISHED_PAPER_BOUNDARY.md index 22c5416d..face7e36 100644 --- a/docs/PUBLISHED_PAPER_BOUNDARY.md +++ b/docs/PUBLISHED_PAPER_BOUNDARY.md @@ -18,9 +18,11 @@ separates it from later repository development milestones. `2a2e6f0135ee2b53f0d022eb506c87aff4885e94a592c4f4ec8e7bdceb4f5d5b` - source manifest SHA-256: `fac13564730834b3f00323f8924415097228454889534299fee5616de42611ce` -- repository release tag: `PENDING_UNTIL_TAG` -- GitHub Release: `PENDING_UNTIL_RELEASE` -- Zenodo version DOI: `PENDING_UNTIL_ZENODO_PUBLICATION` +- repository release tag: `paper-local-ode-v1.6` +- GitHub Release: + https://github.com/papasop/Geometric-Flow/releases/tag/paper-local-ode-v1.6 +- Zenodo version DOI: https://doi.org/10.5281/zenodo.21895917 +- all-versions Concept DOI: https://doi.org/10.5281/zenodo.15879392 Manuscript v1.2.12 incorporates the recorded v1.2.9 errata and subsequent textual clarifications into a self-contained recommended reading version. It @@ -95,23 +97,21 @@ boundary. ## Tag Boundary -- Immutable paper-boundary tag: `paper-local-ode-v1.5` +- Immutable paper-boundary tag: `paper-local-ode-v1.6` - Annotated tag object: - `038ac83231af925725da8f9a2c9b10067053bcf6` + `e4da94c96f271d5eed63a1d18821476686de9aa3` - Peeled commit: - `8742913c3ba992db98b90bc79cd691a31199d1e7` + `9f00cef039a8b97598e06e87614f9b506a81cddc` -The historical tag binds the v1.2.9 Zenodo version DOI, the GitHub Release -above, the -local-paper title, the v0.7.4 + v0.9.3 theorem-bearing software boundary, the -SHA-256 manifest, and the explicit exclusion of v0.10.x continuation work from -the published-paper theorem claim. It must not be moved or reused. The -v1.2.12 repository release tag remains `PENDING_UNTIL_TAG` until it is -created in a later Gate. +The current tag binds the v1.2.12 Zenodo version DOI, the GitHub Release above, +the local-paper title, the v0.7.4 + v0.9.3 theorem-bearing software boundary, +the SHA-256 manifest, and the explicit exclusion of v0.10.x continuation work +from the published-paper theorem claim. It must not be moved or reused. The +historical `paper-local-ode-v1.5` tag remains immutable and continues to bind +the v1.2.9 public release. Historical note: `paper-local-ode-v1.0`, the historical version DOI `10.5281/zenodo.21728432`, and `https://zenodo.org/records/21728432` belong to -an earlier public manuscript boundary and are not the current v1.2.9 -manuscript/release boundary. The actual all-versions Concept DOI is not -recorded here because it has not been independently verified from the -authoritative Zenodo metadata. +an earlier public manuscript boundary and are not the current v1.2.12 +manuscript/release boundary. Zenodo's authoritative record metadata identifies +`10.5281/zenodo.15879392` as the all-versions Concept DOI. diff --git a/docs/releases/RELEASE_NOTES.md b/docs/releases/RELEASE_NOTES.md index 0b370b83..d4e7636d 100644 --- a/docs/releases/RELEASE_NOTES.md +++ b/docs/releases/RELEASE_NOTES.md @@ -1,6 +1,6 @@ # v0.9.23 release notes -## Pending manuscript archive: v1.2.12 +## Published manuscript archive: v1.2.12 - Archive the independently reviewed v1.2.12 textual manuscript revision and self-contained LaTeX source package. @@ -13,8 +13,8 @@ gate changes. - Require no Arb rerun and keep `GLOBAL_FLOW_CLAIMED=false`. -The v1.2.12 tag, GitHub Release, and Zenodo version DOI remain pending until -their publication gates are completed. +The v1.2.12 manuscript is published as Zenodo DOI +`10.5281/zenodo.21895917` and GitHub Release `paper-local-ode-v1.6`. - Added the v0.9.20 induced-infinity-norm semantic correction. - Restored and independently cross-checked the 557-step scalar continuation.