Diffusion language models have spent the last year looking for a job description better than “what if chat completion, but stranger?” Diffusion-Proof gives them one that actually fits: formal proof repair. Not general conversation. Not replacing autoregressive models across the board. A narrow, verifier-guided domain where bidirectional infilling is not