fix-patch-proof

Applies a direct fix to proof text. Use when agent-fix determines a gap can be fixed with minor additions (3 or fewer steps). Updates proof and records the response in validation.responses.