A proposed independence relation declares two subalgebras independent when their joint state is realized in two different copies of an extreme exchangeable state on the infinite unital free product of the ambient algebra. We show that this relation depends on the ambient algebra. The diagonal inclusion C^2 into M_2(C) gives an explicit example; a four-point version has distinct proper subalgebras with scalar intersection. Downstairs, the joint law forces a nontrivial mixture of two invariant characters. Upstairs, a pure vector state provides a pure folded witness. In contrast, every extreme invariant state has an extreme invariant extension along a unital C*-algebra inclusion. The latter standard compact-face argument rules out the particular forward-extension obstruction suggested in the original problem, without implying ambient invariance. The examples distinguish extremality among all invariant states from extremality at a fixed marginal.

This is a complete counterexample to ambient invariance of the literal relation associated with OWR-3392-009 in ulamai/UnsolvedMath. It answers the dataset's ambient-dependence question, not all neighboring questions in the 2009 report. The folding mechanism, purification and extension tools are standard and attributed. The work is AI-assisted, self-audited and unrefereed; no independent review, formal certification, novelty certificate or absolute priority is claimed.
