docs: close v1.2.9 erratum boundary

SHA256SUMS.txt

@@ -57,7 +57,7 @@ d6f66ef3a23139381e3874bcebf0128afb0a5c9b5e9b2cbb311b4c816275618a  docs/CLAIM_SCO
 0420f5bdf41e68b027c0e114a0021d1acd02590744607947605e25fbcc18fc88  docs/CONTROL_EXTENSION_SCOPE.md
 514babfd17b91394947921d61b2e83c395bd5d2b25f96bc5596ff0de7be34e81  docs/K1_BRIDGE_SCOPE.md
 1469688fbdf85b2b5af5a8c184e298d0b1186d49030dd0d44b51ee3e1ee91ca2  docs/MANUSCRIPT_ERRATA_v1.2.9.md
-41f29776f0361f221d26b42542d6ce95ca2e92036e1e9b9b8444d37d5fa879f8  docs/MANUSCRIPT_PROVENANCE.md
+45574056b3463e9f4eb4f4b72bce74eac46fdce50fec15941729d829828a9f3a  docs/MANUSCRIPT_PROVENANCE.md
 6760fc98008920898d9aec408be2c540a07fa6751c6f4b5ce10beb007faf3b48  docs/MATHEMATICS.md
 8f4338669bda381032abe0930a7fc7693f00b27c1d56a35753c1a7d2407e642e  docs/MILESTONES.md
 146d0227e86e5a9f47dc125402dcc5b9e5cd1d8bb3e14523bf589021939de841  docs/NEURAL_NETWORK_RESPONSE_FIBRES.md
@@ -66,7 +66,7 @@ a7f9a38634896ec96d816479ba8bc4ccbc117b933621cf15dc3dbc2aaf09835b  docs/PAPER_WOR
 8984441d6c1ea7551ae6e2f1f207d0c48e13f24dbf73e29928018d9a4669278d  docs/PROOF_GRAPH.md
 07d00692d4ffb5c5b56b63cdd56ca74c508bca7f51a496b2d0a47232a784c5b7  docs/PROOF_MAP.md
 69382d9ea7520f12efae49fe9b80c2d281e4072fe0ca112e7cd4a3a038c67727  docs/PROOF_NAVIGATION.md
-60a9c168b977a1b55e66f828e7fc2a5d5aac64e360eb2551945763a65c8a8118  docs/PUBLISHED_PAPER_BOUNDARY.md
+a3d511a2fc10a18aa5eb4f537be3a6d153caa7aa90fdd4eb9fba58fab2efcf3d  docs/PUBLISHED_PAPER_BOUNDARY.md
 1e8dfc5f9bdb0934b9b460b56645355695af931296a789bfc26dc7e71d8a012e  docs/REFERENCE_RESULTS.md
 2b881e04bf643559402aeebb4ef69636eb461b84339abdfcc4f2f526ab67e384  docs/REPRODUCIBILITY.md
 18ec360c6524fb2717cad75a506ba1eb5291703a25c47eb9a73ce6477486091b  docs/RESEARCH_STATUS_MATRIX.md

docs/MANUSCRIPT_PROVENANCE.md

@@ -60,6 +60,10 @@ above has been exported and hashed for the immutable archival release candidate.
   `6c6d842c8ca6a31631cee3f83e42f52d8accabe34950d8c8683ce457b35b713a`
 - textual clarifications and errata:
   `docs/MANUSCRIPT_ERRATA_v1.2.9.md`
+- clarification SHA-256:
+  `1469688fbdf85b2b5af5a8c184e298d0b1186d49030dd0d44b51ee3e1ee91ca2`
+- clarification boundary: repository-level textual clarification only;
+  the frozen PDF and source archive remain unchanged.
 - pages: 19, A4
 - last displayed equation: (37)
 - references: [1]-[18]

docs/PUBLISHED_PAPER_BOUNDARY.md

@@ -30,6 +30,16 @@ ODE certificate. No Arb rerun was performed for the manuscript freeze.
 
 ## Erratum
 
+The frozen v1.2.9 manuscript remains unchanged. Its official textual
+clarifications, including the certified initial condition, Picard tube,
+target-state convention, certificate-field mapping, and provenance, are
+recorded in
+[`MANUSCRIPT_ERRATA_v1.2.9.md`](MANUSCRIPT_ERRATA_v1.2.9.md).
+
+These clarifications do not alter the frozen PDF, source archive,
+theorem-bearing software boundary, numerical certificate, or claim scope,
+and they require no Arb rerun.
+
 The complete-parent-box loss derivative constant `-0.6530784697700559` is a
 bound on `dL6/dell`, where `ell` is the affine atlas arclength coordinate
 recorded by the serialized chart. It is not a bound on `dL6/ds` in the local