On a current start on a lava planet with no surface water and zero rainfall - the initial city has water-consuming agri-dome with no water income (and zero water in SHQ inventory). So the agri-dome is non-functional by default.
While there is an adjacent water deposit where I can build an ice mine, and I can buy water from traders if needed in the meantime - this start does not seem to make sense as being minimaly self-sustaining. I'd assume an existing private/public ice mine should be included in such a case.
