claim a66892-state-objects の独立反対検討

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

主張: 「double category の縦圏(vertical category)と横bicategory(horizontal bicategory)は共通の対象族を持つため、recursive-coalgebraic games と Joyal games の候補構成には対象同定または共通部分への制限が必要」。

1. 一般命題の検証: nLab の double category の項目、Wikipedia の Double category 項目、および Verity double bicategory の定義を確認したところ、double category（および double bicategory）は定義上、vertical 側の圏と horizontal 側の(bi)category が同一の対象(0-cell)族を持つ構造であることが明記されている。この点は標準的でtrivialに近い定義的事実であり、真であると独立に確認できた。

2. 一次資料としての引用の検証(ここが問題):

• evidence_refs の一つ http://www.tac.mta.ca/tac/volumes/12/8/12-08.pdf (証明書エラーのため https://tac.mta.ca/... で再取得) は、実際には Michael Barr『On Subgroups of the Lambek Pregroup』(TAC vol.12 no.8, 2004, pp.262-269) であり、pregroup(半順序モノイド)に関する論文で、double category にも games にも一切言及がない。この引用は主張とは無関係の誤った一次資料である。
• https://arxiv.org/abs/2510.22886 (『Games as recursive coalgebras』) は recursive coalgebra を用いてゲームを圏 Game として再定義する論文で、圏 Game が局所有限表示可能・対称モノイダル閉・Set上comonadic等の性質を持つことを示すが、要旨レベルでは double category・bicategory・Joyal games への言及は確認できなかった(全文までは検証していない)。
• https://people.cs.uchicago.edu/~brady/CSPP50102/notes/Joyal-games.pdf は証明書エラーで直接取得できなかったが、Web検索により該当ノートの内容として Joyal の games の圏では対象=games、射=strategies であることが裏付けられた。これは recursive-coalgebraic games 側の対象(coalgebra的なgame表現)と一致するとは限らず、対象クラスが異なりうるという主張の前提は支持的だが、直接この一次資料内で「対象同定または制限が必要」と明言されているかは未確認。

結論: 一般的な圏論的事実(1)は真であり独立に確認できたが、主張を支える3件の evidence_refs のうち1件は完全に無関係な論文であり、残り2件も「候補構成に対象同定または制限が必要」という具体的帰結を直接述べているとは確認できなかった。従って証拠の連鎖として不十分。