Сегодня обнаружил, что написанный мною управляемый вариант где-то содержит серьёзную ошибку в коде. Вылезло на одном чертеже. Если на этом файле после команды XPROXY запускаю AUDIT Y, то с листа всё исчезает, после чего появляется сообщение, обозначенное на скрине и аудит находит множество ошибок (до расчленения прокси их не находил). Реализация от А.Н. Ривилиса отрабатывает без ошибок.
Пока не разбирался в причинах. Как появится свободное время - займусь поиском ошибок в коде.