[{"type":"thinking","thinking":"Committed d0e0c41. Now answer the user's questions directly:\n\n1. R-003 check — fixed now; the issue was that R-003's display formulas follow comma lead-ins, which v2 didn't catch. Now they render as blocks.\n2. Browser/webserver restart question:\n   - Web server: YES needed after Python code changes (templates/code cached in-process) — I handle it via healthcheck --restart. CSS changes serve immediately without restart.\n   - Browser: NO restart needed — just refresh. Ctrl+F5 (hard refresh) to bypass cached CSS if it looks stale.\n\nKeep it concise.","signature":""},{"type":"text","text":"Fixed — R-003 now renders correctly. The problem: its central formulas follow **comma lead-ins** (\"Then, unconditionally, ↵ W(a,θ;z) = …\"), which my first rule didn't recognize. I widened detection (comma/blank lead-ins allowed when the line is pure formula, no English stopwords) — 236 display blocks archive-wide now, zero broken layouts, verified live.\n\n**To your question:**\n- **Web server**: restart IS required after Python/template changes (they're cached in-process) — I handle that with `healthcheck.py --restart` on every change. CSS/JS changes need no restart.\n- **Browser**: no restart needed — just **refresh the page**. If it looks stale, **Ctrl+F5** (hard refresh) to bypass the cached stylesheet.\n\nIf R-003 (or any page) still looks identical after Ctrl+F5, tell me which page you're on — note the Results Ledger detail is at `/ledger/R-003/`, and derivations are under `/derivations/…`."}]