  Extending the work of the first author, we introduce a notion of semisimple
topological field theory in arbitrary even dimension and show that such field
theories necessarily lead to stable diffeomorphism invariants. The main result
of this paper is a proof that this 'upper bound' is optimal: To this end, we
introduce and study a class of semisimple topological field theories,
generalizing the well known finite gauge theories constructed by
Dijkgraaf-Witten, Freed and Quinn. We show that manifolds satisfying a certain
finiteness condition -- including 4-manifolds with finite fundamental group --
are indistinguishable to these field theories if and only if they are stably
diffeomorphic. Hence, such generalized Dijkgraaf-Witten theories provide the
strongest semisimple TFT invariants possible. These results hold for a large
class of ambient tangential structures.
  We discuss a number of applications, including the constructions of
unoriented 4-dimensional semisimple field theories which can distinguish
unoriented smooth structure and oriented higher-dimensional semisimple field
theories which can distinguish certain exotic spheres.
  Along the way, we show that dimensional reductions of generalized
Dijkgraaf-Witten theories are again generalized Dijkgraaf-Witten theories, we
utilize ambidexterity in the rational setting, and we develop techniques
related to the $\infty$-categorical Moebius inversion principle of
Galvez-Carrillo--Kock--Tonks.
