Just to wrap this up: the issue with Envers not working with Jakarta Data repositories (due to stateless sessions) is now resolved in a different way.
I ended up building HiberSpike Data using Hibernate Data Repositories instead of Jakarta Data repositories. It uses stateful sessions, so Envers and lazy loading works as expected. HiberSpike Data EntityRepository is nearly API-compatible with DeltaSpike Data’s EntityRepository, so it can be used as a drop-in replacement in many cases.
More background here in Zulip: