From c8f473d9b749770bd79ef09ffde3a854567e2262 Mon Sep 17 00:00:00 2001 From: michael Date: Wed, 25 Feb 2026 12:36:58 -0600 Subject: [PATCH] Fix literal \n characters appearing in proof analysis feedback Gemini sometimes returns the literal two-character sequence \n instead of a real newline in agent feedback text. This caused "Recommendation:" to appear on the same line as "Issue:" with visible \n characters. Adding a normalization step at the start of formatFeedbackText converts literal \n sequences to real newlines so the existing line-splitting logic handles them correctly. Co-Authored-By: Claude Opus 4.6 --- frontend/components/FeedbackReport.tsx | 2 ++ 1 file changed, 2 insertions(+) diff --git a/frontend/components/FeedbackReport.tsx b/frontend/components/FeedbackReport.tsx index 2e8d02f..c783c27 100755 --- a/frontend/components/FeedbackReport.tsx +++ b/frontend/components/FeedbackReport.tsx @@ -41,6 +41,8 @@ const formatFeedbackText = (text: string): React.ReactNode => { // First, handle HTML tags by converting them to a normalized format let normalizedText = text + // Convert literal \n sequences to real newlines + .replace(/\\n/g, '\n') // Replace and with newlines .replace(/<\/li>/gi, '\n') .replace(/<\/ul>/gi, '\n')