The idempotent generically stable type conjecture

Let $p$ be a generically stable type, and call it idempotent when it is idempotent under the convolution product; call it generically transitive when it is concentrated on the type defining its stabilizer. The idempotent generically stable type conjecture. Every idempotent generically stable type is generically transitive. Equivalently, if a generically stable type is idempotent, then it is concentrated on the type defining its stabilizer. This is stated as an equivalent formulation of the main conjecture for types; the supplied text gives no resolution.