Péng Chéng 彭乘 (985–1049), zì Lìjiàn 利建, a native of Huáyáng 華陽 (in modern Sìchuān), was a Zhēnzōng-era (大中祥符) jìnshì who rose through the central bureaucracy to Hànlín xuéshì 翰林學士 (Hanlin Academician) under Rénzōng. He has a biography in Sòng shǐ 卷 298; CBDB lists him at id 1397, with prosopographical references in XCB (Xù zīzhì tōngjiàn chángbiān) 153.3b and 166.19b–20a, SHY:SH 23.7a–7b, Sìchuān tōngzhì 122.9b, and the Dōngdū shìlüè 東都事略 60.7b. He is the conventional name on the Bàihǎi 稗海 print of Mòkè huīxī KR3l0054 and the figure most users of that work assume to be its author.
Authorship problem: the Sìkù compilers’ tíyào to KR3l0054 explicitly distinguishes two Northern-Sòng men named Péng Chéng — this Huáyáng one (the Hànlín xuéshì with a Sòng shǐ biography) and a separate Gāoān 高安 (Jūnzhōu, modern Jiāngxī) namesake whose career is otherwise unrecorded. They identify the Gāoān one as the actual author of Mòkè huīxī, on the internal grounds that the work refers to a Zhìhé (1054–56) posting to Yōngzhōu, a trip to Dāněr 儋耳 (Hǎinán), and Sū Shì / Huáng Tíngjiān esteem — all incompatible with the lifetime and career of the Huáyáng Péng Chéng (who died in 1049). The Gāoān Péng Chéng was probably of the same lineage as the bǐjì monk 惠洪 Huìhóng (also a Gāoān Péng), and likely a Yuányòu-faction sympathiser active c. 1054–1110. CBDB does not have a separate entry for him; his lifedates cannot be securely fixed. The present note records the Huáyáng Péng Chéng (the man indexed in CBDB and in Sòng shǐ), with the explicit caveat that the Mòkè huīxī attribution to him is a Míng-period editorial extrapolation, not biographical fact.