[amaybaum]

Authority

Owner, #1028 comment 6658483532: a separate minimum-change unit correcting the description of Main, "central theorem and emergent quantum mechanics", "to reflect the actual finite-observer representation result and the open quantum-reconstruction programme", including all necessary book mirrors and generated artifacts; independent review and exact-head CI before a merge decision; not combined with the Main retitle or the Introduction rewrite.

Site list from #1028 comment 6657997292, confirmed by a whole-repo grep at base 13ced581.

Wording

Old: Main (central theorem and emergent quantum mechanics)

New: Main (finite-observer representation: the exact finite-horizon correspondence of stochastic laws, reversible realizations and fixed-basis unitary/Born representations, and hidden memory; quantum reconstruction as an open programme)

Source of the new wording: Main's abstract and §5 (exact finite-horizon S ⇔ D ⇔ Q_fb at the observable-law level; history readback forces hidden predictive memory; full operational QM needs the coherent instrument/composite hierarchy, which stays open). It matches the root README's description of Main ("finite-horizon correspondence together with the hidden-memory and recurrence results").

Sites

File	Line	Class	Change
.zenodo.json	26 (description)	source	parenthetical replaced; still valid JSON, only description differs
book/bibliography.md	9	source (chapter)	parenthetical replaced
book/The-Incompleteness-of-Observation-FULL.md	6765	mirror of bibliography.md L9 (§A.14)	identical replacement; the two lines are byte-identical
book/The-Incompleteness-of-Observation-FULL.tex / .pdf	n/a	derived	rebuilt with sh ./build.sh --book
verification/audits/manuscript/bell-operational-reconciliation-20261029/sc42-integration-result.json	n/a	generated check result	regenerated (see Checks)

Re-grep after the edit: 0 occurrences of "central theorem and emergent quantum mechanics" anywhere in the repo; the new phrase appears at exactly 4 sites (.zenodo.json, bibliography.md, FULL.md, FULL.tex). None of these files is listed in verification/infrastructure/legacy-records.json.

Deliberately out of scope

• The Main retitle and subtitle strings: the separate draft PR on fix/main-retitle-20261105 covers them. None of the sites here contains Main's subtitle. papers/Main.md, Introduction.md, Methodology.md, Structure.md and main_repro are untouched.
• Main L776 (the "equivalence of quantum mechanics and embedded observation" sentence in §5) and book/README.md L17: out of scope for this unit.
• Other uses of "emergent quantum mechanics" that do not describe Main: the .zenodo.json keyword (L15), the Zenodo description's opening sentence ("research programme deriving quantum-mechanical structure…"), book chapter prose such as "Chapter 1's emergent quantum mechanics" and the appendix-B headings, and the Slagle–Preskill reference titles. These are separate wording questions and are not changed here.

Rebuild

sh ./build.sh --book: ok, 562 pages (base PDF 561; the longer bibliography entry adds one line), 0 dropped glyphs. Median characters per page is unchanged (3051). The .tex diff shows only the reflowed bibliography paragraph and the source-sha256 stamp.

Checks (local, at head)

