Use when targeting Annals of Mathematics (Ann. of Math.) or deciding whether a pure mathematics manuscript fits this Princeton/IAS venue. Encodes the journal's fit, framing, proof standard, house style, official-submission re-check, and desk-reject heuristics.