Abouzaid–Blumberg's framed flow-category equivalence conjecture

Let $\Flow^{fr}$ be the homotopy category of framed flow categories, whose objects are framed flow categories and whose morphisms are framed morphisms up to framed bordism. Abouzaid–Blumberg conjecture. The category $\Flow^{fr}$ is equivalent to the homotopy category of finite spectra. This would relate framed flow-category bordism to the finite stable homotopy category.