# Polymarket Order Book Depth: 10,000 Contracts Fit 64% of Books

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

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.weighted_price_lower`.
- Conditional formula: `Vultax.ResearchLibrary.weighted_price_upper`.
- Conditional formula: `Vultax.ResearchLibrary.zero_profit_threshold`.

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).