《三国志·姜维传》“十六年春，祎卒。夏，维率数万人出石营，经董亭，围南安，魏雍州刺史陈泰解围至洛门，维粮尽退还。
三国志记载姜维是粮尽退还的。但是《开元占经》的描述不一样。
《开元占经》：又按魏嘉平五年，月晕犯钺，兵起，一曰光禄夫夫张缉皆诛，九月车骑将军郭准上言，姜维等攻陇西，斩首万余人。
这里奇怪的地方在于，斩首万余人是郭淮斩的，还是姜维攻陇西斩的，存在疑问。另外延熙十七年(254年)，姜维打完回去后没多久，就主持蜀国内外军事，显然是有功得到奖赏，不像打了败仗的样子，问问吧友可以解答一下吗