Should tamarind pulp go into Pad Thai sauce?
The pulp is what you're actually trying to obtain from tamarind. What you should be trying to strain out is any seeds or any chunks too fibrous to be considered pulp. It is sometimes possible to add liquid and smash the tamarind several times to extract more and more (progressively diluted) pulp each time.