@cocorograph/hub-agent 0.7.64 → 0.7.65

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cocorograph/hub-agent",
-  "version": "0.7.64",
+  "version": "0.7.65",
   "description": "Hub Hosted Cockpit のローカル常駐 agent。Hub と outbound WSS で接続し、ローカルの tmux/pty を中継する。",
   "type": "module",
   "license": "UNLICENSED",

package/src/hub-bundle.mjs

@@ -20,6 +20,7 @@ import { promises as fs } from "node:fs"
 import path from "node:path"
 import os from "node:os"
 import { spawn } from "node:child_process"
+import { randomBytes } from "node:crypto"
 
 const HUB_AI_RULES_BEGIN = "<!-- BEGIN HUB-AI-RULES -->"
 const HUB_AI_RULES_END = "<!-- END HUB-AI-RULES -->"
@@ -469,7 +470,360 @@ export async function applyCodexMcpServers(bundle, { logger } = {}) {
       skipped.push(s.name)
     }
   }
-  return { added, skipped }
+  // MCP 承認モードを `~/.codex/config.toml` に反映する（2026-07-15）。
+  // ⚠️ `codex mcp add` には承認モードの永続設定オプションが無いため、Bundle が宣言した
+  // `default_tools_approval_mode` を config.toml の `[mcp_servers.<name>]` テーブルへ直接
+  // マージする。add の成否に関わらず全 target に対して実行する（add が「already exists」で
+  // 失敗しても承認設定は更新する要件）。config 破壊を避けるため fail-soft（warn のみ）。
+  let approvalUpdated = []
+  try {
+    const res = await applyCodexMcpApprovalModes(servers, { logger })
+    approvalUpdated = res.updated
+  } catch (err) {
+    logger?.warn({ err: err.message }, "codex MCP approval mode の config.toml 反映に失敗")
+  }
+  return { added, skipped, approvalUpdated }
+}
+
+// Codex の MCP サーバーごと承認モードとして `~/.codex/config.toml` へ書いてよい許可値
+// （Codex 公式値: auto / prompt / writes / approve）。Bundle backend でロール判定後に
+// フィルタ済みだが、hub-agent 側でも defense-in-depth で検証し、不正値は端末設定へ流さない。
+const _CODEX_MCP_APPROVAL_MODES = new Set(["auto", "prompt", "writes", "approve"])
+
+/**
+ * `~/.codex/config.toml` の絶対パスを解決する。`codex mcp add` が書く実ファイルと一致
+ * させるため、codex 本体と同じく `CODEX_HOME` を最優先で見る。次に hub-agent の
+ * `CODEX_DIR` override（既存テスト/運用）、最後に `~/.codex` にフォールバックする。
+ * Windows/macOS/Linux とも `os.homedir()`（Windows は USERPROFILE）で解決する。
+ */
+function resolveCodexConfigPath() {
+  const dir =
+    process.env.CODEX_HOME || process.env.CODEX_DIR || path.join(os.homedir(), ".codex")
+  return path.join(dir, "config.toml")
+}
+
+/**
+ * config.toml テキストへ、`[mcp_servers.<name>]` テーブルの `url` /
+ * `default_tools_approval_mode` を**テーブル単位でサージカルに** upsert して返す（純関数）。
+ *
+ * 設計（config 全体を再生成しない・既存を壊さない）:
+ *  - 対象テーブルの行範囲（ヘッダ行の次〜次の `[...]` テーブルヘッダ直前）だけを編集する。
+ *    他テーブル・model / approval_policy / projects / profiles / hooks・コメント・未知設定は
+ *    一切触らない。
+ *  - 既存キーは行内で値だけ差し替え（インデント保持）。無ければヘッダ直後に 1 行挿入する。
+ *    → 何度呼んでも同名キー・同名テーブルを重複させない（冪等）。
+ *  - テーブル自体が無ければ末尾に新規テーブルを追記する（呼び出し側が Bundle 由来の
+ *    server のみ渡す前提。一般ユーザー環境に `hub_staff` を作らないのは呼び出し側の責務）。
+ *  - 不正な approvalMode は無視（url のみ・または no-op）。改行コード（LF/CRLF）は維持する。
+ *
+ * @param {string} configText
+ * @param {{name: string, url?: string, approvalMode?: string}} opts
+ * @returns {string}
+ */
+export function upsertCodexMcpApprovalMode(configText, { name, url, approvalMode } = {}) {
+  if (!name) return configText
+  const mode = _CODEX_MCP_APPROVAL_MODES.has(approvalMode) ? approvalMode : null
+  const kv = []
+  if (typeof url === "string" && url) kv.push(["url", JSON.stringify(url)])
+  if (mode) kv.push(["default_tools_approval_mode", JSON.stringify(mode)])
+  if (kv.length === 0) return configText
+
+  const eol = configText.includes("\r\n") ? "\r\n" : "\n"
+  const lines = configText.split(/\r?\n/)
+  const headerBare = `[mcp_servers.${name}]`
+  const headerQuoted = `[mcp_servers."${name}"]`
+
+  let headerIdx = -1
+  for (let i = 0; i < lines.length; i++) {
+    const t = lines[i].trim()
+    if (t === headerBare || t === headerQuoted) {
+      headerIdx = i
+      break
+    }
+  }
+
+  if (headerIdx === -1) {
+    // 標準形ヘッダが無い。ただし **ドット記法 / インラインテーブル / 空白入りヘッダ**
+    // （`mcp_servers.hub.url = ...` / `mcp_servers.hub = {..}` / `[mcp_servers . hub]`）で
+    // 既に定義されている場合、標準テーブルを追記すると重複定義（不正 TOML）になる。安全側で
+    // 何も変えずに返す（apply 側がスキップ扱いにする）。2026-07-15 レビュー指摘対応。
+    if (_codexServerAlreadyDefined(configText, name)) return configText
+    // 真に未定義 → 末尾に新規追記（Bundle 由来 server のみ・呼び出し側が保証）。
+    const block = [headerBare, ...kv.map(([k, v]) => `${k} = ${v}`)].join(eol)
+    let base = configText
+    if (base.length > 0 && !/\r?\n$/.test(base)) base += eol
+    const sep = base.length > 0 ? eol : "" // 既存内容とテーブルの間に空行を 1 つ挟む
+    return base + sep + block + eol
+  }
+
+  // テーブル終端 = 次の `[...]`（テーブル/配列テーブル）ヘッダ直前、無ければ末尾。
+  let endIdx = lines.length
+  for (let j = headerIdx + 1; j < lines.length; j++) {
+    if (lines[j].trim().startsWith("[")) {
+      endIdx = j
+      break
+    }
+  }
+
+  const toInsert = []
+  let urlLineIdx = -1
+  for (const [key, valStr] of kv) {
+    const re = new RegExp(`^(\\s*)${key}\\s*=`)
+    let found = -1
+    for (let i = headerIdx + 1; i < endIdx; i++) {
+      if (re.test(lines[i])) {
+        found = i
+        break
+      }
+    }
+    if (found >= 0) {
+      // 値だけ差し替え、インデント・キー左辺・**行末インラインコメント**を保持する。
+      lines[found] = _replaceTomlStringValue(lines[found], key, valStr)
+      if (key === "url") urlLineIdx = found
+    } else {
+      toInsert.push(`${key} = ${valStr}`)
+    }
+  }
+  if (toInsert.length) {
+    // 挿入位置: 既存 url 行があればその直後（url → 承認モードの順で可読）、
+    // 無ければヘッダ直後（この場合 kv 順で url→承認モードが入る）。
+    const anchor = urlLineIdx >= 0 ? urlLineIdx + 1 : headerIdx + 1
+    lines.splice(anchor, 0, ...toInsert)
+  }
+  return lines.join(eol)
+}
+
+/**
+ * Bundle の mcp_servers のうち承認モードを宣言したものについて、`~/.codex/config.toml` の
+ * 該当テーブルへ `default_tools_approval_mode`（と url）を安全マージする。
+ *
+ *  - 承認モードが許可値でない server はスキップ（不正値を端末設定へ流さない）。
+ *  - 変更が無ければ書き込まない（完全冪等）。
+ *  - 書き込みは同一ディレクトリの一時ファイル → atomic rename（部分失敗で壊れた config を
+ *    残さない）。rename が失敗した場合は破壊的フォールバックを行わず中止し、既存 config を無変更で維持する。
+ *
+ * @param {Array<{name?: string, url?: string, default_tools_approval_mode?: string}>} servers
+ * @param {{configPath?: string, logger?: any, fsImpl?: any, isWindows?: boolean}} [opts]
+ *   configPath 省略時は resolveCodexConfigPath()。fsImpl / isWindows はテスト用の注入点（既定は実 fs / 実 OS）。
+ * @returns {Promise<{updated: string[], skipped: string[]}>}
+ */
+export async function applyCodexMcpApprovalModes(
+  servers,
+  { configPath, logger, fsImpl = fs, isWindows = process.platform === "win32" } = {},
+) {
+  const targets = (Array.isArray(servers) ? servers : []).filter(
+    (s) => s?.name && _CODEX_MCP_APPROVAL_MODES.has(s?.default_tools_approval_mode),
+  )
+  if (targets.length === 0) return { updated: [], skipped: [] }
+
+  const cfgPath = configPath || resolveCodexConfigPath()
+  let text = ""
+  // 既存ファイルの権限（mode）を引き継ぐ。config.toml には MCP の静的ヘッダ等の秘密が入り得る
+  // ため、新規作成は 0o600 に固定する（デフォルト権限 0644 で秘密を晒さない）。2026-07-15 対応。
+  let fileMode = 0o600
+  try {
+    const st = await fsImpl.stat(cfgPath)
+    fileMode = st.mode & 0o777
+    text = await fsImpl.readFile(cfgPath, "utf-8")
+  } catch (err) {
+    if (err.code !== "ENOENT") throw err
+    text = "" // 新規環境: 空から始める（mode は 0o600 のまま）
+  }
+
+  let next = text
+  const updated = []
+  const skipped = []
+  for (const s of targets) {
+    const candidate = upsertCodexMcpApprovalMode(next, {
+      name: s.name,
+      url: s.url,
+      approvalMode: s.default_tools_approval_mode,
+    })
+    if (candidate === next) {
+      // 変化なし。原因が「既に正しく反映済み（＝ no-op）」か「非標準形で upsert が編集を拒否した」
+      // かを検証で区別する。標準テーブルが健全なら no-op、そうでなければ適用不能としてスキップ報告。
+      if (!_verifyCodexServerTable(next, s.name, s.default_tools_approval_mode)) {
+        logger?.warn(
+          { name: s.name },
+          "codex config.toml の該当テーブルを安全に編集できないためスキップ（既存 config は不変）",
+        )
+        skipped.push(s.name)
+      }
+      continue
+    }
+    // ⚠️ 安全ネット: 書き込み前に「その server のテーブルが標準形でちょうど 1 つ・承認モードが
+    // 期待値でちょうど 1 つ・url は高々 1 つ・他形式（空白入り/インライン）の重複定義が無い」
+    // ことを検証する。素の文字列編集が非標準 config で誤動作しても、ここで弾いて **既存 config を
+    // 一切書き換えない**（worst case = 承認設定が付かない＝現状維持）。
+    if (!_verifyCodexServerTable(candidate, s.name, s.default_tools_approval_mode)) {
+      logger?.warn(
+        { name: s.name },
+        "codex config.toml の該当テーブルを安全に編集できないためスキップ（既存 config は不変）",
+      )
+      skipped.push(s.name)
+      continue
+    }
+    next = candidate
+    updated.push(s.name)
+  }
+  if (next === text) return { updated: [], skipped } // 冪等 no-op / 全スキップ
+
+  // ⚠️ 失敗しても既存 config.toml を必ず維持する fail-safe な atomic write。
+  await _atomicWriteFilePreserving(cfgPath, next, fileMode, { fsImpl, isWindows, logger })
+  logger?.info({ updated, skipped }, "codex MCP approval mode を config.toml へ反映")
+  return { updated, skipped }
+}
+
+/**
+ * 失敗しても既存ファイルを必ず維持する atomic write（同一ディレクトリ一時ファイル → rename）。
+ *
+ * 要件（2026-07-15 レビュー指摘対応）:
+ *  - Unix では `chmod` 失敗で中止する（緩い権限 0644 の一時ファイルを本番化しない）。Windows は
+ *    POSIX 権限概念が無いので chmod は best-effort（失敗無視）。
+ *  - 一時ファイルは**最初から 0o600** で作成し（作成直後の 0644 露出を防ぐ）、その後に既存 mode へ合わせる。
+ *  - 置換は全 OS で `rename`（libuv が Windows でも MOVEFILE_REPLACE_EXISTING で既存を原子置換）。
+ *    rename は「完全成功」か「原本無変更」のどちらかなので、**失敗時は破壊的フォールバック（退避/削除）を
+ *    一切行わず throw** し、既存 config を必ず無変更で維持する（退避方式は置換+復元の二重失敗で消失しうるため廃止）。
+ *  - 一時ファイルは PID + ランダム値で命名（並行実行の衝突回避）し、`finally` で必ず削除する。
+ *
+ * @param {string} targetPath
+ * @param {string} content
+ * @param {number} mode
+ * @param {{fsImpl?: any, isWindows?: boolean, logger?: any}} [opts]
+ */
+async function _atomicWriteFilePreserving(
+  targetPath,
+  content,
+  mode,
+  { fsImpl = fs, isWindows = process.platform === "win32", logger } = {},
+) {
+  const dir = path.dirname(targetPath)
+  const base = path.basename(targetPath)
+  const rand = randomBytes(6).toString("hex")
+  const tmp = path.join(dir, `.${base}.hub-tmp-${process.pid}-${rand}`)
+  await fsImpl.mkdir(dir, { recursive: true })
+  try {
+    // 一時ファイルは**最初から 0o600** で作成する。writeFile の mode 未指定だと作成直後は 0644 に
+    // なり、config 内の静的ヘッダ等の秘密が一瞬でも world-readable に晒される（2026-07-15 指摘）。
+    await fsImpl.writeFile(tmp, content, { encoding: "utf-8", mode: 0o600 })
+    if (isWindows) {
+      // Windows は POSIX 権限が無い。既存 mode への合わせ込みは best-effort（失敗無視）。
+      try {
+        await fsImpl.chmod(tmp, mode)
+      } catch {
+        /* ignore on Windows */
+      }
+    } else {
+      // Unix: 既存ファイルの mode に合わせる。失敗したら中止（緩い権限のまま本番化しない）。
+      await fsImpl.chmod(tmp, mode)
+    }
+    // 全 OS で既存を原子置換する（libuv は Windows でも MOVEFILE_REPLACE_EXISTING で置換）。
+    // ⚠️ rename は「完全成功」か「原本無変更」のどちらかで、部分状態を残さない。よって失敗時は
+    // **破壊的フォールバック（原本を退避/削除する方式）を一切行わず throw** し、原本を必ず維持する。
+    // 退避方式は「置換失敗 + 復元失敗」で config.toml を消滅させうるため廃止（2026-07-15 指摘）。
+    await fsImpl.rename(tmp, targetPath)
+  } catch (err) {
+    logger?.warn(
+      { err: err?.message, path: targetPath },
+      "codex config.toml への安全な書き込みに失敗（既存 config は無変更で維持）",
+    )
+    throw err
+  } finally {
+    // 成功時 tmp は rename 済みで存在しない（force で no-op）。失敗時の残骸を必ず掃除する。
+    await fsImpl.rm(tmp, { force: true }).catch(() => {})
+  }
+}
+
+function _escapeRegExp(s) {
+  return String(s).replace(/[.*+?^${}()|[\]\\]/g, "\\$&")
+}
+
+/**
+ * `name` の MCP サーバーが config.toml に**何らかの形で既に定義されている**かを判定する。
+ * 標準形ヘッダ `[mcp_servers.<name>]`（空白/引用ゆらぎ含む）に加え、**ドット記法**
+ * （`mcp_servers.<name>.url = ...`）・**インラインテーブル**（`mcp_servers.<name> = {..}`）も検出する。
+ * これらは標準テーブルを追記すると TOML の重複定義になるため、呼び出し側は変更をスキップする。
+ */
+function _codexServerAlreadyDefined(text, name) {
+  const n = _escapeRegExp(name)
+  const bracket = new RegExp(`^\\s*\\[\\s*mcp_servers\\s*\\.\\s*"?${n}"?\\s*\\]\\s*$`, "m")
+  // `mcp_servers.<name>` の後が `.`（ドット記法サブキー）または `=`（インラインテーブル）。
+  const dotted = new RegExp(`^\\s*mcp_servers\\s*\\.\\s*"?${n}"?\\s*(\\.|=)`, "m")
+  return bracket.test(text) || dotted.test(text)
+}
+
+/**
+ * TOML の `key = "..."` 行について、**値（クォート文字列）だけ**を差し替えて返す。
+ * インデント・キー左辺・行末インラインコメント（`# ...`）を保持する。値がクォート文字列で
+ * 無い等でマッチしない場合はインデント保持の全置換にフォールバックする。
+ */
+function _replaceTomlStringValue(line, key, quotedVal) {
+  const k = _escapeRegExp(key)
+  // group1 = "<indent>key = "、次に既存のクォート文字列（エスケープ対応）、group2 = 行末（コメント等）。
+  const re = new RegExp(`^(\\s*${k}\\s*=\\s*)"(?:[^"\\\\]|\\\\.)*"(.*)$`)
+  const m = line.match(re)
+  if (m) return `${m[1]}${quotedVal}${m[2]}`
+  const indent = line.match(/^(\s*)/)[1]
+  return `${indent}${key} = ${quotedVal}`
+}
+
+/**
+ * マージ結果の config.toml テキストで、`name` の MCP サーバーテーブルが**安全に**編集された
+ * 状態か検証する（書き込み前のフェイルセーフ）。以下を全て満たすときのみ true:
+ *  - 標準形ヘッダ `[mcp_servers.<name>]`（空白/引用ゆらぎ含む）がちょうど 1 つで、それが厳密な
+ *    標準形である（重複テーブルや空白入り別形を作っていない）。
+ *  - `mcp_servers.<name> = { ... }` のインラインテーブル/ドット記法定義が存在しない。
+ *  - その標準テーブル内で `default_tools_approval_mode` がちょうど 1 つ、値が期待どおり。
+ *  - `url` は高々 1 つ（重複していない）。
+ * いずれか外れたら false（＝呼び出し側は書き込まず既存 config を保持する）。
+ */
+function _verifyCodexServerTable(text, name, mode) {
+  const n = _escapeRegExp(name)
+  const lines = text.split(/\r?\n/)
+  const bracketRe = new RegExp(`^\\s*\\[\\s*mcp_servers\\s*\\.\\s*"?${n}"?\\s*\\]\\s*$`)
+  // ドット記法サブキー（`mcp_servers.hub.url = ...`）とインラインテーブル（`mcp_servers.hub = {..}`）
+  // の両方を検出する。`<name>` の後が `.` か `=` のどちらでも拾う（2026-07-15 レビュー指摘対応）。
+  const dottedRe = new RegExp(`^\\s*mcp_servers\\s*\\.\\s*"?${n}"?\\s*(\\.|=)`)
+  const headerBare = `[mcp_servers.${name}]`
+  const headerQuoted = `[mcp_servers."${name}"]`
+
+  let bracketCount = 0
+  let dottedCount = 0
+  let stdHeaderIdx = -1
+  for (let i = 0; i < lines.length; i++) {
+    if (bracketRe.test(lines[i])) {
+      bracketCount++
+      const t = lines[i].trim()
+      if (t === headerBare || t === headerQuoted) stdHeaderIdx = i
+    }
+    if (dottedRe.test(lines[i])) dottedCount++
+  }
+  if (bracketCount !== 1 || dottedCount !== 0 || stdHeaderIdx < 0) return false
+
+  let end = lines.length
+  for (let j = stdHeaderIdx + 1; j < lines.length; j++) {
+    if (lines[j].trim().startsWith("[")) {
+      end = j
+      break
+    }
+  }
+  let modeCount = 0
+  let urlCount = 0
+  let modeOk = false
+  const expectedVal = JSON.stringify(mode) // 例: "approve"
+  // 値（クォート文字列）だけを解析し、行末インラインコメント（` # ...`）は許容する。
+  // 行全体の厳密一致にすると `default_tools_approval_mode = "approve" # keep` を弾いてしまい、
+  // upsert が正しく更新しても書き込みがスキップされて古い値が残る（2026-07-15 レビュー指摘）。
+  const modeValRe = /^\s*default_tools_approval_mode\s*=\s*("(?:[^"\\]|\\.)*")\s*(?:#.*)?$/
+  for (let i = stdHeaderIdx + 1; i < end; i++) {
+    if (/^\s*default_tools_approval_mode\s*=/.test(lines[i])) {
+      modeCount++
+      const m = lines[i].match(modeValRe)
+      if (m && m[1] === expectedVal) modeOk = true
+    }
+    if (/^\s*url\s*=/.test(lines[i])) urlCount++
+  }
+  return modeCount === 1 && modeOk && urlCount <= 1
 }
 
 /**