-سندی در مورد شهادت پدر امام خمینیبخش سیاسی- در بایگانی سازمان اوقاف و امور خیریه سندی موجود است که در آن توسط مرجع تقلید وقت از قتل مرحوم والد حضرت امام با کلمه «شهید»تعبیر شده است.
مرحوم حاج سید مصطفی در روز چهارشنبه 12 ذیقعده 1320 هجری قمری در بین جاده خمین به اراک ترور می شود. با توجه به اینکه ایشان متولی بخشی از موقوفات خمین بوده است،آیت الله سید حسین قمی از علمای بزرگ آن روزگار طی حکمی یکی دیگر از علمای خمین را به این سمت منصوب می نماید.