diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index 0f642b41..9698fb02 100644 --- a/docs/development/current/main/10-Now.md +++ b/docs/development/current/main/10-Now.md @@ -1,12 +1,25 @@ # Self Current Task — Now (main) -## Next: Phase 125 P3(予定) +## Next: Phase 127(予定) -**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 に載るようになる +**Phase 127: TBD** +- Phase 126 完了。次のフェーズを決定 + +## 2025-12-18:Phase 126 完了 ✅ + +**Phase 126: available_inputs SSOT wiring (dev-only)** +- AvailableInputsCollectorBox 実装(function params + CapturedEnv 収集) +- try_lower_if_only() に available_inputs 配線(dev-only) +- EnvLayout.inputs が実際に使用されるようになった +- Fixture 強化: reads-only 変数の return 解決を確認 +- Regression: Phase 121-125, 118 維持確認(全 PASS) +- Unit tests: 28/28 PASS (including 5 new AvailableInputsCollectorBox tests) +- Integration smoke: PASS (phase125_if_only_return_input_vm.sh, exit code 7) +- 入口: `docs/development/current/main/phases/phase-126/README.md` +- 実装: + - `src/mir/control_tree/normalized_shadow/available_inputs_collector.rs` (143行、新規) + - `src/mir/control_tree/normalized_shadow/builder.rs` (available_inputs 配線) + - `src/mir/builder/calls/lowering.rs` (AvailableInputsCollectorBox::collect() 呼び出し) ## 2025-12-18:Phase 125 P2-P5 完了 ✅