Roadmap

未完了の設計課題だけを置く。完了した項目、実装履歴、計測メモは削除する。 対応範囲は capability-matrix.md、設計判断は design.md、 性能基準は performance.md を参照する。

高

メモリ

• snapshot container の殻を圧縮する
• LSP incremental state を Symbol / Fragment / SCC 単位へ整理する
• ClassData の共有と copy-on-write を広げる
• Batch merge の call site copy を共有化する

診断・速度

• coverage を file / source-site 単位で base/head 比較し、aggregate では隠れる局所的な typed → untyped / unknown 化をCIで検出する

中

• Concern の includer 依存 DSL を拡張する（schema fallback、Devise、AMS など）
• 大規模 Rails での --diagnostics context scan を高速化する
• block callback の副作用解析を一般化し、外側で nil check 済みのivarがcallback内で誤って nil と診断されるケースを見直す（Redmine Attachment#files_to_final_location の sha.update(@temp_file)）。実際のmutationは引き続きnarrowingを無効化し、クラス・メソッド固有の例外は追加しない
• Ruby / Rails version、framework DSL、scenario coverage を継続する

低

• .rbs / .rbi 宣言の visibility を取り込む
• deferred param receiver の連鎖・arity 依存ケースを広げる
• argument_type_mismatch の arity / external param 対応を広げる
• LSP references / completion を拡張する
• stdlib nested declaration の汎用 index を追加する

健全性

• demand-driven receiver post-pass を再評価する
• method-return-ref の依存グラフを SCC 単位で解き、収束しない循環を untyped にする方式を再考する
• DirtyPattern、CallSiteStore、LSP scan state を段階的に整理する

個別 repository の runtime DSL 登録（Redmine など）は対象外。型が必要な場合は外部 RBS / RBI を入力する。