OK cool,
Solved this one myself.
Turns out that only a simple patch to AppleIntelFramebufferCapri.kext is needed.
Since my internal display was fine with ig-platform 0x01660004, I simply needed to modify the internal (LVDS) framebuffer for ig-platform 0x01660003 to match it.
A hex search of AppleIntelFramebufferCapri for framebuffer0 of 0x1660004 yields:
<05030000 02000000 30020000>
while the same search for framebuffer0 of 0x1660003 yields:
<05030000 02000000 30000000>
Patching the second pattern with the first fixes the internal display for ig-platform 0x01660003 and so allows us to open up additional framebuffers to get that external DP alive and kicking.
This will likely work for anyone who has a clean HD4000 internal display under ig-platform 0x01660004 but NOT under ig-platform 0x01660003. Of course, 0x0166003 is necessary to get an external display. 0x01660004 is a single display platform only.
I am now guessing that, for the Lenovo ThinkPad T430, this mod must only be necessary for units with the high resolution display (1600x900). I make this assumption since so many configs for these systems seem to use ig-platform 0x01660003 with no published complaints of a corrupted LCD display. So I guess that the low res display (1366x768) is OK under ig-platform 0x01660003 without this framebuffer mod.
Anyway, now we seem to have a perfect ThinkPad T430 !
I enclose the mod in plist format for convenience.
Hope this helps somebody