Luckily, never had to go through an audit yet. But spot checking a subset of transactions isn’t actually workable. Because of the wash sale rule, the adjusted basis on any single transaction is path dependent on both the previous and future trades in that symbol.