Is “Broke the Eight Formation Diagram and was persuaded by a divine dream to stop killing” true?

The official histories such as "Records of the Three Kingdoms, Book of Wei, Biography of Zhong Hui" contain no records of dream messages. In the novel, Zhong Hui's visit to Zhuge Liang's temple and receiving a dream admonition to stop killing is a literary embellishment depicting the mandate of heaven. Original text: 「其人曰：“今早重承见顾，吾有片言相告。虽汉祚已衰，天命难违，然两川生灵，横罹兵革，诚可怜悯。汝入境之后，万勿妄杀生灵。”言讫，拂袖而去。会欲挽留之，忽然惊醒，乃是一梦。」(Source: Chapter 116.txt)