Scalability of state seems to be addressed by minimizing the need for nodes to retain the full state, and the main mechanism is shards. From whitepaper: “A further benefit is that any Atom that performs an inter-shard transfer is present in both the previous owner's and new owner's shards. This, in part, eliminates the need for a global state and mitigates any expensive inter-shard state verification operations needed to prevent "double spends".”

I’ve only skimmed the whitepaper and the consensus check against conflicts seems to be a series of methods with escalating computational cost. I think they assume Atoms (e.g., Transfer Atoms) won’t grow so big that they span massive numbers of shards.

I agree about the proliferation of buzzwords. Why not use Ledger instead of “Universe”?

Not sure how the eventual consistency model works in an economic context, although that’s how ATMs work.