OAI/Topology/ArtinGroups/ParabolicIntersections/VisualAcylindrical.lean

An unconditional acylindrical action for the Artin visual splitting

The sufficient Artin case of Minasyan--Osin (2015), Corollary 2.2, is proved here by constructing a geodesic hyperbolic realization of the shortcut graph, a uniform acylindricity bound, and three distinct orbit limit points. No instance of the published amalgam criterion is assumed.