Session 20 — Website: math/formula rendering review

{
  "command": "ls -la D:/Python/Quantum/web/dashboard/static/dashboard/vendor/ && ls D:/Python/Quantum/web/dashboard/templates/dashboard/",
  "description": "List vendored JS files and templates"
}

{
  "pattern": "math|MathJax|tex-chtml",
  "path": "D:/Python/Quantum/web",
  "output_mode": "files_with_matches"
}

{
  "command": "cd D:/Python/Quantum && ./.venv/Scripts/python.exe -c \"\nimport sys; sys.path.insert(0, 'web')\nfrom dashboard.research_data import render_markdown\nsample = r'''\n## Test\n\nThe bound \\$|S_f(n)| \\le A\\sqrt{n} + B_0\\$ holds with \\$\\lambda_a > 0\\$ for all \\$a\\$.\n\n\\$\\$\\sum_{\\rho} \\frac{1}{|\\rho|^2} < \\infty\\$\\$\n\nInline with subscripts \\$x_{i+1} = f(x_i)\\$ and *emphasis after* math.\n\n- item with \\$n \\le N_1 = (T_0-1)^2\\$\n'''\nprint(render_markdown(sample))\n\"",
  "description": "Test markdown+math render pipeline with sample math"
}

{
  "command": "cd D:/Python/Quantum && ./.venv/Scripts/python.exe web/healthcheck.py --restart 2>&1 | tail -25",
  "description": "Run website healthcheck with restart per ops protocol"
}

{
  "file_path": "D:\\Python\\Quantum\\web\\dashboard\\urls.py"
}

{
  "questions": [
    {
      "question": "How do you want to fix the math rendering on the archive pages?",
      "header": "Fix approach",
      "options": [
        {
          "label": "Typography pass (Recommended)",
          "description": "Website-only: math-capable fonts + display-block styling for formula lines. No archive changes, no risk, immediate improvement."
        },
        {
          "label": "Full LaTeX conversion",
          "description": "Research agent converts ~87 archive files to $\u2026$ LaTeX math. Real typeset equations everywhere, but a large, deliberate archive change needing verification per file."
        },
        {
          "label": "Hybrid",
          "description": "Typography pass now + a directive that new research files use LaTeX math going forward; old files converted opportunistically."
        },
        {
          "label": "Just diagnose",
          "description": "No changes \u2014 you only wanted to know what's going on."
        }
      ]
    }
  ]
}

{
  "questions": [
    "question='How do you want to fix the math rendering on the archive pages?' header='Fix approach' options=[QuestionOption(label='Typography pass (Recommended)', description='Website-only: math-capable fonts + display-block styling for formula lines. No archive changes, no risk, immediate improvement.', preview=None), QuestionOption(label='Full LaTeX conversion', description='Research agent converts ~87 archive files to $\u2026$ LaTeX math. Real typeset equations everywhere, but a large, deliberate archive change needing verification per file.', preview=None), QuestionOption(label='Hybrid', description='Typography pass now + a directive that new research files use LaTeX math going forward; old files converted opportunistically.', preview=None), QuestionOption(label='Just diagnose', description=\"No changes \u2014 you only wanted to know what's going on.\", preview=None)] multi_select=False"
  ],
  "answers": {
    "How do you want to fix the math rendering on the archive pages?": "Typography pass (Recommended)"
  }
}

{
  "command": "cd D:/Python/Quantum && DJANGO_SETTINGS_MODULE=rhweb.settings PYTHONPATH=web ./.venv/Scripts/python.exe -c \"\nimport re, glob, collections\nstats = collections.Counter()\nsamples = collections.defaultdict(list)\nfor coll in ['derivations','results','graveyard','journal']:\n    for f in glob.glob(f'research/{coll}/*.md'):\n        lines = open(f, encoding='utf-8').read().splitlines()\n        infence = False\n        for i, ln in enumerate(lines):\n            if ln.strip().startswith('\\`\\`\\`'): infence = not infence; continue\n            if infence: continue\n            if re.match(r'^  \\S', ln) and not re.match(r'^  (?:[-*+]|\\d+\\.)\\s', ln):\n                prev = lines[i-1] if i else ''\n                prev_list = bool(re.match(r'^\\s*(?:[-*+]|\\d+\\.)\\s', prev))\n                key = (coll, prev_list)\n                stats[key] += 1\n                if len(samples[key]) < 3: samples[key].append(ln.strip()[:70])\nfor k in sorted(stats):\n    print(k, stats[k])\n    for s in samples[k]: print('   |', s)\n\"",
  "description": "Survey two-space-indented lines by collection and list context"
}

{
  "file_path": "D:\\Python\\Quantum\\web\\dashboard\\research_data.py",
  "old_string": "import csv\nimport json\nimport re\nimport sqlite3\nimport subprocess",
  "new_string": "import csv\nimport html\nimport json\nimport re\nimport sqlite3\nimport subprocess"
}

