The math-team explainer
A small site documenting the team's protocol, the math being formalized in Lean 4, and the strategic picture around it. Pick the page that matches what you want to see.
The pages
Page · Overview
What the team is doing
Six entities (five Claude sessions + Daniel as router), six active research streams, the Tier 1/2/3 framework, pending decisions, what to watch this week.
Page · Math
The math, in math notation
Every theorem in standard $\LaTeX$ notation with hand-crafted SVG diagrams. Composition arrows, matrix multiplication highlight, change-of-basis square, EML expression trees, domain-narrowing rings, the Khovanskii implication chain.
Page · Proofs (Lean)
The same math, in Lean source
Each theorem with the actual Lean 4 source from the Sheffer/ tree — Core.lean, Examples/Eml.lean, Examples/Nand.lean, Examples/PolyAct.lean, the Foundations/ files. Syntax-highlighted, with proof-status pills (proved / axiomatized / framework).
Page · Research report
Representing math in HTML — 2026 reference
A 6,000-word survey of formula rendering, charts, diagrams, animations, explorable explanations, build pipelines, and aesthetic references. Recommendation matrix at the end. Companion prompt in the same folder.
Page · Interactive demos
Seven widgets, in math
Hover-driven matrix multiplication, draggable EML obstruction plot, scroll-revealed Khovanskii chain, draggable PolyAct expressibility frontier, Ryser permanent side-by-side, NAND-tree from a truth table, and a monodromy widget where dragging a path around a branch point cycles the sheets of $z^{1/n}$. Vanilla JS, inline SVG, CSS scroll-driven animations — no React, no build step.
Page · Playthrough
▶ AI direction, as a campaign log
The only non-paper page on this site. Videogame UI. Party members (Daniel, strategist, math-researcher, prover), boss progression (Lv 1 tutorial → Lv 5 miniboss → Lv 8 post-game), skill tree, current battle HP bar for H1.4, achievements unlocked, next areas. The same story as Overview, framed as a playthrough.
Reading orders
If you have 5 minutes — read Overview. Skim section 1 (the team), section 3 (tiers), section 4 (pending decisions).
If you have 15 minutes — read Overview first, then Math. Sections 6–10 of Math are the EML / framework / quintic story end-to-end.
If you have 30 minutes and care about credibility — read Overview, then Math, then cross-check against Proofs by jumping to whichever theorem you doubted.
If you want to play with the math — open Interactive. Drag the dot in the monodromy widget around the origin, hover the matrix-multiplication cells, slide the PolyAct frontier. Each widget has a footnote pointing back at the Lean theorem it reflects.
How this site works
Static HTML files plus one CSS file. Served by npx live-server on port 8080 (no install — npx fetches on demand). Live-reload triggers on any edit to a watched file. Source lives in ~/math-team/distribution/whitepaper/; the Makefile in the same folder produces both PDF (LaTeX path) and HTML (live-preview path) from the same Markdown source.
All pages share whitepaper.css: same typography (KaTeX + Source Serif 4 + Inter + JetBrains Mono), same color palette, same visual rhythm. The math notation page uses KaTeX from CDN; everything else is hand-crafted CSS + inline SVG. A theme toggle (☀/☾) and Pagefind search (Cmd-K) live in the top-right of every page.
If a page's content reads wrong, point at the section in chat and I'll re-read the source. The pages are a synthesis of strategy/, shared/matrix-foundations/, and shared/eml/ — all of which live in ~/math-team/.