P vs NP via transport closure on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Sato-Tate general forms via equidistribution persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

The Hodge Conjecture via Hodge-class persistence and rigidity on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Kaplansky idempotent conjecture via group-algebra rigidity persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

The Bloch-Beilinson conjectures via motivic-filtration persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Profile README for the manifold-constrained canonical lane theorem library.

The Murre conjectures via Chow-Kunneth persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

General Langlands functoriality via transfer-packet persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

The Bloch-Kato conjecture via Selmer-L-value persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Anabelian geometry via fundamental-group reconstruction persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Kaplansky's zero-divisor conjecture via group-ring support persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

3D Navier-Stokes global regularity via dissipative persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Geometric Langlands via Hecke-eigensheaf persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

The Smooth 4-Dimensional Poincare Conjecture via smooth-structure persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Generalized geometric Langlands via derived-correspondence persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

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

Infinitely many Mersenne primes via exponential-prime persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Schanuel's conjecture via exponential-algebraic persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

Littlewood's Conjecture via homogeneous-dynamics persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.

The Beilinson conjectures via regulator-L-value persistence on the manifold-constrained canonical lane. Reproducible local-to-global theorem package.