==== TABLE OF CONTENTS ==== Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/four-change-pairings.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/jordan-sandwich.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/moving-comparison.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/paired-wall.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/radial-tree.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/switch-pairings.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//main.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/angular.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/chordal.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/introduction.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/observable.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/peeling.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/percolation.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/preliminaries.tex Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//refs.bib =========================== ==== BEGIN Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/four-change-pairings.tex ==== \begin{figure}[htbp] \centering \begin{tikzpicture}[scale=1.05, every node/.style={font=\small}] \foreach \dx/\ev in {0/{E_{\mathfrak A}},4.2/{E_{\mathfrak B}}}{ \begin{scope}[xshift=\dx cm] \draw[thick] (0,1.15) arc[start angle=90,end angle=450,radius=1.15]; \foreach \pos/\lab in {(0,1.15)/p,(-1.15,0)/b,(0,-1.15)/c,(1.15,0)/d_0} \fill \pos circle[radius=1.4pt]; \node[above] at (0,1.15) {$p$}; \node[left] at (-1.15,0) {$b$}; \node[below] at (0,-1.15) {$c$}; \node[right] at (1.15,0) {$d_0$}; \node at (-1.02,1.02) {$A$}; \node at (-1.02,-1.02) {$B$}; \node at (1.02,-1.02) {$C$}; \node at (1.02,1.02) {$D$}; \node at (0,-1.75) {$\ev$}; \end{scope} } \draw[very thick] (0,1.15) .. controls (0,.35) and (.35,0) .. (1.15,0); \draw[very thick] (-1.15,0) .. controls (-.35,0) and (0,-.35) .. (0,-1.15); \begin{scope}[xshift=4.2cm] \draw[very thick] (0,1.15) .. controls (0,.35) and (-.35,0) .. (-1.15,0); \draw[very thick] (0,-1.15) .. controls (0,-.35) and (.35,0) .. (1.15,0); \end{scope} \end{tikzpicture} \caption{The two four-port pairings after local caps are attached. The boundary is drawn as a circle only to show cyclic order; $A,C$ wire $\mathfrak A$ and $B,D$ wire $\mathfrak B$. Completing around $A,C$ adds one loop on the left and two on the right. The thick curves are open medial strands, not cluster paths.} \label{four:pairing-figure} \end{figure} ==== END Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/four-change-pairings.tex ==== ==== BEGIN Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/jordan-sandwich.tex ==== \begin{figure}[tb] \centering \begin{tikzpicture}[scale=.82] \begin{scope} \draw[densely dashed,gray] (0,0) rectangle (3,3); \draw (0.4,-.3) -- (2.6,-.3) (0.4,3.3) -- (2.6,3.3); \draw[very thick] (0.4,-.3) -- (0.4,3.3) (2.6,-.3) -- (2.6,3.3); \node at (1.5,1.5) {easier}; \node[below] at (1.5,-.55) {upper comparison}; \end{scope} \begin{scope}[xshift=5.2cm] \draw[densely dashed,gray] (0,0) rectangle (3,3); \draw (-.3,.4) -- (3.3,.4) (-.3,2.6) -- (3.3,2.6); \draw[very thick] (-.3,.4) -- (-.3,2.6) (3.3,.4) -- (3.3,2.6); \node at (1.5,1.5) {harder}; \node[below] at (1.5,-.55) {lower comparison}; \end{scope} \end{tikzpicture} \caption{The Jordan-quad comparison in Schoenflies coordinates. The dashed square is the limiting target; thick sides are separately wired electrodes. The easier quad extends beyond the free sides and ends inside the target's electrode sides. The harder quad has the opposite inclusions. Physical test polygons retain strict margins after pullback and lattice approximation.} \label{jordan:sandwich-figure} \end{figure} ==== END Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/jordan-sandwich.tex ==== ==== BEGIN Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/moving-comparison.tex ==== \begin{figure}[tb] \centering \begin{tikzpicture}[scale=.88,font=\small] \begin{scope} \draw[gray] (0,0) rectangle (6,4); \node[anchor=north west] at (.1,3.9) {a bank block}; \fill[gray!15] (.7,2.1) circle (.42); \fill[gray!15] (5.3,2.1) circle (.42); \draw[gray] (.7,2.1) circle (.42) (5.3,2.1) circle (.42); \draw[thick] (.7,2.1) -- (1.5,2.1) -- (2.1,2.9) -- (3.8,2.9) -- (4.5,2.1) -- (5.3,2.1); \node[above] at (2.9,2.95) {known bank $\pi$}; \draw[blue!60!black,thick,densely dashed] (.7,2.1) -- (1.5,1.8) -- (2.15,2.55) -- (3.75,2.55) -- (4.5,1.8) -- (5.3,2.1); \node[blue!60!black] at (3,2.25) {connector}; \fill[gray!15] (1.9,.75) rectangle (2.45,1.3); \fill[gray!15] (3.55,.75) rectangle (4.1,1.3); \fill (2.17,1.03) circle (.05) (3.82,1.03) circle (.05); \draw[->,densely dotted] (2.17,1.03) -- (1.9,.45) -- (1.4,.2); \draw[->,densely dotted] (3.82,1.03) -- (4.1,.45) -- (4.6,.2); \node at (3,.48) {candidates}; \node[below,align=center] at (3,-.12) {possible electrode paths}; \end{scope} \begin{scope}[xshift=7cm] \node at (2.45,3.7) {matched fibers}; \fill[gray!15] (2.1,.6) circle (.48); \fill[gray!15] (2.8,3.05) circle (.48); \draw[gray] (2.1,.6) circle (.48) (2.8,3.05) circle (.48); \draw[thick] (1.9,.5) -- (2.28,.65) -- (2.05,.91) .. controls (1.8,1.4) and (2.8,2.1) .. (2.63,2.68) -- (3,2.98) -- (2.66,3.12); \draw[blue!60!black,thick,densely dashed] (2.2,.4) -- (1.85,.7) -- (2.18,.95) .. controls (1.92,1.43) and (2.92,2.1) .. (2.77,2.69) -- (2.53,3.06) -- (2.95,3.25); \node[left] at (2.04,1.6) {$u=u_i$}; \node[right,blue!60!black] at (2.7,2.1) {$v=v_i$}; \node[right,align=left] at (3.35,3.05) {protected\\tails}; \node[below,align=center] at (2.45,-.12) {matched interiors; protected tails}; \end{scope} \end{tikzpicture} \caption{The two comparisons in the moving-domain argument, schematically. Left: a deterministic connector stays near a retained known bank block while avoiding central candidate neighborhoods; the dots have merely possible electrode paths, not known open paths or bridges to the bank. The endpoint balls are charged by the deletion estimate. Flagged cells, where an attachment is instead charged by the six-arm estimate, are not shown. Right: fibers of the rectangle abscissas $u$ in $U_n$ and $v$ in $H$ match on compact interior portions; length--area confines their remaining tails to common small balls. Neither panel asserts that $H$ and $U_n$ are nested or that their slit boundaries converge uniformly.} \label{moving:comparison-figure} \end{figure} ==== END Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/moving-comparison.tex ==== ==== BEGIN Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/paired-wall.tex ==== \begin{figure}[htbp] \centering \begin{tikzpicture}[x=1.05cm,y=1.05cm, every node/.style={font=\small}, source/.style={thick,-{Stealth[length=2mm]}}, charge/.style={thick,dashed,-{Stealth[length=2mm]}}] \fill[gray!14] (0,1.3) -- (2,1.3) -- (2,0) -- (2.6,0) -- (2.6,1.9) -- (0,1.9) -- cycle; \draw[very thick] (-2,-1.3) rectangle (2,1.3); \node at (-.65,-.35) {$\Omega$}; \node at (3.3,-.85) {$O$}; \node at (-1.55,.8) {$A$}; \node at (-1.55,-.85) {$B$}; \node at (1.55,-.85) {$C$}; \node at (1.55,.85) {$D$}; \foreach \point in {(0,1.3),(-2,0),(0,-1.3),(2,0)} \fill \point circle[radius=1.5pt]; \node[below left] at (0,1.3) {$p$}; \node[left] at (-2,0) {$b$}; \node[below] at (0,-1.3) {$c$}; \node[below right] at (2,0) {$d_0$}; \draw[source] (0,1.3) .. controls (.1,.95) and (.25,.65) .. (.25,.25); \fill (.25,.25) circle[radius=1.5pt]; \node[right] at (.25,.25) {$z$}; \draw[source] (0,1.3) .. controls (.35,1.73) and (1.75,1.7) .. (2.28,1.6) .. controls (2.4,1.45) and (2.4,.95) .. (2.4,.65); \fill (2.4,.65) circle[radius=1.5pt]; \node[right] at (2.4,.65) {$u$}; \node[above,align=center] at (1.45,1.93) {exterior $D$ strip}; \draw[charge] (0,1.3) .. controls (-.4,1.83) and (-1.85,2.05) .. (-2.65,2.35); \draw[charge] (-2.65,2.35) .. controls (-3.05,2.52) and (-3.45,2.9) .. (-3.75,3.1); \draw[charge] (-2.65,2.35) .. controls (-3.05,2.25) and (-3.45,2.15) .. (-3.75,2.05); \fill (-3.75,3.1) circle[radius=1.5pt]; \fill (-3.75,2.05) circle[radius=1.5pt]; \node[left,align=right] at (-3.8,3.1) {$w_j^{(1)}$\\$\sum_j a_j^{(1)}=1$}; \node[left,align=right] at (-3.8,2.05) {$w_j^{(2)}$\\$\sum_j a_j^{(2)}=1$}; \node[above] at (-1.65,2.3) {charge $-2$}; \node[align=center] at (-3.05,.65) {outgoing cut\\on the $A$ side}; \node[align=center] at (3.6,-.05) {opposite wire\\colors on\\the two banks}; \end{tikzpicture} \caption{The paired-wall geometry in the original plane. The solid arrows are the two source paths from $p$; the exterior probe stays in the shaded strip along $D$. The dashed pure strings leave on the other side of $p$. Each of their two endpoint lists has total charge $-1$, so their common initial cut has charge $-2$. Only representative distant endpoints are shown, not their separated metric scales. The polygon is schematic; the short interval strings and the fine parallel lanes at $p$ are omitted. Inversion is used only to describe the ideal exterior turn factors, not to change its probability law.} \label{wall:geometry-figure} \end{figure} ==== END Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/paired-wall.tex ==== ==== BEGIN Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/radial-tree.tex ==== \begin{figure}[ht] \centering \begin{tikzpicture}[scale=1.05] \draw[thick] (0,0) circle (1.55); \draw[very thick,dashed,->] (15:1.55) arc (15:132:1.55); \draw[very thick,->] (140:1.55) arc (140:365:1.55); \fill (0,0) circle (1.5pt) node[below] {$z$}; \fill (15:1.55) circle (2pt) node[right] {$W$}; \fill (140:1.55) circle (2pt) node[above left] {$O$}; \draw[->] (15:.62) arc (15:140:.62); \node at (77:.92) {$\theta$}; \node at (70:1.95) {dual arc}; \node at (255:1.94) {primal arc}; \node[align=center,text width=4.8cm] at (5.05,1.02) {$\theta=0$: primal pocket\\ advance $O$ to the next counterclockwise wall edge}; \node[align=center,text width=4.8cm] at (5.05,-1.02) {$\theta=2\pi$: dual pocket\\ reverse the wall order}; \end{tikzpicture} \caption{Normalized chart of a two-change component. The angle $\theta=O-W$ is measured counterclockwise along the dual arc. The arrows on the circle indicate boundary order, not strand orientation. The forcepoint reset uses the next old-wall edge on the retained pocket. A full turn changes the endpoint of the reflected angular interval. The drawing is schematic; microscopic tip and force sides are suppressed.} \label{tree:figure} \end{figure} ==== END Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/radial-tree.tex ==== ==== BEGIN Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/switch-pairings.tex ==== \begin{figure}[htbp] \centering \begin{tikzpicture}[scale=1.05] \begin{scope} \draw[gray] (0,0) rectangle (2,2); \draw[very thick] (0,0)--(2,2); \draw[thick] (0,1) arc[start angle=-90,end angle=0,radius=1]; \draw[thick] (1,0) arc[start angle=180,end angle=90,radius=1]; \node[below left] at (0,0) {$\mathsf P$}; \node[above right] at (2,2) {$\mathsf P$}; \node[above left] at (0,2) {$\mathsf D$}; \node[below right] at (2,0) {$\mathsf D$}; \foreach \x/\y in {0/1,1/0,2/1,1/2} \fill (\x,\y) circle (1.5pt); \node at (1,-.65) {primal open}; \end{scope} \begin{scope}[xshift=5cm] \draw[gray] (0,0) rectangle (2,2); \draw[dashed,gray] (0,0)--(2,2); \draw[thick] (1,0) arc[start angle=0,end angle=90,radius=1]; \draw[thick] (2,1) arc[start angle=-90,end angle=-180,radius=1]; \node[below left] at (0,0) {$\mathsf P$}; \node[above right] at (2,2) {$\mathsf P$}; \node[above left] at (0,2) {$\mathsf D$}; \node[below right] at (2,0) {$\mathsf D$}; \foreach \x/\y in {0/1,1/0,2/1,1/2} \fill (\x,\y) circle (1.5pt); \node at (1,-.65) {primal closed}; \end{scope} \end{tikzpicture} \caption{The two tile switches. The solid diagonal is an open primal edge; the dashed diagonal records the absent primal edge. The curved arcs specify the pairing of ports and hence the order of strand occurrences when a medial vertex is visited twice.} \label{prelim:switch-figure} \end{figure} ==== END Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//figures/switch-pairings.tex ==== ==== BEGIN Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//main.tex ==== \documentclass[11pt,a4paper]{article} \usepackage[T1]{fontenc} \usepackage[utf8]{inputenc} \usepackage{lmodern} \usepackage[margin=28mm]{geometry} \usepackage{amsmath,amssymb,amsthm,mathtools} \usepackage{microtype} \usepackage{graphicx,tikz} \usetikzlibrary{arrows.meta,calc,positioning,patterns,decorations.pathreplacing} \usepackage{enumitem,booktabs,longtable,array} \usepackage[numbers,sort&compress]{natbib} \usepackage[colorlinks=true,linkcolor=blue!45!black,citecolor=blue!45!black,urlcolor=blue!45!black]{hyperref} \hypersetup{pdftitle={Square-lattice FK interfaces and nested loops for 1 <= q < 4},pdfauthor={OpenAI}} \numberwithin{equation}{section} \newtheorem{theorem}{Theorem}[section] \newtheorem{lemma}[theorem]{Lemma} \newtheorem{proposition}[theorem]{Proposition} \newtheorem{corollary}[theorem]{Corollary} \newtheorem{claim}[theorem]{Claim} \theoremstyle{definition} \newtheorem{definition}[theorem]{Definition} \newtheorem{hypothesis}[theorem]{Hypothesis} \newtheorem{inputresult}[theorem]{Input} \theoremstyle{remark} \newtheorem{remark}[theorem]{Remark} \newtheorem{example}[theorem]{Example} \newcommand{\C}{\mathbb C} \newcommand{\R}{\mathbb R} \newcommand{\Z}{\mathbb Z} \newcommand{\N}{\mathbb N} \newcommand{\D}{\mathbb D} \renewcommand{\H}{\mathbb H} \newcommand{\eps}{\varepsilon} \newcommand{\dd}{\mathrm d} \newcommand{\SLE}{\operatorname{SLE}} \newcommand{\CLE}{\operatorname{CLE}} \newcommand{\FK}{\operatorname{FK}} \DeclareMathOperator{\diam}{diam} \DeclareMathOperator{\dist}{dist} \DeclareMathOperator{\supp}{supp} \DeclareMathOperator{\arccot}{arccot} \setlist{topsep=4pt,itemsep=2pt,parsep=0pt} \setlength{\emergencystretch}{2em} \title{Square-lattice FK interfaces and nested loops\texorpdfstring{\\}{ }for $1\le q<4$} \author{OpenAI} \date{September 23, 2026} \begin{document} \maketitle \begin{abstract} For every fixed $1\le q<4$, critical square-lattice random-cluster Dobrushin interfaces converge as ordered curves to chordal $\SLE_{\kappa(q)}$, where $\kappa(q)=4\pi/\arccos(-\sqrt q/2)$, confirming the Rohde--Schramm prediction in this parameter range. This holds in every bounded Jordan domain under uniform marked boundary approximation. The complete nested plane loop collections converge to whole-plane $\CLE_{\kappa(q)}$ in a spherical matching topology retaining multiplicities and traversals. At $q=1$ we obtain Cardy's formula for square-lattice bond percolation with free boundary edges. \end{abstract} \tableofcontents \input{sections/introduction} \input{sections/preliminaries} \input{sections/angular} \input{sections/observable} \input{sections/chordal} \input{sections/peeling} \input{sections/percolation} \bibliographystyle{plainnat} \clearpage \phantomsection \addcontentsline{toc}{section}{References} \bibliography{refs} \end{document} ==== END Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//main.tex ==== ==== BEGIN Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/angular.tex ==== \section{Angular transfer and its two leading modes}\label{sec:angular} Throughout this section, $1\le q<4$, $d=\sqrt q=2\cos\lambda$, $\rho=\lambda/\pi\in(0,1/3]$, $v=\pi/2$, and $Q=-e^{i\lambda}$. The argument has two parts. We first construct a Hilbert space from infinite-plane row correlations and prove an angular estimate there. We then identify its scalar products with reflection across diagonal cuts of the physical square array. Boundary conditions enter the resulting estimate through the norms of the exterior states. \subsection{Rows, twists, and the estimate} The local row algebra is the six-vertex form of the planar loop transfer formalism \citep{TemperleyLieb1971,BaxterKellandWu1976}. Its finite identities are verified below; the infinite-plane reflection space and the angular decay estimate require the additional analytic arguments of this section. In the spin basis $+,-$, set \[ J=\begin{pmatrix}0&1\\1&0\end{pmatrix},\qquad L_-=|-\rangle\langle+|,\quad L_+=|+\rangle\langle-|, \qquad K(\zeta)=\operatorname{diag}(\zeta,\zeta^{-1}). \] Here and below twists satisfy $|\zeta|=1$. In the ordered pair basis $++,+-,-+,--$, let \begin{equation}\label{bulk:R} R(u)=\begin{pmatrix} a(u)&0&0&0\\0&b(u)&1&0\\0&1&b(u)&0\\0&0&0&a(u) \end{pmatrix},\qquad a(u)=\frac{\sin(\lambda-u)}{\sin\lambda},\quad b(u)=\frac{\sin u}{\sin\lambda}. \end{equation} Time and space steps have unit length and angles $\alpha_t$ and $\omega_j$. Their successive sums give a rhombic tile array; initially $0<\omega_j-\alpha_t<\pi$. A spin is positive when its arrow points along the left normal of the corresponding step. If $h_0,h_1$ are the two time sides before and after advancing in space, and $s_0,s_1$ the two space sides before and after advancing in time, the tile tensor has output indices $(h_0,s_1)$, input indices $(h_1,s_0)$, and value $R(\rho(\omega_j-\alpha_t))$. On a spatial circle of even size $N$, write \begin{equation}\label{bulk:finite-row} T_N^D(\alpha)=\operatorname{Tr}_c D_cR_{c0}(\rho(\omega_0-\alpha))\cdots R_{c,N-1}(\rho(\omega_{N-1}-\alpha)). \end{equation} The auxiliary index is $c$. At the seam, $D_{x,y}$ uses the spin $x$ from tile $-1$ and $y$ from tile $0$. Let $\Omega_N$ be the positive unit Perron vector of the untwisted rows on the zero-total-spin sector, and $\Lambda_N(\alpha)$ their eigenvalue. Normalized rows are $A_N^D(\alpha)=T_N^D(\alpha)/\Lambda_N(\alpha)$. Their common Perron data, and the limiting operators $A^D(\alpha)$, are constructed below. In the homogeneous transverse array $\omega_j=v$, put \begin{equation}\label{bulk:MN} \begin{aligned} P_\zeta(z)=A^{K(\zeta)}(z),\qquad M(z)&=e^{i\tau\rho z}A^D(z),\\ N(z)&=M(z)P_\zeta(z)+P_\xi(z)M(z), \end{aligned} \end{equation} where \begin{equation}\label{bulk:charges} \zeta/\xi=Q^\epsilon,\quad \epsilon\in\{-1,1\},\qquad (D,\tau)=(L_-,\epsilon)\ \text{or}\ (L_+,-\epsilon). \end{equation} The two summands of $N$ describe the two possible positions of a source in two consecutive rows of the same angle. Products act from right to left: rows before the source carry twist $\zeta$, and rows after it carry twist $\xi$. Thus a source in the second row gives $MP_\zeta$, whereas one in the first gives $P_\xi M$. The phase in $M$ records the direction of the source row. Section~\ref{sec:current} will identify this sum with a two-step path increment; here we prove the row estimate independently of the path's exterior geometry. \begin{theorem}[Angular transfer estimate]\label{bulk:angular-estimate} Fix a compact interval $I\subset(-v,v)$. Let $B_{\rm in}$ be a product of $P_\zeta$ rows and $B_{\rm out}$ a product of $P_\xi$ rows, at real angles in $[-v,v]$. Suppose each product contains at least $n\ge1$ angles in $I$. Uniformly for $x,y\in[-v,v]$, \begin{align} \|B_{\rm out}N(x)B_{\rm in}\|&\le Cn^{-1+\rho}, \label{bulk:low-estimate}\\ \|B_{\rm out}\{N(x)-e^{i\tau(x-y)}N(y)\}B_{\rm in}\| &\le Cn^{-1-\rho}.\label{bulk:high-estimate} \end{align} The constant depends on $q$ and $I$. Boundedly many additional pairs of before-twist rows may be inserted immediately to the right of $N$, and additional pairs of after-twist rows immediately to its left. The two terms in \eqref{bulk:high-estimate} may use different such insertions; on each side their counts must be even. The constant may depend on a bound for these counts. Multiplication of $D$ by a common scalar multiplies the bounds by its absolute value. The same estimates hold in the physical square array sliced in a diagonal time direction: its time angles are $\pm\gamma_0$, where $\gamma_0=\pi/4$, and its space angles alternate between $\pi-\gamma_0$ and $\gamma_0$. The exterior states may contain any finite number of physical row and spin insertions outside the sandwich. A scalar contraction is bounded by the displayed rate times the two reflection norms, with the squares centered on a cut included in its reflection kernel. \end{theorem} The improvement in the second estimate comes from removing one angular mode, not from assuming that the exterior states have bounded norms. We first construct the plane reflection space and continue its rows analytically in the angle. Boundary unitarity then controls the scalar spectral functions near modulus one. A product of $n$ strict rows selects spectral energies of order $n^{-1}$. On those low bands, endpoint reversal singles out the mode $e^{i\tau x}$ with bound $O(n^{-1+\rho})$; the next odd mode and the remaining errors have bound $O(n^{-1-\rho})$. The combination in \eqref{bulk:high-estimate} cancels the former. The final subsection transfers this estimate, with its exterior norms, to diagonal cuts of the physical square array. \subsection{Row algebra and the infinite-plane state} The finite-dimensional identities used throughout are \begin{align} R_{12}(x-y)R_{13}(x)R_{23}(y) &=R_{23}(y)R_{13}(x)R_{12}(x-y),\label{bulk:YB}\\ R(u)R(-u)&=(1-b(u)^2)I,\label{bulk:inversion}\\ J_cR(u)^{t_c}J_c&=R(\lambda-u).\label{bulk:crossing} \end{align} For completeness, the nontrivial one-minus block of \eqref{bulk:YB} is symmetric precisely by the three sine identities \[ b(x-y)+a(x)b(y)=b(x)a(y),\qquad b(y)+a(x)b(x-y)=b(x)a(x-y), \] \[ a(x)+b(x-y)b(y)=a(x-y)a(y). \] Spin reversal gives the one-plus block; the remaining blocks are scalar. The other identities follow directly from \eqref{bulk:R}. Sliding the intertwiner in \eqref{bulk:YB} through two complete rows shows that transfers with a common diagonal twist commute: the intertwiner preserves total spin and hence commutes with the tensor square of that twist. For arbitrary insertions $D,E$, the same operation conjugates $D\otimes E$ by a two-spin intertwiner. Expanding the conjugated matrix in matrix units expresses the exchanged rows as a finite sum with new insertions. Its coefficients are analytic wherever that intertwiner is invertible. Division by the scalar Perron eigenvalues preserves this exchange identity. For strict angles, the untwisted transfer is primitive on each total-spin sector. It has positive diagonal entries; moreover an auxiliary spin can swap with any chosen opposite pair of site spins, without swapping at the other sites. Such exchanges connect the sector. Commutation therefore gives common positive left and right Perron vectors. In the homogeneous array, auxiliary transposition reverses the product in \eqref{bulk:finite-row}, since the distinct site operators commute. Equation \eqref{bulk:crossing} then gives \begin{equation}\label{bulk:adjoint} A^D(\alpha)^*=A^{J\overline D J}(-\alpha) \qquad(\alpha\in\mathbb R). \end{equation} The corresponding finite-volume identity makes the left and right vacua equal. More explicitly, a formal row word $h$ specifies a finite list $(D_1,\alpha_1),\ldots,(D_m,\alpha_m)$ of matrices and strict angles. Its finite-circle vector and vacuum coefficient are \[ h_N=A_N^{D_m}(\alpha_m)\cdots A_N^{D_1}(\alpha_1)\Omega_N, \qquad \langle\Omega_N,h_N\rangle. \] For two such words $h,g$, the proposed Gram form is \[ \langle h,g\rangle=\lim_{N\to\infty}\langle h_N,g_N\rangle. \] The following lemma establishes these limits. The empty word becomes $\Omega$, and prefixing a row to the operator product defines its left action. A bare vacuum coefficient means the same limit with the empty word in the first slot; the adjoint identity expresses every Gram coefficient as such a coefficient of a longer word. \begin{lemma}[Plane kernels]\label{bulk:plane-kernels} Finite words of homogeneous normalized strict-angle rows have limiting Gram matrices as $N\to\infty$. Their quotient and completion give a separable Hilbert space $\mathcal H$ with unit vector $\Omega$ and bounded left row actions satisfying \begin{equation}\label{bulk:row-bound} \|A^D(\alpha)\|\le2\|D\|. \end{equation} Bare vacuum coefficients are continuous in strict angles and are unchanged by a common translation of all time angles, as long as the translated angles remain in $(-v,v)$. \end{lemma} \begin{proof} We first identify the plane state, including the effect of the zero-spin projection. Take periodic lists of time and space angles in a strict range, with the two direction ranges ordered and transversely separated in a half-circle. Use tori whose period sizes are even multiples of the list periods. The resulting rhombic square array is embedded and has bounded angles. Indeed the cyclic order at each vertex gives local injectivity, while averages of runs of either family have uniformly positive length and uniformly transverse directions. Thus index distances control Euclidean distances in both directions, giving properness and global embedding. Expand each $R$ into its two adjacent-side pairings with oriented turn weight $e^{i\rho W/2}$. The pairing at the corner between the two positive steps, and at its opposite corner, has coefficient $a(u)$; the other pairing has coefficient $b(u)$. For example, the mixed entry follows from $a(u)e^{iu}+b(u)e^{-i(\lambda-u)}=1$ and its conjugate. In a single-pairing entry the two turns cancel. A contractible loop therefore has weight $d$. An essential simple oriented torus loop has total turn zero. All essential loops are parallel up to orientation. Their number $k$ is even, by the even intersection parities with both period cycles and primitivity of their common homology class. The allowed orientation count after projection onto zero spin on either chosen quantum section is \begin{equation}\label{bulk:essential-count} \chi=2^k\quad\text{if the intersection is zero},\qquad \chi=\binom{k}{k/2}\quad\text{otherwise}. \end{equation} Since $d<2$, there is $c(d)>0$ such that $c(d)d^k\le\chi\le2^k$ for every even $k$. Replacing $\chi$ by $d^k$ gives the canonical isoradial FK law, up to the bounded torus genus factor of Lemma \ref{prelim:loop-law}. To check the parameter, the relative open weight at a primal corner between the positive steps is $\sqrt q\,b/a$, and at the other primal corner it is $\sqrt q\,a/b$. If $\gamma$ is the angle at the primal corner, the odds divided by $\sqrt q$ are \[ \frac{\sin(\rho\gamma)}{\sin(\rho(\pi-\gamma))}. \] This is the canonical weight, with the complementary-angle convention of \cite[Equation~(1.1), Theorem~1.1, and Equation~(1.3)]{DCLM2019Isoradial}. That theorem applies to these fixed doubly periodic bounded-angle isoradial grids. It gives uniqueness and buffered crossing estimates, uniformly over the boundary partition on the outer buffer. The bulk passage-count argument of Lemma \ref{prelim:passages} consequently applies on each such grid. No estimate as an angle degenerates is used. Here is why the essential-orientation tilt does not change the local limit, even for unbounded aspect ratios. Let $r\le R$ denote the shorter and longer period sizes. Cover the torus by $O(R/r)$ buffered boxes of size a small fraction of $r$, with a bounded number of disjoint-buffer colors, so that every essential loop crosses one of them. Include $O(R/r)$ translates, by medium periods, of a target annulus about the query. Let $Y$ be the sum of the passage counts in this cover. For each fixed $c>0$, conditional passage moments, iteration within each color, and H\"older's inequality give \begin{equation}\label{bulk:torus-moment} \mathbb E e^{cY}\le e^{C_cR/r},\qquad k\le Y. \end{equation} The density of the tilted law is bounded above by $C e^{c_0Y}$ before normalization and its normalizing denominator is bounded below. Consequently $\mathbb E_{\rm tilt}e^Y\le C e^{CR/r}$, and Jensen's inequality gives $\mathbb E_{\rm tilt}Y\le CR/r$. Translation invariance then bounds the expected count at the target annulus uniformly. Condition on the exterior of its inner box. The number of exterior excursions from that boundary to distances comparable to $r$ before returning is tight. If it is at most $K$, changing the filling can alter only $O(K)$ essential loops: every affected loop must leave the injective chart along such an excursion. The common homology class can change only when no essential loop remains unaffected. Thus the ratios of the genus and orientation tilt over all fillings are bounded in terms of $K,q$. For the binomial case this also follows directly by comparing central binomial coefficients with indices differing by $O(K)$; a switch between the two cases in \eqref{bulk:essential-count} can occur only when there are $O(K)$ essential loops. The conditional inner law is therefore comparable with FK under the induced partition. Apply this density comparison once to the whole event that an arm or medial strand from a fixed window reaches distance comparable to $r$. On the event of at most $K$ exterior excursions, its conditional probability is at most $C(K,q)$ times the corresponding FK bound. Successive buffered circuits make that FK bound tend to zero as $r\to\infty$. The excursion count is tight, so the complementary probability becomes arbitrarily small by then letting $K\to\infty$. No density factor is accumulated separately at each circuit scale. Now condition outside a large fixed test box containing the query, and let $z_0$ be its center. Choose a fixed $\eta>0$ so small that the torus metric ball $B_T(z_0,2\eta r)$ has an injective planar lift; the transverse period bounds above give this uniform choice. For large $r$ the fixed box lies in $B_T(z_0,\eta r/2)$. The preceding escape estimate shows that, with probability tending to one, no exterior actual component or medial arc incident to the box reaches the rim of $B_T(z_0,\eta r)$. Every such object is connected and meets the box, so their entire union, together with every possible filling of the box, lies in the same injective disk $B_T(z_0,2\eta r)$. Only exterior components and arcs incident to the box can be changed by a new filling. Every changed primal component is therefore planar, so its genus contribution is unchanged; every changed medial loop is contractible. The essential loop count, homology class, and orientation factor therefore remain fixed. The conditional law of the filling is ordinary FK. Letting the test box grow, comparison of increasing cylinder events with free and wired laws and uniqueness identifies the local plane law. The same conclusion holds with finitely many marked matrices $D_i$. Given the unoriented pairing, the absolute marked orientation ratio is at most $\prod_i2\|D_i\|$: only marked loops are broken, each newly cut arc has at most two orientations, unaffected contractible loops retain weight $d$, and any residual flux constraint has no more orientations than the central count in \eqref{bulk:essential-count}. When all marked strands stay in a fixed window, they do not encounter the distant flux projection. The absence of escaping strands therefore proves marked local convergence too. Sending the time length to infinity first gives the Perron-normalized coefficient at fixed spatial circumference. Sending the circumference to infinity, and diagonalizing the two limits, gives the stated plane coefficient. Any finite word can be included in a periodic list; unmarked filler rows disappear from its normalized longitudinal vacuum coefficient. There is also a transverse quantization. Take a circle in the time index, transfer in decreasing space index, and let the auxiliary space spin flow in increasing time. The same difference relation makes the untwisted transverse transfers commute and gives common Perron data. The seam marks of the original word become one tensor-product quantum insertion. If the time circle has length $L$, write this insertion as $\mathcal D_L=\bigotimes_{t=0}^{L-1}D_t$, where $D_t=I$ at unmarked times, using the seam-index convention of \eqref{bulk:finite-row}. Let $\ell_L,r_L$ be the common left and right zero-spin Perron vectors of the untwisted transverse transfers. Sending the transverse cylinder length to infinity gives the normalized coefficient \[ \frac{\langle\ell_L,\mathcal D_L r_L\rangle} {\langle\ell_L,r_L\rangle}. \] The transverse Perron eigenvalues cancel between the marked and unmarked partitions. Their common eigenvectors, and hence this coefficient, do not depend on the strict transverse angles. Sending $L\to\infty$ gives the same plane coefficient as the longitudinal limit already identified; this is why changing transverse angles does not change it. Rotating both families and then returning the transverse angles to $v$ proves common time-angle translation invariance. Continuity follows from the finite-box FKG sandwich and uniqueness as a common finite periodic medium varies; sufficiently large fixed circuits at the limiting medium control long marked strands, and all remaining local orientation factors are continuous. Finite-volume positivity now gives the limiting Gram form. To prove boundedness before completing, let $h$ be a formal word vector and set $T=(A^D)^*A^D$, with the adjoint understood first as the reflected formal row in \eqref{bulk:adjoint}. The marked expansion bounds $\|T^jh\|^2\le C_h(2\|D\|)^{4j}$. Iterated Cauchy--Schwarz applied to the positive form $\langle h,Th\rangle$ gives \[ \|A^Dh\|^2 \le \|h\|^{2-2^{1-m}} \|T^{2^{m-1}}h\|^{2^{1-m}}. \] Letting $m\to\infty$ gives \eqref{bulk:row-bound}; the same inequality shows that null vectors remain null. Continuity of kernels, and words with rational angles and matrix entries, give separability. \end{proof} We may initially enlarge this construction by finite-position quantum spin insertions and shifts. Moving a shift through a word only translates finitely many markings, so the same proof gives the enlarged Gram space and bounds. In that space the endpoint rows are already defined by \begin{equation}\label{bulk:endpoint-rows} A^D(v)=SD_0,\qquad A^D(-v)=(JD^tJ)_0S^{-1}, \end{equation} where $(S\sigma)_j=\sigma_{j+1}$. These formulas follow from $R(0)$ being the swap and \eqref{bulk:crossing}; their vacuum eigenvalue is one. We next show that these endpoints preserve the original cyclic space $\mathcal H$. \subsection{A self-adjoint angle generator} For a formal word $h$, translate all its angles by $t$ and call the result $V_th$, for $t$ in a neighborhood of zero where the word is strict. Reflection in its Gram formula negates the angles in the reflected word. Common translation invariance therefore gives \begin{equation}\label{bulk:hankel} \langle V_th,V_sg\rangle=\langle h,V_{s+t}g\rangle \end{equation} whenever both sides are defined. These curves are continuous. If $h$ is null, then $\|V_th\|^2=\langle h,V_{2t}h\rangle=0$ for small $t$, so the translation is locally well defined on actual vectors. \begin{lemma}[Angle generator]\label{bulk:boost} There is a self-adjoint operator $B$ on $\mathcal H$ such that $V_th=e^{tB}h$ locally for each word $h$. Ordinary strict-angle words form a graph core for $B$. Each family $A^D$ extends to a bounded holomorphic operator function on $|\operatorname{Re}z|0$ its series $\sum_{j\ge0}t^j\|B_0^jh^{(k)}\|/j!$ converges. Nelson's analytic-vector theorem \citep[Lemma~5.1]{Nelson1959}, in the form stated in \citet[Definition~4.7 and Theorem~4.8]{Neeb2011}, makes $B_0$ essentially self-adjoint. Denote its closure by $B$. Finite differences of ordinary words approximate $h^{(k)}$ both in norm and after applying $B$, by the Taylor series just obtained. Ordinary words are thus a graph core. The vector series gives $V_th=e^{tB}h$ for small real $t$ on each word. For fixed $D$, the row family is strongly continuous, by the Gram continuity and uniform bound. The word identity $A^D(x+t)V_th=V_t(A^D(x)h)$ yields, weakly on the graph core, \[ \frac{d}{dx}\langle g,A^D(x)h\rangle =\langle Bg,A^D(x)h\rangle-\langle g,A^D(x)Bh\rangle. \] Integrate this equality and approximate $g,h$ in graph norm to extend it to $\operatorname{Dom}B$. The extension in Equation~\eqref{bulk:imaginary-covariance} then satisfies the Cauchy--Riemann equations between domain vectors, with continuous partial derivatives. Its uniform bound $2\|D\|$ extends weak holomorphicity from that dense set to all vectors, hence gives bounded operator holomorphicity throughout the strip. \end{proof} Words whose angles all lie in the middle third $(-v/3,v/3)$ already span densely: test orthogonality to them and apply analyticity successively in every argument of a word. For a fixed twist, analytic continuation of the commuting-row identity and \eqref{bulk:adjoint} gives \begin{equation}\label{bulk:P-star} [P_\zeta(z),P_\zeta(w)]=0,\qquad P_\zeta(z)^*=P_\zeta(-\overline z). \end{equation} Thus this family lies in an abelian von Neumann algebra. Decompose its representation into cyclic summands, or equivalently into a direct integral with multiplicity spaces: each algebra element acts on a fiber by a scalar times the identity, while Hilbert-space vectors remain vector-valued on that fiber. The cyclic representation and spectral calculus are recalled in \citet[Sections~3.8 and 4.3]{Peterson2020OperatorAlgebras}. Its simultaneous spectral variables can therefore be chosen as scalar functions $f(z)$, analytic almost everywhere on the strip, bounded by $2$, and satisfying $f(-\overline z)=\overline{f(z)}$. To obtain one common exceptional set, start with a multiplication representation of the algebra generated by countably many arguments in a dense set, and use the norm-bounded Taylor series on countably many discs. Covariance \eqref{bulk:imaginary-covariance} says that $f(z)\mapsto f(z+ib)$ preserves the spectral measure class. \subsection{Continuation through the two edges} To estimate long products of rows, we next need uniform control of their scalar spectral functions up to the two boundary lines of the strip. \begin{lemma}[Scalar continuation in a fixed band]\label{bulk:edge-band} Almost every spectral function $f$ extends analytically and without zeros to bands of one fixed positive width about the lines $\operatorname{Re}z=\pm v$. It has modulus one on those lines and satisfies $|f(z)|\le1$ in the intervening strip. At any specified point of the strip, the set of spectral functions vanishing there has measure zero. \end{lemma} \begin{proof} We first obtain a uniform finite-volume vacuum estimate. Temporarily write $T_D(u)=T_N^D(v-u/\rho)$. For $u$ in a fixed sufficiently small complex disc about zero, both \begin{equation}\label{bulk:division} T_D(u)T_I(u)^{-1},\qquad T_I(u)^{-1}T_D(u) \end{equation} are holomorphic with norms at most $C\|D\|$, uniformly for all sufficiently large $N$. To prove the first assertion, multiply by the transfer $\widetilde T_I(-u)$ having reversed auxiliary order. Fold its auxiliary index $c'$ by transposition. The product is the two-auxiliary partial trace of $(D\otimes I)\prod_jG_j$, in increasing site order, where \[ G_j=R_{cj}(u)R_{c'j}(-u)^{t_{c'}}. \] The line spanned by $|++\rangle+|--\rangle$ is invariant in the auxiliary space, and on this line $G_j$ is $r(u)I$, where $r(u)=1-b(u)^2$, by inversion. At $u=0$ the range of $G_j$ is entirely in that line tensored with the site, by the swap identity. In the common triangular decomposition, $G_j/r(u)$ has identity on this line, a complementary diagonal block of norm at most $C|u|$, and a bounded off-diagonal block. A product of these matrices has uniformly bounded norm, since the off-diagonal block is bounded by a geometric series. Its partial trace without $D$ differs from the identity by at most $C(C|u|)^N$: the off-diagonal block has zero partial trace, the line block gives the identity, and the remaining diagonal product has the stated norm. This partial trace is invertible on one fixed disc, proving the first bound in \eqref{bulk:division}. Reversing the product in $G_j$ gives the same argument with the invariant covector, proving the second. Crossing gives the corresponding bounds near $u=\lambda$. The common vacuum is an eigenvector of $T_I(u)$ by analyticity, and its eigenvalue is nonzero in these discs. Hence $A_N^D(z)\Omega_N$ has a uniform vector bound in discs of a fixed radius about $z=\pm v$. Pairing with each fixed limiting word, normal-family compactness gives analytic subsequential limits; their values on the interior fix them uniquely. The vector norm bound identifies these limits with a bounded holomorphic $\mathcal H$-valued function. To identify its endpoint values, Cauchy's derivative estimate on a smaller fixed disc gives, uniformly in $N$, \[ \bigl\|(A_N^D(x)-A_N^D(e))\Omega_N\bigr\| \le C_D|x-e|,\qquad e\in\{-v,v\}, \] for real interior $x$ sufficiently close to $e$. The enlarged Gram construction includes the endpoint swap vectors from \eqref{bulk:endpoint-rows} and their mixed scalar products with strict row words. Passing to those Gram limits preserves the squared norm inequality. Letting $x\to e$ therefore identifies the continued vacuum vector with the swap vector strongly in the enlarged space. This is convergence in the angle, not a claim of strong convergence between different finite-circle spaces. Now commute this endpoint row through a word with all angles in $(-v/3,v/3)$. Each exchange uses an intertwiner whose inverse is analytic on one fixed disc about the endpoint, independent of the word: the middle-third angle restriction keeps its parameter uniformly away from inversion zeros. The exchange expresses the result as a finite sum of bounded interior rows applied to the continued vacuum vectors. It follows that the endpoint preserves $\mathcal H$ and that $A^D(z)h$ continues holomorphically on this same disc for every middle-third word $h$. Its bound may depend on the word, because the number of exchanges does. This does not alter the radius. Strong convergence of interior rows to the endpoint holds first on this dense set and then on all of $\mathcal H$, by the uniform interior operator bound. Choose a countable dense set of middle-third words $h_j$, and a finite equivalent measure in the spectral representation of $P_\zeta$. If $r$ is the common continuation radius, write the continued vector as $F_j(z)=\sum_{k\ge0}a_{jk}(z-v)^k$ at the right endpoint. For $r'0$ independent of the spectral point. The disk factorization and its boundary-spectrum description \cite[pp.~1367--1368, Equations (1)--(2)]{AiDongJiang2019}, transported by $(w-1)/(w+1)$, therefore give \begin{equation}\label{bulk:inner-factorization} f(w)=\eta e^{-aw-b/w}\prod_j\beta_j(w),\qquad a,b\ge0,\quad |\eta|=1. \end{equation} Here $\beta_j$ is $(w-w_j)/(w+\overline{w_j})$ with the canonical constant phase, chosen positive at $w=1$ when $w_j\ne1$. The zeros satisfy the half-plane Blaschke condition $\sum_j\operatorname{Re}w_j/(1+|w_j|^2)<\infty$. There is no other singular factor: analytic continuation across the rest of the boundary excludes singular measure there, leaving only atoms at $0$ and $\infty$. Under the Cayley map these two atoms give exactly $b/w$ and $aw$. Suppose $-\log|f(1)|\le s$, where $s>0$ is sufficiently small. There is then no zero at $1$, and evaluation of \eqref{bulk:inner-factorization} gives \begin{equation}\label{bulk:zero-budget} a+b+\frac12\sum_j \log\left(1+\frac{4\operatorname{Re}w_j}{|1-w_j|^2}\right)\le s. \end{equation} The cone condition implies, with a fixed constant, \begin{equation}\label{bulk:small-large} a+b+\sum_j\min\{|w_j|,|w_j|^{-1}\}\le Cs. \end{equation} Indeed, for $r=|w_j|$, the fraction inside the logarithm is at least $4cr/(1+r)^2$, and the resulting logarithm is bounded below by a positive constant times $\min(r,r^{-1})$. Choose $c_1>0$ sufficiently small. On the half-annulus \begin{equation}\label{bulk:annulus} c_1^{-1}s<|w|0, \end{equation} where the inverses are only on the stated low bands. The two versions of \eqref{bulk:reversal} give equality on both imaginary rays. Uniform bounds and strong boundary continuity allow weak holomorphic gluing, for instance by Morera's theorem on small rectangles crossing the rays. Thus $M_c$ is holomorphic on the full annulus \eqref{bulk:annulus}. Throughout it, \begin{equation}\label{bulk:Mc-bound} \|M_c(w)\|\le C|w|^{\tau\rho}. \end{equation} Write its Laurent expansion as $\sum_{j\in\mathbb Z}w^jM_{c,j}$. Cauchy estimates on circles near the inner or outer edge give \begin{equation}\label{bulk:Laurent} \|M_{c,j}\|\le C(C's)^{|j-\tau\rho|}. \end{equation} On $|w|=1$, summing these estimates yields \begin{align} \|M_c(w)\|&=O(s^\rho),\label{bulk:Mc-small}\\ \frac{M_c(w)-M_c(-w)}2 &=w^\tau M_{c,\tau}+O(s^{1+\rho}),\qquad \|M_{c,\tau}\|=O(s^{1-\rho}).\label{bulk:odd-mode} \end{align} Here the nearest odd integer to $\tau\rho$ is $\tau$; the next possible distance is $1+\rho$. This is where $0<\rho\le1/3$ is used in the ordering of the relevant exponents. Refine the left and right low bands by signs $\sigma_\xi,\sigma_\zeta$. If the signs agree, \eqref{bulk:gluing} and \eqref{bulk:sign-approx} imply $M_c(-w)=-M_c(w)+O(s)\|M_c(w)\|$ on the unit semicircle. By \eqref{bulk:Mc-small}, its even part is $O(s^{1+\rho})$. On this block, \[ E_\xi^{\sigma_\xi}(s)N(w)E_\zeta^{\sigma_\zeta}(s) =2\sigma_\xi w^\tau M_{c,\tau}+O(s^{1+\rho}). \] If the signs disagree, the two leading signs in $M_cP_\zeta+P_\xi M_c$ cancel, giving $O(s^{1+\rho})$ directly. Consequently, on the full low bands, \begin{align} \|E_\xi(s)N(x)E_\zeta(s)\|&\le Cs^{1-\rho}, \label{bulk:low-band}\\ \|E_\xi(s)\{N(x)-e^{i\tau(x-y)}N(y)\}E_\zeta(s)\| &\le Cs^{1+\rho}.\label{bulk:high-band} \end{align} All real $x,y\in[-v,v]$ correspond to the closed unit semicircle. A product of an even bounded number of extra rows is $I+O(s)$ on each sign block, by \eqref{bulk:sign-approx}. Its error multiplied by \eqref{bulk:Mc-small} is $O(s^{1+\rho})$. This proves exactly the same conclusions with the extra pairs stated in Theorem \ref{bulk:angular-estimate}, even if the two terms use different pairs. To finish the sandwich estimate, decompose each $H_\zeta,H_\xi$ into $[0,n^{-1}]$, dyadic intervals above $n^{-1}$ up to a small fixed threshold, and the remaining interval. Schwarz--Pick gives, uniformly for $x$ in the fixed compact interval $I$, \[ 1-|f(x)|\ge c_I(1-|f(0)|). \] One can obtain this directly from the pseudohyperbolic contraction between $0$ and $x$; their hyperbolic distance stays bounded on $I$. A band with lower endpoint $u$ below the fixed threshold is therefore damped by the $n$ strict steps by $e^{-cnu}$; the remainder is damped exponentially in $n$. All other rows are contractions, including the endpoint rows. Apply \eqref{bulk:low-band} or \eqref{bulk:high-band} with $s$ the larger of the two band upper endpoints. The double dyadic sum of \[ C\max(u,u',n^{-1})^\beta e^{-cn(u+u')}, \qquad \beta=1-\rho\ \text{or}\ 1+\rho, \] is at most $C_\beta n^{-\beta}$. Terms involving a remainder band use the uniform unrestricted row bound and are exponentially small. This proves \eqref{bulk:low-estimate} and \eqref{bulk:high-estimate} in the homogeneous representation. \subsection{Diagonal cuts and the physical reflection norm} It remains to prove the final assertion of Theorem \ref{bulk:angular-estimate}. Work in the diagonal time frame and write \[ \gamma_0=\pi/4,\quad X=e^{-i\gamma_0},\quad Y=e^{i\gamma_0},\quad H=-X,\quad L=Y. \] Space steps alternate $H,L$, starting with $H$; time steps are $X$ or $Y$. Put $R_*=R(\lambda/2)$ and let \begin{equation}\label{bulk:G} G=\prod_j\bigl(\operatorname{swap}R_*\bigr)_{2j,2j+1}. \end{equation} The factors act on disjoint pairs. Each is positive definite: its middle block has eigenvalues $1\pm b(\lambda/2)>0$, and the two outer entries are $a(\lambda/2)>0$. Use $G$ as the finite-circle metric. Directly from the collapsed tiles, \begin{equation}\label{bulk:diagonal-rows} T_N^D(\gamma_0)=D_{N-1}SG,\qquad T_N^D(-\gamma_0)=(JD^tJ)_0S^{-1}G. \end{equation} Here is the geometry behind both the metric and these formulas. The lower slice has vertices $p,p-X,p+Y-X,\ldots$. Reflection in the cut through $p$, perpendicular to time, gives upper order $L,H$. For lower spins $(c_0,c_1)$ and upper spins $(d_0,d_1)$, the intervening square kernel is \[ (R_*)_{-c_0,d_0;-d_1,c_1} =(\operatorname{swap}R_*)_{d_0,d_1;c_0,c_1}. \] Shifting the slice origin by $Y$ or $X$ puts the seam at site $-1$ or $0$ respectively, with reversed conventions in the latter case. Equivalently, every second indexed tile has collapsed. A coincident-step tile gives $R(0)$, the swap; an opposite-step tile gives $R(\lambda)$, which imposes $h_0=-s_1,\ h_1=-s_0$, with weight one. Its duplicate sides are therefore spin identifications. The adjoint for the $G$ metric exchanges the two time steps and sends $D$ to $J\overline D J$. Both untwisted operators $S^{\pm1}G$ are primitive on the zero-spin sector. Over a complete shift cycle, paired bonds of both parities are available. One can hold every pair or swap a chosen adjacent opposite pair, and such swaps connect the sector. The transfers commute, have a common positive right Perron vector, and have the same eigenvalue: their relation by $S^2$ and uniqueness make the vector $S^2$-invariant. Their left Perron data are its $G$-dual. Normalize the vacuum to unit $G$ norm. These degenerate indexed arrays are exactly physical square tori; they need no limiting estimates for degenerate rhombi. To check this in both quantizations, let $p_t$ follow a periodic sequence of $X,Y$ steps with even period size, and set \[ q_{2j}=j(Y-X),\qquad q_{2j+1}=q_{2j}-X. \] The uncollapsed tiles of the array $p_t+q_j$ biject with the physical squares centered at each time level. The collapsed identifications join duplicate physical edges as just described. There are no free cycles consisting solely of duplicates: each collapsed pair uses a time edge, which by the alternating space pattern is also incident to an uncollapsed tile. Hence zero-spin projection on either an unmarked zigzag slice or a periodic time path is precisely the corresponding physical flux projection. Marks at the time seam mark that physical path. The periods preserve parity and are uniformly transverse, so the torus-to-plane argument of Lemma \ref{bulk:plane-kernels} applies directly to these square kernels. For clarity, the transverse period product is primitive too. Prescribe arbitrary zero-sum spin sequences on the time paths $p_t$ and $p_t+m(Y-X)$. Interpret them as increments of integer heights with consistent sublattice parity, periodically bounded on the two lifted paths. Each path is geodesic in the square graph with steps $X,Y$, so its own heights are $1$-Lipschitz. Between the two paths the graph distance is at least $|m|$: if the time-level difference is $\ell$, the two lower bounds are $|\ell|$ and $2|m|-|\ell|$. Thus for all sufficiently large $|m|$ the prescribed heights together are $1$-Lipschitz. Extend them by the minimum of the integer distance cones $h(a)+\operatorname{dist}(a,\cdot)$ from prescribed vertices $a$. This extension is time-periodic; its parity is fixed, so every edge increment is exactly $\pm1$. It gives an allowed spin configuration of positive weight across the transfer strip. Therefore a sufficiently large power of either oriented two-space-step transfer has all entries positive. The difference relation makes this period product commute with the untwisted transfer at strict transverse angle $v$ on the same time chain; the intertwiners involved are invertible. They consequently share Perron data. Seam-marked transverse vacuum coefficients agree with those at that strict angle. Construct the limiting Gram space with the $G$ metric, allowing the two endpoint rows, local site matrices, and $S^2$. The adjoint of a site matrix, conjugated by $G$, is still local and bounded. The preceding physical cylinder limits and the marked moment argument give the Gram limits and bounded row actions. Let $\mathcal H_*$ be the closed subspace generated by seam words in $A^D(\pm\gamma_0)$ alone. Their Gram kernels are the homogeneous transverse kernels, by the adjoint formula, the transverse Perron comparison, and then the plane limit. Thus $\mathcal H_*$ identifies isometrically with the subspace of $\mathcal H$ generated by those words. This subspace also contains the physical states required in the theorem. It is reducing for $P_1(\pm\gamma_0)$. Those operators have dense range there, because their adjoints have no kernel by the no-zero assertion at the specified interior angles. The finite-row identities give \[ S^2P_1(-\gamma_0)=P_1(\gamma_0). \] Both shifts by two therefore preserve $\mathcal H_*$, first on a dense range and then by continuity. Equation \eqref{bulk:diagonal-rows} with arbitrary $D$ similarly shows that site matrices at $-1$ and $0$ preserve it; shifting by two gives every finite site. Every physical edge between tiles lies on a time-level zigzag slice, so arbitrary finite physical modifications are such site insertions interleaved with layer transfers. They belong to $\mathcal H_*$. For ordinary homogeneous slicing the same assertion follows from the endpoint shifts; several time-edge insertions on a strict row can also be moved to one seam by commuting through finite strings of invertible $R$ matrices and expanding their matrix elements. Finally, reflection in a time-level cut, followed by complex conjugation and arrow reversal, matches lower spins to upper spins through the intervening kernel $G$. Normalize by the unmarked vacuum, or equivalently by the unit $G$ vacuum and one common Perron factor per layer. The squared norm of a lower state is then exactly the vacuum expectation ratio of its reflected configuration. Between two cuts, transfer from the lower slice of the first to the lower slice of the second, and glue to the reflected future there using $G$. Strings immediately below and above the last cut act on the respective states and leave this kernel unchanged. The homogeneous estimate restricted to $\mathcal H_*$ is therefore the asserted diagonal estimate. This completes the proof of Theorem \ref{bulk:angular-estimate}. \section{Local path calculus for the current}\label{sec:current} The transfer estimate applies to a lattice current because its path dependence can be removed locally. This section proves the needed tensor identities and records the phase bookkeeping when a current is placed between two diagonal cuts. \subsection{A path primitive and its deformation rule} Direct a simple path $\mathcal C$ of tile edges from its initial point. Measure each crossing spin using the left normal of the path step. At a crossing, a matrix has row index on the right tile and column index on the left tile. Lift the tangent angle continuously along a rounded version of the path, starting with a specified lift. Define its primitive $\mathcal J(\mathcal C)$ by summing over the choice of one marked step: \begin{itemize} \item at that step insert $e^{i\rho\alpha}L_-$, where $\alpha$ is the lifted tangent angle; \item on all preceding steps insert $K(Q)$; \item on all later steps insert the identity. \end{itemize} Thus both strand arrows at the marked crossing point away from it. All insertions are additional to the tile tensors. Other primitives and other marked insertions are kept outside the deformation corridor, unless their order is explicitly included. \begin{lemma}[Local deformation]\label{cur:deformation} In the positive winding expansion, the primitive is invariant, pairing by pairing, under simple-path isotopies that continue its initial lift, keep its endpoints in their regions, and avoid the other insertions. The statement is a tensor identity for arbitrary outside spins. A pure diagonal string obeys the corresponding deformation rule without a source. \end{lemma} \begin{proof} Draw the strands smoothly and disjointly, with transverse path crossings. At a marked crossing use the tangent-angle lift rotated by less than $\pi/2$ to the orthogonal crossing direction; this agrees with the lattice convention at a tile edge. Sliding the source on its strand while its tangent changes by $b$ changes the sum of the turns of the two departing pieces by $-2b$. The winding factor is consequently multiplied by $e^{-i\rho b}$, which cancels the change of the marker gauge. All other spin constraints and prefix factors correspond directly. A generic isotopy also creates or removes a pair of crossings at a tangency. Terms marked elsewhere are unchanged because the two new diagonal factors cancel. The two terms marked at the new crossings cancel one another. To check the sign, orient a test tangent $\beta$ of the strand approximately in the path direction near tangency, so crossings $1,2$ occur in that order both along the path and along this test direction. With the source at crossing $2$, let $c_1$ be the signed spin at crossing $1$; the strand there travels opposite to $\beta$, away from the source. The orthogonalized lifts satisfy \begin{equation}\label{cur:tangency-lift} (\alpha_2-\beta_2)-(\alpha_1-\beta_1)=-c_1\pi. \end{equation} For example, when the first path tangent is clockwise from $\beta$, the offsets are $-\pi/2,+\pi/2$ and $c_1=-1$; the other case reverses the signs. The ratio of the marker gauge times the source-piece winding factors is therefore $e^{-ic_1\lambda}$. The extra prefix factor is $Q^{c_1}$, and \[ e^{-ic_1\lambda}Q^{c_1}=-1. \] The outside constraints and factors of the two terms are identical. This proves the cancellation. A generic isotopy has only isolated tangencies of this kind, besides transverse slides, and can be chosen to keep all fixed insertions disjoint. This proves the primitive identity. For a pure diagonal string, only the first cancellation is needed; equivalently it is the tile ice-conservation identity. \end{proof} \subsection{Boundary-tree coefficients} We use the boundary factors from Section \ref{sec:exponents}. For reference, if $\theta_j$ is the lifted inward normal at port $j$, $h_j$ its real height parameter, and $c=\pm1$ is its inward/outward arrow sign, they are \[ b_j(c)=(2\sin\lambda)^{-1/2} \exp\{ic(\rho\theta_j/2+\lambda h_j)\}. \] Consider a disk, order its boundary from a flat gap $p$, and assume there are no obstructing extra strings. Start a path from $p$ toward an interior vertex $z$ with initial tangent lift strictly between the positive boundary tangent and that tangent plus $\pi$. Every boundary arc bounds a child interval not containing $p$; these arcs form the separator tree of the complementary regions. \begin{lemma}[Tree evaluation]\label{cur:tree-weights} For an arc $e:i\to j$ bounding its child interval, put $m=h_i-h_j$ and \begin{equation}\label{cur:weights} \begin{aligned} w_e&=\frac{\cos((m-\tfrac12)\lambda)}{\sin\lambda},& k_e&=-\frac{\cos((m+\tfrac12)\lambda)}{\sin\lambda},\\ a_e&=e^{-i\lambda(h_i+h_j)},& c_*&=\frac{e^{-i\lambda}}{2\sin\lambda}. \end{aligned} \end{equation} For each fixed pairing, the primitive to $z$ is the sum over a marked edge of the separator-tree path from $p$ to the region of $z$: use $k_e$ on earlier edges, $c_*a_e$ on the marked edge, and $w_e$ on every other boundary arc. Unmarked internal loops have weight $d$, and a marked closed loop contributes zero. For a pure $K(Q)$ string to $z$, use $k_e$ on the full separator-tree path and $w_e$ off it. An internal loop enclosing $z$ then has weight $-2$ instead of $d$. The parity of the number of such loops records the color change from the boundary-tree region to the lattice color of $z$. \end{lemma} \begin{proof} By Lemma \ref{cur:deformation}, for each pairing we may choose a simple path crossing minimally the boundary arcs separating $p$ from $z$, followed, if necessary, by the nested closed loops. Such paths exist in the disk regions cut out by the disjoint arcs and loops. A sole outward source on a closed loop is inconsistent with the remaining arrow constraints, so it gives zero. For a parent-to-child crossing, the boundary-ordered arc travels along the positive normal of the path. Let $\beta$ be its tangent lift, continued from $\theta_i$. The correct lift relation is the exact identity \begin{equation}\label{cur:exact-angle} \beta-\alpha=\pi/2, \end{equation} without a multiple of $2\pi$. To verify this, close a simple curve by taking the boundary from $p$ to $i$, the arc to the crossing, and the reversed path back to $p$. Its positive full turn, with the left right-angle turns at the port and crossing and the short turn at $p$, is $\beta-\alpha+3\pi/2$. It equals $2\pi$, proving \eqref{cur:exact-angle}. For an outward source the sum of strand turns is $\theta_i+\theta_j-\pi-2\beta$. Multiplying its winding weight by the two outward boundary factors and by $e^{i\rho\alpha}$ gives \[ \frac1{2\sin\lambda} e^{-i\lambda(h_i+h_j)} e^{i\rho(\alpha-\beta-\pi/2)} =c_*a_e. \] Summing the two orientations of an unmarked arc gives $w_e$. If a prefix string crosses it, multiplication by $K(Q)$ changes that sum to $k_e$. These are precisely the tree weights in \eqref{cur:weights}. For a pure string, the same calculation holds on every separating boundary arc. A counterclockwise enclosing loop has intersection factor $Q^{-1}$, so the sum of its two orientations is $e^{i\lambda}Q^{-1}+e^{-i\lambda}Q=-2$. Crossing each such medial loop switches the adjacent color, which proves the final parity assertion. \end{proof} \subsection{Reflection and two-step increments} Reflect in a line of angle $\phi$, and combine this operation with complex conjugation and arrow reversal. Relative to the mirrored step direction, spins are unchanged, while the left and right tiles are exchanged. Consequently the reflected primitive has the form \[ L_+,\ K(Q^{-1}),\qquad e^{i\rho\alpha'}, \qquad \alpha'=2\phi-\alpha, \] up to a common scalar. It obeys the reflected local deformation identities, using the opposite winding expansion. In the notation of \eqref{bulk:charges}, it has $\epsilon=-1$ and still $\tau=1$. Further reflections alternate between these two types. Moreover, a high difference with coefficient $e^{i(\arg d_1-\arg d_2)}$ becomes the same expression with the reflected directions $d'_1,d'_2$. A \emph{low stencil} is a primitive increment on a straight two-step extension from a vertex $z$. A \emph{high stencil} is the difference of two such increments in distinct tile-axis directions $d_1,d_2$, with coefficient $e^{i(\arg d_1-\arg d_2)}$ on the subtracted term. Both extensions have one common arriving prefix with fixed lift. The local path choices are simple and extensible. \begin{proposition}[Extraction in a clear slab]\label{cur:slab-estimate} Suppose a diagonal-time slab of macroscopic thickness about a low or high stencil contains no other non-diagonal tensors or endpoints. Diagonal chains may cross the slab. The stencil has an intact neighborhood disjoint from all other chains except its own prefix, and the slab has spare margins for routing and cuts. Bounded lattice errors are permitted inside these margins. Then the stencil contraction can be written as the corresponding low or high expression in Theorem \ref{bulk:angular-estimate}, between exterior states independent of the choice of stencil term. Only boundedly many compensating pairs of rows and a common bounded scalar are introduced. In particular, if the two clear parts of the slab contain at least $n$ physical steps, its scalar contraction is bounded by $Cn^{-1+\rho}$ for a low stencil, and by $Cn^{-1-\rho}$ for a high stencil, times the two exterior reflection norms. Reflected stencils satisfy the same statement. \end{proposition} \begin{proof} There are two matters to check: the compared paths must have common endpoints, and rerouting the other charges must contribute the same phase to every possible source position. Let $a,b$ be the two positive-time unit steps, namely $X,Y$ in the diagonal slicing. An increment in a negative direction is exactly the negative of the corresponding forward increment ending at $z$. This rewriting is local, even if previous cuts have been made. Choose a point on the common prefix in the intact neighborhood, express each increment as a difference of two complete primitives from that point, cancel their common initial marked terms, and apply Lemma \ref{cur:deformation} inside the neighborhood. Thus no earlier path or cut is altered. Use the following common endpoints for the high stencil: \begin{itemize} \item For directions $a,b$, start at $z$ and append two after-twist steps in the other direction to end at $z+2a+2b$. \item For directions $-a,-b$, start at $z-2a-2b$, prepend two before-twist steps in the other direction, and end at $z$. \item For directions $a,-b$, use the trajectory starting at $z-2b$ with steps $b,b,a,a$. \end{itemize} The case $-a,b$ is the same with $a,b$ interchanged. Backward differencing changes the relative sign exactly as required to obtain the coefficient for the two positive directions. Approach the common start by the same prefix, with a final positive-direction segment. A simple replacement can first bend around the stencil and approach from the required side, even when the original prefix arrived from later times. In a box with spare room, choose lattice corridors preserving the entrance and reserve a clear rectangle for the last positive steps. All marker lifts now differ by the short angle between $a$ and $b$ in their common time frame; no extra $2\pi$ turn is introduced. The low case is the same construction with one increment. The explicit prefix charge is $Q^\epsilon$, with $\epsilon=1$ or $-1$ according to the reflected type. We next consolidate diagonal chains in the clear band. Keep as common background every chain except the explicit prefix steps between the common start and the marker. In particular, the charge arriving at the common start is included in this background. Using real charges modulo $2\pi$, route it to carry a total phase $\zeta$ on a common positive-time seam before the start, and a phase $\xi$ from the start through the comparison block and to the future seam. These are the net oriented charges through ordinary sections, and \[ \zeta/\xi=Q^\epsilon. \] All endpoints are preserved. Joining and funneling the chains can be done outside the sandwich cuts but inside the larger vacant margins, including transverse lattice displacements. Choose the cuts through level vertices of the positive-time seam with many positive steps on each side. This construction does not require a monotone path between the original remote cut positions. Inside the comparison rectangle, first route the $\xi$ background along one common skirt on the higher-space-coordinate side of both positive-step paths, avoiding every possible marker. In $X,Y$ coordinates it runs around the northwest side of the small positive rectangle between the common endpoints. Tile ice conservation then moves this skirt onto either compared path, always on the same, left spin side of a broken source edge. At a marker it therefore multiplies $L_-$ or $L_+$ on a fixed side by the diagonal twist. This multiplication is one common scalar. It remains to justify that the change from the original background routing to this common skirt has a common phase. Their difference is a closed tile-edge chain in the larger slab, hence a weighted sum of face boundaries. Tile ice conservation cancels every face contribution except at a source edge, whose signed spin jump is fixed and equal to two relative to its positive step. All prospective source edges lie in the same winding region of this common closed-chain difference. Indeed other original chains avoid the intact neighborhood; the chosen prefix approaches the common start from the past without entering the positive rectangle; the replacement before the start follows that same final incoming line with net charge $\zeta$; and the common skirt and outgoing seam stay outside the rectangle. No edge of the routing difference separates the interiors of two possible marker edges. Extend the coincident clear incoming and outgoing parts by many lattice edges if needed. The face coefficient seen by the source is consequently identical in every stencil term. Summing conservation gives one common phase. There are no contributions from other defects, since all changes remain inside the clear band and its margins. The same reasoning can be phrased as a sequence of path slides consistently kept on one side of the entire marker rectangle. Every phase remains unitary. We have now obtained exactly the before- and after-twist operators in \eqref{bulk:MN}, with their required relative phase, the compensating even pairs described above, and one common bounded scalar. The two exterior states are independent of which term is used. Theorem \ref{bulk:angular-estimate} gives the claimed bound. For later repeated cuts, note also how these states glue. A consolidated chain at a diagonal cut ends at a shared level vertex. Reflection conjugates its charge to the inverse in the mirrored direction, preserving the spin convention. Joining after reversing path direction therefore continues with the same charge and creates no endpoint at the cut. At preliminary tile-axis cuts, route the chains transversely over the line through its level vertices, with no segment lying on the line inside the spare margin; the same argument applies. Reflections preserve the high or low type at every other intact stencil point. This proves the reflected assertion and the compatibility needed for successive extractions. \end{proof} The proposition is a local norm estimate. In later applications the number of available clear slabs and the sizes of their exterior norms are estimated separately by the positive partition comparisons; the local extraction itself makes no uniform bound on those norms. ==== END Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/angular.tex ==== ==== BEGIN Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/chordal.tex ==== \section{Transfer to marked Jordan quadrilaterals}\label{sec:jordan} Throughout Sections~\ref{sec:jordan}--\ref{sec:chordal}, fix $1\le q<4$ and write \[ d=\sqrt q=2\cos\lambda,\qquad \rho=\lambda/\pi, \qquad h=1-2\rho\in[1/3,1). \] The four-change calculation of Section~\ref{sec:fourchange}, whose holomorphicity hypothesis is supplied in Section~\ref{sec:holomorphic}, gives the functions \begin{equation}\label{jordan:functions} f(\chi)=\frac{I_C(\chi)}{I_B(\chi)+I_C(\chi)},\qquad g(\chi)=\frac{f(\chi)}{f(\chi)+d(1-f(\chi))}, \quad 0<\chi<1, \end{equation} where \begin{align*} I_B(\chi)&=\int_\chi^1 u^{\rho-1}(u-\chi)^{\rho-1}(1-u)^{1-3\rho}\,du, \\ I_C(\chi)&=\int_1^\infty u^{\rho-1}(u-\chi)^{\rho-1}(u-1)^{1-3\rho}\,du. \end{align*} The first function is the probability in the open-cap normalization; the second is the probability of an \emph{actual open path} between the two separately wired intervals. Wiring changes component weights; it does not supply an open path between different intervals. \begin{proposition}[Jordan-quad transfer]\label{jordan:transfer} Consider the marked, uniformly convergent square lattice polygon approximations $(D_n;a_n,b_n,c_n,d_n)$ to a bounded Jordan quadrilateral $(D;a,b,c,d)$ in the four-mark sense of Subsection~\ref{intro:crossings}. Keep every edge of the polygon graph random, and separately wire the two closed arcs $a_nb_n$ and $c_nd_n$, with no other primal identifications. If $\psi:D\to\mathbb H$ sends $(a,c,d)$ to $(0,1,\infty)$ and $\chi=\psi(b)$, the probability of an actual open path between these arcs tends to $g(\chi)$. \end{proposition} \begin{proof} First consider a fixed rational orthogonal polygon in tile coordinates. The deterministic caps of Section~\ref{sec:preliminaries} contribute one or two additional loops according to the pairing. Their weight ratio is exactly the factor $d$ in \eqref{jordan:functions}, so the four-change formula gives $g$. If its designated color lies on the dual grid, translate the complete tile domain, switches, and caps by one tile step. This preserves its loop law and makes that color the prescribed primal grid, at a geometric cost $O(\delta_n)$. We retain this translated tile graph and its cap law as the test graph; we do not identify it with the full graph of a primal polygon. It is nevertheless on the \emph{same} primal lattice as the target. Each primal edge belongs to one tile, so an absent edge incident to a test vertex can attach only at the geometric tile boundary. Every eligible primal vertex on a designated electrode, including a vertex at a homogeneous corner or on a pendant edge, belongs to that electrode's cap wire. These facts are sufficient for the common-edge comparisons below. Choose a plane Schoenflies homeomorphism taking $\overline D$ to the unit square, with the two electrodes on the left and right sides \citep[Theorem~3.1]{Thomassen1992JordanSchoenflies}. Uniform marked boundary convergence and winding number imply the following strict inclusions for all sufficiently large $n$: $D_n$ contains every closed inset square and is contained in every prescribed neighborhood of the square in these coordinates; its four marked arcs are close to their corresponding sides. Fix $\varepsilon>0$. In physical coordinates polygonize the pullbacks of \[ [\varepsilon,1-\varepsilon]\times[-\varepsilon,1+\varepsilon] \quad\hbox{and}\quad [-\varepsilon,1+\varepsilon]\times[\varepsilon,1-\varepsilon]. \] Call these the easier and harder test quads, respectively (Figure~\ref{jordan:sandwich-figure}), and put their electrodes on the nearly vertical sides. Take the polygonization error in Schoenflies coordinates smaller than $\varepsilon/10$, with marks in flat side interiors, and retain this margin after all tile translations. In particular, the free sides and the four marked transition neighborhoods retain the strict comparison margins; homogeneous corners along an electrode are allowed. Such simple rational orthogonal polygonizations exist: first use radial shrinking in a Carath\'eodory disk parametrization to obtain an analytic Jordan approximation, then a fine simple polygon; replace each segment by a rectangular staircase inside its own thin corridor and join adjacent staircases in disjoint small vertex neighborhoods. The marks can be placed in order in side interiors. These constructions give marked uniform convergence as $\varepsilon\downarrow0$. \input{figures/jordan-sandwich} For the upper bound, restrict both laws to their common primal edges in the easier quad. Any target edge outside this common graph can attach to it only on its two electrode sides: the easier horizontal sides lie strictly outside the target. Outside pieces cannot join the two electrode sides, even through a target wire block, because the substantial intervening strip lies wholly inside the easier quad and the two target wire blocks lie in separate exterior zones. Thus the target's induced boundary partition on the common graph is weaker than separate wiring of the easier electrodes. Domain Markov and FK monotonicity give a coupling in which the easier common-edge configuration dominates the target's. Every actual target crossing contains a common-edge crossing of the easier electrodes. Indeed, follow it from the initial exterior zone to the opposite zone, taking its last exit from the first and first entry into the second; its intermediate edges must belong to the common graph. There is no escape through the distant horizontal sides. For the lower bound interchange the roles using the harder quad. Its exterior pieces can attach to the target only on the designated target arcs, and cannot link opposite sides outside the common graph. Here it matters that the target contains \emph{all} lattice edges in its closure, and that both graphs use exactly the same primal grid. The target wires therefore dominate the induced harder-quad partition. Every harder crossing contains an actual shared-edge piece joining the two target arcs. This proves the lower comparison. All transitions occur at ordinary graph vertices; shrinking lattice edges have uniformly shrinking diameter in Schoenflies coordinates, so the strict margins justify the discrete versions of the statements. The conformal cross-ratios of the two test quads tend to $\chi$. Indeed uniformly convergent parametrizations of Jordan curves imply uniform local connectedness of their boundaries: points close in the image have parameters close in the circular order, except for the identified endpoints, because the limiting parametrization is an embedding. Kernel convergence and boundary extension of normalized Riemann maps then give marked conformal convergence \citep{Pommerenke1992}; see also the explicit uniform-Jordan and kernel-convergence statements in \citet[Appendix~A, Theorems~6--8 and Corollaries~A.1--A.2]{CamiaNewman2006Convergence}. Since $g$ is continuous on $(0,1)$, let first $n\to\infty$ and then $\varepsilon\downarrow0$ in the two comparisons. \end{proof} \begin{corollary}[The prescribed bond-percolation crossing]\label{jordan:cardy} At $q=1$, with every edge, including every boundary edge, sampled independently with probability $1/2$ and with no wiring, the probability of the event $C_n$ defined in Subsection~\ref{intro:crossings} tends to \[ \frac{\displaystyle\int_0^\chi [t(1-t)]^{-2/3}\,dt} {\displaystyle\int_0^1 [t(1-t)]^{-2/3}\,dt}. \] \end{corollary} \begin{proof} For $q=1$ the boundary partition does not change the edge law, and $d=1$ gives $g=f$. The $\rho=1/3$ specialization of the four-change integral calculation is precisely the displayed expression. The comparison in Proposition~\ref{jordan:transfer} concerned actual edge paths throughout, so no external wire is counted as a crossing and no interface-event continuity assertion is needed. \end{proof} \section{Alternating tests after exploration}\label{sec:movingtests} The Jordan result alone does not apply to a domain cut out by a random exploration. We prove the needed extension directly under the original lattice law. Conditional errors at exceptional histories will be controlled by an \emph{averaged} six-arm estimate. \subsection{Geometry and conditional laws} We reveal a switch in full when the strand first encounters its tile, then follow the prescribed local arc. The revealing filtration records these switch states and the current position on that arc. A stopping time for this filtration may therefore fall partway through an already-revealed tile; it need not be a tile-completion time. Below, a \emph{switch-revealing stop} means any stopping time for this filtration, including such a partial-tile stop. \begin{lemma}[A compatible simple drawing]\label{moving:drawing} The prescribed polygon graph and its Dobrushin strand admit a tile and collar representation in a Jordan polygon $V_n$ such that: \begin{enumerate}[label=(\roman*)] \item $V_n$ has the same marked uniform Jordan limit as $D_n$; \item the rounded strand is simple, visits the same ordered local pieces as the prescribed medial strand, and is at curve distance $O(\delta_n)$ from it; \item at every stop for this revealing filtration, the remaining domain is a simple slit disk. Under deterministic cap closure its unrevealed edges have the original conditional FK law, with known open edges contracted and known closed edges deleted; \item primal and dual banks of the prefix have physical access to their corresponding known edges and wire vertices within $O(\delta_n)$. Every completion of the unknown edges embeds its actual paths in the slit disk without crossing the past. \end{enumerate} The construction can use identical domains and caps away from an interval where two additional boundary changes are inserted. \end{lemma} \begin{proof} Make one tile for each edge of the polygon graph, including boundary edges. Glue the four triangles directed toward each interior square center. The exterior triangle of a boundary edge is a separate tab, with its own outer dual vertex; do not glue different exterior tabs along their radial sides. Each primal boundary vertex retains all its interior incidences. Flatten the exterior tabs toward their bases, to less than half their original height, and add a still thinner Jordan collar. The tabs are then disjoint except at their prescribed vertices. All changes lie within $O(\delta_n)$ of the original boundary, and tracing the tabs and collar along the original parametrization proves (i). Draw the switches and boundary caps as disjoint arcs. A local wire can be drawn behind its cap in the collar. The unmatched ports continue to the marked outer-boundary points. The finite choices inside each tile and the collar can be made deterministically. At a wired boundary edge, capping its outer dual vertex joins the inside ports in the same way for either switch state. Declaring that edge open for the drawing merely substitutes a cap-sized detour and possibly deletes a microscopic loop. On the free side, the cap around a primal vertex is exactly the turn beside the dual wired arc. Inside the polygon, glued half-segments give the specified medial edges and their quarter-turn pairings. Match corresponding ordered pieces in the two drawings. Each substituted piece lies in boundedly many neighboring tiles, so simultaneous parametrizations have distance $O(\delta_n)$. Zero-length pieces are handled by limits of increasing reparametrizations. This also covers a midpoint visited with both prescribed pairings and proves (ii). The tile/cap Euler identity gives exactly the conditional FK law asserted in (iii). On a queried primal-open tile the adjacent primal corners are joined by its actual edge; on a queried closed turn the bank stays at one primal corner. Along a cap it stays at one vertex or uses neighbors already belonging to that wire interval. Thus the bank is a known chain attached to the appropriate original interval, and every queried primal-open edge accesses this bank within one tile. The same statement holds for dual edges. Designated outer vertices access their arcs through the collar. These are physical accesses, not additional identifications. At a stop partway through a local arc, the full state of its tile has already been revealed, and following that known arc reveals no additional unknown edge. The conditional law in (iii) and these bank accesses in (iv) therefore apply at such stops as well. Projecting back to the usual primal or dual lattice moves points by $O(\delta_n)$ and duplicates no edge; separate virtual copies of a vertex may become one physical vertex. \end{proof} In a four-open-change experiment, deterministic closure with separate wires of one color differs by a density depending only on the two pairing outcomes. This density and its reciprocal are bounded by constants depending on $q$. At a switch-revealing stopping time the odds change is still exactly \begin{equation}\label{moving:odds} p\longmapsto \frac{p}{p+d(1-p)}. \end{equation} One obtains this by conditioning the \emph{full} finite-sample density, not by postulating a Markov property for a limiting curve. Consequently conditional rare-event probabilities in a deterministic-cap law can be averaged under open-cap histories at a bounded multiplicative cost. \begin{lemma}[Small-interval behavior]\label{moving:asymptotic} For $f$ in \eqref{jordan:functions}, \[ f(1-\chi)=1-f(\chi),\qquad f(\chi)=c_q\chi^h(1+o(1))\quad(\chi\downarrow0), \qquad c_q>0. \] \end{lemma} \begin{proof} The substitutions $u^{-1}$ in $I_C$ and $u=1-(1-\chi)t$ in $I_B$, followed by the Euler transformation of the beta integral, give \[ I_B(\chi)=\left(\frac{1-\chi}{\chi}\right)^h I_C(1-\chi). \] Both $I_C(0)$ and $I_C(1-)$ are finite and strictly positive: at the possible singularity $u=1$, the latter integrand has exponent $-2\rho>-1$, while the integrand at infinity has exponent $-1-\rho<-1$. Substitution into \eqref{jordan:functions} proves both claims, with $c_q=I_C(0)/I_C(1-)$. \end{proof} \begin{theorem}[Moving four-change test]\label{moving:slit} Let a four-change strand in $V_n$ be stopped before completing its strand, revealing only the switches it has encountered. Let $U_n$ be its remaining simple slit disk, with the tip as the new starting mark. Consider histories for which a fixed basepoint has a fixed positive disk in $U_n$, and the four prime-end marks in a disk chart normalized at that basepoint remain mutually separated by a fixed positive amount. Then, on these histories, \begin{equation}\label{moving:limit} \mathbb P_{\mathrm{open}}(E_{\mathrm P}\mid\mathcal F_n) -f(\chi_{U_n})\ \longrightarrow\ 0 \quad\hbox{in probability}. \end{equation} Here $E_{\mathrm P}$ is the primal pairing event, equivalently the actual bridge event after separate primal closure, and $\chi_{U_n}$ is its current ordered cross-ratio. The assertion holds for arbitrary mesh-dependent stopping rules satisfying this localization. \end{theorem} For the comparison, first use separate deterministic primal closure and let $u_n$ be the rectangle abscissa in $U_n$, with the two primal electrodes at $0$ and $1$. A \emph{possible primal path} is an edge path after all still unknown primal edges have been filled open, without using a wire identification as an edge. We need the comparison boundary to avoid vertices in the central part of $00, \end{equation} where $A_6(r,R)$ is the event of six cyclically alternating actual primal-open and dual-open arms across the annulus. The estimate holds for the critical square-lattice FK law with this fixed $q<4$ \cite[Corollary~6.7]{DMT2021Fractal}. An outer buffer and the bulk boundary-condition comparison of Lemma~\ref{prelim:collar} transfer this estimate from the infinite-plane law to the original finite law, with the outer scale fixed. Bounded open-cap reweightings are harmless. No six-arm estimate conditioned on an arbitrary explored maze is asserted. \begin{lemma}[Physical paths and chart oscillation]\label{moving:chart-modulus} Let $u_n$ be the rectangle abscissa just defined. Under the localization in Theorem~\ref{moving:slit}, there is a common modulus tending to zero for the oscillation of $u_n$ on a connected path of vanishing physical diameter, including paths with accesses to the prime boundary. Consequently, for $\beta>0$, a possible primal path starting in $\beta\le u_n\le1-\beta$ cannot reach a known primal-open edge or a primal electrode inside a sufficiently small physical ball. \end{lemma} \begin{proof} Away from the normalizing point, a connected set in a ball of radius $r$ is hit before domain exit by Brownian motion from that point with probability tending uniformly to zero as $r\downarrow0$. Comparison with a fixed enclosing Euclidean annulus gives this bound. In the normalized disk, a connected set of a fixed positive diameter has hitting probability bounded below; this follows, for example, by a crosscut between separated angular sectors and the Beurling estimate. The rectangle maps of the disk form a compact family because the four marks remain separated. Thus a small physical continuum cannot have a macroscopic rectangle-coordinate oscillation. Near the basepoint use interior distortion instead. Endpoint accesses follow by interior approximation. By Lemma~\ref{moving:drawing}, every known primal-open edge and fixed primal wire attachment accesses $u_n=0$ or $1$ within $O(\delta_n)$. A short possible connection from the central band to one of them would contradict the just-proved modulus. Small buffers in the band absorb individual tile errors. In particular the two opposite designated intervals have not already met through the revealed bank under the stated nondegeneracy. \end{proof} \begin{lemma}[Deletion and protected-ball costs]\label{moving:deletion} Fix a history and use separate deterministic primal closure. Deleting a set of still random edges changes the actual crossing probability by at most the probability, in the undeleted conditional law, that an endpoint of a deleted edge reaches either wire interval or its revealed primal bank by an actual open path, allowing one initial test step over the deleted edge. Contact at a wire vertex may have length zero. For a central-band set contained in a ball of radius $r$, this cost is bounded by a quantity tending to zero as $r\downarrow0$, uniformly in the history and center, provided its required outer radius is fixed and the mesh is sufficiently small. The same holds for any fixed finite number of such balls. \end{lemma} \begin{proof} The separate wire intervals and their revealed banks are the only nontrivial identification blocks, by Lemma~\ref{moving:drawing}. Couple the deleted and original laws monotonically. Explore the actual open clusters from all deletion endpoints in the stronger configuration, revealing the corresponding edges in both laws. FK partition monotonicity persists at every step. After the clusters are enclosed by their closed cuts, the conditional laws outside agree and can be coupled identically. If no explored cluster reaches a wire interval, the crossing decision is unchanged. This proves the first assertion, including contact with a wire along a known bank. Choose the fixed outer radius small enough for Lemma~\ref{moving:chart-modulus}. Every component of possible edges inside this ball that meets the central-band set has no accessible wire or known primal-open attachment. Its uncertain boundary connections can occur only at the ball rim. Project to the physical lattice, fill missing edges, and wire that rim. Splitting physical vertex copies only weakens the original induced partition. The full-lattice wired-rim law therefore dominates every relevant actual arm simultaneously. Cropping the ball slightly absorbs tile errors. Its one-arm probability from radius $r$ to the fixed outer radius tends to zero: buffered dual circuits from RSW block such an arm. A finite union bound gives the last assertion. \end{proof} \subsection{A directed obstacle away from possible connections} Fix a small trimming parameter $a_*>0$ and then $0<\beta2R+1$, put \begin{equation}\label{chordal:martingale} M_t(x)=\left(\frac{xg_t'(x)}{g_t(x)-W_t}\right)^h. \end{equation} These processes and their reciprocals are bounded on the stopped range, uniformly in the mesh. For arbitrary stopping rules $0\le\sigma_n\le\tau_n$ in that range and uniformly bounded $\mathcal F_{\sigma_n}$-measurable tests $F_n$, \begin{equation}\label{chordal:approx-martingale} \mathbb E\!\left[F_n\bigl(M_{\tau_n}(x)-M_{\sigma_n}(x)\bigr)\right] \longrightarrow0 \end{equation} under the original single-strand Dobrushin law. \end{lemma} \begin{proof} Insert on the original free side a small separate primal interval whose endpoints in the initial coordinate approximate $x,x+s$. Use the four-open-change experiment. Until the specified stop its cross-ratio is \[ \chi_t=\frac{g_t(x+s)-g_t(x)}{g_t(x+s)-W_t}. \] The real Loewner solutions remain separated from the driver and from one another. At each fixed $s>0$ the four marks, including $\infty$, therefore stay nondegenerate. A physical point corresponding to $iM$ for sufficiently large fixed $M$ has a fixed unaffected disk; it supplies the basepoint in Theorem~\ref{moving:slit}. The trajectory cannot end at either inserted mark within this localization. Let $Z_t$ be the conditional pairing probability. It is an exact bounded martingale. At any of the allowed stopping rules, Theorem~\ref{moving:slit} gives $Z_t-f(\chi_t)\to0$ in probability, and hence in mean, for fixed $s$. Divide the martingale identity by $f(s/(x+s))$ only at this fixed $s$. Lemma~\ref{moving:asymptotic} and analytic ODE estimates near $x$ give, uniformly in the stopped range, \begin{equation}\label{chordal:small-test} \frac{f(\chi_t)}{f(s/(x+s))} =\left(\frac{xg_t'(x)}{g_t(x)-W_t}\right)^h+o_s(1), \end{equation} after the mesh limit. The expression on the right is bounded above and away from zero independently of small $s$: $g_t(x)-W_t$ is bounded below, $g_t(x)$ is bounded above, and \[ g_t'(x)=\exp\left(-\int_0^t\frac{2\,du}{(g_u(x)-W_u)^2}\right) \] has the same bounds. We next compare the laws, after replacing the normalized conditional probabilities by the bounded expressions in \eqref{chordal:small-test}. Separate deterministic four-change closure adds just the small wire interval to the Dobrushin law. Couple monotonically and explore clusters from that interval in the stronger law. The probability that its actual cluster reaches a fixed small outer neighborhood tends to zero as the interval shrinks. Inside the intervening annulus there are no wire attachments away from the rims, since the old primal wire is a positive distance away. Filling to the full-lattice wired-rim law dominates the arm, which is blocked by the buffered RSW circuits. Outside this neighborhood the configurations can consequently be coupled identically. The open-four and deterministic-four laws also have vanishing total variation difference: their density depends only on the pairing, and the exceptional pairing has probability $g(s/(x+s))\to0$. The stopped strands stay outside a fixed neighborhood of the insertion point, by the separated real and nearby complex solutions of \eqref{chordal:loewner}. The drawing and caps were chosen identical off that neighborhood. Thus bounded stopped-history functions of $M$ transfer with vanishing error, first as the mesh tends to zero and then as $s\downarrow0$. We never divide a coupling error by $f(s/(x+s))$. The same stopping rules are applied in the coupled experiments, so the conclusion includes mesh-dependent rules and yields \eqref{chordal:approx-martingale}. \end{proof} \begin{proposition}[Driving convergence]\label{chordal:driver} On every compact capacity interval, the Dobrushin driving functions converge in law, uniformly, to $\sqrt\kappa B_t$, where $B$ is standard Brownian motion and \begin{equation}\label{chordal:kappa} \kappa=\frac{8}{1+h} =\frac{4\pi}{\arccos(-\sqrt q/2)}. \end{equation} \end{proposition} \begin{proof} We first work inside the preceding localization. Set \[ X_t(x)=g_t(x),\qquad A_t(x)=x^h g_t'(x)^h, \qquad M_t(x)=A_t(x)(X_t(x)-W_t)^{-h}. \] The processes $X,A$ are uniformly bounded and uniformly Lipschitz in time there, with $A$ bounded away from zero. Take $2R+10$, under arbitrary exterior partitions. Approximate the fixed Jordan corridors by polygons with strict margins before taking the mesh limit. Successive conditioning over the disjoint quads bounds the crossing probability by $(1-c)^N$. Let $N$ grow and then narrow the ribbon. Every geometric scale here was fixed before the mesh limit. At a fixed displacement accuracy, outside these unlikely boundary travels, every excess collection of successive displacements forces many passages through a finite annulus cover of the compact part away from the ribbon. The passage estimates therefore bound the number of successive displacements at each accuracy. Subdivide curves at these displacement times and apply the usual Arzel\`a--Ascoli argument modulo reparametrization. This proves tightness and also rules out a nonconstant interval of a limit confined to the original boundary. Three genuine visits to an interior point, with positive intervening excursions, produce six disjoint medial legs to some fixed positive outer radius. Lemma~\ref{chordal:territories} turns them into six alternating actual arms across a cropped annulus. Cover the possible contact points by a deterministic grid of mesh $\ell$. The bulk six-arm estimate and the $O(\ell^{-2})$ grid count give a bound $O(\ell^{c_0})$. First take the lattice mesh limit, then $\ell\downarrow0$, and finally a countable union over interior compact sets and rational excursion radii. This excludes precisely three visits separated by nonconstant excursions; constant waiting intervals are irrelevant to the curve topology. \end{proof} \begin{lemma}[Macroscopic avoidability]\label{chordal:avoidability} At a switch-revealing stop of the Dobrushin exploration, call a component of $U_n\cap A(z;r,R)$ \emph{avoidable} if it does not separate the tip access from the target access inside $U_n$. The conditional probability of a future radial traversal in any avoidable component is bounded by a quantity tending to zero as $r/R\downarrow0$, uniformly over histories and centers, with $r,R$ fixed before the mesh limit and $\delta_n\ll r$. \end{lemma} \begin{proof} An avoidable component cannot access both designated primal and dual prime boundary arcs strictly between the rims. A path joining such accesses contains a crosscut separating the tip from the target. The future simple strand traverses one component between rims; choose a color whose designated boundary is absent there. Its bank supplies an actual arm of unqueried edges in a cropped annulus. A known-open edge or wire jump of that color would give a short physical access to its designated boundary there, contrary to the choice of component. To bound all such components at once, keep their random edges of this color within a cropped grid annulus. Unqueried tiles are uncut; an adjacency of incident edges, or attachment to a known edge or wire vertex, has a corresponding $O(\delta_n)$ path in $U_n$ until it reaches a designated wire. Thus away from the cropped rims the induced partition contains only ordinary physical-vertex attachments. Delete known edges of the opposite state, fill the rest to the full lattice, and wire both rims. FK monotonicity dominates all the relevant actual arms simultaneously by one full-lattice arm event. Buffered dual circuits give its vanishing bound. Sum over the two possible missing colors. The argument uses the conditional FK law at actual revealing stops; an optional last piece of length $O(\delta_n)$ is absorbed by the buffers. \end{proof} \begin{corollary}[No return from a small target cap]\label{chordal:target} After the strand first enters a shrinking initial conformal cap around its target, the probability of a subsequent displacement of fixed positive physical size tends to zero. \end{corollary} \begin{proof} At the first entrance the previously untouched cap gives a route from the tip to the target inside a small physical ball. Stop just before entrance, or at the entering piece and use its bank with a one-step buffer. Outside this inner ball every relevant annular component is avoidable. Apply Lemma~\ref{chordal:avoidability}. The diameters of the initial conformal caps shrink uniformly because the initial inverse disk maps converge uniformly up to the boundary. \end{proof} \subsection{The ordered trace, including zero-capacity intervals} Driving convergence and physical compactness leave one traversal issue: a limiting curve could still move during an interval on which its half-plane capacity is constant. The next two lemmas provide the ingredients for excluding this extra motion. \begin{lemma}[Interior double visits in every time interval] \label{chordal:dense-doubles} For ordinary chordal $\mathrm{SLE}_\kappa$, $4<\kappa<8$, almost surely every nonempty open capacity interval contains both visits to some interior self-double point. \end{lemma} \begin{proof} The double-point and boundary-hit dimension theorems of Miller--Wu \cite[Theorem~1.1 and Corollary~1.7]{MillerWu2017} give, respectively, \[ 1+\frac\kappa8-\frac6\kappa \quad\hbox{and}\quad 2-\frac8\kappa. \] Their difference is $(\kappa-4)^2/(8\kappa)>0$, so the trace has an interior double point almost surely. Let $E_T$ mean that both visits occur strictly before $T$. Scaling makes $\mathbb P(E_T)$ independent of $T>0$, while $\bigcup_{m\ge1}E_m$ has probability one. Thus $\mathbb P(E_T)=1$ for every $T>0$. At a deterministic time $a$, the domain Markov property restarts ordinary SLE with additive capacity clock. An interior double point of the restarted trace maps under $g_a^{-1}$ to an interior point of the original remaining domain. Apply this observation to all rational open intervals. \end{proof} \begin{lemma}[Small gates exclude swallowed excursions] \label{chordal:gates} In a joint subsequential limit of the physical strand and its Loewner driving function, the physical curve cannot enter an open component of a Loewner hull that is disjoint from the Loewner trace and the original boundary. \end{lemma} \begin{proof} Use the continuous Brownian SLE trace \cite{RohdeSchramm2005}; here $4<\kappa\le6$. Suppose that the claimed excursion occurs. By a countable choice, there is a small closed ball $J$ with a larger buffered neighborhood disjoint from the SLE trace and original boundary, approached deeply inside a swallowed component at finite limiting capacity. Fix bounds for this capacity and the driver, and a high basepoint corresponding to $iM$ in the initial half-plane coordinate. Take the first discrete approach to an intermediate buffer around $J$, before the alleged hit. Along a subsequence of these approach times the prefix keeps a fixed spare distance from $J$, whereas its kernel viewed from the basepoint excludes $J$. This follows from driving convergence and equality of the accessible Loewner domains; the whole buffered ball, being disjoint from the trace, lies in one excluded component. Nevertheless $J$ is still internal in every discrete simple slit disk. Normalize its inverse disk map $\Phi_n$ at the basepoint and write $z_n=\Phi_n^{-1}(\operatorname{center}J)$. Kernel convergence forces $|z_n|\to1$. Put $\epsilon_n=1-|z_n|$, and take circular disk crosscuts centered at $z_n/|z_n|$, with radii between $2\epsilon_n$ and $\sqrt{\epsilon_n}$. If $L_n(t)$ is their image length, Cauchy--Schwarz and the area formula give \begin{equation}\label{chordal:gate-area} \int_{2\epsilon_n}^{\sqrt{\epsilon_n}} L_n(t)^2\,\frac{dt}{t} \le2\pi\operatorname{area}(U_n). \end{equation} The right side is uniformly bounded and the logarithmic integration range diverges, so one image crosscut has diameter tending to zero. Its disk cap contains $z_n$, and its endpoints access the slit boundary. Since that boundary stays a fixed distance from $J$, the crosscut separates all of $J$ from the basepoint for sufficiently large $n$. The target is on the basepoint side. Indeed the driver and capacity bounds give a fixed route high above the half-plane hulls from the basepoint to the target, with positive physical separation from the prefix. A small gate touching the prefix misses this route. A gate with both endpoints on the original outer wall cannot separate two fixed interior balls when its diameter tends to zero, by uniform Jordan convergence. Adding a boundary-to-interior simple slit disjoint from that gate does not change its separation. Gates with an endpoint at the initial slit attachment are included among gates touching the prefix. We must use a stopping rule, not a gate selected from the future excursion. Fix a small $\ell>0$ and stop at the first discrete step at which there exists a crosscut of diameter at most $\ell$ separating $J$ from both basepoint and target, while the prefix still keeps the chosen spare distance from $J$ and the basepoint is safe. The preceding construction shows that this stop occurs before the offending buffered hit for fine meshes. Choices can be fixed measurably from each finite history. At first occurrence a witnessing gate has an endpoint on the latest microscopic step, including its attachment point. Otherwise it was a crosscut of the previous slit domain with the same separation: adding a disjoint simple slit cannot change that separation. This contradicts first occurrence. The tip therefore reaches the gate and its target-side bank within a ball of radius $\ell+O(\delta_n)$. Choose a fixed outer radius smaller than the spare distance to $J$. In the annulus from $4\ell$ to this radius about the new gate endpoint, components on the trapped side are avoidable: a tip-to-target route crosses the gate inside the inner ball and stays on its other side. Any later hit of $J$ requires a radial traversal on the trapped side, since every return through the gate is inside the inner rim. Lemma~\ref{chordal:avoidability}, applied at this first-gate stop, makes its conditional probability vanish as $\ell\downarrow0$ after the mesh limit. There is no sum over possible gate locations. This contradicts the alleged excursion. \end{proof} \begin{theorem}[Dobrushin convergence for $1\le q<4$] \label{chordal:trace} For every bounded marked Jordan domain and every marked uniform polygon approximation satisfying Equation~\eqref{intro:marked-jordan} with the boundary conventions of Subsection~\ref{intro:model}, the Dobrushin strand converges in law, in the uniform Euclidean oriented-curve topology modulo increasing reparametrization, to chordal $\mathrm{SLE}_{\kappa(q)}$. \end{theorem} \begin{proof} By Proposition~\ref{chordal:driver} and Lemma~\ref{chordal:compactness}, take a joint subsequence realized with compact driving convergence and uniform physical curve convergence up to reparametrization. Write $Y(t)$ for the physical Brownian SLE trace, and $\gamma(s)$ for the full limiting physical curve in an arbitrary forward parametrization. Before its first target visit, let $c(s)$ be the half-plane capacity of the hull of its initial segment. Kernel convergence makes $c$ continuous and nondecreasing and identifies it as the limit of the corresponding discrete capacities. These mapped segments are bounded locally away from the target. As the target is approached, $c(s)\to\infty$: a driver bounded on every finite capacity interval has its finite-time hulls in bounded portions of the initial half-plane. The domain accessible toward the target after time $s$ is the Loewner remaining domain of $Y$ at time $c(s)$, by kernel convergence and the Loewner ODE. On every interval where $c$ changes, the newly added trace segments of $\gamma$ and $Y$ have a point in common: a boundary point of the smaller shared remaining domain inside the older domain belongs to both increments. Continuity, with shrinking such intervals, implies \[ \gamma(s)=Y(c(s)) \] at every time outside the interiors of plateaus of $c$, including their active endpoints. A nonconstant plateau is therefore an extra excursion based at $Y(t)$, with $t$ its constant capacity, contained in the old closed hull or original boundary. Lemma~\ref{chordal:gates} excludes motion inside an open swallowed component. Hence an extra plateau can move only on $Y([0,t])$ or the original boundary. By Lemma~\ref{chordal:compactness}, it has no varying subinterval entirely on that boundary. If the plateau were nonconstant, choose a compact varying subinterval in its interior whose image avoids both the boundary and its basepoint. Every image point has a unique old SLE time: two old visits together with this genuine extra visit would give three interior visits separated by nonconstant excursions, forbidden by Lemma~\ref{chordal:compactness}. This old-time inverse is continuous. Indeed any sequence of old times has a convergent subsequence in $[0,t]$, and trace continuity and uniqueness identify its limit. Composing with the extra subcurve yields a continuous nonconstant real function, whose image contains a nonempty capacity interval. Lemma~\ref{chordal:dense-doubles} provides a point in that interval with two old visits, a contradiction. Thus every plateau is constant. The same reasoning at capacity zero excludes an initial extra motion. Corollary~\ref{chordal:target} excludes further motion after the first limit target visit. The capacity change of time therefore identifies the entire ordered curve with $Y$, up to the permitted increasing reparametrizations and constant waiting intervals. Finally Lemma~\ref{moving:drawing} transfers this conclusion from the rounded simple drawing to the specified medial strand at distance $O(\delta_n)$, including repeated midpoint visits with fixed pairings. All subsequential limits agree, proving the claimed full-sequence convergence. \end{proof} ==== END Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/chordal.tex ==== ==== BEGIN Square-lattice-FK-interfaces-and-nested-loops-for-1-leq-q-lt-4//sections/introduction.tex ==== \section{Introduction and precise statements}\label{sec:introduction} Planar critical models are expected to have conformally invariant scaling limits. For random-cluster models this prediction identifies the law of an interface, the joint law of all surrounding loops, and crossing probabilities in arbitrary shapes. These are distinct conclusions: a limit for one interface does not by itself identify its coupling with other interfaces, and convergence of loop traces on compact sets does not by itself retain multiplicities, nesting, or complete traversals. The random-cluster representation of Fortuin and Kasteleyn \citep{FortuinKasteleyn1972} places percolation, Ising, and Potts models in a common family with a real cluster weight. Its planar loop and transfer-matrix descriptions belong to the work of Temperley and Lieb \citep{TemperleyLieb1971} and Baxter, Kelland, and Wu \citep{BaxterKellandWu1976}. Exact-solution and Coulomb-gas methods supplied much of the prediction of critical behavior \citep{Baxter1973,Nienhuis1984}. We use that finite algebraic lineage, and prove the analytic estimates needed to pass from the square-lattice law to its conformal curve limits. Schramm's characterization of conformally invariant interfaces led to Schramm--Loewner evolution \citep{Schramm2000}. Cardy's crossing prediction \citep{Cardy1992} was proved by Smirnov for critical site percolation on the triangular lattice \citep{Smirnov2001}; Camia and Newman subsequently constructed its full continuum loop limit \citep{CamiaNewman2006Full}. For FK-Ising, Smirnov's fermionic observable \citep{Smirnov2010} and the isoradial analysis of Chelkak and Smirnov \citep{ChelkakSmirnov2012} led to convergence of the Dobrushin interface to $\SLE_{16/3}$ \citep{ChelkakDCHonglerKemppainenSmirnov2014}. Kemppainen and Smirnov proved convergence of the boundary-touching FK-Ising loops \citep{KemppainenSmirnov2019}, and then joint convergence of the full loop ensemble and its exploration tree in bounded wired domains \citep{KemppainenSmirnov2016FullScalingLimit}. For general cluster weights, Duminil-Copin, Kozlowski, Krachun, Manolescu, and Oulamara proved asymptotic rotational invariance of critical square-lattice FK for $1\le q\le4$ \citep[Theorem~1.2]{DCKKMO2026Rotation}. This establishes rotational invariance without identifying the limiting interfaces or loop collections as SLE or CLE. It is background for the present result, whose identification proceeds through the four-change observable. There are also prior public claims for square-lattice bond percolation. The preliminary preprint of Tsai, Yam, and Zhou \citep{TsaiYamZhou2013SquareBond} claims $\SLE_6$ convergence of its exploration path. Zhou's later preprint \citep{Zhou2024SquareBond} claims full-curve $\SLE_6$ convergence and Cardy convergence for its stated crossing event under Condition C, which imposes mesoscopic straight boundary segments and separation conditions. These are overlapping $q=1$ claims. The statements here include every uniformly approximated marked Jordan domain in the specified lattice convention, every fixed $1\le q<4$, and the complete nested whole-plane ensemble with multiplicities and traversal order. For general cluster weights, the parafermionic program of Smirnov \citep{Smirnov2010}, the work of Riva and Cardy \citep{RivaCardy2006}, and the criticality applications of Duminil-Copin \citep{DuminilCopin2012Parafermion} establish the importance of local winding identities. Riva and Cardy explicitly distinguish such identities from continuum holomorphicity, which also requires regularity. Chelkak and Smirnov's four-boundary-change construction \citep[Section~6]{ChelkakSmirnov2012} supplies a further antecedent at $q=2$. The main analytic task here is to close this regularity gap for the four-change observable throughout $1\le q<4$, and then to retain the resulting tests after exploration. The probabilistic inputs have similarly distinct roles. Positive association comes from the FKG inequality \citep{FortuinKasteleynGinibre1971}. Beffara and Duminil-Copin identify the self-dual critical point \citep{BeffaraDuminilCopin2012}; Duminil-Copin, Sidoravicius, and Tassion prove continuity and buffered crossing estimates \citep{DuminilCopinSidoraviciusTassion2017}. We use the isoradial crossing estimates of Duminil-Copin, Li, and Manolescu \citep{DCLM2019Isoradial} for transfer diagrams, and the rough-quad and six-arm estimates of Duminil-Copin, Manolescu, and Tassion \citep{DMT2021Fractal} for moving boundaries. Their exact parameter and boundary-condition ranges are stated below. The continuum loop laws are built from branching SLE \citep{Sheffield2009Exploration,MillerSheffield2016IG1,MillerSheffield2016IG3}; the simple-loop characterization \citep{SheffieldWerner2012} belongs to the complementary simple regime. For the nonsimple regime used here, the large-domain construction and sphere invariance are supplied by \citet{MillerWatsonWilson2015} and \citet{GwynneMillerQian2021}. Our task is to identify the lattice tree and its complete loops with these laws. In doing so we distinguish convergence of drivers, ordered curves, loop sets, and loop collections retaining multiplicity. The results concern the nearest-neighbor square lattice in its ordinary Euclidean embedding and its original random-cluster probability law. \subsection{The model and its boundary conventions} \label{intro:model} Fix a real number $1\le q<4$ and put \begin{equation}\label{intro:parameters} p_q=\frac{\sqrt q}{1+\sqrt q}, \qquad \kappa(q)=\frac{4\pi}{\arccos(-\sqrt q/2)}. \end{equation} The inverse cosine has values in $[0,\pi]$. Thus $4<\kappa(q)\le6$, with $\kappa(1)=6$ and $\kappa(q)\downarrow4$ as $q\uparrow4$. On a finite graph $G=(V,E)$, let $\xi$ be a partition of designated boundary vertices. For $A\subseteq E$, let $k_\xi(A)$ be the number of components of $(V,A)$ after identification within each block of $\xi$, including isolated vertices. The random-cluster law is \begin{equation}\label{intro:finite-law} \phi_{G,q}^{\xi}(A) =\frac{1}{Z_{G,q}^{\xi}} p_q^{|A|}(1-p_q)^{|E|-|A|}q^{k_\xi(A)}. \end{equation} An \emph{actual open path} always consists of open edges of $G$. Identification in $\xi$ is used to compute the probability weight and does not supply an additional edge in such a path. Let $D$ be a bounded Jordan domain. A lattice approximation at mesh $\delta_n\downarrow0$ is the bounded interior $D_n$ of a simple closed nearest-neighbor polygon on $\delta_n\Z^2$. Its graph $G_n$ has every lattice vertex in $\overline{D_n}$ and every nearest-neighbor edge whose closed segment is contained in $\overline{D_n}$. In particular, boundary edges are part of $G_n$. For two marked boundary points $a,b$, we require counterclockwise parametrizations $\beta_n,\beta:[0,1]\to\C$, injective on $[0,1)$, such that \begin{gather}\label{intro:marked-jordan} \beta_n(0)=\beta_n(1)=a_n,\qquad \beta_n(1/2)=b_n,\qquad \beta(0)=\beta(1)=a,\qquad \beta(1/2)=b,\\ \sup_{t\in[0,1]}|\beta_n(t)-\beta(t)|\longrightarrow0.\notag \end{gather} The free arc $F_n$ goes counterclockwise from $a_n$ to $b_n$; the other arc $W_n$ goes counterclockwise from $b_n$ to $a_n$. Wire together all vertices of $W_n$, including the two marked endpoints. All other boundary vertices remain singleton blocks. Remove from the sampled edge set the boundary edges of $W_n$ and declare those edges open for the interface drawing. This is equivalent on all remaining edges to \eqref{intro:finite-law} with the same wired partition: the endpoints of each removed edge were already identified. Edges on $F_n$ remain random. The medial graph has vertices at the midpoints of primal edges, with medial edges joining the midpoints of consecutive sides of a lattice square. At an open primal edge the four incident medial half-edges are paired in quarter turns around the adjacent dual faces; at a closed primal edge they are paired around the primal endpoints. At the boundary one uses the turns between the primal wired arc and its complementary dual wired arc. There is a unique medial strand between the two changes of boundary condition. We orient it from $a_n$ to $b_n$ and denote it by $\eta_n$. This is the usual Dobrushin construction \citep[Section~5.2.2]{DC2017Lectures}. Occurrence order at a twice-visited medial vertex is part of the curve. The tile drawings used later preserve this order and differ from the straight medial drawing by at most a constant times $\delta_n$ in uniform curve distance. For continuous oriented curves $\gamma_1,\gamma_2:[0,1]\to\C$, write \begin{equation}\label{intro:curve-metric} d_{\mathrm{curv}}(\gamma_1,\gamma_2) =\inf_{\varphi_1,\varphi_2} \sup_{0\le t\le1} |\gamma_1(\varphi_1(t))-\gamma_2(\varphi_2(t))|, \end{equation} where the infimum is over increasing homeomorphisms of $[0,1]$. Zero-distance curves are identified. Chordal $\SLE_\kappa$ in $(D;a,b)$ is the conformal image of the upper-half-plane Loewner trace driven by $\sqrt\kappa B_t$ from $0$ to $\infty$, with $B$ a standard Brownian motion. The remaining positive dilation of the conformal coordinate does not change this law. \subsection{Complete loop collections} \label{intro:collections} Let $\phi_q^0$ be the weak limit of \eqref{intro:finite-law} in increasing square boxes of $\Z^2$ with free boundary conditions. Form its complete medial interface collection, using the same local pairings as above, and then scale the embedding by $\delta$. Denote the resulting collection by $\Gamma_\delta$. It contains every loop at every nesting level. The elementary circuit argument in Section~\ref{sec:preliminaries} shows that its discrete interfaces are almost surely finite. Individual loops are unrooted and unoriented continuous maps of the circle into the Riemann sphere $\widehat\C$. Their distance is the infimum of the uniform spherical distance over circular orientation-preserving homeomorphisms and reversal, with zero-distance representatives identified. We retain distinct loops even when their images coincide. For two collections, an $\eps$-matching is a partial bijection that covers all loops of spherical diameter greater than $\eps$ in both collections, has matched-loop distance at most $\eps$, and leaves only loops of diameter at most $\eps$ unmatched. Convergence of collections means the existence of such matchings with $\eps\downarrow0$. The continuum law in the next statement is the standard nested whole-plane $\CLE_\kappa$ in this topology. \begin{theorem}[Interfaces and all nested loops] \label{intro:main} For every fixed real $1\le q<4$, the following assertions hold. \begin{enumerate}[label=\textup{(\roman*)}] \item For every bounded Jordan domain $D$ with distinct boundary marks $a,b$, and every approximation satisfying \eqref{intro:marked-jordan}, the Dobrushin strand $\eta_n$ converges in law, in \eqref{intro:curve-metric}, to chordal $\SLE_{\kappa(q)}$ from $a$ to $b$ in $D$. \item Under the specified free infinite-volume law, $\Gamma_\delta$ converges in law as $\delta\downarrow0$ to the nested whole-plane $\CLE_{\kappa(q)}$, in the spherical collection topology just defined. The limit is M\"obius invariant. \end{enumerate} Both conclusions hold along every mesh sequence. No uniformity in $q$ is asserted. \end{theorem} The word ``critical'' refers to the edge parameter $p_q$, whose criticality is established in \citet{BeffaraDuminilCopin2012}. This gives a positive resolution, for $1\le q<4$, of the FK-to-SLE prediction in \citet[Conjecture~9.7]{RohdeSchramm2005} and \citet[Problem~2.6]{Schramm2007Problems}. Those formulations also include $00$ subtree has four terminal legs, possibly of zero length. The $p$-leg has $L=3$, and the other legs have $L=1$. Between the branches is either one shared node or a chain of $m\ge1$ edges with $L=2$. A chain of type $X$ encloses $c,d_0$ and has ports on $B,D$; write $\mathfrak C=\mathfrak B$ in this case. A chain of type $Y$ encloses $b,c$, has ports on $A,C$, and has $\mathfrak C=\mathfrak A$. These are the only possibilities because descendant marked sets are nested. Number the chain nodes $0,\ldots,m$ away from the $p$-leg, and write $c_j$ for their colors. For a shared branch use $m=0$. Leg and branch nodes are wired: each meets intervals of both designated colors, also when a leg collapses at a mark. An internal chain node meets only intervals wiring $\mathfrak C$, and cannot meet a mark because its descendant marked set is unchanged along the chain. The child of an $L=0$ edge is unwired exactly when its first port is high. Hence \begin{equation} \mathcal I=\mathcal I_0+\mathcal I_{\rm mid},\qquad \mathcal I_{\rm mid}=\#\{00$, the endpoint regions of each chain edge both visit the two $\mathfrak C$-intervals, so $E_{\mathfrak C}$ holds. If $m=0$, the shared node visits all four intervals, giving the connection of color $c_0$. Since a chain edge has $w_e=d$ precisely when its child has color $\mathfrak C$, \begin{equation} F:=d^{-\mathcal I_{\rm mid}}\prod_{L(e)=2}w_e =\begin{cases} d^{\mathbf1_{\{c_0\ne\mathfrak C\}}},&m>0,\\ 1,&m=0. \end{cases} \label{four:F} \end{equation} Every off-path $L=0$ weight cancels its contribution to $d^{\mathcal I}$. Inside an $L=0$ branch contained in $R$, define \begin{equation} g_R(\text{wire color})=\tfrac12,\qquad g_R(\text{other color})=-\tfrac12. \label{four:g} \end{equation} Then \begin{equation} \frac{k_e}{w_e} =-d^{g_R(\operatorname{col}(v))-g_R(\operatorname{col}(u))}, \qquad a_e=A_R. \label{four:tail} \end{equation} In particular, two successive increments of $H$ in such a branch cancel. \begin{lemma}[Marked values and corrected observable] \label{four:marked} Call the tree \emph{typical} when all four terminal legs have positive length. On a typical tree, \begin{equation} D_p=D_b=D_{d_0}=0,\qquad \frac{H_b}{P_0G}=\begin{cases}1&E_{\mathfrak A},\\d&E_{\mathfrak B},\end{cases} \quad \frac{H_{d_0}}{P_0G}=y\begin{cases}d&E_{\mathfrak A},\\1&E_{\mathfrak B}. \end{cases} \label{four:marked-values} \end{equation} On the gap visits of any interval $R$, \begin{equation} \begin{gathered} \Re(H_V/A_R)-c_R(\operatorname{col}(V))D_V \quad\text{is constant},\\ c_R(\text{wire color})=-\cos\lambda,\qquad c_R(\text{other color})=\cos(2\lambda). \end{gathered} \label{four:line-invariant} \end{equation} Set \begin{equation} \Gamma(\mathfrak A)=P_0y^2,\qquad \Gamma(\mathfrak B)=-P_0y,\qquad H_V^\circ=H_V-\Gamma(\operatorname{col}(V))D_V. \label{four:corrected} \end{equation} The variables $H_V^\circ$ are bounded uniformly over all trees and vertices. On a typical tree they have value $P_0GT$ along the $c$-leg and all its descendant branches, where \begin{equation} T=\mathbf1_{E_{\mathfrak A}}+y\mathbf1_{E_{\mathfrak B}}. \label{four:T} \end{equation} On gap visits along $B$, their only possible values are $H_b,P_0GT$; along $C$, they are $H_{d_0},P_0GT$. \end{lemma} \begin{proof} An unpassed $L=3$ edge kills every term of $H$, so only its last edge can mark. Once the first $b$- or $d_0$-leg edge has been passed, $k_e=0$ kills all later marked terms. At node $0$, \begin{equation} D=F,\qquad H/P_0= \begin{cases}F,&c_0=\mathfrak A,\\-y^3F,&c_0=\mathfrak B. \end{cases} \label{four:branch-values} \end{equation} The first $b$-leg coefficient $a_e/P_0$ is $-y^2$ or $y^{-1}$, according as the parent color is $\mathfrak A$ or $\mathfrak B$; the corresponding $d_0$-leg coefficients are $-y^4$ or $y$. This gives \eqref{four:marked-values} at the near branch or shared node. On the middle chain, $a_e/P_0=y$ in type $X$ and $-y^2$ in type $Y$. If the first chain edge has $k_e=0$, its weight is $w_e=1$ and only that chain mark contributes. Otherwise $F=d$; the chain terms and the target mark contribute $(2-d^2)$ times the chain amplitude. Indeed the second chain edge already has $k=0,w=1$, or, when $m=1$, the target edge has the same amplitude. The identities \begin{equation} d+(2-d^2)y=yG,\qquad -dy^3-(2-d^2)y^2=G \label{four:far-algebra} \end{equation} give the far-branch values; the first-$k=0$ cases give the same values. For \eqref{four:line-invariant}, consider first the earlier port of an arc, and let $r=1$ for a high port and $r=-1$ otherwise. With ``before'' and ``after'' referring to boundary-gap visits, \begin{equation} \Re(a_e/A_R)=\cos((m_e-r\Delta)\lambda) =c_{\rm after}k_e-c_{\rm before}w_e. \label{four:early-port} \end{equation} At the later port, using its own high status, \begin{equation} -\Re(a_e/A_R)=-\cos((m_e+r\Delta)\lambda) =c_{\rm after}w_e-c_{\rm before}k_e. \label{four:late-port} \end{equation} These product-to-sum identities and \eqref{four:recursion} prove the invariant, including across a corner in the same interval. For $R=B,C$, direct substitution gives \begin{equation} \Re(\Gamma/A_R)=c_R,\qquad d\Gamma(\text{wire color})+\Gamma(\text{other color})=-A_R. \label{four:Gamma-identities} \end{equation} Thus $H^\circ$ is unchanged on $L=0$ edges in $B,C$. It is unchanged on $c$-leg edges as well: those have $w=1,k=-d$, and $a=A_C$ for a high first port, whose parent color is $\mathfrak B$, and $a=A_B$ otherwise. The table bounds all other parts of the tree: an unpassed $p$-leg kills terms; the middle chain kills a complete prefix in at most two steps; and an $L=0$ tail has the two-step rule \eqref{four:tail}. The $c$-leg is the only place where the uncorrected variables can grow, and the correction is constant there. This proves the uniform bound for $H^\circ$, including atypical trees. At a node incident to a $c$-leg edge, the $B,C$ line invariants, anchored by \eqref{four:marked-values}, intersect at $P_0GT$ when $d>1$. The four line directions after division by $P_0G$ are \begin{equation} 1,\quad -y^{-1},\quad y^2,\quad -y \qquad\text{on }A,B,C,D, \label{four:directions} \end{equation} as follows from $iA_R/(P_0G)$ up to nonzero real factors. At $d=1$ the same identity follows by continuity for each fixed finite tree. The descendants beyond a $c$-leg edge lie in its $B,C$ boundary disk; its $L=0$ side branches therefore preserve this value. The gap walk along $B$ goes from the end of the $b$-leg to the end of the $c$-leg. Its $L=0$ excursions preserve $H^\circ$, so only type-$X$ middle nodes need checking. Similarly only type-$Y$ nodes need checking for $C$. At node $0$, \begin{equation} H^\circ/(P_0G)=F\quad(c_0=\mathfrak A),\qquad H^\circ/(P_0G)=yF\quad(c_0=\mathfrak B). \label{four:corrected-branch} \end{equation} After the first zero $k$, the value stays at the far-branch value. If the first $k$ is nonzero, the first jump is $-y^{-1}$ in type $X$ with $c_0=\mathfrak A$, and $-y^2$ in type $Y$ with $c_0=\mathfrak B$. Thus node $1$ already has value $T$ in normalized units. These are precisely the alternatives in the statement. \end{proof} \subsection{Moments, shielding, and disappearance of the diagonal term} The tree calculation gives the marked values and the corrected values along each boundary interval. To pass these statements to subsequential limits, we need moment bounds and boundary shielding, followed by cancellation of the diagonal residual. \begin{lemma}[Compactness and boundary shielding] \label{four:compactness} For every fixed positive power, the moments of $|H_{V(z)}|+|D_{V(z)}|$ are bounded by a power of $\min(1,|z-c|)^{-1}$, uniformly when $z$ is farther than a mesh-scale distance from $c$. The expectations in \eqref{four:observable} are asymptotically equicontinuous on interior compact sets. Every lattice parity therefore has the same locally continuous subsequential limits. Typicality has probability tending to one. As a macroscopic interior point approaches an ordinary boundary point, including a polygon corner, its tree vertex visits that point's interval with probability tending to one after the mesh limit. Near $b,c,d_0$ it lies beyond an edge of the corresponding terminal leg with high probability; near $p$ an unpassed $L=3$ edge remains with high probability. \end{lemma} \begin{proof} The table and the two-step cancellation bound $|H_V|+|D_V|$ by $C\exp(C\ell)$, where $\ell$ is the number of $c$-leg edges passed on the root-to-$V$ path. A passed $c$-leg arc has a child disk containing $z$. It cannot be wholly inside a box at $c$ of radius a small fixed multiple of $\min(1,|z-c|)$, because the flat wall makes such a child disk local. Fixed buffers and the dyadic bands between that radius and macroscopic scale count these passages. The conditional passage estimates of Lemmas~\ref{prelim:passages} and~\ref{prelim:tilts}, grouped into disjoint buffer colors, give the asserted moments. Bounded open-cap reweighting allows their use under a deterministic-cap FK law. If two nearby interior vertices have different boundary-tree regions, a raw boundary arc travels from their vicinity to the wall. Bulk RSW circuits make this probability uniformly small; H\"older's inequality and the moment bound give equicontinuity, including between lattice parities. For the boundary claims, work on separated scales in the relevant wall sector. In disjoint buffers impose two actual wall-to-wall crosscuts, of opposite colors, the first inside the second. Up-to-wall RSW gives a uniform conditional lower bound. A raw medial separator lies between the two thickened paths and joins the two banks. One direct verification is to trace the perimeters: on either bank the gaps at the two crosscut ends have opposite colors, so an odd number of ports lies between them; the paths prohibit radial escape, and at least one of these ports must be paired to the other bank. Such an arc separates the deeper box from the exterior. The same argument works in a corner sector. Iteration gives probability tending to one at diverging scale ratio. It produces the claimed local raw arch at an ordinary point and the appropriate terminal-leg separator at each mark. \end{proof} \begin{lemma}[Diagonal residual cancellation] \label{four:residual} For every bounded function $\gamma$ of the two colors and every boundary point $u$ distinct from the four marks, \begin{equation} \lim_{z\to u}\limsup_{n\to\infty} \left|\mathbb E_{\rm open} [\gamma(\operatorname{col}(V(z)))D_{V(z)}]\right|=0. \label{four:boundary-residual} \end{equation} Here $z$ in the outer limit is a macroscopic interior location, and any lattice vertices tending to it may be used in the inner limit. \end{lemma} \begin{proof} We first cancel a positively weighted residual at a fixed interior $z$. Replace the marked primitive by the full $K(Q)$ string from $p$ to $z$. If $N$ is the number of internal closed loops surrounding $z$, their weight ratio is $-2/d$. Let $\sigma$ take opposite signs on the two colors. Nesting parity gives $(-1)^N=\sigma(\operatorname{col}(z))\sigma(\operatorname{col}(V))$. Equality of the two winding expansions implies \begin{equation} \mathbb E_{\rm open} [\sigma(\operatorname{col}(V))D_V(2/d)^N]=o(1). \label{four:weighted-residual} \end{equation} Here is the required absolute estimate in the wrong expansion. Relative to the complementary cap partition it is at most \begin{equation} K_*^{1+X_*} \prod_{\nu=p,b,d_0}\mathbf1_{\{N_\nu=0\}}\, d^{N_c}\prod_{v\text{ a corner}}f(g_v)^{N_v/2}, \qquad g_v\in\{-\tfrac12,\tfrac12\}. \label{four:wrong-bound} \end{equation} The counts use disjoint small macroscopic cutoffs. The variable $X_*$ counts macroscopic passages and has every fixed exponential moment; its constants may depend on $z$. Away from singularities, ordinary small arcs have the complementary zero-drop cap weights. At $b,d_0,c$ the effective wrong drops are $-s,-s,-t$, with weights $0,0,d$. At $p$, use a locally forward boundary interval. Its arc meets the exiting string with net intersection $-1$; after changing the winding convention the effective drop is $s+1$, again giving weight zero. This depends on the net intersection, not the placement of the string. Corner alternation and cap elimination give the remaining factors in \eqref{four:wrong-bound}. Internal loops around $z$ have absolute weight $2|\cos(2\lambda)|\le d$, and each nonlocal arc costs at most a bounded factor per passage. Without the $K_*^{1+X_*}$ factor, the logarithm of the expectation is bounded above by \begin{equation} 3P+D_*+\sum_{v\text{ convex}}C_{i(v)} +\sum_{v\text{ concave}}L_{i(v)}+O(1). \label{four:residual-budget} \end{equation} Let $Y_n$ be the nonnegative product in \eqref{four:wrong-bound} without $K_*^{1+X_*}$. Its second moment is polynomial in $n$. For $0<\eta<1$, H\"older and interpolation between its first two moments give \[ \mathbb E[Y_nK_*^{1+X_*}] \le C_\eta(\mathbb E Y_n)^{(1-\eta)/(1+\eta)} (\mathbb E Y_n^2)^{\eta/(1+\eta)}. \] The constant uses the fixed exponential moment of $X_*$ at rate $(1+\eta)\log K_*/\eta$. The budget in \eqref{four:residual-budget} has size $O(\log n)$, so this costs only $O(\eta\log n)$ in that upper bound; no lower bound on $\mathbb E Y_n$ is needed. The balanced-corner budget \eqref{exp:polygon-saving} is strictly negative by \eqref{exp:strict-arm}. Our global color choice makes the complementary cap partition at most a constant times the correct open-cap partition. This proves \eqref{four:weighted-residual}. We next remove the positive weight, retaining relative error estimates. Let $\mu$ be the correct deterministic-cap FK law and $R_*=d^{\ell_{\rm open}-\ell_{\rm det}}$; open expectation is $\mathbb E_\mu[R_*\cdot]/\mathbb E_\mu R_*$. For the interval $R$ containing $u$, put \begin{equation} B_*=R_*\sigma(\operatorname{col}(V)) d^{-g_R(\operatorname{col}(V))}D_V, \qquad T_*=d^{g_R(\operatorname{col}(V))}(2/d)^N. \label{four:BT} \end{equation} Thus $\mathbb E_\mu[B_*T_*]=o(1)$ at every fixed $z$. Choose scales in the regular sector at $u$ with \begin{equation} |z-u|\ll r_1\ll r_2\ll r_3\ll1, \label{four:residual-scales} \end{equation} all ratios diverging as $z\to u$, and take the mesh limit first. Except on an event of vanishing probability, $B_*$ is determined outside $r_2$. To see this, use actual screens to ensure that no raw strand from the $r_2$ rim reaches $r_3$. Every changing boundary arc then lies in one small part of $R$, so has $L=0$. All $L>0$ data, the marked subtree and $R_*$ are fixed. Regard arcs touching the connected patch as affected and arcs wholly outside it as stable. Stable separators either separate the entire patch from $p$ or do not; noncrossing puts the affected on-path arcs after them. Off-path factors cancel, while the on-path $k/w$ suffix telescopes by \eqref{four:tail}. The color factor in $B_*$ cancels that suffix exactly. Set $B_{\rm out}=B_*$ on this exterior good event and zero otherwise. Truncate $T_*$ to $T_{\rm in}$ by counting only enclosing loops wholly inside $r_1$ and reconstructing the tree color from their parity and the fixed lattice color of $z$. This is exact unless a raw path runs from $O(|z-u|)$ to the $r_1$ scale: every enclosing loop meets the segment from $z$ to its nearest wall point. To measure both truncation errors, let $N_0$ count the enclosing loops wholly inside the box of radius $\operatorname{dist}(z,\partial\Omega)/8$ at $z$, and put $U_z=(2/d)^{N_0}$. Work under the positive tilt $\nu_{U_z}\propto U_z\mu$. The rare events remain rare under this tilt by conditional RSW outside its support. The variables $B_*$, $T_*/U_z$, and $T_{\rm in}/U_z$ have uniformly bounded fixed moments as $z\to u$. For $B_*$, every relevant $c$-leg arc gives a macroscopic passage away from $u$; an arc wholly local at $u$ would have $L=0$. Every extra loop in $T_*$ gives a passage in a band at distance comparable to $\operatorname{dist}(z,\partial\Omega)$, by the segment observation and its escape from the cutoff. Finitely many bulk and sector buffers cover this band uniformly. Near a corner, use a corner buffer and small straight-bank buffers, or only the latter if the corner is farther away than this scale. The tilt-edge passage estimates apply in each buffer. H\"older therefore makes the product truncation errors $o(\mathbb E_\mu U_z)$, and \begin{equation} \mathbb E_\mu T_{\rm in}\asymp\mathbb E_\mu U_z\ge1. \label{four:T-comparison} \end{equation} The inward relative comparison of Lemma~\ref{prelim:relative-collar} between $r_1$ and $r_2$, applied to this positive inner factor and the absolute parts of $B_{\rm out}$, gives \begin{equation} \frac{\mathbb E_\mu[B_{\rm out}T_{\rm in}] -\mathbb E_\mu B_{\rm out}\,\mathbb E_\mu T_{\rm in}} {\mathbb E_\mu U_z}=o(1). \label{four:relative-decoupling} \end{equation} This is the one-sector case of that lemma: the two side rays carry the common primal wire when $R$ is primal, and there are no through primal wires when $R$ is dual. First use \eqref{four:weighted-residual} at fixed $z$, then let $z\to u$. Equations~\eqref{four:T-comparison}--\eqref{four:relative-decoupling} show that $\mathbb E_\mu B_*$ vanishes in this order of limits. Finally apply the same separation without a tilt to $B_*$ times any bounded function of the tree color, reconstructing that color from the inner-loop parity. Its expectation factors up to $o(1)$ into $\mathbb E_\mu B_{\rm out}$ and a bounded inner expectation. Taking the bounded color factor that reverses the extra factors in \eqref{four:BT}, and dividing by $\mathbb E_\mu R_*$, proves \eqref{four:boundary-residual}. \end{proof} \subsection{The boundary problem, conditional on holomorphicity} \begin{proposition}[Identification of a holomorphic subsequential limit] \label{four:conditional-map} Suppose an interior subsequential limit $h$ of $h_n$ is holomorphic in the ordinary complex coordinate, and pass simultaneously to a limit $r$ of $P_{\mathfrak A}$. Then $01$ its vertex $T_0$ is reflex: in the basis $1,y$ it lies strictly inside the triangle with vertices $0,U_0,yV_0$. When $d=1$, it lies on the third side of that triangle. For any point off the four boundary lines, straighten each continuous boundary trace in its own line. Its winding number is that of the target polygon. The argument principle therefore gives one preimage of every generic interior point and none of every generic exterior point. The open mapping theorem puts the open image inside the polygon, and then the traces on $A,D$ also lie on their actual segments. The segment control on $B,C$ already established is needed at the reflex corner. No interior point lies on the trace, and the preimage count proves conformal bijectivity. The four target angles are $\rho\pi,\rho\pi,(2-3\rho)\pi,\rho\pi$. The Schwarz--Christoffel formula therefore has derivative proportional to $\zeta^{\rho-1}(\zeta-\chi)^{\rho-1}(\zeta-1)^{1-3\rho}$; see, for example, \cite{Pommerenke1992}. The $B$ and $C$ side vectors are $-(1-r)y^{-1}$ and $ry^2$, so their lengths are $1-r$ and $r$. Their ratio gives \eqref{four:crossing-formula}. At $d=1$ the straight marked point has exponent zero, as required. Lemma~\ref{four:tree} reweights the two open-cap alternatives by $d$ and $d^2$, giving the last assertion. \end{proof} For $q=1$, one has $d=1$, $\rho=1/3$, and the substitution $v=\chi/u$ turns \eqref{four:crossing-formula} into Cardy's integral \cite{Cardy1992}. No boundary-law reweighting of actual paths is then needed. Holomorphicity and the boundary approximation transfers are still required before this conditional computation becomes a scaling limit statement. \section{Paired walls and distant charges} \label{sec:pairedwall} We now put a source primitive on each bank of the polygon wall. The purpose of the exterior source is to leave a nonconstant second factor after applying a mixed bulk estimate; no conformal invariance of the exterior probability law is used. \subsection{The paired-wall tensor and its normalization} Let $O=\mathbb C\setminus\overline\Omega$. At every used wall port, replace the ordinary spin contraction by the product of two boundary factors. Use the same factor $b_i$ on the interior and exterior banks, each evaluated on the arrow sign relative to that bank's inward normal. The exterior designated color is opposite to the interior one. Starting at $p$, the exterior order is $D,C,B,A$, and the high statuses on the two banks agree. Its physical normal lift is $\theta_O=\theta_\Omega+\pi$, has total turn $-2\pi$, and has raw bases $H_R-\tfrac12$. Take the two source primitives from $p$ to $z\in\Omega$ and from $p$ to $u$ in an exterior collar strip along $D$. The strip is connected and simply connected and approaches both $p$ and $d_0$; initially we restrict $u$ to its interior compact sets. Use the respective inward initial lifts. A \emph{pure string of charge $a$} along a directed tile path contributes $e^{i\lambda ac}$ at a crossed spin, where $c=1$ denotes an arrow in the path's left-normal direction. Add the following strings: \begin{enumerate}[label=(\roman*),leftmargin=*] \item In exterior boundary order put \begin{equation} P_D=0,\quad P_C=-2s,\quad P_B=-2(s+t),\quad P_A=-2(2s+t). \label{wall:short-charges} \end{equation} For each nonzero $P_R$, run a charge-$P_R$ string forward, parallel to its interval in boundary homotopy, with its endpoints at the interval ends and its interior off the wall. Sliding this path out through a complete wall adds $P_R$ to that interval's raw base. \item Choose two finite sets of positive numbers $a_j$, each with sum $1$, satisfying $a_j<1$ and $(1+a_j)\lambda<\pi/2$. Run charge-$(-a_j)$ strings from $p$ to exterior bulk vertices $w_j$, at successively separated distances \begin{equation} r_j\asymp R_0L^{j-1} \label{wall:distant-scales} \end{equation} from a fixed pole $z_*\in\Omega$. Their initial portions follow a common simple cut from $p$ out to distant scales before splitting; they never return near the polygon. Continue this cut notionally to infinity, and back through $\Omega$ to $z_*$. \end{enumerate} First fix a sufficiently large $L$, then let $R_0$ become large after the mesh limit. Exterior probe paths stay on the starting $D$ side of the cut and avoid the short strings and their sliding homotopies. To arrange this, choose thin topological boundary strips separated at the marks by sector curves, reserve the $D$ strip for probes, and send the cut out at $p$. Each fixed geometry admits piecewise smooth paths with clear corridors and then tile-edge approximations. Figure~\ref{wall:geometry-figure} shows the two probe regions and the common outgoing cut before its distant branches separate. \input{figures/paired-wall} At shared initial tile edges use ordered parallel lanes, with pure strings on the non-probe side when they separate. This specifies the matrix order: the lanes cross the same smooth raw strand near a port midpoint, and diagonal phases act on the specified side of $L_-$. Near tile vertices they can be joined without extra strand crossings. Pure lanes need no mutual ordering. Source paths may be chosen in fixed homotopy with continued lift throughout their domains, also when small wall gaps are present away from the marks and these corridors. For a positive reference law, cap each designated primal interval separately on each wall component. At a fragment tip the designated color changes between banks. Write $\mu$ for this deterministic-cap FK law, and $Z^{\rm cap}$ for its all-loop partition relative to the uncut plane vacuum, including common tile coefficients. If $\Xi(z,u)$ denotes the vacuum spin expectation of the boundary factors, sources, and pure strings, the winding expansion gives \begin{equation} \frac{\Xi(z,u)}{Z^{\rm cap}} =\mathbb E_\mu\mathcal O(z,u), \label{wall:diagram-normalization} \end{equation} where $\mathcal O$ is the oriented diagram sum divided, configuration by configuration, by the deterministic-cap loop weight. All changes are finite at each mesh. The almost-sure finiteness of vacuum loops, or the finite-cylinder construction of Section~\ref{sec:angular}, justifies this identity even in the plane; unchanged remote loops have ratio one after orientation summation. For each $j$, let $N_j$ count closed raw loops surrounding $w_j$ wholly inside a box of a fixed small relative radius at scale $r_j$. Set \begin{equation} U=\prod_j u_+(a_j)^{N_j},\qquad u_+(a)=\frac{\cos((1+a)\lambda)}{\cos\lambda}>0. \label{wall:U} \end{equation} The patches are disjoint and buffered. For gapped walls a further positive tip factor $T_g$ will be introduced in Section~\ref{sec:closinggaps}; it equals $1$ for a complete wall. The normalized paired-wall function is \begin{equation} \mathcal H_g(z,u)= \frac{\Xi_g(z,u)}{Z_g^{\rm cap}\mathbb E_{\mu_g}[UT_g]}. \label{wall:H-normalized} \end{equation} \subsection{The ideal exterior observable and its phases} With a complete wall, the capped interior and exterior are independent by the loop weights and domain Markov property. The interior factor is $h_n(z)$ times $c_*P_0G$ and the bounded ratio of its open and deterministic-cap partitions. The ideal exterior object is the same four-change disk-tree observable on $O\cup\{\infty\}$, viewed after inversion about $z_*$: its boundary order is $D,C,B,A$, its bases in that order are $(s+1,1,s,0)$, its launch is $p$, and it uses the exterior high designation. Raw boundary arcs form a finite disk tree, since none escapes to infinity almost surely. This definition needs no tiles at infinity and does not change the exterior positive law. Write $H^O_{V_O(u)}$ for the tree variable \eqref{four:H} with these exterior data, and set \begin{equation} J_n(u)=\frac{\mathbb E_{{\rm open},O}H^O_{V_O(u)}}{P_0G}. \label{wall:ideal-observable} \end{equation} As for $h_n$, this is the exterior primitive contraction divided by its open-cap partition and by $c_*P_0G$; the tree variable has already had the common source factor $c_*$ removed. The tree table gives local boundedness and asymptotic equicontinuity of $J_n$ in the probe strip. A relevant nonlocal arc has a macroscopic passage near the bounded wall, and separating nearby probe points requires a boundary-reaching arm. Shielding at the flat marks gives limit zero at $p$ and a value bounded away from zero at $d_0$. Consequently every locally uniform subsequential limit $J$ is continuous and nonconstant on this connected strip. The physical phases agree with the ideal ones for bounded open arcs. First slide the short strings onto the complete wall, avoiding the source path. The new raw profile $H_R-\tfrac12+P_R$ differs from the desired exterior profile by the global constant $-s-\tfrac32$. Since there is one outward source, this contributes only a fixed phase. Let \begin{equation} \psi=\arg\left(\left(\frac1{z-z_*}\right)'\right) \label{wall:inversion-angle} \end{equation} with the cut and continuous lift just chosen. The inverted normal is $\theta_O+\psi$ and has total turn $2\pi$: on the clockwise exterior lap, $\psi$ gains $4\pi$ before the cut is reset. An oriented arc's image turn is its physical turn plus the endpoint $\psi$ difference, minus $4\pi$ times its signed intersections with the outward cut. Boundary normal factors cancel the endpoint terms. For a marked arc, the two departing pieces have additional start terms, canceled exactly by the change of the gauge $e^{i\rho\alpha}$ at the source. Prefix intersections are unchanged topologically. Before the distant strings split, their total charge is $-2$, which supplies precisely the remaining image multiplier. Thus the physical and ideal open-arc factors agree up to one common phase whenever those arcs stay before the splitting scales. This is a calculation with turn lifts of smooth disjoint drawn arcs, independent of any invariance of their law. \subsection{A nonzero distant factor} For a closed exterior loop $\gamma$, let $A_\gamma=\sum_{w_j\text{ inside }\gamma}a_j$, using its physically bounded inside. Such a loop surrounds $p$ exactly when it surrounds the whole wall. Its ratio to the ordinary weight is \begin{equation} \begin{cases} v(A_\gamma)=\cos((A_\gamma-1)\lambda)/\cos\lambda, &\gamma\text{ surrounds the wall},\\ u(A_\gamma)=\cos((1+A_\gamma)\lambda)/\cos\lambda, &\text{otherwise}. \end{cases} \label{wall:closed-ratios} \end{equation} These formulas follow by counterclockwise intersection with the strings. A closed loop cannot separate the source of a nonzero open-arc term from the connected wall. Thus \eqref{wall:closed-ratios} lists all changes to its weight, including when some open arcs go far. Let $Y$ be the product of these ratios; only finitely many are nontrivial. \begin{lemma}[Distant normalization] \label{wall:distant} For sufficiently large fixed $L$, under the exterior positive tilt $\nu_U\propto U\mu$, \begin{equation} \mathbb E_{\nu_U}(Y/U)\ge c_L>0,\qquad \mathbb E_{\nu_U}|Y/U|^p\le C_{p,L} \label{wall:distant-moments} \end{equation} for every fixed $p>0$, uniformly for large $R_0$ and fine mesh. \end{lemma} \begin{proof} Between consecutive endpoint scales use corridor annuli with radii $Kr_j$ and $r_{j+1}/K$, for a large fixed geometric constant $K$. Each winding loop wholly in corridor $j$ has ratio $v(\sum_{i\le j}a_i)\ge1$, because the total charge magnitude is $2$. Let $M_j$ be the product of these ratios and $M=\prod_jM_j$. Besides the $U$ nests and these corridor loops, all nontrivial loops are counted by a variable $X$ having every fixed exponential moment uniformly under $\nu_U$, with constants independent also of sufficiently large $L$. Indeed a loop excluding $z_*$ but surrounding an endpoint outside its local cutoff has a passage at that endpoint scale, since it separates the endpoint from $z_*$. A loop winding about $z_*$ and enclosing some but not all endpoints either lies in its corridor or passes a bordering scale. Fixed box and shell covers, disjoint from other endpoint buffers, and the tilt-edge passage estimates give the claim. Therefore, for a fixed $C$, \begin{equation} |Y/U|\le MC^X,\qquad Y/U\ge MC^{-X}\quad\text{off }\mathcal B, \label{wall:MY} \end{equation} where $\mathcal B$ is the event that some loop excluding $z_*$ encloses at least two endpoints. Off $\mathcal B$, all remaining ratios belong to a fixed finite positive set. Moreover \begin{equation} \mathbb E_{\nu_U}M^b\le C_bL^{C_b}\qquad(b>0\text{ fixed}). \label{wall:M-moments} \end{equation} To prove this, use $O(\log L)$ dyadic passage bands per corridor, group disjoint buffers by colors, and apply H\"older; those buffers avoid the supports of the endpoint tilts. If a bad loop has smallest enclosed endpoint index $j$, it crosses corridor $j$ radially, and hence excludes every winding loop counted by $M_j$. Write $\mathcal B_j$ for this event. Successive actual circuit blockers give $\mathbb P(\mathcal B_j\mid U\text{ patches},(M_i)_{i\ne j}) \le CL^{-\alpha}$, uniformly. On $\mathcal B_j$ one has $M_j=1$. First apply this conditional estimate to $\prod_{i\ne j}M_i$, then H\"older with exponent $1+\delta$ close to one to absorb $C^X$, interpolating against the polynomial moment bound \eqref{wall:M-moments}. For some $\alpha'>0$ independent of $L$, \begin{equation} \mathbb E_{\nu_U}[MC^X\mathbf1_{\mathcal B}] \le C'L^{-\alpha'}\mathbb E_{\nu_U}M. \label{wall:bad-relative} \end{equation} The same interpolation, using arbitrary fixed exponential rates for $X$, gives for every $\varepsilon>0$ \begin{equation} \mathbb E_{\nu_U}[MC^{-X}] \ge c_\varepsilon L^{-\varepsilon}\mathbb E_{\nu_U}M. \label{wall:positive-relative} \end{equation} Equivalently, Jensen under the $M$ tilt and the exponential bounds give an arbitrarily small coefficient of $\log L$ in its mean of $X$. Take $\varepsilon<\alpha'$ and then $L$ large. Equations \eqref{wall:MY}--\eqref{wall:positive-relative}, and $M\ge1$, prove the positive lower bound in \eqref{wall:distant-moments}. Its moment bound follows from \eqref{wall:MY}, \eqref{wall:M-moments}, and H\"older. \end{proof} \subsection{Absolute source bounds and factorization} We record the source-path placement used here and in gap closure. Both paths can be taken in regular simple tubes, on their nominal sides of the wall except at the flat launch. For an absolute estimate, temporarily slide the exterior pure-string endpoints at $p$ a small macroscopic distance toward the non-probe, $A$ side of the same solid wall. Keep all gaps and other marks farther away, and include the charge along the traversed bank interval as diagonal port phases. This is an equality of the summed pairing expression: ordered lanes allow a homotopy onto the bank without crossing a source path, and ice conservation gives the port phases. Pure lanes may cross one another. Charges still count from their original endpoints, so no extra charge is created at a temporary slide-end. The paired factors and the conventions used for gluing do not change. After this temporary slide each tube has $p$ in the relative interior of a flat entrance face, with a clear portion on both sides; its target is deep inside, and its other sides avoid the wall, strings, and the other tube. Finitely many such choices cover compact probe sets. For each pairing, choose a path that crosses minimally the disjoint raw crosscuts of its tube. A sufficiently small separating crosscut cuts off $p$ locally on the entrance face: the small disk on one side cannot contain the deep target, so must contain the launch. Because the entrance is solid wall, it is an entire launch-straddling raw arc, not a short return of a larger strand. Every other traversed crosscut gives a macroscopic subpassage, even if one full strand visits the tube repeatedly. This construction also avoids entering tiny ordinary boundary-arc disks elsewhere. The local launch weights are decisive. After the short strings and distant total charge are counted, the effective unpassed raw drop at $p$ is $-s$. Passing the exiting source prefix makes it $-s-1$, with the $Q^{-1}$ minus sign. Thus small nested launch arches have weight zero while unpassed and unit absolute weight while passed; only the last can mark a nonzero term. The other marked drops are $s,t,s$, with local unit weights. Ordinary same-bank arcs cancel local caps, and a physical corner without a wire change has zero-drop staggering. All remaining factors cost at most a constant per macroscopic passage. Consequently the source sum, divided by $U$ and the deterministic loop weights, is bounded by \begin{equation} |Y/U|\,C^{1+X_0}, \label{wall:absolute-source} \end{equation} where $X_0$ counts passages near the bounded wall and probe corridors and has uniform fixed exponential moments. \begin{proposition}[Complete-wall factorization] \label{wall:factorization} For the complete wall, there are probe-independent complex numbers $a_n(R_0,L)$, bounded above and away from zero in modulus for the fixed large $L$, such that \begin{equation} \mathcal H_{\rm full}(z,u) =a_n(R_0,L)h_n(z)J_n(u)+o(1) \label{wall:factorization-eq} \end{equation} uniformly on interior compact probe sets. The error tends to zero with mesh first and then $R_0\to\infty$. No limit of $a_n$ is asserted or needed. \end{proposition} \begin{proof} Under $\nu_U$, bulk RSW circuits in the empty scales between the wall and the first endpoints make the probability that a raw open arc reaches the splitting scales tend to zero. On its complement the phase comparison above is exact. Lemma~\ref{wall:distant} and \eqref{wall:absolute-source} make the error negligible even on the exceptional event, by H\"older. Choose intermediate radii $1\ll R_1\ll R_2\ll R_0$. The ideal tree integrand, including its open-to-deterministic reweighting, is readable inside $R_1$ when its boundary arcs stay there; set it to zero otherwise. Similarly $Y/U$ is readable outside $R_2$ unless a raw path joins that scale to the first endpoint bands: new loops at smaller scales have trivial ratios. All product truncation errors vanish under $\nu_U$ by the moment estimates and RSW. The inward relative comparison across the intervening bulk annuli then factors their expectation up to $o(1)$. Applied to absolute parts, that comparison also replaces the inner tilted expectation by the unweighted one. The exterior coefficient is the fixed phase times $\mathbb E_{\nu_U}(Y/U)$ and the bounded tree/cap normalizations. Interior-exterior independence completes \eqref{wall:factorization-eq}; Lemma~\ref{wall:distant} bounds the coefficient away from zero. \end{proof} \section{Closing finitely many wall gaps} \label{sec:closinggaps} Reflection cuts will require vacancies in the wall. The following comparison removes them without estimating a signed observable by an additive error in its partition function. Choose finitely many separated gap locations away from the marks and source or string corridors. Remove intervals of lengths comparable to $h$; at a genuine corner remove such intervals on both adjacent sides. Their endpoints are lattice vertices. At each tip, let $N_{\rm tip}$ count raw arcs joining the two banks of that ray around its tip, wholly inside a sufficiently small cutoff box of scale $h$. Use disjoint buffered boxes, and set \begin{equation} T_g=\prod_{\text{tips}}(\cot\lambda)^{N_{\rm tip}}. \label{gap:tip-tilt} \end{equation} All these factors are positive. Other gaps may already be present at fixed sizes and separated locations; include their analogous factors. \begin{proposition}[Gap closure] \label{gap:closure} Keep the distant charges and their locations fixed. Let $g$ denote the gapped wall and $f$ the wall obtained by closing the specified $h$-gaps, retaining any other gaps and tip factors. There are positive probe-independent numbers $b_n$, bounded above and below, such that \begin{equation} \mathcal H_g(z,u)=b_n\mathcal H_f(z,u)+o(1) \label{gap:comparison} \end{equation} uniformly on interior compact probe sets. The error vanishes in the mesh limit followed by $h\to0$. Constants may depend on the fixed remaining features. In particular, a second, smaller collection of gaps may be closed before the first collection. \end{proposition} \begin{proof} Use the same tile pairings in the cut conventions $g,f$. A port interaction or raw arc is \emph{affected} if it uses a newly missing port; the gapped diagram joins the filled paths terminating on the two sides there. Write \begin{equation} S=UT_f,\qquad T=T_g/T_f,\qquad \nu_g\propto ST\mu_g,\qquad \nu_f\propto S\mu_f. \label{gap:tilted-laws} \end{equation} The supports of $S$ are away from the closing gaps. \paragraph{Confinement and the local multiplier.} In the common collars at radii $h\ll r_1\ll1$, require a primal screen joining the wall rays in the sector carrying primal wire portions, and a dual screen in the other sector, which has no primal through wire. With diverging scale ratio, conditional RSW makes this inner good event tend to probability one under $\nu_g$, even given the remote tilts and deeper tip data. It confines all affected paths to these neighborhoods. Moreover the outer primal connectivity induced by the inner fillings is the same for $g,f$: every connection using the deeper patch must enter the already connected primal screen, including bypasses through its joined wire portions. Represent the wires by deterministic connections along their designated intervals. The FK Euler formula now makes $\ell_f-\ell_g$ local, equal to a difference of internal component counts plus deterministic constants. This can first be checked with all distant edges fixed. On this good event there is an exact local multiplier $B$ such that \begin{equation} \mathcal O_g=B\mathcal O_f. \label{gap:pointwise} \end{equation} It is the ratio of the affected spin weights, multiplied by $d^{\ell_f-\ell_g}$. It is positive. To check the latter assertion, view the local patch as a disk with two radial notches ending at the separated tips. A same-bank arc, even one threading the gap, has its usual staggered $d,1$ weights: simple-arc isotopy fixes its turn with the prescribed normal ends, and its endpoint high statuses are opposite by color parity. Orient an opposite-bank arc from its interior to its exterior port. Its endpoint directions are now the two interior normals; the high statuses agree, since the color to the left is the preceding interior gap at both ends. The matched boundary factors give amplitude \begin{equation} \frac{\cos(\rho(W+\theta_i-\theta_j)/2)}{\sin\lambda}. \label{gap:cross-bank-amplitude} \end{equation} For ports on the same ray, turn minus normal difference is $\pm2\pi$, giving $\cot\lambda$. For different rays it is zero, giving $1/\sin\lambda$. Start with collinear rays, drawing a path around the finite tip or across the slot, respectively. Bending one ray through the intended right angle rotates its endpoint normal by the same amount, so the conclusion persists at a corner gap. All simple crosscuts with the same ends have the same lifted turn by isotopy. New closed internal loops have ordinary weight $d$, while the filled arcs have homogeneous-interval weights. Every local factor is positive. We need a comparison uniform as $h\to0$: \begin{equation} K^{-(1+X_h)}T\le B\le K^{1+X_h}T, \label{gap:B-bound} \end{equation} where $X_h$ is a finite sum of passage counts at scale $h$ and has uniform fixed exponential moments under $\nu_g$. The following cap elimination avoids counting every straddle at intermediate scales. In both conventions remove affected boundary arcs of diameter below a small fixed fraction of $h$, together with their disk descendants. In $f$ these lie on homogeneous continuous intervals, including across the missing positions. In $g$, a short affected arc with solid ends is near a single tip, cutting off a disk against one continuous bank or across that tip change. Its disk is also short by the straight or single-corner geometry. No such disk spans both separated tips; at a corner both removed side portions have lengths comparable to $h$. Also remove, in both conventions, any common unaffected descendants needed for either elimination. Such descendants have both ends on a common bank piece and the same neutral disk and intervening arcs; their union is therefore an allowed common removal. Eliminate innermost arcs first. Zero-change cap increments cancel the $d,1$ factors. Across a single tip change the two statuses are both high or both low; one unmatched port is transported and no loop is created, leaving exactly the $\cot\lambda$ factor. No whole interval is erased by these local removals. Remaining caps still pair adjacent high-low ports with inherited status, apart from boundedly many end ties. The number of removed tip arcs differs from the tilt count by $O(X_h)$. Every surviving affected boundary arc has a non-short passage at the slot scale, so their number is also $O(X_h)$, using bulk, straight-wall, and tip buffers. For this count, filled paths are disjoint segments of gapped paths. The tilt-edge moment bounds apply also near the cutoff boxes. Remaining common raw arcs have the same ends. Their residual cap pairings differ at only $O(1+X_h)$ ports: on every common solid interval, both pair consecutive high-low ports, interrupted only by interval ends and noncommon survivors. Thus their boundary-loop counts differ by at most this number, irrespective of long-range ties. New local closed loops cancel their ordinary spin weights. This proves \eqref{gap:B-bound} and retains the exact positivity. \paragraph{Absolute moments, including exceptional configurations.} For every fixed power, both $\mathcal O_g/(ST)$ and $\mathcal O_f/S$ have bounded moments under $\nu_g$, uniformly as the indicated gaps shrink; $\mathcal O_f/S$ has the same bound under $\nu_f$. Choose the two simple source corridors as in Section~\ref{sec:pairedwall}, with the ordered lanes and temporary start-clearance slide common to both cut conventions. On each pairing deform the paths to minimal tube separators. Both markers are outward sources and lie on distinct open arcs. Closed loops cannot mark. Apart from entire local launch arches, possible marked crosscut components are counted by macroscopic passages, also for repeated visits of a full strand. Local launch arches are zero while unpassed and have unit magnitude while passed, so only the last nested candidate can mark. This remains true when gaps open elsewhere. Other local flips have unit weights and can be avoided by the paths. Pure strings may meet remote arcs; at a wall mark their effects are exactly their specified bank charges and they do not alter ordinary small disks away from their endpoints. The short eliminations and the residual cap comparison just used remain valid as count estimates without confinement of long affected paths. Short affected arcs and loops are away from all insertions and are neutral except for their tip factors. Every non-short affected boundary arc costs a bounded factor per $X_h$. For the other boundary weights, use the residual count of $f$ and eliminate its local disks up to a fixed small macroscopic threshold, chosen relative to retained gaps and feature separations. This includes straddles at the newly filled homogeneous locations. Ordinary common disks cancel caps; flip and launch disks obey the preceding rules; a retained tip gives its designated positive factor, up to cutoff-scale passage errors. Any affected long survivor already costs $O(X_h)$. Thus the residual comparison has no loss per scale between $h$ and macroscopic distance. Internal closed ratios outside the local bulk tilt patches are trivial unless the loop has a macroscopic passage. For example, a loop enclosing a marker without its start also encloses an end of the marker's boundary arc on a solid of length bounded below, and hence cannot be tiny. The same observation applies to loops cutting off starts on solids. The other strings have only their designated local endpoint nests. Very large loops enclosing all finite data have ratio one. All remote scales, including the distant charges, stay fixed while these gaps close. Consequently the absolute source sums, after their respective positive tilt factors are removed, are bounded by \begin{equation} K^{1+X_0+X_h}. \label{gap:absolute} \end{equation} Here $X_0$ is a fixed-scale passage count with every fixed exponential moment. Any trajectory of genuinely fixed diameter near a shrinking slot has a fixed-size subpassage outside a small neighborhood of its core, where the ordinary bulk or sector buffers apply. This also covers passages involving the newly opened wall; in $f$ use the disjoint raw segments already noted. Equation~\eqref{gap:absolute} proves all the stated moment bounds. \paragraph{Relative decoupling.} Choose further scales $r_1\ll r_2\ll r_3\ll1$, all ratios diverging. There is an exterior-readable approximation $F_{\rm out}$ to $\mathcal O_f/S$ from outside the $r_2$ patches, exact unless raw passages traverse the common collar to $r_3$; set it to zero otherwise. Indeed, on this exterior good event, changing the fills inside $r_2$ affects only local arcs against homogeneous continuous bank intervals. Eliminate them and their intervening arcs with no net weight and the same remaining caps. To make this elimination common to all fills, remove the union of ports affected, or lying in an intervening interval, for some fill. Stable arcs from such an interval pair inside it and have that same neutral disk with its descendants. The untouched endpoints therefore see precisely the common adjacent-pair reconnection of the deleted blocks. Modified internal loops are ordinary and all remaining source data are unchanged. The moment bounds control its error under both relevant tilted laws. Let \begin{equation} D_{\rm in}=(B/T)\mathbf1_{\{\text{inner good}\}}. \label{gap:D-inner} \end{equation} It is nonnegative, measurable inside $r_1$, and has bounded fixed moments and expectation in $[c,C]$, by \eqref{gap:B-bound} and the high probability of the good event. The outward two-sector case of Lemma~\ref{prelim:relative-collar} says that the conditional law of edges outside $r_2$, given an inner fill under $\nu_g$, differs by relative $o(1)$ from its law under $\nu_f$. The graph and local wire representatives in the intervening collars and farther out are common; only the inner partition can differ. For several patches, iterate this uniform comparison patch by patch. Conditioning the other interiors adds only local ties, with their common external wires represented along the sides. The factor $T$ is held inside and $S$ is remote, so the relative comparison persists after both tilts. For the remote tilt, the uniform relative density bound changes both its weighted expectation and its normalizing constant by $1+o(1)$, so it also holds after reweighting and normalization by $S$. It follows that \begin{align} \mathbb E_{\nu_g}[\mathcal O_g/(ST)] &=\mathbb E_{\nu_g}[D_{\rm in}F_{\rm out}]+o(1)\notag\\ &=\mathbb E_{\nu_g}D_{\rm in}\, \mathbb E_{\nu_f}[\mathcal O_f/S]+o(1). \label{gap:decoupling} \end{align} The errors follow from the preceding rare-event and moment bounds. The first factor is positive, bounded above and below, and independent of the probes. By \eqref{wall:H-normalized} and \eqref{gap:tilted-laws}, the two outer expectations in \eqref{gap:decoupling} are exactly $\mathcal H_g$ and $\mathcal H_f$. This proves the proposition. \end{proof} \section{Holomorphicity from reflection and extraction} \label{sec:holomorphic} We now supply the holomorphicity premise of Proposition~\ref{four:conditional-map} by estimating mixed differences of the paired-wall observable. Reflection and angular extraction give the estimate with gaps present; gap closure and complete-wall factorization then transfer it to the disk observable. Assume now that the coordinates of $\Omega$ are rational in the tile frame. Thus its true vertical wall levels are congruent to some $X_*$ modulo a fixed $G_*>0$. All geometric constructions in this section are fixed before the mesh tends to zero. We first use small compact probe neighborhoods with the following strict margins: the two probe heights are distinct and avoid horizontal walls and feature heights; their abscissas avoid vertical wall levels; and the two probes are not on a common axis diagonal. Distant endpoints are placed at heights outside the probe bands. We remove these temporary exclusions at the end. \subsection{The mixed stencil and the gaps} For $v=z,u$ and a tile-axis unit vector $e_k$, set \begin{equation} \delta_{k,v}^{(2)}F=F(v+2n^{-1}e_k)-F(v). \label{hol:two-step} \end{equation} The relevant stencil is \begin{equation} (\delta_{1,z}^{(2)}+i\delta_{2,z}^{(2)})\delta_{j,u}^{(2)}, \qquad j\in\{1,2\}. \label{hol:mixed-stencil} \end{equation} Simple two-step extensions with a common arriving prefix express it as a vacuum tensor expectation containing one high and one low local insertion from Section~\ref{sec:current}. The first is the high combination because the two positive axis directions have relative coefficient $i$ in \eqref{hol:mixed-stencil}. All dependence on the stencil terms is localized in the two small probe boxes; all other paths are common diagonal strings. Fix the starts, homotopies, and lifts as in Section~\ref{sec:pairedwall}, with separate corridors and a final incoming path compatible with both positive extensions. These are valid tensor identities with gaps present. The \emph{primary gaps} have widths comparable to $h$. They include all true corners, and openings on every vertical wall in each probe height band. One anchor height $y_{*,i}$ per probe box suffices. Choose $H_i>0$, with $2H_i$ dividing $G_*$, sufficiently small that for every probe height $y_i$ in that box, \begin{equation} l_i=\frac{y_i+y_{*,i}-H_i}{2},\qquad y_i\in(l_i,l_i+H_i) \label{hol:marker-cell} \end{equation} with uniform margins. The two cell intervals are disjoint and lie in clear horizontal feature bands. Put a primary gap at height $y_{*,i}$ on every vertical wall crossing the band. Round its ends to lattice vertices. We will also use \emph{secondary gaps}, of much smaller width $\sigma$, at finitely many points of the remaining straight solids. Thus every solid component used in the estimate is a separated straight fragment. The finite choices and the limiting order are different. First fix the primary width $h$ and choose a finite reflection template; this determines the centers of the secondary gaps. Then fix their width $\sigma$ sufficiently small for that template. With these choices and the distant endpoints fixed, take the mesh limit. Only afterward do we close the secondary gaps, close the primary gaps, and send the distant endpoints away: \[ n\longrightarrow\infty,\qquad \sigma\longrightarrow0,\qquad h\longrightarrow0,\qquad R_0\longrightarrow\infty, \quad L\text{ fixed}. \] No estimate uniform in the size of a shrinking-gap reflection template is required. \subsection{Reflection inequalities and angular extraction} An axis-parallel cut through tile vertices, vacant of solids, endpoints, and stencil boxes, gives a Hilbert-space Cauchy--Schwarz inequality for the plane vacuum. Each child keeps one half and adds its conjugate, arrow-reversed mirror, with exponent $1/2$ in the multiplicative inequality. This is the square-row Gram construction of Section~\ref{sec:angular}, or its finite-cylinder limit. Diagonal strings can cross the cut transversely at its vertices: ice conservation reroutes any runs along the cut within a few vacant rows. Conjugation inverts the reflected charge, while reversing the joined path direction inverts it again. The flux therefore continues across the join, with no new endpoint or phase charge. For any fixed finite reflection and extraction schedule, take each connected source box to contain all its prospective source edges and their common final incoming segment, with size below the minimum positive cut distance. Cut joins and all other extraction bands then avoid that box; every surviving copy contains an intact reflected image of the same local drawing. When extracting that copy, keep the final incoming segment fixed and reroute only the exterior background. The resulting closed routing difference is supported outside the connected box and has one face coefficient throughout it. Thus the phase is common to every term of the stencil, as required by Proposition~\ref{cur:slab-estimate}. Call a stencil copy \emph{favorable} if the slope-$+1$ line through it lies in a clear slab of fixed positive macroscopic thickness, containing no solids, endpoints, other features, or other stencils. Its diagonal-time projection must differ from the others'. Parallel diagonal cuts inside this slab, with many positive-time rows on both sides, allow Proposition~\ref{cur:slab-estimate}, based on Theorem~\ref{bulk:angular-estimate}, to extract the insertion with cost \begin{equation} O(n^{-1-\rho})\quad\text{for a high insertion},\qquad O(n^{-1+\rho})\quad\text{for a low insertion}. \label{hol:angular-costs} \end{equation} This extraction retains the two external state norms. We spell out which path identities make those norms independent of the choice within the stencil. After an odd number of reflections the local insertion is the $L_+,Q^{-1}$ alternative; its angular parameter is still $\tau=+$, with the reflected high coefficient. Rewrite any backward increment locally as the negative of its forward counterpart. The common start and end and the compensation pairs from Section~\ref{sec:current} put both high terms on positive-step paths. The arriving charge belongs to the background even if the original prefix came from the future side. In the vacant slab, funnel that background to common seams and one skirt avoiding the entire marker rectangle. The difference of the original and new routings is a closed chain whose face coefficient is the same at every prospective source edge. Ice conservation therefore gives one common scalar phase, rather than term-dependent phases. These changes stay inside the intact stencil box and vacant band, so all other stencil sums remain in the external states unchanged. The two state norms are themselves reflected diagrams, now omitting the extracted middle band and using the positive intervening square-layer metric at the two cuts. Their diagonal chains join at shared level vertices with continuous flux. Thus their exponents are again $1/2$. No bound on arbitrary boundary-state norms is being assumed. Other favorable copies to either side, and their mirrors, remain favorable if the bands are sufficiently narrow. Suppose a node has $k$ favorable copies. Extract one at a median projection. If $k_-,k_+$ copies are strictly before and after it, its two norm children have $2k_-,2k_+$ favorable copies. Each is at most $k$, and their half-average is $k-1$. Under the successive half-weights the count reaches zero with expected time at most the initial count. Truncating at a sufficiently large finite depth therefore leaves an arbitrarily small expected residual count. Every extracted insertion is counted once at its node; otherwise total counts are preserved in half-average. All cuts and extraction bands avoid the other intact local data. \subsection{The complete cost of the norm diagrams} Angular extraction has supplied the decay factors while retaining the two exterior norms. We now estimate the reflected configurations defining those norms, so that their wall and charge costs can be compared with the normalization of $\mathcal H_g$. At a final leaf, bound the remaining tensor sum by an absolute winding expansion. Every retained straight segment, its features, and every remote endpoint is an intact reflected copy. In one common $+$ expansion, even-reflection copies use the original local weights, whereas odd-reflection copies use the absolute wrong-expansion weights. Indeed spatial reflection and travel reversal preserve the signed strand turn together, while conjugation reverses its phase. For positive comparison use direct cap wires on even copies and reflected complementary wires on odd copies, completing the disjoint straight slits by any deterministic planar positive caps. The local tables can then be read in their original bank coordinates. Ordinary local arcs have exactly their high-low cap weights. Each flat mark contributes both banks. In the correct expansion the local magnitudes at all four flips are $1$; in the wrong expansion they are zero per local straddle at $p,b,d_0$ and $d$ at $c$, on each bank. At $p$ use the effective raw drop $-s$ and the exiting diagonal prefix; at the other marks use $s,t,s$. Negation of the effective shifts on a flat wall gives the wrong weights. Reflection cuts preserve these outgoing local charge data even if the strings subsequently continue to mirrors. Tip-cross factors on a straight fragment are $\cot\lambda$ in either absolute convention. Endpoints of charge magnitude $a$ have local closed-loop factors $u_+(a)$ on even copies and $u_-(a)$ on odd copies. There are no true corners on the solids. Choose all local cutoffs smaller than the fixed cut margins. At any unextracted marker, a nonzero term requires its strand to reach a solid or another marker: a closed component cannot change orientation only once. It is therefore macroscopic, and no tiny surrounding loop can isolate the marker. Using vertex instead of source-edge endpoints changes positions by boundedly many mesh steps and costs only bounded passage factors. Every other nonordinary arc or loop has a macroscopic passage. There is no flux to infinity: each diagonal chain has total divergence zero after its source terminations are included, and the mirror joins create no new endpoints. Thus a closed loop enclosing all finite data has ordinary weight; one returning to the data while going far is counted among the macroscopic passages. Cap elimination therefore bounds the absolute leaf expression, relative to its deterministic caps, by $C^{1+X}$ times the product of the local factors just listed, where $X$ has every fixed exponential moment. A zero local factor means the corresponding absence indicator. H\"older and the positive local-tilt comparisons absorb $C^X$ at arbitrarily small loss in the coefficient of $\log n$. The two banks at a mark count separately: conditional on their exterior data they are two half-sector patches separated by the solid wall, with only outer cap ties. Tip expectations agree up to constants with the original positive tip normalizations. For a complementary copy, reflect across the ray to exchange banks and wire assignments, then use radius and collar comparisons. Surface partition costs of the disjoint straight fragments compare to the products of their original single-fragment costs; the one-step polarity shift supplies the same comparison for complementary copies. These are the separated-patch and surface comparisons of Lemmas~\ref{prelim:collar} and~\ref{prelim:surface}. Accordingly each retained feature carries its original baseline: the vacuum-relative segment partition, the tip expectation, or $\log F_+(a)$ for a bulk endpoint. The extra logarithmic costs on wrong copies are \begin{equation} 2P\text{ per colocated }s\text{-flip pair},\qquad 2D_*\text{ per }t\text{-flip pair},\qquad \log\frac{F_-(a)}{F_+(a)}\text{ per bulk endpoint}. \label{hol:wrong-costs} \end{equation} The errors are one-sided $o(\log n)$ in the sense of Section~\ref{sec:exponents}. No decay from an unextracted insertion is used; its finitely many local terms cost only a constant. Interpret the exponents $1/2$ on the reflection tree as probability weights. An original segment or other feature has expected copy count one: it is never cut or removed in an extracted middle band. Ensure at least one preliminary split. In each individual child of every split, every retained feature is paired with its opposite-parity mirror. Hence the final expected even and odd counts are both $1/2$ per original feature. The baseline costs average back to \begin{equation} \log\bigl(Z_g^{\rm cap}\mathbb E_{\mu_g}[UT_g]\bigr)+O(1). \label{hol:baseline} \end{equation} There are three $s$ marks and one $t$ mark, with both banks at each, and two endpoint-charge sets of total magnitude one. Thus the extra averaged cost is at most \begin{equation} 3P+D_*+\frac12\sum_j\log\frac{F_-(a_j)}{F_+(a_j)} \le 2P+D_*+o(\log n) \le P+o(\log n). \label{hol:strict-budget} \end{equation} The first inequality uses \eqref{exp:charge-budget} twice, and the second follows from \eqref{exp:rectangle-budget} and $C_i\ge0$. Since $P\le-c_0\log n+O(1)$ for some $c_0>0$, this is a strict power saving available to pay for incomplete extraction and all small H\"older losses. Keeping the norm diagrams, the baseline, and the parity costs is essential to this saving. \subsection{Making almost all stencil copies favorable} \begin{lemma}[Finite reflection templates] \label{hol:templates} For fixed primary gap widths and every $\varepsilon>0$, one can choose finitely many reflection and extraction steps and finitely many secondary gaps so that the expected extracted count of each original marker is at least $1-\varepsilon$. The cuts have strict macroscopic clearances. On any compact set of eligible probe pairs, finitely many such templates suffice, and one may use the union of their secondary gaps. All choices precede the mesh limit. \end{lemma} \begin{proof} We first work at one probe pair with ideal real cuts, before a small generic perturbation. Divide a bounded vertical interval containing all data, with empty end margins, into finitely many distinctly labeled cells, including the two marker cells \eqref{hol:marker-cell}. Horizontal folds act on a word of cell labels. Splitting a word of length $m$ after position $j$ makes the two words \begin{equation} WW^{\rm rev}\quad\text{and}\quad V^{\rm rev}V, \label{hol:word-split} \end{equation} where $W$ is the prefix of length $j$ and $V$ the suffix of length $m-j$. Their lengths are $2j$ and $2(m-j)$. Under the size-biased weights $j/m$ and $1-j/m$, the vector of label frequencies is a bounded martingale. The expected terminal label frequency multiplied by the initial word length equals the expected terminal label count under the ordinary half-weights. Choose $j$ within a bounded distance of $m/2$ to maximize the conditional frequency variance. These frequencies converge almost surely to a pure label. Here are the details. If the frequency vector $\pi$ stays away from the vertices of its simplex, then some admissible near-middle prefix has \begin{equation} \|\operatorname{counts}_{\le j}-j\pi\|\ge c>0. \label{hol:frequency-deviation} \end{equation} Indeed two consecutive choices differ by a single-label vector minus $\pi$; they cannot both have small norm. The mixed length-two case is immediate. The conditional frequency variance is then at least $c'/m^2$. Along the size-biased chain, $\sum m^{-2}=\infty$ almost surely. Lengths change by bounded amounts; the probabilities of its symmetric increments are $1/2+O(1/m)$. Both the absolute conditional drift and conditional variance of $\log m$ are $O(m^{-2})$. If the sum were finite, localization and martingale convergence would make $\log m$ converge to a finite limit. Then $m$ would be bounded, contradicting the same assumed summability. A bounded frequency martingale cannot accumulate the divergent conditional variance in \eqref{hol:frequency-deviation} while tending to a mixed limit. Length one, if reached, is already pure. This proves purity and hence arbitrarily small expected impurity at a sufficiently large finite depth. Outer-end folds retaining the whole word and its reflection can also make its length arbitrarily large; the empty child has zero size weight. In a branch, concentrate on its majority label if that label is a marker. For any prescribed finite run depth, only a proportion bounded by that depth times the minority frequency, plus the end contribution, fails to lie deep in a pure run of the majority. Their expected count can therefore be made arbitrarily small. Adjacent equal-label cells in the folded word alternate orientation. In a pure run of marker cell $i$, the vertical projection to the original cell is a triangular wave of period $2H_i$. It sends every marker ordinate $b'$ to $y_i$ and $b'+H_i$ to $y_{*,i}$, by \eqref{hol:marker-cell}. We next choose vertical cuts to align the marker abscissas with the primary gaps. Horizontal folds change no abscissa, so the original horizontal support interval bounds every resulting diagram, independently of word depth. Thus the following finite abscissa schedule can be chosen separately for each possible target marker before choosing the horizontal word depth. All copies of a majority marker start from the same original abscissa $x_0$. Its farther clear side up to a neighboring vertical wall has width at least a fixed fraction of $G_*$; suppose this is the left side, reflecting the following construction otherwise. Take $H_i$ much smaller than this width. Cut just to the right of the current rightmost copy $a_{\max}$ and retain the left child, including all marker columns there. The discarded child's marker count is zero, so this loses no expected majority count. The left tail below $x_0$ still projects identically. If the cut is $c'$, the new rightmost copy and right-tail projection are \begin{equation} a'_{\max}=2c'-x_0,\qquad s'\longmapsto a'_{\max}+x_0-s'. \label{hol:tail-fold} \end{equation} Keep the central projection in the wall-free abscissa interval. The first cut is close to $x_0$ on the right; subsequent distances $c'-a_{\max}>0$ can lie in the ample leftward clearance sampled by the old right tail. Drift the copy abscissas modulo $2H_i$ toward $A_*=X_*-H_i$. Lift their distribution initially to mean $x_0$ and variance zero. At each step, with lifted mean $\mu$, choose $c'\equiv\mu+v\pmod{H_i}$; reflected lifts are $2(\mu+v)-a$. The new mean is $\mu+v$ and the variance increases by exactly $v^2$. Choose $Nv$ to realize the required residue displacement to $A_*$ in the rightward direction, with bounded positive total displacement, and then choose $N$ large. The first cut fits its small right clearance and the later cuts their larger available clearance. Chebyshev's inequality makes all but an arbitrarily small fraction of copies have residue within a small fraction of the primary gap width of $A_*$. At the last step, \begin{equation} a_{\max}+x_0\equiv2A_*\pmod{2H_i}. \label{hol:right-tail-residue} \end{equation} For such a successful copy $(a,b')$, consider its slope-$+1$ line. Choose the pure-run depth larger than the entire folded horizontal support span divided by the cell width; this finite bound is known from the abscissa schedule before the word depth is chosen. Throughout the horizontal support of all data, the line then projects vertically into the clear marker band, so meets no horizontal wall or other feature height. In the central portion its abscissas avoid vertical walls. In the left tail, every projected vertical wall lies at $X_*$ modulo $2H_i$, and hence at horizontal offset $H_i$ from $a$ up to the small residue error. The same is true in the right tail by \eqref{hol:tail-fold}--\eqref{hol:right-tail-residue}. The triangular-wave identity therefore sends the ordinate at each such encounter into the primary gap at $y_{*,i}$. The line has a wall-free slab of positive thickness. By designing first the finite abscissa schedule and its required run depths for the fixed $h$, then the word depth, the expected non-targeted or unsuccessful marker counts are arbitrarily small for each of the two original markers. Finally perturb every cut generically by a sufficiently small fixed amount. The finite successful inventory and strict clearances persist. Distinct stencil copies acquire distinct time projections: for copies with different reflection histories, their difference depends nontrivially on the last cut where the histories differ; distinct original markers with identical histories were separated by the generic-coordinate assumption. Keep cuts away from endpoints, marked features, tips, and coincident runs along solids. At every transverse solid intersection insert a secondary gap at its preimage on the original wall. There are finitely many such preimages, away from marks and corners after the perturbation. Thus all intended axis cuts become vacant. Each template works on a neighborhood of its initial probe pair. A finite cover of a compact support gives finitely many templates; take the union of all their secondary gaps, then choose $\sigma$ sufficiently small. Additional removed portions only improve the clearances. Round cuts to vertex lines. These roundings and the $O(1)$-mesh shifts of the polygon preserve all fixed margins for fine mesh. Apply the finite median-extraction procedure above, with a further arbitrarily small residual count. This proves the lemma. \end{proof} \begin{proposition}[Mixed derivative saving] \label{hol:mixed-bound} For fixed primary gaps and sufficiently small fixed secondary gaps chosen as in Lemma~\ref{hol:templates}, there is $c>0$ such that \begin{equation} \left| (\delta_{1,z}^{(2)}+i\delta_{2,z}^{(2)}) \delta_{j,u}^{(2)}\mathcal H_g(z,u)\right| =O(n^{-2-c}) \label{hol:mixed-decay} \end{equation} uniformly on the eligible compact probe sets. The constants and reflection-tree size may depend on these fixed gaps. \end{proposition} \begin{proof} Choose the expected extraction deficit $\varepsilon$ in Lemma~\ref{hol:templates} small relative to $c_0$ in \eqref{hol:strict-budget}. The angular costs contribute at most \begin{equation} -(1+\rho)(1-\varepsilon)\log n -(1-\rho)(1-\varepsilon)\log n =(-2+2\varepsilon)\log n. \label{hol:extracted-cost} \end{equation} The baseline \eqref{hol:baseline} cancels the precise normalization in \eqref{wall:H-normalized}. The remaining feature cost is at most $-c_0\log n+o(\log n)$ by \eqref{hol:strict-budget}. There are finitely many nodes, so all H\"older allowances may be chosen with total smaller than, say, $c_0/4$. Taking $2\varepsilon