# Research proof library: public subset

This subset preserves 28 historical scope records, nine revised scope records and 162 selected Lean calculation checks from the 25 October 2026 library. The original complete package and its frozen snapshots are temporarily unavailable while data display permissions are reviewed.

The 28 historical records describe the publication as it stood on 25 October. The nine scope revisions below identify the revised 28 October manuscript bodies and retain selected checks for the unchanged Polymarket values or conditional formulas; they claim no new measurement or formal-verification run. The formal checks cover selected arithmetic and displayed-value bounds, not the accuracy or completeness of the source observations, sampling, causation or trading outcomes. The source inputs and complete verification bundle are not included here, and this subset has not been independently reverified as a new package.

[Selected Lean checks](LibraryChecks.lean) · [Mathematical definitions](ResearchModels.lean) · [Fee model](FeeResearch.lean)

## Scope records

- [ballon dor 2026 odds polymarket](articles/ballon-dor-2026-odds-polymarket.md)
- [brazil election 2026 polls odds results](articles/brazil-election-2026-polls-odds-results.md)
- [brazil election 2026 polls vs prediction markets](articles/brazil-election-2026-polls-vs-prediction-markets.md)
- [brazil election 2026 results time tse](articles/brazil-election-2026-results-time-tse.md)
- [crypto exchange feed latency september 2026](articles/crypto-exchange-feed-latency-september-2026.md)
- [crypto wash trading what the research shows](articles/crypto-wash-trading-what-the-research-shows.md)
- [crypto whale trades 115000 alerts six exchanges](articles/crypto-whale-trades-115000-alerts-six-exchanges.md)
- [economic derivatives auction archive](articles/economic-derivatives-auction-archive.md)
- [election market call timing clock](articles/election-market-call-timing-clock.md)
- [elon musk tweet count polymarket](articles/elon-musk-tweet-count-polymarket.md)
- [ensoforecast historical archive](articles/ensoforecast-historical-archive.md)
- [gate polymarket fees](articles/gate-polymarket-fees.md)
- [how does polymarket make money](articles/how-does-polymarket-make-money.md)
- [how long polymarket takes to settle markets](articles/how-long-polymarket-takes-to-settle-markets.md)
- [is polymarket just sports betting](articles/is-polymarket-just-sports-betting.md)
- [is polymarket legal in the us 2026](articles/is-polymarket-legal-in-the-us-2026.md)
- [midterm scorecard 2026](articles/midterm-scorecard-2026.md)
- [nobel peace prize odds before announcement](articles/nobel-peace-prize-odds-before-announcement.md)
- [order book spoofing what it looks like](articles/order-book-spoofing-what-it-looks-like.md)
- [polymarket api python tutorial](articles/polymarket-api-python-tutorial.md)
- [polymarket deadline markets accuracy](articles/polymarket-deadline-markets-accuracy.md)
- [polymarket excess wins domain concentration](articles/polymarket-excess-wins-domain-concentration.md)
- [polymarket longshot insider screen base rate](articles/polymarket-longshot-insider-screen-base-rate.md)
- [polymarket wallets that never sleep trading cadence](articles/polymarket-wallets-that-never-sleep-trading-cadence.md)
- [prediction market lawsuit tracker](articles/prediction-market-lawsuit-tracker.md)
- [prediction markets europe regulation tracker](articles/prediction-markets-europe-regulation-tracker.md)
- [why bitcoin price differs between exchanges](articles/why-bitcoin-price-differs-between-exchanges.md)
- [world series 2026 odds polymarket](articles/world-series-2026-odds-polymarket.md)

## Scope revisions, 28 October 2026

- [polymarket bitcoin up or down 5 minute markets](articles/polymarket-bitcoin-up-or-down-5-minute-markets.md)
- [best polymarket traders leaderboards](articles/best-polymarket-traders-leaderboards.md)
- [polymarket copy trading costs and tools](articles/polymarket-copy-trading-costs-and-tools.md)
- [polymarket sports and esports markets](articles/polymarket-sports-and-esports-markets.md)
- [prediction market order size depth audit](articles/prediction-market-order-size-depth-audit.md)
- [kalshi polymarket open interest by category](articles/kalshi-polymarket-open-interest-by-category.md)
- [polymarket kalshi liquidity rewards](articles/polymarket-kalshi-liquidity-rewards.md)
- [prediction market fair value calibration](articles/prediction-market-fair-value-calibration.md)
- [best polymarket tools 2026](articles/best-polymarket-tools-2026.md)