Render grounded explanations as rich Markdown and LaTeX

[jjjhenriksen]

Summary

• render model explanations as structured Markdown with inline and display LaTeX
• normalize the delimiter forms commonly emitted by models
• remove revision-hash/debug metadata from the learner-facing verification note
• replace generic prerequisite copy with concise, proof-specific explanations
• refresh the recorded example and Devpost narrative to match the educational product vision

Why

The explanation panel was showing literal math delimiters and implementation-oriented verification details. That made the experience feel like a debug console instead of a source-aware learning companion. This change makes the explanation itself the teaching surface while preserving evidence and trust boundaries.

Validation

• npm run typecheck
• npm run lint
• npm test (32 files, 121 tests)
• npm run proof:validate
• npm run build
• npm run test:e2e -- --workers=1 (35 passed, 5 skipped)
• targeted recorded-example e2e (2 passed)
• local Chrome visual QA confirmed inline and display KaTeX rendering

Production has not been redeployed from this branch; it remains on the previously reviewed deployment until merge.

[chatgpt-codex-connector]

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.