Rounding out the story of higher derivative consistent truncations

At the two-derivative order, the group manifold reduction of heterotic supergravity on $S^3$ results in a half-maximal 7D gauged supergravity coupled to three vector multiplets, and a further truncation can be taken to remove the vector multiplets. We demonstrate that this truncation remains consistent at the four-derivative level; we do so both by analysis of the equations of motion and the supersymmetry variations.