diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md
index cb7fd38e..0f642b41 100644
--- a/docs/development/current/main/10-Now.md
+++ b/docs/development/current/main/10-Now.md
@@ -1,14 +1,27 @@
 # Self Current Task — Now (main)
 
-## Next: Phase 125（予定）
+## Next: Phase 125 P3（予定）
 
-**Phase 125: Normalized unknown-read capability + reads-based env extension**
-- Phase 124 で Return(Variable) from env (writes) 完了。次は reads-only 変数の env 拡張
-- 対応ノード: Return(Variable from reads), If(complex conditions), 複合式
-- unknown-read capability 導入
-- reads に基づく環境拡張（env に無い変数を reads から補完）
-- 既定挙動は不変（`joinir_dev_enabled()` のときだけ生成・検証）
-- 入口（計画）: `docs/development/current/main/phases/phase-125/README.md`
+**Phase 125 P3: available_inputs wiring (dev-only)**
+- Phase 125 P2-P5 完了。次は available_inputs の配線
+- 配線点: routing.rs / lowering.rs
+- SSOT: function params + CapturedEnv (pinned/captured)
+- inputs が実際に env に載るようになる
+
+## 2025-12-18：Phase 125 P2-P5 完了 ✅
+
+**Phase 125 P2-P5: Reads-Only Env Inputs (dev-only, structure)**
+- EnvLayout 導入（writes + inputs の 2 レーン化）
+- from_contract: reads ∩ available_inputs で inputs を決定（決定的順序）
+- Return(Variable) 解決拡張: writes or inputs から解決
+- Fail-Fast with hint: env に無い変数は構造化エラー
+- Unit tests: 18/18 PASS (including new test_return_variable_from_inputs_stub)
+- Integration smoke: PASS (phase125_if_only_return_input_vm.sh, exit code 7)
+- Regression: Phase 121-124, 118 維持確認（全 PASS）
+- 入口: `docs/development/current/main/phases/phase-125/README.md`
+- 実装:
+  - `src/mir/control_tree/normalized_shadow/builder.rs` (EnvLayout, 186行追加)
+- Note: P3 (available_inputs wiring) 未実装、inputs は空（structure-only）
 
 ## 2025-12-18：Phase 124 完了 ✅