Proof of the High Girth Existence Conjecture via Refined Absorption

We prove the High Girth Existence Conjecture - the common generalization of the Existence Conjecture for Combinatorial Designs originating from the 1800s and Erdős’ Conjecture from 1973 on the Existence of High Girth Steiner Triple Systems.