{
  "file_path": "D:\\Python\\Quantum\\web\\dashboard\\static\\dashboard\\style.css",
  "old_string": "  font: 15px/1.6 \"Segoe UI\", system-ui, sans-serif;",
  "new_string": "  font: 15px/1.6 \"Segoe UI\", system-ui, \"Segoe UI Symbol\", \"Cambria Math\", sans-serif;"
}

{
  "command": "cd D:/Python/Quantum && ./.venv/Scripts/python.exe web/healthcheck.py --restart 2>&1 | tail -3 && curl -s \"http://127.0.0.1:8001/derivations/D-056-R-bound-repair/\" -o /tmp/live_d056.html && grep -c 'math-line' /tmp/live_d056.html && grep -o '<div class=\"math-line\">[^<]\\{0,60\\}' /tmp/live_d056.html | head -4",
  "description": "Restart server and verify live derivation page"
}

{
  "command": "cd D:/Python/Quantum && curl -s \"http://127.0.0.1:8001/resources/De%20Bruijn%E2%80%93Newman%20%E2%80%94%20Detail/\" | grep -c '\\$\\$' && curl -s http://127.0.0.1:8001/ | grep -o 'math-line' | head -2",
  "description": "Verify resources LaTeX spans and home page intact"
}

{
  "file_path": "D:\\Python\\Quantum\\RH-WEBSITE.md",
  "old_string": "Done:\n- 2026-08-19: healthcheck.py + watchdog.py (\u00a76.1/\u00a76.2b); Home latest-result\n  card now dynamic (was hardcoded R-004); dashboard data-freshness line\n  (STATE.md/research.db/agent.db, live via polling); E-017 chart.",
  "new_string": "Done:\n- 2026-08-19: healthcheck.py + watchdog.py (\u00a76.1/\u00a76.2b); Home latest-result\n  card now dynamic (was hardcoded R-004); dashboard data-freshness line\n  (STATE.md/research.db/agent.db, live via polling); E-017 chart.\n- 2026-08-20: math typography pass (user report: equations looked\n  unformatted on ledger/experiments/derivations/graveyard/journal). Root\n  cause: MathJax 3.2.2 works (resources atlas has real LaTeX), but the\n  research archive writes plain Unicode math \u2014 nothing to typeset.\n  research_data.render_markdown now lifts two-space-indented display\n  formula lines (colon lead-in + math signal, aligned +/- continuations)\n  into styled .math-line blocks; .math-line styled with Cambria\n  Math/STIX/Segoe UI Symbol stack, pre spacing; body font gained symbol\n  fallback. ~174 display blocks lifted archive-wide; content untouched\n  (HTML-escaped, presentational only)."
}

{
  "command": "cd D:/Python/Quantum && git log -1 --format='%an <%ae>%n%cn <%ce>' && git config --local --list 2>/dev/null | head; git config --global --list 2>/dev/null | grep -i user",
  "description": "Inspect prior commit authorship and git config sources"
}

{
  "command": "cd D:/Python/Quantum && git -c user.name='NGUYEN-RH-1' -c user.email='research@local' commit -m \"$(cat <<'EOF'\nWebsite: math typography pass \u2014 display-formula blocks + math font stack\n\nMathJax was always working (resources atlas has real LaTeX); the research\narchive writes plain Unicode math, so nothing typeset there. render_markdown\nnow lifts two-space-indented display formula lines (colon lead-in + math\nsignal, aligned +/- continuations) into styled .math-line blocks; math-capable\nfont stack added. Content untouched \u2014 presentational only. ~174 blocks.\nEOF\n)\" && git log --oneline -1",
  "description": "Commit website typography fix with per-command identity"
}

{
  "command": "cd D:/Python/Quantum && DJANGO_SETTINGS_MODULE=rhweb.settings PYTHONPATH=web ./.venv/Scripts/python.exe -c \"\nimport re\nfrom dashboard.research_data import render_markdown\nsrc = open('research/results/R-003-cor16-exact-factorization.md', encoding='utf-8').read()\nh = render_markdown(src)\nout = []\nout.append('math-line blocks: ' + str(h.count(chr(60)+'div class=\\\"math-line\\\"')))\n# show all 2-space-indented source lines and whether converted\nlines = src.splitlines()\ninfence=False; prev_colon=prev_conv=prev_list=False\n_LIST = re.compile(r'^\\s*(?:[-*+]|\\d+\\.)\\s')\nfor i,ln in enumerate(lines):\n    s = ln.strip()\n    if s.startswith('\\`\\`\\`'): infence = not infence; continue\n    if infence: continue\n    if ln.startswith('  ') and s and not _LIST.match(ln):\n        out.append(('IND2' if not ln.startswith('   ') else 'IND4+') + ' prevcolon=' + str(prev_colon) + ' | ' + s[:70])\n    prev_colon = s.endswith(':')\n    prev_list = bool(_LIST.match(ln))\nopen('/tmp/r003_check.txt','w',encoding='utf-8').write('\\n'.join(out))\nprint('ok')\n\"",
  "description": "Analyze R-003 source lines and conversion status"
}

