Classification of Engel Knots

For any Engel 4-fold, we show that the scanning map from the space of Engel knots to the space of formal Engel knots is a weak homotopy equivalence when restricted to the complement of the orbits of the Engel kernel. This is a relative, parametric and close h-principle.