Edit: The Tanzen encounter doesn't appear unless you have PokeSnacks in your bag. Hopefully this helps someone else.
I'll trade a heart scale, candy, or whatever else you need. I can't get it to show up in Tanzen and I can't make another new save file trying to get it to be the one that spawns under the grand stairwell without losing my mind.