From 33efc2cc7367fe79b90f3eecf3aa74f49f0937cd Mon Sep 17 00:00:00 2001 From: bai Date: Wed, 12 Aug 2026 08:33:35 +1200 Subject: [PATCH] docs: add v1.2.9 manuscript errata Add textual clarifications and errata for the frozen v1.2.9 manuscript. - document initial-condition, target-state, tangent-domain, R3, Stage-A, certificate-location, Table 2 aggregation, and legacy-parameter clarifications - link the errata from README and manuscript provenance - update repository checksums Scientific boundary: - no frozen PDF or source archive changes - no theorem-bearing source or certificate changes - no protocol, JSON, atlas, or numerical-constant changes - no Arb rerun - GLOBAL_FLOW_CLAIMED=false - no global-flow claim Excluded actions: - no tag changes - no GitHub Release changes - no Zenodo changes --- README.md | 1 + SHA256SUMS.txt | 5 +- docs/MANUSCRIPT_ERRATA_v1.2.9.md | 167 +++++++++++++++++++++++++++++++ docs/MANUSCRIPT_PROVENANCE.md | 2 + 4 files changed, 173 insertions(+), 2 deletions(-) create mode 100644 docs/MANUSCRIPT_ERRATA_v1.2.9.md diff --git a/README.md b/README.md index aea2acb1..c55ef050 100644 --- a/README.md +++ b/README.md @@ -201,6 +201,7 @@ Paper and claim boundary: - [Claim scope](docs/CLAIM_SCOPE.md) - [Published paper boundary](docs/PUBLISHED_PAPER_BOUNDARY.md) - [Paper wording](docs/PAPER_WORDING.md) +- [Manuscript v1.2.9 clarifications and errata](docs/MANUSCRIPT_ERRATA_v1.2.9.md) - [Manuscript provenance](docs/MANUSCRIPT_PROVENANCE.md) - [Reviewer reproduction](docs/REVIEWER_REPRODUCTION.md) diff --git a/SHA256SUMS.txt b/SHA256SUMS.txt index d39ab265..27b35944 100644 --- a/SHA256SUMS.txt +++ b/SHA256SUMS.txt @@ -9,7 +9,7 @@ dda30f35ac7c4c709b0c77bf7b07cbeda44792913e1aa90ba672468eb77327e7 CHANGELOG.md 648bfd6ec2edd62a06f951444efe44a05dbfb17565ca0194e0de7be8ca05a00e CONTROL_EXTENSION_SHA256SUMS.txt 6766e3773ab0cae72b57d2ff0260bb46e28f515c1a8fd46dc6e799c4c3e31315 LICENSE 0402018a16a3578b01f0db0027bb63ef40e82a64189258aea850e7d52dc8a277 PULSER_WIENER_SHA256SUMS.txt -245901c7ca572dbf93fc06c8bfb82a0b68389d20f47cd346296aa24c60f6724c README.md +e67f9edd93b33e11c19d1e92b4e652c012fe719409f15e52826512a64291d19c 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 @@ -56,7 +56,8 @@ f670f558efac0eb5c87077f9dcdaea465b89a8de911cfe999909030b0ee5b289 docs/ARTIFACT_ d6f66ef3a23139381e3874bcebf0128afb0a5c9b5e9b2cbb311b4c816275618a docs/CLAIM_SCOPE.md 0420f5bdf41e68b027c0e114a0021d1acd02590744607947605e25fbcc18fc88 docs/CONTROL_EXTENSION_SCOPE.md 514babfd17b91394947921d61b2e83c395bd5d2b25f96bc5596ff0de7be34e81 docs/K1_BRIDGE_SCOPE.md -1c0f2b77fcb2d3a678042fb6a654fc570daa6746123d13046bcc9c7d8e141485 docs/MANUSCRIPT_PROVENANCE.md +1469688fbdf85b2b5af5a8c184e298d0b1186d49030dd0d44b51ee3e1ee91ca2 docs/MANUSCRIPT_ERRATA_v1.2.9.md +41f29776f0361f221d26b42542d6ce95ca2e92036e1e9b9b8444d37d5fa879f8 docs/MANUSCRIPT_PROVENANCE.md 6760fc98008920898d9aec408be2c540a07fa6751c6f4b5ce10beb007faf3b48 docs/MATHEMATICS.md 8f4338669bda381032abe0930a7fc7693f00b27c1d56a35753c1a7d2407e642e docs/MILESTONES.md 146d0227e86e5a9f47dc125402dcc5b9e5cd1d8bb3e14523bf589021939de841 docs/NEURAL_NETWORK_RESPONSE_FIBRES.md diff --git a/docs/MANUSCRIPT_ERRATA_v1.2.9.md b/docs/MANUSCRIPT_ERRATA_v1.2.9.md new file mode 100644 index 00000000..ff4f9b74 --- /dev/null +++ b/docs/MANUSCRIPT_ERRATA_v1.2.9.md @@ -0,0 +1,167 @@ +# Manuscript v1.2.9 - Clarifications and Errata + +This document records textual clarifications to the frozen manuscript +`geometric_flow_v1_2_9_freeze_candidate.pdf`. + +The frozen PDF and source archive are preserved unchanged. These +clarifications do not modify any theorem-bearing source, input, protocol, +certificate, JSON record, atlas, numerical enclosure, or gate threshold. +No Arb certificate rerun is required. + +## 1. Initial condition in Theorem 1 + +The certified initial-value problem in Theorem 1 is Eq. (18) with + +\[ +a(0)=0, +\qquad +\theta(0)=\theta_0=\gamma_9(31/1024). +\] + +Thus, "unique solution" means the unique solution of this initial-value +problem inside the certified Picard tube. + +The associated Picard operator is + +\[ +(\mathcal T\phi)(t) += +\int_0^t X(\phi(\sigma))\,d\sigma, +\] + +acting on the closed tube + +\[ +\{\phi:\|\phi\|_\infty\le r\}, +\qquad +r=10^{-11}, +\qquad +0\le t\le10^{-14}. +\] + +This clarification makes explicit the initial condition already fixed by +the chart construction and used by the frozen verification code. + +## 2. Nominal target-state convention + +The nominal target ray is generated from the frozen reference phase +vector by evaluating the declared analytic model at zero offset: + +\[ +|t\rangle += +\frac{|\psi(0;\theta_{\rm ref})\rangle} +{\|\,|\psi(0;\theta_{\rm ref})\rangle\|}. +\] + +The projective response and loss use this normalized target ray and its +declared projective orthogonal complement. + +## 3. Complex tangent domain + +The declared complex tangent domain used by the parametric Krawczyk +graph verification is the coordinate polydisc + +\[ +\{a\in\mathbb C^6: |a_i|\le R\}, +\qquad +R=2\times10^{-11}. +\] + +It contains the real Picard tube of radius + +\[ +r=10^{-11}. +\] + +The frozen verifier uses the same outer radius in the graph enclosure and +the Cauchy estimate. + +## 4. Meaning of obligation (R3) + +In Theorem 1's namespace, obligation (R3) should be read as: + +> the composite normal derivative \(BJN\) is uniformly invertible, and +> the pullback metric \(H=W^{T}W\) is positive definite throughout the +> certified tube. + +Here \(H\) is real symmetric positive semidefinite by construction. +The certified Neumann invertibility therefore implies positive +definiteness. + +The phrase "whitened response Gram matrix" in the frozen manuscript is +terminological shorthand and does not introduce an additional +certificate quantity. + +## 5. Midpoint Stage-A rank certificate + +The midpoint rank condition used in Theorem 1 is supported in two +compatible ways: + +1. Theorem 2(i) supplies the complete-parent-box certificate. +2. The v0.9.3 verification run independently re-executes the Stage-A + audit on child 15 and fails closed unless that audit passes. + +Accordingly, the local theorem does not rely operationally on a failed +aggregate gate from another certificate namespace. + +## 6. Location of the Theorem 2 certificate + +The stored certificate used for the broader-domain Theorem 2 constants +is located in the repository at: + +`results/reference/certificate.json` + +Its identity and checksum are recorded in the repository checksum and +provenance records. It is not contained in the v0.9.3 GitHub Release +payload; the release remains the frozen delivery boundary for the +v0.9.3 local-ODE assets. + +## 7. Table 2 aggregation convention + +The quantities + +- `tangent_projected_gradient_upper`, +- `curve_speed_square_lower`, +- `curve_speed_square_upper` + +occur within the per-child `child_box_records`. + +The manuscript values are conservative extrema over all sixteen +children. In particular, the displayed curve-speed interval combines +the minimum lower endpoint and maximum upper endpoint over the complete +set of children; its two endpoints need not come from the same child. + +## 8. Withdrawal of a legacy parameter note + +The v0.7.4 release metadata fields + +- `certified_curve_parameter = "local Chebyshev coordinate s"`, +- `legacy_field_name_note` asserting that the certified derivative is + with respect to \(s\), + +are obsolete and should not be used. + +The theorem-bearing derivative is with respect to affine atlas +arclength \(\ell\). The conversion is + +\[ +\frac{d\ell}{ds}=\frac{\ell_+-\ell_-}{2}. +\] + +This is confirmed by the frozen source convention and the frozen +curve-speed values. The obsolete metadata does not alter any stored +interval enclosure or theorem-bearing numerical result. + +## Scientific boundary + +These clarifications are textual and provenance-level only. They do not +change: + +- the frozen PDF or source archive; +- the v0.7.4 or v0.9.3 theorem-bearing numerical assets; +- the response map \(R_3\); +- the implementation objective \(L_6\); +- any interval bound or gate threshold; +- the local time interval \(0\le t\le10^{-14}\); +- the statement that global continuation remains open. diff --git a/docs/MANUSCRIPT_PROVENANCE.md b/docs/MANUSCRIPT_PROVENANCE.md index d0ffe24b..338fd03c 100644 --- a/docs/MANUSCRIPT_PROVENANCE.md +++ b/docs/MANUSCRIPT_PROVENANCE.md @@ -58,6 +58,8 @@ above has been exported and hashed for the immutable archival release candidate. `docs/manuscript/geometric_flow_v1_2_9_source.zip` - source SHA-256: `6c6d842c8ca6a31631cee3f83e42f52d8accabe34950d8c8683ce457b35b713a` +- textual clarifications and errata: + `docs/MANUSCRIPT_ERRATA_v1.2.9.md` - pages: 19, A4 - last displayed equation: (37) - references: [1]-[18]