Also, AFAIK, those high-temperature reactors are normally made with a molten metal intermediate cycle (normally sodium) and a gas-only external cycle (normally CO2).

Water enters only to cools the cold side of the external cycle.