Do you think the PBS (proposer-builder) separation can be managed out of protocol rather than enshrined, as it works today in Ethereum? If so, then this design would be compatible with Fernet as it is today. When writing it, we made the design decision to explicitly keep PBS out of protocol, considering it’s still an active area of research and bound to keep changing fast, and we didn’t want to constrain it by whatever protocol upgrade rules we set.
As for the prover separation, proving is still an area open of research (with some discussions already happening), and this would be an interesting proposal to put forward.
Also, I’m curious about the choice of the builder being the one who picks the winning prover bid, as opposed to the proposer. Why this decision?