# Where the Money Waits: 55% of Polymarket's Open Interest Is on Politics

Publication scope revised on 28 October 2026; body SHA-256: `e14929fa5eb7423ce1a9ab55e1830350987b5f9b90284e6882b2f0de9b4cb53c`.

The original selected arithmetic or conditional formulas are retained for the remaining Polymarket analysis. No new source observations or new formal-verification run are claimed.

- Conditional formula: `Vultax.ResearchLibrary.count_is_not_value`.

Outside the proof:

- Authenticity, completeness and accuracy of source observations.
- Data collection, sampling, classification, bootstrap intervals and causal inference.
- Current prices, policy, legal status, allegations, product claims and future outcomes.
- Production code correctness, execution, available liquidity and profitability.

[Selected Lean calculations](../LibraryChecks.lean). [Mathematical definitions](../ResearchModels.lean). [About this public subset](../README.md).