Не совсем понятно, как в данной ситуации будут обрабатываться недоставленные письма. Отказы приходят на адрес из envelope-from, а не на адрес, указанный в заголовке Reply-To. Поэтому, если ваш envelope-from не способен обрабатывать письма с VERP-тегами, вы всё равно останетесь в сложном положении.
В теме, на которую вы ссылаетесь, вы не объясняете, почему подписание DKIM для домена в заголовке From: не работает. Это должно обеспечивать соответствие DMARC, даже если SPF не проходит. Именно этот подход я бы выбрал, если бы оказался на вашем месте (либо, альтернативно, отправился бы к администраторам входящего SMTP-сервера yyy.com с вилами; какой же MTA не поддерживает никакой вид адресации с деталями?!?)