A polynomial variant of diophantine triples in linear recurrences

Let (Gn)n=0∞ be a polynomial power sum, i.e. a simple linear recurrence sequence of complex polynomials with power sum representation Gn=f1α1n+⋯+fkαkn and polynomial characteristic roots α₁, … , α_k. For a fixed polynomial p, we consider sets { a, b, c} consisting of three non-zero polynomials such that ab+ p, ac+ p, bc+ p are elements of (Gn)n=0∞. We will prove that under a suitable dominant root condition there are only finitely many such sets if neither f₁ nor f₁α₁ is a perfect square.