Bordered Floer homology, handlebody detection, and compressing diffeomorphisms

We show that, up to connected sums with integer homology $L$-spaces, bordered Floer homology detects handlebodies, as well as whether a mapping class extends over a given handlebody or compression body. Using this, we combine ideas of Casson-Long with the theory of train tracks to give an algorithm using bordered Floer homology to detect whether a mapping class extends over any compression body.