Update: re-tested with the new SDK (wasn’t aware of the recent update). Second txInitializeEyeX actually “fails” with TX_RESULT_EYEXALREADYINITIALIZED, although a previous txUninitializeEyeX was successful. Everything else seems to work afterwards (as far as I can tell right now).
Also, the exceptions which previously confused me seem to be correctly caught by the API itself (I was debugging with breaking on every exception), so that was a false alarm.
Still, looks like something isn’t being cleaned up properly on uninitialize.