Canonical-lane closure package for the Bombieri-Lang Conjecture: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

Canonical-lane closure package for the abc Conjecture: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.

Canonical-lane closure package for Vojta's conjecture: admissible-class formulation, projection gates, local-to-global bridge, and carried remainder.