Files
hakorune/docs/development/current
nyash-codex e948bcb4f8 feat(hako_check): Phase 154-170 hako_check dead code detection & JSON library design
🎉 Phase 154-170 完了!hako_check に死んだコード検出を統合

📋 Phase 154: MIR CFG 統合 & HC020 設計
- DeadBlockAnalyzerBox(570行) - 箱化モジュール化
- ブロックレベルの unreachable 検出設計
- テストケース4本、スモークテスト

🔧 Phase 155: MIR CFG データブリッジ(MVP)
- src/runner/mir_json_emit.rs: MIR JSON に CFG を追加
- tools/hako_check/analysis_consumer.hako: 空のCFG構造体追加
- Phase 156 の準備完成

🌉 Phase 156: hako_check MIR パイプライン統合
- hako_check.sh: MIR JSON 生成ステップ追加
- cli.hako: --mir-json-content 引数処理
- analysis_consumer.hako: ~320行の手動JSON パーサー実装
- HC020 が実際にブロックを検出!

📐 Phase 170: .hako JSON ライブラリ設計
- 既存 JSON 利用箇所インベントリ(Program/MIR/CFG)
- Phase 156 JSON パーサの詳細分析(289行)
- JsonParserBox API 草案確定
- 利用予定マッピング(96%削減見込み)

🏗️ 設計原則:
- 箱化モジュール化パターン(Phase 153継承)
- Rust 層変更最小化(.hako + シェルスクリプト優先)
- セルフホスティング対応設計

📊 期待効果:
- hako_check JSON パーサ: 289行 → ~10行(96%削減)
- JsonParserBox 共通ライブラリ化(Phase 171+)
- hako_check/selfhost/デバッグツール で共通利用

🤖 Generated with Claude Code

Co-Authored-By: Claude <noreply@anthropic.com>
2025-12-04 16:16:56 +09:00
..