> I think he's suggesting that the fork itself should fail if the subsequent overwrite pass to defeat CoW would cause problems.

That'd put you in the unusual position of forbidding any sufficiently large process from ever creating children. The kernel has no way of knowing whether a fork() will be followed by exec().