My eyes always glaze over when reading about the intensely administrative parts of the offseason, but I think we have to get down to 40 shortly after the World Series, and have to add any Type 5 picks by early December. I see a few pending FAs on the current 40 man (which I think explains Lobaton?), so I think we're at 43 once the offseason officially begins. I'd think you need to get down to ~35 for Rule 5 purposes by 12/1, which would mean you could keep 4 of Bryan's 12. You could also maybe sneak a few guys through waivers, and really keep 6-7, but those "extra" guys are obviously not guaranteed and probably guys without options (and likely position players). Are all the players off the covid list yet? I know we were over 50 guys on the 40 man roster at the end of the year.