4 Commits

Author	SHA1	Message	Date
nyash-codex	96ce02eef4	feat(joinir): add progress carrier verification for skip_ws (Phase 29 L-5.2) ... Implement zero-progress backedge detection for JoinIR loops: - Create verify.rs module with ProgressError enum - verify_progress_for_skip_ws() checks BinOp::Add before recursive calls - Hook into joinir_runner_standalone_skip_ws test (NYASH_JOINIR_EXPERIMENT=1) - Currently warning-only, will upgrade to error in Phase 30 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>	2025-11-25 06:38:43 +09:00
nyash-codex	da1a5558e5	Normalize passes keep spans and clean warnings	2025-11-24 15:02:51 +09:00
nyash-codex	466e636af6	Span trace utilities and runner source hint	2025-11-24 14:17:02 +09:00
nyash-codex	3d5979c78e	refactor(joinir): Phase 27.9 - Modular separation of join_ir.rs into directory structure ... Phase 27.9 で join_ir.rs (~1,336行) を以下のモジュール構造に分離： ## 新規ディレクトリ構造: ``` src/mir/join_ir/ ├── mod.rs # 型定義・共通ユーティリティ (~330行) └── lowering/ ├── mod.rs # lowering インターフェース ├── min_loop.rs # lower_min_loop_to_joinir (~140行) ├── skip_ws.rs # skip_ws lowering 3関数 (~390行) └── funcscanner_trim.rs # trim lowering (~480行) ``` ## 技術的変更: - **型定義統一**: JoinFuncId, JoinInst, JoinModule 等を mod.rs に集約 - **lowering 分離**: 3つの lowering 関数を個別モジュールに移動 - **後方互換性**: pub use で lowering 関数を re-export（既存コード影響なし） - **削除**: src/mir/join_ir.rs (旧単一ファイル) ## テスト結果: - **385 passed** (+1 from 384) - **9 failed** (-1 from 10) - **ビルド成功**: 0 errors, 18 warnings (変化なし) ## 効果: - **保守性向上**: 1,336行 → 4ファイル（各300-500行）で可読性向上 - **モジュール境界明確化**: 型定義 vs lowering 実装の責務分離 - **将来の拡張容易**: 新 lowering 関数追加が簡単に Phase 27.8 で実装した MIR 自動解析 lowering の基盤整備完了。 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>	2025-11-23 16:49:49 +09:00