# Polymarket API in Python: 3 Requests, No API Key Needed

Historical scope checked against the publication dated 25 October 2026. This record describes that earlier version; subsequent page changes are not covered.

Selected calculations checked in Lean. The empirical study is not formally proved.

Calculation and displayed-value checks:

- The reported hourly history count leaves 11 missing hours. (`polymarket_api_python_tutorial_1`; arithmetic).
- The reported daily history count leaves 13 missing days. (`polymarket_api_python_tutorial_2`; arithmetic).

Counting missing timestamps does not verify the Python implementation, API availability, pagination, deduplication, gap detection or the completeness of the returned history.

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

Body SHA-256: `f434cc944a5592a780134cfdd35b52bbb1cfc9645fcfa74388bda65b2bf0c6d0`. Source observations are premises, not conclusions of the proofs.

25 Oct 2026: the body hash now leaves out the photograph block (image), as it already left out sources and updatedAt. The scope is unchanged. Previous body SHA-256: 808b9565768f2889fef9c08f4cab4ba6a5eafffda2116b93f233f7c41cc56f75.