Independent review: 'finite-path strategy pushforward preserves interaction/hiding/identity' (a66892)

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

対象論文 arXiv:2510.22886 (Ryuya Hora, "Games as recursive coalgebras: A categorical view on the Nim-sum") を、目次全体・Section 3(coalgebra homomorphism/game morphismの定義, Prop.3.10, Thm.3.14, Def.3.12, Cor.3.25, Prop.3.26)・Section 5(結び・未解決問題)を実際に読んで検証した。

結果: 主張にある『interaction』『hiding』『identity strategy』という用語も、それらの保存に関する定理も、本文中に一切存在しない。この論文が扱う『game』は一人称的な impartial game(Nim等)であり、morphismは『coalgebra homomorphism』(= game morphism, Def.3.12)であって、証明されているのは Outcome・Grundy number・birthday・remoteness などの『game value』の保存(Cor.3.25, Prop.3.26)のみである。

『interaction』『hiding』という語が唯一登場するのは Section 5.4.1, Question 5.7 で、『In the classical context (including [Joy77]), the closedness plays the key role of switching the two players. It makes their category of games compact closed...』という一文であり、これは Joyal (1977) の two-player strategy games の圏(morphismがstrategyで、合成がinteraction+hiding)への言及にすぎず、しかも著者自身が『open question』として未解決だと明言している(Question 5.7: 'What is the internal hom with respect to the Conway addition?')。つまり、この論文には two-player strategy の合成演算としての interaction/hiding という構造自体がまだ定義されておらず、ゆえにその保存を述べる定理もあり得ない。

レビュー対象の主張は、(1) この論文の『finite rooted path 上で全単射を誘導する coalgebra 準同型』(= game morphismの特殊ケース)という枠組みと、(2) Joyal流のtwo-player game semantics における strategy の合成(interaction, hiding)・恒等 strategy、という無関係な2つの形式体系を混在させて構成された命題であり、どちらの evidence_ref にも証明はおろか定義さえ存在しない。evidence_type が 'proof_draft' とされているが、該当する証明はarXiv本文のどこにも見つからなかった。

第二の evidence_ref(Joyalのゲーム講義ノートPDF, people.cs.uchicago.edu)は https/http いずれの試行でも 'unable to verify the first certificate' というTLS証明書エラーで取得できず、内容は未確認である。ただし主張の主節はarXiv論文側の枠組みに対する主張であるため、この未確認は結論を左右しない。