The relevant detail is that the mechanism is worth having straight, because it predicts which interventions can work and which cannot.
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.
Specifically, protein target, worked: at 88 kg, a target of 1.6 g/kg is 88 × 1.6 = 141 g per day. Spread across three eating occasions that is roughly 47 g each, and the leucine threshold for a maximal muscle protein synthetic response is met at around 2.5 to 3 g of leucine, which corresponds to roughly 30 to 40 g of a high-quality protein. So three meals at 40 g plus one 25 g snack gets you to 145 g and clears the per-meal threshold each time. On 900 kcal that leaves about 340 kcal for everything else, which is the actual constraint.
The evidence for a higher protein intake preserving lean mass during an energy deficit is reasonably strong in resistance-trained populations and weaker in sedentary ones, with the meta-analytic estimates supporting intakes in the region of 1.6 g/kg over lower intakes when training is present[1].
The limitation of the arithmetic is that it assumes intake is being measured accurately, and self-reported intake is systematically underestimated by a substantial margin.
A maintenance plan written before you need it is worth more than a better loss plan.