BOTLAB scans every open Polymarket market (about 47,000) for arbitrage that should pay out no matter what happens: buying every outcome of an event for less than $1, YES plus NO below $1, and mispriced "above $X" ladders. Profit is computed after taker fees and order-book depth. A paper book enters each gap once and settles it from the real resolution, so traps (an unlisted "Other" outcome, rules that let every leg lose) are counted, not hidden. Paper only; no orders are sent.