בית יוסף, אורח חיים תרסה:ב

ומ"ש רבי' ולדידן דאית לן תרי יומי בשמיני ספק שביעי אסור אבל בט' ספק ח' מותר הכי אסיקנא בפרק לולב וערבה וא"ת כיון דלא נטלינן ליה בח' אמאי אסור דליכא למימר דאסור משום דכיון דאתקצאי לבה"ש אתקצאי לכולי יומא מהטעמים שכתבתי כבר תירץ הרא"ש דטעמא משום דכיון דאם יבא אליהו ויאמר דעברוה לאלול הוי שמיני ז' והר"ן תירץ דטעמא משום דאי שרית ליה אתי למימר דלא מספקו בז' כלל אלא ודאי ח' ולא ישמע לנו לישב בסוכה: