The power block diagram looks like this:
LM5143 supports a wide input range and ISL9241 is a buck/boost that can output the end 19V rail.
As you noted, one tricky thing on this is that the Expansion Bay Module would need to communicate with the rest of the PD controllers through the EC to ensure that only one power source is enabled at a time. That is something we haven’t defined yet.