\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
\usepackage{microtype}
\usepackage[margin=1.08in]{geometry}
\usepackage{amsmath,amssymb,amsthm,mathtools}
\usepackage{booktabs,tabularx}
\usepackage{enumitem}
\usepackage{xcolor}
\usepackage{tikz}
\usepackage[numbers,sort&compress]{natbib}
\usepackage[colorlinks=true,linkcolor=blue!55!black,
  citecolor=blue!55!black,urlcolor=blue!55!black]{hyperref}

\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{question}[theorem]{Question}
\newtheorem{warning}[theorem]{Warning}

\setlength{\emergencystretch}{3em}
\setlist[itemize]{leftmargin=1.45em,itemsep=0.2em,topsep=0.35em}
\setlist[enumerate]{leftmargin=1.7em,itemsep=0.2em,topsep=0.35em}
\urlstyle{same}

\newcommand{\Db}{\mathrm D^{\mathrm b}}
\newcommand{\Perf}{\operatorname{Perf}}
\newcommand{\HH}{\operatorname{HH}}
\newcommand{\Tr}{\operatorname{Tr}}
\newcommand{\Frob}{\operatorname{Frob}}
\newcommand{\ch}{\operatorname{ch}}
\newcommand{\td}{\operatorname{td}}
\newcommand{\sig}{\operatorname{sig}}
\newcommand{\Spec}{\operatorname{Spec}}
\newcommand{\Q}{\mathbf Q}
\newcommand{\R}{\mathbf R}
\newcommand{\C}{\mathbf C}
\newcommand{\Z}{\mathbf Z}
\newcommand{\Fq}{\mathbf F_q}
\newcommand{\Ql}{\mathbf Q_\ell}
\newcommand{\cO}{\mathcal O}

\definecolor{hdconstant}{HTML}{E5E7EB}
\definecolor{hdhkr}{HTML}{B9DDF2}
\definecolor{hdps}{HTML}{B8E3D0}
\definecolor{hdsigned}{HTML}{F6D6A8}
\definecolor{hdcombined}{HTML}{D8C7F0}
\definecolor{hdalbanese}{HTML}{FFF0A8}
\definecolor{hdabuaf}{HTML}{F4B6C2}
\newcommand{\hdlegend}[1]{%
  \fcolorbox{black!65}{#1}{\rule{0pt}{1.25ex}\rule{1.25ex}{0pt}}}

\newcommand{\modelcredit}{Model: GPT-5.6 Sol (xhigh)}
\newcommand{\contributorheading}{%
  \section*{Contributors, affiliations, and support}}
\newcommand{\standarddisclosure}{%
  No individual authorship is designated for this working paper. The AI
  system produced the mathematical synthesis and original draft. Benjamin
  Antieau (Northwestern University) selected the problem, supplied the source
  material, and directed revision. Mathematical claims should be independently
  checked before journal submission.}