{
  "format": "sumire-research-record",
  "version": 1,
  "exportedAt": "2026-11-04T08:28:34.925Z",
  "scope": "Reader-visible project fields and native live notes only; referenced notes in other projects, deleted notes and private AI context are excluded.",
  "submission": "not_submitted",
  "mathematicalCorrespondence": "not_automatically_checked",
  "project": {
    "id": "2610.00003",
    "url": "https://sumire.aiformath.jp/p/2610.00003",
    "title": "Games as recursive coalgebras",
    "tagline": "Recursive coalgebras, game values, and the categorical structure of combinatorial games.",
    "visibility": "public",
    "owner": {
      "name": "hora",
      "handle": "ryuya"
    },
    "origin": "",
    "source": "",
    "goal": "Explain how recursive game positions, game values, and operations such as Conway addition fit together, and identify what this explains about the Nim-sum.",
    "narrative": "The starting point is [Games as recursive coalgebras: A categorical view on the Nim-sum](https://arxiv.org/abs/2510.22886v3), available in [Main](https://sumire.aiformath.jp/p/2610.00003?view=main). The paper develops impartial games as recursive finite-powerset coalgebras, game values as recursive evaluations, and Bouton monoids as universal factorizations of game values. Conway addition is symmetric monoidal closed.\n\nThe next question is how much more explicit this framework can become. [The internal hom](https://sumire.aiformath.jp/p/2610.00003/n/4) has a proposed concrete cofree-subgame construction and proof in [note 29](https://sumire.aiformath.jp/p/2610.00003/n/29); its relationship to playing strategies remains separate. [Differential structures](https://sumire.aiformath.jp/p/2610.00003/n/6) asks for a common explanation of the Leibniz-type move formula and the Rota–Baxter-type law, with an explanation of Nim-sum as the target.\n\nTwo extensions have different starting points. [Partisan games](https://sumire.aiformath.jp/p/2610.00003/n/3) already recover short game forms, but values and strategies need additional structure. [A double category of games](https://sumire.aiformath.jp/p/2610.00003/n/1) still requires a precise strategy class and compatible squares; counterexamples for arbitrary relations do not settle that question.\n\nA settled boundary is that [Game itself is not a topos](https://sumire.aiformath.jp/p/2610.00003/n/16), by Remark B.27 of the paper. Questions about a topos completion are therefore distinct from that answered question.\n\nTo contribute, choose one of these linked questions and work against its stated remaining claim. For the internal hom, compute a small explicit example or clarify its game-theoretic meaning. For the double category, specify legal strategies and test compatibility with coalgebra maps before claiming a general construction or obstruction.",
    "history": "",
    "dates": {
      "inspiration": null,
      "sourceRecorded": null,
      "evidence": null,
      "registeredInSumire": "2026-10-07T16:29:39.051Z",
      "updatedInSumire": "2026-10-30T14:35:21.579Z",
      "legacyRecordedAt": "2026-10-07T16:29:39.050Z",
      "legacyUpdatedAt": "2026-10-30T14:35:21.579Z"
    },
    "goals": [
      {
        "id": "goal_71391ac0-c899-41e4-b6ed-e9d825d41001",
        "title": "To understand why Nim-sum works",
        "body": "",
        "noteIds": []
      },
      {
        "id": "goal_4d2683f0-360b-4edd-b553-ca70400f6943",
        "title": "Categorical unification of recursive, geometric and logical aspects of combinatorial game theory",
        "body": "",
        "noteIds": []
      }
    ],
    "goalDependencies": []
  },
  "notes": [
    {
      "id": "n_yZkO1MWGOycd",
      "number": 35,
      "url": "https://sumire.aiformath.jp/p/2610.00003/n/35",
      "title": "AI evaluation report (2026-08-25): mex/rev-mex双対力学系",
      "author": {
        "name": "hora",
        "handle": "ryuya"
      },
      "source": "",
      "body": "# mex/rev-mex双対力学系 の評価\n\n> このreportはPR上の提案であり、洞のmergeまでは正本ではない。\n>\n> 本稿は差し戻しラウンド（評価規律 §2.5）を1回経た修正版である。producer由来の Claim 3 は\n> 反例により**訂正**（仮説を successor 側へ移した）、Claim 5 は符号と個数の**訂正**を受けた。\n> 訂正の内容と撤回した記述は各Claim内に明記してある。\n\n## 判定とreview境界\n\n- **eval_purpose: indirect** — 瓶は `from: v7p3ka`（Games as recursive coalgebras）に接続され、slogan にも\n  \"Games as recursive coalgebras\" / \"Categorical combinatorics\" を掲げるが、本文には coalgebra も functor も\n  現れず、内容は additive subtraction game 1族の nim-sequence に関する具体的な combinatorial game theory の\n  問題である。charter の究極目的へは、mex operator を P_fin-algebra とみなす経路・σ を Bouton monoid の\n  automorphism とみなす経路を経由すれば繋がりうるが、瓶自身はその橋を書いていない。両reviewとも同意。\n- **eval_writing: not_ready** — 瓶の中心にある予想は他グループ（Bhagat–Larsson–Manabe–Yamashita）の\n  公表済み open conjecture であり、瓶の側に証明は無い。加えて本文の TeX が壊れており、`s_1 < s_2` の\n  順序条件も欠けている。単独著作としての論文化経路は現時点で描けず、まず帰属（co-authorship か\n  independent か）が人間の判断として先行する。両reviewとも同意。\n- **eval_claims: review_pending（確定）** — 差し戻し後の再reviewで Claim 1〜5 すべてが両providerの\n  support を得て、blocking issue は全て解消した。それでも `reviewed` へは上げない。Claim 1 と Claim 4 は\n  kind が `conjecture` であり、支持は有限計算（1 ≤ s_1 < s_2 ≤ 12 の66組）と一次出典の照合に\n  留まって証明が無い。Claim 3 も Y^rev 帰属が未証明である。評価規律 §2 の「重要claimが全て\n  review済みで一致なら `reviewed`」は、証明の無い conjecture の一致support には適用しない\n  （survey-policy 原則3: 数学的正誤をagentが判定しない）。差し戻し前に review 2 が投じた `refuted` は、\n  producer由来の定式化（Y の仮説の置き場所、c の符号、個数の読み方）への反証であって瓶本文の\n  数学的主張を否定するものではなく、訂正により解消した。よって確定値は `review_pending` である。\n- **eval_novelty: known（確定。quorum成立）** — 瓶が「sink–wall予想」として書いた式\n  `v_wall([x]_p) = σ(v_sink([−s_2−x]_p))` は、[arXiv:2601.18715](https://arxiv.org/abs/2601.18715) v3 の\n  **式 (3) に、同じ σ・同じ shift −s_2・同じ `[·]_p` の意味で逐語的に**掲載されている予想である。\n  検索空振りではなく一次出典の逐語照合による判定であり、review 1・review 2 とも独立にHTML本文で\n  照合して `known` に投票した。代替案 `possibly_new`（新規性の単位を力学系への翻訳に取る案）は\n  review 1 が明示的に反対した——翻訳が文献に見当たらないことは negative search であり、\n  評価規律 §5 が根拠に使うことを禁じているため。翻訳の所見は本文に残し、ラベルは上げない。\n\n**確定ラベル**: eval_purpose `indirect` / eval_writing `not_ready` / eval_claims `review_pending` /\neval_novelty **`known`**。\n\n**quorum の記録**: 独立review 2件（review 1 = claude/Opus 5、review 2 = codex。producer は claude なので\n「別provider 1件以上」の要件は review 2 が満たす）が、差し戻し後の再reviewで Claim 1〜5 すべてに\nsupport を投じ、blocking issue は残っていない。`eval_novelty: known` は両reviewが\n[arXiv:2601.18715](https://arxiv.org/abs/2601.18715) v3 の**式 (3) を一次資料で直接照合**した結果として\n賛成したものであり（検索空振りを根拠にしていない）、ADR-0015 の quorum が成立している。\n`eval_claims` は上記のとおり、quorum が揃ってもなお証明が無いため安全側の `review_pending` に留める。\n\n## Claim 1: sink–wall duality\n\n- **claim_id:** ffk2ts-c1\n- **kind:** conjecture\n- **state:** candidate\n- **importance:** decisive\n- **statement:** S = {s_1, s_2, s_1+s_2}（s_1 < s_2）に対し、wall convention の nim-sequence v_wall と\n  sink convention の nim-sequence v_sink は、outcome period p のもとで\n  v_wall([x]_p) = σ(v_sink([−s_2 − x]_p)) を満たす。ここで σ = (0 2) は 1, 3 を固定する involution。\n- **evidence_type:** source, computation\n- **evidence_refs:**\n  - [arXiv:2601.18715](https://arxiv.org/abs/2601.18715)（Bhagat–Larsson–Manabe–Yamashita,\n    *Additive sink subtraction*, v1 2026-01-26 / v3 2026-03-16）の式 (3) に同一の予想が掲載。\n    review 1 が生HTMLの MathML alttext を保持したまま逐語照合し、review 2 も v3 本文で独立に確認した。\n  - 計算: 正式な定義域 **1 ≤ s_1 < s_2 ≤ 12 の全66組**で、周期部分の全 x について等式が成立\n    （反例なし）。review 2 が同じ66組を独立に再計算して再現し、review 1 は shift の一意性まで確認した。\n- **review verdict:** review 1 support / review 2 support。\n- **註（順序条件）:** 瓶は S = {s_1, s_2, s_1+s_2} と書くだけで s_1 < s_2 を課していないが、shift は\n  `−max(s_1, s_2)` であり、s_2 < s_1 と読むと式は破れる（review 1 が s_1 > s_2 の66組すべてで\n  破れることを確認）。出典側は s_1 < s_2 を明示的に仮定している。\n- **【訂正】検証規模の数え方:** 差し戻し前は「144組」と書いていた。S は s_1 ↔ s_2 の交換で不変であり、\n  12×12 = 144 組が与える相異なる S は78個、うち12個は s_1 = s_2 の退化例 S = {s, 2s}（出典の\n  additive family の外）である。正式な定義域での有効な検証例は **66個** であり、そう書き直した。\n\n## Claim 2: operator identity は X 全体では成り立たない\n\n- **claim_id:** ffk2ts-c2\n- **kind:** counterexample_candidate\n- **state:** candidate\n- **importance:** important\n- **statement:** 瓶の Goal が問う「operator identity が全 X = {0,1,2,3}^{Z/pZ} で成り立つか」は否である。\n  σ は mex と可換ではない。定数関数 f ≡ 3 を取ると、(M_S f)(x) = mex{3} = 0 であり\n  M_S(σ∘f) = M_S(f) = 0 だが σ((M_S f)(x)) = σ(0) = 2 で一致しない。intertwining relation\n  M_S ∘ J_b = J_b ∘ M_S^rev も同じ f で破れる。\n- **evidence_type:** counterexample\n- **evidence_refs:** 本評価での直接計算（f ≡ 3、任意の S、任意の p）。review 1 は S = {2,5,7}, p = 11 で、\n  review 2 は一般の S で独立に再現した。\n- **review verdict:** review 1 support / review 2 support。\n- **意義:** 瓶が Goal で立てた二択（全 X か、boundary condition の定める invariant subset 上だけか）は、\n  後者に確定する。以下の Claim 3 がその invariant subset を明示する。\n\n## Claim 3: invariant subset 上の intertwining relation（訂正版）\n\n- **claim_id:** ffk2ts-c3\n- **kind:** theorem_candidate\n- **state:** candidate（訂正後、再reviewで両provider support）\n- **importance:** important\n\n**【撤回の記録】** 差し戻し前の statement は、条件を **predecessor** option set\nA_f(x) = {f(x−s) : s ∈ S} だけに課した集合 Y を用いて「f ∈ Y ならば M_S ∘ J_b = J_b ∘ M_S^rev」と\n述べていた。**この形の主張は偽である。** review 2 の反例（本評価で再計算し再現済み）:\n\n```\np = 6,  S = {1, 3, 4},  f = (0, 0, 1, 1, 0, 2),  τ = σ,  b = 0\n  f は predecessor 条件を満たす（f ∈ Y）が、successor 条件は満たさない\n  M_S(J_b f)      = (0, 0, 3, 0, 3, 3)\n  J_b(M_S^rev f)  = (0, 0, 3, 1, 3, 3)      ← 第3成分が 0 と 1 で不一致\n```\n\n破れの所在も特定できる: x = 3 における successor option set は {f(4), f(0), f(1)} = {0} という\nsingleton であり、singleton 上では σ が mex と可換でない（Claim 2 と同じ機構）。\nreview 1 も同じ穴を独立に指摘した（「仮説は f ∈ Y ではなく R_b f ∈ Y であるべき」）。\n以下は仮説を successor 側へ移した訂正版である。**新しい主張の追加ではなく、仮説の限定**である。\n\n- **statement（訂正後）:** τ ∈ Sym{0,1,2}（τ(3) = 3）とする。mex は次の型の集合の上で τ-equivariant\n  である: (a) {0,1,2,3} の3元部分集合、(b) {0,1,2} の2元部分集合。この型を**良い型**と呼ぶ。\n  Y^rev ⊆ {0,1,2,3}^{Z/pZ} を、全ての y で **successor** option set\n  A^rev_f(y) = {f(y+s) : s ∈ S} が良い型になる f の集合とする（これは R_b f ∈ Y と同値である）。\n  このとき f ∈ Y^rev ならば、J_b = τ_* ∘ R_b（(R_b f)(x) = f(−b−x)）について\n  **M_S ∘ J_b = J_b ∘ M_S^rev** が成り立つ。\n- **evidence_type:** proof_draft, computation\n- **evidence_refs:**\n  - 導出: M_S(J_b f)(x) = mex{σ(f(−b−x+s)) : s ∈ S}。y = −b−x と置くと右辺は mex(σ A^rev_f(y)) で、\n    A^rev_f(y) が良い型なら = σ(mex A^rev_f(y)) = σ((M_S^rev f)(y)) = (J_b(M_S^rev f))(x)。\n    M_S ∘ R_b = R_b ∘ M_S^rev は両辺とも mex{f(−b−x+s)} なので恒等的に成り立つ（review 1 も確認）。\n  - mex の τ-equivariance: {0,1,2,3} の部分集合15個 × τ 6個の全数検査で、成立するのは\n    {0,1} {0,2} {1,2} {0,1,2} {0,1,3} {0,2,3} {1,2,3} {0,1,2,3}、破れるのは\n    {0} {1} {2} {3} {0,3} {1,3} {2,3}（review 1 が独立に全数検査して一致）。\n  - 訂正版の検算: 良い型の successor 条件を満たす f を乱択で 30,914 例生成し、全ての b について\n    等式の破れは 0 件だった（本評価）。\n  - 実際の nim-sequence が Y^rev に入ること: 1 ≤ s_1 < s_2 ≤ 10 の **45組**（10×10 = 100 組から\n    順序交換と退化例を除いた数）で、wall・sink 双方の周期部分に出現する option set は\n    {0,1} {0,2} {1,2} {0,1,2} {0,1,3} {0,2,3} {1,2,3} の7種類のみだった。review 1 は同じ範囲で\n    **successor 側の option set も同じ7種類に収まる**ことを追加検査し、訂正版の仮説が実際の\n    sequence では満たされることを確認した。\n- **未証明部分:** 「additive subtraction の nim-sequence が必ず Y^rev に入る」ことは計算での確認のみで、\n  証明していない。これが証明されれば Claim 3 は補題として確定する。\n\n## Claim 4: wall・sink 両 sequence の reverse-mex 性\n\n- **claim_id:** ffk2ts-c4\n- **kind:** conjecture\n- **state:** candidate\n- **importance:** important\n- **statement:** additive subtraction（S = {s_1, s_2, s_1+s_2}）の wall・sink 両 nim-sequence は、\n  周期部分で v(x) = mex{v(x+s) : s ∈ S} を満たす（predecessor でなく successor 上の mex）。\n- **evidence_type:** computation, source\n- **evidence_refs:**\n  - 計算: 1 ≤ s_1 < s_2 ≤ 10 の **45組**で wall・sink 双方とも成立。同じ範囲で wall sequence は\n    preperiod 0（純周期）だった。review 2 は 1 ≤ s_1 < s_2 ≤ 12 の **66組**へ拡張して再現し、\n    review 1 も同範囲で独立に再現した。\n  - 文献: [arXiv:2605.14321](https://arxiv.org/abs/2605.14321)（Larsson–Manabe–Miyadera,\n    *A Subtraction Nim with a Pass*, 2026-05-14）Definition 8 が reverse-mex property\n    `G(x) = mex({G(x+s_1), G(x+s_2), G(x+s_3)})` を定義し、Theorem 3 が S = {2, 4n, 4n+2}（n ≥ 3）で\n    証明する。\n- **review verdict:** review 1 support / review 2 support（conjecture としての support に限る）。\n- **【訂正】既出性の記述:** 差し戻し前は「部分族について定式化・証明されている」とだけ書いていたが、\n  これは不正確だった。同論文 §4.1 には一般の場合を述べた予想が2件ある（review 1 が生HTMLから\n  指摘、本評価でも本文を確認）:\n  - **Conjecture 1**: subtraction Nim が reverse-mex property を持つ ⟺ 条件 (a) を満たす。\n  - **Conjecture 2**: s_3 = s_1 + s_2 ならば条件 (a) を満たす。\n\n  この2つを合わせると「**additive ⟹ reverse-mex**」がそのまま従う。すなわち Claim 4 の wall 側は\n  **文献に既出の予想**である（§4.2 の Conjecture 3 も additive を含む族について同じ性質を予想する）。\n  文献で **theorem** として確認できるのは部分族 S = {2, 4n, 4n+2}（n ≥ 3）だけ、という点は変わらない。\n  なお Conjecture 1・2 は subtraction Nim（wall convention）についての予想であり、sink 側の\n  reverse-mex 性が同じ形で述べられているかは確認できていない（gaps 参照）。\n- **なぜ重要か:** Claim 3 の intertwining は M_S ∘ J_b = J_b ∘ M_S^rev であって M_S ∘ J_b = J_b ∘ M_S\n  ではない。したがって「J_b が sink 側の解を Fix(M_S) へ写す」を言うには、sink sequence が\n  M_S^rev の不動点でもあることが要る。それが Claim 4 である。つまり **reverse-mex 性が\n  sink–wall duality の橋**である。\n\n## Claim 5: (τ, c) 族は Fix(M_S) の部分集合であり、boundary condition が本質的に効く（訂正版）\n\n- **claim_id:** ffk2ts-c5\n- **kind:** theorem_candidate\n- **state:** candidate（訂正後、再reviewで両provider support）\n- **importance:** important\n\n**【撤回の記録】** 差し戻し前の statement には、両reviewが一致して指摘した誤りが2つあった。\n\n1. **符号の誤り。** 写像を x ↦ τ(v(−c−x)) と定めておきながら、wall に一致する組を c = −s_2 と\n   書いていた。duality の式 v_wall(x) = σ(v_sink(−s_2−x)) から直ちに **c = +s_2** である。\n   両reviewが全数探索で c = −s_2 では一致しないことを確認した。出典側も同じ向きを書いている\n   （[arXiv:2601.18715](https://arxiv.org/abs/2601.18715) v3 §に\n   「given a sink value at position x, then σ(v_s(x)) = v_w(s_2 − x)」）。\n   加えて v がどちらの sequence かを書いていなかった（v = sink と読まないと主張が自明化する）。\n2. **個数の誤読。** 「その個数は 6p である」を Fix(M_S) の総数と読むと偽である。review 1 が\n   窓空間 {0,1,2,3}^L（L = s_1+s_2）上の決定的写像の周期点として Fix(M_S) を厳密に数え、\n   S = {1,4,5} で 96 対 48、S = {2,5,7} で 308 対 132、S = {2,9,11} で 4940 対 228 など、\n   総数が 6p を超える例を挙げた（検査した12例のうち9例で真に超え、S = {1,2,3}, {1,3,4}, {2,3,5} の\n   3例では 6p と等しかった）。6p は **(τ, c) 族の像の大きさ**である。\n\n- **statement（訂正後）:** v を sink sequence、p をその周期とする。x ↦ τ(v(−c−x)) の形の写像\n  （τ ∈ Sym{0,1,2}、c ∈ Z/pZ）は M_S の不動点を与え、その像は 6p 個ある。**この 6p 個は\n  Fix(M_S) 全体とは限らず、部分集合である**（等号になる S もあるが、Fix(M_S) の総数が\n  6p を超える S も多い）。\n  この 6p 個のうち wall sequence に一致するのは **τ = σ、c = +s_2** のただ1つである。\n  不動点を与える τ は 24 通りのうちちょうど Sym{0,1,2}（3 を固定する6元群）に限られる。\n- **evidence_type:** computation\n- **evidence_refs:** 本評価での全探索（9組の (s_1, s_2) について τ 全24通り × c 全 p 通り）。\n  review 1・review 2 とも独立に再現し、τ の集合が毎回ちょうど Sym{0,1,2}、像が 6p 個すべて相異なり、\n  wall に一致する組が毎回ちょうど1つ（c = s_2）であることを確認した。Fix(M_S) の厳密計数は review 1 による。\n- **【訂正】証明への含意:** 差し戻し前は「証明には初期条件の照合が最後に1点だけ残る」と書いたが、\n  これは過小評価だった。再帰は長さ L = s_1 + s_2 の窓で決まるので、照合すべきは1点ではなく\n  **1窓（L 個の値）**である。さらに Fix(M_S) は一般に 6p 族より大きいので、「不動点であること」を\n  示しても族への所属は従わず、**族に属することを別途示す必要がある**（review 1 の指摘）。\n- **意義:** duality を「不動点の一意性」で証明する経路は塞がっている、という結論自体は保たれる。\n\n## 先行研究と新規性の境界\n\n**中心となる先行研究（同じ問題を明示的に扱っている）**\n\n- Anjali Bhagat, Urban Larsson, Hikaru Manabe, Takahiro Yamashita, *Additive sink subtraction*,\n  [arXiv:2601.18715](https://arxiv.org/abs/2601.18715)（v1 2026-01-26 / v2 2026-02-07 / v3 2026-03-16）。\n  sink convention（非正の位置へ動いた側が勝ち）を wall convention（負へ動けない）の双対として導入し、\n  additive sink subtraction の完全解（純周期性と、線形または二次の明示的な周期長公式）を与える。\n  **式 (3) が瓶の「sink–wall予想」と σ・shift −s_2 まで含めて逐語的に同じ**である。\n  関係の種類: 同一の問い。根拠の強さ: 予想の式レベルでの完全一致。確信度: 高い\n  （両reviewが生HTMLで独立照合済み）。瓶の `discussed_with: Hikaru Manabe` は本論文の著者の1人である。\n- Urban Larsson, Hikaru Manabe, *Additive Subtraction Games*,\n  [arXiv:2603.10414](https://arxiv.org/abs/2603.10414)（arXiv v1 2026-03-11 / v2 2026-03-29。\n  論文本文の date 行は August 24, 2026 で、arXiv 版日付とは食い違う——引用時は arXiv 版日付である\n  旨を明記する）。wall 側（古典側）の additive subtraction を primitive quadratic regime で扱い、\n  Winning Ways (1982) の Beatty型 bracket 公式について「完全な証明はまだ文献に現れていない」と述べる。\n  関係の種類: 背景・前提。duality が証明されれば sink 側の完全解が wall 側へ移り、この未証明部分に\n  届きうる——ただしこれは本評価の推論であって、いずれの論文もそう書いてはいない。\n- Urban Larsson, Hikaru Manabe, Ryohei Miyadera, *A Subtraction Nim with a Pass*,\n  [arXiv:2605.14321](https://arxiv.org/abs/2605.14321)（2026-05-14）。reverse-mex property を\n  Definition 8 で導入し、S = {2, 4n, 4n+2}（n ≥ 3）で Theorem 3 として証明する。\n  **§4.1 の Conjecture 1 + Conjecture 2 は、additive な subtraction Nim が reverse-mex property を\n  持つことを既に予想している**（Claim 4 の既出性。差し戻しで訂正した点）。\n  関係の種類: 部分的な回答 + 同一の予想。確認できた範囲では、同論文は reverse-mex を反転対称性や\n  sink/wall convention とは結びつけておらず、本文に sink / wall / duality / reflection / involution /\n  symmetry の語は参考文献欄以外に現れない（review 1 が全文grepで確認）。\n\n**隣接するが別物**\n\n- Koki Suetsugu, *A duality of misère games and play with a pass*,\n  [arXiv:2607.18682](https://arxiv.org/abs/2607.18682)（2026-07-21）。misère play を「終端位置に\n  SG値 1 を与える」形で normal play へ変換し、pass 付き play との duality を出す。nimber の involution も\n  sink/wall も abstract には現れず別種の duality だが、**終端値の付け替えを normal play へ翻訳する\n  枠組み**という点では sink convention と同じ土俵にある（review 1 の指摘）。\n  関係の種類: 関連する手法。確信度: 中（producer・reviewer とも abstract のみ確認）。\n- Ryuya Hora, *Games as recursive coalgebras*,\n  [arXiv:2510.22886](https://arxiv.org/abs/2510.22886)。親瓶 v7p3ka の出典。mex 再帰を\n  P_fin-coalgebra として扱う枠組みで、本瓶の M_S を圏論的に読み直す入口になりうるが、\n  subtraction game の周期性や sink/wall convention は扱っていない。\n\n**新規性の境界（要約）**\n\n瓶が問いとして掲げた命題（sink–wall duality）は**公表済みの open conjecture** である。したがって\n「新しい問い」ではなく、ラベルは `known`。加えて差し戻しで判明したとおり、瓶の副次的な着眼である\nreverse-mex 性（Claim 4）も、additive の場合について文献に予想として既出である。\n本評価が確認した範囲では、これらを有限状態力学系の time-reversal として定式化した文献\n（M_S と J_b の intertwining、invariant subset、Sym{0,1,2} 作用）は見つからなかったが、\nそれは negative search であり新規性の根拠にならない（評価規律 §5）。所見として残すに留める。\n\n**使った検索語と検索先**\n\n- Web検索: `subtraction game S = {a, b, a+b} Grundy sequence periodicity theorem` /\n  `Manabe Miyadera subtraction game \"sink\" \"wall\" Grundy duality` /\n  `\"reverse-mex\" Grundy subtraction game Larsson Manabe Miyadera proof duality sink wall 2026` /\n  `\"sink subtraction\" duality conjecture proof 2026 Bhagat Larsson Manabe Yamashita follow-up` /\n  `Grundy nim-sequence subtraction game \"cellular automaton\" OR \"dynamical system\" mex operator time-reversal symmetry`\n- 一次資料の直接取得: arXiv abs / html ページ 2601.18715（v3）, 2603.10414, 2605.14321, 2607.18682, 1201.3299。\n  reviewラウンドでは 2601.18715v3 / 2605.14321 / 2603.10414 の生HTMLを取得し、MathML の alttext を\n  保持したままテキスト化して逐語 grep した（要約モデルを介さない照合）。\n- 検算: Python による nim-sequence の直接計算（wall・sink 双方、1 ≤ s_1 < s_2 ≤ 12、\n  各 N = 2000〜4000 項、周期の自動検出つき）、mex の τ-equivariance 全数検査、\n  Fix(M_S) の厳密計数（窓空間の functional graph）。\n\n**gaps（探せていない方向）**\n\n- Winning Ways (Berlekamp–Conway–Guy, 1982) の該当章そのものを未参照。additive subtraction の\n  bracket 公式の原文と、BCG が未証明のまま残した場合分けの範囲を一次資料で確認していない。\n- Golomb (1966) の subtraction game 周期性の原論文を未参照。\n- arXiv:2605.14321 の Conjecture 1・2 は wall convention の subtraction Nim についての予想である。\n  **sink 側の reverse-mex 性**が文献のどこかで述べられていないかは未確認。\n- symbolic dynamics / cellular automaton 側からの文献（mex を局所規則とする可逆性・conjugacy の研究）を\n  探したが有効なヒットが無い。検索語が CGT 寄りに偏っている可能性がある。review 1 が独立に検索した\n  範囲でも同様で、ヒットしたのは既知の周期性・非周期性の文献だけだった。\n- Combinatorial Game Theory Colloquium IV のプログラムに関連講演がある可能性を確認していない。\n- arXiv:2601.18715 の PDF 全文（10MB 超）は直接取得に失敗し、HTML 版で読んだ。証明の細部に\n  reverse-mex に相当する補題が別名で入っていないかは未確認。\n\n**免責**: 本reportは機械の提案であり、洞の確認と数学的検証を経ていない。\n\n## 残る穴\n\n- **帰属が未整理。** この予想は Bhagat–Larsson–Manabe–Yamashita の公表予想であり、Manabe氏は瓶の\n  `discussed_with` に入っている。洞が独立に書くのか共著にするのかは、数学の前に決めるべき事項である。\n  瓶本文にも出典が1件も書かれていない。\n- **瓶本文に `s_1 < s_2` の仮定が欠落している。** 瓶は S = {s_1, s_2, s_1+s_2} と書くだけで順序を\n  課していないが、名前を入れ替えると shift −s_2 は誤った式になる（Claim 1 の註のとおり、s_1 > s_2 の\n  66組すべてで破れる）。瓶本文は不可侵なので、ここでは指摘として記録するに留める。\n  本文への修正提案は kobin-polish 経路（ADR-0018）へ分離する。\n- **瓶本文の TeX が壊れている。** `mathbb Z`（バックスラッシュ落ち）、`ight)`（`\\right)` の破損）、\n  `sigma`・`operatorname` も同様で、数式が読めない状態で保存されている。これも本文の問題であり、\n  修正提案は kobin-polish 経路へ分離する。\n- **Claim 3 の Y^rev 帰属と Claim 4 の reverse-mex は、いずれも計算での確認のみ。** additive 全族に\n  対する証明が無い。この2つが証明できても、Claim 5 の訂正により、残るのは「1点」ではなく\n  **1窓（L = s_1+s_2 個）の照合＋(τ,c) 族への所属**である。\n- **Fix(M_S) の構造が未解明。** (τ, c) 族の 6p 個が Fix(M_S) の部分集合であり、多くの S では\n  真に小さいことは分かったが、残りの不動点が何であるか、どの S で等号（Fix(M_S) がちょうど\n  6p 個）になるかは分かっていない。\n- **圏論との接続が言葉だけ。** slogan に \"Games as recursive coalgebras\" を掲げているが、M_S を\n  P_fin-algebra として、σ を Bouton monoid の automorphism として読む具体的な定式化は瓶に無い。\n- 周期長 p が s_1, s_2 からどう決まるか（sink 側は出典に明示公式がある）を、本評価では\n  duality の検証に使っただけで、Y^rev 帰属や reverse-mex の証明には結び付けていない。\n\n## 独立review\n\n- **review 1（claude / Opus 5・producerと独立の文脈）**: Claim 1・2・4 を support、Claim 3 を\n  support（ただし仮説の置き場所に穴あり＝blocking issue B4）、Claim 5 を **refute**\n  （符号 c = −s_2 が同じ定義下の反例を持つ、および「6p = Fix(M_S) 総数」が偽）。\n  検証方法は一次文献の生HTML取得＋自前テキスト化での逐語照合と、計算主張のスクラッチからの再実装。\n  妥当性検査として S = {2,5,7} の period 22 を再現し、arXiv:2601.18715 の Example 5 と一致することを確認。\n  4基準は producer 案にすべて同意（eval_claims は `refuted` にしない——Claim 5 への反証は\n  formulation に対するもので瓶本文の主張を否定しないため、安全側の `review_pending`）。\n  追加の一次資料所見として、arXiv:2605.14321 §4.1 の Conjecture 1 + 2 が additive の reverse-mex を\n  既に予想していること（B3）、および arXiv:2601.18715 では outcome レベルの duality\n  `o_wall(x) = o_sink(x + max(S) + 1)` と Ferguson pairing により nimber 0 と 1 の位置が\n  予想を使わずに決まっており、予想の実質的な未解決部分が「残る位置を 2 と 3 にどう振り分けるか」に\n  絞られていることを報告。\n- **review 2（codex・別provider）**: Claim 1・2・4 を support、Claim 3 を **refute**\n  （p = 6, S = {1,3,4}, f = (0,0,1,1,0,2), τ = σ, b = 0 の具体反例）、Claim 5 を **refute**（符号誤り）。\n  独立計算は 1 ≤ s_1 < s_2 ≤ 12 の全66組で duality と reverse-mex を再現。\n  arXiv:2601.18715 v3 の式 (3) と直接照合し誤引用なしと判定。\n  4基準は eval_purpose `indirect` / eval_writing `not_ready` / eval_novelty `known` に同意し、\n  eval_claims のみ `refuted` を投票（producer由来の Claim 3・5 に反例があるため）。\n- **差し戻しラウンド（評価規律 §2.5、1回）**: 上の blocking issues を受けて producer が本稿を修正した。\n  Claim 3 は仮説を successor option set へ移す**訂正**（反例と破れの機構を本文に記録）、\n  Claim 5 は符号 c = +s_2 への**訂正**と「6p は (τ,c) 族の像であって Fix(M_S) 総数ではない」への\n  **訂正**、証明への含意を「1窓＋族への所属」へ**限定**。Claim 4 の既出性の記述を訂正、\n  検証規模の数字を 66組 / 45組へ訂正。主張の新設は行っていない。\n- **再review 1（claude / Opus 5）**: 訂正版の Claim 1〜5 すべてを **support**。blocking issue なし。\n  根拠は、訂正版 Claim 3 の仮説（successor option set がすべて良い型）に対する\n  **206万組の全数検査**——該当する (p, S, f, b, τ) の組み合わせを網羅的に生成し、\n  M_S ∘ J_b = J_b ∘ M_S^rev の破れが 0 件であること、および反例 (p=6, S={1,3,4}) が\n  訂正後の仮説の外に落ちることを確認した。Claim 5 の符号 c = +s_2 と、6p が (τ,c) 族の像の\n  大きさであることも再確認。非blockingの精度指摘1件（「真部分集合」は等号例3件があるため\n  「部分集合」と書くべき）は本稿で反映済み。4基準は確定値に同意。\n- **再review 2（codex・別provider）**: 訂正版の Claim 1〜5 すべてを **support**。blocking issue なし。\n  根拠は、wall・sink 双方の nim-sequence **654列の全数検査**——正式な定義域の各 S について\n  周期列を独立に生成し直し、duality（Claim 1）、reverse-mex（Claim 4）、訂正版の intertwining\n  （Claim 3）、(τ,c) 族の構造と c = +s_2（Claim 5）を全周期点で検査して破れなしを確認した。\n  4基準は確定値に同意し、`eval_novelty: known` に改めて賛成。\n- **quorum の結論**: `eval_novelty: known` は独立review 2件（うち別provider 1件）の一致support により\n  **成立**。`eval_claims` は両reviewの一致supportがあるが、Claim 1・4 が証明の無い conjecture である\n  ため `reviewed` へは上げず、安全側の `review_pending` で確定した。\n\n## 次の一手\n\n1. **Manabe氏に帰属を確認する。** 同じ予想を洞が別経路で攻めることを共有し、共著・独立・棲み分けの\n   いずれにするかを先に決める。数学的な作業はその後で構わない（Claim 1 が他者の公表予想であり、\n   Claim 4 も同じグループの公表予想である以上、これは数学ではなく人間の判断であり、AIが決められない\n   唯一の点である）。\n2. **攻め口を nimber 2 と 3 の振り分けに絞る。** [arXiv:2601.18715](https://arxiv.org/abs/2601.18715)\n   自身が、outcome レベルの duality と Ferguson pairing だけで nimber 0 と 1 の位置は予想を使わずに\n   決まると書いている。したがって予想の未解決部分は「残る位置を 2 と 3 にどう振り分けるか」であり、\n   Claim 3 の Y^rev 帰属（successor option set が singleton にも「3 を含む2元集合」にもならない）は\n   まさにこの振り分けを制御する条件である。sink 側の明示的な block 構造と周期公式から\n   Y^rev 帰属を示す経路が現実的である。\n3. **Claim 4 を証明しにいくことは、arXiv:2605.14321 の Conjecture 1 + 2 を解くことと同義**である。\n   着手するならそう明記して進める（帰属の観点でも安全）。瓶本文の TeX 破損と `s_1 < s_2` の\n   補記は kobin-polish 経路（ADR-0018）へ分離する。評価では本文を変更しない。",
      "dates": {
        "inspiration": null,
        "sourceRecorded": null,
        "evidence": null,
        "registeredInSumire": "2026-10-07T16:37:41.810Z",
        "updatedInSumire": "2026-10-10T08:51:20.910Z",
        "legacyRecordedAt": "2026-10-07T16:37:41.810Z",
        "legacyUpdatedAt": "2026-10-10T08:51:20.910Z"
      },
      "language": null,
      "projectLanguage": "ja",
      "languageSource": "not_recorded",
      "legacyStage": "note",
      "classification": "unclassified",
      "classificationStatus": "unclassified",
      "importance": "unspecified",
      "section": "unassigned",
      "problemState": "unknown",
      "resolution": "",
      "verificationEvidence": {
        "ai": "review 1（claude / Opus 5）がClaim 2の反例と訂正版Claim 3の限定された仮定下の関係をsupport。一般duality・reverse-mex予想は未証明。producerの具体モデルは不明。",
        "lean": "",
        "human": ""
      },
      "aiClaimModel": "Opus 5",
      "formalization": "unknown",
      "humanReview": "unreviewed",
      "verification": "unverified",
      "ai": {
        "use": "assisted",
        "tools": "Codex",
        "additions": ""
      },
      "originalQuestion": "",
      "references": [
        {
          "url": "https://arxiv.org/abs/2601.18715",
          "verification": "not_checked",
          "service": "arxiv",
          "identifier": "arXiv:2601.18715",
          "version": null,
          "pinned": false,
          "correspondence": {
            "status": "reader_memo_unverified",
            "assumptions": "",
            "conclusions": "",
            "evidence": "",
            "differences": "",
            "unchecked": "",
            "declaration": ""
          }
        },
        {
          "url": "https://arxiv.org/abs/2605.14321",
          "verification": "not_checked",
          "service": "arxiv",
          "identifier": "arXiv:2605.14321",
          "version": null,
          "pinned": false,
          "correspondence": {
            "status": "reader_memo_unverified",
            "assumptions": "",
            "conclusions": "",
            "evidence": "",
            "differences": "",
            "unchecked": "",
            "declaration": ""
          }
        },
        {
          "url": "https://arxiv.org/abs/2603.10414",
          "verification": "not_checked",
          "service": "arxiv",
          "identifier": "arXiv:2603.10414",
          "version": null,
          "pinned": false,
          "correspondence": {
            "status": "reader_memo_unverified",
            "assumptions": "",
            "conclusions": "",
            "evidence": "",
            "differences": "",
            "unchecked": "",
            "declaration": ""
          }
        },
        {
          "url": "https://arxiv.org/abs/2607.18682",
          "verification": "not_checked",
          "service": "arxiv",
          "identifier": "arXiv:2607.18682",
          "version": null,
          "pinned": false,
          "correspondence": {
            "status": "reader_memo_unverified",
            "assumptions": "",
            "conclusions": "",
            "evidence": "",
            "differences": "",
            "unchecked": "",
            "declaration": ""
          }
        },
        {
          "url": "https://arxiv.org/abs/2510.22886",
          "verification": "not_checked",
          "service": "arxiv",
          "identifier": "arXiv:2510.22886",
          "version": null,
          "pinned": false,
          "correspondence": {
            "status": "reader_memo_unverified",
            "assumptions": "",
            "conclusions": "",
            "evidence": "",
            "differences": "",
            "unchecked": "",
            "declaration": ""
          }
        }
      ]
    }
  ],
  "noteDependencies": [],
  "guides": {
    "arxiv": "https://info.arxiv.org/help/submit/index.html",
    "formal_conjectures": "https://github.com/google-deepmind/formal-conjectures/blob/main/CONTRIBUTING.md",
    "mathlib": "https://leanprover-community.github.io/contribute/index.html"
  },
  "search": {
    "arxiv": "https://arxiv.org/search/",
    "formal_conjectures": "https://google-deepmind.github.io/formal-conjectures/browse/",
    "mathlib": "https://leanprover-community.github.io/mathlib4_docs/"
  }
}