Text this: Auditable patch validity for lightweight language-model software repair.