研石砦

在今四川剑阁县东北三十五里剑门镇姚箭口一带。《宋史· 王继恩传》： 淳化五年 (994)镇压李顺义军，“继恩由小剑门路入研石砦”。即此。