Fix YAML metadata: short_description length, colorTo value — Doctrine v6

feat(paper): link arxiv:2401.05566 [visibility-layer-3]

feat(card): investor-grade rewrite — hero, how-to-work, visual, citations, what-is-NOT (doctrine v6)

fix: remove invalid scale= from gr.Markdown (not supported in Gradio 5.9.1)

rebuild: doctrine-v6 compliant — canonical counts, 6 correct tabs, honest sorry/axiom disclosure

rebuild: doctrine-v6 compliant — canonical counts, 6 correct tabs, honest sorry/axiom disclosure

rebuild: doctrine-v6 compliant — canonical counts, 6 correct tabs, honest sorry/axiom disclosure

fix: gr.Code language=None for Lean 4 (haskell not supported in gradio 5)

initial: Lean proof playground — interactive thesis exploration

fix(license): add license:apache-2.0 to Space YAML frontmatter — license consistency sweep 2026-05-29

initial commit