Hēlí-báimó 訶梨跋摩 (Harivarman) was an Indian Sarvāstivādin monk-philosopher of around the third or fourth century CE, the author of the Tattvasiddhi-śāstra — translated into Chinese by 鳩摩羅什 (Kumārajīva) at Cháng’ān in 411–412 as the Chéng-shí lùn 成實論 KR6o0050 (T1646). The work is a synthesizing abhidharma treatise that takes positions on a number of disputed Sarvāstivādin / Sautrāntika / abhidharmika questions, generally in a Sautrāntika or “Bahuśrutīya” direction. It became one of the foundational texts of the Chinese Chéng-shí 成實 school, which flourished in the Liáng-Chén period and produced extensive commentarial activity before being eclipsed by Kumārajīva’s Madhyamaka translations and later by the Yogācāra of Xuánzàng. Harivarman’s lifedates are conjectural; he is conventionally placed in the third century, with the Tattvasiddhi probably composed c. 250–350. He was a disciple of Kumāralāta (鳩摩羅多), the Sautrāntika master, and is identified in the Tāo’ān 道安 catalog and later sources as a brāhmaṇa convert from a south-Indian background.