【疑问】关于延熙十七年姜维北伐

最近在码字，边写边考据，然后就有了一些疑问。延熙十七年（254），也就是嘉平六年/正元元年，狄道长李简秘密投降了姜维。百度百科上说当年六月份姜维进攻狄道，这个虽然三国志上没有，但是华阳国志里有明确记载。可是坑爹的是，百度百科上很具体地说【十月】张嶷和徐质交战阵亡，楼主却各种找也找不到十月的记录……但是看上去又不像是瞎编的……于是楼主很纠结。并且在查找无当飞军的资料时发现度娘说，无当飞军是为了掩护姜维退走，与数倍于自己的敌军作战，才全军覆没的，楼主当时就傻了。不是没过多久徐质就被姜维砍了吗？……肿么会退走的说……还有就是，以往甜姜跑来打架，和他对打的人不是郭淮就是陈泰，这次怎么会是他们的手下？……难道是部署的原因？郭淮和陈泰离得远，徐质正好在附近？可是也说不通啊，毕竟从六月到十月有四个月，这再怎么着也能赶到了吧……三国志里郭淮自从嘉平元年就神隐了，陈泰传里也没提那年的事，所以楼主困惑死了。嘉平六年有废立之事，难道有什么不可告人的原因？
求各位大神解惑啊啊啊！楼主都要写不下去了……

延熙十七年六月姜维出陇西不止华阳国志有，三国志后主传也有……十月张嶷死这事情我也有印象，应该是有记录的，但我现在忘记了，手机不好查……回头我再去看一下
-------------------------------------------------------------------------------------------------
我想起来了，我好像是在资治通鉴上看见的十月，反正不知道司马光先生是什么意思，总之是把这事情写在了十月的废立之事后边。
这我就不知道靠谱不靠谱了，毕竟资治通鉴偶尔也不靠谱。
-------------------------------------------------------------------------------------------------
然后姜维是延熙十七年冬天就拔了那狄道等几个地方回家，他是在之前打败了徐质，那么如果上面资治通鉴说得靠谱，就是十月徐质杀张嶷，然后没几天姜维就杀了徐质，然后拔城回家了。

对了资治通鉴中不靠谱处甚多，妹子你不要太信它……你可以再查查别的，虽然我是不知道了。
不过按照逻辑以上的三件事连在一起是比较合理的，所以一起在冬天发生的可能性较大。你要再查不出什么就直接写都是在冬天就行了。
-------------------------------------------------------------------------
嗯因为资治通鉴是帝魏寇蜀的，所以一些蜀汉赢曹魏输的事情可能会略去不提。不过在考证时间地点啊之类的东西上，司马光先生的水准还是值得称道的，所以有时候也可以拿来做个参考。
不要太难过了，将军百战死……战场上的事情就是这样子吧