論文の概要: From Public Evidence to Contractual Outcome: First and Stable Decidability on Kalshi
- arxiv url: http://arxiv.org/abs/2609.16642v1
- Date: Tue, 15 Sep 2026 05:03:22 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-16 14:56:08.349196
- Title: From Public Evidence to Contractual Outcome: First and Stable Decidability on Kalshi
- Title（参考訳）: 公的な証拠から契約的成果へ:カルシにおける第一かつ安定的な決定可能性
- Abstract要約: 本稿では、第一決定性と安定決定性という2つのカルシクロックを定義する。
厳密または有界の歴史的ルールバージョンも、厳密または有界な公式ソースリリースオブジェクトも回収されなかった。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Public evidence can become sufficient to settle a prediction-market contract before the venue records its first determination, but the relevant boundary depends on the applicable rule version, exact release object, source hierarchy, correction history, and unfinished contract conditions. This paper defines two Kalshi clocks: first decidability, the earliest contemporaneous singleton in the rule-evidence mapping, and stable decidability, the retrospective earliest time after which the same singleton remains unchanged through finalization. A completed retrospective identification test establishes a narrow feasibility result. In a frozen blind pilot, all 25 identities and blinding checks passed and current rule text was recovered for all 25; no exact or bounded historical rule version and no exact or bounded official source-release object was recovered. The full historical recovery covered 152,694 ordinary tickers, 11,530 exact event identities, and 6,540 read-only official requests, with zero historically eligible events and zero historically eligible tickers. This is an observability result, not a claim that no market was decidable or that public evidence never existed. A completed prospective infrastructure shakedown established observation capability for three source programmes across 25 markets, with integrity revalidation of 781,266 lifecycle frames, 22 closed lower-bounded reconnect receipts, no unresolved reconnect gap, no due-but-missed official release, and an inactive price layer. Production evidence enrollment is active. The prospective sample is constructed only at enrollment close from prospectively frozen identities and pre-outcome fields; its frozen target size is selected mechanically under the registered full, reduced, exploratory, or no-go support disposition. No contractual-decidability clock, human-adjudication, price, or cross-venue result is reported here.
- Abstract（参考訳）: 公的な証拠は、会場が最初の決定を記録する前に予測市場契約を定めるのに十分だが、関連する境界は、適用可能なルールバージョン、正確なリリースオブジェクト、ソース階層、修正履歴、未完了の契約条件に依存する。
本稿では, 第一決定性, 規則証拠マッピングにおける最初期の同時シングルトン, 安定決定性という2つのカルシクロックを定義した。
完了した振り返り識別テストは、狭い実行可能性結果を確立する。
凍結したブラインドパイロットでは、25のIDとブラインドチェックが通過し、現在のルールテキストが25のすべてで回収された。
完全な歴史的回復は152,694件の通常のティッカー、11,530件の正確なイベントID、6,540件の読み取り専用オフィシャルリクエストをカバーした。
これは観察可能な結果であり、市場が決定不可能である、あるいは公的な証拠が存在しないという主張ではない。
完成予定のインフラの整調により、25の市場にわたる3つのソースプログラムの観測能力が確立され、781,266のライフサイクルフレームの整合性回復、22の閉鎖された下界リコネクションレシート、未解決のリコネクションギャップ、未解決のオフィシャルリリース、非アクティブな価格層が実現された。
生産証拠の登録は活発である。
予見サンプルは、前向きに凍結したアイデンティティと前向きのフィールドから近い入学時にのみ構築され、その凍結ターゲットサイズは、登録されたフル、リミット、サーベイトリー、またはノーゴー支持配置の下で機械的に選択される。
ここでは、契約決定可能性時計、人的調整、価格、および横断的な結果が報告されていない。
関連論文リスト
- Watermarks Without Verification: AI Text Watermarking After the EU AI Act [49.51124343181601]
EU AI法第50条では、生成可能なAIプロバイダに対して、システムが生成したコンテンツをマークし、AI生成として検出することを要求している。
Anthropicは、その日後にリリースされたすべてのClaudeモデルが、すべての生成されたテキストにSynthID-Textに基づく透かしを埋め込んでいることを公表した。
我々は、現在、異議や保証は確認できないし、この不信は、それ自体を透かしではなく、実質的なガバナンスの失敗であると論じている。
論文 参考訳（メタデータ） (2026-09-09T01:56:17Z) - VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。
それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。
我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
論文 参考訳（メタデータ） (2026-09-02T20:36:45Z) - The Exclusion Ratchet: False-Positive Suppression Accumulates and Persists in Detection Rule Repositories [0.0]
ルールがあまりにも多くの誤報を発生させた場合、アナリストは除外を加える。
近年の縦断作業では、キュレーションは収束しないが、後に回復したリビジョンのためにのみ回復時間を計測した。
9年と8,234回のSigmaHQ corpusの改訂を行い、意味論的に抑制を検出し、ブラインドハンドラベリングに対して検証した。
論文 参考訳（メタデータ） (2026-08-31T16:40:24Z) - Verification-Time Dependency on a Disappearing Evaluator [0.0]
本稿では,Execution Governance (EG) 3.0から派生した3つの検証時間構造について述べる。
EG(Decision-State Commitment, Independent Verifiability, Counterfactual Auditability)。
論文 参考訳（メタデータ） (2026-08-30T17:17:32Z) - Point-in-Time Audit Before Alpha: Public-Archive Availability and a Negative Matched-Budget Study on BTC Perpetual Futures [0.23332469289621785]
BTCUSDT USD-M Perpetual-Futures data using event, published, and Availability time。
本報告では,利益性やエージェント優越性という主張よりも,範囲的な否定的な結果が報告される。
論文 参考訳（メタデータ） (2026-08-26T04:07:03Z) - Governed Persistent Memory: Source-Bound State Semantics and Fail-Closed Release for Long-Horizon Agents [3.202978695204522]
長期のエージェントメモリは、通常、セレクトストアとして扱われるが、検索は、矛盾する、取って代わられた、削除された、削除された、または古いレコードが、外部の要求をサポートするかどうかを判断しない。
本稿では,Governed Persistent Memory (GPM)について紹介する。
論文 参考訳（メタデータ） (2026-08-12T18:00:42Z) - From Trajectories to Evidence: Auditable Experimental Records for Industrial Research Agents [47.678562263387214]
研究エージェントは、産業レコメンデーション設定において、多段階の機械学習実験をますます実施している。
生成されたアーティファクトは、サポートされないか、不完全かもしれないし、実行されたラウンドは無効かもしれないし、あるいは廃止されるかもしれないし、後の修正は、以前の発見を曖昧にするかもしれない。
本稿では,連続的アーティファクトのバウンダリ検証と実行後のクレーム資格を結合するエビデンス・グラウンド・フレームワークを提案する。
論文 参考訳（メタデータ） (2026-08-05T13:37:38Z) - The Half-Lives of Generative-AI Evidence: A 40-Record Audit, a Claim-Currency Framework, and a Reflexive Case of Frontier-Model-Assisted Research [0.0]
生成AI評価は出版前に歴史的になりうるが、カレンダー年代は全ての結論に等しく影響しない。
本稿は,2025年7月18日から2026年7月17日までに出現した40件の実証記録の最大変量解析コーパスを検証した。
監査コード化されたパブリッシュルート、実行タイミング、モデルアイデンティティ、最新の名前付きジェネレーションまたは不変スナップショットの年齢、同ファミリーのスーパーセッション、リフレッシュ動作。
論文 参考訳（メタデータ） (2026-07-27T05:59:49Z) - FIKA-Bench: From Fine-grained Recognition to Fine-Grained Knowledge Acquisition [54.31138496553705]
日常生活におけるきめ細かい認識は、しばしばクローズドブックの分類問題ではない。
既存のベンチマークは主に視覚的認識を評価しており、このアクティブな外部知識獲得能力は過小評価されている。
そこでは,システムが外部の証拠を探し,検証し,利用し,オープンエンドのきめ細かい認識質問に答えなければならない,きめ細かな知識獲得について検討する。
論文 参考訳（メタデータ） (2026-05-13T08:49:51Z) - Causal Identification from Counterfactual Data: Completeness and Bounding Results [54.147490305295456]
本研究では,任意のレイヤ3分布の集合から対実的なクエリを識別するアルゴリズムを開発した。
我々は、物理的に実現可能な分布から反事実を特定できる理論的限界を確立する。
我々は、そのような量の新たな解析的境界を、実現可能な対実データを用いて導出する。
論文 参考訳（メタデータ） (2026-02-26T22:48:12Z) - Towards Anytime-Valid Statistical Watermarking [63.02116925616554]
我々は、任意の時間価推論で最適なサンプリングを統一する、最初のe-value-based watermarking frameworkであるAnchored E-Watermarkingを開発した。
本フレームワークはサンプル効率を大幅に向上させ,最先端のベースラインに対して,検出に必要な平均トークン予算を13～15%削減する。
論文 参考訳（メタデータ） (2026-02-19T18:32:26Z) - Analyzing and Evaluating Unbiased Language Model Watermark [62.982950935139534]
UWbenchは、偏りのない透かし手法の原理的評価を専門とする、最初のオープンソースベンチマークである。
我々の枠組みは理論的な貢献と経験的な貢献を組み合わせている。
我々は,非バイアス性,検出性,堅牢性という3軸評価プロトコルを確立し,トークン改質攻撃がパラフレーズベースの手法よりも安定したロバストネス評価を提供することを示す。
論文 参考訳（メタデータ） (2025-09-28T19:46:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。