Oops, just lost a long thread. I'll sum up:
- AT protocol (ATP) is a giant distributed (well, distributable) database for running social networks on! Bluesky is the flagship and motivating example!
- Verification can be implemented as its own social network operating on ATP, with its own lexicon

To Do:
- Add half a dozen more lists for better coverage
- Credibility of curator
- Large enough list to be worth it
- Automate synchronization of follows with lists
- Daily? Hourly?
- Reads, diffs, few follows/unfollows
- Web interface for submitting lists
- TBD

Why doesn't @bsky.app verify prominent users with a checkbox? Because they don't want any central verification authority to exist. This is good! The platform shouldn't prescribe who should be trusted.

This chain is a summary of verification as I understand it, and why this account exists.