Zhenji si lu 真寂寺錄
This is a lost catalogue cited in Mingquan's Dazhou kanding zhongjing mulu T2153, KYL T2154, and Yuanzhao's Zhenyuan xinding shijiao mulu T2157. It is likely that the later two catalogues merely derive this information from Mingquan. It is clear from a remark Zhisheng makes that he never himself saw the Zhenji si lu; 574b3-5.