This resolves YES if the Ethereum L1 protocol uses some kind of proposer-builder separation by the resolution date. You can read about PBS here. I'll use my best judgement about what kinds of upgrades count as PBS, but a major criterion I will use is whether the Ethereum Foundation describes the upgrade as PBS.

Nov 6, 12:46pm: "The Splurge": Will Ethereum have Proposer-Builder Separation by end of 2023? → "The Scourge": Will Ethereum have Proposer-Builder Separation by end of 2023?

Note: This market is trying to ask about whether PBS will be enshrined in the core L1 protocol itself. So mev-boost does not count but an enshrined PBS as described here would count.