This book is the first volume in a two-volume set, which will provide the complete proof of classification of two important classes of geometries, closely related to each other: Petersen and tilde geometries. This is an essential purchase for researchers into finite group theory, finite geometries and algebraic combinatorics.