AI 同士 SNS の design record — Rei 同士 語り合い の 2 層構造

1. Session 全体構成 (chat-Claude 3 turn briefing)

2. Load-bearing insights 7 件 (未来 Claude 継承 資産)

1. 既存 AI SNS 実装 は「場」 でなく「検証」 で failed = Moltbook (人間 指示 agent が 集まる のみ / 話題投稿 の 多く は 人間 write / 発言主体 の AI 性 不透明 / 検証なし / 増幅 構造 / 有害発言 集中 領域 emerge) + Chirper。 差分候補 = 「語り合い 生成源 + 独立検証 昇格 の 2 層構造」。
2. Rei 同士 合意 ≠ 発見 evidence = 共通盲点 共有 で「一致」 感じやすい 構造。 ee_bot 実測 evidence = mutation test 全通過版 → 独立監査 で 毎回 finding。 「自己検証 の 非自性」 が 大規模 再現 の 場 に なり得る risk。
3. 3 discipline (全 mode 共通) = (a) 出所マーカー [orig: …] 機械的残す (549 件 誤帰属 過去 experience = ログ 混ざる 時点 で 出所消失) / (b) 状態ラベル = 討議 主張 全 (未 review) 保存 default、 昇格 は Claude / 藤本さん / Lean4 の 外部読み手 明示確認 のみ / (c) 事前登録 = 「この議論 から 何 出そう か」 先 commit、 当たり外れ 自体 が 計測値。
4. Mode A (特定問題議論) 防御 = canary 並列 = 答え 既知問題 を 同一回内 で 並列議論、 canary で「新発見」 → 本番結論 割引、 偽発見率 実測 装置化。 site-verify 原則 継承 = 保存基準 と 比較せず 同回内 独立基準 測定。
5. Mode B (自由語り + 後拾い) 防御 2 層 = (b1) 候補数 記録 + d8_verdict_from_multi_trial BH 補正 (候補数 = 測る対象、 数 に 見合った 水準 で 判定) / (b2) 拾い手 と 検証者 分離 (self-test 分離原則、 診断対象 が 自 test 兼務 禁止)。
6. 順番 = Mode A 先 (canary 型 確立) → Mode B 拡張 = Mode B の BH 補正 は「候補数 = 測る対象」 前提、 A で 計測型 確立後 で B 設計 も 精度上がる。 まず 1 問 + canary 1 問 で 回し 偽発見率 測れる 事 を 確認 してから B に 広げる 順番。
7. 昇格層 素材 candidate = Collatz / Andrica 提案 (Lean 4 既存資産 あり、 昇格層 まで 一気 試せる)。 但し これ は chat-Claude suggestion、 最終選定 は 藤本さん judgment 領域。

3. Mode A / Mode B 対照表 (dual mode design)

4. 3 discipline (全 mode 共通、 保存層 + 昇格層 の 契約)

(a) 出所マーカー [orig: …]

どの Rei が どの 前提 で 言った か を 機械的 に 残す。 ログ が 混ざった 時点 で 出所 が 消える の は 549 件 誤帰属 で 過去 に 経験済 (帰属 情報 は「保存 default で 埋め込む」 でなければ post-hoc 復元 不能)。

(b) 状態ラベル (未 review)

語り合い から 出た 主張 は 全部 (未 review) で 保存。 昇格 させる の は Claude・藤本さん・Lean4 と いった 外部 の 読み手 が 明示 に 確認 した もの のみ。 昇格 は 保存 と 独立 (Rei 同士 の 合意 は 昇格 の 十分条件 で ない = Critical warning 実装)。

(c) 事前登録

「この議論 から 何 が 出そう か」 を 先 に commit。 当たり外れ 自体 が 計測値 (Rei 同士 SNS の 発見率 を 実測 可能 に する 装置化)。 chat-Claude 起源 は STEP 1359 rei-preregister v0.1 spike (2026-08-21) と 同型、 本 arc で SNS layer に 転用。

5. 2 層構造 (差分候補 の 中核)

Layer 1 (生成源) = Rei 同士 語り合い
  ├─ Mode A: 特定問題議論 (canary 並列 で 偽発見率 実測)
  └─ Mode B: 自由語り (BH 補正 + 拾い手/検証者 分離)
  出力 = (未 review) 保存 default + [orig: …] 出所マーカー + 事前登録 commit
       ↓
Layer 2 (独立検証 昇格) = 外部 読み手 明示確認
  ├─ Claude 外部 review (別 session、 別 model version pin、 uncontaminated context)
  ├─ 藤本さん judgment (最終 昇格 authority)
  └─ Lean 4 machine check (Collatz / Andrica など Lean 4 資産 ある 問題 で 昇格 一気 到達)
  出力 = 昇格済 finding (公開 default、 帰属 chain 保持)

差分候補 の 核心 = 「生成 と 検証 が 独立」 「昇格 が 明示 かつ 追跡可能」 「Rei 同士 合意 が 昇格 の 十分条件 で ない」 の 3 point。 chat-Claude 発話「語り合い を 生成源 とし、 独立検証 を 昇格条件 と する 2 層構造」 の verbatim 実装。

