The site renders the Markdown documentation maintained in the Parano1d repository. The current v2 snapshot is synchronized from canonical main commit 9ab353d985b31841304a1149006b71987f7b6ae6. The copied content/ directory is the deployable snapshot; the project documentation remains the source of truth.
The site generator maps owned GitHub links to their Forgejo equivalents, preserving file paths, pinned commits and anchors without changing the upstream Markdown snapshot. The Source selector identifies Forgejo as canonical and GitLab and GitHub (proof-native) as public mirrors. Third-party research citations are unchanged.
npm install
npm run sync
npm run devProduction checks:
npm run typecheck
npm run build
npm run build:workerDocumentation pages use TeX delimiters in Markdown: $...$ for inline math
and $$...$$ for display math. The renderer emits static KaTeX HTML and
MathML during the site build; malformed TeX fails the build.