Closedness of the singular locus and generation for derived categories | Synapse