We need to verify if org.hibernate.annotations.Filter and/or org.hibernate.annotations.FilterDef are being taken into account. Apparently tests for this combination are missing and we should document the expected interaction.
From a user perspective I would expect the combination to work as expected (so results being post-filtered) but I'm not convinced we can do this efficiently. It probably would have an impact also on the total result size which we estimate from the full-text results ( getResultSize etc..).
A possible outcome is to document a limitation such as the combination with criterias.