I would like to ask a general question that conversely is related to the subject of the post:
Has any non-trivial Lucas (or extended Lucas (i.e. Lehmer)) sequence been found to contain no pseudoprimes?
I am interested in an answer to this question because in the theory of the Lucas sequences, if the ``rank of apparition'' of a number $n$ is either $n+1$ or $n-1$, then we can conclude that $n$ is prime. Unfortunately, because of the existence of pseudoprimes in these sequences, the alluded to theorem is not necessary and sufficient.
I caution that if a composite $m$ is a pseudoprime in one Lucas sequence, say $L(a, b)$, it may not be a pseudoprime in another Lucas sequence $L(c,d)$. Surely, except in a degenerate case, $m$ will be a factor of infinitely many terms of $L(c,d)$, but it will divide neither the $m-1st$ or $m+1st$ terms of $L(c,d)$.
The term ``rank of apparition'' refers to the index of the first term in the underlying sequence that contains a given number $n$ as a divisor.