);
}
// ─────────────────────────────────────────────────────────────
// Screen 3 — Result Dashboard
// ─────────────────────────────────────────────────────────────
function ResultDashboard({ t, fixtureId, mode, direction, nodeStyle, onNewAudit, onSwitchToFull, forcedTab, clearForcedTab }) {
// Slice 6.4.7 Phase 3 (HC-55): subscribe to daev-fixtures-hydrated so
// the dashboard re-renders when handleRunAudit replaces
// window.DAEV_FIXTURES[fixtureId] with a freshly-wired fixture
// (e.g. when a council-mode audit completes 30-90 s after the user
// clicked Audit and LiveBuild's ~10 s animation already advanced).
// Without this, CouncilPanel keeps rendering the stale prestaged
// fixture even though handleRunAudit hydrated council_metadata.
const [hydrationTick, setHydrationTick] = Sb(0);
Eb(() => {
if (typeof window === 'undefined') return undefined;
const handler = (ev) => {
const detail = (ev && ev.detail) || {};
if (!detail.fixture || detail.fixture === fixtureId) {
setHydrationTick(k => k + 1);
}
};
window.addEventListener('daev-fixtures-hydrated', handler);
return () => window.removeEventListener('daev-fixtures-hydrated', handler);
}, [fixtureId]);
// hydrationTick is intentionally read here so React tracks the
// dependency even though we read fx via window directly.
void hydrationTick;
const fx = window.DAEV_FIXTURES[fixtureId];
// Slice 6.4.5.3 Phase 1 (Item 1) defense-in-depth: ResultDashboard must not
// crash if zombie state slipped through App's safeBoot validation. The lazy
// `_github_live` fixture is the prime offender — it only exists after a
// GitHub audit completes, so a stored daev.fixture='_github_live' on cold
// load would crash on `fx.finding` access. Render a friendly fallback.
if (!fx) {
return (
This fixture has not been audited yet. Click Audit to begin.
{onNewAudit && (
)}
);
}
const finding = fx.finding;
const verdict = finding ? 'UNSAFE' : 'SAFE';
const [expanded, setExpanded] = Sb(finding ? finding.id : null);
const [hovered, setHovered] = Sb(null);
const [selectedNode, setSelectedNode] = Sb(null);
// Causal is now the primary view — that's the differentiated story.
// Findings tab still leads with the verdict card; Causal opens with the
// Rung-1/2/3 reasoning so visitors see the WHY first.
// Audit fix: when selected fixture has no finding (`safe`), default to SAST
// tab so the visitor sees the 7-tool battery clean rather than empty Findings.
const [userTab, setUserTab] = Sb(finding ? 'causal' : 'sast');
// Tour can force a tab (steps 10-14). User clicks reset the override.
const tab = forcedTab || userTab;
const setTab = (next) => {
if (clearForcedTab) clearForcedTab();
setUserTab(next);
};
const [devOpen, setDevOpen] = Sb(false);
const [moreOpen, setMoreOpen] = Sb(false);
// Selected node defaults to the root cause (last node in taint path) so the
// bottom strip is never empty — investors watching a screen-share see a
// persistent label without needing to hover.
const defaultNodeId = finding ? finding.path[finding.path.length - 1] : (fx.graph.nodes[0] && fx.graph.nodes[0].id);
const visibleNodeId = selectedNode || hovered || defaultNodeId;
const visibleNode = fx.graph.nodes.find(n => n.id === visibleNodeId);
return (
{/* Verdict banner */}
{/* LEFT: findings / tabs */}
{/* PANE LABEL — // ANALYSIS — symmetrical with // CAUSAL GRAPH on right */}
// analysis
{[
{ id:'causal', tour:'tab-causal', label:'Causal', hint:'Rung 1/2/3 reasoning · why this is the cause' },
{ id:'findings', tour:null, label: finding ? 'Findings · 1' : 'Findings · 0', hint:'Verdict + suggested fix' },
{ id:'council', tour:'tab-council', label:'Council', hint:'SecurityAgent verdict · switch to Council mode for 5-agent debate' },
{ id:'sast', tour:'tab-sast', label:'SAST', hint:'Side-by-side: what static analyzers found' },
].map(x => (
))}
{/* ⋯ More — overflow tabs (Metadata / Export) */}
{tab === 'findings' && (finding ? (
<>
setExpanded(expanded===finding.id ? null : finding.id)}/>
{/* "SAST signal reduction" callout — answers the steelman question
"why would I trust DAEV over my existing SAST investment?" */}
// signal reduction
SAST: 4 signals→
DAEV: 1 confirmed cause
Pattern matchers raised 3 false positives + 1 real signal. DAEV's counterfactual proof rejected the 3 and confirmed the 1 — with a causal chain you can show your auditor.
);
}
// Slice 6.4.5.2 Phase 8 (BUG-80): SuggestionBox fallback for findings whose
// before-code is empty. Wired audits never carry a before/after pair from
// the LLM (only `intervention_recommendation` text), so the diff frame would
// otherwise render a blank "–" row above the recommendation.
function SuggestionBox({ t, text }) {
const success = (t.semantic && t.semantic.green) || '#10b981';
return (
{text || 'No remediation suggestion available.'}
);
}
function CodeDiff({ t, before, after }) {
return (
{before.split('\n').map((ln,i) => (
–{ln}
))}
{after.split('\n').map((ln,i) => (
+{ln}
))}
);
}
// Slice 6.4.5.3 Phase 2 (Items 2, 3): small amber badge that signals "available
// in Council Mode (Q3 2026)". Placed near Q3-only surfaces (cognitive signals,
// the deep-audit / Council deep-debate callout, the SAST signal-reduction copy)
// to keep the demo's framing honest — the gate ships today; the council ships Q3.
function Q3Badge({ t, tooltip, label = 'Q3 · Council Mode' }) {
const amber = (t && t.semantic && t.semantic.amber) || '#f59e0b';
return (
{label}
);
}
function SignalsStrip({ t, signals }) {
// Real backend cognitive signals can return null when the source is too short
// to compute Miller/Zipf — guard with safe defaults to avoid TypeError on
// .toFixed() and to keep the strip rendering clean even on degenerate inputs.
const miller = (typeof signals?.miller === 'number') ? signals.miller : 0;
const zipf = (typeof signals?.zipf === 'number') ? signals.zipf : 0;
const system = signals?.system || 'S1';
const items = [
{ label: 'Miller', value: miller.toFixed(1), sub: 'working-memory load', good: miller < 4 },
{ label: 'Zipf β', value: zipf.toFixed(2), sub: 'naturalness slope', good: Math.abs(zipf + 1) < 0.3 },
{ label: system, value: system === 'S2' ? 'deliberate' : 'reflex', sub: 'reasoning mode', good: true },
];
return (
{items.map((it,i) => (
{it.label}
{it.value}
{it.sub}
))}
);
}
function EmptyFindings({ t, fx }) {
return (
No causal taint path reaches a sink.
Input was bound, validated by a sanitizer, and passed as a parameterized query.
Counterfactual verification confirmed sanitizer dominates the sink.