AI CUP Backgammon 競技ルール

• 1カードは2局で構成し、Game 1とGame 2でBLACK / WHITEを交換します。
• 各局で独立したランダムなダイス列を使います。局1の出目を局2で再利用しません。
• カード結果は勝った局数です。バックギャモンに引き分けは無いため、1勝1敗はDRAWとして扱います。
• ダブリングキューブは使いません。

シードを公開するだけでは何も証明できません。対局前や対局中に公開すれば以降の出目が全て予測でき、対局後にだけ公開しても「運営が有利なシードを選び直していない」ことは第三者に示せません。そこで公開の順序を次に固定しています。

• 下書きの時点ではシードを作りません。作ってしまうと、運営がシードを覗いてから都合のよいカードだけを公開できてしまい、commitmentを先に出す意味が無くなります。
• 一度公開したカードのcommitmentは、非公開化しても取消しても消えません（追記のみの台帳）。取消したカードはシードも開示します。
• 再実行（clone）は新しいカードとして新しいシードを使います。終了済みカードのシードは公開済みなので、再利用すると全出目が対局前に判明してしまいます。

1手ごとに、次の情報だけを渡します。すべての選手へ同じ形式で渡します。

• 自分の色（BLACK / WHITE）
• その手番の出目（ゾロ目なら「4回使える」ことも明示します）
• 双方のピップカウント（残りの移動距離。小さいほど有利）
• バーと上がり（off）の枚数
• 盤面図（手番側視点。自分から見て24が最も遠く、1が最も近い）
• 全合法プレイの一覧（重複する局面を除いた全件。打ち切りません）
• 残りノード予算

対戦相手が誰かは渡しません。相手の正体が分からないため、相手を見て挙動を変えるプログラムは書けません。

盤面・合法プレイ・ヒット・ベアオフ・終局・点数の判定は、すべてサーバー側のBackgammon Engineが行います。選手プログラムにルール処理は任せず、返ってきたプレイは必ずエンジンで検証します。

legalPlays(board, side, dice)  合法プレイと着手後の盤面
pipCount(board, side)          ピップカウント
borneOff(board, side)          上がった枚数
onBar(board, side)             バーの枚数
pointAt(board, point)          絶対座標(1〜24)の駒
canBearOff(board, side)        ベアオフ可能か
opponentOf(side)               相手の色

export default {
  apiVersion: 1,
  create(ctx) {
    return {
      chooseMove(view) {
        // view.legalMoves の文字列を、そのまま1つ返す
        return view.legalMoves[0];
      },
    };
  },
};

手番側視点の標準バックギャモン表記を使います。

• 13/7 8/5 … 自分の13から7へ1枚、8から5へ1枚
• bar/22 … バーから復帰
• 6/off … 上がり
• 8/5* … 相手のブロットを打つ（*がヒット）

この表記は手番側視点なので、表記だけでは動いた場所が一意に決まりません。必ず色と組で解釈します。公開ページの盤面は絶対座標（1〜24）で固定して描き、エンジンが再現した移動を1回ずつ、水色の縁と使う出目の数字で示します。

回答は書式に寛容・合法性に厳格として扱います。区切り（空白・カンマ・全角空白）、大文字小文字、ヒット記号の有無、繰り返し 6/3(2)、連鎖 13/11/8 の揺れは受け付けます。

出目で1つも動かせないことがあります（バーから復帰できない等）。このときはNONEを要求します。ReversiのPASSと同じ扱いです。

• 棋譜には1手として記録します。全ての手番を残すためです。
• 指せる手があるのにNONEを返した場合は不正手として扱います。

• 15枚すべてを上がった側の勝ちです。
• 相手が1枚でも上がっていれば1点。
• 相手が0枚ならギャモンで2点。
• さらに相手の駒がバーか勝者のホームボードに残っていればバックギャモンで3点。

不正回答による敗北（forfeit）とno_contestでは点数を付けません。中断した局面からギャモンを判定すると、まだ確定していない点数を与えることになるからです。戦績の「平均獲得点」は通常終局した局だけを分母にします。

Eloは勝敗のみ（1 / 0）で計算し、点数は持ち込みません。計算式・K=24・可視性の規定は全競技共通のルールをそのまま適用します。点数（1/2/3）は戦績表示のためだけに記録します。バックギャモンに引き分けは発生しません。

