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