道疲劳，此晓兵者之所贪也。亮不敢据渭水，此易与耳。”进次汉阳，与亮相遇，帝列阵以待之。使将牛金轻骑饵之，兵才接而亮退，追至祁山。亮屯卤城，据南北二山，断水为重围。帝攻拔其围，亮宵遁。追击，破之，俘斩万计。
《资治通鉴》：郭淮、费曜等徼亮，亮破之，因大芟刈其麦，与懿遇于上邽之东。懿敛军依险，兵不得交，亮引还。懿后等寻亮至于卤城。张郃曰：“彼远来逆我，请战不得，谓我利不在战，欲以长计制之也。且祁山知大军已在近，人情自固，可止屯于此，分为奇兵，示出其后，不宜进前而不敢逼，坐失民望也。今亮孤军食少，亦行去矣。”懿不从，故寻亮。既至，又登山掘营，不肯战。贾栩、魏平数请战，因曰：“公畏蜀如虎，奈天下笑何！”懿病之。诸将咸请战。夏，五月，辛巳，懿乃使张郃攻无当监何平于南围，自案中道向亮。亮使魏延、高翔、吴班逆战，魏兵大败，汉人获甲着三千，懿还保营。六月，亮以粮尽退军。
《资治通鉴》此处记载取自裴注引用的《汉晋春秋》，该书以反曹魏、推崇蜀汉为正统记，《晋书》为唐太宗主持官修，观其后记，反有警后世之意，更不可能美化司马懿。[15]
陈寿所著《三国志》诸葛亮、郭淮等人的传里，关于太和五年（231年）的祁山之役，也没提到过诸葛亮曾击破郭淮抢粮成功等事。
《三国志·蜀书·诸葛亮传》：建兴九年（231年）春，亮复出祁山，以木牛运，粮尽退军。与魏将张郃交战，射杀郃。《三国志·魏书·郭淮传》：五年，蜀出卤城。是时，陇右无谷，议欲关中大运，淮以威恩抚循羌、胡，家使出谷；平其输调，军食用足，转扬武将军。[15]
然而考虑到蜀汉国力本身便弱小，灭亡时全国兵力也只不过十万二千，若诸葛亮此次北伐真的遭受了被斩俘万计这样的重大损失，以街亭之失为鉴，某些蜀汉将领亦或诸葛亮本人理应被问责，然而史籍中却没有记载任何将领被问责。根据《三国志·诸葛亮传》记载，诸葛亮第四次北伐撤退的实质原因依旧是粮尽退军而并非是因为遭受了何等重大损失。《三国志·蜀书·诸葛亮传》：建兴九年（231年）春，亮复出祁山，以木牛运，粮尽退军。与魏将张郃交战，射杀郃。
且根据《三国志·李严传》的说法，诸葛亮之所以粮尽退军，这其中还有李严运粮不继的原因在内。《三国志·蜀书·李严传》：九年春，亮军祁山，平（此时李严已改名为李平）催督运事。秋夏之际，值天霖雨，运粮不继
…。。