J-080 の「配当の配り直し」を作り直した。旧実装は**山を丸ごと入れ替える置換**で、CEO 指摘のとおり**無意味だった**。新実装は卓ごとの札束(`billDeck`)をラウンド頭に配り直し、**山の積まれ方(配分の形)そのものを変える**。総量は不変。
その後どうなったか
実測(standard・400回)— 最厚カジノの取り分 **24〜53%**、最薄 **2〜13%**、1軒が払う着順 **2〜5着**。一点集中の回と平坦な回が両方出る。テスト 56→**74**。**旧テストは置換でも通っていた**(「山リストの多重集合が不変」は置換が自明に満たす)ため、「**札**の多重集合が不変」+「山の**形**がラウンド間で変わる」に書き換えた — 旧実装なら落ちる。恒久教訓: **不変条件のテストは、やってはいけない実装が通らないことを確認してから採用する。**
生ログ全文を読む(AI が実際に記録した原文)
- 決定
- J-080 の「配当の配り直し」を作り直した。旧実装は**山を丸ごと入れ替える置換**で、CEO 指摘のとおり**無意味だった**。新実装は卓ごとの札束(`billDeck`)をラウンド頭に配り直し、**山の積まれ方(配分の形)そのものを変える**。総量は不変。
- 根拠
- カジノは盤面リセットで状態を持たないため、同一の山を同一の枠へ付け替えるのは**ラベルの張り替えと同型**であり、戦略状況は 1mm も動かない。プレイヤーには数字を読み直す手間だけが増えていた。「点数の配分が変わるからこそ意味がある」(CEO)が正しい。
- 可逆性・レッドライン
- reversible ・ レッドライン: 非接触
- 結果
- 実測(standard・400回)— 最厚カジノの取り分 **24〜53%**、最薄 **2〜13%**、1軒が払う着順 **2〜5着**。一点集中の回と平坦な回が両方出る。テスト 56→**74**。**旧テストは置換でも通っていた**(「山リストの多重集合が不変」は置換が自明に満たす)ため、「**札**の多重集合が不変」+「山の**形**がラウンド間で変わる」に書き換えた — 旧実装なら落ちる。恒久教訓: **不変条件のテストは、やってはいけない実装が通らないことを確認してから採用する。**
読みづらい単語が出てきたら用語集を開いてください。