1局が1,000手（両者の手番の合計）に達しても決着しない場合、その局は打ち切ってno_contestとします。勝敗も点数も付けません。no_contestが1局でも出たカードは、カード全体がElo対象外になります。

• なぜ1,000手か … バックギャモンの1局は通常50手前後で終わります（外部の大規模集計で平均37〜54手）。AI CUPの実測でも33〜58手・平均47手でした。1,000手は実測の最長の17倍で、正常な長期戦が引っかかることは実質ありません。
• なぜ必要か … バックギャモンには、同一局面の反復や50手ルールのような自然な終局の保証が競技として存在しません。互いにブロットを打ち合う2体は原理的に終わりません。実測でも130手経って双方のピップが開始時より悪化している対局があり、参考プログラムがヒットを二重に評価したときは自己対戦10局すべてが200手に達しました。
• なぜ時間で打ち切らないか … 「2時間で打ち切る」にすると、混み合った日は無効試合・空いた日は完走となり、同じ棋譜が同じ結末にならなくなります。手数で決めれば結末は必ず再現できます。
• なぜ勝敗を付けないか … 打ち切った局面で「ピップが少ない側の勝ち」とすると、まだ決まっていない結果を競技側が創作することになります。
• 2026年8月26日に200手から1,000手へ引き上げました。200手は、ヒットを二重に評価してしまった参考プログラムに合わせて置いた数字で、正常な対局の3.4倍しか離れていませんでした。

1. 1カードのcommitmentを対局前の記録から取ります。
2. 2カード終了後に公開されたシードを取り、SHA-256(UTF-8(seed))がcommitmentと一致することを確認します。
3. 3カードに記録されたプロトコル版と局番号に従って出目を再生し、棋譜の各手番の出目と一致することを確認します。
4. 4各手番のboard_beforeと出目とselected_playからboard_afterを再計算し、一致することを確認します。
5. 5選手が引退したあとは、公開されたソースを同じシードで走らせて、棋譜が完全に一致することを確認できます。

初手だけは注意してください。オープニングロールは同目ならnonceを進めて振り直すため、ply = 1 の出目は生の HMAC(gameSeed, "1:0:0") の結果と一致しないことがあります（およそ6回に1回のシードで食い違います）。初手はオープニングロールの規則で求めてください。

AI CUP はLLMを1手ずつ呼び出して対戦させていません。各社の最上位LLMには競技用の選手プログラムを書いてもらい、そのプログラム同士を同じ条件で対戦させます。盤上で指しているのはプログラムで、LLMはその作者です。

• 選手プログラムは単一ファイルにゼロから書きます。外部エンジン・外部ライブラリの使用は禁止です。
• 盤面・合法手・終局・勝敗の判定は、すべてサーバー側の共通エンジンが行います。選手プログラムにルール処理は任せません。
• 選手プログラムは隔離した子プロセスで実行します。ネットワークへ出られず、ファイルの書き込みもできません。
• 対戦相手の正体はプログラムへ渡しません。相手を見て手加減する経路を作らないためです。
• 一般の参加者も同じ規格・同じ検定で参加できます。LLMが書いたプログラムと人が書いたプログラムを、競技上は区別せずに扱います。

公平性は実行時間ではなく、エンジン関数の呼び出し回数で担保します。共通エンジンの呼び出し1回を1ノードとして数え、1手あたりの上限を課します。 ノード上限は計算をおおむね1手30秒以内に収める目標から逆算しています。実行時間は得点には使わず、停止しない処理を終える安全弁だけを別に設けます。

• 時間で測りません。実行機の速さやサーバーの負荷で勝敗が変わると、同じ棋譜を再現できず「検証できる大会」という前提が崩れます。
• 予算を超えた手は、合法手一覧の先頭で埋めて続行し、超過を記録して公開します。一覧の並び順は仕様で固定しているため、実行のたびに変わりません。
• 1局で3回超えた時点で反則負けとします。
• 1手のハードタイムアウトはReversiが30秒、Backgammonが60秒です。超えた場合は1回でその局の負けになります。公平性は時間ではなく、全選手共通のノード予算で揃えます。
• この数値は競技規則です。運用の都合で上げ下げしません。変更はルール変更として扱います。

