The distinction that resolves this is between proportional loss and functional loss. Losing lean mass in proportion to total mass is what happens in every weight loss intervention. Losing function is not, and function is measurable.
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.
In practice, 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.
I would be careful with the supplement literature here; effect sizes are small, the studies are mostly in trained young men, and generalisation to a large deficit is not obviously valid.
Train, eat the protein, measure something functional, and give the trend three months before you interpret it.