Remark: Family 230. Exact Hausdorff measure for SLE

Resolves Schramm’s Hausdorff-measure question for chordal ${\mathrm{SLE}}_{\kappa }$, $0<\kappa <8$. The explicit gauge $r^d(\log \log (1/r){)}^{(2-d)/2}$, $d=1+\kappa /8$, gives almost surely positive finite measure to every trace segment $\gamma ([s,t])$ with $0<s<t<\infty$, and finite expected measure to the trace in every bounded disk.

The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.