once it looks like we're a decade away from QCs large enough to run shor's algorithm, we do a soft-fork to add some lattice signing scheme (or other pqc signature scheme) into a new tapscript version.