Markdown 対応で追加されたコードに RBS 型定義を付ける

[znz]

解決したい問題

Markdown 移行(#189 以降)で追加されたコードに RBS 型定義が無く、
型検査の網羅性チェックである rake sig が失敗する状態でした
(rbs subtract の残余が 18 ファイル分)。steep check も
エラー 471 件・警告 317 件を報告しており、そのほぼ全てが
markdown 対応の型付け漏れ由来でした(新規クラスの宣言欠落、
既存クラスに追加された markdown 系メソッドの sig 未追記、およびその波及)。

変更内容

sig の新規作成(13 ファイル)

markdown パイプラインの全クラスを既存 sig と同じ流儀
(ivar 宣言・private 対応・type エイリアス・実型優先)で型付けしました:

• パース/描画: mdparser(MDParser / MDFunctionParser)、mdcompiler
• 記法変換: markdown_to_rrd、rrd_to_markdown、capi_converter、doc_converter
• ツリー/ブリッジ: markdown_tree、markdown_bridge、markdown_orchestrator
• include 解析: include_graph、include_pruner、entity_splitter、whole_file_gate

untyped は本当に動的な箇所(混在 arity のトークン列など)だけに限定し、
理由をコメントで残しています。

既存 sig への追記・修正

• markdown 対応で増えたメンバーの追記:
  MethodDatabase#update_by_markdowntree/#copy_doc_md、
  FunctionDatabase#update_by_markdowntree、
  TemplateScreen#markdown_source?/#html_base、
  UpdateCommand#prepare_markdowntree ほか、
  StatichtmlCommand#create_search_index/SEARCH_JS_FILES
• database_propkey に 'source_format' を追加
• Rouge の最小スタブ sig/rouge.rbs を追加(Rouge を導入して ruby 以外の言語のシンタックスハイライトに対応する #223 で導入した
  Lexer.find/tag/lex と Formatters::HTML#format のみ)
• 実装と食い違っていた既存 sig の修正:
  RDCompiler::option の :catalog を省略可へ(実装はフォールバック持ち)、
  Location の line を Integer? へ(行不明の Location が実在)、
  Entry#display_text/#description_text をオーバーロード化
  ((String) -> String | (String?) -> String?)、
  searchpage_command.rbs の型名修飾漏れ(argv → Subcommand::argv。
  これが原因で同ファイルの lib 側チェック自体が走っていませんでした)

lib 側(挙動の変更はありません)

• マッチ直後で非 nil が保証される $1 等の参照・Array の Range スライスは、
  コードベース既存慣行の ($1 || raise) 形に統一(rrdparser.rb に先例)
• steep が推論できない空リテラルやループ越し代入にインライン注釈
  (#: Array[String] / # @type var)を追加
• #: 型 注釈の直後に説明文が続いて注釈のパースが壊れていた既存 2 箇所を修復
  (説明文を前行コメントへ分離)
• rbs core の型が Pathname を受けない File.read/File.write を
  Pathname#read/#write に書き換え(searchpage_command)

検証

検査	Before	After
bundle exec rake sig	失敗(残余 18 ファイル)	✅ 通過
bundle exec steep check	エラー 471・警告 317	✅ エラー 0・警告 0
bundle exec rbs validate	—	✅ 通過
ruby test/run_test.rb	—	✅ 17,589 tests / 0 failures

🤖 Generated with Claude Code