一时无法用马谡、张郃、街亭等关键字google出来。
请问依照三国志正史或可信的其他史料，请教一下有记载马谡与张郃先后抵达街亭之间的
日期相距长度（马谡几月几日抵达、张郃几月几日抵达，以供计算）吗？
这么问的缘由是当作战术思考训练的前提：如果真的要贯彻在当道要地防守的精神，依照
前后相差的天数，到底蜀军能在平地要路上建成多少程度的防御工事？因此能挡住张郃骑
兵几天的攻击，以等待诸葛亮主力赶来？
所以想请教兼讨论，谢谢。