From 01d8451f3a5e5c7ceae3d55fb589684a94c8120c Mon Sep 17 00:00:00 2001
From: laptran <lapdtran@me.com>
Date: Sat, 13 Jun 2026 14:51:18 -0400
Subject: [PATCH] Display SPEC.md content in task detail panel

---
 automaton/dashboard/html/dashboard.js | 1 +
 automaton/dashboard/ui/app.py         | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/automaton/dashboard/html/dashboard.js b/automaton/dashboard/html/dashboard.js
index 6b6b3ea..1e2842b 100644
--- a/automaton/dashboard/html/dashboard.js
+++ b/automaton/dashboard/html/dashboard.js
@@ -216,6 +216,7 @@ function renderDetail(task) {
                const stIcon = stStatus === 'pass' ? '✓' : stStatus === 'fail' ? '✗' : '○';
                return `<li><span class="${stStatus}">${stIcon}</span><span>${st.name}</span></li>`;
            }).join('')}</ul></div>` : ''}
+        ${task.spec_content ? `<div class="detail-section"><h4>Specification</h4><pre class="detail-content-text">${escapeHtml(task.spec_content)}</pre></div>` : ''}
         ${task.verdict_content ? `<div class="detail-section"><h4>Verdict</h4><pre class="detail-content-text">${escapeHtml(task.verdict_content)}</pre></div>` : ''}
         ${task.bug_report_content ? `<div class="detail-section"><h4>Bug Report</h4><pre class="detail-content-text">${escapeHtml(task.bug_report_content)}</pre></div>` : ''}`;
 }
diff --git a/automaton/dashboard/ui/app.py b/automaton/dashboard/ui/app.py
index 4875dc3..de44eb0 100644
--- a/automaton/dashboard/ui/app.py
+++ b/automaton/dashboard/ui/app.py
@@ -124,6 +124,7 @@ class DashboardHandler(SimpleHTTPRequestHandler):
                 ],
                 "verdict_content": t.verdict_content,
                 "bug_report_content": t.bug_report_content,
+                "spec_content": t.spec_content,
                 "review": self._get_review_status(t.name),
             }
             for t in tasks
@@ -183,6 +184,7 @@ class DashboardHandler(SimpleHTTPRequestHandler):
             ],
             "verdict_content": task.verdict_content,
             "bug_report_content": task.bug_report_content,
+            "spec_content": task.spec_content,
             "review": self._get_review_status(task.name),
         }
         self._send_json(task_data)