diff 3ff9228..999db1f arithmeticity_local_field_lattices_v2.txt
diff --git a/arithmeticity_local_field_lattices_v2.txt b/arithmeticity_local_field_lattices_v2.txt
index f189f88..5d49ebc 100644
--- a/arithmeticity_local_field_lattices_v2.txt
+++ b/arithmeticity_local_field_lattices_v2.txt
@@ -414,89 +414,7 @@ models. Finally, undo the finite-index restriction and the compact
sector: everything restores and Theorem~\ref{thm:arithmetic-exhaustion}
follows (Section~\ref{sec:recovery}).
-\subsection*{9. A preview of the technical skeleton}
-
-The paper's structure mirrors the story above. The following table is a
-map. (Section numbers refer to the body.)
-
-\begin{center}
-\begin{tabular}{@{}p{44mm}p{96mm}@{}}
-\hline
-Section & Contents\\
-\hline
-1 & Introduction, conventions, main theorem.\\
-2 & Arithmetic models; exact normality and dimensions.\\
-3 & Compact reduction; finite-index return; complementary regular
-realizations; product mixing; local-field geometry.\\
-4 & Boundary obstruction; link forms; strict gap growth.\\
-5 & Transverse Fourier products; geometric transfer.\\
-6 & Finite-place panels: fixed algebras and uniform upper speed.\\
-7 & Ray estimates: radial multipliers, the ray lift, spherical laws.\\
-8 & Isolated scales: linear subsequences and heights.\\
-9 & Real panels: optimal modules and upper speed.\\
-10 & Product calibration; tuple heights; Haar-height isometry.\\
-11 & Locality and commutation at isolated types.\\
-12 & Higher-component pencils and gluing.\\
-13 & Arithmetic recovery; proof of the main theorem.\\
-\hline
-\end{tabular}
-\end{center}
-
-\subsection*{10. What to read if you are curious, and in what order}
-
-If you want the shortest path to the main theorem without the full
-weight of the proof, read: the main theorem statement
-(Section~\ref{sec:intro}); the arithmetic-models section
-(Section~\ref{sec:models}), where the objects are written down; the
-statement of the arithmetic-recovery section
-(Section~\ref{sec:recovery}), which closes the loop; and the guide above
-once more, in that order.
-
-If you want to see the central machinery, read Section~\ref{sec:links}
-(the boundary obstruction and the gap count) together with
-Section~\ref{sec:transfer} (the transverse product and transfer). Those
-two sections together contain the analytic seed that the rest of the
-paper waters.
-
-If you want one isolated, self-contained piece of analysis, read
-Section~\ref{sec:ray}. The ray lift and the spherical law are the
-calculus trick that turns a limit of matrix coefficients into a measure
-of a boundary distance; the rest of the isolated-factor argument hangs on
-it.
-
-If you are a student who has never seen von Neumann algebras, the
-Appendix (Section~\ref{sec:appendix}) gives a brief introduction to the
-objects and to the two classical theorems (the group factor and its
-trace) that everything rests on.
-
-\subsection*{11. Two remarks on style and honesty}
-
-The paper is a proof. In several places one finds claims like
-"one can verify by a direct calculation", "compactness makes the
-constants uniform", "a finite net suffices". These are not hand-waves in
-the ordinary sense; they are exact facts with short verifications that
-would interrupt the geometry if spelled out in the place where they are
-used. The reader should treat them as exercises with clear local
-statements rather than as gaps.
-
-Second, the paper is not a survey and does not attempt to be complete
-on the literature. Several cited items and results are recent or
-concurrent work (for instance, the counterexamples to Connes' rigidity
-conjecture). Where a recent result is quoted, the reference is exact
-and the use is limited to what the statement needs.
-
-\subsection*{12. On the reader this guide is written for}
-
-This guide assumes no operator algebras and only a handful of
-facts about groups: that groups are made of symmetries, that some are
-continuous, and that a lattice is a discrete grid inside a continuous
-group. Everything else, including the words factor, bimodule,
-cocycle, property $(T)$, is defined where it appears. If you are a
-curious high-school student, the honest situation is this: the paper
-itself is a research artifact and cannot be read without a background in
-graduate algebra and analysis. But the shape of the argument, the reason
-each step is needed, and the meaning of the theorem are all legible
-through this guide, and that is what the guide is for.
+
\section{Introduction}\label{sec:intro}