Cheng Zhenjue was born in Niubing County, Qianwei Commandery (犍為郡), which is present-day Jianyang, Sichuan.
[3] Wang Chong of Zizhong wanted to marry her however her uncle Cheng Gong (程肱) told him that his niece had her own aspiration and none can change her.
[4] Later, Wang Chong served as Investigator (督郵)[a] under Li Yan when he was Administrator of Qianwei (犍為太守).
[5] Li Yan sent an official to bring lamb and goose as a dowry gift, also ordered the marriage on behalf of Wang Chong.
[7] Thereafter her death, the Administrators of Shu sent official to posthumously grant her the name Zhenjue (貞玦) in commemoration of her spirit.