Currently I study the mathematical formulation of the (classical) standard model of particle physics using the language of gauge theory and spin geometry. One of the central objects in the standard model are "charged spinors", which are fermionic particles, which transform under a non-trivial representation. Now, the point is that I stumbled over two appearently different definitions and I would like to know if they are somehow related.

To fix notation, let us take a (suffiently nice) pseudo-Riemannian manifold $(\mathcal{M},g)$ with signature $(s,t)$ and a principal $G$-bundle $P\stackrel{\pi}{\to}\mathcal{M}$. Furthermore, let $\mathrm{Spin}(\mathcal{M})$ be a spin-structure on $\mathcal{M}$ and $(\rho,V)$ be a finite-dimensional representation of $G$.

1. The first definition seems to be a little bit more standard in the mathematical literature. It is for example used in the textbook "Mathematical Gauge Theory" by M. J. D. Hamilton from Springer. First of all, consider the spinor bundle $$S:=\mathrm{Spin}(\mathcal{M})\times_{\kappa}\Delta_{n},$$ where $(\kappa,\Delta_{n})$ denotes the spinor representation of $\mathrm{Spin}(s,t)$ (the vector space $\Delta_{n}$ is $\Delta_{n}\cong\mathbb{C}^{N}$ where $N=2^{n/2}$ if $n$ is even and $N=2^{(n-1)/2}$ otherwise). Then, a "charged spinor" is defined to be a section of the twisted bundle $$E\otimes S,$$ where $E$ denotes the associated vector bundle $E:=P\times_{\rho}V$.
2. The second definition is taken from nlab. Here, one defines first of all the concept of "bundle splicing": Take two principal bundles $P_{i}\stackrel{\pi_{i}}{\to}\mathcal{M}$ with structure group $G_{i}$ for $i\in\{1,2\}$. Then, the fibre product $P_{1}\times_{\mathcal{M}}P_{2}$ is a principal $(G_{1}\times G_{2})$-bundle denoted by $P_{1}\circ P_{2}$. Now, take a representation $R:\mathrm{Spin}(s,t)\to\mathrm{Aut}(V)$, which commutes with $\rho$. Then, one defines "charged spinors" to be sections of $$(\mathrm{Spin}(\mathcal{M})\circ P)\times_{(R\times\rho)}V$$.

So, is there any relations between the two? I expect that there should be one, since in the end both of them are used to model the same physical object. However, I cannot see how they are related. If they are different, is one of them more general in some sense?