From b195e8bad9f34eaf6bf91b59bd505a2cca65557e Mon Sep 17 00:00:00 2001 From: nyash-codex Date: Thu, 18 Dec 2025 06:46:43 +0900 Subject: [PATCH] docs: Phase 126 DONE (available_inputs wired) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - AvailableInputsCollectorBox: function params + CapturedEnv SSOT - EnvLayout.inputs: reads ∩ available_inputs (deterministic) - Reads-only inputs resolution実装完了（dev-only） - Regression: 1165 tests PASS, Phase 121-125/118 smokes PASS - 次: Phase 127 TBD --- docs/development/current/main/10-Now.md | 25 +++++++++++++++++++------ 1 file changed, 19 insertions(+), 6 deletions(-) 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 完了 ✅