100x visual upgrade: True Anomaly + Anthropic aesthetic, run-in-30s snippet, trace receipt sample, mermaid architecture, performance numbers — Doctrine v6

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

feat(card): add What-is-NOT section (doctrine v6 polish)

cross-link: add lean-proof-playground to ecosystem table + intro

depth(math): PhD-grade additions — catalog provenance, honest gaps [v2]

anthropic-feel: add animated SVG + source-anchored screenshot cross-references

depth(math): PhD-grade additions — theorem provenance, reproducing, honest gaps

Fix R3+R10: og_lean.png + colorFrom gray/gray 2026-05-29

Doctrine v6 sweep: tags/YAML/ORCID/receipt/OG-image fixes 2026-05-29

Add signature chart reference (innovation_matrix/theorem_density/uds_span_topology)

style(synthesis): apply Anthropic research voice + True Anomaly spec callouts — aligned to SZL canon

Series-A full graft: NVIDIA/Meta/Anthropic/Mistral/Google patterns applied

polish(hero): MiniCPM-style hero + highlights + comparison — aligned to SZL canon

fix(index): add source_sha256 to all 375 entries — Series A complete

data: add source_path field to all 375 theorems in index

fix(v4): Series A — fix language=haskell crash, add chapter nav, stats tab, About tab; all 375 source_paths wired

[Showcase-F Series-A] README: investor hero, acknowledge, duplicate badge

[series-a-scout] graft: Series-A signal table, regulatory alignment signal, ORCID signal — Doctrine v6

[Showcase-F Series-A] full upgrade: tabs/chart/fuzzy/app.py

[doctrine-enforcer-L] 10/10 SZL Style Canon v6 — OG image, verification receipt, cross-link table, 11+ tags

Style Watchdog N: fix D-12 add og_lean.png; D-13 add ORCID badge; D-14 fix SZL Holdings Artifacts table → SZLHOLDINGS/ canonical

feat(v3): View Source wired end-to-end — Series A complete

fix: merge duplicate Limitations sections [Agent G]

docs: add View Source section to README

[Showcase F] Upgrade: tabs, fuzzy search, bar chart, detail panel, BibTeX footer

[Showcase F] Upgrade: tabs, fuzzy search, bar chart, detail panel, BibTeX footer

graft: quick-start + proof-status benchmark table + limitations + ecosystem links [Agent G]

feat: add View Source panel reading from theorems/ dir

add arch_lutar_lean, proof_lean_chain, screenshot_lean mockup

Polish B: PhD-grade README — 375 theorem breakdown, lake-verified vs skeleton, receipt block, OG image

feat(github): add GitHub badges, Source on GitHub, and Zenodo bridge — doctrine v6

feat: add View Source tab — loads actual .lean from theorems/; add source_path to all 375 entries

feat: ship actual Lean 4 source to theorems/ — View Source ready

fix: theme/css in Blocks() for gradio<=5, in launch() for gradio>=6 — corrects version-adaptive logic

fix: sdk_version 4.44.0->5.9.1, theme/css to launch() for gradio 5/6, drop pydub dep

fix: colorFrom violet → purple (valid HF value)

initial commit