83770fa03c
🎯 ゴール: ブロックレベルの unreachable 検出を hako_check に統合 📋 実装内容: - Task 1: MIR/CFG 情報インベントリ - Task 2: DeadBlockAnalyzerBox 設計（箱化モジュール化） - Task 3: hako_check パイプライン統合設計 - Task 4: テストケース設計（4パターン） - Task 5: 実装 & テスト - Task 6: ドキュメント & CURRENT_TASK 更新 🏗️ 設計原則: - 箱化モジュール化パターン（Phase 153 継承） - JoinIR/MIR 意味論変更なし（解析は「読むだけ」） - ENV 追加なし（CLI フラグのみ） 🧪 テストパターン: - 早期 return 後のコード - 常に false の条件 - 無限ループ後のコード - break 後のコード 🤖 Generated with Claude Code Co-Authored-By: Claude <noreply@anthropic.com>
Nyash Development Documentation 🔧
開発者向けの進行中タスクと開発計画ドキュメントです。
📂 ディレクトリ構造
current/
CURRENT_TASK.md- 現在進行中のタスク- アクティブな開発作業の詳細
- 最新の実装状況
roadmap/
- phases/ - フェーズ別開発計画
- phase-8/ - AST→MIR変換
- phase-9/ - VM/JIT実装
- phase-10/ - AOT最適化
- native-plan/ - ネイティブビルド計画
- 実行バックエンド統合
- パフォーマンス目標
proposals/
- RFC（Request for Comments）
- 新機能提案
- 設計ディスカッション
🎯 重要な参照先
- 進行状況:
current/CURRENT_TASK.md - 開発計画:
roadmap/phases/ - 技術提案:
proposals/
📝 注意事項
このディレクトリの内容は開発中であり、頻繁に変更されます。
安定した仕様はreference/を参照してください。