Batrachuperus yenyuanensis, commonly known as Yenyuan Stream Salamander, is a hynobiid species inhabiting high-altitude (2440-4025 m above sea level) mountain stream and pond environments along the eastern fringe of the Qinghai-Tibetan Plateau in western Sichuan Province, China. Although the species has been known for almost 70 years since its initial discovery in 1950, a thorough osteological description has never been provided. Our study provides a detailed account of the bony anatomy of this species, based on micro computed tomography scanning of multiple specimens collected from the type locality Shuangertang at Bailinshan, Yanyuan County, and several other localities in Sichuan Province. Our revised species diagnosis utilizes both bony and soft anatomical features. Comparative study of the specimens from the type locality in Yanyuan area with those from the nearby Xichang and Mianning areas confirms that they all pertain to Batrachuperus yenyuanensis, thereby removing doubt on the occurrence of the species in the latter areas. With this confirmation, the distribution of the species is extended from the type locality northwards some 180 km to the Mianning area, on both the west and east sides of the Yalong River, which is a major tributary of the upper Yangtze River. This distribution pattern indicates that the biogeographic origin and historical evolution of the species are closely associated with the orogeny of the Hengduan Mountains and formation of the Yalong River. Given the basalmost position of Batrachuperus yenyuanensis in relation to other congeneric species based on molecular studies, however, early expansion of the species distribution by dispersal is expected following the origin of the genus in early-middle Miocene in western Sichuan Province. Thus, the species may well have achieved its current distribution in western Sichuan before the drastic uplift of the Qinghai-Tibetan Plateau in Pliocene.