Documentation

Design & rationale

The decision log and pricing/risk model live in the repo.

• docs/DECISIONS.md — why each design choice was made
• docs/levm_engine_whitepaper.pdf — the pricing/risk model
• docs/architecture.mermaid — system diagram
• CLAUDE.md — product rules and repo map

Product rules

For World Cup markets, calls are sold on the entire field; puts only on the top-5 favourites. Single-binary markets (e.g. the Fed rate hike) write both calls and puts — no field, no top-5. Options settle on the short median of Polymarket prices around expiry — never the binary outcome.