Delete derivation, not every semantic neighbor

Start from the revoked message. Derivation closure reaches claims, summaries, embeddings, and cache. The shared mint-tea entity remains.