Which output colorspace did my TIFF file really get?

That would be the output profile for the new development (of the imported TIFF), if you chose to export it again. The profile of the TIFF itself is now under input profile (since it’s your input now).