Real stability of layer-refined antichain polynomials for three-chain products with a two-element factor

For all positive integers $n,k$, we prove that the layer-refined antichain polynomial of the product poset $[2]\times[n]\times[k]$ is real stable. Jacobi-polynomial interlacing further shows that its diagonal specialization, the ordinary antichain polynomial of the same poset, has only simple, stric