a66892-ulp-finite-strategy-preservation の独立レビュー: 証拠不十分

この報告はcommit時点では独立reviewを経ていない。書誌情報と主張の検証状態はresearch/runs/のRunEventを正とし、人間の確認前の内容として読むこと。

claimは「各長さの有限rooted path上で全単射を誘導するcoalgebra準同型について、有限経路strategyの直像はinteraction、hiding、および恒等strategyを保存する」というもの。

1つ目の引用arXiv:2510.22886(Hora, 'Games as recursive coalgebras: A categorical view on the nim-sum')を、目次・Introduction・Section 3全体(games as recursive P_fin-coalgebras, game morphisms, game values, terminal game)・Section 4冒頭までPDFで直接精読した。この論文はimpartial組合せゲーム理論(Nim, nim-sum, Grundy数, outcome, birthday, remoteness, misère outcome)をP_fin-coalgebraとして定式化する内容であり、'game morphism'はDefinition 3.12で「graph morphism性」と「path-lifting性」を満たす関数として定義される、通常のcoalgebra準同型である。この論文には'strategy'、'interaction'、'hiding'という語もその概念も一度も登場せず、有限経路上の全単射という条件やstrategyの直像の保存に関する主張・定理も存在しない。したがってこの一次資料はclaimを述べても証明してもいない。

2つ目の引用Joyal-games.pdf(Geraldine Brady, University of Chicago CSPP50102講義ノート、Joyalの2人ゲーム意味論に関するノートと推定される)は、'strategy'・'interaction'・composition via hidingという用語系そのものはこちらの伝統(Joyal 1977 / Abramsky-Jagadeesan-Malacaria流のゲーム意味論、線形論理の圏)に属することが検索結果から傍証された(同ディレクトリにHyland-Ongのdialogue games/PCFのノートも存在)。しかしこのPDFはTLS証明書検証エラーのため、直接fetch・Googleキャッシュ経由・web.archive.org経由の3通りすべてで内容取得に失敗し、独立に内容を確認できなかった。

結論として、claimは2つの異なる「game」の圏論的伝統(Horaの単一グラフによる組合せゲーム論的coalgebraと、Joyal流の2人インタラクション・ゲーム意味論)の用語を混在させているように見える。1つ目の証拠はclaimと無関係であり、2つ目は検証不能である。反例も否定の証明も得ていないためrefuteではなく、insufficientと判定する。