Even if you disregard push vs pull, 'propagation' still implies spread through proximity. That there would be some physical or logical topology through which it spreads. So, I agree with the OP. More details argumentation here: https://www.nslookup.io/blog/dns-propagation-does-not-exist/