古者自天子至于大夫士皆有庙，庙之子姓以昭穆为序，祭非正主则不厌、不嘏、不旅、不酢，非同姓同宗同族则不得与于祭。大蒸瞽宗虽有他姓之祀，而不立同气之尸，与庙祀异。自鲧祀于晋，相祀于卫，周公而祀于郑，董安于而祀于赵，大非先王之旧。鲁展禽至谓先王制祀，有法施于民以劳定国、禦灾捍患之目，然五六经之书终于无文。汉高起沛，黄帝有祠，迨其中叶，故侯有祠，又其后也，先墓有祠。至永平以来，则墓祀尤盛。极于诸葛公之卒，人思之不置，巷祭野祀，朝论以礼秩止之。然则士大夫至是尚知礼秩之不可踰也。习隆、尚充因人情之不可遏，请即墓之近，立庙沔阳而断其私祀，亲属故吏乃得与祭。虽然，是犹近墓为庙，非节不祠，非亲故不与也。其后所至郡国为他人之亲立庙，不知始于何年也。非鬼祭之，越望之祠无所无之。姑即夫礼之变而言，则有功有德于其国而祠之，尚人心之不可已也。叙故有诸葛武兴王庙，至兴国、皇祐一再更修，犹存孟蜀武兴之名。元丰三年，赐泸州庙额曰忠灵，而叙未之有改。绍定五年，遂宁冯侯邦佐为守，上距皇祐历玄默执徐之岁凡三，庙既久茀，侯彻而大之，以属记于予。会被命守泸，道出叙，侯要予于新庙落是役之成，媵爵而言曰：「祠记之请，愿毋我忘」。予谢未皇也。既抵攸司，冯侯又以书来曰：「公之行乎蜀江非一役矣，建兴二年渡泸之后，由越巂而入则泸之原也。四郡悉平，归至汉阳，遇降人李鸿。汉阳今之长宁，则泸之委也。或者犹谓非今江阳，不知泸有三重：大渡水也，孙水也，泸水也。其源虽分，其归则一」。予即其言，又为探原索委，而重有感焉。且渡泸，公细事耳，山川流峙，千古一日，而传注淆讹，靡有定届。况公用蜀之心，人得而尽知乎？裴松之引汉地理书，谓泸水出牂柯郡句町县。古今异名，既无以證，乐史直谓「庐峰地瘴，惟五月可渡」。庐峰即今堡山，是殆以郡名泸，指庐峰为泸水，不知是峰乃在不韦县之北，于堡山奚与？公虽尝至江阳，而非所谓渡泸也哉，或谓在徼外沙野城之境，或谓姚州河锁驿之滨，尤为无据。独《华阳国志》与《云南录》，差若可信，而二书亦相抵牾。呜呼！周公瑾之赤壁非黄也，庾元规之南楼非鄂也，况公瑾、元规匪公敢匹，而犹牵引傅会，仞非其实。此地实公所行也，人之疑信乃反不一。窃尝考之史志，参以《水经》，又證之以建兴南讨之由，大抵是水也，始于西南徼外吐蕃之地曲罗，东下三百，又东注为三重泸，又东为西泸水县，又东北会孙水、巂水，又北会大渡水。其支分为朱提水、若水、芋官水、绳水、淹水，咸会于越巂郡之马湖县，由东北至僰道县入江。其地则西距黎、雅，东接五溪，北抵泸、叙，其通称之皆曰泸。昭烈伐吴之役，盖虑五溪诸蛮附吴以挠我也，亟使马良招之。至于秭归之败，诸蛮果叛，益州、牂柯、永昌、建宁四郡，怙险啬祸，渠帅雍闿至于杀正昂、缚刺史张裔以畀吴人，嗾孟获以扇诸蛮，越巂、牂柯胥为畔援。当斯时也，使雍闿不诛则四郡不平，四郡不平则内难未弭，而巴蜀不得安，中原未可图也。是以南征之师势不可已。然尚以昭烈之殁，须暇之三年，然后遣李恢出建宁，马忠出牂柯，而身自出越巂。迹公道所从出，大抵涉大渡，乱孙水，破越巂，斩雍闿，绝马湖，禽孟获，荡平四郡，遍历三泸，遂南极淯池，深入不毛之地，勒铭誓虏，道滇水、汉阳以归。以予所知合冯侯所考，公之渡泸昭昭乎声迹之可寻，而叙之庙公也，洋洋乎精神之如在。藐兹某敢以寡陋不辞为谢？乃为叙其事而系之铭曰：

人以一心，奠位堪舆，或为大人，或小人儒。其大伊何？我居广居，我立正位，我行大途，无诡而获，有范而迂。所谓小人，功不盖愧，伐罪似仁，尊王似义，会盟似信，险诈似知。迹其本心，假名成事。行之以正，犹曰小器，又其小者，私欲求济。皇皇奕奕，祗吓庸稚。拔本而言，穿窬之类。自秦灭学，罔择善利。惟两董公，独识此意。是开叔末，蹈谊秉节。迨诸葛公，皦如天日，开诚广益，引咎布失。是心之度，皋伊旦奭。汉主未顾，隐然人龙；厥既顾之，前无二雄。扶汉植华，薅奸剪戎，以奠人极，以宅帝衷。其在梁益，风绩弥崇，今其仅存，八阵遗踪。在昔风后，佐帝有熊，爰作《握奇》，八阵所宗。八八相乘，阵间容阵，翕辟乾坤，翼张首奋。考之先天，方圆二图，后天卦气，以莫不符。谓比管、乐，谓书申、韩，迹公所为，史牒可刊。或者谓公，呕血酸辛，又云卧龙，盍终其身。义理不竞，成败论人。人生海内，曾不百年，是心昭昭，不与迹陈。我尽吾分，君君臣臣，功成不成，柰何乎天。