Pure-trace evaluations do not determine a complete kernel

This proves non-determination on the displayed unrestricted kernel class. It does not prove ambiguity of a kernel derived from complete root data, nor invalidate a full identity actually proved on all declared slots. Pure-trace tests alone cannot justify such an identity.