docs: Phase 125 P2-P5 DONE (structure-only, P3 pending)

Phase 125 P2-P5 完了:
- EnvLayout (writes + inputs) 導入
- Return(Variable) 解決拡張（writes or inputs）
- Fail-Fast with hint（構造化エラー）
- Unit tests: 18/18 PASS
- Integration smoke: PASS
- Regression: Phase 121-124, 118 維持

Next: Phase 125 P3 (available_inputs wiring)
- routing.rs / lowering.rs で available_inputs を配線
- SSOT: function params + CapturedEnv

Ref: docs/development/current/main/phases/phase-125/README.md

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 完了 ✅