Vision Paper: Proof-Carrying Code Completions. - Parnian Kamran; Premkumar T. Devanbu; Caleb Stanford (ASE Workshops, 2024)