• staleness_check: OK (14 matched, 0 unstamped; the book stamp matches its source)
• duplicate_check: OK
• voice_check: OK (41 files)
• claims_check: OK
• coverage_check: OK (140 canonical statements, 19 unattached checkers; same as base)
• artifact_placement_check: OK (self-test passed)
• legacy_records_check: self-test OK; the commit check is UNDECIDABLE locally because the clone is shallow. This PR touches no listed record, and the full check runs in CI.
• SC-42 check_sc42_integration.py: exit 0 with all predicates passing, including the added-text scan. Before regeneration, stdout differed from the committed result in exactly one place: a new passing record, chapter line mirrored in FULL: Maybaum, A. (2026). *The Observational Incompleteness Framew.... The checker records every book/*.md chapter line changed since its base and checks that the line is mirrored in FULL, so editing bibliography.md adds this record. I regenerated the result as earlier units did, and that record is the only change (+4 lines). -O output is byte-identical. --self-test controls are byte-identical to the committed controls file.
• Push triggers: no push workflow path filter matches the changed paths, and verify.yml runs on push only for main.

Exact-head CI and independent review are still owed. Merge not authorized.

---

Generated by Claude Code

[amaybaum]

Independent review at exact head e35ce775bcd4ae5cf6e74943875d324501fc3339 (base 13ced581)

Verdict: ACCEPT. The scope is minimal and correct, the mirrors are byte-identical, the artifacts reproduce, and every check passes. The wording note in item 3 is optional and does not block the merge. This review authorizes no merge.

Reviewed read-only in my own full clone (not shallow, no alternates). origin/main = 13ced581 at review time.

1. Scope

• git diff 13ced581 e35ce775 --stat touches exactly 6 files: .zenodo.json, book/bibliography.md, FULL.md, FULL.tex, FULL.pdf and sc42-integration-result.json. No file owned by Main: retitle the subtitle to 'Finite-Observer Representations and Quantum Reconstruction' (minimum change) #1130 is touched (Main, Introduction, Methodology, Structure, main_repro). The two file sets are disjoint.
• .zenodo.json: valid JSON. A key-by-key comparison with base shows that only description differs. Trailing bytes (no final newline) are unchanged.
• bibliography.md L9 and FULL.md L6765: cmp finds them byte-identical (§A.14).
• SC-42 result: the only diff is +4 lines, one new record {"ok": true, "predicate": "chapter line mirrored in FULL: Maybaum, A. (2026). *The Observational Incompleteness Framew..."}. The checker records every chapter line changed since its pinned base ca3a5bb2, so this record is expected.
  • The normal --verbose run, the -O run and the committed result are byte-identical; verdict PASS, 0 failed predicates.
  • --self-test normal, -O and the committed sc42-integration-controls.json are byte-identical; the controls file is unchanged from base.

2. Whole-repo grep at head

• "central theorem and emergent": 0 hits, PDFs included.
• No other description of Main uses the old phrase.
  • README.md L74 already describes Main as "the finite-horizon $S \iff D \iff Q_{\mathrm{fb}}$ correspondence".
  • readers-guide.md L15 / FULL L115 ("Chapter 1 (the central theorem and characterization theorem)") describes a book chapter, not Main.
• Remaining "emergent quantum mechanics" uses are correctly out of scope:
  • the .zenodo.json keyword;
  • book chapter prose (ch03, ch07, ch11, ch12, ch14, ch15) and the appendix-B §B.2/§B.7 headings, with their FULL mirrors;
  • SM §"Status under emergent quantum mechanics" and Computation.tex;
  • the Slagle–Preskill reference titles (book, Juno, Main, SM);
  • architecture_check.py patterns and verification records.

3. Accuracy of the new wording against Main on main

• "exact finite-horizon correspondence of stochastic laws, reversible realizations and fixed-basis unitary/Born representations": matches Main's abstract, "an exact finite-horizon equivalence between … finite stochastic laws ($S$), visible marginals of finite reversible deterministic systems ($D$), and … unitary systems read out by projective Born-rule measurement in one fixed basis … ($Q_{\mathrm{fb}}$)".
  • "Exact" attaches only to that correspondence, as Main states it. The ε-accurate operational gluing direction is not described as exact.
  • "Unitary/Born representations" does not claim the Born rule is derived. In Main the Born dictionary is part of the definition of $Q_{\mathrm{fb}}$.
• "hidden memory": matches Main's history-readback result: (C4) ⇔ $M_t>0$ at an accessible time, which forces readout-relevant hidden predictive memory in every faithful completion. It also matches Main §5 (L770).
• "quantum reconstruction as an open programme": consistent with the sources.
  • Main L776 says full operational QM needs the coherent instrument/composite hierarchy, which bare finite OI does not supply, and that which conditions the substratum supplies and a derivation of the kinematics are open.
  • GR §3.3 states $\text{bare finite OI} \not\Rightarrow \mathrm{QM}$ and gives the (i)–(v) characterization with complex matrix kinematics taken as given; it calls this "a classification … not a derivation of quantum mechanics".
  • The owner's Q4 (c.6658424804) and Main: retitle the subtitle to 'Finite-Observer Representations and Quantum Reconstruction' (minimum change) #1130's new title "Finite-Observer Representations and Quantum Reconstruction" agree with it.
• Nothing is overstated.
• Optional, non-blocking: "…the exact finite-horizon correspondence of A, B and C, and hidden memory" can be parsed with "hidden memory" as a fourth member of the correspondence.
  • "…representations, and the hidden-memory results; …" or "…representations, with hidden memory; …" (the commit message's own phrasing) would remove the ambiguity.
  • The parenthetical (~35 words) is long for a bibliography gloss. It is not inaccurate, and every element traces to Main's abstract.

4. Rebuild (sh ./build.sh --book in my clone)

• book ok 562 pages, 0 dropped glyphs.
• The committed FULL.tex is byte-identical to my rebuild (the working tree stayed clean). Its stamp 419eb270… equals sha256(FULL.md).
• pdftotext -layout of my rebuilt PDF is identical to the committed PDF.
• 562 pages at head against 561 at base. The pdftotext diff from base is the bibliography paragraph, two TOC page numbers (555→556, 559→560) and the following bibliography reflow.
• The .tex diff from main is only the reflowed bibliography paragraph and the source-sha256 stamp.

5. Full-history and gate checks (full clone, at head)

Check	Result
legacy_records_check e35ce775	self-test OK; 303 record(s) in 75 closed namespace(s), all intact
citation_roles_check e35ce775	self-test OK; 0 manifest(s), all hold
staleness_check	OK (14 matched, 0 unstamped)
duplicate_check	OK
voice_check	OK (41 files)
claims_check	OK
coverage_check	OK (140 canonical statements, 19 unattached checkers)
artifact_placement_check	OK (self-test passed)

6. The Zenodo opening sentence (writer's flag; not fixed here)

The record still opens: "an AI-based research programme deriving quantum-mechanical structure from the premise that observation is a proper subsystem of a deterministic whole".

My assessment is that it is in mild tension with the corrected parenthetical, and with GR §3.3's own statement that the characterization is "not a derivation of quantum mechanics from" embedded observation.

• What Main establishes is an exact representation correspondence at the finite observable-law level. The Born form is definitional in $Q_{\mathrm{fb}}$, and $\text{bare finite OI} \not\Rightarrow \mathrm{QM}$.
• The progressive "deriving" can be read as describing an aim, which Q4 allows for a programme. Read as a description of results, it overstates them.
• I recommend a separate, owner-authorized minimum-change unit, for example "…a research programme investigating which quantum-mechanical structure follows from the premise…". The same unit could also consider the .zenodo.json keyword "emergent quantum mechanics".
• Neither change is within this PR's authorization (c.6658483532 names only the "central theorem and emergent quantum mechanics" phrase). This is not a blocker for Correct the 'central theorem and emergent quantum mechanics' description of Main (Zenodo and book mirrors) #1131.

7. CI, mergeability and merge order

• CI: the verify run 42031705869 at head_sha e35ce775 (event pull_request) concluded success.
  • All 24 jobs that ran succeeded, including Release gate, the SC-42 step, Lean kernel check and Mathlib bridge. "A42 exclusion" was skipped by its matrix condition.
  • The branch is a single commit on current main, so the tested merge tree equals the head tree.
• Mergeable state: clean (draft).
• Merge order with Main: retitle the subtitle to 'Finite-Observer Representations and Quantum Reconstruction' (minimum change) #1130 (head 25c60633, also based on 13ced581): I merged Main: retitle the subtitle to 'Finite-Observer Representations and Quantum Reconstruction' (minimum change) #1130's head into this head locally (a clean automatic merge) and re-ran the checks on the combined tree.
  • The SC-42 checker reproduces this PR's committed sc42-integration-result.json byte for byte, and --self-test reproduces the committed controls.
  • staleness_check, duplicate_check, voice_check and claims_check pass.
  • Main: retitle the subtitle to 'Finite-Observer Representations and Quantum Reconstruction' (minimum change) #1130 does not change the SC-42 result, and its papers/* added text does not enter the result file. The two PRs regenerate disjoint .tex/.pdf stamps.
  • Neither order needs re-integration or regeneration. Whichever lands second should still get its ordinary CI on the updated base before its merge decision.

---

Generated by Claude Code

[amaybaum]

Merge record (standing integration rule)

Merged at integrated head 25786577433edd6342a3de8846f45b190f98d557 as normal merge commit 2f6ff6d692f7ea962bcf90f8d65dfcde4af2892e, with parents 8418ec34 (main) and 25786577. This followed the owner's direction that #1131 be integrated and merged under the standing rule after #1129 landed and main CI passed.

Conditions checked immediately before the merge:

1. Net content: git diff 13ced581 e35ce775 is byte-identical to git diff origin/main 25786577. It covers six files (.zenodo.json, book/bibliography.md, FULL .md/.tex/.pdf, and the SC-42 result). Every blob is identical to the reviewed e35ce775.
2. Clean integration: merging main (8418ec34) produced no conflicts.
3. Scope check: on the integrated tree, check_sc42_integration.py exits 0, and its output is byte-identical to the committed sc42-integration-result.json.
4. Exact-head CI: PR run 42038484658 at 25786577 succeeded.
5. Freshness: the branch contained main (8418ec34), and main was unchanged since the integration.
6. No new permissions and no dispatches.
7. After the merge:
   • the merged tree equals the tree of 25786577;
   • main CI verify run 42040030349 at 2f6ff6d6 succeeded.

The optional tweak was not applied, per the owner's direction.

---

Generated by Claude Code