Maybe I’m misinterpreting something here, but why do you believe that Bayesian designs don’t have formal stopping rules, or that they would lead to bigger and bigger trials?
I’ve cited this example a few times but the DAWN trial was fully Bayesian and had a series of pre-planned interim looks (it terminated at the first possible look for efficacy):