Derived moduli of sections and push-forwards

We introduce a derived enhancement of the moduli space of sections defined by Chang-Li, and we compute its tangent complex. Special cases of this moduli space include stable maps and stable quasi-maps. As an application, we prove that G-theoretic stable map and quasi-map invariants of projective spaces are equal.