A bstract We present the results of the first complete one-loop matching calculation between the real singlet scalar extension of the Standard Model and the Standard Model effective field theory (SMEFT) at dimension six. Beyond their immediate relevance to the precision calculation of observables in singlet extensions of the Standard Model, our results illustrate a variety of general features of one-loop matching. We explore the interplay between non-supersymmetric non-renormalization theorems, the logarithmic dependence of Wilson coefficients, and the relevance of mixed diagrams in theories with large scale separation. In addition, we highlight some of the subtleties involved in computing observables at next-to-leading order in SMEFT by mapping our results to the T parameter at one loop.