Actually, all 5 of those cases passed ERC on my (rather old) version of KiCAD.
Going back to origins . . . . I was hoping @brandondrury (the thread originator) would tell us which of those four examples caused him to purchase a stack of coffee cup coasters rather than a pile of prototype PCB’s. As he wrote:
In my mind, any of the four error cases could arise as a reasonably intelligent circuit designer works at creating a schematic: adding symbols here, removing symbols there, re-routing a connection wire, deleting some other connection wire, shoving blocks of components around on the canvas, etc.
@brandondrury started this thread to ask if KiCAD had a feature that would prevent him from repeating this kind of error in the future. The answer is
Well, no, not at this time. The best you can do is supply certain strategic people with servings of their favorite malt beverages, in exchange for their not mentioning the incident to your boss. 
In a case like this, where boards have been purchased and delivered, you have to allow for the whole purchasing department, receiving, incoming inspection, etc.

I suspect that my example Case 3 and Case 4 might be detectable by ERC without a major code re-write. I didn’t intend to re-initiate hostilities over the Junction Dot issue, but the dots DO provide a visual clue that Case 2 is an error. Case 1? That would require clairvoyance to detect as an error. As they say,
You can never make things fool-proof, because we fools are just too ingenious!
If @brandondrury was bitten by an error similar to my Case 3 or Case 4, I’d suggest that he submit a bug report asking for an improved ERC feature that can identify those types of errors.
Dale