[amaybaum]

Purpose

The owner asked that #982 (merged as dffe1945) keep only the changes that are needed, with every other hunk restored to its pre-#982 text (0d917665). The owner reviewed ee007c89 and returned REVISE. This head addresses that review.

A hunk counts as necessary when the old text is false or claims more than its support, and the change is the shortest accurate fix. Independently reviewed results are kept even when no old sentence needed them.

Size: the manuscript diff against 0d917665 is about 545+/430− lines. #982's was 1159+/1039− in 31 files.

Corrections

• Lemma 24.1: removed (refuted by Lean ST3_pairC). Whether the generator families are complete is open. Proposition 24.2 is attributed to Specht and Wiegmann.
• Theorem 24(i): narrowed to a hidden relabelling applied in every fibre. A relabelling that varies by fibre preserves $T_{ij}(t)$ only.
• Theorem 24(iv): is a structural graph comparison, not a family of $\mathcal{G}{\text{sub}}$. Matching growth dimension, mode count and isotropy shares the structural outputs, but need not give the same $T{ij}(t)$.
  • $\mathcal{G}_{\text{sub}}$ now has three families: (i), (iii), and (ii) under the alphabet hypothesis.
  • The completeness question concerns (i)–(iii).
  • A3 no longer calls the coupling degree gauge.
• Hidden state: "the observer provably cannot determine $h$", "multiple hidden states are compatible with any visible history" and "$h$ is undecidable" are false (swap model).
  • They are narrowed to the degrees of freedom beyond causal reach (Main §1.1) and to the complete state.
  • Substratum §2 cites the record-fibre criterion of Proposition 24.5.
• Gauge hierarchy: no inclusion Level 1 ⊂ 2 ⊂ 3 (G1 ⊂ G2 ⊂ G3) and no image/shadow map from $\mathcal{G}_{\text{sub}}$ to the SM gauge group is established; the text says so.
• Nearest-neighbour premise on the cubic reconstruction and Bravais selection; $d=3$ stays derived.
• SM Theorem 3: restricted to scalar_center_chiral_iff (opposite-parity hopping, site-independent coefficients, no 2-torsion, both parity sectors), with both directional witnesses cited.
• Hypercharges and charges:
  • The exceptional hypercharge branch (SM Theorem 15) is propagated.
  • $|q_p|=|q_e|$ is stated on the nonzero-$Y_Q$ branch (Corollary 15b).
  • The reduction to SU(3)×SU(2)×U(1) uses a specified charged matter action, and the gauge group is obtained from the commutant.

