Запамятовал..

НачатьТранзакцию()
   ...
   НачатьТранзакцию()
      ...
   ЗафиксироватьТранзакцию()
   ...
ЗафиксироватьТранзакцию()

- так работает?

нет.

в 1с, ни в 77, ни в 8, нет вложенных транзакций

(1) Ок..

а тогда в локальном контексте формы открытого документа сработает СделатьНеПроведенным()?

(3) Нет.

при возникновении ошибки текущая транзакция отменяется.

..как тогда отменить проведение из формы этого самого документа?

(6) закрыть, отменить, открыть

ох..

(7) ок

(8) причина в том, что флаг ошибки транзакции глобальный (один), по этому при любой ошибке транзакции этот флаг получают все активные транзакции (явные и не явные).

по этому мы имеем сообщение "в данной транзакции уже происходили ошибки".

то есть одна ошибка обработаная любой транзакцией приводит к краху всех активных транзакций

(8) Через открытьформу() обработки, которая отменит проведение и обратно откроет документ, но скорей всего раз такое потребовалось - значит неправильно поставлена задача.
Еще способ - работа с документом не из документа, а из обработки которая имитирует форму документа.

(0) Хм. А к чему такой изврат?