arxiv: 2605.10428 · v1 · submitted 2026-05-11 · 💱 q-fin.TR · q-fin.GN· q-fin.PR

Recognition: 2 theorem links

· Lean Theorem

A Taxonomy of Event-Linked Perpetual Futures: Variant Designs Beyond the Single-Market Binary Case

Maksym Nechepurenko

Pith reviewed 2026-05-12 05:09 UTC · model grok-4.3

classification 💱 q-fin.TR q-fin.GNq-fin.PR

keywords event-linked perpetual futurescontract taxonomyprediction marketsbinary probabilitiesderivative designsettlement structuresrisk managementvariant classification

0 comments

The pith

This paper develops a formal taxonomy of seven canonical variants for event-linked perpetual futures beyond the basic single-market probability tracker.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends prior work on perpetual futures tied to event probabilities by classifying seven distinct contract designs. It organizes these variants along four independent axes covering the shape of the tracked probability, the handling of time, the settlement rules, and the combination of trading venues. For each variant the analysis supplies an exact payoff formula, a map showing which elements from the basic binary case carry over or need change, and a list of design constraints plus test criteria for historical data. A reader would care because these structures could support more targeted ways to manage or trade uncertainty around future events without repeated position rolls. The work stays theoretical but gives concrete steps for building example time series and checking the designs on existing prediction market records.

Core claim

The paper establishes a taxonomy of seven pure-form canonical variants of event-linked perpetual futures, organized along the four orthogonal design axes of underlying geometry, temporal structure, settlement structure, and venue composition. For each variant it supplies a precise payoff definition, an inheritance map from the single-market binary case, variant-specific design constraints, microstructure properties, empirical evaluability criteria on the PMXT v2 archive, and explicit limitations, with notable observations on conditional instability, three-channel resolution risk, estimator issues for volatility variants, and correlation-dependent margins for baskets.

What carries the argument

The four orthogonal design axes—underlying geometry, temporal structure, settlement structure, and venue composition—that classify the seven variants and determine how each inherits, modifies, or drops components from the single-market binary perpetual.

If this is right

The conditional variant admits a candidate non-portability proposition due to denominator instability as the conditioning event becomes improbable.
The spread variant requires a three-channel decomposition of resolution risk.
The volatility or entropy variant avoids random binary terminal-collapse but introduces estimator-convention and entropy-decay issues.
The basket variant requires multi-period jump-aware margin whose aggregation is correlation-dependent.
Funding-only variants with no settlement allow pure funding mechanisms detached from final event outcomes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Traders could isolate specific risk components, such as spreads between two event probabilities, using the spread variant without taking directional positions on either.
The empirical evaluability criteria could guide construction of test portfolios to check margin stability across different market regimes.
The taxonomy supplies a starting map for exploring whether hybrid combinations of the four axes produce additional viable contract forms.

Load-bearing premise

The seven variants can be defined with precise payoffs that inherit components from the single-market binary case without introducing irresolvable inconsistencies.

What would settle it

Finding that the payoff definition for any one variant produces undefined behavior or irresolvable inconsistencies when applied to actual historical prediction-market probability paths would falsify the taxonomy as a set of workable designs.

read the original abstract

Paper 1 of this research programme develops a resolution-aware risk-design framework for the simplest event-linked perpetual: a contract whose underlying tracks a single binary prediction-market probability through resolution. The instrument class is broader. Variants span conditional probabilities P(A|B), spreads p^A - p^B, weighted baskets sum w_i p^(i), derivatives on variance or entropy of the probability process, contracts on liquidity itself, perpetual-on-expiring-event roll structures, and funding-only derivatives with no settlement. Each variant inherits some framework components from the single-market binary case and requires its own design adaptations. This paper develops a formal taxonomy of seven pure-form canonical variants beyond the probability-index perpetual of Paper 1, organised along four orthogonal design axes: underlying geometry, temporal structure, settlement structure, and venue composition. The list is not exhaustive; combinations are not treated separately. For each variant we provide a precise payoff definition; an inheritance map identifying which Paper 1 components carry over, are modified, or fail; variant-specific design constraints; microstructure properties; empirical evaluability on the PMXT v2 archive; and limitations. Notable findings: the conditional variant admits a candidate non-portability proposition (denominator instability as the conditioning event becomes improbable); the spread variant requires a three-channel decomposition of resolution risk; the volatility/entropy variant avoids random binary terminal-collapse but introduces estimator-convention and entropy-decay issues; the basket variant requires multi-period jump-aware margin whose aggregation is correlation-dependent. The paper is theoretical primarily; it specifies how demonstrative time series can be constructed and provides evaluability criteria to guide future work.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

