首先说一下细的时间线，我不写了，实在记不住。
首先是在公元231年春诸葛亮开始北伐。围了岐山堡。然后在夏天到了上邽附近。做了两件事。一是打败了郭淮等人率领的上邽出城守军，二是破坏当地麦田。这时司马懿率关中大军赶到。吓退诸葛蜀军（汉晋春秋上说是司马懿带兵到了陇右之后，诸葛亮逆司马懿军而进。这有点扯淡，不符合军事基本逻辑常规）。诸葛亮带兵撤到木门道时设下伏兵，射杀张郃和魏国一部分士兵的先头部队。这应该就是甲首三千的由来。由于双方实力差距太大。蜀国肯定还是要继续撤兵的。然后撤到卤城时（按三国志记载，张郃是死在追击诸葛亮的路上的。而木门道又在卤城的北边。所以张郃是不可能参加卤城之战的），蜀国大部队继续南撤，留下王平断后，王平一次或两三次在卤城击败了魏军的先头部队。但还是由于实力悬殊，王平还是主队撤离卤城。之后魏军打死打伤俘虏了蜀军的一些老弱病残和掉队的士兵。这就是俘斩万计的由来。实际上双方都夸大了战果。