Kept recovery results (restored from #982)

• Propositions 24.3, 24.4 and 24.5 (Substratum §4.1).
• Propositions 14a and 15a and Corollary 15b (SM §4.9).

They come with their proofs, scope notes, references and ledger entries, so the ledger has 133 entries. Proposition 9.7c is not restored, because Structure 9.7b already states the general minimal Stinespring uniqueness.

Reverted to 0d917665

• papers/Main.md is byte-identical.
• Foundational reconciliation: integrate #992 and preserve recovered theorem scope #982's other new propositions and its rewording, extra hedges and reorganisation are reverted.

Guards

• Foundational reconciliation: integrate #992 and preserve recovered theorem scope #982's five hidden-state guards and its record-fibre controls run are restored in architecture_check.py, which shows 264 invariants and 0 violations.
• The other probes are aligned with the text and pass.

Record: verification/audits/manuscript/pr982-minimization-20261028/.

Review

• The independent review of f41bb21c returned ACCEPT WITH CHANGES; all its findings, and the owner's A3 note, are fixed in 18a87a57.
• The re-review of 18a87a57 returned ACCEPT with no blockers. Its optional orientation nit is applied in 60249889.
• Flagged, not changed: the old citations "(Theorems 1–6)" at Substratum:259/261 and SM:50.

Checks at 60249889

• sh ./build.sh succeeds for all changed papers and the book, and FULL.md mirrors the chapters exactly.
• The local release gate passes every step except lean-axioms, legacy-records, v3-corpus, v3-receipts and citation-roles, which run in CI. CI on the exact head is pending.

Not authorized

Merging needs owner approval at an exact SHA, as a normal merge commit.

Overlap

Open PRs #990, #991 and #993 touch the same manuscripts and may need reconciling.

🤖 Generated with Claude Code

https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

[amaybaum]

Focused read-only review note at f41bb21c542c7ca127a9ddd1fa546eb2fefd346b — A3/Theorem 24(iv) cross-reference

The revised Theorem 24(iv) explicitly states that the broad graph comparison is outside G_sub and need not preserve fixed-interface transition probabilities T_ij(t). However, papers/Substratum.md, structural assumption (A3) (currently around line 96), still says:

"the specific degree is gauge — any bounded-degree graph in the quasi-isometry class produces the same emergent quantum-mechanical, dimensional, and gravitational content, Theorem 24(iv)."

This reintroduces a gauge characterization that the revised theorem specifically withdraws. It also omits the theorem's additional spectral-mode and statistical-isotropy hypotheses, leaving the A3 statement broader than the cited source.

Requested for the ongoing independent review: classify this inconsistency and, if confirmed, make the smallest source/mirror correction. Suggested scope: bounded coupling degree is an assumption; matching broad graph properties supports only the qualified structural comparisons of Theorem 24(iv), not membership in the substratum observational gauge group or equality of T_ij(t).

My read-only checks also confirm: papers/Main.md exactly matches the pre-#982 blob; coverage ledger has 133 entries and retains P24.3–P24.5, SM14a/15a/15b; revised Structure and book chapter 3 explicitly withdraw unsupported G1/G2/G3 inclusions. CI on this exact head is not yet fully complete. No merge approval is requested or implied by this comment.

[amaybaum]

Confirmed and fixed in 18a87a57.

A3 (Substratum:96) now reads: "The physical content is boundedness itself; bounded-degree graphs with the same growth dimension, spectral mode count and statistical isotropy share the structural quantum-mechanical, dimensional, and gravitational content of Theorem 24(iv), but need not give the same $T_{ij}(t)$." No other source or mirror carries the A3 wording.

The same commit also closes the remaining findings from the independent review of f41bb21c:

• Theorem 24(iv) as gauge: two more sites in Substratum attributed gauge to (iv), in the orientation remark at :477 and the Lemma 23.0 proof at :191. Both are fixed.
• Wording: "outside $\mathcal{G}{\text{sub}}$" becomes "not a family of $\mathcal{G}{\text{sub}}$" throughout.
• Gauge hierarchy: the residual hierarchy maps are removed.
• Citations and labels: the "(Theorems 1–6)" citations added in the revision are removed, the "Graph isomorphism" label is restored, and the Z₆ global-form claim is dropped from book/README.
• Reverts: three unnecessary rewordings are reverted.

A re-review and CI on the exact head are running. No merge is requested yet.

---

Generated by Claude Code

[amaybaum]

Merge record

• Merged as: 986dab5aabbbd419467109e0b9604c8f19901688, a normal merge commit, owner-approved at exactly 6024988944a13b1d69c713c1f7853dad252752b6.
• Parents: dffe1945989f60632c75b2b3e2e96afad2af8509 (previous main) and 6024988944a13b1d69c713c1f7853dad252752b6 (approved head).
• Tree: 35b869b43694fea311509d9c7c6648f83d5c8a92, identical to the approved head's tree. dffe1945 is reachable from main.
• Pre-merge evidence:
  • Exact-head PR CI run 40812200792: 25 passed, 1 expected skip.
  • Independent review: ACCEPT, with the final one-clause delta confirmed.
• Main push CI: run 40813326865 on 986dab5a completed with success.

Follow-ups, tracked separately:

• Correct the theorem-number citations "(Theorems 1–6)" at Substratum:259/261 and SM:50.
• Reconcile WIP: actual trajectory bridge for hidden memory and C3 capacity #990, WIP: formalize nonempty record-fibre identification and recurrence bridges #991 and WIP: exact finite-image whole-future memory and capacity #993 against 986dab5a.
• Introduction paper: reconcile sources and integrate scoped theorem recoveries #918 stays on hold.

---

Generated by Claude Code