Before I go too far down the permit fishing watering hole, we are sure the tent was brought down after HHN, yes?
The permit bot didn’t find a permit for the tent being erected, yet. Yes, a permit is pulled when the tent is put up. It could be that the permit site is running behind (there appears to have been a few issues on the site), but there are ways for the permit bot to miss things.
The permit bot was the solution to the difficulties in finding permits since the site updated. I have to manually enter each permit number to verify nothing was missed, if the tent was indeed taken down. It’s tedious and time consuming, but I can do it if we are sure.