Polkadot guarantees valid state transitions for its member parachains. Beneath the surface, an orchestra of…