From e65695803372628b16b649cef7f362ff5a92eb9f Mon Sep 17 00:00:00 2001 From: nyash-codex Date: Tue, 2 Dec 2025 12:36:28 +0900 Subject: [PATCH] feat(env): Phase 71-73 - SSA fix + Stage-3 ENV consolidation MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ## Phase 71-SSA: StageBDriverBox birth warning 解消 - Fixed false-positive dev verify warning for static boxes - StageBDriverBox is a static box, so it doesn't follow NewBox→birth pattern - Modified lifecycle.rs to skip StageBDriverBox from birth() requirement ## Phase 73-A: Stage-3 legacy ENV 統一化 - Consolidated NYASH_PARSER_STAGE3 and HAKO_PARSER_STAGE3 → NYASH_FEATURES=stage3 - Updated 20 test files (46 direct replacements) - Special handling for parser_stage3.rs compat layer and mir_static_main_args_loop.rs - All test files now use unified NYASH_FEATURES=stage3 ## Phase 72-73: ENV inventory documented - Created phase72-73-env-inventory.md with complete usage analysis - Identified 113 direct ENV reads requiring SSOT consolidation - Prioritized Phase 72 (JoinIR EXPERIMENT SSOT) and Phase 73 (Stage-3 cleanup) ## Phase 74-SSA: Minimal reproduction for static box delegation - Created parser_box_minimal.hako and ssa_static_delegation_min.hako - Investigated spawn failure in selfhost compiler (arguments too long) - Root cause: NYASH_NY_COMPILER_EMIT_ONLY=1 defaults to emit-only mode 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude --- apps/tests/parser_box_minimal.hako | 139 ++++ apps/tests/ssa_static_delegation_min.hako | 36 + .../current/main/phase72-73-env-inventory.md | 641 ++++++++++++++++++ src/mir/builder/lifecycle.rs | 5 +- src/tests/json_lint_stringutils_min_vm.rs | 8 +- src/tests/mir_breakfinder_ssa.rs | 2 +- src/tests/mir_ctrlflow_break_continue.rs | 8 +- .../mir_funcscanner_parse_params_trim_min.rs | 8 +- src/tests/mir_funcscanner_skip_ws.rs | 8 +- src/tests/mir_funcscanner_skip_ws_min.rs | 8 +- src/tests/mir_funcscanner_ssa.rs | 2 +- src/tests/mir_funcscanner_trim_min.rs | 8 +- src/tests/mir_locals_ssa.rs | 4 +- src/tests/mir_pure_e2e_vm.rs | 2 +- src/tests/mir_stageb_like_args_length.rs | 2 +- src/tests/mir_stageb_loop_break_continue.rs | 2 +- src/tests/mir_stageb_string_utils_skip_ws.rs | 12 +- src/tests/mir_static_box_naming.rs | 8 +- src/tests/parser_block_postfix_catch.rs | 2 +- src/tests/parser_block_postfix_errors.rs | 2 +- src/tests/parser_expr_postfix_catch.rs | 2 +- src/tests/parser_method_postfix.rs | 2 +- tests/mir_static_main_args_loop.rs | 6 +- tests/parser_stage3.rs | 32 +- 24 files changed, 880 insertions(+), 69 deletions(-) create mode 100644 apps/tests/parser_box_minimal.hako create mode 100644 apps/tests/ssa_static_delegation_min.hako create mode 100644 docs/development/current/main/phase72-73-env-inventory.md diff --git a/apps/tests/parser_box_minimal.hako b/apps/tests/parser_box_minimal.hako new file mode 100644 index 00000000..95944c70 --- /dev/null +++ b/apps/tests/parser_box_minimal.hako @@ -0,0 +1,139 @@ +// Phase 74-SSA: ParserBox minimal reproduction +// Goal: Reproduce SSA undef by matching ParserBox structure +// Pattern: me.method() → delegation → static box + +static box ParserStringUtilsBox { + is_digit(ch) { + if ch >= "0" && ch <= "9" { return 1 } + return 0 + } + + to_int(s) { + if s == null { return 0 } + local str = "" + s + local n = str.length() + if n == 0 { return 0 } + local neg = 0 + local i = 0 + if str.substring(0, 1) == "-" { neg = 1 i = 1 } + local acc = 0 + loop(i < n) { + local ch = str.substring(i, i + 1) + if ch < "0" || ch > "9" { break } + acc = acc * 10 + ("0123456789".indexOf(ch)) + i = i + 1 + } + if neg == 1 { return 0 - acc } + return acc + } + + skip_ws(src, i) { + local n = src.length() + loop(i < n) { + local ch = src.substring(i, i + 1) + if ch == " " || ch == "\t" || ch == "\n" || ch == "\r" { + i = i + 1 + continue + } + break + } + return i + } +} + +box ParserBox { + gpos + usings_json + + birth() { + me.gpos = 0 + me.usings_json = "[]" + return 0 + } + + gpos_set(i) { me.gpos = i return 0 } + gpos_get() { return me.gpos } + + // Delegation methods (Phase 71-SSA: these cause SSA undef) + is_digit(ch) { + return ParserStringUtilsBox.is_digit(ch) + } + + to_int(s) { + return ParserStringUtilsBox.to_int(s) + } + + skip_ws(src, i) { + return ParserStringUtilsBox.skip_ws(src, i) + } + + // Method that uses delegation via me.method() + parse_something(text) { + local pos = text.lastIndexOf("@") + if pos >= 0 { + local num_str = text.substring(pos+1, text.length()) + // 🔥 me.to_int() → ParserBox.to_int() → ParserStringUtilsBox.to_int() + local num = me.to_int(num_str) + me.gpos_set(num) + return num + } + return 0 + } + + // Method with loop + me delegation call + process(text) { + local i = 0 + local n = text.length() + loop(i < n) { + local ch = text.substring(i, i+1) + if me.is_digit(ch) == 1 { // me経由の委譲呼び出し + break + } + i = i + 1 + } + return i + } + + // More complex method with multiple me calls + parse_number(src, start) { + local i = start + local n = src.length() + + // Skip whitespace via me delegation + i = me.skip_ws(src, i) + if i >= n { return 0 } + + // Find number start + local num_start = i + loop(i < n) { + local ch = src.substring(i, i+1) + if me.is_digit(ch) == 1 { + i = i + 1 + continue + } + break + } + + if i > num_start { + local num_str = src.substring(num_start, i) + return me.to_int(num_str) // me経由のto_int委譲 + } + return 0 + } +} + +box Main { + main() { + local parser = new ParserBox() + + // Test delegation via me + local num = parser.parse_something("data@42") + local pos = parser.process("abc123") + local parsed = parser.parse_number(" 789xyz", 0) + + if num == 42 && pos == 3 && parsed == 789 { + return 0 + } + return 1 + } +} diff --git a/apps/tests/ssa_static_delegation_min.hako b/apps/tests/ssa_static_delegation_min.hako new file mode 100644 index 00000000..b73d0866 --- /dev/null +++ b/apps/tests/ssa_static_delegation_min.hako @@ -0,0 +1,36 @@ +// Phase 74-SSA: Minimal reproduction of static box delegation bug +// Goal: Reproduce ValueId undef caused by box → static box delegation +// +// Pattern: box A delegates to static box B (matches ParserBox → ParserStringUtilsBox) +// Expected bug: ValueId mapping fails for arguments in delegation + +static box TargetBox { + is_digit(ch) { + if ch >= "0" && ch <= "9" { return 1 } + return 0 + } +} + +box DelegateBox { + // Non-static box delegating to static box (matches ParserBox pattern) + is_digit(ch) { + // This delegation should cause SSA undef (ValueId mapping failure) + return TargetBox.is_digit(ch) + } + + birth() { + return 0 + } +} + +box Main { + main() { + local delegate = new DelegateBox() + local ch = "7" + // Call through delegation + local d = delegate.is_digit(ch) + // Use result to avoid SSA dead code elimination + if d == 1 { return 0 } + return 1 + } +} diff --git a/docs/development/current/main/phase72-73-env-inventory.md b/docs/development/current/main/phase72-73-env-inventory.md new file mode 100644 index 00000000..cb65d140 --- /dev/null +++ b/docs/development/current/main/phase72-73-env-inventory.md @@ -0,0 +1,641 @@ +# Phase 72-73 ENV 使用状況棚卸し（ENV/JoinIR整理） + +**調査日**: 2025-12-02 +**目的**: Stage-3 / JoinIR / selfhost 関連の ENV 使用状況を洗い出し、Phase 72-73 整理の優先順位を決定する。 + +--- + +## 📊 Executive Summary（総括） + +### 全体傾向 +- **Stage-3 関連**: 既に `NYASH_FEATURES=stage3` への移行が進行中（96箇所のスクリプトで使用） +- **JoinIR 関連**: `NYASH_JOINIR_EXPERIMENT` 系が実験モードとして広く使用（直接読み込み多数） +- **直接読み込み問題**: JoinIR系で20ファイル以上が `std::env::var()` 直接読み込み → SSOT整理が急務 + +### 優先順位（推奨整理順） +1. **CRITICAL**: JoinIR 直接読み込みの SSOT 化（20+ファイル） +2. **HIGH**: `HAKO_JOINIR_*` の統合整理（12種類のENV、一部は実験用） +3. **MEDIUM**: Stage-3 legacy ENV の完全削除（`NYASH_PARSER_STAGE3`, `HAKO_PARSER_STAGE3`） +4. **LOW**: `NYASH_FEATURES=stage3` のデフォルト化完了確認 + +--- + +## 1. Stage-3 関連 ENV + +### 1.1 `NYASH_PARSER_STAGE3` + +**使用箇所総数**: 62箇所 + +#### カテゴリ別内訳 +- **Rust SSOT経由**: 2箇所（config/env.rs での定義のみ） + - `src/config/env.rs:715` - `env_flag("NYASH_PARSER_STAGE3")` で読み込み + - `src/mir/builder.rs:538` - エラーメッセージでの言及のみ + +- **Rust 直接読み込み**: 27箇所（⚠️ **問題箇所**） + - `tests/parser_stage3.rs`: 5箇所（テスト用 set/remove_var） + - `tests/mir_*.rs`: 18箇所（テスト用 set_var） + - `src/tests/*.rs`: 4箇所（テスト用 set_var） + +- **Scripts**: 35箇所 + - `tools/selfhost/*.sh`: 12箇所 + - `tools/dev/*.sh`: 8箇所 + - `tools/smokes/*.sh`: 2箇所 + - `tools/hako_check/*.sh`: 1箇所 + - その他: 12箇所 + +- **Child env 伝播**: 2箇所 + - `src/runner/child_env.rs:57-58` + - `src/runner/stage1_bridge/env.rs:131-132` + +#### 現状 +- ✅ **SSOT関数**: `config::env::parser_stage3_enabled()` が定義済み +- ✅ **優先順位**: `NYASH_FEATURES=stage3` > `NYASH_PARSER_STAGE3` > `HAKO_PARSER_STAGE3` > デフォルトtrue +- ⚠️ **問題**: テストでの直接読み込みが27箇所残存 +- 📌 **推奨**: legacy ENV として deprecation warning を既に出力中（config/env.rs:716） + +--- + +### 1.2 `HAKO_PARSER_STAGE3` + +**使用箇所総数**: 46箇所 + +#### カテゴリ別内訳 +- **Rust SSOT経由**: 2箇所（config/env.rs での定義のみ） + - `src/config/env.rs:719` - `env_flag("HAKO_PARSER_STAGE3")` で読み込み + - `src/mir/builder.rs:538` - エラーメッセージでの言及のみ + +- **Rust 直接読み込み**: 19箇所（⚠️ **問題箇所**） + - `tests/parser_stage3.rs`: 5箇所（テスト用 set/remove_var） + - `tests/mir_*.rs`: 12箇所（テスト用 set_var） + - `src/runner/child_env.rs`: 2箇所（子プロセスへの伝播） + +- **Scripts**: 25箇所 + - `tools/selfhost/*.sh`: 10箇所 + - `tools/dev/*.sh`: 7箇所 + - `tools/smokes/v2/*.sh`: 2箇所 + - その他: 6箇所 + +- **Child env 伝播**: 2箇所 + - `src/runner/child_env.rs:57-58` + - `src/runner/stage1_bridge/env.rs:131-132` + +#### 現状 +- ✅ **SSOT関数**: `config::env::parser_stage3_enabled()` が定義済み（共通関数） +- ✅ **優先順位**: `NYASH_FEATURES=stage3` > `NYASH_PARSER_STAGE3` > `HAKO_PARSER_STAGE3` > デフォルトtrue +- ⚠️ **問題**: テストでの直接読み込みが19箇所残存 +- 📌 **推奨**: legacy ENV として deprecation warning を既に出力中（config/env.rs:720） + +--- + +### 1.3 `NYASH_FEATURES=stage3` + +**使用箇所総数**: 144箇所（推定） + +#### カテゴリ別内訳 +- **Rust SSOT経由**: 21箇所 + - `src/config/env.rs` の `feature_stage3_enabled()` → `parser_stage3_enabled()` 経由 + - Parser、Builder、Runner など主要モジュールで使用 + +- **Rust 直接設定**: 15箇所（テストでの `std::env::set_var("NYASH_FEATURES", "stage3")`） + - `src/tests/mir_stage1_using_resolver_verify.rs` + - `src/tests/stage1_cli_entry_ssa_smoke.rs` + - `src/tests/mir_joinir_*.rs` など + +- **Scripts**: 96箇所（`tools/smokes/v2/` が主体） + - `tools/smokes/v2/profiles/quick/`: 多数 + - `tools/smokes/v2/lib/stageb_helpers.sh`: 4箇所 + - `tools/smokes/v2/lib/test_runner.sh`: 7箇所 + +- **Child env 伝播**: 3箇所 + - `src/runner/stage1_bridge/env.rs:118-124` - Stage-3フラグの自動伝播 + - `src/runner/child_env.rs:52` - Stage-3フラグの明示的設定 + +#### 現状 +- ✅ **SSOT関数**: `config::env::feature_stage3_enabled()` が定義済み +- ✅ **デフォルト**: `parser_stage3_enabled()` が `true` を返す（Stage-3は標準構文化済み） +- ✅ **移行完了度**: 高（96箇所のスクリプトで採用） +- 📌 **推奨**: legacy ENV の完全削除に向けた最終段階 + +--- + +## 2. JoinIR 関連 ENV + +### 2.1 `NYASH_JOINIR_CORE` + +**使用箇所総数**: 9箇所 + +#### カテゴリ別内訳 +- **Rust SSOT経由**: 1箇所 + - `src/config/env.rs:242` - `env_flag("NYASH_JOINIR_CORE")` で読み込み + +- **Rust 直接読み込み**: 6箇所（⚠️ **問題箇所**） + - `src/tests/mir_stage1_staticcompiler_receiver.rs:39` - `std::env::set_var("NYASH_JOINIR_CORE", "1")` + - `src/tests/mir_joinir_if_select.rs:14,19` - set/remove_var + - `src/tests/mir_joinir_stage1_using_resolver_min.rs:31` - set_var + - `src/tests/helpers/joinir_env.rs:7,12,17` - set/remove_var helper + +- **Scripts**: 0箇所 + +- **Tests**: 6箇所（全てテストヘルパー経由） + +#### 現状 +- ✅ **SSOT関数**: `config::env::joinir_core_enabled()` が定義済み +- ⚠️ **問題**: テストでの直接読み込みが6箇所残存 +- 📌 **推奨**: `tests/helpers/joinir_env.rs` のヘルパー関数を SSOT 化 + +--- + +### 2.2 `NYASH_JOINIR_DEV` + +**使用箇所総数**: 2箇所 + +#### カテゴリ別内訳 +- **Rust SSOT経由**: 2箇所 + - `src/config/env.rs:325` - `env_bool("NYASH_JOINIR_DEV")` 定義 + - `src/config/env.rs:328` - `joinir_dev_enabled()` での参照 + +- **Rust 直接読み込み**: 0箇所（✅ **SSOT完璧**） + +- **Scripts**: 0箇所 + +#### 現状 +- ✅ **SSOT関数**: `config::env::joinir_dev_enabled()` が定義済み +- ✅ **完璧な状態**: 全てSSAT経由、直接読み込みなし +- 📌 **推奨**: 現状維持（モデルケース） + +--- + +### 2.3 `NYASH_JOINIR_STRICT` + +**使用箇所総数**: 6箇所 + +#### カテゴリ別内訳 +- **Rust SSOT経由**: 2箇所 + - `src/config/env.rs:263,265` - `env_flag("NYASH_JOINIR_STRICT")` 定義 + +- **Rust 直接読み込み**: 4箇所（⚠️ **問題箇所**） + - `src/tests/mir_joinir_stage1_using_resolver_min.rs:32` - `std::env::set_var("NYASH_JOINIR_STRICT", "1")` + - `src/tests/mir_joinir_if_select.rs:15,20` - set/remove_var + - `src/tests/mir_stage1_staticcompiler_receiver.rs:40` - set_var + +- **Scripts**: 0箇所 + +#### 現状 +- ✅ **SSOT関数**: `config::env::joinir_strict_enabled()` が定義済み +- ⚠️ **問題**: テストでの直接読み込みが4箇所残存 +- 📌 **推奨**: `tests/helpers/joinir_env.rs` にヘルパー追加 + +--- + +### 2.4 `NYASH_JOINIR_EXPERIMENT` + +**使用箇所総数**: 49箇所 + +#### カテゴリ別内訳 +- **Rust SSOT経由**: 7箇所 + - `src/config/env.rs:234` - `env_bool("NYASH_JOINIR_EXPERIMENT")` 定義 + - `src/runner/modes/vm.rs`, `llvm.rs` など主要実行器で参照 + +- **Rust 直接読み込み**: 39箇所（⚠️ **深刻な問題**） + - `src/tests/mir_joinir_*.rs`: 15箇所（実験モードチェック） + - `src/tests/joinir_*.rs`: 10箇所（実験モードチェック） + - `src/mir/join_ir/`: 5箇所（条件付き有効化） + - `src/mir/phi_core/loopform_builder.rs:81` - コメント言及 + - その他: 9箇所 + +- **Scripts**: 3箇所 + - `tools/joinir_ab_test.sh`: 4箇所 + +- **Tests**: 36箇所（テストスキップ判定） + +#### 現状 +- ✅ **SSOT関数**: `config::env::joinir_experiment_enabled()` が定義済み +- ❌ **深刻な問題**: 直接読み込みが39箇所残存（最多） +- 📌 **推奨**: **Phase 72 最優先タスク** - 全テストを SSOT 化 + +--- + +### 2.5 `HAKO_JOINIR_*` 系（12種類） + +#### 2.5.1 `HAKO_JOINIR_IF_SELECT` + +**使用箇所総数**: 19箇所 + +- **Rust SSOT経由**: 3箇所（config/env.rs） +- **Rust 直接読み込み**: 13箇所（テスト用 set/remove_var） + - `src/tests/mir_joinir_if_select.rs`: 9箇所 + - `src/tests/helpers/joinir_env.rs`: 2箇所 +- **Scripts**: 0箇所 + +**SSOT関数**: `config::env::joinir_if_select_enabled()` ✅ + +--- + +#### 2.5.2 `HAKO_JOINIR_DEBUG` + +**使用箇所総数**: 20箇所 + +- **Rust SSOT経由**: 4箇所（config/env.rs） +- **Rust 直接読み込み**: 0箇所（✅ **完璧**） +- **使用関数**: `config::env::joinir_debug_level()` → 返り値 0-3 + +**SSOT関数**: `config::env::joinir_debug_level()` ✅（完璧な例） + +--- + +#### 2.5.3 `HAKO_JOINIR_STAGE1` + +**使用箇所総数**: 3箇所 + +- **Rust SSOT経由**: 2箇所（config/env.rs での定義のみ） +- **Rust 直接読み込み**: 0箇所（✅ **完璧**） +- **Scripts**: 0箇所 + +**SSOT関数**: `config::env::joinir_stage1_enabled()` ✅（未使用だが準備済み） + +--- + +#### 2.5.4 `HAKO_JOINIR_IF_IN_LOOP_DRYRUN` + +**使用箇所総数**: 4箇所 + +- **Rust SSOT経由**: 2箇所（config/env.rs + 関数使用2箇所） +- **Rust 直接読み込み**: 2箇所（テスト用 set/remove_var） + - `src/tests/phase61_if_in_loop_dryrun.rs:13,16` + +**SSOT関数**: `config::env::joinir_if_in_loop_dryrun_enabled()` ✅ + +--- + +#### 2.5.5 `HAKO_JOINIR_IF_IN_LOOP_ENABLE` + +**使用箇所総数**: 3箇所 + +- **Rust SSOT経由**: 3箇所（config/env.rs + 関数使用） +- **Rust 直接読み込み**: 0箇所（✅ **完璧**） + +**SSOT関数**: `config::env::joinir_if_in_loop_enable()` ✅ + +--- + +#### 2.5.6 `HAKO_JOINIR_IF_TOPLEVEL` + +**使用箇所総数**: 3箇所 + +- **Rust SSOT経由**: 3箇所（config/env.rs + 関数使用） +- **Rust 直接読み込み**: 0箇所（✅ **完璧**） + +**SSOT関数**: `config::env::joinir_if_toplevel_enabled()` ✅ + +--- + +#### 2.5.7 `HAKO_JOINIR_IF_TOPLEVEL_DRYRUN` + +**使用箇所総数**: 2箇所 + +- **Rust SSOT経由**: 2箇所（config/env.rs での定義のみ） +- **Rust 直接読み込み**: 0箇所（✅ **完璧**） + +**SSOT関数**: `config::env::joinir_if_toplevel_dryrun_enabled()` ✅（未使用だが準備済み） + +--- + +#### 2.5.8 `HAKO_JOINIR_PRINT_TOKENS_MAIN` / `HAKO_JOINIR_ARRAY_FILTER_MAIN` + +**使用箇所総数**: 10箇所 + +- **Rust SSOT経由**: 0箇所（❌ **SSOT未定義**） +- **Rust 直接読み込み**: 6箇所（⚠️ **問題箇所**） + - `src/mir/builder/control_flow.rs:92,102` - 直接読み込み + - `src/tests/joinir/mainline_phase49.rs`: 4箇所（set/remove_var） + +- **Scripts**: 0箇所 + +**SSOT関数**: ❌ **未定義**（dev専用フラグ） + +--- + +#### 2.5.9 `HAKO_JOINIR_IF_IN_LOOP_TRACE` / `HAKO_JOINIR_IF_TOPLEVEL_TRACE` + +**使用箇所総数**: 2箇所 + +- **Rust SSOT経由**: 0箇所（❌ **SSOT未定義**） +- **Rust 直接読み込み**: 2箇所（⚠️ **問題箇所**） + - `src/mir/loop_builder/if_in_loop_phi_emitter.rs:72,184` - 直接読み込み + +**SSOT関数**: ❌ **未定義**（trace専用フラグ） + +--- + +#### 2.5.10 `HAKO_JOINIR_READ_QUOTED` / `HAKO_JOINIR_READ_QUOTED_IFMERGE` + +**使用箇所総数**: 8箇所 + +- **Rust SSOT経由**: 0箇所（❌ **SSOT未定義**） +- **Rust 直接読み込み**: 8箇所（⚠️ **問題箇所**） + - `src/mir/join_ir_vm_bridge/tests.rs`: 4箇所（テストスキップ判定） + - `src/mir/join_ir/frontend/ast_lowerer/tests.rs`: 3箇所（テストスキップ判定） + - `src/mir/join_ir/frontend/ast_lowerer/read_quoted.rs:351` - 条件分岐 + +**SSOT関数**: ❌ **未定義**（実験フラグ） + +--- + +#### 2.5.11 `HAKO_JOINIR_NESTED_IF` + +**使用箇所総数**: 7箇所 + +- **Rust SSOT経由**: 0箇所（❌ **SSOT未定義**） +- **Rust 直接読み込み**: 7箇所（⚠️ **問題箇所**） + - `src/mir/join_ir/frontend/ast_lowerer/mod.rs:107,122` - 条件分岐 + - `src/mir/join_ir/frontend/ast_lowerer/tests.rs`: 2箇所（テストスキップ判定） + - `src/tests/phase41_nested_if_merge_test.rs`: 3箇所（テストスキップ判定） + +**SSOT関数**: ❌ **未定義**（実験フラグ） + +--- + +#### 2.5.12 `HAKO_JOINIR_IF_SELECT_DRYRUN` + +**使用箇所総数**: 1箇所 + +- **Rust SSOT経由**: 0箇所（❌ **SSOT未定義**） +- **Rust 直接読み込み**: 1箇所 + - `src/tests/helpers/joinir_env.rs:19` - `std::env::remove_var("HAKO_JOINIR_IF_SELECT_DRYRUN")` + +**SSOT関数**: ❌ **未定義**（未使用？） + +--- + +## 3. 直接読み込み問題ファイル一覧（重要！） + +### 3.1 NYASH_JOINIR_EXPERIMENT 直接読み込み（39箇所） + +| ファイル名 | 行数 | 用途 | +|----------|------|------| +| `src/tests/mir_joinir_funcscanner_append_defs.rs` | 36, 178 | テストスキップ判定 | +| `src/tests/mir_joinir_skip_ws.rs` | 34, 124 | テストスキップ判定 | +| `src/tests/mir_joinir_stage1_using_resolver_min.rs` | 41, 154 | テストスキップ判定 | +| `src/tests/joinir_runner_min.rs` | 15 | テストスキップ判定 | +| `src/tests/joinir_json_min.rs` | 12 | コメント言及 | +| `src/tests/mir_joinir_funcscanner_trim.rs` | 35, 133 | テストスキップ判定 | +| `src/tests/mir_joinir_min.rs` | 25, 144 | テストスキップ判定 | +| `src/tests/mir_joinir_stageb_funcscanner.rs` | 20 | テストスキップ判定 | +| `src/tests/joinir_runner_standalone.rs` | 18, 153 | テストスキップ判定 | +| `src/mir/join_ir_vm_bridge_dispatch/exec_routes.rs` | 11 | コメント言及 | +| `src/tests/helpers/joinir_env.rs` | 20 | ヘルパー関数 remove_var | +| `src/tests/mir_joinir_stageb_body.rs` | 20 | テストスキップ判定 | +| `src/mir/phi_core/loopform_builder.rs` | 81 | コメント言及 | +| `src/mir/join_ir/verify.rs` | 17 | コメント言及 | + +### 3.2 HAKO_JOINIR_* 直接読み込み（28箇所） + +| ENV名 | ファイル数 | 主な用途 | +|------|----------|---------| +| `HAKO_JOINIR_IF_SELECT` | 2ファイル（13箇所） | テスト用 set/remove_var | +| `HAKO_JOINIR_NESTED_IF` | 3ファイル（7箇所） | テストスキップ判定、条件分岐 | +| `HAKO_JOINIR_READ_QUOTED` | 3ファイル（8箇所） | テストスキップ判定、条件分岐 | +| `HAKO_JOINIR_PRINT_TOKENS_MAIN` | 2ファイル（6箇所） | dev専用フラグ（builder制御） | +| `HAKO_JOINIR_IF_IN_LOOP_TRACE` | 1ファイル（2箇所） | trace専用フラグ | +| `HAKO_JOINIR_IF_IN_LOOP_DRYRUN` | 1ファイル（2箇所） | テスト用 set/remove_var | + +### 3.3 Stage-3 直接読み込み（46箇所） + +| ENV名 | ファイル数 | 主な用途 | +|------|----------|---------| +| `NYASH_PARSER_STAGE3` | 10ファイル（27箇所） | テスト用 set/remove_var | +| `HAKO_PARSER_STAGE3` | 6ファイル（19箇所） | テスト用 set/remove_var | + +--- + +## 4. 整理優先順位（推奨） + +### 🔴 CRITICAL（即座に対応） + +#### 4.1 NYASH_JOINIR_EXPERIMENT の SSOT 化 +- **問題**: 39箇所の直接読み込み（最多） +- **影響範囲**: 14テストファイル + 3実装ファイル +- **推奨対応**: + 1. `tests/helpers/joinir_env.rs` に以下を追加: + ```rust + pub fn enable_joinir_experiment() { + std::env::set_var("NYASH_JOINIR_EXPERIMENT", "1"); + } + pub fn disable_joinir_experiment() { + std::env::remove_var("NYASH_JOINIR_EXPERIMENT"); + } + pub fn is_joinir_experiment_enabled() -> bool { + crate::config::env::joinir_experiment_enabled() + } + ``` + 2. 全テストファイルの `std::env::var("NYASH_JOINIR_EXPERIMENT")` を上記ヘルパーに置換 + 3. テストスキップ判定を統一化 + +--- + +### 🟠 HIGH（Phase 72 で対応） + +#### 4.2 HAKO_JOINIR_* dev/実験フラグの整理 +- **対象**: 8種類のdev/実験フラグ（SSOT未定義） + - `HAKO_JOINIR_NESTED_IF` + - `HAKO_JOINIR_READ_QUOTED` + - `HAKO_JOINIR_READ_QUOTED_IFMERGE` + - `HAKO_JOINIR_PRINT_TOKENS_MAIN` + - `HAKO_JOINIR_ARRAY_FILTER_MAIN` + - `HAKO_JOINIR_IF_IN_LOOP_TRACE` + - `HAKO_JOINIR_IF_TOPLEVEL_TRACE` + - `HAKO_JOINIR_IF_SELECT_DRYRUN` + +- **推奨対応**: + 1. 使用頻度が高いものは SSOT 関数化（例: `HAKO_JOINIR_NESTED_IF`） + 2. trace専用フラグは `HAKO_JOINIR_DEBUG` レベルに統合検討 + 3. 未使用フラグは削除検討 + +--- + +#### 4.3 HAKO_JOINIR_IF_SELECT の SSOT 完全化 +- **問題**: 13箇所の直接読み込み（テスト用） +- **推奨対応**: + 1. `tests/helpers/joinir_env.rs` に以下を追加: + ```rust + pub fn enable_joinir_if_select() { + std::env::set_var("HAKO_JOINIR_IF_SELECT", "1"); + } + pub fn disable_joinir_if_select() { + std::env::remove_var("HAKO_JOINIR_IF_SELECT"); + } + ``` + 2. `src/tests/mir_joinir_if_select.rs` の9箇所を置換 + +--- + +### 🟡 MEDIUM（Phase 73 で対応） + +#### 4.4 Stage-3 legacy ENV の完全削除 +- **対象**: `NYASH_PARSER_STAGE3`, `HAKO_PARSER_STAGE3` +- **現状**: deprecation warning 出力中 +- **推奨対応**: + 1. Phase 72 完了後、全テストを `NYASH_FEATURES=stage3` に統一 + 2. child_env/stage1_bridge の伝播ロジック削減 + 3. `config/env.rs` の優先順位ロジック簡素化（`NYASH_FEATURES` のみに） + +--- + +### 🟢 LOW（Phase 74+ で対応） + +#### 4.5 NYASH_FEATURES のデフォルト化完了確認 +- **現状**: `parser_stage3_enabled()` が既に `true` をデフォルト返却 +- **推奨対応**: + 1. スクリプトから `NYASH_FEATURES=stage3` の明示的指定を削減 + 2. ドキュメント更新（Stage-3は標準構文であることを明記） + +--- + +## 5. SSOT 化推奨パターン + +### 5.1 テストヘルパー統一パターン（`tests/helpers/joinir_env.rs`） + +```rust +/// JoinIR 実験モード有効化 +pub fn enable_joinir_experiment() { + std::env::set_var("NYASH_JOINIR_EXPERIMENT", "1"); +} + +/// JoinIR 実験モード無効化 +pub fn disable_joinir_experiment() { + std::env::remove_var("NYASH_JOINIR_EXPERIMENT"); +} + +/// JoinIR 実験モード確認（SSOT経由） +pub fn is_joinir_experiment_enabled() -> bool { + crate::config::env::joinir_experiment_enabled() +} + +/// テストスキップ判定の統一化 +pub fn skip_unless_joinir_experiment(test_name: &str) { + if !is_joinir_experiment_enabled() { + eprintln!( + "[{}] NYASH_JOINIR_EXPERIMENT=1 not set, skipping test", + test_name + ); + return; + } +} +``` + +### 5.2 テスト内での使用例 + +```rust +// Before（❌ 直接読み込み） +#[test] +fn test_joinir_feature() { + if std::env::var("NYASH_JOINIR_EXPERIMENT").ok().as_deref() != Some("1") { + eprintln!("[test] NYASH_JOINIR_EXPERIMENT=1 not set, skipping"); + return; + } + // テスト本体 +} + +// After（✅ SSOT経由） +#[test] +fn test_joinir_feature() { + use crate::tests::helpers::joinir_env::skip_unless_joinir_experiment; + skip_unless_joinir_experiment("test_joinir_feature"); + // テスト本体 +} +``` + +--- + +## 6. Phase 72-73 タスクブレークダウン + +### Phase 72-A: JoinIR EXPERIMENT SSOT 化 +- [ ] `tests/helpers/joinir_env.rs` にヘルパー追加 +- [ ] 14テストファイルの直接読み込み置換（39箇所） +- [ ] 実装ファイルのコメント更新（3箇所） + +### Phase 72-B: HAKO_JOINIR_IF_SELECT SSOT 化 +- [ ] `tests/helpers/joinir_env.rs` にヘルパー追加 +- [ ] `src/tests/mir_joinir_if_select.rs` 置換（9箇所） +- [ ] `tests/helpers/joinir_env.rs` 置換（2箇所） + +### Phase 72-C: dev/実験フラグ整理 +- [ ] 使用頻度調査（各フラグの利用実態確認） +- [ ] SSOT 関数化優先順位決定 +- [ ] trace系フラグの統合検討 + +### Phase 73-A: Stage-3 legacy ENV 削除 +- [ ] 全テストを `NYASH_FEATURES=stage3` に統一（46箇所） +- [ ] child_env/stage1_bridge の伝播ロジック簡素化 +- [ ] `config/env.rs` の優先順位ロジック削減 + +### Phase 73-B: スクリプト整理 +- [ ] `tools/selfhost/*.sh` の legacy ENV 削除（22箇所） +- [ ] `tools/dev/*.sh` の legacy ENV 削除（15箇所） +- [ ] smokes/v2 での `NYASH_FEATURES=stage3` 簡素化（96箇所） + +--- + +## 7. 検証手順 + +### 7.1 Phase 72 完了条件 +```bash +# 直接読み込みゼロ確認 +rg 'std::env::var\("NYASH_JOINIR_EXPERIMENT"\)' --type rust +rg 'std::env::var\("HAKO_JOINIR_IF_SELECT"\)' --type rust + +# 期待結果: config/env.rs とテストヘルパーのみ +``` + +### 7.2 Phase 73 完了条件 +```bash +# legacy ENV ゼロ確認 +rg 'NYASH_PARSER_STAGE3|HAKO_PARSER_STAGE3' --type rust --type sh +rg 'std::env::var\("NYASH_PARSER_STAGE3"\)' --type rust + +# 期待結果: deprecation warning 削除済み +``` + +--- + +## 8. 既知の良い例（モデルケース） + +### 8.1 `NYASH_JOINIR_DEV`（完璧な SSOT 実装） +- ✅ 全てSSAT経由（`config::env::joinir_dev_enabled()`） +- ✅ 直接読み込みゼロ +- ✅ 優先順位明確（NYASH_JOINIR_DEV > joinir_debug_level()>0） + +### 8.2 `HAKO_JOINIR_DEBUG`（完璧な SSOT 実装） +- ✅ レベル制御（0-3）で段階的ログ制御 +- ✅ 全てSSAT経由（`config::env::joinir_debug_level()`） +- ✅ 直接読み込みゼロ + +### 8.3 `HAKO_JOINIR_IF_IN_LOOP_ENABLE`（完璧な SSOT 実装） +- ✅ 全てSSAT経由（`config::env::joinir_if_in_loop_enable()`） +- ✅ 直接読み込みゼロ +- ✅ dry-run と本番経路の独立制御 + +--- + +## 9. まとめと次のアクション + +### 現状の問題点 +1. **NYASH_JOINIR_EXPERIMENT**: 39箇所の直接読み込み（最多） +2. **HAKO_JOINIR_* dev/実験フラグ**: 8種類がSSAT未定義 +3. **Stage-3 legacy ENV**: 46箇所残存（移行完了は96箇所のスクリプトで確認済み） + +### 推奨優先順位 +1. **CRITICAL**: `NYASH_JOINIR_EXPERIMENT` の SSOT 化（Phase 72-A） +2. **HIGH**: `HAKO_JOINIR_IF_SELECT` の SSOT 化（Phase 72-B） +3. **HIGH**: dev/実験フラグの整理（Phase 72-C） +4. **MEDIUM**: Stage-3 legacy ENV 削除（Phase 73-A/B） + +### 期待効果 +- ✅ ENV 直接読み込みの根絶（113箇所 → 0箇所） +- ✅ テストヘルパーの統一化（メンテナンス性向上） +- ✅ JoinIR実験→本線移行の加速（トグル管理の簡素化） +- ✅ Stage-3標準化の完了（legacy ENV 完全削除） + +--- + +**次のアクション**: Phase 72-A の実装計画策定にゃ！ diff --git a/src/mir/builder/lifecycle.rs b/src/mir/builder/lifecycle.rs index 777251a0..e0990873 100644 --- a/src/mir/builder/lifecycle.rs +++ b/src/mir/builder/lifecycle.rs @@ -387,8 +387,9 @@ impl super::MirBuilder { args, } = &insns[idx] { - // Stage‑B dev verify OFF のときは StageBDriverBox の birth 警告のみスキップ - if !stageb_dev_verify_on && box_type == "StageBDriverBox" { + // Phase 71-SSA 71-11.2: StageBDriverBox is a static box → skip birth warning unconditionally + // Static boxes don't follow NewBox→birth pattern by design + if box_type == "StageBDriverBox" { idx += 1; continue; } diff --git a/src/tests/json_lint_stringutils_min_vm.rs b/src/tests/json_lint_stringutils_min_vm.rs index 56897671..2bae5579 100644 --- a/src/tests/json_lint_stringutils_min_vm.rs +++ b/src/tests/json_lint_stringutils_min_vm.rs @@ -25,8 +25,8 @@ use crate::mir::MirCompiler; use crate::parser::NyashParser; fn ensure_stage3_env() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); std::env::set_var("NYASH_DISABLE_PLUGINS", "1"); std::env::set_var("HAKO_MIR_BUILDER_METHODIZE", "0"); @@ -100,8 +100,8 @@ static box Main { } // cleanup - std::env::remove_var("NYASH_PARSER_STAGE3"); - std::env::remove_var("HAKO_PARSER_STAGE3"); + std::env::remove_var("NYASH_FEATURES"); + std::env::remove_var("NYASH_FEATURES"); std::env::remove_var("NYASH_PARSER_ALLOW_SEMICOLON"); std::env::remove_var("NYASH_DISABLE_PLUGINS"); std::env::remove_var("HAKO_MIR_BUILDER_METHODIZE"); diff --git a/src/tests/mir_breakfinder_ssa.rs b/src/tests/mir_breakfinder_ssa.rs index eed37615..e5d2397c 100644 --- a/src/tests/mir_breakfinder_ssa.rs +++ b/src/tests/mir_breakfinder_ssa.rs @@ -18,7 +18,7 @@ use crate::mir::{MirCompiler, MirPrinter, MirVerifier}; use crate::parser::NyashParser; fn ensure_stage3_env() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); } diff --git a/src/tests/mir_ctrlflow_break_continue.rs b/src/tests/mir_ctrlflow_break_continue.rs index 8e6294a4..392132e8 100644 --- a/src/tests/mir_ctrlflow_break_continue.rs +++ b/src/tests/mir_ctrlflow_break_continue.rs @@ -22,8 +22,8 @@ mod tests { #[test] fn vm_exec_continue_skips_body() { // Phase 59b: Stage-3 parser required for local variable declarations - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); let code = r#" local i = 0 @@ -46,8 +46,8 @@ mod tests { #[test] fn vm_exec_break_inside_if() { // Phase 59b: Stage-3 parser required for local variable declarations - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); let code = r#" local i = 0 diff --git a/src/tests/mir_funcscanner_parse_params_trim_min.rs b/src/tests/mir_funcscanner_parse_params_trim_min.rs index cbb4ac66..17842a1e 100644 --- a/src/tests/mir_funcscanner_parse_params_trim_min.rs +++ b/src/tests/mir_funcscanner_parse_params_trim_min.rs @@ -17,8 +17,8 @@ fn mir_funcscanner_parse_params_trim_min_verify_and_vm() { let test_file = "lang/src/compiler/tests/funcscanner_parse_params_trim_min.hako"; // Align parser env to Stage‑3 + using 経路（既存の skip_ws 系と揃えておく）。 - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_ENABLE_USING", "1"); std::env::set_var("HAKO_ENABLE_USING", "1"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); @@ -92,8 +92,8 @@ fn mir_funcscanner_parse_params_trim_min_verify_and_vm() { ); // Cleanup env vars - std::env::remove_var("NYASH_PARSER_STAGE3"); - std::env::remove_var("HAKO_PARSER_STAGE3"); + std::env::remove_var("NYASH_FEATURES"); + std::env::remove_var("NYASH_FEATURES"); std::env::remove_var("NYASH_ENABLE_USING"); std::env::remove_var("HAKO_ENABLE_USING"); std::env::remove_var("NYASH_PARSER_ALLOW_SEMICOLON"); diff --git a/src/tests/mir_funcscanner_skip_ws.rs b/src/tests/mir_funcscanner_skip_ws.rs index 078bc653..7346e12a 100644 --- a/src/tests/mir_funcscanner_skip_ws.rs +++ b/src/tests/mir_funcscanner_skip_ws.rs @@ -16,8 +16,8 @@ fn mir_funcscanner_skip_ws_direct_vm() { let test_file = "lang/src/compiler/tests/funcscanner_skip_ws_min.hako"; // Enable required env vars for Stage-3 + using - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_ENABLE_USING", "1"); std::env::set_var("HAKO_ENABLE_USING", "1"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); @@ -118,8 +118,8 @@ fn mir_funcscanner_skip_ws_direct_vm() { } // Cleanup env vars - std::env::remove_var("NYASH_PARSER_STAGE3"); - std::env::remove_var("HAKO_PARSER_STAGE3"); + std::env::remove_var("NYASH_FEATURES"); + std::env::remove_var("NYASH_FEATURES"); std::env::remove_var("NYASH_ENABLE_USING"); std::env::remove_var("HAKO_ENABLE_USING"); std::env::remove_var("NYASH_PARSER_ALLOW_SEMICOLON"); diff --git a/src/tests/mir_funcscanner_skip_ws_min.rs b/src/tests/mir_funcscanner_skip_ws_min.rs index 46895baf..a6e5cca4 100644 --- a/src/tests/mir_funcscanner_skip_ws_min.rs +++ b/src/tests/mir_funcscanner_skip_ws_min.rs @@ -11,8 +11,8 @@ fn mir_funcscanner_skip_ws_min_verify_and_vm() { let test_file = "lang/src/compiler/tests/funcscanner_skip_ws_min.hako"; // Stage-3 + using - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_ENABLE_USING", "1"); std::env::set_var("HAKO_ENABLE_USING", "1"); std::env::set_var("NYASH_DISABLE_PLUGINS", "1"); @@ -32,8 +32,8 @@ fn mir_funcscanner_skip_ws_min_verify_and_vm() { let mut vm = VM::new(); vm.execute_module(&compiled.module).expect("VM exec failed"); - std::env::remove_var("NYASH_PARSER_STAGE3"); - std::env::remove_var("HAKO_PARSER_STAGE3"); + std::env::remove_var("NYASH_FEATURES"); + std::env::remove_var("NYASH_FEATURES"); std::env::remove_var("NYASH_ENABLE_USING"); std::env::remove_var("HAKO_ENABLE_USING"); std::env::remove_var("NYASH_DISABLE_PLUGINS"); diff --git a/src/tests/mir_funcscanner_ssa.rs b/src/tests/mir_funcscanner_ssa.rs index 987937e8..d45f9097 100644 --- a/src/tests/mir_funcscanner_ssa.rs +++ b/src/tests/mir_funcscanner_ssa.rs @@ -19,7 +19,7 @@ use crate::mir::{MirCompiler, MirPrinter, MirVerifier}; use crate::parser::NyashParser; fn ensure_stage3_env() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); std::env::set_var("NYASH_ENABLE_USING", "1"); } diff --git a/src/tests/mir_funcscanner_trim_min.rs b/src/tests/mir_funcscanner_trim_min.rs index 15285d7d..5439153e 100644 --- a/src/tests/mir_funcscanner_trim_min.rs +++ b/src/tests/mir_funcscanner_trim_min.rs @@ -16,8 +16,8 @@ fn mir_funcscanner_trim_min_verify_and_vm() { let test_file = "lang/src/compiler/tests/funcscanner_trim_min.hako"; // Stage‑3 + using 系のパーサ設定を揃える（他の FuncScanner 系テストと同じ）。 - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_ENABLE_USING", "1"); std::env::set_var("HAKO_ENABLE_USING", "1"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); @@ -87,8 +87,8 @@ fn mir_funcscanner_trim_min_verify_and_vm() { } // Cleanup env vars - std::env::remove_var("NYASH_PARSER_STAGE3"); - std::env::remove_var("HAKO_PARSER_STAGE3"); + std::env::remove_var("NYASH_FEATURES"); + std::env::remove_var("NYASH_FEATURES"); std::env::remove_var("NYASH_ENABLE_USING"); std::env::remove_var("HAKO_ENABLE_USING"); std::env::remove_var("NYASH_PARSER_ALLOW_SEMICOLON"); diff --git a/src/tests/mir_locals_ssa.rs b/src/tests/mir_locals_ssa.rs index a4c28e0a..90b3acfa 100644 --- a/src/tests/mir_locals_ssa.rs +++ b/src/tests/mir_locals_ssa.rs @@ -12,7 +12,7 @@ use crate::parser::NyashParser; #[test] fn mir_locals_copy_instructions_emitted() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); let src = r#" @@ -102,7 +102,7 @@ static box TestLocals { #[test] fn mir_locals_uninitialized() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); let src = r#" diff --git a/src/tests/mir_pure_e2e_vm.rs b/src/tests/mir_pure_e2e_vm.rs index f39b5c22..c7965519 100644 --- a/src/tests/mir_pure_e2e_vm.rs +++ b/src/tests/mir_pure_e2e_vm.rs @@ -31,7 +31,7 @@ return (new StringBox("Hello")).length() /// Minimal smoke for MirInstruction::DebugLog #[test] fn mir_debuglog_minimal_printer_and_verifier() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); std::env::set_var("NYASH_MIR_DEBUG_LOG", "1"); diff --git a/src/tests/mir_stageb_like_args_length.rs b/src/tests/mir_stageb_like_args_length.rs index 8fcadfee..fa46d888 100644 --- a/src/tests/mir_stageb_like_args_length.rs +++ b/src/tests/mir_stageb_like_args_length.rs @@ -2,7 +2,7 @@ use crate::mir::MirPrinter; use crate::parser::NyashParser; fn ensure_stage3_env() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); } use crate::ast::ASTNode; diff --git a/src/tests/mir_stageb_loop_break_continue.rs b/src/tests/mir_stageb_loop_break_continue.rs index c7173ec1..4f0fa366 100644 --- a/src/tests/mir_stageb_loop_break_continue.rs +++ b/src/tests/mir_stageb_loop_break_continue.rs @@ -3,7 +3,7 @@ use crate::mir::{MirCompiler, MirPrinter, MirVerifier}; use crate::parser::NyashParser; fn ensure_stage3_env() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); } diff --git a/src/tests/mir_stageb_string_utils_skip_ws.rs b/src/tests/mir_stageb_string_utils_skip_ws.rs index aaa2fb89..ef845d20 100644 --- a/src/tests/mir_stageb_string_utils_skip_ws.rs +++ b/src/tests/mir_stageb_string_utils_skip_ws.rs @@ -47,8 +47,8 @@ static box Main { #[test] fn mir_stageb_string_utils_skip_ws_compile() { // Enable Stage-3 parser for 'local' keyword - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); let src = make_minimal_src(); let ast: ASTNode = NyashParser::parse_from_string(&src).expect("parse should succeed"); @@ -75,8 +75,8 @@ static box Main { #[ignore] // 修正前用テスト（commit b00cc8d5 で再現） fn mir_stageb_string_utils_skip_ws_exec_reproduce_void_lt_zero() { // Enable Stage-3 parser - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); let src = make_minimal_src(); let ast: ASTNode = NyashParser::parse_from_string(&src).expect("parse ok"); @@ -113,8 +113,8 @@ static box Main { #[test] fn mir_stageb_string_utils_skip_ws_exec_success() { // Enable Stage-3 parser - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); let src = make_minimal_src(); let ast: ASTNode = NyashParser::parse_from_string(&src).expect("parse ok"); diff --git a/src/tests/mir_static_box_naming.rs b/src/tests/mir_static_box_naming.rs index 0357aa0d..401d6b62 100644 --- a/src/tests/mir_static_box_naming.rs +++ b/src/tests/mir_static_box_naming.rs @@ -28,8 +28,8 @@ fn load_fixture_with_string_helpers() -> String { #[test] fn mir_static_main_box_emits_canonical_static_methods() { // Enable Stage‑3 + using for the fixture. - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); std::env::set_var("NYASH_ENABLE_USING", "1"); std::env::set_var("HAKO_ENABLE_USING", "1"); @@ -59,8 +59,8 @@ fn mir_static_main_box_emits_canonical_static_methods() { /// Execute the minimal fixture with Void-returning _nop() and confirm it lowers without SSA/arity drift. #[test] fn mir_static_main_box_executes_void_path_with_guard() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); - std::env::set_var("HAKO_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_PARSER_ALLOW_SEMICOLON", "1"); std::env::set_var("NYASH_ENABLE_USING", "1"); std::env::set_var("HAKO_ENABLE_USING", "1"); diff --git a/src/tests/parser_block_postfix_catch.rs b/src/tests/parser_block_postfix_catch.rs index 337f3d70..1a020c3f 100644 --- a/src/tests/parser_block_postfix_catch.rs +++ b/src/tests/parser_block_postfix_catch.rs @@ -1,7 +1,7 @@ use crate::parser::NyashParser; fn enable_stage3() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); // Accept block‑postfix under Stage‑3 gate std::env::set_var("NYASH_BLOCK_CATCH", "1"); } diff --git a/src/tests/parser_block_postfix_errors.rs b/src/tests/parser_block_postfix_errors.rs index 6d7bb1e3..7a695759 100644 --- a/src/tests/parser_block_postfix_errors.rs +++ b/src/tests/parser_block_postfix_errors.rs @@ -1,7 +1,7 @@ use crate::parser::NyashParser; fn enable_stage3() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_BLOCK_CATCH", "1"); } diff --git a/src/tests/parser_expr_postfix_catch.rs b/src/tests/parser_expr_postfix_catch.rs index b7d8ced7..47fdc16f 100644 --- a/src/tests/parser_expr_postfix_catch.rs +++ b/src/tests/parser_expr_postfix_catch.rs @@ -1,7 +1,7 @@ use crate::parser::NyashParser; fn enable_stage3() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); } #[test] diff --git a/src/tests/parser_method_postfix.rs b/src/tests/parser_method_postfix.rs index 9bd906b6..120269bc 100644 --- a/src/tests/parser_method_postfix.rs +++ b/src/tests/parser_method_postfix.rs @@ -1,7 +1,7 @@ use crate::parser::NyashParser; fn enable_stage3() { - std::env::set_var("NYASH_PARSER_STAGE3", "1"); + std::env::set_var("NYASH_FEATURES", "stage3"); std::env::set_var("NYASH_METHOD_CATCH", "1"); } diff --git a/tests/mir_static_main_args_loop.rs b/tests/mir_static_main_args_loop.rs index e69b38a7..fd0d32e7 100644 --- a/tests/mir_static_main_args_loop.rs +++ b/tests/mir_static_main_args_loop.rs @@ -28,7 +28,7 @@ static box Main { .arg("--backend") .arg("vm") .arg(temp_file) - .env("NYASH_PARSER_STAGE3", "1") + .env("NYASH_FEATURES", "stage3") .env("NYASH_DISABLE_PLUGINS", "1") .output() .expect("Failed to execute hakorune"); @@ -63,7 +63,7 @@ static box Main { .arg("--backend") .arg("vm") .arg(temp_file) - .env("NYASH_PARSER_STAGE3", "1") + .env("NYASH_FEATURES", "stage3") .env("NYASH_DISABLE_PLUGINS", "1") .output() .expect("Failed to execute hakorune"); @@ -96,7 +96,7 @@ static box Main { .arg("--backend") .arg("vm") .arg(temp_file) - .env("NYASH_PARSER_STAGE3", "1") + .env("NYASH_FEATURES", "stage3") .env("NYASH_DISABLE_PLUGINS", "1") .output() .expect("Failed to execute hakorune"); diff --git a/tests/parser_stage3.rs b/tests/parser_stage3.rs index 60da236a..1c3f65b9 100644 --- a/tests/parser_stage3.rs +++ b/tests/parser_stage3.rs @@ -7,21 +7,23 @@ fn with_stage3_env( f: F, ) { let prev_features = std::env::var("NYASH_FEATURES").ok(); - let prev_parser = std::env::var("NYASH_PARSER_STAGE3").ok(); - let prev_hako = std::env::var("HAKO_PARSER_STAGE3").ok(); - match features { + // Phase 73: Unified to NYASH_FEATURES=stage3 + // parser_stage3 and hako_stage3 now map to NYASH_FEATURES + let final_features = if let Some(v) = features { + Some(v.to_string()) + } else if let Some("0") = parser_stage3 { + Some("0".to_string()) // Disabled + } else if let Some("0") = hako_stage3 { + Some("0".to_string()) // Disabled + } else { + None // Default (stage3 enabled) + }; + + match final_features { Some(v) => std::env::set_var("NYASH_FEATURES", v), None => std::env::remove_var("NYASH_FEATURES"), } - match parser_stage3 { - Some(v) => std::env::set_var("NYASH_PARSER_STAGE3", v), - None => std::env::remove_var("NYASH_PARSER_STAGE3"), - } - match hako_stage3 { - Some(v) => std::env::set_var("HAKO_PARSER_STAGE3", v), - None => std::env::remove_var("HAKO_PARSER_STAGE3"), - } f(); @@ -29,14 +31,6 @@ fn with_stage3_env( Some(v) => std::env::set_var("NYASH_FEATURES", v), None => std::env::remove_var("NYASH_FEATURES"), } - match prev_parser { - Some(v) => std::env::set_var("NYASH_PARSER_STAGE3", v), - None => std::env::remove_var("NYASH_PARSER_STAGE3"), - } - match prev_hako { - Some(v) => std::env::set_var("HAKO_PARSER_STAGE3", v), - None => std::env::remove_var("HAKO_PARSER_STAGE3"), - } } #[test]