All algebras below are associative, and not assumed unital, and, to fix ideas, over the complex numbers.

An algebra $A$ is *supercommutative-gradable* if it admits a grading $A=A_0\oplus A_1$ in $\mathbf{Z}/2\mathbf{Z}$ ($A_iA_j\subset A_{i+j}$ for $i,j\in\mathbf{Z}/2\mathbf{Z}$) that makes it supercommutative: for $a,b$ homogeneous $ab=ba$ if either $a,b$ has even degree, and $ab=-ba$ for $a,b$ of odd degree.

I insist that by supercommutative-gradable, I assume that such a grading exists, but do not endow $A$ with it: I still view $A$ as a bare algebra, with no fixed grading.

What are the polynomial identities satisfied by supercommutative-gradable algebras? More precisely, in universal algebra terms: what is the variety generated by supercommutative-gradable algebras? [In particular, is it finitely generated? (Edit: Yes!)]

(For readers not familiar with universal algebra or polynomial identities, see addendum below to make the question precise.)

For instance, the class of supercommutative-gradable algebras satisfies the identities $(xy-yx)z-z(xy-yx)$ and $x^2y^2-2xyxy+2yxyx-y^2x^2$, ~~and none of these two follows from the other one~~. (The identity $(xy-yx)z-z(xy-yx)$ holds because $xy-yx$ always has even degree, hence is central.)

Note: (about the above convention above for the meaning of supercommutative gradable: $\mathbf{Z}$-gradings vs $\mathbf{Z}/2\mathbf{Z}$-gradings)

Let $\mathcal{A}$ be the class of supercommutative-gradable algebras. Some subclasses of $\mathcal{A}$ could compete for being called "supercommutative-gradable algebras", namely the class $\mathcal{A}_{\mathbf{Z}}$ (resp. $\mathcal{A}_{\mathbf{N}}$, resp. $\mathcal{A}_{\mathbf{N}_{>0}}$), those algebras admitting an algebra grading in $\mathbf{Z}$ (resp...) satisfying the supercommutativity rule. Also we have smaller classes $\mathcal{A}^1_{\mathbf{Z}}$, $\mathcal{A}^1_{\mathbf{N}}$ in which we assume the algebra unital with unit of degree $0$. All the obvious inclusions between these classes are strict. However, the question is not sensitive to the choice of class: indeed, if $A\in\mathcal{A}$, then it is quotient of an algebra in $\mathcal{A}_{\mathbf{N}_{>0}}$, which itself (adding a unit) is subalgebra of an algebra in $\mathcal{A}^1_{\mathbf{N}}$. For the former quotient assertion: write $A=A_1\oplus A_2$ (writing $A_2$ rather than $A_0$) and consider the free $\mathbf{Z}$-graded supercommutative algebra $\tilde{A}$ over the vector space $A_1\oplus A_2$ with $A_1,A_2$ of degree $1,2$: then $A$ is canonically quotient of $\tilde{A}$.

Addendum (basic definitions of identities in algebras, varieties)

Fix the associative (non-unital) free $\mathbf{C}$-algebra $\mathbb{F}=\mathbf{C}\langle X_n:n\in\mathbf{N}\rangle$. An element $P\in \mathbb{F}$ is a *polynomial identity* of a class $\mathcal{C}$ of algebras if $P$ vanishes in every $A\in\mathcal{C}$, that is, if $P$ belongs to the kernel of every homomorphism $\mathbb{F}\to A$ for every $A\in\mathcal{C}$.

The set of polynomial identities of $\mathcal{C}$ forms a 2-sided ideal $I_\mathcal{C}$ of $F$ satisfying strong conditions: it is fully invariant (=stable under all endomorphisms); it is strongly graded, in the sense that it is a graded ideal for the unique algebra grading of $\mathbb{F}$ in the free abelian group $\mathbf{Z}^{(\mathbf{N})}$ (with basis $(e_n)$) for which $X_n$ has degree $e_n$ for every $n$ (for instance $x_1x_2x_1^4x_2-x_2^2x_1^5$ has degree $5e_1+2e_2$, while $x_1^2+x_2^2$ is not strongly homogeneous). Describing polynomial identities of $\mathcal{C}$, in practice, means exhibiting generators of $I_\mathcal{C}$ as a fully invariant 2-sided ideal.

For instance, for $\mathcal{C}$ the class of commutative algebras: the polynomial identities of $\mathcal{C}$ are generated by $X_0X_1-X_1X_0$.

The *variety* generated by $\mathcal{C}$ is the class of all algebras in which all $P\in I_{\mathcal{C}}$ are polynomial identities. It is also the smallest class of algebras containing $\mathcal{C}\cup\{\{0\}\}$ and stable under taking quotients, subalgebras, and arbitrary (unrestricted) direct products. The mapping $\mathcal{V}\mapsto I_\mathcal{V}$ is a canonical bijection between the "set" of varieties (of associative algebras) and fully invariant 2-sided ideals of $\mathbb{F}$. [It's not properly a set: to make it a set, cheat by fixing a set $X$ of cardinal $2^{\aleph_0}$ and consider $\mathbf{C}$-algebra structures with underlying set $X$.]

A variety of associative algebras $\mathcal{V}$ is *finitely based* if the ideal $I_\mathcal{V}$ is finitely generated as fully invariant ideal (~~it's not always the case~~). To my surprise it's always the case (I expected the contrary, by analogy with groups or Lie algebras in finite characteristic).