Before we start on ii′-3b, please run a very explicit dependency audit on the capstone theorem and record: \texttt{#print axioms logDeriv\_riemannZeta\_sub\_nearZeros\_le\_tight} plus the exact perimeter parameters.