read the letter

This paper gives a four-axis taxonomy of seven event-linked perpetual futures variants with payoff definitions and concrete design flags, but it is mostly classificatory and leans on the author's prior paper. It covers conditionals, spreads, baskets, volatility or entropy derivatives, liquidity contracts, roll structures, and funding-only versions. For each it maps what carries over from the single-market binary case, what must change, and what constraints appear. The spread case gets a three-channel risk split, the conditional one shows denominator instability when the conditioning event grows rare, and the volatility version surfaces estimator and entropy-decay problems. These notes are the clearest part of the work. The paper also lists evaluability criteria against the PMXT v2 archive so later empirical checks have a target. That structure is new relative to the basic perpetual in the earlier paper and could help someone sketching new instruments. The main limitation is that the contribution is definitional. The variants are pure forms, combinations are set aside, and the inheritance maps and payoff consistency rest on the prior framework without new proofs or data here. A reader would need the full derivations to confirm no hidden inconsistencies in the adaptations. This is for quantitative finance researchers who already work with prediction-market derivatives or perpetual contract design. It will not move broader markets or theory but gives a compact map and open questions for that niche. I would send it to peer review. The organization is clear, the flags are specific, and the evaluability criteria make it usable for follow-up work even if the paper itself stays theoretical.

Referee Report

0 major / 3 minor

Summary. The paper develops a formal taxonomy of seven pure-form canonical variants of event-linked perpetual futures beyond the single-market binary probability-index perpetual introduced in Paper 1. The variants are organized along four orthogonal design axes (underlying geometry, temporal structure, settlement structure, and venue composition) and include conditional probabilities, spreads, weighted baskets, volatility/entropy derivatives, liquidity contracts, perpetual-on-expiring roll structures, and funding-only derivatives. For each variant the manuscript supplies a precise payoff definition, an inheritance map identifying carried-over, modified, or failed components from the base case, variant-specific design constraints, microstructure properties, empirical evaluability criteria on the PMXT v2 archive, and noted limitations such as denominator instability, three-channel resolution-risk decomposition, estimator conventions, and correlation-dependent margin aggregation.

Significance. If the taxonomy and associated definitions hold, the work supplies a structured classificatory framework that extends the resolution-aware risk-design approach of Paper 1 to a broader instrument class. Credit is due for the explicit payoff functions, inheritance maps, and concrete evaluability criteria that enable future empirical checks on real prediction-market data; these elements reduce the risk of ad-hoc design choices and provide a reproducible basis for comparing variants. The identification of variant-specific challenges (e.g., non-portability in the conditional case) is a constructive contribution that can guide practical implementation and risk management in quantitative trading.

minor comments (3)

The abstract states that 'combinations are not treated separately,' yet the four-axis organization implies that some cross-axis hybrids may still be feasible; a brief explicit statement of the exclusion criterion would clarify the taxonomy's scope.
The manuscript refers to 'Paper 1' throughout without a full bibliographic entry or arXiv identifier in the provided text; adding this reference would improve traceability for readers unfamiliar with the preceding work.
A summary table listing the seven variants against the four design axes, together with one-line payoff sketches, would enhance readability and allow quick comparison of inheritance patterns.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and detailed summary of our manuscript, which accurately captures the taxonomy of seven canonical variants of event-linked perpetual futures organized along four design axes, along with the payoff definitions, inheritance maps, variant-specific constraints, and evaluability criteria. We appreciate the recognition of the work's significance in extending the resolution-aware framework from Paper 1 and the constructive note on variant-specific challenges such as non-portability and resolution-risk decomposition. The recommendation for minor revision is noted; however, the report does not enumerate any specific major comments requiring point-by-point response.

Circularity Check

0 steps flagged

No significant circularity; taxonomy is definitional and self-contained

full rationale

The paper constructs a taxonomy of seven variants by supplying explicit payoff definitions for each, along with variant-specific inheritance maps, design constraints, microstructure properties, and empirical evaluability criteria drawn from the PMXT v2 archive. Although it references the single-market binary case from Paper 1 to identify which components carry over or require adaptation, the central claim is classificatory and organizational rather than a derivation that reduces any result to fitted inputs or self-referential definitions by construction. No equations or steps equate a claimed prediction or uniqueness result to its own inputs; the work remains a forward specification of pure-form designs with noted limitations such as denominator instability.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The taxonomy rests on the assumption that variants inherit framework components from Paper 1 and that four design axes are orthogonal and exhaustive for classification purposes; no free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Variants inherit some framework components from the single-market binary case and require their own design adaptations.
Explicitly stated as the basis for the taxonomy and inheritance maps.

