(諸葛亮出祁山。加郃位特進，遣督諸軍，拒亮將馬謖於街亭。謖依阻南山，不下據城。郃絕其汲道，擊，大破之。) Sanguozhi vol. 17. (与魏將張邰戰于街亭，為邰所破，士卒离散。) Sanguozhi vol. 39. (建興六年，屬參軍馬謖先鋒。謖舍水上山，舉措煩擾，平連規諫謖，謖不能用，大敗於街亭。) Sanguozhi...

(魏雍州刺史郭淮率衆欲擊戒，亮自出至建威， ...) Sanguozhi vol. 35. (... 淮退還，遂平二郡。) Sanguozhi vol. 35. (詔策亮曰：「街亭之役，咎由馬謖，而君引愆，深自貶抑，重違君意，聽順所守。前年耀師，馘斬王雙；今歲爰征，郭淮遁走；降集氐、羌，興復二郡，威鎮凶暴，功勳顯然。方今天下騷...