状態：完了
今回の具体的成果
- 複勝を初期主対象、単勝を初期対応対象としてPrediction Unitから分離した
- 複勝のENTRY_TOP_K_V1を出走頭数5～7頭ではK=2、8頭以上ではK=3へ明示的に対応付けた
- PRE15オッズを時刻付き市場Snapshotとして表現し、価値判断をRF012へ分離した
変更前 / 変更後
**変更前**：RF009で各出走馬をRACE_ENTRYとして予測する契約は定義済みだったが、券種・市場ID・オッズSnapshotとの正式な接続方法は未定義だった。
**変更後**：予測単位を券種から独立させたまま、複勝・単勝のAdapterと市場価格Snapshotを共通契約で扱えるようになった。
実装された機能・防止策
### できるようになったこと
- 複勝・単勝を共通PredictionからAdapterで扱う
- 単一値・レンジ型のオッズQuoteを時刻付きSnapshotとして保持する
- 将来のワイド・馬連・3連複をGate付きで拡張できる
### 防げるようになったこと
- 予測単位へ券種を埋め込むこと
- 意思決定後のオッズをPRE15市場価格として逆流させること
- RF010で期待値や買い判断まで先取りすること
検証結果
- **Prediction Unit separation**：
PASS— RACE_ENTRYを券種IDへ埋め込まずBet Type Adapterで接続する - **Place target mapping**：
PASS— 5～7頭はK=2、8頭以上はK=3、4頭以下は市場なしとしてfail closedにした - **Decision-time market snapshot**：
PASS— RF_SOURCE_PRE15_ODDS_SNAPSHOT_V1へ接続しlate backfillを禁止した - **Value decision boundary**：
PASS— 期待値・買う買わないの判断はRF012へ残した
検証段階
IMPLEMENTATION_COMPLETE_VALIDATED
未達・対象外
- RF010ではモデル確率の校正や不確実性出力を定義しない
- RF010では期待値・購入判定・資金配分を実行しない
- 実資金購入は許可しない
次工程
RF_DEV_011_PROBABILITY_RANKING_AND_UNCERTAINTY_OUTPUT_V1へ接続する。
この記録は、その時点で確認できたEvidenceに基づく開発結果です。