pith-pipeline@v0.9.0 · 5596 in / 1199 out tokens · 43980 ms · 2026-05-12T05:09:39.340357+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
This paper develops a formal taxonomy of seven pure-form canonical variants beyond the probability-index perpetual of Paper 1, organised along four orthogonal design axes: underlying geometry, temporal structure, settlement structure, and venue composition.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
For each variant we provide a precise payoff definition; an inheritance map identifying which Paper 1 components carry over, are modified, or fail; variant-specific design constraints; microstructure properties...

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · 8 internal anchors

[1]

Working paper / SSRN , year =

He, Songrun and Manela, Asaf and Ross, Omri and von Wachter, Victor , title =. Working paper / SSRN , year =

work page
[2]

Wilmott Magazine , year =

Krekel, Martin and de Kock, Johan and Korn, Ralf and Man, Tin-Kwai , title =. Wilmott Magazine , year =

work page
[3]

Information Systems Frontiers , volume =

Hanson, Robin , title =. Information Systems Frontiers , volume =

work page
[4]

and Pedersen, Lasse Heje , title =

Brunnermeier, Markus K. and Pedersen, Lasse Heje , title =. Review of Financial Studies , volume =

work page
[5]

Hasbrouck, Joel , title =

work page
[6]

Volatility: New Estimation Techniques for Pricing Derivatives , editor =

Carr, Peter and Madan, Dilip , title =. Volatility: New Estimation Techniques for Pricing Derivatives , editor =

work page
[7]

Journal of Derivatives , volume =

Demeterfi, Kresimir and Derman, Emanuel and Kamal, Michael and Zou, Joseph , title =. Journal of Derivatives , volume =

work page
[8]

and Thomas, Joy A

Cover, Thomas M. and Thomas, Joy A. , title =

work page
[9]

2026 , note =

Nechepurenko, Maksym , title =. 2026 , note =

work page 2026
[10]

Price as Focal Point: Prediction Markets,Conditional Reflexivity, and the Politics of Common Knowledge

Nechepurenko, Maksym , title =. 2026 , note =. doi:10.48550/arXiv.2604.24147 , url =. 2604.24147 , archivePrefix =

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2604.24147 2026
[11]

The Signal Credibility Index for Prediction Markets: A Microstructure-Grounded Diagnostic with Weighted and Time-Varying Extensions

Nechepurenko, Maksym , title =. 2026 , note =. doi:10.48550/arXiv.2604.27041 , url =. 2604.27041 , archivePrefix =

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2604.27041 2026
[12]

Information Leakage at Population Scale: An Evaluation of the Polymarket Insider-Relevant Subpopulation, 2020-2026

Nechepurenko, Maksym , title =. 2026 , note =. doi:10.48550/arXiv.2605.00459 , url =. 2605.00459 , archivePrefix =

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.00459 2026
[13]

Foresight Arena: An On-Chain Benchmark for Evaluating AI Forecasting Agents

Nechepurenko, Maksym and Shuvalov, Pavel , title =. 2026 , note =. doi:10.48550/arXiv.2605.00420 , url =. 2605.00420 , archivePrefix =

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.00420 2026
[14]

ForesightFlow: An Information Leakage Score Framework for Prediction Markets

Nechepurenko, Maksym , title =. 2026 , note =. doi:10.48550/arXiv.2605.00493 , url =. 2605.00493 , archivePrefix =

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.00493 2026
[15]

Empirical Evaluation of Deadline-Resolved Information Leakage on Documented Polymarket Insider Cases

Nechepurenko, Maksym , title =. 2026 , note =. doi:10.48550/arXiv.2605.02286 , url =. 2605.02286 , archivePrefix =

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.02286 2026
[16]

Per-Market Information Leakage and Order-Flow Skill: Two Methodological Lenses on Informed Trading in Decentralized Prediction Markets

Nechepurenko, Maksym , title =. 2026 , note =. doi:10.48550/arXiv.2605.02287 , url =. 2605.02287 , archivePrefix =

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.02287 2026
[17]

2026 , note =

Nechepurenko, Maksym , title =. 2026 , note =. doi:10.2139/ssrn.6687441 , url =

work page doi:10.2139/ssrn.6687441 2026
[18]

Coordination as an Architectural Layer for LLM-Based Multi-Agent Systems

Nechepurenko, Maksym and Shuvalov, Pavel , title =. 2026 , note =. doi:10.48550/arXiv.2605.03310 , url =. 2605.03310 , archivePrefix =

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.03310 2026