diff --git a/CURRENT_TASK.md b/CURRENT_TASK.md
index d19ca1f1..86fddd3b 100644
--- a/CURRENT_TASK.md
+++ b/CURRENT_TASK.md
@@ -176,10 +176,30 @@
    - selfhost_build.sh に `--core` / `--strict` オプション追加。環境変数 `NYASH_JOINIR_CORE` / `NYASH_JOINIR_STRICT` を子プロセスに自動伝播。
    - 代表パス（skip_ws / trim / resolve / print_tokens / filter / Stage‑1/Stage‑B 代表）が JoinIR 経由でのみ通る Strict モード実装完了。
    - hack_check ラインは引き続き「Stage‑3 + 旧 MIR Builder + VM」の安定ルートとして維持。
-5. **Phase 82-if-phi-retire: P3-C 完了＋if_phi.rs 削除** ← **次の焦点**
-   - P3-C 代表ケースを含む型決定を GenericTypeResolver で食い切り、`lifecycle.rs` から `infer_type_from_phi*` 呼び出しを排除する。
-   - `collect_assigned_vars_via_joinir` を JoinIR/AST 側の分析モジュールに移し、`phi_core::if_phi` への参照をゼロにした上で `if_phi.rs` を削除する。
-   - 必要であれば、後続フェーズで hack_check 側も JoinIR/型ヒントラインに徐々に寄せていく（ただし現時点では「selfhost を先に Strict 化、hack_check は安定 VM ライン維持」を優先）。
+5. **Phase 82-if-phi-retire: P3-C 完了＋if_phi.rs 削除ライン** ← **継続中**
+   - dev フラグ `NYASH_PHI_FALLBACK_DISABLED=1` で `infer_type_from_phi_with_hint` の呼び出しを fail-fast 検出する経路を追加済み（joinir_dev::phi_fallback_disabled）。
+   - `lifecycle.rs` の return 型推論バグ（中間値 `const void` を見てしまう問題）を修正し、Case D を 51 件 → 20 件に削減済み。
+   - Phase 83 / Phase 84-1 / Phase 84-2 / Phase 84-3 による追加削減後も `infer_type_from_phi*` はまだ残っており、完全削除は Phase 84-4（BoxCall/Await/QMark 型登録）以降の結果を見て判断する。
+
+6. **Phase 83-typehint-p3d: 既知メソッド戻り値型推論（P3-D）** ✅ **完了**
+   - ChatGPT Pro 設計の MethodReturnHintBox を実装（8ae1eabc）。`TypeHintPolicy` → `MethodReturnHintBox` → `TypeAnnotationBox` → `GenericTypeResolver` という箱構造を確立。
+   - BoxCall/Call/TypeOp の既知メソッド戻り値型を P3-D として吸収し、Case D を 20 件 → 15 件に削減。
+   - 将来の Method Registry 統一時にも差し替えやすい API になっており、型ヒントラインの構造的な整理が完了。
+
+7. **Phase 84-1: Const 命令型アノテーション** ✅ **完了**
+   - `src/mir/builder/emission/constant.rs` に Integer/Bool/Float/Null/Void 用の型登録を追加（40dfbc68）。String と同様に `value_types` へ MirType を記録。
+   - Case D のうち Const 命令の型欠如が原因だったグループを解消し、Case D は 15 件 → 12 件に縮小。
+   - 残り 12 件は Copy/PHI 経由の edge パターン（Loop break/continue / If merge など）に集中しており、Phase 84-2/84-3 の対象として切り出された。
+
+8. **Phase 84-2: CopyTypePropagator による Copy 型伝播** ✅ **完了**
+   - `src/mir/phi_core/copy_type_propagator.rs` に CopyTypePropagator 箱を追加し、MIR 関数内の `Copy { dst, src }` を固定点ループで走査して `value_types` に型を伝播。
+   - `lifecycle.rs` の return 型推論前に CopyTypePropagator を走らせることで、Copy チェーンだけで説明できる Case D を削減（12 件 → 9 件）。
+   - ベースラインテストは 489 passed, 34 failed → 494 passed, 33 failed と改善。残りの Case D は await/try-catch や多段 PHI など PHI 主体のパターンに集中しており、Phase 84-3（PhiTypeResolver）での限定的な PHI 型推論強化に引き継ぎ。
+
+9. **Phase 84-3: PhiTypeResolver による PHI + Copy グラフ推論** ✅ **完了**
+   - `src/mir/phi_core/phi_type_resolver.rs` に PhiTypeResolver 箱を追加し、`Copy`/`Phi` グラフを DFS/BFS で辿って末端の base 定義型が 1 種類に揃う場合のみ MirType を返す仕組みを実装。
+   - lifecycle.rs の return 型推論フローに統合し、P3-D / Const / CopyTypePropagator で埋まらない一部ケースを吸収することで Case D を 9 件 → 4 件に削減。
+   - 残り 4 件（await 構文 / QMark 構文 / Stage1 CLI 2 テスト）は、BoxCall/Await/QMark の戻り値型が `value_types` に未登録なことが原因であり、PhiTypeResolver 自体の限界ではないことが Task 調査で確認された（Phase 84-4 の BoxCall/Await 型登録ラインに引き継ぎ）。
 
 ### バックログ
 
diff --git a/src/mir/builder/utils.rs b/src/mir/builder/utils.rs
index d711ab89..0ae7c8ce 100644
--- a/src/mir/builder/utils.rs
+++ b/src/mir/builder/utils.rs
@@ -147,6 +147,82 @@ impl super::MirBuilder {
 }
 
 impl super::MirBuilder {
+    /// Phase 84-4-B: BoxCall のメソッド戻り値型を推論
+    ///
+    /// 責務: ビルトイン Box のメソッド戻り値型をハードコードで返す
+    /// - plugin_method_sigs に登録されていないメソッドの型推論
+    /// - PhiTypeResolver が依存する base 定義の型情報を提供
+    fn infer_boxcall_return_type(
+        &self,
+        box_val: super::ValueId,
+        method: &str,
+    ) -> Option<super::MirType> {
+        // 1. box_val の型を取得
+        let box_ty = self.value_types.get(&box_val)?;
+
+        // 2. Box 型名を取得
+        let box_name = match box_ty {
+            super::MirType::Box(name) => name,
+            super::MirType::String => "StringBox", // String → StringBox として扱う
+            _ => return None,
+        };
+
+        // 3. ビルトイン Box の型情報（ハードコード）
+        match (box_name, method) {
+            // StringBox
+            ("StringBox", "upper") => Some(super::MirType::Box("StringBox".to_string())),
+            ("StringBox", "lower") => Some(super::MirType::Box("StringBox".to_string())),
+            ("StringBox", "length") => Some(super::MirType::Box("IntegerBox".to_string())),
+            ("StringBox", "concat") => Some(super::MirType::Box("StringBox".to_string())),
+            ("StringBox", "substring") => Some(super::MirType::Box("StringBox".to_string())),
+            ("StringBox", "replace") => Some(super::MirType::Box("StringBox".to_string())),
+            ("StringBox", "trim") => Some(super::MirType::Box("StringBox".to_string())),
+            ("StringBox", "split") => Some(super::MirType::Box("ArrayBox".to_string())),
+
+            // IntegerBox
+            ("IntegerBox", "abs") => Some(super::MirType::Box("IntegerBox".to_string())),
+            ("IntegerBox", "min") => Some(super::MirType::Box("IntegerBox".to_string())),
+            ("IntegerBox", "max") => Some(super::MirType::Box("IntegerBox".to_string())),
+
+            // BoolBox
+            ("BoolBox", "not") => Some(super::MirType::Box("BoolBox".to_string())),
+            ("BoolBox", "and") => Some(super::MirType::Box("BoolBox".to_string())),
+            ("BoolBox", "or") => Some(super::MirType::Box("BoolBox".to_string())),
+
+            // ArrayBox
+            ("ArrayBox", "length") => Some(super::MirType::Box("IntegerBox".to_string())),
+            ("ArrayBox", "get") => Some(super::MirType::Unknown), // 要素型は実行時決定
+            ("ArrayBox", "push") => Some(super::MirType::Void),
+            ("ArrayBox", "pop") => Some(super::MirType::Unknown), // 要素型は実行時決定
+
+            // MapBox
+            ("MapBox", "get") => Some(super::MirType::Unknown), // 値型は実行時決定
+            ("MapBox", "set") => Some(super::MirType::Void),
+            ("MapBox", "has") => Some(super::MirType::Box("BoolBox".to_string())),
+            ("MapBox", "keys") => Some(super::MirType::Box("ArrayBox".to_string())),
+
+            // Result-like Box (QMark 用)
+            (_, "isOk") => Some(super::MirType::Box("BoolBox".to_string())),
+            (_, "getValue") => Some(super::MirType::Unknown), // Result<T> の T
+
+            // Stage1Cli ビルトイン (GroupB 対象)
+            ("Stage1CliBox", "parse") => Some(super::MirType::Unknown),
+            ("Stage1CliBox", "compile") => Some(super::MirType::Unknown),
+            ("Stage1CliBox", "execute") => Some(super::MirType::Unknown),
+
+            // 未知のメソッド → Unknown として登録（None を返すとPhiTypeResolverが使えない）
+            _ => {
+                if std::env::var("NYASH_BOXCALL_TYPE_DEBUG").ok().as_deref() == Some("1") {
+                    eprintln!(
+                        "[boxcall_type] unknown method {}.{} → Unknown",
+                        box_name, method
+                    );
+                }
+                Some(super::MirType::Unknown)
+            }
+        }
+    }
+
     /// Emit a Box method call or plugin call (unified BoxCall)
     pub(super) fn emit_box_or_plugin_call(
         &mut self,
@@ -241,9 +317,18 @@ impl super::MirBuilder {
                 if let Some(mt) = self.plugin_method_sigs.get(&(bt.clone(), method.clone())) {
                     self.value_types.insert(d, mt.clone());
                 } else {
-                    // Phase 15.5: Unified plugin-based type resolution
-                    // Former core boxes (StringBox, ArrayBox, MapBox) now use plugin_method_sigs only
-                    // No special hardcoded inference - all boxes treated uniformly
+                    // Phase 84-4-B: ビルトイン Box のメソッド戻り値型推論
+                    // plugin_method_sigs に登録されていない場合のフォールバック
+                    if let Some(ret_ty) = self.infer_boxcall_return_type(box_val, &method) {
+                        self.value_types.insert(d, ret_ty.clone());
+
+                        if std::env::var("NYASH_BOXCALL_TYPE_TRACE").ok().as_deref() == Some("1") {
+                            eprintln!(
+                                "[boxcall_type] registered %{} = BoxCall(%{}, {}) → {:?}",
+                                d.0, box_val.0, method, ret_ty
+                            );
+                        }
+                    }
                 }
             }
         }