Derived deformation theory of heterotic $G_2$ systems near the standard embedding

We study heterotic $G_2$ structures on a fixed string Courant algebroid on a spin seven-manifold $Y$, near a torsion-free standard embedding, to first order in $α'$ and to all formal orders in the deformations. The admissible metric, spinor line and density determine a canonical generalized Dirac fu