Do we know any example of rigorously treated bound states in QFT?

I have a few questions about bound states in QFT and rigorous ways to picture them. If I had to summarise in one sentence the main question it would be something like:

Q: Do we know any example of a QFT (even a toy model, in low dimension, integrable if it helps …) where we have a well-defined Hilbert space, a well-defined Hamiltonian and actual eigenvectors of the Hamiltonian corresponding to bound states of the theory (or at least existence of these eigenvectors)?

Let me now try to detail a bit more what I mean. The original question I was thinking about, which is more physical but which is really unreasonable, would be whether in the standard model QFT, the hydrogen atom could theoretically be seen as an actual eigenvector of the Hamiltonian in the Hilbert space? I would imagine that this should then correspond to some bound state of the theory. With the standard intuition I have from QFT, I would naively picture this as a state in the Fock space with for instance a one-particle excitation of the electron field in a certain wave function and so on … A first problem in this picture is that the description of the proton is already a very difficult task in itself and a major question in QCD, I’m not trying to ask impossible questions., so maybe as a first simplification, one could forget about the internal structure of the proton and consider a model of QED with an electron field and another elementary field (more massive and positively charged) that would play the role of the proton. I am also wondering about bound states in QCD but even without the problems of strong-coupling, I am already wondering about the nature of bound states for QFT with weaker couplings, which is why I took this example of QED. But even there the question might be too hard.

I guess another problem with the Fock-state picture, which might be of a more conceptual nature, is that this somehow should not exist from Haag theorem, should it? Indeed, if I understood well, this theorem tells us that the Hilbert space of the theory is not a Fock space. So I imagine that to get a rigorous answer to the question, one should consider a QFT for which we have a more rigorous handling of the Hilbert space, maybe in one of the axiomatic approaches of QFT? Already here I guess we would have to consider toy models, maybe in lower dimensions. I am not so sure for which models we have a full understanding of the Hilbert space at the moment. This is somehow what brings me to the hopefully more reasonable question at the beginning of this thread:
Q: Do we know any example of a QFT (even a toy model, in low dimension, integrable if it helps …) where we have a well-defined Hilbert space, a well-defined Hamiltonian and actual eigenvectors of the Hamiltonian corresponding to bound states of the theory (or at least existence of these eigenvectors)?

In this case, if the Hilbert space is not a Fock space, how should one interpret these states?

Another question is how renormalisation would enter in this picture, if it enters?

More generally, what would be the best way to think about bound states in QFT in a rather rigorous approach (at least conceptually, not only for computing purposes, even just for “existence”)? Is the idea of looking for normed eigenvectors of the Hamiltonian, that works in QM, not the right way to think about bound states in QFT?
The poles of the S-matrix seem to be a nice way to access the bound states spectrum of the theory but I was wondering if there is a way to really “construct” the states. I have also looked at the Bethe-Salpeter equation but my understanding was that it does not construct the corresponding states in the Hilbert space.

Note: Searching if there were already answers to these questions on previous threads I have seen for instance Q: How are bound states handled in QFT? The question there is basically the same as mine above with a model of QED forgetting about the proton structure. But I also have the impression that the answers do not discuss directly the construction of states in the Hilbert space.
More generally, in the various threads that I saw, I don’t think the questions related to the Hilbert space states were really answered and especially the ones concerning the Haag theorem. Please tell me if I missed a relevant thread.

Thanks for reading and for any answer / reference.