التنزيلي هو الذي يحرز لنا تعبّداً موضوع وجوب الحجّ ، فيكون بمثابة الأصل السببي بالنسبة إلى الأصل المؤمِّن عن وجوب الحجّ ، وأمّا الأصل العمليّ البحت فلا يثبت به تعبّداً العدم الواقعي لوجوب الوفاء ، فلا يكون حاكماً على الأصل الجاري في الطرف الآخر ، بل معارضاً .
تلخيص للقواعد الثلاث :
خرجنا حتّى الآن بثلاث قواعد : فالقاعدة العملية الأولى قاعدة عقلية ، وهي أصالة الاشتغال على مسلك حقّ الطاعة ، والبراءة على مسلك قاعدة قبح العقاب بلا بيان .
والقاعدة العملية الثانية الحاكمة هي البراءة الشرعية .
والقاعدة العملية الثالثة منجِّزية العلم الإجمالي ، أي تنجّز الاحتمال المقرون بالعلم الإجمالي وعدم جريان البراءة عنه .