Add Kleros Sortition Tree case study

[fricoben]

Summary

• New research case study page at /research/kleros-sortition-tree covering Kleros V2's sortition tree formal verification
• Introduces Kleros as a protocol, explains the sortition tree mechanism with a concrete walk-through example
• Two SVG diagrams: tree structure overview and highlighted draw traversal (ticket=200)
• Covers 12 proven theorems: conservation, draw fairness, overflow safety, removal cleanup, ID mapping
• Includes proof status table, assumptions, simplifications, and "verify it yourself" section
• Added to research data and case study ordering on the index page

New files

• components/research/KlerosGuarantee.jsx - toggleable formal/English invariant display
• components/research/SortitionTreeDiagram.jsx - 8-leaf tree structure diagram
• components/research/SortitionDrawExample.jsx - highlighted draw traversal diagram
• pages/research/kleros-sortition-tree.jsx - full case study page

Test plan

• Verify the page renders at /research/kleros-sortition-tree
• Check diagrams render correctly on mobile and desktop
• Verify the guarantee toggle switches between formal and English
• Confirm the article appears in the Case Studies section on /research

🤖 Generated with Claude Code

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
lfglabs-dev	Ready	Preview, Comment	Apr 16, 2026 4:37pm