UPD. Тут был вопрос. Но я проблему уже решил.
Оказалось что если с помощью Reveal открыть карту, то отключаются все тригеры на обнаружение материалов при копании, В ТОМ ЧИСЛЕ И МАГМЫ.
Таким образом при открытой карте я прокопал до магмы, но Магменные воркшопы в списке построек не появились.
РЕШЕНИЕ простое, загрузился с сейва. Открыл карту, проложил "трассу" до "пред-магменных стен" и дождался пока шахтеры прокопают все. После чего закрыл карту, и продолжил копать. ВСЕ СРАБОТАЛО, тригер на магму отработал и после ее раскапывания Магма-постройки открылись.
UPD2. Правда странный глюк проскочил. Когда я снова закрыл карту, то скрылись прокопаные тунели - причем не везде, а только на единственном входе (в саму гору, с улицы)... И бедные майнеры не могли найти путь назад.
Пришлось снова открыть карту - они ломанулись бухать. А когда скрыл и снова ничего не было видно, то я просто раскопал одну клеточку рядом со входом, и майнер заодно "засветил" вход.