פסקי הרא"ש על עירובין ט:ד

רבי יוסי אומר אם מותרים וכו'. איבעיא להו רבי יוסי לאסור קאמר או להתיר קאמר. אמר רב לאסור וכן אמר רבי יוחנן לאסור. תניא נמי הכי רבי יוסי אומר הואיל ואסורין לעתיד אסורין לאותה שבת. איתמר רב חייא בר אשי אמר רב הלכה כרבי יוסי. ושמואל אמר הלכה כרבי יהודה. ומוקי לה בנפרצה לכרמלית. ונראה דהלכתא כרב באיסורי ואפילו נפרצה לכרמלית הלכה כרבי יוסי. ומ"מ קי"ל שבת הואיל והותרה הותרה דאפילו רבי יוסי לא פליג עליה אלא היכא דליתנהו למחיצות כדאמר לעיל בפ"ק (עירובין דף יז.):

מתני' הבונה עלייה על ישני בתים וכן גשרים המפולשים מטלטלים תחתיהם דברי רבי יהודה וחכמים אוסרין: הדרן עלך כל גגות