docs: close v1.2.12 publication provenance

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

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"

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).
 
 ## 中文概览

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

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 |

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.

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