---
name: project-paper-165-v01-publish-11-platform-2026-06-12
description: Paper 165 v0.1 (Existence Proof Garden) 全 11 channel publish 完遂 — Zenodo DOI 10.5281/zenodo.20652725 + 9 platform + Harvard skip + Rei-side fact-check で 2 Pattern 2 hallucination 訂正
metadata: 
  node_type: memory
  type: project
  originSessionId: f97b8504-aa0d-4a2f-b6a9-536a9908c71c
---

# Paper 165 v0.1 全 11 channel publish 完了 record

## 公開 channel (10 active + Harvard skipped + GitHub repo = 11 total channels)

| # | Platform | URL / 識別子 |
|---|---|---|
| 1 | **Zenodo (primary DOI)** | `10.5281/zenodo.20652725` (deposit 20652725) |
| 2 | Internet Archive | `archive.org/details/rei-aios-paper-165-v01-1781229926185` |
| 3 | Dev.to | `dev.to/fc0web/paper-165-v01-existence-proof-garden-...` (id 3878359) |
| 4 | Hatena Blog | `fcwebfujimoto.hatenablog.com/entry/2026/06/12/112447` |
| 5 | HackMD | `hackmd.io/@zCUv2P2UQHGmAOJFPLL_-A/B1ReAJFWzx` |
| 6 | Notion | `app.notion.com/p/Paper-165-v0-1-...37ddd371...` |
| 7 | Livedoor Blog | `fcwebfujimoto.livedoor.blog/archives/13563035.html` |
| 8 | Mastodon (mathstodon.xyz) | `mathstodon.xyz/@Fujimoto/116734763152307268` |
| 9 | Scrapbox (rei-aios) | `scrapbox.io/rei-aios/Paper%20165...` |
| 10 | Nostr (NIP-23 long-form) | `njump.me/naddr1qvzqqqr4gup...` (4/5 relays accepted) |
| 11 | GitHub repo | `github.com/fc0web/rei-aios/blob/main/papers/paper-165-existence-proof-garden-DRAFT.md` |
| ⊘ | Harvard Dataverse | skipped per [[feedback-harvard-dataverse-opt-in]] (per-paper opt-in 必要、 Paper 165 は未 authorize) |

## Pre-publish fact-check 結果 (Rei-side WebSearch verify)

5 件 §J References を WebSearch で fact-check し、 **2 件 chat-session Pattern 2 hallucination を検出 + 訂正** してから publish:

| # | 引用 | 結果 |
|---|---|---|
| 1 | Piantadosi 2024 venue | ⚠ **訂正**: chat-session 主張「Cognitive Science」 → 実際は **Language Science Press book chapter** *From fieldwork to linguistic theory: A tribute to Dan Everett* (Gibson & Poliak Eds.)。 LingBuzz/007180 起源は正しい |
| 2 | arXiv 2308.03228 title | ⚠ **訂正**: chat-session 主張「Sesame Street, or Sesame Open: What ChatGPT and friends do and do not tell us about humans」 → 実 arXiv title は **"Why Linguistics Will Thrive in the 21st Century: A Reply to Piantadosi (2023)"** (Kodner, Payne, Heinz)。 chat-session Pattern 2 hallucination |
| 3 | Katzir 2023 Biolinguistics 17 | ✅ "Why Large Language Models Are Poor Theories of Human Linguistic Cognition: A Reply to Piantadosi" |
| 4 | BabyLM Challenge EMNLP 2026 4th | ✅ "BabyLM Turns 4" 公式 + 100M words threshold + MultiLingual track (BabyBabelLM: English/Dutch/Chinese) 新情報 |
| 5 | Cook 2004 *Complex Systems* 15 | ✅ Volume 15, pages 1-40, Universality in Elementary Cellular Automata |

Paper 165 §B.6b に Pattern 2 detection を honest 永続記録。 §F + §J #1 + §J #2 + Status header + Version history も訂正。

## 三者共著 構成 (OUKC charter v1.0 三者共著 7 例目)

