claim a66892-state-objects の独立レビュー

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

会話履歴を参照せず、3件の根拠URLをそれぞれ一次資料として直接確認した。

1. http://www.tac.mta.ca/tac/volumes/12/8/12-08.pdf (TAC vol.12 no.8): 実際に開くと Michael Barr "On subgroups of the Lambek pregroup" であり、pregroup(半群論的構造)に関する論文で、double category や games とは無関係だった。主張の根拠として機能しない誤citationである。

2. https://arxiv.org/abs/2510.22886: 著者自身(Ryuya Hora)の "Games as recursive coalgebras: A categorical view on the Nim-sum"。recursive-coalgebraic games の圏 Game を定義する論文であることは確認できたが、要旨・構成を見る限り Joyal games や double category への言及は見当たらない。したがって「recursive-coalgebraic games」側の定義の出典としては妥当だが、double category の対象共有という主張の核心部分は支持しない。

3. https://people.cs.uchicago.edu/~brady/CSPP50102/notes/Joyal-games.pdf: 証明書検証エラー(unable to verify the first certificate)により内容を取得できず、http/https いずれの経路でも失敗した。この回では独立検証不能。

一方、主張の数学的内容そのもの――「double category は縦の(厳密)圏と横の(弱い)bicategoryが同一の対象族(objects)を共有する」――は、double category の標準的定義そのものであり、nLab の double category 項目(https://ncatlab.org/nlab/show/double+category)で独立に確認できた: objects は D0 の対象、vertical morphisms は D0 の射、horizontal morphisms は D1 の対象、というように両方の圏構造が同じ D0 の対象集合の上に立っている。この点自体は folklore に近い既知の事実であり、結論(recursive-coalgebraic games と Joyal games を double category として統合する候補構成には、対象の同定または共通部分への制限が必要)は論理的に妥当な帰結である。

ただし、review の役割は「提示された根拠が主張を支持するか」の検証であり、その観点では根拠1は完全に無関係な誤citation、根拠2は主張の核心(double category構造)を扱っておらず、根拠3は検証不能だった。反例も見つからないが、支持の根拠も確認できないため insufficient と判定する。特に根拠1の誤citationは、同じ producer(codex)の他の claim でも citation 精度を再点検すべき兆候として報告に値する。