Research Log 2026-08-27 — 龍樹の空 コンビナート arc (α)(β)(γ)

藤本さん 問: 「学習用機材 コネクタ用龍樹の空 ツール、 マシン、 タイムマシン、 大事なのは 出力機」

chat-Claude 直言: 「質問が 一段 深くなりました。 前回まで は 「AI の 出力に 空きがある」 話でしたが、 今度は その空きを 埋める側の 器具そのもの を AI が 作れるか、 という 問いですね。 答えは、 作れないもの が 確かに あります。」

「AI が 出力できない コネクタ 5 種」 (chat-Claude 直言)

• 署名 コネクタ — 結果を 引き受ける 主体でしか 型が 合わない
• 実測 コネクタ — 世界に触って 値を取る 器具。 私が 出した瞬間に 実測でなくなる
• 他者 コネクタ — 独立な 視点。 私が 「他者の意見」 を書くと 同じ分布からの 再生成、 独立性 消える
• 時間 コネクタ — 経過そのものが 変換内容。 内容として 出力できない
• 信頼 コネクタ — 関係履歴 が 変換係数。 私は 毎回 関係ゼロから 始まる

設計上の 帰結 (chat-Claude、 本 arc の 核)

中間表現の owner field は、 connector にも 必要 です。 端子だけでなく コネクタ自体に 「誰が持ち込んだか」 を 刻む。 AI 製 コネクタで 繋がれた辺 と、 人間・実測・時間が 持ち込んだ コネクタで 繋がれた辺 は、 同じ配線でも 強度が 違う。

4 world-first machine 候補 (chat-Claude 提案)

1. ゴースト配線検出器 (マシン) — 真だが 不当な 配線 の 判定
2. 時間コネクタ (コネクタ) — 経過時間 そのもの が 変換
3. 非有非無 端子 (端子) — NULL/Unknown と 別 の 「問い 不成立」 状態
4. 自己開放端 出力機 (出力機) — 答え + 開放端一覧 を 副産物

コンビナート として 連結: 4→1→2→(戻り)、 3 が 共通 protocol (pipe 口径)。 chat-Claude: 「廃棄物ゼロ 循環。 開放端 が 原料である、 が 成立条件」。

藤本さん directive 「(α) から 順番に」 で 5 段 arc pickup 開始 (δ 実測端子 は 藤本さん 帰宅後、 skip)。

• 2 新 module: src/aios/connector-graph/ + open-end-tags/、 全 7 file
• 1 新 教材 site page: 非有非無 端子 教材 (4 状態 × 12 具体例)
• 102 test assertion 全 PASS (73 + 29、 arc β は 教材 site で unit test なし、 arc ε は site verify で 別途)
• MCP wire なし = 全 spike level、 藤本さん judgment 待ち (chat-Claude 「先に 配管を 固定」 遵守)
• STEP 1414-1442 arc の tool は 依然 honestScope: string[] = **migration 未実施** (別 STEP defer)

chat-Claude 提案 の 4 machine コンビナート、 現状 実装 / 未実装 mapping:

   ┌──────────────────────────────────────────────────────────────┐
   │                    コンビナート 循環                          │
   │                                                              │
   │   #4 自己開放端 出力機 (STEP 1450 = OpenEndTag 生成) ✓       │
   │      │                                                       │
   │      │ 副産物 = OpenEndTag[] with severity + requiredOwner   │
   │      ▼                                                       │
   │   #1 ゴースト配線検出器 (未実装、 別 STEP) ✗                 │
   │      │                                                       │
   │      │ 赤配線 = 真だが不当 の 配線                            │
   │      ▼                                                       │
   │   #2 時間コネクタ (STEP 1448 type-level のみ、 runtime 未) △ │
   │      │                                                       │
   │      │ 満期 待ち list                                        │
   │      ▼                                                       │
   │   (満期) → puzzle 盤面 に 戻る                               │
   │                                                              │
   │   共通 protocol: #3 非有非無 端子 (STEP 1448 NodeState +     │
   │                   STEP 1449 教材) ✓                          │
   │                                                              │
   └──────────────────────────────────────────────────────────────┘
  

状態:

• ✓ = 本 arc で 実装 (schema + 教材)
• △ = schema (type) は 実装、 runtime は 未 (別 STEP)
• ✗ = 未実装 (別 STEP、 大規模)

STEP 1448 で OwnerKind 8 種 として 明示、 isUnreachable() helper で 分類:

実 fixture (FIXTURE_MEASUREMENT_VS_AI): 1 measured connector (strength 7) vs 10 AI-generated connectors (strength 1) が 同じ target port に 収束。 strength diff = 6 = 「同じ盤面上で 等価に 見えない」 の 型 level 保証。

詳細 教材 (12 具体例 + Quiz + 混同 の 帰結): 非有非無 端子 教材 (STEP 1449)

type OpenEndKind =
  | 'unowned-connector'        // STEP 1448 discipline 違反 (always blocking)
  | 'undefined-symbol'         // symbol 未登録
  | 'defer-item'               // 未実装 / 別 STEP
  | 'scope-limit'              // spike scope 外
  | 'external-limit'           // 別 repo / 外部依存
  | 'unverified-number'        // 数値主張 だが 実測未確認
  | 'measurement-required'     // → measured owner
  | 'signature-required'       // → human-approved owner
  | 'time-required'            // → time-matured owner
  | 'independent-view-required'// → independent-view owner
  | 'free-form';               // 分類不能 (「何か出す を 禁じる」 discipline)

Priority order (specific → general): unowned > undefined > defer > scope > external > unverified > measurement > signature > time > independent-view > free-form

Discipline: **Keyword hit なし → free-form** (「分類しない」 を 明示的 に 選ぶ、 推測しない)。 requiredOwnerKind は kind 特定時 のみ set (未特定 = undefined、 推測 しない)。

• GitHub commit trail:
  • STEP 1448: 92089d142 (connector-graph schema)
  • STEP 1449: 0d8b62ecc (非有非無 端子 教材)
  • STEP 1450: 0829a6520 (OpenEndTag 構造化)
• TS source:
  • src/aios/connector-graph/ (STEP 1448)
  • src/aios/open-end-tags/ (STEP 1450)
• 教材 site pages:
  • 非有非無 端子 教材 (STEP 1449) — 4 状態 × 12 具体例 + Quiz 4
• Related site pages:
  • 2026-08-27 chat-Claude thread arc (A)(B)(C) 3 spike (STEP 1442) — 直前 arc
  • 2026-08-27 dimension_check × D-FUMT₈ arc (STEP 1414-1428) — 起点 arc