chocomint 1.0.0

data/lib/chocomint/server.rb

@@ -0,0 +1,863 @@
+# frozen_string_literal: true
+
+require "webrick"
+require "json"
+require "securerandom"
+require "cgi"
+require_relative "errors"
+require_relative "logger/sqlite_logger"
+require_relative "edit_handlers"
+require_relative "edit_git_handlers"
+
+module Chocomint
+  # 監督完結型の Anthropic Messages API 互換プロキシサーバー。
+  #
+  # POST /v1/messages でユーザー要求を受け取り、Orchestrator に委譲して
+  # ツール実行・機械検証・意味検証・再試行・監査ログまで完結させ、
+  # 保証済みの結果を Anthropic 形式のレスポンスとして返す。
+  #
+  # 通常の LLM API との違い: 「提案」ではなく「実行が保証された結果」を返す。
+  class Server
+    include EditHandlers
+    include EditGitHandlers
+
+    # planner: Planner インスタンス (run(request, expectations:) -> Planner::Result)。
+    # edit UI 用に PathGuard / base_dir / vendor / console 情報も受け取る (任意)。
+    # chat_client: 会話 (ツール不要の質問) を判定・応答する ChatClient (任意)。
+    #   未指定なら /edit チャットは従来どおり全指示を Planner に流す。
+    def initialize(planner, host: "127.0.0.1", port: 9210, logger: $stderr,
+                   sqlite_path: nil, path_guard: nil, base_dir: Dir.pwd,
+                   max_file_bytes: 10_485_760, ws_port: nil, ws_token: nil,
+                   chat_client: nil)
+      @planner = planner
+      @chat_client = chat_client
+      @host = host
+      @port = port
+      @logger = logger
+      @sqlite_path = sqlite_path
+      @path_guard = path_guard
+      @base_dir = base_dir
+      @max_file_bytes = max_file_bytes
+      @ws_port = ws_port
+      @ws_token = ws_token
+      @vendor_dir = File.expand_path("../../public/vendor", __dir__)
+      @edit_static_dir = File.expand_path("../../public/edit", __dir__)
+    end
+
+    # 指定ポートが使用中なら、この範囲内で連番の空きポートを探す (0 なら無制限に探索しない)。
+    PORT_FALLBACK_RANGE = 20
+
+    def start
+      server = bind_server_with_fallback
+
+      server.mount_proc("/v1/messages") { |req, res| handle_messages(req, res) }
+      server.mount_proc("/health") { |_req, res| ok_json(res, { "status" => "ok" }) }
+      server.mount_proc("/logs") { |req, res| handle_logs(req, res) }
+      server.mount_proc("/logs/detail") { |req, res| handle_log_detail(req, res) }
+      server.mount_proc("/logs/llm") { |req, res| handle_llm_logs(req, res) }
+
+      # AI エディタ (/edit)。PathGuard が注入されているときのみ有効化する。
+      if @path_guard
+        server.mount_proc("/edit") { |req, res| handle_edit(req, res) }
+        server.mount_proc("/edit/assets") { |req, res| handle_edit_asset(req, res) }
+        server.mount_proc("/edit/static") { |req, res| handle_edit_static(req, res) }
+        server.mount_proc("/edit/files") { |req, res| handle_edit_files(req, res) }
+        server.mount_proc("/edit/file") { |req, res| handle_edit_file(req, res) }
+        server.mount_proc("/edit/save") { |req, res| handle_edit_save(req, res) }
+        server.mount_proc("/edit/chat") { |req, res| handle_edit_chat(req, res) }
+        server.mount_proc("/edit/compact") { |req, res| handle_edit_compact(req, res) }
+        # ファイル操作 (右クリックメニュー): 削除 / 名前変更 / 追加。
+        server.mount_proc("/edit/fs/delete") { |req, res| handle_edit_fs_delete(req, res) }
+        server.mount_proc("/edit/fs/rename") { |req, res| handle_edit_fs_rename(req, res) }
+        server.mount_proc("/edit/fs/mkdir") { |req, res| handle_edit_fs_mkdir(req, res) }
+        server.mount_proc("/edit/fs/touch") { |req, res| handle_edit_fs_touch(req, res) }
+        # Git 操作 (ステータスバー / WORKING DIRECTORY パネル)。
+        server.mount_proc("/edit/git/status") { |req, res| handle_edit_git_status(req, res) }
+        server.mount_proc("/edit/git/init") { |req, res| handle_edit_git_init(req, res) }
+        server.mount_proc("/edit/git/stage") { |req, res| handle_edit_git_stage(req, res) }
+        server.mount_proc("/edit/git/unstage") { |req, res| handle_edit_git_unstage(req, res) }
+        server.mount_proc("/edit/git/stage_all") { |req, res| handle_edit_git_stage_all(req, res) }
+        server.mount_proc("/edit/git/unstage_all") { |req, res| handle_edit_git_unstage_all(req, res) }
+        server.mount_proc("/edit/git/discard") { |req, res| handle_edit_git_discard(req, res) }
+        server.mount_proc("/edit/git/commit") { |req, res| handle_edit_git_commit(req, res) }
+        server.mount_proc("/edit/git/push") { |req, res| handle_edit_git_push(req, res) }
+        server.mount_proc("/edit/git/remote") { |req, res| handle_edit_git_remote_set(req, res) }
+        server.mount_proc("/edit/git/branches") { |req, res| handle_edit_git_branches(req, res) }
+        server.mount_proc("/edit/git/checkout") { |req, res| handle_edit_git_checkout(req, res) }
+      end
+
+      trap("INT") { server.shutdown }
+      @logger.puts("chocomint proxy listening on http://#{@host}:#{@port}/v1/messages")
+      @logger.puts("chocomint editor available at http://#{@host}:#{@port}/edit") if @path_guard
+      server.start
+    end
+
+    # テスト・組み込み用: Rack 非依存で 1 リクエストを処理する純粋関数。
+    # body_hash(パース済み) -> [status, response_hash]
+    def process(body_hash)
+      request = extract_request(body_hash)
+      return [400, error_body("invalid_request_error", "no user message found")] if request.nil?
+
+      expectations = body_hash["expectations"] || body_hash.dig("metadata", "expectations")
+      result = @planner.run(request, expectations: expectations)
+      [200, success_body(result)]
+    rescue Chocomint::InvalidProposalError, Chocomint::UnknownToolError => e
+      [422, error_body("invalid_request_error", e.message)]
+    rescue Chocomint::RetryLimitExceededError => e
+      [502, error_body("execution_failed", e.message)]
+    rescue Chocomint::Error => e
+      [500, error_body("api_error", e.message)]
+    end
+
+    PAGE_SIZE = 100
+
+    # 監査ログをブラウザ表示するための HTML を組み立てる純粋関数。
+    # rows:      SqliteLogger#recent 相当の Hash 配列（当該ページ分）
+    # total:     全件数（trace_id 指定時はその trace の件数）
+    # page:      現在のページ（0 始まり）
+    # trace_id:  フィルタ中の trace_id（無ければ nil）
+    # -> [status, content_type, body]
+    def render_logs(rows, total: nil, page: 0, trace_id: nil)
+      total ||= rows.size
+      [200, "text/html; charset=utf-8",
+       logs_html(rows, total: total, page: page, trace_id: trace_id)]
+    end
+
+    private
+
+    # @port で Bind を試み、使用中なら @port+1, +2... と PORT_FALLBACK_RANGE 回まで試す。
+    # 成功したポートで @port を更新する。
+    # Windows は使用中ポートへの bind で EADDRINUSE ではなく EACCES を返すことがあるため両方を捕捉する。
+    def bind_server_with_fallback
+      candidate = @port
+      attempts = 0
+      begin
+        server = WEBrick::HTTPServer.new(
+          BindAddress: @host,
+          Port: candidate,
+          Logger: WEBrick::Log.new(@logger, WEBrick::Log::WARN),
+          AccessLog: []
+        )
+      rescue Errno::EADDRINUSE, Errno::EACCES
+        attempts += 1
+        raise if attempts > PORT_FALLBACK_RANGE
+
+        @logger.puts("chocomint: port #{candidate} is in use, trying #{candidate + 1}...")
+        candidate += 1
+        retry
+      end
+      @port = candidate
+      server
+    end
+
+    def handle_logs(req, res)
+      unless req.request_method == "GET"
+        return error_json(res, 405, "invalid_request_error", "method not allowed")
+      end
+      if @sqlite_path.nil?
+        return error_json(res, 503, "api_error", "log store not configured")
+      end
+
+      # 空文字は「フィルタなし」扱い。エンコーディング正規化は SqliteLogger 側で行う。
+      trace_id = req.query["trace_id"]
+      trace_id = nil if trace_id.nil? || trace_id.empty?
+      page = [(req.query["page"] || "0").to_i, 0].max
+
+      logger = Logger::SqliteLogger.new(@sqlite_path)
+      begin
+        total = logger.count(trace_id: trace_id)
+        rows = logger.recent(limit: PAGE_SIZE, offset: page * PAGE_SIZE, trace_id: trace_id)
+      ensure
+        logger.close
+      end
+
+      _status, content_type, body =
+        render_logs(rows, total: total, page: page, trace_id: trace_id)
+      res.status = 200
+      res["content-type"] = content_type
+      res.body = body
+    rescue Chocomint::Error, SQLite3::Exception => e
+      error_json(res, 500, "api_error", e.message)
+    end
+
+    # 監査ログ 1 件の詳細ページ (GET /logs/detail?id=N)。
+    def handle_log_detail(req, res)
+      unless req.request_method == "GET"
+        return error_json(res, 405, "invalid_request_error", "method not allowed")
+      end
+      if @sqlite_path.nil?
+        return error_json(res, 503, "api_error", "log store not configured")
+      end
+
+      id = req.query["id"].to_i
+      logger = Logger::SqliteLogger.new(@sqlite_path)
+      begin
+        row = logger.execution(id)
+      ensure
+        logger.close
+      end
+
+      unless row
+        res.status = 404
+        res["content-type"] = "text/html; charset=utf-8"
+        res.body = log_detail_not_found(id)
+        return
+      end
+      res.status = 200
+      res["content-type"] = "text/html; charset=utf-8"
+      res.body = log_detail_html(row)
+    rescue Chocomint::Error, SQLite3::Exception => e
+      error_json(res, 500, "api_error", e.message)
+    end
+
+    # LLM ペイロード一覧 (表)。?id=N があれば 1 件の詳細を表示する。
+    def handle_llm_logs(req, res)
+      unless req.request_method == "GET"
+        return error_json(res, 405, "invalid_request_error", "method not allowed")
+      end
+      if @sqlite_path.nil?
+        return error_json(res, 503, "api_error", "log store not configured")
+      end
+
+      id = req.query["id"]
+      return handle_llm_log_detail(res, id.to_i) if id && !id.empty?
+
+      trace_id = req.query["trace_id"]
+      trace_id = nil if trace_id.nil? || trace_id.empty?
+      page = [(req.query["page"] || "0").to_i, 0].max
+
+      logger = Logger::SqliteLogger.new(@sqlite_path)
+      begin
+        total = logger.llm_payload_count(trace_id: trace_id)
+        rows = logger.recent_llm_payloads(
+          limit: PAGE_SIZE, offset: page * PAGE_SIZE, trace_id: trace_id
+        )
+      ensure
+        logger.close
+      end
+
+      res.status = 200
+      res["content-type"] = "text/html; charset=utf-8"
+      res.body = llm_logs_html(rows, total: total, page: page, trace_id: trace_id)
+    rescue Chocomint::Error, SQLite3::Exception => e
+      error_json(res, 500, "api_error", e.message)
+    end
+
+    # ペイロード 1 件の詳細 (リクエスト + レスポンス全体)。
+    def handle_llm_log_detail(res, id)
+      logger = Logger::SqliteLogger.new(@sqlite_path)
+      begin
+        row = logger.llm_payload(id)
+        # 同じ trace のツール正常性判定 (status / verifier) を併記する。
+        outcomes = row ? logger.tool_outcomes(row["trace_id"]) : []
+      ensure
+        logger.close
+      end
+      unless row
+        res.status = 404
+        res["content-type"] = "text/html; charset=utf-8"
+        res.body = llm_detail_not_found(id)
+        return
+      end
+      res.status = 200
+      res["content-type"] = "text/html; charset=utf-8"
+      res.body = llm_detail_html(row, outcomes)
+    end
+
+    # 一覧の表列。id は詳細リンク、trace_id はフィルタリンクにする。
+    # content はレスポンスの返答要約 (text 冒頭 / tool_use:名前)。
+    LLM_COLUMNS = %w[no trace_id role model response_status content created_at].freeze
+
+    def llm_logs_html(rows, total:, page:, trace_id:)
+      base = trace_id ? "/logs/llm?trace_id=#{CGI.escape(trace_id)}&" : "/logs/llm?"
+      body_rows = rows.map { |row| llm_logs_row(row) }.join("\n")
+      <<~HTML
+        <!DOCTYPE html>
+        <html lang="ja">
+        <head>
+          <meta charset="utf-8">
+          <meta name="viewport" content="width=device-width, initial-scale=1">
+          <title>chocomint LLM ペイロード</title>
+          <style>
+            *, *::before, *::after { box-sizing: border-box; }
+            body { font-family: system-ui, sans-serif; margin: 1.5rem; color: #222; }
+            h1 { font-size: 1.25rem; }
+            .meta { color: #666; margin-bottom: 1rem; }
+            .filter { display: flex; align-items: center; gap: 0.5rem; margin-bottom: 1rem;
+                      flex-wrap: wrap; }
+            .filter code { background: #eef; padding: 0.1rem 0.4rem; border-radius: 3px; }
+            .btn { display: inline-block; padding: 0.3rem 0.7rem; border: 1px solid #ccc;
+                   border-radius: 4px; background: #fff; color: #222; cursor: pointer;
+                   text-decoration: none; font-size: 0.85rem; }
+            .btn:hover { background: #f0f0f0; }
+            .btn[aria-disabled="true"] { opacity: 0.4; pointer-events: none; }
+            .table-wrap { overflow-x: auto; -webkit-overflow-scrolling: touch;
+                          border: 1px solid #ddd; border-radius: 4px; }
+            table { border-collapse: collapse; width: 100%; font-size: 0.85rem; }
+            th, td { border: 1px solid #ddd; padding: 0.4rem 0.5rem; text-align: left;
+                     white-space: nowrap; }
+            th { background: #f5f5f5; position: sticky; top: 0; }
+            td.no a, td.trace a { color: #1155cc; text-decoration: none; }
+            td.no a:hover, td.trace a:hover { text-decoration: underline; }
+            td.content { white-space: normal; max-width: 28rem; color: #444; }
+            tr:nth-child(even) { background: #fafafa; }
+            .role-primary { color: #1155cc; font-weight: 600; }
+            .role-verifier { color: #7b1fa2; font-weight: 600; }
+            .empty { color: #888; }
+            .pager { display: flex; align-items: center; gap: 0.75rem; margin-top: 1rem; }
+          </style>
+        </head>
+        <body>
+          <h1>chocomint LLM ペイロード（実際に LLM へ送受信した全内容）</h1>
+          <div class="filter"><a class="btn" href="/logs">監査ログへ</a></div>
+          #{trace_id ? %(<p class="meta">trace_id で絞り込み中: <code>#{CGI.escapeHTML(trace_id)}</code> <a class="btn" href="/logs/llm">解除</a></p>) : ''}
+          <p class="meta">#{page_range_label(total, page)}</p>
+          <div class="table-wrap">
+            <table>
+              <thead>
+                <tr>#{LLM_COLUMNS.map { |c| "<th>#{CGI.escapeHTML(c)}</th>" }.join}</tr>
+              </thead>
+              <tbody>
+        #{rows.empty? ? %(<tr><td colspan="#{LLM_COLUMNS.size}" class="empty">ペイロードはありません</td></tr>) : body_rows}
+              </tbody>
+            </table>
+          </div>
+          #{llm_pager(total, page, base)}
+        </body>
+        </html>
+      HTML
+    end
+
+    def llm_logs_row(row)
+      role = row["role"].to_s
+      tid = row["trace_id"].to_s
+      id = row["id"].to_s
+      no_link = %(<a href="/logs/llm?id=#{CGI.escape(id)}">##{CGI.escapeHTML(id)}</a>)
+      trace_cell = tid.empty? ? "(なし)" : %(<a href="/logs/llm?trace_id=#{CGI.escape(tid)}">#{CGI.escapeHTML(tid)}</a>)
+      status = row["response_status"].nil? ? "-" : row["response_status"].to_s
+      content = content_summary(row["response_body"])
+      <<~ROW
+        <tr>
+          <td class="no">#{no_link}</td>
+          <td class="trace">#{trace_cell}</td>
+          <td class="role-#{CGI.escapeHTML(role)}">#{CGI.escapeHTML(role)}</td>
+          <td>#{CGI.escapeHTML(row['model'].to_s)}</td>
+          <td>#{CGI.escapeHTML(status)}</td>
+          <td class="content">#{CGI.escapeHTML(content)}</td>
+          <td>#{CGI.escapeHTML(row['created_at'].to_s)}</td>
+        </tr>
+      ROW
+    end
+
+    # ペイロード詳細ページ (リクエスト + レスポンス + ツール正常性判定)。
+    def llm_detail_html(row, outcomes = [])
+      role = row["role"].to_s
+      tid = row["trace_id"].to_s
+      trace_link = tid.empty? ? "(なし)" : %(<a href="/logs/llm?trace_id=#{CGI.escape(tid)}">#{CGI.escapeHTML(tid)}</a>)
+      status = row["response_status"].nil? ? "(未記録)" : row["response_status"].to_s
+      <<~HTML
+        <!DOCTYPE html>
+        <html lang="ja">
+        <head>
+          <meta charset="utf-8">
+          <meta name="viewport" content="width=device-width, initial-scale=1">
+          <title>chocomint LLM ペイロード ##{CGI.escapeHTML(row['id'].to_s)}</title>
+          <style>
+            *, *::before, *::after { box-sizing: border-box; }
+            body { font-family: system-ui, sans-serif; margin: 1.5rem; color: #222; }
+            h1 { font-size: 1.2rem; }
+            .btn { display: inline-block; padding: 0.3rem 0.7rem; border: 1px solid #ccc;
+                   border-radius: 4px; background: #fff; color: #222; text-decoration: none;
+                   font-size: 0.85rem; }
+            .btn:hover { background: #f0f0f0; }
+            .head { background: #f5f5f5; padding: 0.5rem 0.75rem; border-radius: 4px;
+                    display: flex; gap: 1rem; flex-wrap: wrap; align-items: center;
+                    font-size: 0.85rem; margin: 0.75rem 0 1rem; }
+            .role-primary { color: #1155cc; font-weight: 600; }
+            .role-verifier { color: #7b1fa2; font-weight: 600; }
+            .head a { color: #1155cc; text-decoration: none; }
+            .lbl { color: #555; font-size: 0.85rem; font-weight: 600; margin: 1rem 0 0.3rem; }
+            pre { margin: 0; padding: 0.75rem; background: #fbfbfb; border: 1px solid #eee;
+                  border-radius: 4px; font-size: 0.8rem; overflow-x: auto;
+                  white-space: pre-wrap; word-break: break-word; }
+            table.outcomes { border-collapse: collapse; font-size: 0.83rem; }
+            table.outcomes th, table.outcomes td { border: 1px solid #ddd;
+                  padding: 0.35rem 0.6rem; text-align: left; white-space: nowrap; }
+            table.outcomes th { background: #f5f5f5; }
+            .status-PASS { color: #137333; font-weight: 600; }
+            .status-RETRY { color: #b06000; font-weight: 600; }
+            .status-STEP { color: #1155cc; font-weight: 600; }
+            .status-FAIL { color: #c5221f; font-weight: 600; }
+            .note { color: #888; font-size: 0.85rem; }
+            .cblock { margin-bottom: 0.6rem; }
+            .ctag { display: inline-block; font-size: 0.72rem; color: #fff;
+                    background: #555; padding: 0.1rem 0.5rem; border-radius: 3px;
+                    margin-bottom: 0.25rem; }
+          </style>
+        </head>
+        <body>
+          <div><a class="btn" href="/logs/llm">一覧へ</a></div>
+          <h1>LLM ペイロード ##{CGI.escapeHTML(row['id'].to_s)}</h1>
+          <div class="head">
+            <span class="role-#{CGI.escapeHTML(role)}">#{CGI.escapeHTML(role)}</span>
+            <span>model: #{CGI.escapeHTML(row['model'].to_s)}</span>
+            <span>trace: #{trace_link}</span>
+            <span>response_status: #{CGI.escapeHTML(status)}</span>
+            <span>#{CGI.escapeHTML(row['created_at'].to_s)}</span>
+          </div>
+          <div class="lbl">request messages（LLM への送信メッセージ）</div>
+          #{request_messages_block(row['request_body'])}
+          <div class="lbl">request_body（生データ）</div>
+          <pre>#{CGI.escapeHTML(pretty_json(row['request_body']))}</pre>
+          <div class="lbl">request_headers</div>
+          <pre>#{CGI.escapeHTML(pretty_json(row['request_headers']))}</pre>
+          <div class="lbl">response content（LLM の返答）</div>
+          #{response_content_block(row['response_body'])}
+          <div class="lbl">response_body（生データ）</div>
+          <pre>#{CGI.escapeHTML(row['response_body'].nil? ? '(未記録)' : pretty_json(row['response_body']))}</pre>
+          <div class="lbl">ツール正常性判定（同一 trace の全試行）</div>
+          #{tool_outcomes_table(outcomes)}
+        </body>
+        </html>
+      HTML
+    end
+
+    # 一覧表向けに content を 1 行の短い要約にする (text 冒頭 / tool_use:名前)。
+    CONTENT_SUMMARY_LIMIT = 80
+
+    def content_summary(response_body)
+      return "-" if response_body.nil?
+
+      parsed = begin
+        JSON.parse(response_body)
+      rescue JSON::ParserError
+        nil
+      end
+      content = parsed.is_a?(Hash) ? parsed["content"] : nil
+      return "-" unless content.is_a?(Array) && !content.empty?
+
+      parts = content.filter_map do |b|
+        next unless b.is_a?(Hash)
+
+        case b["type"]
+        when "text" then b["text"].to_s.strip
+        when "tool_use" then "[tool_use: #{b['name']}]"
+        else "[#{b['type']}]"
+        end
+      end
+      summary = parts.join(" ").gsub(/\s+/, " ").strip
+      summary = "-" if summary.empty?
+      summary.length > CONTENT_SUMMARY_LIMIT ? "#{summary[0, CONTENT_SUMMARY_LIMIT]}…" : summary
+    end
+
+    # response_body(JSON) の content 配列を抽出し、text / tool_use を読みやすく表示する。
+    # パース不能・content 無しなら注記を返す。
+    def response_content_block(response_body)
+      return %(<p class="note">(未記録)</p>) if response_body.nil?
+
+      parsed = begin
+        JSON.parse(response_body)
+      rescue JSON::ParserError
+        nil
+      end
+      content = parsed.is_a?(Hash) ? parsed["content"] : nil
+      return %(<p class="note">content がありません。</p>) unless content.is_a?(Array) && !content.empty?
+
+      blocks = content.map do |b|
+        next unless b.is_a?(Hash)
+
+        case b["type"]
+        when "text"
+          %(<div class="cblock"><span class="ctag">text</span>) +
+            %(<pre>#{CGI.escapeHTML(b['text'].to_s)}</pre></div>)
+        when "tool_use"
+          input = pretty_json(JSON.generate(b["input"]))
+          %(<div class="cblock"><span class="ctag">tool_use: #{CGI.escapeHTML(b['name'].to_s)}</span>) +
+            %(<pre>#{CGI.escapeHTML(input)}</pre></div>)
+        else
+          %(<div class="cblock"><span class="ctag">#{CGI.escapeHTML(b['type'].to_s)}</span>) +
+            %(<pre>#{CGI.escapeHTML(pretty_json(JSON.generate(b)))}</pre></div>)
+        end
+      end.compact
+      blocks.empty? ? %(<p class="note">表示可能な content がありません。</p>) : blocks.join
+    end
+
+    # request_body(JSON) の messages 配列を抽出し、role ごとに読みやすく表示する。
+    # content は文字列 / text ブロック配列のどちらも扱う。
+    # パース不能・messages 無しなら注記を返す。
+    def request_messages_block(request_body)
+      return %(<p class="note">(未記録)</p>) if request_body.nil?
+
+      parsed = begin
+        JSON.parse(request_body)
+      rescue JSON::ParserError
+        nil
+      end
+      messages = parsed.is_a?(Hash) ? parsed["messages"] : nil
+      return %(<p class="note">messages がありません。</p>) unless messages.is_a?(Array) && !messages.empty?
+
+      blocks = messages.filter_map do |m|
+        next unless m.is_a?(Hash)
+
+        %(<div class="cblock"><span class="ctag">#{CGI.escapeHTML(m['role'].to_s)}</span>) +
+          %(<pre>#{CGI.escapeHTML(message_content_text(m['content']))}</pre></div>)
+      end
+      blocks.empty? ? %(<p class="note">表示可能な messages がありません。</p>) : blocks.join
+    end
+
+    # messages[].content は文字列、または text ブロック配列のどちらも取り得る。
+    def message_content_text(content)
+      case content
+      when String then content
+      when Array
+        content.filter_map { |b| b["text"] if b.is_a?(Hash) && b["type"] == "text" }
+               .join("\n")
+      else
+        ""
+      end
+    end
+
+    # 同一 trace のツール実行判定を表にする。空なら注記のみ。
+    def tool_outcomes_table(outcomes)
+      return %(<p class="note">判定結果はありません（trace 未紐付け、または未実行）。</p>) if outcomes.empty?
+
+      rows = outcomes.map do |o|
+        status = o["status"].to_s
+        verifier = o["verifier_output"].nil? ? "-" : o["verifier_output"].to_s
+        %(<tr>) +
+          %(<td>#{CGI.escapeHTML(o['attempt'].to_s)}</td>) +
+          %(<td>#{CGI.escapeHTML(tool_name(o['proposal']))}</td>) +
+          %(<td class="status-#{CGI.escapeHTML(status)}">#{CGI.escapeHTML(status)}</td>) +
+          %(<td>#{CGI.escapeHTML(verifier)}</td>) +
+          %(</tr>)
+      end.join
+      %(<table class="outcomes"><thead><tr>) +
+        %(<th>attempt</th><th>tool</th><th>判定(status)</th><th>verifier</th>) +
+        %(</tr></thead><tbody>#{rows}</tbody></table>)
+    end
+
+    # 監査ログ 1 件の詳細ページ (request / proposal / result / verifier_output を整形表示)。
+    def log_detail_html(row)
+      tid = row["trace_id"].to_s
+      trace_link = tid.empty? ? "(なし)" : %(<a href="/logs?trace_id=#{CGI.escape(tid)}">#{CGI.escapeHTML(tid)}</a>)
+      llm_link = tid.empty? ? "(なし)" : %(<a href="/logs/llm?trace_id=#{CGI.escape(tid)}">LLM ペイロードを見る</a>)
+      status = row["status"].to_s
+      <<~HTML
+        <!DOCTYPE html>
+        <html lang="ja">
+        <head>
+          <meta charset="utf-8">
+          <meta name="viewport" content="width=device-width, initial-scale=1">
+          <title>chocomint 監査ログ ##{CGI.escapeHTML(row['id'].to_s)}</title>
+          <style>
+            *, *::before, *::after { box-sizing: border-box; }
+            body { font-family: system-ui, sans-serif; margin: 1.5rem; color: #222; }
+            h1 { font-size: 1.2rem; }
+            .btn { display: inline-block; padding: 0.3rem 0.7rem; border: 1px solid #ccc;
+                   border-radius: 4px; background: #fff; color: #222; text-decoration: none;
+                   font-size: 0.85rem; }
+            .btn:hover { background: #f0f0f0; }
+            .head { background: #f5f5f5; padding: 0.5rem 0.75rem; border-radius: 4px;
+                    display: flex; gap: 1rem; flex-wrap: wrap; align-items: center;
+                    font-size: 0.85rem; margin: 0.75rem 0 1rem; }
+            .head a { color: #1155cc; text-decoration: none; }
+            .lbl { color: #555; font-size: 0.85rem; font-weight: 600; margin: 1rem 0 0.3rem; }
+            pre { margin: 0; padding: 0.75rem; background: #fbfbfb; border: 1px solid #eee;
+                  border-radius: 4px; font-size: 0.8rem; overflow-x: auto;
+                  white-space: pre-wrap; word-break: break-word; }
+            .status-PASS { color: #137333; font-weight: 600; }
+            .status-RETRY { color: #b06000; font-weight: 600; }
+            .status-STEP { color: #1155cc; font-weight: 600; }
+            .status-FAIL { color: #c5221f; font-weight: 600; }
+          </style>
+        </head>
+        <body>
+          <div><a class="btn" href="/logs">一覧へ</a></div>
+          <h1>監査ログ ##{CGI.escapeHTML(row['id'].to_s)}</h1>
+          <div class="head">
+            <span>trace: #{trace_link}</span>
+            <span>attempt: #{CGI.escapeHTML(row['attempt'].to_s)}</span>
+            <span class="status-#{CGI.escapeHTML(status)}">status: #{CGI.escapeHTML(status)}</span>
+            <span>#{CGI.escapeHTML(row['created_at'].to_s)}</span>
+            <span>#{llm_link}</span>
+          </div>
+          <div class="lbl">request</div>
+          <pre>#{CGI.escapeHTML(row['request'].to_s)}</pre>
+          <div class="lbl">proposal</div>
+          <pre>#{CGI.escapeHTML(pretty_json(row['proposal']))}</pre>
+          <div class="lbl">result</div>
+          <pre>#{CGI.escapeHTML(pretty_json(row['result']))}</pre>
+          <div class="lbl">verifier_output</div>
+          <pre>#{CGI.escapeHTML(row['verifier_output'].nil? ? '(なし)' : row['verifier_output'].to_s)}</pre>
+        </body>
+        </html>
+      HTML
+    end
+
+    def log_detail_not_found(id)
+      <<~HTML
+        <!DOCTYPE html>
+        <html lang="ja"><head><meta charset="utf-8">
+        <title>not found</title></head>
+        <body style="font-family:system-ui,sans-serif;margin:1.5rem">
+          <p>監査ログ ##{CGI.escapeHTML(id.to_s)} は見つかりませんでした。</p>
+          <p><a href="/logs">一覧へ</a></p>
+        </body></html>
+      HTML
+    end
+
+    def llm_detail_not_found(id)
+      <<~HTML
+        <!DOCTYPE html>
+        <html lang="ja"><head><meta charset="utf-8">
+        <title>not found</title></head>
+        <body style="font-family:system-ui,sans-serif;margin:1.5rem">
+          <p>ペイロード ##{CGI.escapeHTML(id.to_s)} は見つかりませんでした。</p>
+          <p><a href="/logs/llm">一覧へ</a></p>
+        </body></html>
+      HTML
+    end
+
+    # JSON 文字列を整形。パースできなければ原文をそのまま返す。
+    def pretty_json(text)
+      JSON.pretty_generate(JSON.parse(text.to_s))
+    rescue JSON::ParserError
+      text.to_s
+    end
+
+    def llm_pager(total, page, base)
+      last_page = total.zero? ? 0 : (total - 1) / PAGE_SIZE
+      prev_attr = page <= 0 ? %( aria-disabled="true") : ""
+      next_attr = page >= last_page ? %( aria-disabled="true") : ""
+      %(<div class="pager">) +
+        %(<a class="btn" href="#{base}page=#{page - 1}"#{prev_attr}>前へ</a>) +
+        %(<span>#{page + 1} / #{last_page + 1} ページ</span>) +
+        %(<a class="btn" href="#{base}page=#{page + 1}"#{next_attr}>次へ</a>) +
+        %(</div>)
+    end
+
+    # tool は proposal から抽出する派生列。id は表示上 "no" と見出しを付ける。
+    # llm_payloads / related は実カラムを持たない派生列 (行生成側で個別に組み立てる)。
+    COLUMNS = %w[id trace_id tool attempt status verifier_output request proposal
+                 created_at llm_payloads related result].freeze
+    COLUMN_LABELS = { "id" => "no", "llm_payloads" => "LLM ペイロード", "related" => "関連" }.freeze
+
+    def logs_html(rows, total:, page:, trace_id:)
+      body_rows = rows.map { |row| logs_row(row) }.join("\n")
+      <<~HTML
+        <!DOCTYPE html>
+        <html lang="ja">
+        <head>
+          <meta charset="utf-8">
+          <meta name="viewport" content="width=device-width, initial-scale=1">
+          <title>chocomint 監査ログ</title>
+          <style>
+            *, *::before, *::after { box-sizing: border-box; }
+            body { font-family: system-ui, sans-serif; margin: 1.5rem; color: #222; }
+            h1 { font-size: 1.25rem; }
+            .meta { color: #666; margin-bottom: 1rem; }
+            .filter { display: flex; align-items: center; gap: 0.5rem; margin-bottom: 1rem;
+                      flex-wrap: wrap; }
+            .filter code { background: #eef; padding: 0.1rem 0.4rem; border-radius: 3px; }
+            .btn { display: inline-block; padding: 0.3rem 0.7rem; border: 1px solid #ccc;
+                   border-radius: 4px; background: #fff; color: #222; cursor: pointer;
+                   text-decoration: none; font-size: 0.85rem; }
+            .btn:hover { background: #f0f0f0; }
+            .btn[aria-disabled="true"] { opacity: 0.4; pointer-events: none; }
+            /* 横スクロール: 各セルは 1 行に固定して溢れたらスクロール */
+            .table-wrap { overflow-x: auto; -webkit-overflow-scrolling: touch;
+                          border: 1px solid #ddd; border-radius: 4px; }
+            table { border-collapse: collapse; width: 100%; font-size: 0.85rem; }
+            th, td { border: 1px solid #ddd; padding: 0.4rem 0.5rem; text-align: left;
+                     white-space: nowrap; }
+            th { background: #f5f5f5; position: sticky; top: 0; }
+            td.no a, td.trace a { color: #1155cc; text-decoration: none; }
+            td.no a:hover, td.trace a:hover { text-decoration: underline; }
+            tr:nth-child(even) { background: #fafafa; }
+            .status-PASS { color: #137333; font-weight: 600; }
+            .status-RETRY { color: #b06000; font-weight: 600; }
+            .status-STEP { color: #1155cc; font-weight: 600; }
+            .status-FAIL { color: #c5221f; font-weight: 600; }
+            .empty { color: #888; }
+            .pager { display: flex; align-items: center; gap: 0.75rem; margin-top: 1rem; }
+            @media (max-width: 768px) {
+              body { margin: 0.75rem; }
+              table { font-size: 0.78rem; }
+              th, td { padding: 0.3rem 0.35rem; }
+            }
+          </style>
+        </head>
+        <body>
+          <h1>chocomint 監査ログ</h1>
+          <div class="filter"><a class="btn" href="/logs/llm#{trace_id ? "?trace_id=#{CGI.escape(trace_id)}" : ''}">LLM ペイロードを見る</a></div>
+          #{filter_bar(trace_id)}
+          <p class="meta">#{page_range_label(total, page)}</p>
+          <div class="table-wrap">
+            <table>
+              <thead>
+                <tr>#{COLUMNS.map { |c| "<th>#{CGI.escapeHTML(COLUMN_LABELS[c] || c)}</th>" }.join}</tr>
+              </thead>
+              <tbody>
+        #{rows.empty? ? %(<tr><td colspan="#{COLUMNS.size}" class="empty">ログはありません</td></tr>) : body_rows}
+              </tbody>
+            </table>
+          </div>
+          #{pager(total, page, trace_id)}
+        </body>
+        </html>
+      HTML
+    end
+
+    # trace_id フィルタ中はその ID と解除ボタンを表示する。
+    def filter_bar(trace_id)
+      return "" if trace_id.nil?
+
+      %(<div class="filter">trace_id で絞り込み中: ) +
+        %(<code>#{CGI.escapeHTML(trace_id)}</code>) +
+        %(<a class="btn" href="/logs">フィルタ解除</a></div>)
+    end
+
+    def page_range_label(total, page)
+      return "0 件" if total.zero?
+
+      from = page * PAGE_SIZE + 1
+      to = [from + PAGE_SIZE - 1, total].min
+      "#{from}〜#{to} 件 / 全 #{total} 件（新しい順）"
+    end
+
+    # ページャ。trace_id フィルタはリンク間で維持する。
+    def pager(total, page, trace_id)
+      last_page = total.zero? ? 0 : (total - 1) / PAGE_SIZE
+      base = trace_id ? "/logs?trace_id=#{CGI.escape(trace_id)}&" : "/logs?"
+      prev_attr = page <= 0 ? %( aria-disabled="true") : ""
+      next_attr = page >= last_page ? %( aria-disabled="true") : ""
+
+      %(<div class="pager">) +
+        %(<a class="btn" href="#{base}page=#{page - 1}"#{prev_attr}>前へ</a>) +
+        %(<span>#{page + 1} / #{last_page + 1} ページ</span>) +
+        %(<a class="btn" href="#{base}page=#{page + 1}"#{next_attr}>次へ</a>) +
+        %(</div>)
+    end
+
+    def logs_row(row)
+      tid = row["trace_id"].to_s
+      cells = COLUMNS.map do |col|
+        # tool は proposal(JSON) から抽出する派生列。
+        value = col == "tool" ? tool_name(row["proposal"]) : row[col]
+        text = value.nil? ? "" : value.to_s
+        label = %(data-label="#{CGI.escapeHTML(col)}")
+        case col
+        when "id"
+          # クリックでこの行の詳細ページを別途開く
+          link = %(<a href="/logs/detail?id=#{CGI.escape(text)}">##{CGI.escapeHTML(text)}</a>)
+          %(<td #{label} class="no">#{link}</td>)
+        when "status"
+          %(<td #{label} class="status-#{CGI.escapeHTML(text)}">#{CGI.escapeHTML(text)}</td>)
+        when "trace_id"
+          # クリックでその trace_id のみにフィルタ
+          link = %(<a href="/logs?trace_id=#{CGI.escape(text)}">#{CGI.escapeHTML(text)}</a>)
+          %(<td #{label} class="trace">#{link}</td>)
+        when "llm_payloads"
+          content = tid.empty? ? "-" : %(<a href="/logs/llm?trace_id=#{CGI.escape(tid)}">LLM ペイロード</a>)
+          %(<td #{label}>#{content}</td>)
+        when "related"
+          content = tid.empty? ? "-" : %(<a href="/logs?trace_id=#{CGI.escape(tid)}">同一 trace の試行</a>)
+          %(<td #{label}>#{content}</td>)
+        else
+          %(<td #{label}>#{CGI.escapeHTML(text)}</td>)
+        end
+      end
+      "<tr>#{cells.join}</tr>"
+    end
+
+    # proposal(JSON 文字列) から tool 名を取り出す。抽出不能なら空文字。
+    def tool_name(proposal)
+      parsed = JSON.parse(proposal.to_s)
+      parsed.is_a?(Hash) ? parsed["tool"].to_s : ""
+    rescue JSON::ParserError
+      ""
+    end
+
+    def handle_messages(req, res)
+      unless req.request_method == "POST"
+        return error_json(res, 405, "invalid_request_error", "method not allowed")
+      end
+
+      body = JSON.parse(req.body.to_s)
+      status, payload = process(body)
+      res.status = status
+      res["content-type"] = "application/json"
+      res.body = JSON.generate(payload)
+    rescue JSON::ParserError => e
+      error_json(res, 400, "invalid_request_error", "invalid JSON: #{e.message}")
+    end
+
+    # Anthropic 形式 messages から最後の user テキストを取り出す。
+    def extract_request(body)
+      messages = body["messages"]
+      return nil unless messages.is_a?(Array)
+
+      user = messages.reverse.find { |m| m["role"] == "user" }
+      return nil unless user
+
+      case user["content"]
+      when String then user["content"]
+      when Array
+        user["content"].filter_map { |b| b["text"] if b.is_a?(Hash) && b["type"] == "text" }
+                       .join("\n")
+      end
+    end
+
+    # 監督結果を Anthropic Messages レスポンスとして組み立てる。
+    # マルチステップに対応し、実行した全ステップの tool_use(提案) と
+    # tool_result(実行結果) を順に content へ並べる。
+    def success_body(result)
+      {
+        "id" => "msg_#{SecureRandom.hex(12)}",
+        "type" => "message",
+        "role" => "assistant",
+        "model" => "chocomint-supervisor",
+        "stop_reason" => "tool_use",
+        "chocomint" => {
+          "status" => result.status,
+          "trace_id" => result.trace_id,
+          "attempts" => result.attempts,
+          "steps" => result.steps.size
+        },
+        "content" => result.steps.flat_map { |step| step_content(step) }
+      }
+    end
+
+    # 1 ステップを tool_use + tool_result の 2 ブロックに展開する。
+    def step_content(step)
+      [
+        {
+          "type" => "tool_use",
+          "id" => "toolu_#{SecureRandom.hex(12)}",
+          "name" => step[:tool],
+          "input" => step[:arguments]
+        },
+        {
+          "type" => "tool_result",
+          "content" => [{ "type" => "text", "text" => JSON.generate(step[:result]) }]
+        }
+      ]
+    end
+
+    def error_body(type, message)
+      { "type" => "error", "error" => { "type" => type, "message" => message } }
+    end
+
+    def ok_json(res, hash)
+      res.status = 200
+      res["content-type"] = "application/json"
+      res.body = JSON.generate(hash)
+    end
+
+    def error_json(res, status, type, message)
+      res.status = status
+      res["content-type"] = "application/json"
+      res.body = JSON.generate(error_body(type, message))
+    end
+  end
+end