Given a spectrum, is there any kind of machinery that can tell you whether it is the K-theory spectrum of some recognizable category? For example, could TMF be realized in this way? In this case we would expect the chromatic height to decrease by one by the chromatic redshift conjecture.