The LEAN example is the ideal case. It's like a baby POC to me.

I can only assume the only realistic way to get all the federated data will be a ton of massivr vertical consolidation of industry by hubris laden tech execs crossing industry domains.

In spirit of this conversation - Terence Tao is awesome right? He was already one of the best mathematicians on the planet when he happened to start dabbling in computer assisted proofs (obviously as a giant standing on the shoulders of giants) at exactly the right time for the computer revolution to find a perfect use case (as you point out).