Medición del descubrimiento de precios en Kalshi según la decidibilidad contractual

Resumen

Este artículo propone un estudio prospectivo del descubrimiento de precios en Kalshi en torno al momento en que un contrato pasa a poder resolverse según sus reglas. Distingue los mercados que siguen abiertos a la negociación después de ese momento de los que cierran antes, y trata el cierre como un evento competitivo al medir la convergencia. La cohorte principal prevista requiere una hora de primera decidibilidad aceptada, un pago terminal exacto, una clasificación de disponibilidad para negociar y cobertura admisible de operaciones o velas.

El artículo señala que los endpoints históricos de la plataforma no pueden sustituir las horas de decidibilidad contractual y que la recuperación histórica completada no produjo ninguna cohorte que cumpliera los requisitos. La incorporación prospectiva de evidencia está activa, pero aún no ha comenzado la extracción de precios para producción. Se describe un piloto limitado para comprobar la adquisición de datos y el tratamiento de operaciones en bloque, velas sintéticas, observaciones obsoletas y la sincronización de relojes tras el cierre a ciegas del paquete de datos. No generará estimaciones de precios. Por tanto, el análisis sigue siendo un protocolo, no evidencia de descubrimiento de precios medido; la estimación queda a la espera de relojes reconstruidos de forma independiente y agrupaciones por publicación de fuentes. El artículo también descarta el rastreo amplio de toda la bolsa y la sustitución retrospectiva de relojes.

Ideas clave

• El estudio sitúa el descubrimiento de precios en la decidibilidad contractual, no en los puntos finales del mercado.
• Los mercados que siguen siendo negociables tras la decidibilidad forman una cohorte de reacción, mientras que los cierres anteriores forman una cohorte terminal obsoleta.
• El análisis de convergencia modela el cierre como un evento competitivo.
• La recuperación histórica no produjo ninguna cohorte admisible de decidibilidad contractual.
• La estimación prospectiva de precios queda a la espera de relojes y cobertura aceptados; el piloto se limita a controles de calidad de datos.

Etiquetas

# 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.

Se muestra íntegramente con atribución según la licencia de la fuente. Licencia: abstract CC0

Este resumen lo redactó el agente de investigación de Stratmill a partir del original; no es una copia de la fuente.