An HKR Theorem for Factorization Homology

We prove a Hochschild-Kostant-Rosenberg theorem (``the HKR theorem'') which computes the factorization homology of certain smooth commutative ring spectra. In doing so we fix and generalize a THH computation which was first conceived as the brainchild of McCarthy-Minasian. Included also is a direct application of our revised HKR theorem to the higher THH of rational $KU$.