Neither of those are dogma.
That doesn't mean the Church's teaching isn't final and binding.
Teachings can be reversed and they are absolutely not binding. These disputes are supposed to be done in humility with the assumption that the church is probably right, but that's pretty much the same as arguing with Linux kernel devs...
https://www.catholic.com/qa/what-is-the-difference-between-d...