prediction-market-live-ops

予測市場取引の実践指針

実際の Kalshi 取引キャンペーン（2026 年 8 月～9 月：暗号資産・コモディティのメイカー注文ラダー、レジームに応じた傾き、テニスのダスト吸い上げ）から得た、苦労の末に蓄積された運用知見です。すべて誠実に反証し、インフラはオープンソース化しました。リファレンス実装：https://github.com/agiprolabs/kalshi-stack。 prediction-market-strategy（エッジの選択・サイズ設定）を補完するもので、このスキルでは、ライブ市場で戦略を検証・実行・打ち切るという運用面を扱い、教訓を得るためのコスト以上の損失を防ぎます。

最優先の原則

戦略に関するあらゆる判断は、証拠によって段階的に裏付けます。バックテスト → ペーパートレード → ライブでの小規模プローブ → 段階的な拡大。各段階には、確率計算を正しく調整した、事前に宣言する打ち切り条件を設け、データが届く前に書き留めます。しきい値の調整が不適切だと判明した場合は、率直に修正して再宣言します。どちらの方向にも、目標を黙って動かしてはいけません。

バックテストの衛生管理（各ルールに一度ずつ違反し、大きな代償を払いました）

• 受動的な約定戦略のプリント再生による期待値は、推定値ではなく上限値です。 実際に指値注文が約定するプリントは、テープから選択された不利なサンプルです（キューの偏りが届くほど深くまで到達するスイープは、真の急落に偏ります）。プリント上で +125%/$ を記録したテニスのダスト市場は、ライブで 78 回中 0 回の約定となりました（P<2%）。メイカー戦略を検証できるのは、約定を条件としたライブの結果だけです。
• 時系列の結合には、判断時刻以前、または同時刻に終了する最新のバーを使います。 判断時刻を含むローソク足を使うと、先読みになり、アウトオブサンプルでは消える共変量が捏造されます。
• テイカーのバックテストには、表示された売り気配のエッジではなく、プリントで約定可能性を確認する必要があります。 古い気配値は、架空の約定を生み出します。
• バケット別損益を見直す際は、上位 N 件の占有率の列を必ず含めます。 宝くじ型のペイオフを持つ市場では期待値が集中します。「パターン」が桁違いに大きな 2 ラウンドによるものなら、それはノイズです。ホールドアウトで「勝った」場合も同じルールを適用し、信じる前に集中度を確認します。
• 早期決済は、敗者に偏った選択バイアスを持ちます（崩壊は早く終わり、逆転は長い試合やラウンドを要します）。早く決着したデータだけから結論を出してはいけません。
• テープの前半と後半で符号が逆転する静的な傾きは、エッジではなくレジームへの賭けです。 条件付けの仕組みは、前後半の両方と各日のそれぞれでベースラインを上回る必要があります。ルールは事前登録し、日ごとのフィッティングはしません。
• ミラー市場と補完市場は同じ賭けです。独立性に基づく確率を計算する前に重複を除去します。

ライブ実行ルール（インシデント台帳）

• ライブ注文経路ごとに、実際の1ロット往復テストを必ず実施します（発注、 休止中であることを確認、キャンセル、消失したことを確認）。戦略がその経路で取引を 始める前に実施してください。ペーパー取引では取引所のルーティングパラメーターを テストできません。コスト：$0.01。
• キャンセル結果は正確に報告します：キャンセル済み／すでに消失（約定済み！）／ 失敗を区別してください。404はキャンセルではありません。誤ったルーティングシャードか、 約定との競合を意味します。キャンセル失敗の握りつぶしと再アンカーループにより、 ポジションが暴走して積み上がります（ある晩に$84の損失が発生しました）。
• 取引所シャード（exchange_index）は、すべての呼び出しで一貫して指定します —発注、読み取り、キャンセル、担保。注文前に、担保を対象シャードに配置しておく 必要があります。
• ダスト注文でレート制限を実測します（バースト段階テスト＋継続テスト）。 公表されている上限は、注文あたりの実効コストと10倍も違うことがあります。 バーストは実測レートに合わせて調整し、429では再試行キューに戻します。
• メイカー戦略では必ずpost_onlyを使用します。市場価格が自分のバンド内で 推移しているとき、「アグレッシブなメイカー」価格は、検証されていない別の取引の テイカー約定にひそかに変わることがあります。実現EVの会計では、メイカーとテイカーの 約定を別々にタグ付けし、別々のコホートに分けてください。
• 常に安全装置を設けます：注文バッチごとに停止ファイルを確認し（出現時は全注文を キャンセル）、スケジューラー駆動の独立したドローダウンブレーカーと入金急増検知、 注文ごとおよび市場ごとのサイズ上限と異常台帳イベント、エクイティ下限による停止。 ブレーカーの基準値は、オペレーターが申告した損失許容額に基づき、セッション開始時に 設定します。
• ペニー価格／メイカーブックでは、キュー優先順位が勝敗を左右します。 同期オープン型の取引所では、NTPを使って境界時刻+0で発注し、再試行プローブを行います （取引所のオープン遷移レイテンシーを計測してください）。イベント駆動型の取引所では、 ポーリングよりプッシュ型の検出（ライフサイクルのWebSocketチャネル）が優れています。 新規市場のブックは空なので、最初に注文を休止させた参加者が、その市場の存続期間中、 その価格レベルを確保します。
• 活動の境目でデーモンを再起動します。ラウンドの途中で再起動すると、メモリー内の 状態が失われ（未追跡の注文、決済の見落とし）、孤立します。
• ジオフェンシングは実際に影響します：注文元のIPが重要で、カテゴリーによっても 異なります（スポーツ／選挙と金融商品では異なります）。執行状況は一晩で変わることも あります。データセンターの所在地もコンプライアンス体制の一部です。

スケーリングの原則

• ハウスマネー型の段階引き上げ：現在の段階での実現利益が、次の段階で増えるリスクを 賄い、かつラウンド数とEV継続性のゲートを通過した場合にのみ、サイズを倍増します。 直近の成績が悪化したら、1段階戻します。
• 容量曲線を計測します（約定ごとの上限別EV/$）。スケーリングの予測を信じる前に 必ず計測してください。その後、制約要因となるのは捕捉率×実測プールであり、捕捉率は ライブでしか計測できません。
• 約定品質は、新しいサイズに進むたびに未検証の要素です。各段階での ペーパー取引／ライブ取引のEV-per-$比率が、次の段階へのゲートになります。

実験運用

• すべての約定を、書き込み時にコホート分けします（メイカー／テイカー、バンド、ソース）。 事後の帰属分析ができるからこそ、バグが判定を汚染するのを防げます。
• 一度に変更する変数は1つにします。同じ期間にサイズと発注ロジックを変更すると、 何が結果に影響したのか判別できなくなります。
• ペーパー取引で、固定したベースラインに対してA/Bバリアントを実行します （小規模なバリアント、共通のラウンド、スケールに依存しない評価指標としてのEV/premium-$）。
• すべてを追記専用の台帳に記録します。実現PnLは、内部評価値ではなく、取引所独自の 約定／決済記録と照合してください。
• 成功と反証の両方をオペレーターのチャネルに投稿します。リリース、終了、停止のすべてに ついて、証拠と撤回条件を記載した意思決定記録を作成してください。