From b792f22f2c2ef4dfb7bd300e7381a186e34e0c18 Mon Sep 17 00:00:00 2001 From: Tianren Dong Date: Sat, 16 May 2026 14:01:00 -0400 Subject: 0.15.25: fix reload after stale singleton --- test-suite/index.html | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'test-suite/index.html') diff --git a/test-suite/index.html b/test-suite/index.html index 00ef204..ac95c9d 100644 --- a/test-suite/index.html +++ b/test-suite/index.html @@ -29,7 +29,7 @@ - + @@ -80,6 +80,7 @@ function report() { return { id: m.id, category: m.category, + gate: m.gate ?? "core", file: m.file, verdict: v?.verdict ?? "PENDING", reason: v?.reason ?? [], @@ -98,19 +99,25 @@ function paint() { const rows = report(); const counts = rows.reduce((acc, r) => (acc[r.verdict] = (acc[r.verdict] || 0) + 1, acc), {}); const mismatches = rows.filter(r => r.verdict !== "PENDING" && r.expected !== "CONDITIONAL" && r.expected !== "—" && r.verdict !== r.expected).length; + const coreMismatches = rows.filter(r => (r.gate ?? "core") === "core" && r.verdict !== "PENDING" && r.expected !== "CONDITIONAL" && r.expected !== "—" && r.verdict !== r.expected).length; + const gates = rows.reduce((acc, r) => (acc[r.gate ?? "core"] = (acc[r.gate ?? "core"] || 0) + 1, acc), {}); document.getElementById("summary").innerHTML = ` PASS ${counts.PASS || 0}FAIL ${counts.FAIL || 0}SKIP ${counts.SKIP || 0}WARN ${counts.WARN || 0}PENDING ${counts.PENDING || 0} - unexpected ${mismatches} + core unexpected ${coreMismatches} + all unexpected ${mismatches} + core ${gates.core || 0} + conditional ${gates.conditional || 0} + quality ${gates.quality || 0} `; for (const m of manifest) { const v = verdictFor(m.id); const verdict = v?.verdict ?? "PENDING"; const expected = m.expected?.[mode] ?? "—"; - const hay = JSON.stringify({ id:m.id, category:m.category, verdict, expected, goal:m.goal, notes:m.notes }).toLowerCase(); + const hay = JSON.stringify({ id:m.id, gate:m.gate, category:m.category, verdict, expected, goal:m.goal, notes:m.notes }).toLowerCase(); if (q && !hay.includes(q)) continue; const tr = document.createElement("tr"); tr.className = expectedClass(verdict, expected); @@ -118,6 +125,7 @@ function paint() { const notes = [...(m.prerequisites || []).map(x => "pre: " + x), ...(m.notes || [])].join("; "); tr.innerHTML = ` + -- cgit v1.2.3
idcategoryverdictexpectedbaselineriskgoal / notesopenidgatecategoryverdictexpectedbaselineriskgoal / notesopen
${m.id}${m.gate || "core"} ${m.category || "—"} ${verdict}
${escapeHtml(reason)}
${expected}