Real-line visitation from strict SLE swallowing order
= Real-line visitation from strict SLE swallowing order
A continuous capacity-parameterized <Loewner trace> with finite, strictly ordered positive swallowing times visits every positive real point. An unvisited swallowed point has an interval disjoint from the compact trace up to its swallowing time; that interval is swallowed simultaneously, contradicting strict order. Reflection yields the negative-axis conclusion for chordal <SLE> at $\kappa\geq8$.