Infinitely many n^2 + 1 primes via polynomial-prime persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

The Bateman-Horn Conjecture via prime-pattern density persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.