Arity-eight new identity conjecture for Jordan trialgebras

Consider the Jordan product and diproduct in every triassociative algebra. Their defining identities are those of Jordan trialgebras; also consider the linearizations of the Glennie identities for Jordan algebras and, if they exist, the multilinear special identities of arity $8$ for Jordan dialgebras. Jordan trialgebra arity-eight conjecture. There exist identities of arity $8$ for the Jordan product and diproduct in every triassociative algebra that are not consequences of the defining identities for Jordan trialgebras, the linearizations of the Glennie identities for Jordan algebras, and the multilinear special identities of arity $8$ for Jordan dialgebras, if such identities exist. The conjecture predicts genuinely new trialgebra identities beyond these known or possible sources.