In this paper, we explore the string theory landscape obtained from type IIB and F-theory flux compactifications. We first give a comprehensive introduction to a number of mathematical finiteness theorems, indicate how they have been obtained, and clarify their implications for the structure of the locus of flux vacua. Subsequently, in order to address finer details of the locus of flux vacua, we propose three mathematically precise conjectures on the expected number of connected components, geometric complexity, and dimensionality of the vacuum locus. With the recent breakthroughs on the tameness of Hodge theory, we believe that they are attainable to rigorous mathematical tools and can be successfully addressed in the near future. The remainder of the paper is concerned with more technical aspects of the finiteness theorems. In particular, we investigate their local implications and explain how infinite tails of disconnected vacua approaching the boundaries of the moduli space are forbidden. To make this precise, we present new results on asymptotic expansions of Hodge inner products near arbitrary boundaries of the complex structure moduli space.