"""HTML / CSS / JS blob for the 4-panel live dashboard embedded in the Gradio Space. Kept out of ``app.py`` so the Python file stays focused on the Gradio wiring. The panels are driven from four hidden ``gr.JSON`` components (one per panel) whose values mutate as Python generators yield. JavaScript polls the JSON state in the DOM via a ``MutationObserver`` and re-renders each panel from the delta. Every selector here is namespaced under ``#gf-dashboard`` so the paste of ``dashboard/style.css`` cannot clobber Gradio's own styling. """ from __future__ import annotations DASHBOARD_HTML = r"""
Streaming tokens with probe risk · repo scan progress · ranked leads · hand-off to pwnkit. Every panel is backed by real data from this Space.
| # | conf | cwe | file:lines | preview |
|---|---|---|---|---|
| No leads yet. | ||||
save_finding rows are green.