You can encode an immediate diff reduction as part of the hard fork. The block produced with too low a diff will make it invalid on the original chain, thus f

You can encode an immediate diff reduction as part of the hard fork. The block produced with too low a diff will make it invalid on the original chain, thus forking. It's trivial to create as many hard forks as you want.