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

تلخيص للقواعد الثلاث :

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

والقاعدة العملية الثانية الحاكمة هي البراءة الشرعية.

والقاعدة العملية الثالثة منجِّزية العلم الإجمالي ، أي تنجّز الاحتمال المقرون بالعلم الإجمالي وعدم جريان البراءة عنه.