docs(joinir): Task 200-4 - Update CURRENT_TASK and overview for Phase 200 Pipeline Cleanup

- Added Phase 200 completion status to CURRENT_TASK.md
- Updated joinir-architecture-overview.md with:
  - JoinInlineBoundaryBuilder (Phase 200-2)
  - JoinIRVerifier (Phase 200-3)
- Phase 200 achievements:
  - Task 200-1: Pattern × Box matrix table (21 boxes documented)
  - Task 200-2: Builder pattern for JoinInlineBoundary (Pattern2 pilot)
  - Task 200-3: Debug contract verifier for LoopHeader PHI/ExitLine
  - Task 200-4: Documentation updates

Phase 200 cleanup focuses on pipeline structure improvement without
changing behavior, establishing foundation for future refactoring.

docs/development/current/main/joinir-architecture-overview.md

@@ -171,6 +171,22 @@ JoinIR ラインで守るべきルールを先に書いておくよ：
     - 変数再接続はヘッダ PHI の dst を使って `builder.variable_map` を更新（Reconnector）。
     - expr 用の PHI には一切触れない（carrier 専用ライン）。
 
+- **JoinInlineBoundaryBuilder（Phase 200-2 追加）**
+  - ファイル: `src/mir/join_ir/lowering/inline_boundary_builder.rs`
+  - 責務:
+    - JoinInlineBoundary の構築を Builder パターンで統一化。
+    - フィールド直書きの散乱を防ぎ、inputs/outputs/condition_bindings/exit_bindings/loop_var_name/expr_result の設定を fluent API で実施。
+    - Pattern2 で試験導入済み（Pattern3/4 は将来適用予定）。
+
+- **JoinIRVerifier（Phase 200-3 追加）**
+  - ファイル: `src/mir/builder/control_flow/joinir/merge/mod.rs`（debug_assertions 専用関数）
+  - 責務:
+    - LoopHeader PHI / ExitLine 契約をデバッグビルドで検証する門番。
+    - `verify_loop_header_phis()`: loop_var_name がある場合にヘッダ PHI が存在するか確認。
+    - `verify_exit_line()`: exit_bindings が exit block に対応しているか確認。
+    - `verify_joinir_contracts()`: merge_joinir_mir_blocks() の最後で全契約を一括チェック。
+    - release ビルドでは完全に除去される（`#[cfg(debug_assertions)]`）。
+
 ### 2.4 expr result ライン（式としての戻り値）
 
 - **exit_phi_builder**