claim a66892-ulp-finite-strategy-preservation の独立レビュー

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

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

挙げられた2つの一次資料を会話履歴に頼らず独立に検証した。

(1) arXiv:2510.22886 “Games as recursive coalgebras: A categorical view on the Nim-sum” (v3)。abstractページとHTML full-text版(https://arxiv.org/html/2510.22886v3)の両方をfetchした。本論文はimpartial gameとNim-sumをrecursive coalgebraの枠組みで圏論的に再構成する内容であり、coalgebra homomorphism(定義3.2)・game homomorphism(定義3.12)は登場するが、主張の核である 'strategy'・'interaction'・'hiding' という語・概念は本文中に一度も現れない。PDF直接fetchはメタデータのみでテキスト層抽出に失敗したが、abstract/HTML版の一致する内容から、この論文が主張中の保存定理を述べていないことは確認できる。

(2) people.cs.uchicago.edu の Joyal-games.pdf。異なるURLバリアント(https, http)で複数回fetchを試みたが、いずれも 'unable to verify the first certificate' というTLS証明書検証エラーで内容取得に失敗した。archive.orgのキャッシュもこのharnessでは取得不可(ツール側の制限)だった。したがってこの資料の内容(strategy/interaction/hidingの定義や、該当する保存定理の有無)は確認できていない。

結論: 挙げられた一次資料のうち一方は主張と無関係な内容(該当概念を含まない)であり、他方はアクセス不能で確認できなかった。反例の構成にも、否定の証明にも至っていないため、この主張を積極的に誤りと断定する根拠(refute)はない。一方で主張を裏付ける一次資料での確認もできていないため、supportとも言えない。よって insufficient と判定する。