初，公孙康卒，子晃、渊等皆幼，官属立其弟恭。恭劣弱，不能治国，渊既长，胁夺恭位，上书言状。侍中刘晔曰：“公孙氏汉时所用，遂世官相承，水则由海，陆则阻山，外连胡夷，绝远难制。而世权日久，今若不诛，后必生患。若怀贰阻兵，然后致诛，于事难堪。不如因其新立，有党有仇，先其不料，以兵临之，开设赏募，可不劳师而定也。”帝不从，拜渊扬烈将军、辽东太守。
或劝亮更出兵者，亮曰：“雄师在祁山、箕谷，皆多于贼，而不破贼，乃为贼所破，此病不在兵少也，在一人耳。今欲减兵省将，明罚思过，校变通之道于将来；若不能然者，虽兵多何益！自今已后，诸有忠虑于国，但勤攻吾之阙，则事可定，贼可死，功可跷足而待矣。”因而考微劳，甄壮烈，引咎责躬，布所失于境内，厉兵讲武，觉得后图，戎士简练，民忘其败矣。亮之出祁山也，天水参军姜维诣亮降。亮美维胆智，辟为仓曹掾，使典军事。
烈祖明天子上之下
魏纪三（起著雍涒滩，尽上章阉茂，凡三年）
玄月，乙酉，立皇子穆为繁阳王。
初，征西将军夏侯渊之子楙尚太祖女清河公主，文帝少与之亲善，及即位，觉得安西将军，都督关中，镇长安，使承渊处。诸葛亮将犯境，与群下谋之，丞相司马魏延曰：“闻夏侯楙，主婿也，怯而无谋。今假延精兵五千，负粮五千，直从褒中出，循秦岭而东，当子午而北，不过旬日，可到长安。楙闻延奄至，必弃城逃脱。长安中惟御史、京兆太守耳。横门邸阁与散民之谷，足周食也。比东方相合聚，尚二十许日，而公从斜谷来，亦足以达。如此，则一举而咸阳以西可定矣。”亮觉得此危计，不如安从坦道，能够平取陇右，十全必克而无虞，故不消延计。亮扬声由斜谷道取郿。使镇东将军赵云，杨武将军邓芝为疑军，据箕谷。帝遗曹真都督关右诸军亮身率雄师攻祁山，戎陈整齐，号令明肃。始，魏以汉昭烈既死，数岁寂然无闻，是以略无备豫；而卒闻亮出，朝野惊骇。因而天水、南安、安宁皆叛应亮，关中响震，朝臣未知计所出。帝曰：“亮阻山为固，今者自来，正合兵法致人之术，破亮必也。”乃勒兵马步骑五万，遣右将军张郺督之，西拒亮。丁未，帝行如长安。
夏，四月，丁酉，京还洛阳。
吴王以扬州牧吕范为大司马，印绶未下而卒。初，孙策使范典财计，时吴王幼年，私从有求，范必关白，不敢专许，当时以此见望。吴王守阳羡长，有所私用，策或料覆，功曹周谷辄为傅著簿书，使无谴问，王临时悦之。及后统事，以范虔诚，厚见信赖，以谷能欺更簿书，不消也。
十仲春，亮引兵出散关，围陈仓，陈仓已有备，亮不能克。亮使郝昭村夫靳详于城外遥说昭，昭于楼上应之曰：“魏家科法，卿所练也；我之为人，卿所知也。我受国恩多而流派重，卿无可言者，但有必死耳。卿还谢诸葛，便可攻也。”详以昭语告亮，亮又使详重说昭，言“人兵不敌，有为空自幻灭。”昭谓详曰：“媒介已定矣，我识卿耳，箭不识也。”详乃去。亮自以有众数万，而昭兵才千馀人，又度东救未能便到，乃进兵攻昭，起云梯冲车以临城。昭因而以火箭逆射其梯，梯然，梯上人皆烧死；昭又以绳连石磨压其冲车，冲车折。亮乃更加井阑百尺以射城中，以土丸填堑，欲直攀城，昭又于内筑重墙。亮又为地突，欲踊出于城里，昭又于城内穿地横截之。日夜相攻拒二十馀日，曹真遣将军费耀等救之。帝召张郺于方城，使击亮。帝自幸河南城，置酒送郺，问郺曰：“迟将军到，亮得无已得陈仓乎？”郺知亮深切无谷，屈指计曰：“比臣到，亮已走矣。”郺晨夜进道，未至，亮粮尽，引去。将军王双追之，亮击斩双。诏赐郝昭爵关内侯。