Are we to assume that the hardware successfully manages overflow in one of these three ways, or to checks need to be put into place by the programmer?

since directory based coherence is a hardware solution, i think the hardware manages the directory on its own.