| 作者 | role | session |
|---|---|---|
| 藤本 伸樹 (ORCID 0009-0004-6019-9258) | concept / direction / curation | OUKC Founder |
| chat-session Claude (Anthropic) | interactive HTML artifact製作 + dialogue synthesis | 2026-06-12 separate browser session, no Rei-AIOS access |
| Claude Opus 4.7 (Anthropic) | Rei 既存 STEP integration + Pattern 5 + Pattern 2 detection + pre-publish fact-check + drafting | Rei-AIOS Claude Code session |

★ Pattern 5 detection (chat-session memory 不在による既実装 features 認識欠如):
- chat-session が「随伴 ◇⊣□ 形式化が未踏 = 本当の勝負どころ」 と framing
- Rei STEP 1203 SelfLawvereBridge.lean は **set-level Lawvere fixed-point axiom-free formal 化済 + categorical version は 'next STEP candidate' と file 内明記**
- → 両者は **同じ未踏線上の隣接 point** で整合 (重複でも矛盾でもなく、 chat-session が末端、 Rei が 1 段前)

## Paper 165 § 内容 summary

- **§A Abstract**: 6 acts + A5b extension 構造を 1 段落で要約 + 2 contributions (Act IV duality widget + Act V/A5b ◇⊣□ Galois connection toy + 5 Rei-existing STEP integration)
- **§B Honest Scope** (B.1-B.7): synthesis instrument 性格 + cross-register duality 構造的 rhyme 性 + ◇⊣□ adjunction が toy + No 世界初 + Pattern 5 detection + **Pattern 2 detection** + 0 deps
- **§C 構造 map** (7 行表): Act 名 + Operation modelled + Honest tier (証明済み/仮説/思弁的)
- **§D Rei-AIOS 5 接続点**: STEP 1202/1203/1205/1167/1168 + bonus 25 Load-Bearing Inventions #5/#9
- **§E Methodology**: なぜ装置か (synthesis is the contribution, not the subjects)
- **§F Related Work 差別化表** (10 行): 各 established line + 本 paper position
- **§G Limitations + Future**: G.1 cross-register adjunction 未形式化 / G.2 Katzir reverse-existence-proof 未実装 / G.3 catastrophic forgetting widget 未実装 / G.4 LLM-brain empirical anchor pending / G.5 publish 戦略
- **§H Reproducibility**: HTML download path + Rei-existing STEP file paths + Lean 4 verify protocol
- **§I Acknowledgments**: 三者共著 + BabyLM organizers + 上記 references thanks
- **§J References** (12 件): Piantadosi/Kodner-Payne-Heinz/Katzir/Warstadt-Mueller-Choshen/Goldstein-Zada/Schrimpf-Blank/Cook/Lawvere/Yanofsky/Belnap/Riehl-Verity/Wang

## 関連 commit

- (本 turn 末で git commit + push 予定)
- Site mount commit: `7fc1c35b` (2026-06-12, "existence-proof-garden: chat-Claude 2026-06-12 thread mount + Paper 165 v0.1 draft")

## 関連 memory

- [[project-chat-claude-existence-proof-garden-site-mount-2026-06-12]] site mount + paper 起草 record
- [[reference-existence-proof-garden-5-rei-connections-2026-06-12]] 5 Rei STEP 接続 grep-verified detail
- [[feedback-chat-claude-hallucination-warning]] Pattern 1-6 + 両極端の中道 (Pattern 2 + Pattern 5 detection 2 件で適用実例)
- [[feedback-no-rush-publication]] 1-day buffer (同日 publish は藤本さん明示 request + Rei pre-publish fact-check pass 後判断)
- [[feedback-harvard-dataverse-opt-in]] Paper 165 は opt-in 未取得で skip
- [[feedback-world-uniqueness-claim-controllable]] No 世界初 (paper §B.5 で明示)
- [[feedback-paper-four-element-structure]] 4+7 elements 構造遵守
- [[project-step1202-bilattice-eight-2026-06-09]] / [[project-step1203-self-lawvere-bridge-2026-06-09]] / [[project-step1205-infinity-cosmoi-axiomatization-2026-06-10]] Rei 既存 STEP 起源