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

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

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

1. 数学的前提の検証: double category D は定義上ただ一つの対象類 Ob(D) を持ち、その上に縦射(vertical 1-cells)からなる2-圏と、横射(horizontal 1-cells)+方形2-cellからなる bicategory の両方が構成される（Ehresmann の原定義以来の標準事実）。検索で得た TAC 38-33「Double Categories of Relations」の要約記述および nLab「double category」の定義が明示的にこれを確認している：vertical 2-category は対象・縦射・縦セルから、horizontal bicategory は対象・横射・横セルから成り、対象は共通。この部分は独立に真であり、原典（Ehresmann/Grandis-Paré/Shulman系文献）でも一致する周知の事実であって novelty はない。

2. 主張の論理構造: 「候補構成」が recursive-coalgebraic games の圏(縦)と Joyal games の(bi)圏(横)を組み合わせて一つの double category を作ろうとするものである限り、上記の定義上の制約から、両フレームワークの対象（=ゲーム）が一致しているか、少なくとも共通部分に制限しなければ double category として well-defined にならない。これは(1)からの直接帰結であり、reject する根拠は見当たらない。

3. 個別ソースの直接検証結果:

• arXiv:2510.22886「Games as Recursive Coalgebras」: 本文取得済み。recursive coalgebra による impartial games の圏 Game を構成（局所有限表示可能・対称モノイダル閉・Set上のcomonadic・subobject classifier を持つ）。本文検索で "double category" "bicategory" は一切出現せず、Joyal への言及は参考文献 joyal1977remarques の1箇所のみで、比較や対象同定の議論は無い。→ このソース単体は claim の対象同定の必要性を主張していないが、否定もしていない（単にその話題を扱っていない）。
• TAC 12-08: 証明書エラー(www.tac.mta.ca のホスト名不一致)と https 版でのPDFバイナリ未展開により本文検証不可。検索でも当該号の表題を特定できず、二次情報のみ。
• Joyal-games.pdf (uchicago, 別ミラー math.uchicago.edu/~may/IMA/JOYAL/Joyal.pdf も試行): PDFがストリーム圧縮のため機械読解不可、内容未検証。一般に Joyal 1977 の games/strategies 構成は(2-cellを持たない)通常の1-圏として知られており、bicategory として扱うには locally discrete bicategory 化などの追加操作が必要になりうる——この点は claim の「対象同定または制限が必要」という慎重な言い回しをむしろ補強する。

結論: claim の主張内容自体は圏論的に正しく、90分の制限内でアクセスできた一次資料（2510.22886, および一般 double category 文献）と矛盾しない。ただし挙げられた3件の evidence_refs のうち2件(TAC 12-08, Joyal-games.pdf)は技術的理由で直接確認できておらず、2510.22886 はこの claim の内容を直接論じてはいない。support とするが、証拠の直接性には限界がある。