Publications
Debt-Free Finality for Leveraged Binary Event Markets
A mechanism-design study of physically backed leveraged binary-event
positions that separates financing maturity from event settlement.arXiv · Research repository
On-Chain Credit and Loss Allocation for Leveraged Event Markets
Research on credit pools, backstop capital, withdrawal queues, and
deterministic loss allocation.arXiv · Research repository
Empirical Calibration of Venue-Agnostic Event-Margin Protocols
A prospectively specified calibration analysis plan and venue-emulator
methodology.SSRN · Research repository
AEMB: A Deterministic Cross-Language Verification Benchmark for Event-Margin Protocols
A deterministic benchmark for cross-language conformance and verification.SSRN · Benchmark repository · Mendeley Data
AVET: A Provenance-Aware Venue Emulator Trace Dataset for Event Markets
A provenance-aware deterministic trace dataset for prediction-market research.SSRN · Dataset repository · Mendeley Data