From d4661605bb72a56e12a21faf117f49234ac0567a Mon Sep 17 00:00:00 2001 From: bai Date: Wed, 12 Aug 2026 08:42:59 +1200 Subject: [PATCH] docs: close v1.2.9 erratum boundary Complete the repository-level boundary record for the frozen v1.2.9 manuscript clarification. - link the official manuscript erratum from the published-paper boundary - record the erratum SHA-256 in manuscript provenance - state explicitly that the PDF and source archive remain unchanged - update repository checksums This is a documentation-only provenance closure. It does not modify any manuscript artifact, theorem-bearing source, input, protocol, certificate, JSON record, atlas, numerical enclosure, or gate threshold. No Arb rerun is required, and GLOBAL_FLOW_CLAIMED remains false. This commit does not create, move, or delete any tag, GitHub Release, or Zenodo record. --- SHA256SUMS.txt | 4 ++-- docs/MANUSCRIPT_PROVENANCE.md | 4 ++++ docs/PUBLISHED_PAPER_BOUNDARY.md | 10 ++++++++++ 3 files changed, 16 insertions(+), 2 deletions(-) diff --git a/SHA256SUMS.txt b/SHA256SUMS.txt index 27b35944..34543866 100644 --- a/SHA256SUMS.txt +++ b/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 diff --git a/docs/MANUSCRIPT_PROVENANCE.md b/docs/MANUSCRIPT_PROVENANCE.md index 338fd03c..b0ac3004 100644 --- a/docs/MANUSCRIPT_PROVENANCE.md +++ b/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] diff --git a/docs/PUBLISHED_PAPER_BOUNDARY.md b/docs/PUBLISHED_PAPER_BOUNDARY.md index 03cbe4aa..1afae24e 100644 --- a/docs/PUBLISHED_PAPER_BOUNDARY.md +++ b/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