I don't know whether to take your last line as an invitation or a slight, but I'll do my best with an answer. As you probably already know, I am (often uselessly) verbose.
I like to think of $\Omega^\bullet$ as a bigraded commutative algebra. The monoidal category of bigraded vector spaces can be equipped with a symmetric structure which is determined up to unique equivalence of symmetric monoidal categories by the request that for the generating lines $L_{(0,1)}$ and $L_{(1,0)}$ in bidegrees $(0,1)$ and $(1,0)$ respectively, the braiding $L \otimes L \to L\otimes L$ is minus the identity. This forces the line $L_{(0,1)} \otimes L_{(1,0)}$, along with any isomorph of it, to braid with itself by $+1$. More generally, a line in bidegree $(m,n)$ is forced to braid with itself for a factor of $(-1)^{m+n}$.
Note that I never said how different lines are supposed to braid with each other. That's because the question is not well-posed. If you skeletalize your category and fix a monoidal structure, then you do get an isomorphism between, say, $L_{(0,1)} \otimes L_{(1,0)} \cong L_{(1,1)} \cong L_{(1,0)} \otimes L_{(0,1)}$, and you can ask by what factor the braiding acts relative to this isomorphism. But from the point of view of category theory (i.e. without choosing extra data, like a skeletalization), there is no distinguished isomorphism between $L_{(0,1)} \otimes L_{(1,0)}$ and $L_{(1,0)} \otimes L_{(0,1)}$ except for the braiding. I will come back to this point in a moment.
This category-theoretic language is the cleanest way I know to set up the basic definitions. For example, given any bigraded commutative algebra $\Omega^\bullet$ with multiplication $m$, there is a bigraded vector Lie algebra $\operatorname{Der}(\Omega^\bullet)$ of derivations. It is the universal object with a map $\triangleright : \operatorname{Der}(\Omega^\bullet) \otimes \Omega^\bullet \to \Omega^\bullet$ such that for any $\phi : \Phi \to \operatorname{Der}(\Omega^\bullet)$ and $\alpha : A\to \Omega^\bullet$ and $\beta : B \to \Omega^\bullet$, the following is an equality of maps $\Phi \otimes A \otimes B \to \Omega^\bullet$:
$$\triangleright \circ (\phi \otimes m) \circ (\alpha \otimes \beta) = m \circ ((\triangleright \circ(\phi \otimes \alpha))\otimes \beta) + m\circ(\alpha \otimes (\triangleright \circ(\phi \otimes \beta))) $$
You can clean up the notation a bit by inventing "generalized elements". What's important to mention is that the second summand on the RHS as written is not a map $\Phi \otimes A \otimes B \to \Omega^\bullet$, but rather a map $A \otimes \Phi \otimes B \to \Omega^\bullet$; to add them, I need them to have the same codomain, and so I insist that you identify $\Phi \otimes A \otimes B \cong A \otimes \Phi \otimes B$ by using the symmetry, and not any other way. Finally, you've distinguished a differential $d_{dR}$ on $\Omega^\bullet$ of bidegree $(0,1)$ say, by which I actually mean that you've distinguished a particular line $L_{(0,1)}$ and a map $d_{dR} : L_{(0,1)} \to \Omega^\bullet$; such a choice gives you a map $\iota: (L_{(0,1)})^{\otimes (-1)} \otimes \operatorname{Der}(\mathcal A) \to \operatorname{Der}(\Omega^\bullet)$, where $(L_{(0,1)})^{\otimes (-1)}$ comes equipped as the tensor inverse of $L_{(0,1)}$, and $\mathcal A$ is your original algebra.
Ok, so I said this was the cleanest way to set up the definitions, but by no means is it always the smoothest way to perform computations. Sometimes, generalized elements (which I have not defined, but I have used implicitly) are the best way to do some computations. But sometimes you do need to sit down and use homogeneous elements.
Talking about homogeneous elements is basically the same as skeletalizing the category of bigraded vector spaces, and thus requires you to make more choices than you would otherwise have to. There are two reasonable choices (and many unreasonable ones), and as I asserted above, the two choices give you equivalent categories, and hence equivalent theorems. But since there are two reasonable choices, you need to be careful that you make one and use it consistently, and don't trust formulas in other papers, because they probably used different choices.
The two choices are to declare, after skeletalizing, that the generators $L_{(0,1)}$ and $L_{(1,0)}$ braid past each other as $+1$ relative to the skeletalization, or as $-1$. The former of these implies that if $\alpha$ is of bidegree $(p,q)$ and $\beta$ is of bidegree $(m,n)$ then $\alpha$ and $\beta$ commute for a factor of $(-1)^{pm + qn}$. The latter choice would have them commute for a factor of $(-1)^{(p+q)(m+n)}$. This latter choice makes it easier to present the symmetric monoidal functor that collapses the gradings. The former choice makes it easier to see that a bigraded vector space is the same as a graded (graded vector space).
See, you never said your conventions even for how to think of $\Omega^\bullet$ as a commutative algebra. I recommend that you use the same convention there as for derivations.
Anyway, if your vector field $X$ on $\mathcal A$ was of degree $m$, then $\iota_X$ will be of bidegree $(m,-1)$. If $\alpha$ is of bidegree $(p,q)$, then you should use one of:
$$ \iota_X(\alpha \wedge\beta) = \iota_X(\alpha)\wedge\beta + (-1)^{mp + q}\alpha \wedge \iota_X(\beta)$$
or:
$$ \iota_X(\alpha \wedge\beta) = \iota_X(\alpha)\wedge\beta + (-1)^{(m+1)(p + q)}\alpha \wedge \iota_X(\beta)$$
Either rule will work if you apply it consistently. Probably other rules will work as well.
