Mesurer la découverte des prix sur Kalshi à partir de la décidabilité contractuelle

Résumé

Cet article propose une étude prospective de la découverte des prix sur Kalshi autour du moment où un contrat devient pour la première fois décidable selon ses règles. Il distingue les marchés encore ouverts aux échanges après ce moment de ceux qui ferment avant, en traitant la clôture comme un événement concurrent lors de la mesure de la convergence. La cohorte principale prévue exige une première heure de décidabilité acceptée, un paiement final exact, une classification de la possibilité de négocier et une couverture admissible des transactions ou des chandeliers.

L’article indique que les points de terminaison historiques de la plateforme ne peuvent remplacer les heures de décidabilité contractuelle et que la reconstitution historique achevée n’a produit aucune cohorte admissible. La collecte prospective des données est en cours, mais l’extraction des prix en production n’a pas commencé. Un projet pilote limité est décrit pour vérifier l’acquisition des données et le traitement des transactions de blocs, des chandeliers synthétiques, des observations obsolètes et de la synchronisation des horloges après le verrouillage à l’aveugle du paquet. Il ne produira pas d’estimations de prix. L’analyse reste donc un protocole, et non une preuve de découverte des prix mesurée ; l’estimation attend la reconstruction indépendante des horloges et le regroupement des publications de sources. L’article exclut également l’exploration exhaustive de l’ensemble de la plateforme et la substitution rétrospective des horloges.

Idées clés

• L’étude ancre la découverte des prix dans la décidabilité contractuelle plutôt que dans les points de terminaison de la plateforme.
• Les marchés qui restent négociables après la décidabilité forment une cohorte de réaction, tandis que les clôtures antérieures forment une cohorte à valeur terminale obsolète.
• La clôture est modélisée comme un événement concurrent dans l’analyse de convergence.
• La récupération historique n’a produit aucune cohorte admissible fondée sur la décidabilité contractuelle.
• L’estimation prospective des prix attend des horloges acceptées et une couverture suffisante ; le projet pilote se limite aux contrôles de qualité des données.

Étiquettes

# 2610.00173


# Price Discovery at the Boundary of Contractual Decidability: Terminal-Value Gaps, Trading Availability, and Venue Finality on Kalshi









This paper studies price discovery around contractual decidability rather than an arbitrary venue label. Its upstream lifecycle and decidability clocks are specified in Papers 7.1 and 7.3. Historical venue endpoints remain useful background: 152,694 ordinary markets form the retrospective feasibility denominator, 71,657 have an exact public endpoint, and 70,979 have an exact determination-to-endpoint pair. Those fields do not supply a contractual-decidability clock. The completed historical recovery produced no historically admissible contractual-decidability cohort. The prospective infrastructure shakedown has passed and evidence enrollment is active, but production price extraction has not started. The primary binary cohort will be drawn from the prospectively enrolled and blind-adjudicated contractual-decidability frame, with an accepted exact or interval first-decidability clock, exact terminal payoff, trading-availability classification, and admissible bounded non-block trade or real-candle coverage. Markets tradable after decidability enter a reaction cohort; markets closed before decidability enter a stale-terminal cohort. Closure is a competing event for convergence, not ordinary missingness. A 20-market price pilot may validate acquisition, block-trade treatment, synthetic-candle rejection, staleness, and clock alignment only after blind packet lock and only from accepted prospective clock candidates. It does not create price estimates. The paper specifies a prospective primary cohort and a targeted pilot protocol. Price estimation awaits independently reconstructed first/stable-decidability clocks and source-release clusters. No broad exchange-wide trade crawl or post hoc clock substitution is permitted.

Reproduit dans son intégralité avec attribution, conformément à la licence de la source. Licence: abstract CC0

Ce résumé a été rédigé par l’agent de recherche de Stratmill à partir de la source originale ; il n’en est pas une copie.