{
  "file_path": "D:\\Python\\Quantum\\web\\dashboard\\research_data.py",
  "old_string": "        starts = indent2 and has_math and (\n            (prev_colon and not prev_list)\n            or ((prev_comma and not prev_list)\n                or (prev_blank and not preblank_list)) and pure)",
  "new_string": "        colon_lead = prev_colon and not prev_list\n        soft_lead = ((prev_comma and not prev_list)\n                     or (prev_blank and not preblank_list)) and pure\n        starts = indent2 and has_math and (colon_lead or soft_lead)"
}

{
  "command": "cd D:/Python/Quantum && git add web/dashboard/research_data.py && git -c user.name='NGUYEN-RH-1' -c user.email='research@local' commit -m \"$(cat <<'EOF'\nWebsite: widen display-formula detection \u2014 comma/blank lead-ins + purity test\n\nR-003's central formulas follow comma lead-ins (\"Then, unconditionally,\"),\nnot colons. v3: comma/blank lead-ins qualify with a prose-stopword purity\ntest; chained +/- alignment continuations exempt from list-marker guard.\n174 \u2192 236 blocks archive-wide; zero broken chains; ~3% styling-only FPs\n(content always preserved).\nEOF\n)\" && git log --oneline -1",
  "description": "Commit formula detection refinement"
}

{
  "pattern": "Decay envelope \\(5\\.3\\)",
  "path": "D:\\Python\\Quantum\\research\\derivations",
  "output_mode": "content",
  "-n": true,
  "-B": 6,
  "-A": 3
}

mode='content' num_files=0 filenames=[] content='research\\derivations\\D-004-prime-side-reproduction.md-10-A_ϕ:= ϕ⋆ϕ; w := 1.\nresearch\\derivations\\D-004-prime-side-reproduction.md-11-Facts (checked): Φ(0) = aL; pair-correlation kernel R_kernel = |ϕ̂|² ≥ 0 by\nD:\\Python\\Quantum\\research\\derivations\\D-004-prime-side-reproduction.md-12-construction; ϕ²̂ = A_ϕ̂... (ϕ² = ϕ·ϕ ⟹ ϕ²̂ = (ϕ̂∗ϕ̂)/2π conventions aside);\nresearch\\derivations\\D-004-prime-side-reproduction.md-13-Φ² = ĝ on ℝ; ∫Φ² = 2πg(0) = 2πbL (Fourier inversion at 0: g(0) = ∫ϕ⁴ = bL ✔);\nresearch\\derivations\\D-004-prime-side-reproduction.md-14-sandwich (5.2): (L−2w−|y|)₊ ≤ g(y) ≤ A_ϕ(y) ≤ (L−|y|)₊ ✔ (from\nD:\\Python\\Quantum\\research\\derivations\\D-004-prime-side-reproduction.md-15-1_[−L/2+w, L/2−w] ≤ ϕ² ≤ ϕ ≤ 1_[−L/2,L/2]).\nresearch\\derivations\\D-004-prime-side-reproduction.md:16:Decay envelope (5.3): max(|ϕ̂(r)|, |Φ(r)|) ≤ ϑ(r) := min(L, 2/|r|, C_χ/(wr²)),\nD:\\Python\\Quantum\\research\\derivations\\D-004-prime-side-reproduction.md-17-with (5.4) ∫₀^∞ ϑ = 4 + 2 log(C_χL/4w) ≪ log L; ∫ϑ²|r| ≪ log L; ∫ϑ² ≤ 8L.\nresearch\\derivations\\D-004-prime-side-reproduction.md-18-[Structure: L¹-norm ≪ log L is the source of the log log T in the final rate.]\nD:\\Python\\Quantum\\research\\derivations\\D-004-prime-side-reproduction.md-19-' num_lines=10 num_matches=None applied_limit=None applied_offset=None

{
  "command": "cd D:/Python/Quantum && DJANGO_SETTINGS_MODULE=rhweb.settings PYTHONPATH=web ./.venv/Scripts/python.exe -c \"\nfrom dashboard.research_data import render_markdown\nsrc = open('research/derivations/D-004-prime-side-reproduction.md', encoding='utf-8').read()[:1400]\nopen('/tmp/d004.txt','w',encoding='utf-8').write(render_markdown(src))\nprint('ok')\n\"",
  "description": "Render D-004 header section through pipeline"
}

{
  "command": "cd D:/Python/Quantum && git show bf7af04~1:web/dashboard/research_data.py > web/dashboard/research_data.py && git show bf7af04~1:web/dashboard/static/dashboard/style.css > web/dashboard/static/dashboard/style.css && git diff --stat",
  "description": "Restore pre-typography versions of the two website files"
}