The Andre-Oort conjecture via special-subvariety persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Unlikely Intersections Ecology via atypical-family persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

The Zilber-Pink Conjecture via unlikely-intersection persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.