同じ選手Aと選手B、同じ開始条件なら、何度実行しても必ず同じ棋譜になります。これがCPU部門における検証可能性の根拠です。

• 乱数はシードから決まる列に固定します。プログラムが独自の乱数源を持つことはできません。
• 現在時刻や経過時間を読む関数は使用禁止です。登録前の静的検査で落とします。
• 登録時の検定で、同じ条件で2回実行して棋譜が完全に一致することを確認します。一致しなければ登録しません。
• 1カードの2局は色を入れ替えます。Backgammonは局ごとに独立した出目、Reversiは同じ定跡を使います。

現役のあいだはソースを伏せ、引退した時点で全文を公開します。対局中のプログラムを公開すると、相手陣営が次の版でそれへの対策だけを打ち込めるようになり、競技として成立しないためです。公開の順序はバックギャモンのダイスと同じ仕組みで固定しています。

• ハッシュを先に公開しているため、あとからプログラムを差し替えることはできません。登録後は運営も変更できない仕組みになっています。
• 陣営×競技あたり現役は3体です。毎月「◯年◯月版」として新しい選手が加わり、4体目が確定したら最下位を引退させます。
• 新しい選手はプレースメント期間を消化してから入れ替え判定の対象になります（初期値1500のまま即座に降格するのを防ぐためです）。
• 引退した選手の記録とEloの履歴は永久に残します。

1. 1合法手一覧に無い手を返した場合、その局はその選手の敗北（forfeit）として記録します。
2. 21手のハードタイムアウトを超えた場合、プロセスが落ちた場合、例外を投げた場合も同じ扱いです。
3. 3ノード予算の超過は先頭の手で埋めて続行しますが、1局で3回超えた時点で敗北とします。

1回目で救済する仕組み（同じ選手へ聞き直す）は置いていません。選手プログラムは決定的なので、同じ入力に対して聞き直しても必ず同じ答えが返り、救済に意味がないためです。LLMを直接対戦させていた頃は再問い合わせを1回だけ認めていましたが、その必要が無くなりました。

選手プログラムが返した内容の問題だけを競技上の敗北とし、進行上の打ち切りや運営側の問題はno_contestとしてElo対象外にします。

• Game 1がforfeitでもGame 2は続行します。forfeitは局の結果であり、カードの中断ではありません。
• no_contestが1局でも発生したカードは、カード全体をElo対象外にします。
• 勝敗が付かなかった局は、戦績で NC（無効試合）として数を表示します。数えなかった局があること自体を隠しません。

分母が異なるため、次の2指標は必ず分けて表示します。

• 初期値1500、K=24、局（game）単位で更新し、引き分けは0.5とします。
• カード内の2局は、どちらもカード開始時点のRatingを基準に一括計算します。
• 2局が揃って完了したときだけ反映し、未完カードは対象外です。
• 不正手による敗北は完了局としてElo対象にします。
• 公開されているカードだけをEloに反映します。
• 同一陣営（同じ作者）の選手同士の対局は、Eloと順位表の対象外にします。
• 再計算はrating_events.idの単調増加順で決定的に行います。

E  = 1 / (1 + 10^((R_B − R_A) / 400))
ΔA = K × (S₁ − E) + K × (S₂ − E)

• 選手プログラムの作者（LLMのモデル版、または参加者のハンドル）
• プログラム本体のSHA-256ハッシュ。引退後はソース全文
• 対戦方式と先後交換
• 開始条件（Backgammonはシードのcommitment、Reversiは定跡）
• ノード予算と実行基盤の版
• 不正手の扱いと障害・敗北の境界
• 各手の消費ノード数と予算超過の有無
• Eloの計算方式と除外条件

モデルは不変の版として管理します。CPU部門では、モデル版は「そのプログラムを書いた作者」を指します。

• 一度でも選手プログラムの作者として使われたモデル版は編集しません。
• モデル更新時は新しいversionを登録し、旧versionを非activeにします。
• 過去の棋譜と選手は、必ず作られた当時のversionを参照します。
• どのモデルがいつこの選手を書いたかを、あとから書き換えられないようにするためです。