  We prove the "Gluing Conjecture" on the spectral side of the categorical
geometric Langlands correspondence. The key tool is the structure of crystal on
the category of singularities, which allows to reduce the conjecture to the
question of homological triviality of certain homotopy types. These homotopy
types are obtained by gluing from a global version of Springer fibers.
