Здравствуйте.

Действительно, согласно правилу 6.16. — Добыча ресурсов, который приносят механическую выгоду, считается ролевым действием. Это значит, что ресурсы нельзя добывать вне роли и нельзя их добывать, игнорируя окружающую среду.

Так же, по правилу: (6.26) Для того, чтобы показать нахождение персонажа вне игры (ООС) используется режим <Вне Роли>.

Указание в профиле TRP приписки «вне роли», можно игнорировать.

Это означает, что игрок в праве добывать, в данном случае, руду без описания, как он машет киркой. Однако, игрок не вправе игнорировать ролевую ситуацию, в случае её возникновения. Например, если бы Вы начали с ним отыгрыш.

Посему, Вы и указанный вами игрок, находитесь в одинаковой ситуации.