# Polymarket Liquidity Rewards: $150,000 a Day, and Not Where the Trading Is

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

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.reward_after_costs`.
- Conditional formula: `Vultax.ResearchLibrary.fee_deduction`.

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