In practice, start with the arithmetic, because the answer to the practical question is usually a number and the number is usually achievable.
Cardio does not interfere with lean-mass retention at the volumes anyone here is doing; the interference effect in the literature appears at high concurrent volumes in trained athletes. What cardio does at a large deficit is add to the deficit, which is either the point or a problem depending on the objective.
Put another way, hydration state moves a DEXA lean-mass figure directly, because the algorithm assigns water to the lean compartment. Scanning fasted, at the same time of day, before training and without a recent high-carbohydrate day is the difference between a comparable sequence and a noisy one. Bioelectrical impedance is far more sensitive to hydration again, which is why its trend is unusable at this timescale.
The STEP 1 extension reported substantial regain in the year after treatment withdrawal, with weight and cardiometabolic variables trending back toward baseline[1].
Measure strength as well as mass. It is cheaper, it is less noisy, and it is closer to what you actually care about.