Removed tools

Tools that were removed from the directory. Removal is permanent and public — part of the trust mechanic that keeps the badge meaningful.

Causes: badge removed and 30-day grace period elapsed, persistent verification failures, or policy violation.