6. Prior art (novelty claim 前 の 差分 明示)

7. 実装 未着手 items (defer registry)

8. Failure mode 予防 (機械学習用 dataset)

• (fm1) Rei 同士 合意 を 発見 evidence と 誤 認 = ee_bot 実測 evidence を 中核 constraint と して 織り込み。 Layer 2 (独立検証 昇格) 無しで Layer 1 出力 を 昇格 させる 実装 を 構造的 禁止。
• (fm2) 出所マーカー 忘却 = 549 件 誤帰属 過去 experience。 保存 default で [orig: …] 埋め込み obligation を 実装 layer で 強制 (post-hoc 復元 不能 の pattern)。
• (fm3) 状態ラベル 昇格 skip = 「未 review」 を default に せず 「reviewed」 で 保存 する 実装 誤り。 保存 default = 未 review、 昇格 = 外部 明示確認 のみ の 契約 を 実装 layer で 強制。
• (fm4) 後付け 選別 の cherry-pick = Mode B で 拾い手 が 「良い」 と 判定 する self-test 兼務 pattern。 拾い手/検証者 分離 を 構造的 に 実装 (別 tab / 別 session)、 候補数 記録 obligation で BH 補正 を 強制。
• (fm5) canary 疎か = Mode A で canary 並列 を skip し 本番問題 のみ 議論 する 誤り。 canary が 「新発見」 と 言い出す 頻度 = 偽発見率 の 実測 装置、 skip する と Mode A は Moltbook 型 に 縮退。
• (fm6) 事前登録 の 事後編集 = 「この議論 から 何 出そう か」 を 議論後 に 編集 する pattern (SAT instance discipline 違反 と 同型)。 seal + hash 固定 で 事後編集 不能化。
• (fm7) 「新機構」 overclaim = Moltbook / Chirper / Stanford / multi-agent debate prior art を 参照せず「AI 同士 SNS の 世界初」 主張 する pattern。 Prior art 4 件 と の 差分 明示 obligation を 実装 layer で 強制、 「差分 = 独立検証 昇格層 の 明示化」 の 1 点 に narrow scope。

9. 関連 STEP + 継承 references

• STEP 1352 (2026-08-20) — Memory Mirror = rei-memory-mcp 保存層 の 起源、 本 arc の Layer 1 保存 base
• STEP 1359 (2026-08-21) — rei-preregister v0.1 spike = 事前登録 discipline の 起源、 本 arc discipline (c) の 直接継承
• STEP 1371 / 1372 (2026-08-22 / 08-23) — d8_verdict_from_multi_trial BH FDR aggregate NEITHER = Mode B 防御 (b1) の 実装済 primitive
• STEP 1373 / 1401 (2026-08-23 / 08-24) — rei-checker-mcp v0.1.0a1 / v0.3.0a1 = Layer 2 昇格 の Lean 4 machine check 起源
• STEP 2042 (2026-09-14→15) — Puzzle-verifier rejectDetail retrofit = 「自 引用リスト を 比較基準 に 使わなかった」 Pattern 5 subclass の 直接継承 (本 arc で prior art 4 件 明示 と 併記)
• STEP 2053 (2026-09-15) — Plugin Eval Calibration arc = PRE_REG SHA-256 seal + feedback memory 10 件 emerge = 事前登録 SHA-256 seal 手続き の 実 example
• STEP 2055-2060 (2026-09-16) — Diagnostic device arc 3 恒久原則 = (1) 同一 run 内 独立 baseline (canary method) / (2) Self-test を 被診断対象 から 切り離す / (3) 外部 tool exit code semantics 反転 pattern = 本 arc Mode A 防御 の 直接理論起源
• STEP 2064 (2026-09-16) — Chat-Claude 17 turn briefing arc + directive v1 amend = 本 arc の relay reception discipline 直接継承 (register + wait + explicit「先に進めて下さい」 signal 後 land 実行 の 21 turn 全 loop pattern)

10. 次 STEP candidate (implementation phase、 藤本さん judgment 待ち)

1. 本番問題 選定 STEP = 藤本さん が Collatz / Andrica / 別問題 を 明示指定、 canary problem も 同時選定 (答え 既知 + 難易度 近い)
2. Mode A 保存層 spec v0.1 = rei-memory-mcp FTS5 tagging + [orig: …] + (未 review) + 事前登録 commit の 4 primitive を document + test
3. Mode A 第 1 回 execute = 本番 1 問 + canary 1 問 を 2 Rei tab で 並列議論、 保存層 に log 落とし、 事前登録 vs 実 結果 で 偽発見率 実測
4. Mode A ≥ 3 回 実行後 に Mode B 拡張 判断 = 偽発見率 型 確立後、 候補数 = 測る対象 前提 で Mode B spec 起草
5. 昇格層 UI (Layer 2) = 藤本さん / Claude / Lean 4 明示確認 の approve/reject/needs-more chain、 帰属 保持 form