وهو لغة الأثر الذي يستدل به على الطريق وأراد بها أدلة (التحقيق) مصدر حقق الشئ أثبته بالدليل أو اتى به على الوجه الحق ولو لم يذكر الدليل والمراد به هنا ما كان حقا اي مطابقا للواقع ففي معالم استعارة تصريحية ويصح ان يراد بالمعلم الأثر نفسه ففي التحقيق استعارة بالكناية بان شبه التحقيق بطريق ساوك تشبيها مضرا في النفس على طريق المكينة وفى معالم استعارة تخييلية (وسلك) أي ذهب ( بنا وبهم أنفع طريق) أي طريق أنفع تأليفا (مختصرا) مفعول ثان لسال وجملة ابان وما بعد ها اعتراض قصد بها الدعاء له ولهم والاختصار تقليل اللفظ مع كثرة المعنى (على مذهب الإمام)