Tingley's problem through the facial structure of an atomic JBW⁎-triple

We prove that every surjective isometry between the unit spheres of two atomic JBW⁎-triples E and B admits a unit extension to a surjective real linear isometry from E into B. This result constitutes a new positive answer to Tingley's problem in the Jordan setting.