Ещё раз проверил насчёт EIP-7702, всё же я думаю, что изначально был прав про msg.sender и tx.origin - там всё останется по-прежнему, даже если мы заимствуем код откуда-то ещё. Заимствованный код выполняется в контексте аккаунта, так что там не должно быть никаких изменений.

Другой вопрос, выходит, что проверка tx.origin == msg.sender больше не значит, что транзакцию отправил именно EOA без какого-либо "дополнительно" выполненного кода.

Впрочем, ещё один момент связан с тем, что "постучаться" обратно в EOA из контракта и что-то там попытаться вызвать тоже не выйдет