starting some text about the spectral Hecke category
outline of a hypothetical geometric proof of the second adjointness theorem
the diagram isn't cartesian
braden's theorem
some stuff on hyperbolic localization