《汉晋春秋》：【亮使魏延、高翔、吴班赴拒，大破之，获甲首三千级，玄铠五千领，角弩三千一百张，宣王还保营】
《晋书 宣帝纪》：【帝攻拔其围，亮宵遁。追击，破之，俘斩万计】
一伐 二伐全败了，三伐就收了二郡空地皮，葛亮都没怎么重视，亮杂为了葛亮自然要大吹特吹四伐《汉晋春秋》记载的【甲首三千】并极力否定《晋书》，将其打成“魔法史书” “不可信”……
这次我也不和亮杂扯《晋书》魔不魔法，对于四伐记载两者皆错
——————————————————————————————————————————————————————————
亮杂一直谈的【甲首三千】就别想了，《汉晋春秋》中【宣王使曜、陵留精兵四千守上邽，余众悉出，西救祁山】 【亮分兵留攻，自逆宣王于上邽。郭淮、费曜等徼亮，亮破之】 【张郃曰：“彼远来逆我，请战不得，谓我利在不战，欲以长计制之也】
费曜是怎么“分身”的？蜀军不和魏军交战上面又哪来个大破？
并且战后【秋七月丙子，以亮退走，封爵增位各有差】蜀国则无封赏记录，可见此战蜀军至少就是失败一方
不过《汉晋春秋》中【张郃曰：“彼远来逆我，请战不得，谓我利在不战，欲以长计制之也。且祁山知大军以在近，人情自固，可止屯于此，分为奇兵，示出其后，不宜进前而不敢逼，坐失民望也。今亮县军食少，亦行去矣。”宣王不从，故寻亮。既至，又登山掘营，不肯战。贾栩、魏平数请战，因曰：“公畏蜀如虎，奈天下笑何！”宣王病之】大概率是真的，司马懿第一次来西线，会畏惧葛亮也不奇怪，他本来也不是什么很强的人，《晋书》记载司马懿表现估计也是有所夸大
————————————————————————————————————————————————————————————
其实对于四伐还有一个记载往往容易被人忽略，《开元占经》：【诸葛亮将五万人入天水，攻将军贾魏副车骑将军舒（郃）等三万余人，讨之，斩首三万余人，投降者万余人】
与《晋书》不同，这里大破葛亮的“主角”由司马懿变成了张郃
有人说《开元占经》因为是天文书不可信，然而
《后汉书 百官》：【太史令一人，六百石。本注曰：掌天时、星历。凡岁将终，奏新年历。凡国祭祀、丧、娶之事，掌奏良日及时节禁忌。凡国有瑞应、灾异，掌记之。丞一人。明堂及灵台丞一人，二百石。本注曰：二丞，掌守明堂、灵台。灵台掌候日月星气，皆属太史】
《史记 太史公自序》：【太史公既掌天官，不治民】
《晋书 天文上》：【及汉景武之际，司马谈父子继为史官，著《天官书》，以明天人之道】
——————————————————————
其实《开元占经》按照记载来看，可信度是非常非常高的，参考的极大，有可能就是曹魏的官方史料
他称呼刘禅用的是【刘升】，而这个称呼只有魏国有，
注引《魏略》：【载帝露布天下并班告益州曰：亮外慕立孤之名，而内贪专擅之实。刘［升］之兄弟守空城而己】
很多记载能够在三国志中找到对应的
《三国志 明帝纪》：【乙酉，皇子殷生，大赦】对应【七月乙酉大赦】
《明帝纪》【五月，皇子殷薨】对应【五月甲戌皇太子殿下薨】
……………
更有意思的是，《开元占经》中记载【十一月壬寅吴越贼将周贺于东莱牟平之内恣杀掠与青州刺史程喜战射杀周贺斩首四千余级又生擒八千余人】
这里的记载与《三国志 明帝纪》：【冬十月，殄夷将军田豫帅众讨吴将周贺於成山，杀贺】稍有不同，并不是因为《开元占经》记载有问题，而是由于：
田豫破吴军并斩杀周贺之后，程喜上表诬告了田豫，因此曹魏认为这是程喜主导的，才有了《田豫传》：【由是功不见列】
而《开元占经》中记载的竟然是周贺，很大可能性就是来自于曹魏的官方档案
所以【诸葛亮将五万人入天水，攻将军贾魏副车骑将军舒（郃）等三万余人，讨之，斩首三万余人，投降者万余人】很大可能就是未被司马氏篡改的曹魏的原史档案，最多是战果夸大，但战绩属实
至于你问张郃最后为什么被葛亮射杀？战争胜利结尾主将中箭重伤很奇怪吗？史料都说了是【射杀郃】
——————————
四伐应该就是：司马懿和诸葛亮这两菜鸡都不知道对方要干啥，司马懿也没办法击退，由于第一次到西线，又不敢打，比较畏惧，只能一方追一方退，之后蜀军退兵时，张郃率军追击大获全胜，但自身中箭重伤不治身亡