Repository navigation
Manuscript consistency: canonical-measure scope, Explainer C₄ and two-branch status, Explainer document status - #926
Merged
Conversation
Partition-relativity holds under the canonical measure of Lemma 3 (Main §1.4); the measure is selected by maximal entropy, not by invariance (Main §1.2 Lemma 3 and its remarks; posit (iv), Main §4.5; kernel: invariance_does_not_select, OIBridge/CanonicalMeasure.lean). - book/ch01 §1.4 (mirrored in FULL.md): the opening paragraph, the lemma statement and the proof's last line are scoped to the canonical measure; the proof names the Liouville band as the continuum form of Lemma 3's maximal-entropy selection. A new paragraph separates the three statements about the measure: invariance (does not select), canonical selection (maximal entropy, an adopted principle), and the realization datum (Main §1.2 remark: a realization may carry its own hidden prior; partition-relativity is relative to the declared measure). - book/ch07 Step 2 (mirrored in FULL.md) and papers/GR.md Prerequisites (ii): the partition-relativity restatement carries the canonical-measure scope. No theorem, Lean module or coverage fingerprint changes. Artifacts: papers/GR.tex and book/The-Incompleteness-of-Observation-FULL.tex regenerated with the build.sh recipe and source stamp (pandoc 3.1.3). STALE until the PDF commit of this thread: papers/GR.pdf, book/The-Incompleteness-of-Observation-FULL.pdf. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…wo-branch theorem Agree with GR §3.3 and book Theorem B.7.5c and its scope paragraph. - §5.3: the C₄ ring of [SM] Proposition 20 has degenerate gaps; its exhibited conjugate partner H̄ lies in the reflection branch, H̄ = −D_s H̄ D_s† with D_s = diag(1,−1,1,−1), so the ring does not exhibit a failure, without the gap condition, of the two-branch form conditional on H-BG (GR §3.3 wording; bohr_frequency_probe F8 lint requires H-BG beside every two-branch statement). The sentence is scoped to that partner and does not settle the degenerate-gap case beyond it. The identity is exact: every entry of the ring Hamiltonian couples the even and odd sublattices, so D_s X D_s = −X (checked symbolically in a, b; bohr_frequency_probe F5 checks it numerically). - Appendix item 3: the two-branch reconstruction is stated as a conditional theorem of GR §3.3, with its hypotheses (dimension ≥ 3, distinct nonzero gaps and non-vanishing overlaps for both Hamiltonians, H-BG in GR's oriented form) and with the derivation of H-BG from the Bekir–Golomb classification open. No theorem, Lean module, census anchor or coverage fingerprint changes. Artifacts: papers/Explainer.tex regenerated with the build.sh recipe and source stamp. STALE until the PDF commit of this thread: papers/Explainer.pdf. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
The opening notice of papers/Explainer.md states the document's standing only: a supplementary historical exposition, superseded by the maintained book and technical papers as authoritative statements of the theory, with readers referred to those sources and their cited verification records where formulations differ (owner's wording; the §A.27 notice exception for a non-canonical document). The replaced note carried a date stamp, a freeze claim contradicted by the file's continued correction, the claim that the D-gauge material is available only in the Explainer (book appendix B.7 carries it), and a pending-incorporation plan. book/README.md:110 drops the date and "frozen" to match. README.md:115 already agrees and is unchanged. Artifacts: papers/Explainer.tex regenerated with the build.sh recipe and source stamp. STALE until the next commit: papers/Explainer.pdf. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
Built with `sh ./build.sh GR Explainer` and `sh ./build.sh --book` (pandoc 3.1.3, xelatex) at 5020370. The rebuild left every .tex byte-identical to the committed one; no glyph was dropped (build: OK on both runs). papers/GR.pdf source sha256 447507fb1ac9db962f058aea5b11bbc89752718089abc119326b44befd0e9469 pdf sha256 5fd075d6209c81f42682896908e98f8738713a7ec611b91157e8d1dd624d156a 86 pages (was 86), median 2560 characters per page papers/Explainer.pdf source sha256 1cfc6fe300d98c7d833a3fcbddc82e1a6e3175de815cb39a2c5723e8aab92ee6 pdf sha256 51db6fc649074b03242887495a7d7a89bbecf4da301dc5d2177ad103ac0ad3c6 69 pages (was 68), median 2386 characters per page book/The-Incompleteness-of-Observation-FULL.pdf source sha256 99f31146c900a0d87080dd4fa46d75db97c7aa348fd85c402c9265833fabb33f pdf sha256 9639a0721643ec2b2a69ceee5474708b0ddf2ecd5268765d502eada74e189fd7 553 pages (was 552), median 2547 characters per page Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
…ding Required findings R1-R3 and nits N1-N5 of the independent review of 26e365d. - R1 (ch01 §1.4, FULL.md): the realization-datum sentence follows the Main §1.2 remark. A realization carries its own fixed hidden prior μ_H as part of the realization datum, a structured preparation. The clause about invariance conditions is removed: the §3.4 construction's prior is not φ-invariant, and Main states no such condition. - R2 (appendix C, Step 1, FULL.md): the partition-relativity statement of ħ carries the canonical-measure scope, as ch07 and GR do. A re-grep of book/ and papers/ finds no other unscoped partition-relativity uniqueness statement. - R3 (Explainer appendix item 3): H-BG is stated in GR §3.3's wording, with μ defined on ascending mark pairs and the orientation chosen once for the whole pair; the conclusion names the time-independent diagonal unitary D and real E₀; "complete comparison … with the published integer classification" follows GR §3.3. - N1: the kernel citation is placed beside what invariance_does_not_select proves (distinct uniform measures on two cycles); the mixture clause is dropped. - N2: "baseline transition matrices", Main §1.2's phrase. - N3: the extra sentence after the C₄ ring is removed (minimal D4 form). - N4: Explainer §5.3 "complete comparison with the published classification", as GR §3.3. - N5: book/README.md "(superseded by this book and the technical papers)", as the Explainer notice. No coverage fingerprint, census anchor or Lean module changes. Artifacts: papers/Explainer.tex and book/The-Incompleteness-of-Observation-FULL.tex regenerated with the build.sh recipe and source stamp. STALE until the next commit: papers/Explainer.pdf, book/The-Incompleteness-of-Observation-FULL.pdf. papers/GR.md is not touched. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
Built with `sh ./build.sh Explainer` and `sh ./build.sh --book` (pandoc 3.1.3, xelatex) at ebfc12a. papers/GR.md is unchanged since 26e365d, so GR.pdf is not rebuilt. The rebuild left every .tex byte-identical to the committed one; no glyph was dropped (build: OK on both runs). papers/Explainer.pdf source sha256 faa732edb9fa7cfec37530d4392e3c0e8d852b0e4a8bde58086c0b5e45f4f758 pdf sha256 520b26b1af807bcfedb31da77533e9c1b293019b4601a0efc480f41aea289677 69 pages (was 69), median 2386 characters per page book/The-Incompleteness-of-Observation-FULL.pdf source sha256 dd451f0855262662a51f0319796ce4878c669863884160187b4b806809fdfdec pdf sha256 d08fbfed6b8dc256ff0290d6b3650c6840c2ef5021617fc3cb184ff4fed90f97 553 pages (was 553), median 2547 characters per page Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
amaybaum
marked this pull request as ready for review
October 26, 2026 03:59
amaybaum
pushed a commit
that referenced
this pull request
Oct 26, 2026
Reconciliation of #927 after #926 landed. First parent b7cda8d (#927 head), second parent c1cade8 (main). Conflicts and resolution: - papers/GR.md:20 (text): both PRs edit this one line, in disjoint spans. Resolved by keeping both: #927's item (i) clause, its R1/N1/N2 edits and its closing-sentence edits, and #926's canonical-measure insertion in item (ii). Checked mechanically: the merged line minus #926's insertion equals #927's line, and the merged line minus #927's spans equals main's line. - papers/GR.tex, GR.pdf, Explainer.tex, Explainer.pdf, book/The-Incompleteness-of-Observation-FULL.tex, FULL.pdf (generated): not hand-merged; regenerated from the merged sources with sh ./build.sh GR Main Explainer Substratum and sh ./build.sh --book. Main and Substratum rebuilt to identical .tex and PDF text; their committed PDFs are kept, since only build metadata differed. Auto-merged without conflict, checked: book/README.md, FULL.md, appendix-c-objections.md, ch01-observation.md, ch07-gravity.md, papers/Explainer.md. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
amaybaum
added a commit
that referenced
this pull request
Oct 26, 2026
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
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.
Independent review: ACCEPT at
93cf6c4c. Merge: authorized by the owner at exact head93cf6c4c, as a normal merge commit.This PR implements the owner-approved manuscript-consistency decisions D1–D6. D7 is Issue #924. The PR corrects text only and adopts no new scientific claim.
88dc9fd8. The trial merge withmain8b5e8681is clean, with treefceacee6.93cf6c4c7203acf73f83cd6adc76642328e23e03.papers/Main.mdandverification/coverage/LEDGER.jsonare untouched. The Main pointers (Main:86, Main:522) landed in Main: precision follow-ups to the foundational correction (status, scope, pointers) #925.Commits
231ca420: canonical-measure scope (D2).papers/GR.mdPrerequisites (ii), with their FULL.md mirrors and.tex.invariance_does_not_select);4af081c0: Explainer mathematics (D4, D5).50203701: document status (D3). The Explainer's dated status note is replaced by the approved wording, andbook/README.md:110is aligned with it.26e365d7: PDFs.ebfc12ad: the independent review's fixes.93cf6c4c: PDFs. The Explainer and FULL PDFs are rebuilt.Review
26e365d793cf6c4cPre-merge integration check
Run on the trial merge with
main8b5e8681. All pass:dependency_label_check --strict, artifact placement,build_migration_manifest --check;legacy_records_check(303 intact);CI at
93cf6c4c: 25 pass, 1 skipped.After this lands, #927 is reconciled:
mainis merged into it, GR.md:20 keeps both edits, and its generated files are regenerated.Related: #925 (merged), #927, Issue #924, #918.
🤖 Generated with Claude Code
https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb