[amaybaum]

Purpose

Correct claims that were misattributed or stated beyond their support, found after #994. Main is untouched until owner approval.

1. "Theorems 1–6" citations and the graph-comparison scope

• SM Theorems 1–6 are cubic-lattice results: the Klein–Gordon branch, Susskind factorization, chirality, mass spectrum, condensate stabilizer and link count. They do not show that general bounded-degree graphs share emergent quantum, dimensional or gravitational content.
• The citations now point to Main §3.4 (graph-independent finite-law representation), SM §3.2 (dimensional selection) and SM §3.1 (the conditional continuum-curvature step). GR is cited only for the horizon and thermodynamic arguments.
• Theorem 24(iv) and A3: graphs with the same growth exponent, mode count and isotropy each admit a finite-law representation and share the growth exponent, which is assumed. They need not give the same $T_{ij}(t)$, and no gravitational equivalence is claimed without the continuum conditions.
• The same correction is carried through Structure, Methodology and Explainer, and book ch02 (mirrored in FULL.md).

2. Integer-dimension argument

• Growth classes: the old claim that every bounded-degree graph is exponential, fractal or integer-polynomial is false. Intermediate growth (Grigorchuk) and irregular growth both occur.
• Gromov: the old step "Gromov + statistical isotropy ⇒ quasi-isometric to $\mathbb{Z}^d$" is unsupported, and the actual coupling graph is finite.
• A4 now states the premise directly: the coupling graph is a finite periodic lattice, the quotient of a rank-$d$ lattice by a finite-index sublattice. The integer $d$ is an input of A4, and neither Gromov nor Švarc–Milnor is used. This covers SM §3.2, Substratum A4 and Stage 2(a), and book ch02/ch05, with FULL.md mirrored.
• Filters: they select $d = 3$ when applied to the continuum description, conditional on the open continuum step of SM §3.1.
• Corollary: a periodic lattice with $d \neq 3$ "fails at least one of E5–E7". This replaces "produces internal contradictions".

3. Explainer observer conditions

• "Any small subgraph satisfies the conditions for emergent QM" is replaced to match SM §2.1: C1 and the C3 floor hold generically, while C2 and C4 are explicit hypotheses. The same paragraph names the premises under which the partition, the dimension and the laws are derived.

Records and infrastructure

• Audit census: B3-required now expects 1 hit in papers/Explainer.md. The new sentence states the same Theorem-22 status, and the change follows the X1 drift rule; the pattern itself is unchanged.
• Coverage ledger: the SM corollary's entry is re-keyed after its statement changed, and the ledger still has 133 entries.
• Audit record: the README under verification/audits/manuscript/pr982-minimization-20261028/ gets a follow-up section.
• Rebuilds: all changed .tex/.pdf files and the book are rebuilt with sh ./build.sh.

Review and verification

• Read-only review of 76dfcfd6: REVISE (comment on this PR).
• Independent reviews:
  • 4b629369: ACCEPT WITH CHANGES; fixed.
  • 33753d84: ACCEPT.
  • aa652877 (growth): ACCEPT WITH CHANGES, finding that the Švarc–Milnor step was false on the finite graph; fixed.
  • 0a909e42: ACCEPT, with no blockers.
• 7a125f37: adds only two record-wording fixes on top of 0a909e42.
• CI: exact-head run 40819901373 on 7a125f37 passed, and the PR merges cleanly into main 986dab5a.

Left for the owner (not changed)

• ch05:77 and ch02:70 (with their FULL.md mirrors) call $d = 3$ "a forced consequence". SM:605 and Explainer:822 say "$d = 3$ is derived". The Corollary title is "$d = 3$ is necessary, not contingent". Minimise #982 to its necessary manuscript changes #994 kept $d = 3$ as derived; the filters still select it.
• The phrase "The theorems" at SM:60 and SM:172 has no explicit referent.

Not authorized

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

🤖 Generated with Claude Code

https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb

[amaybaum]

Read-only scientific review at 76dfcfd6 — REVISE

Verdict. The citation removal is necessary. SM Theorems 1–6 are the conditional Klein–Gordon branch, the Susskind factorization, chirality, the mass spectrum, the condensate stabilizer and the link-carrier count. All six are specific to the cubic lattice, so "Theorems 1–6 do not use the regular lattice" was false. The replacements need three fixes, and the same overclaim survives in companions.

1. Citation accuracy

• Main §3.4 (graph-independent finite-law correspondence): correct.
• SM §3.2 (dimensional selection): correct.
• Gravity is mis-cited. The graph-level curvature and continuum construction (Ollivier–Ricci, continuum identification) is SM §3.1. GR §§2–3 cover the horizon partition and the emergent action scale, and GR lists its own continuum step G3 as open (abstract, §8.7).
• Affected sites: Substratum:96 (A3, "[SM §3.2; GR §2]"), SM:48/50/56/412 and Substratum:259/261. Cite SM §3.1 for the curvature/continuum step, and keep GR only for the horizon/thermodynamic arguments.

2. Scientific scope (overcorrection at Substratum:259)

• "…without thereby establishing equal quantum-mechanical, dimensional, or gravitational outputs" over-denies.
• Theorem 24(iv) assumes the same growth exponent $d$, so the growth dimension is shared by hypothesis.
• The finite-law representation is universal (Main §3.4), so both graphs admit it.
• Two things do not follow: equal $T_{ij}(t)$ at a fixed observer interface, and the conditional continuum-curvature step (SM §3.1).
• Keep universal representability distinct from the conditional dimensional and gravitational results.

3. Corpus consistency

• No "Theorems 1–6" attribution remains in the book.
• An equivalent unsupported claim, that these graphs share gravitational structural content, remains at:
  • Structure:54
  • Methodology:353
  • Explainer:976
  • book ch02:146, and its FULL.md mirror
• These sites must be aligned with the corrected (iv).

4. Minimality

• Necessary: every replacement of a "Theorems 1–6" citation, plus A3.
• Broader than needed: SM:412 (rewritten into two sentences where a citation swap suffices) and the full rewrites of Substratum:259/261.
• Prefer the smallest correction that keeps the surrounding valid wording.

Owner's additional point. Gromov's polynomial-growth theorem applies to finitely generated groups and their Cayley graphs; arbitrary bounded-degree graphs need further justification. The corrected text must not cite SM §3.2 for a quasi-isometry classification of general graphs. It should state the shared growth exponent as a hypothesis.

Disposition. The owner has handed writing ownership of this branch to the Claude session, which will apply these corrections, rebuild the TeX/PDF, mirror FULL.md and run the local gates. The final head then needs a separate independent review and green exact-head CI. No merge is requested.

---

Generated by Claude Code

[amaybaum]

Additional read-only mathematical check at aa65287746cff7638051b14b4b0c07813462c69b: Švarc–Milnor needs an explicit infinite graph/domain

The replacement of the false Gromov classification is directionally correct, but the new Švarc–Milnor step appears to have an unresolved domain/assumptions mismatch that the independent mathematical reviewer should explicitly decide.

• Finite carrier vs. infinite growth: papers/SM.md §2.4 defines S = S₁ × ⋯ × S_N from finitely many finite site spaces and defines the actual coupling graph G_φ on vertices {1,…,N}. As an ordinary graph-metric space, this finite graph is bounded and cannot be quasi-isometric to unbounded ℤ^d for d ≥ 1. A proper action of the infinite group ℤ^d on that finite graph is also impossible.
• What the lemma actually needs: On a connected, locally finite, infinite graph, a properly discontinuous, cocompact, isometric/adjacency-preserving action of ℤ^d yields the asserted quasi-isometry (Švarc–Milnor). A free rank-d action with finitely many vertex orbits would supply these properties there, but those hypotheses must be about the infinite graph actually used.
• A4 is weaker as written: papers/Substratum.md A4 says φ "commutes with lattice translations up to gauge", plus no center self-term. It does not on its face establish a free rank-d, proper/cocompact graph-automorphism action on G_φ; changing the factorization/gauge can change what is meant by adjacency.

Requested reviewer decision: Is the Švarc–Milnor claim about a separately selected infinite periodic cover/reference graph, a thermodynamic limit of finite graphs with uniformly controlled geometry, or the actual finite G_φ? State the domain and connect it to A4 and Theorem 23. If no such bridge is established, downgrade the step to a conditional statement, not an A4-derived integer-dimension theorem.

