◎魏紀四(起重光大淵獻，盡閼逢攝提格，凡四年
○烈祖明皇帝中之上
太和五年辛亥，公元二三一年
春，二月，吳主假太常潘瀎節，使與呂岱督諸軍五萬人討五溪蠻。瀎姨史蔣琬為諸葛亮長史，武陵太守衛旍奏瀎遣密使與琬相聞，欲有自托之計。吳主曰：“承明不為此也。”即封旍表以示瀎，而召旍還，免官。
衛溫、諸葛直軍行經歲，士卒疾疫死者什八九，亶洲絕遠，卒不可得至，得夷洲數千人還。溫、直坐無功，誅。
漢丞相亮命李嚴以中都護署府事。嚴更名平。亮帥諸軍入寇，圍祁山，以木牛運。於是大司馬曹真有疾，帝命司馬懿西屯長安，督將軍張郺、費曜、戴陵、郭淮等以禦之。
三月，邵陵元侯曹真卒。
自十月不雨，至於十月。
司馬懿使費曜、戴陵留精兵四千守上邽，餘眾悉出，西救祁山。張郺欲分兵駐雍、郿，懿曰：“料前軍能獨當之者，將軍言是也。若不能當而分為前後，此楚之三軍所以為黥布禽也。”遂進。亮分兵留攻祁山，自逆懿於上邽。郭淮、費曜等徼亮，亮破之，因大芟刈其麥，與懿遇於上邽之東。懿斂軍依險，兵不得交，亮引還。懿等尋亮後至於鹵城。張郺曰：“彼遠來逆我，請戰不得，謂我利不在戰，欲以長計製之也。且祁山知大軍已在近，人情自固，可止屯於此，分為奇兵，示出其後，不宜進前而不敢逼，坐失民望也。今亮孤軍食少，亦行去矣。”懿不從，故尋亮。既至，又登山掘營，不肯戰。賈詡、魏平數請戰，因曰：“公畏蜀如虎，奈天下笑何！”懿病之。諸將鹹請戰。夏，五月，辛已，懿乃使張郺攻無當監何平於南圍，自案中道向亮。亮使魏延、高翔、吳班逆戰，魏兵大敗，漢人獲甲著三千，懿還保營。六月，亮以糧盡退軍，司馬懿遣張郺追之。郺進至木門，與亮戰，蜀人乘高布伏，弓弩亂發，飛矢中郺右膝而卒。