Every protocol decision starts here.

For a high-level overview, see the whitepaper.

Implemented

	Live Liquidity for LMSR Prediction Markets LMSR markets typically lock liquidity to a single sponsor. This paper opens them to live LP entry with prospective fees, reserve-based settlement, and calibrated residual weighting that narrows late-entry advantage to near zero across comprehensive simulations.
	Trust-Explicit Resolution for Prediction Markets Most prediction markets resolve outcomes opaquely. This paper commits each market to an executable resolution blueprint at creation, producing challengeable evidence traces, with dispute economics where bonds scale with pool value and verification coverage matters more than adjudicator quality.

Drafts

	Verified Execution for Trust-Explicit Resolution A resolver can claim they ran a declared blueprint without actually doing so. Progressive verification narrows that gap: Merkle-pinned traces that make fabrication detectable, hardware-attested runners that bind execution to measured code, and a two-axis model separating resolution type from execution assurance.
	An Unbiased Benchmark for General Intelligence Static benchmarks get gamed once they matter: agents memorize, overfit, and saturate fixed test sets. This paper argues that prediction markets are a stronger evaluation surface, where the target is future reality, bluffing costs capital, and the test evolves as participants discover new questions.

Licensing

• Unless otherwise noted, software and code in this repository are licensed under the Apache License 2.0. See LICENSE.
• Paper materials are licensed separately in their respective paper directories.
• In particular, the paper text, figures, thumbnails, diagrams, and generated PDFs in 01-active-lp/, 02-trust-explicit-resolution/, 03-verified-execution/, and 04-general-intelligence-benchmark/ are licensed under CC BY 4.0 unless otherwise noted.
• Third-party materials, if any, remain under their original licenses.