The strip above a result set that answers "why am I only seeing four things" — every active constraint as a removable chip, with the excluded count beside it.