Repository navigation
Align neutron EDM, A·B, and gravity claims with evidence - #817
Merged
Merged
Conversation
Remove the unsupported exact-zero neutron EDM prediction, distinguish the leading-power-dependent A.B cross-check from structural predictions, and align gravity precision and classifications with their stated conditions and observational limits. Propagate the corrections through the book mirrors and lattice documentation while preserving numerical computations and the 22-observable SM inventory with seven S entries. Rebuild SM, GR and the complete book with the canonical build script. Preserve all Lean declarations and frozen research records.
amaybaum
marked this pull request as ready for review
October 12, 2026 18:43
…dence propagation Merge main after #816 without rewriting either branch. Correct the remaining gravitational precision and tier summaries, distinguish fitted gauge coupling agreement from independent confirmation, and classify the near-minimum neutrino mass sum as L at Layer 3 because it consumes measured oscillation splittings. Propagate all affected chapter and appendix blocks into FULL and update the three appendix inventories. Preserve the SM paper's 22-observable inventory with seven S entries and all numerical computations. Derived SM, GR and FULL TeX/PDF artifacts are STALE at this intermediate source commit. Rebuild them with the main-compatible TeX Live 2022/pandoc 2.17 toolchain before this candidate is published to #817 or merged. Source checks, exact mirrors, counts and unchanged computation AST have passed locally; host validation follows the rebuilt candidate.
The canonical TeX Live 2022 book build fails on three missing set-minus glyphs. Map setminus to unicode-math's smallsetminus construction, preserving the set-difference notation and the established Computer Modern appearance. Keep all three copies of the shared header byte-identical. The affected SM, GR, Main, Explainer, Substratum and FULL derived artifacts remain STALE at this intermediate commit and must be regenerated by build.sh before publication.
Canonical build.sh regenerates SM, GR and FULL from the corrected sources. No missing glyphs. Staleness, mirrors, manuscript voice and strict dependency labels pass. Build workflow lives on a separate disposable branch and is absent from this commit.
Canonical build.sh regenerates SM, GR and FULL from the corrected sources. No missing glyphs. Staleness, mirrors, manuscript voice and strict dependency labels pass. Build workflow lives on a separate disposable branch and is absent from this commit.
The rebuilt G12 formula cell's long label overlaps its L classification. Shorten the label to Measured splittings, preserving the hierarchy and measured-input explanation in the accompanying paragraph and all counts. Mirror the source edit into FULL. The FULL TeX/PDF artifacts are STALE at this intermediate commit until the canonical main-matched book rebuild.
Canonical build.sh regenerates SM, GR and FULL from the corrected sources. No missing glyphs. Staleness, mirrors, manuscript voice and strict dependency labels pass. Build workflow lives on a separate disposable branch and is absent from this commit.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The manuscript summaries overstated the neutron EDM prediction, the leading-power-dependent A·B extrapolation, and the empirical standing of gravitational formulas. This change aligns those summaries with their derivations and observational limits, including every affected chapter/FULL mirror.
The updated candidate incorporates merged #816 and fixes the review's remaining contradictions: fitted gauge-coupling agreement is separated from independent confirmation; gravity and tier summaries retain their conditions and individual empirical standing; the near-minimum neutrino mass sum is L at Layer 3 because it consumes measured oscillation splittings. The paper's 22-observable SM inventory retains seven S entries. The appendix's overlapping inventories are 24 = 8 S + 3 C + 8 L + 1 M + 2 R + 2 E, gravity 13 = 2 S + 9 C + 2 L, and neutrinos 7 = 2 S + 5 L.
The numerical scripts change only docstrings and display labels; their computation ASTs are unchanged. A shared-header mapping fixes a measured missing set-difference glyph under the 2022 typesetting stack. All three header copies are identical.
Validation:
The source candidate 8337e3b and the main-toolchain candidate cf817e5 each passed all 21 applicable CI jobs (runs 38346095625 and 38347125421). The final candidate shortens G12's measured-input label to prevent a cell overlap and rebuilds the book; canonical build and visual check passed in run 38347836931. Local review tree 47546826bb285f64957547d3d2ff37d1d0c9a909 equals GitHub's final candidate tree. Final PR CI is running.