I think I have a trash accounting problem

The usual restart with enabled scan on startup should fix the issue.
If it didn’t, then could you please try a workaround for the used space calculation?