None of those games will run at retina res on an hd 4000.
I think there's a difference between supporting a resolution and running at an acceptable framerate at that resolution!
Actually I would say neither
Supported = Game runs (Acceptable performance without side effects)
Runs = The game will run the game (Unknown performance, possibly unplayable)
If something is supported it means in my eyes that the performance is acceptable and the company who made the claim have checked the software is usable. Supported does not mean it won't crash it means the software will behave as expected.
We could say F1 2012 is supported on a 9400M card because we know it draws correctly, however the fact it too slow to be fun to play on even minimum settings means we don't say it is supported.
Cougarcat has a point that none of those games will be playable at a decent frame rate if you select Retina resolution on an HD4000 machine and Harveypooka has a point that rendering a frame does not equal playable.
However I would claim if someone says something is supported at X resolution it means it is completely usable and gives an acceptable experience. That's what supported means in my eyes.
Anyway enough of semantics
Edwin