## Details

We construct compactifications of type IIB string theory that yield, at leading order in the α ′ α ′ and g s g s expansions, de Sitter vacua of the form envisioned by Kachru, Kallosh, Linde, and Trivedi. We specify explicit Calabi-Yau orientifolds and quantized fluxes for which we derive the four-dimensional effective supergravity theories, incorporating the exact flux superpotential, the nonperturbative superpotential from Euclidean D3-branes, and the Kähler potential at tree level in the string loop expansion but to all orders in α ′ α ′ . Each example includes a Klebanov-Strassler throat region containing a single anti-D3-brane, whose supersymmetry-breaking energy, computed at leading order in α ′ α ′ , causes an uplift to a metastable de Sitter vacuum in which all moduli are stabilized. Finding vacua that demonstrably survive subleading corrections, and in which the quantization conditions are completely understood, is an important open problem for which this work has prepared the foundations. Based on https://arxiv.org/abs/2406.13751.