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