Distinct theorem: the minimax complementary radius $15/17$ is attained only at the extreme pair. Interior eigenvalues of $Q$ contract strictly faster.
Parents. Discrete Filter Optimal-Step Theorem · E47-PREC-C05 (reconciled, not duplicated).
Witness. PF-20260913-SPEC-08.