Apparently it's fine:
Original poster seemed confused, but apparently it's fine.
There is no timecode over HDMI with the pocket camera, but then I'd be patching it up to a Samurai anyway, and they're both LANC-compatible devices so the record start/stop is easily dealt with in both cases. Wonder if they'd be frame accurate...
I do rather like the fact that the HDMI to SDI mini-converter has the ability to embed AES audio, so I can throw in a nice clean AES mic preamp. And the Samurai has the ability to take out any audio-video latency that creeps into this chain of destruction.
You see where I'm going with this, anyway: 10-bit 4:2:2 camera with top quality audio and (to an extent) B4 lens compatibility. Total cost, not including the B4 lens, what, $3-4k?