I cannot find any information about a Buddhist monk or scholar named "含光记" (Hán Guāng Jì) in historical records or scriptures. It is possible the name is misspelled, a title, or not widely known in historical Buddhist scholarship.