diff --git a/CURRENT_TASK.md b/CURRENT_TASK.md index da5b1a1c..ef5ec94f 100644 --- a/CURRENT_TASK.md +++ b/CURRENT_TASK.md @@ -87,6 +87,9 @@ → **バグ修正**: Trim pattern の loop_var_name 上書き問題、InstructionRewriter の latch_incoming 設定問題。 - 今後 1〜2 フェーズの TODO（JoinIR 周りのサマリ） + - [x] **Phase 213-E: NYASH_JOINIR_CORE deprecate cleanup** ✅ (2025-12-09) + - JoinIR は常時 ON（LoopBuilder 削除済み）。`NYASH_JOINIR_CORE` は警告のみで無視する。 + - config/env でガード追加済み、スクリプトからの export を撤去、docs に「常時 ON + Fail-Fast」の注記を追加。 - [x] **Phase 177: Multi-carrier PHI 接続修正** ✅ (2025-12-08) - Task 177-STRUCT-1: CarrierVar に join_id 追加 - Task 177-STRUCT-2: carrier_order で順序保持（LoopHeaderPhiInfo） @@ -581,8 +584,179 @@ - ✅ PHI dst match (Phase 200-3) - ✅ PHI dst not overwritten (Phase 204-2 ✨) - ✅ PHI inputs sanity (Phase 204-3 ✨) - - ⚠️ PHI inputs DFA (Phase 205+ 計画) - - ⚠️ ValueId regions (Phase 205+ 計画) + - ⚠️ PHI inputs DFA (Phase 206+ 計画) + - ✅ ValueId regions (Phase 205 ✨) + + - [x] **Phase 205: JoinValueSpace & ValueId 領域契約の締め** ✅ (完了: 2025-12-09) + - **目的**: Box-First アプローチで ValueId 領域境界を完全確立 + - **実装内容**: + - 205-1: 設計ドキュメント作成 ✅ (phase205-valueid-regions-design.md) + - ValueId 領域契約の詳細定義 + - Box 境界設計（ValueIdAllocator, RegionVerifier） + - 205-2: 現状棚卸し ✅ + - Pattern1-4 の ValueId 使用箇所リストアップ + - 素の ValueId(..) 直接生成箇所の特定 + - 結果: Pattern1/2 統合済み、Pattern3/4 テストコードのみ + - 205-3: ValueIdAllocator Box 強化 ✅ + - 明示的領域定数追加（PHI_RESERVED_MIN/MAX, PARAM_MIN/MAX, LOCAL_MIN/MAX） + - 衝突検出（check_collision(), allocated_ids: HashSet） + - 領域検証（verify_region(id, expected_region)） + - 205-4: RegionVerifier Box 実装 ✅ + - verify_valueid_regions() 実装（merge/mod.rs） + - 検証項目: boundary.join_inputs（Param 領域）, condition_bindings（Param 領域）, carrier_phis dst（有効範囲内） + - 205-5: パターン統合監査 ✅ + - Pattern1-4 で raw ValueId(..) 使用がテストコードのみであることを確認 + - すべて alloc_param()/alloc_local() 経由の正規ルート使用確認 + - 205-6: テスト & ドキュメント更新 ✅ + - loop_min_while.hako (P1), loop_if_phi.hako (P3) 動作確認 + - joinir-architecture-overview.md に Phase 205 セクション追加 + - **統計**: + - 変更ファイル: 2ファイル (join_value_space.rs, merge/mod.rs) + - 新規ドキュメント: phase205-valueid-regions-design.md + - テスト: 全テスト PASS、退行なし + - **成果**: + - 衝突検出（debug-only）で二重割り当てを即座に検出 + - 領域検証で Param/Local 境界違反を即座に検出 + - RegionVerifier で merge 時の境界契約を自動検証 + - 明示的定数で領域境界が一目瞭然（デバッグ容易性向上） + - **Box-First 原則の実践**: + - 箱にする: ValueId 管理・検証ロジックを Box 化 + - 境界を作る: Param/Local 領域の境界を明確化（100, 1000） + - 戻せる: debug assertions で切替可能 + - 見える化: 領域違反を即座に検出 + - **Fail-Fast 実装**: + - 領域違反は即座に panic（デバッグモード） + - フォールバックやサイレント修正は一切なし + - エラーメッセージに修正ヒント含む + - **次フェーズへの引き継ぎ**: + - Phase 206: PHI inputs DFA 完全検証（予定） + - Phase 207: LoopUpdateSummary 完全統合（予定） + + - [x] **Phase 210: JsonParser JoinIR ミニ統合（ラウンド1）** ✅ (完了: 2025-12-09) + - **目的**: 既存 JoinIR インフラ（P1-P5/JoinValueSpace/PHI契約）で実戦ループ 2〜3 本を観測 + - **戦略**: 新機能実装なし、既存箱の実戦投入による観測フェーズ（Fail-Fast で制約発見） + - **対象ループ（3本）**: + 1. _atoi 最小版 (P2 Break, NumberAccumulation) + 2. _parse_number 最小版 (P2 Break, Multi-carrier) + 3. _match_literal 最小版 (P1 Simple) + - **実行結果**: + - ✅ **3本すべて完全成功** - JoinIR → MIR → Runtime まで到達 + - ✅ phase190_atoi_impl.hako → RC=12 (Pattern2, NumberAccumulation) + - ✅ phase190_parse_number_impl.hako → RC=123 (Pattern2, Multi-carrier) + - ✅ phase210_match_literal_min.hako → RC=1 (Pattern1, Simple) + - **観測ポイント全達成**: + - ✅ Pattern1 & Pattern2 自動ルーティング成功 + - ✅ NumberAccumulation: Mul + Add 2命令生成確認 + - ✅ Multi-carrier: 2 carrier 同時動作 & Exit PHI 正常配線 + - ✅ PHI Contract: LoopHeader PHI + Exit PHI 完璧に動作 + - ✅ ValueId Regions: Param (100-999) / Local (1000+) 正常分離 + - **重要な発見**: + - ✅ **予想を超える成功**: 「理論上いけるはず」を超えて「実戦でも完全動作」 + - ✅ Phase 190 (NumberAccumulation), 201 (JoinValueSpace), 204/205 (PHI Contract) の統合が完璧に機能 + - ❌ **制約発見ゼロ** - すべてのループが制約なく動作（Fail-Fast 発動せず） + - **成果物**: + - ドキュメント: phase210-jsonparser-mini-integration.md（設計・実行ログ・総合評価） + - テストハーネス: phase210_match_literal_min.hako（新規作成） + - **Phase 210 の結論**: + > **JoinIR インフラは実戦投入可能な成熟度に達している** ✨ + - **次フェーズへの接続**: + - Phase 211: JsonParser 残り8ループへの段階的展開（_parse_array, _parse_object, _unescape_string 等） + - Phase 212: MethodCall in condition / Complex addend 対応強化 + + - [x] **Phase 211: JsonParser 次の 1 手（中規模ループ候補選定）** ✅ (完了: 2025-12-09) + - **目的**: Phase 210 成功を受け、中規模ループ 1 本を選定して既存 boxes 組み合わせを設計 + - **戦略**: コード実装なし、設計のみ（Phase 212 で実装） + - **候補選定**: 候補 B (`selfhost if-sum` パターン) を Phase 212 実装対象に選定 + - 理由: 既存 boxes で完全カバー可能 + ループ内 if の実戦検証価値が高い + - 候補 A (`_parse_string` 簡略版) は Phase 214 に延期（3-carrier を Phase 213 で先に確認） + - **Boxes マッピング**: + - Pattern 1 Simple + IfPHI + Multi-carrier（すべて Phase 210 で確認済み） + - 新規要素: IfPhiContext のループ内 if 適用（Phase 61 実装済みだが実戦未確認） + - **組み合わせ戦略設計**: + ``` + LoopPatternRouter → SimpleWhileMinimal → CarrierInfo (sum, i) + → IfPhiContext (ループ内 if の Merge PHI 生成) + → Header PHI back_edge 接続 → Exit PHI 配線 + ``` + - **Phase 212+ ロードマップ**: + - Phase 212: if-sum ハーネス実装・実行 + - Phase 213: 3-carrier テスト + - Phase 214: `_parse_string` 簡略版 + - Phase 215+: 残りの JsonParser ループ + - **成果物**: phase211-loop-candidate-selection.md（設計ドキュメント） + + - [x] **Phase 212: if-sum ミニ実装 & 実行フェーズ** ⚠️ **BLOCKED** (2025-12-09) + - **目的**: Phase 211 設計の if-sum パターンを既存 JoinIR インフラで実装・実行 + - **戦略**: Fail-Fast（問題があれば制約層を記録して中断） + - **テストファイル**: `apps/tests/phase212_if_sum_min.hako` + ```hako + loop(i < len) { + if i > 0 { + sum = sum + 1 // ← 条件付き更新 + } + i = i + 1 + } + ``` + - **実行結果**: ⚠️ **制約発見により中断** + - Pattern 1 (Simple While) が選ばれた（想定通り） + - Carrier は `i` のみ（`sum` が carrier になっていない） + - 期待: RC=2 / 実際: RC=0 + - **🚨 重大な発見**: **AST→MIR 変換層でループ内 if/else が消失** + - MIR ダンプで確認: if/else ブロックが MIR に存在しない + - `.hako` には `if i > 0 { sum = sum + 1 }` があるのに、MIR には `print(i)` と `i = i + 1` しかない + - `sum` 変数に関する処理（条件分岐・加算・PHI）が完全に消失 + - **制約の層**: + | 項目 | 内容 | + |-----|-----| + | **制約層** | AST → MIR 変換（Parser or MIR Builder） | + | **現象** | ループ内 if/else の代入文が MIR に変換されない | + | **影響範囲** | JoinIR Pattern 3 (IfPHI) が動作する以前の問題 | + | **エラーメッセージ** | なし（silent failure） | + | **再現性** | 100%（print 追加でも変わらず） | + - **Fail-Fast 成功**: Phase 211 では見えなかった制約を 1 回の実行で発見・層を特定 + - **Phase 213 への影響**: Phase 213 (3-carrier) も同じ問題に遭遇する可能性が高い + - **成果物**: phase212-if-sum-impl.md（観測レポート・制約詳細） + - **次のアクション**: ~~Phase 212.5（AST→MIR ループ内 if 修正）~~ ✅ **完了** (commit `aeb6282c`) + + - [x] **Phase 212.5: 構造ベース if 検出 for Pattern 3 Routing** ✅ (完了: 2025-12-09, commit `aeb6282c`) + - **目的**: Phase 212 で発見した「ループ内 if が Pattern 1 に誤ルーティング」問題を修正 + - **原因特定**: `has_if_else_phi = carrier_count > 1` ヒューリスティックの限界 + - 単一キャリアの if-update パターン（例: if-sum）を Pattern 1 に誤判定 + - **実装内容**: + 1. **AST Feature Extractor** (`ast_feature_extractor.rs`) + - `detect_if_in_body()` 関数追加（ANY if 文検出） + - `extract_features()` を構造ベース検出に更新 + 2. **Loop Pattern Classification** (`loop_pattern_detection/mod.rs`) + - Pattern 3: `carrier_count > 1` → `has_if && carrier_count >= 1` + - Pattern 1: `!has_if_else_phi` → `!has_if` + - **検証結果**: `phase212_if_sum_min.hako` + - ✅ Pattern 3 (If-Else PHI) に正しくルーティング + - ✅ MIR に PHI ノード生成: `%31 = phi [%25, bb9], [%29, bb10]` + - ✅ Carriers 検出: `i`, `sum`, `count` + - **制約発見**: Pattern 3 lowerer は **test-only PoC 実装** + - Loop condition: `i <= 5` (hardcoded) + - If condition: `i % 2 == 1` (hardcoded) + - Update logic: `sum + i` (hardcoded) + - → そのため RC=0（期待: RC=2） + - **成果**: Pattern routing は完全に成功、AST-based lowerer 汎用化は Phase 213 へ + - **ドキュメント**: phase212-5-implementation-complete.md + + - [ ] **Phase 213: Pattern 3 Lowerer 汎用化（if-sum minimal）** 🚧 **次のフェーズ** + - **目的**: Pattern 3 lowerer を AST-based に汎用化し、`phase212_if_sum_min.hako` で RC=2 達成 + - **スコープ**: + 1. 設計ドキュメント作成 + - `phase213-pattern3-if-sum-generalization.md` + - 入力: LoopPatternContext + LoopUpdateSummary + IfPhiContext + - 出力: JoinModule + ExitMeta（複数キャリア対応） + 2. P3 lowerer から定数ハードコード削除 + - `loop_with_if_phi_minimal.rs` の固定条件/更新（`i<=5`, `i%2==1`, `sum+i`）を削除 + - LoopUpdateSummary / BoolExprLowerer / CarrierInfo から動的に AST を読み込み + 3. `phase212_if_sum_min.hako` 再実行 + - 期待: Pattern 3 routing → JoinIR/MIR/VM → RC=2 + - **Fail-Fast 戦略**: Verifier panic や制約エラーがあればログを Phase 213 doc に記録 + - **ドキュメント更新**: + - phase212-5-implementation-complete.md に Phase 213 への継続を明記 + - CURRENT_TASK.md 本項目 --- diff --git a/docs/development/current/main/phase212-5-implementation-complete.md b/docs/development/current/main/phase212-5-implementation-complete.md index b08fbddf..35cea64f 100644 --- a/docs/development/current/main/phase212-5-implementation-complete.md +++ b/docs/development/current/main/phase212-5-implementation-complete.md @@ -214,4 +214,21 @@ loop(i <= 5) { // Actual: i <= 5 (hardcoded) - [x] Pattern 3 lowerer constraints documented - [x] Implementation report created +--- + +## 🔖 Status Update + +**Phase 212.5: COMPLETE ✅** (Commit: `aeb6282c`) + +**Scope Completed**: +- ✅ Structural if detection (`detect_if_in_body`) +- ✅ Pattern routing logic (classify with `has_if && carrier_count >= 1`) +- ✅ Test verification (Pattern 3 routing confirmed) +- ✅ MIR PHI generation verified + +**Out of Scope (Phase 213)**: +Pattern 3 lowerer (`lower_loop_with_if_phi_pattern`) is currently a **test-only PoC implementation** with hardcoded conditions and updates. AST-based generalization for if-sum patterns is handled in Phase 213. + +**Next**: Phase 213 will generalize Pattern 3 lowerer to read actual AST conditions and update expressions dynamically. + **Phase 212.5: COMPLETE ✅**