Checks out to me.

It’s worth looking how much you can pile O2 up on Mars without it being absorbed. My guess is it’s very little, so you’ll need to process a LOT of CO2 before seeing any effect.

(Even with all the modern findings of water and CO2, I still doubt there’s enough material on Mars to terraform it, because of that effect of everything absorbing O2 for a while. I’m more bullish on Venus.)