Merge browser math and provenance test fixes into Rust 2024 candidate

Author: GiggleLiu

docs/website/src/styles/details.css

@@ -3,6 +3,10 @@
 .typst-detail h3 { margin: 24px 0 10px; font-size: 17px; font-weight: 600; }
 .typst-detail p { margin: 10px 0; }
 .typst-detail svg { max-width: 100%; filter: invert(.9); }
+/* Direct glyph colors avoid WebKit rasterizing small filtered math into blocks. */
+.typst-detail .typst-math > svg { filter: none; }
+.typst-detail .typst-math [fill="#000000"] { fill: var(--ink); }
+.typst-detail .typst-math [stroke="#000000"] { stroke: var(--ink); }
 .typst-math > svg { display: inline-block !important; vertical-align: baseline; }
 div.typst-math { overflow-x: auto; margin: 14px 0; }
 .typst-detail figure { margin: 20px 0; }

scripts/test_website.py

@@ -190,6 +190,45 @@ def test_graph_growth_labels_are_conservative_for_exact_signed_formulas(self):
         expect(self.page.locator('.path')).to_have_count(2)
         expect(self.page.get_by_role('button', name='Hide other routes', exact=True)).to_be_visible()
 
+    def test_typst_math_keeps_vector_glyphs_and_colors_in_both_themes(self):
+        self.visit('problem/KSatisfiability?variant=k=K3')
+        expect(self.page.locator('article.typst-detail')).to_be_visible()
+        formula = self.page.locator('.typst-math > svg').filter(has=self.page.locator('g + g use')).first
+        expect(formula).to_be_visible()
+        self.page.evaluate('document.fonts.ready')
+        # Include an intentional color and a fraction-like stroke alongside the real Typst glyphs.
+        formula.locator('use').first.evaluate("node => node.setAttribute('fill', '#e15759')")
+        formula.evaluate('''svg => {
+            const line = document.createElementNS('http://www.w3.org/2000/svg', 'path');
+            line.setAttribute('d', 'M0 .1H4'); line.setAttribute('stroke', '#000000');
+            line.setAttribute('stroke-width', '.1'); svg.append(line);
+        }''')
+        for theme, ink, paper in [('dark', '#eef3e9', '#0b110d'), ('light', '#112011', '#ffffff')]:
+            with self.subTest(theme=theme):
+                self.page.evaluate('''({ink, paper}) => {
+                    document.documentElement.style.setProperty('--ink', ink);
+                    document.documentElement.style.setProperty('--paper', paper);
+                }''', {'ink': ink, 'paper': paper})
+                expect(formula.locator('use').first).to_have_css('fill', 'rgb(225, 87, 89)')
+                actual = formula.screenshot()
+                # Reference the same vectors with explicit theme paint and no rasterizing filter.
+                saved = formula.evaluate('''(svg, ink) => {
+                    const painted = [...svg.querySelectorAll('[fill="#000000"], [stroke="#000000"]')];
+                    const saved = [svg.getAttribute('style'), painted.map(node => node.getAttribute('style'))];
+                    svg.style.filter = 'none';
+                    for (const node of painted) {
+                        if (node.getAttribute('fill') === '#000000') node.style.fill = ink;
+                        if (node.getAttribute('stroke') === '#000000') node.style.stroke = ink;
+                    }
+                    return saved;
+                }''', ink)
+                self.assertEqual(actual, formula.screenshot(), 'Theme styling changed the rendered math vectors')
+                formula.evaluate('''(svg, [style, paints]) => {
+                    const restore = (node, value) => value === null ? node.removeAttribute('style') : node.setAttribute('style', value);
+                    restore(svg, style);
+                    [...svg.querySelectorAll('[fill="#000000"], [stroke="#000000"]')].forEach((node, i) => restore(node, paints[i]));
+                }''', saved)
+
     def test_accessibility_atlas(self):
         self.visit('atlas')
         expect(self.page.locator('.atlas-row').first).to_be_visible()

scripts/test_website_verification.py

@@ -12,6 +12,7 @@
 import sys
 import tempfile
 import unittest
+from unittest.mock import patch
 from urllib.request import build_opener, ProxyHandler
 from urllib.parse import urlsplit
 
@@ -74,7 +75,13 @@ def test_canceled_asset_request_does_not_print_a_server_traceback(self):
     def test_verification_only_report_does_not_claim_the_artifact_build_source(self):
         with tempfile.TemporaryDirectory() as directory:
             site = Path(directory)
-            with self.assertRaises(FileNotFoundError):
+            # This case checks failed-artifact provenance; the full verifier exercises these tools.
+            run = subprocess.run
+            def skip_tool_checks(command, **kwargs):
+                if command[:2] in [["cargo", "test"], ["npm", "run"]]:
+                    return subprocess.CompletedProcess(command, 0)
+                return run(command, **kwargs)
+            with patch("check_website.subprocess.run", side_effect=skip_tool_checks), self.assertRaises(FileNotFoundError):
                 check_website.check(site, build=False, open_questions=None)
             report = json.loads((site / "verification.json").read_text())
             self.assertEqual(report["verification"]["status"], "failed")