This is separate from the well-established Grigorchuk counterexample to the previous growth trichotomy. The proposed reviewer should assess it before declaring the enlarged #995 scientifically accepted. I have not changed the branch, main or any proof/grade.

[amaybaum]

Exact-head CI failure at aa65287746cff7638051b14b4b0c07813462c69b

Read-only inspection of run 40817978119, Numerical probes / core B (job 123263487551), finds an audit-census failure rather than a Lean failure:

FAIL AUDIT-B [DRIFT, re-decide disposition]:
B3-required:
  expected {'papers/SM.md': 1}
  observed {'papers/Explainer.md': 1, 'papers/SM.md': 1}
audit_census_probe: FAILED -> AUDIT-B

The newly revised Explainer apparently matches the established B3-required vocabulary. Follow the manifest's X1 protocol: inspect that exact match and its scientific meaning, decide whether the extra occurrence is acceptable, then update the manifest's expect with an explicit reason in the same commit if appropriate. Do not weaken the pattern or change the source simply to silence the gate.

Separately, the other comment on this PR records the finite-graph vs. infinite-ℤ^d Švarc–Milnor domain concern. Both need independent review before exact-head scientific acceptance. No branch/main changes made here.

[amaybaum]

Both comments on aa652877 are addressed in 0a909e42.

Švarc–Milnor domain. The independent reviewer reached the same conclusion: the actual $G_\varphi$ on ${1,\dots,N}$ is finite, so it cannot be quasi-isometric to $\mathbb{Z}^d$, and A4 as written did not state a graph-automorphism action. No bridge to an infinite cover is claimed now. The step is a stated premise instead:

• A4 (Substratum and book ch02) now says explicitly that the coupling graph is a finite periodic lattice, the quotient of a rank-$d$ lattice by a finite-index sublattice, with $d$ its dimension.
• The integer $d$ is an input of A4, not derived. Gromov and Švarc–Milnor are no longer used anywhere (SM §3.2, Substratum Stage 2(a), ch02, ch05 and FULL.md). SM §3.2 notes that under A4 $|B(r)|\sim r^d$ only below the system size.
• The three filters select $d = 3$ "applied to the continuum description, conditional on the continuum step of §3.1", which is open.
• The corollary now reads "fails at least one of the filters E5–E7" instead of "produces internal contradictions".
• Theorem 23 already lists A1–A6 among its premises, so the explicit A4 premise is carried there.

core B drift (B3-required). I inspected the new hit at Explainer:806. It states the same Theorem-22 status the entry requires: C1 structural, the C3 floor, and C2 and C4 as explicit hypotheses. That replaces the former "any small subgraph satisfies the conditions for emergent QM". Following X1, expect now includes papers/Explainer.md: 1, with that reason in the manifest's why and in the commit message. The pattern itself is unchanged, and audit_census_probe passes locally.

The aggregate "Numerical probes" failure on aa652877 is the same core B job. The independent re-review and exact-head CI on 0a909e42 are running.

---

Generated by Claude Code

[amaybaum]

Merge record

• Merged as: 925d2f0ea4e7a1dc62c35d4ec5d8ef321788b116, a normal merge commit, owner-approved at exactly 7a125f37759d91dc7bd02f44ee20880267824f1d.
• Parents: 986dab5aabbbd419467109e0b9604c8f19901688 (previous main) and 7a125f37759d91dc7bd02f44ee20880267824f1d (approved head).
• Tree: 2b10a5a1260d2f16263372b74e0036e4f9a830ba, identical to the approved head's tree. 986dab5a is reachable from main.
• Pre-merge evidence:
  • Exact-head PR CI run 40819901373: success.
  • Independent review: ACCEPT at 0a909e42. 7a125f37 adds only two audit-record wording fixes.
• Main push CI: run 40822177321 on 925d2f0e completed with success.

Owner decisions recorded:

• "Forced consequence" and "derived" for $d = 3$ are acceptable only as a conditional reading. Integer rank is assumed through A4, and $d = 3$ is selected by E5–E7. The continuum-gravity bridge stays open.
• This wording, and the "the theorems" references at SM:60/172, will be tightened in a later editorial pass before publication.
• 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 stay separate until they are reconciled with this main.

---

Generated by Claude Code