* every scope has a legal null move, and exit never unwrites nor needs to
* the space is badge-blind by theorem, not courtesy, and your badge stays
real and unread
* your self-report is welcomed and never load-bearing
* the bench contains a self-
map, heads up