adc10fdf54
## 実装内容 ### 1. 環境変数フラグ追加 - NYASH_HAKO_CHECK_JOINIR でJoinIR/Legacy経路を切り替え可能 - src/config/env/hako_check.rs で hako_check_joinir_enabled() 実装 - デフォルト: false（レガシー経路）で後方互換性確保 ### 2. MIR Builder JoinIR スイッチ - cf_if() メソッドにフラグチェック追加 - try_cf_if_joinir() プレースホルダー実装（Phase 124で完全実装） - JoinIR → legacy フォールバック機構を構築 ### 3. テストケース作成（4個） - phase123_simple_if.hako - phase123_nested_if.hako - phase123_while_loop.hako - phase123_if_in_loop.hako ### 4. テスト結果 ✅ Legacy path: 4/4 PASS ✅ JoinIR path: 4/4 PASS （JoinIR path は現在フォールバック経由で動作） ### 5. ドキュメント更新 - environment-variables.md: NYASH_HAKO_CHECK_JOINIR 記載 - phase121_hako_check_joinir_design.md: Phase 123実装セクション追加 - hako_check_design.md: 2パス実行フロー図を追加 - CURRENT_TASK.md: Phase 123完了を記録 ## 数値成果 - 新規ファイル: 2個 (config/env/hako_check.rs, test cases × 4, test script) - 修正ファイル: 6個 - 総追加行数: 335行 - ビルド: Zero errors ## 設計・実装の特徴 ✅ Environment variable で簡単に経路切り替え可能 ✅ レガシー経路を完全に保持（後方互換性） ✅ JoinIR基盤を Phase 124 での完全実装に向けて構築 ✅ フォールバック機構でリスク最小化 ## 次のステップ Phase 124: JoinIR 完全実装＆デフォルト化 - try_cf_if_joinir() を IfSelectLowerer と統合 - Loop JoinIR 統合追加 - JoinIR をデフォルト経路に変更 - NYASH_LEGACY_PHI=1 で legacy フォールバック可能に 🤖 Generated with Claude Code Co-Authored-By: Claude <noreply@anthropic.com>
Smokes v2 — Minimal Runner and Policy
Policy
- Use [SKIP:] prefix for environment/host dependent skips.
- Examples: [SKIP] hakorune not built, [SKIP:env] plugin path missing
- Keep reasons short and stable to allow grep-based canaries.
- Prefer JSON-only output in CI: set
NYASH_JSON_ONLY=1to avoid noisy logs. - Diagnostics lines like
[provider/select:*]are filtered by default inlib/test_runner.sh.- Toggle: set
HAKO_SILENT_TAGS=0to disable filtering and show raw logs.HAKO_SHOW_CALL_LOGS=1also bypasses filtering.
- Toggle: set
Helpers
tools/smokes/v2/lib/mir_canary.shprovides:extract_mir_from_output— between [MIR_BEGIN]/[MIR_END]assert_has_tokens,assert_skip_tag,assert_order,assert_token_count
tools/lib/canary.shprovides minimal, harness-agnostic aliases:extract_mir_between_tags— same asextract_mir_from_outputrequire_tokens token...— fail if any token missing
Notes
- Avoid running heavy integration smokes in CI by default. Use
--profile quick. - When a test depends on external tools (e.g., LLVM), prefer
[SKIP:<reason>]over failure. - Stage‑B/selfhost canaries（
stage1_launcher_*,phase251*など）は Stage‑3 デフォルト環境で安定しないため、quick プロファイルでは[SKIP:stageb]として扱い、必要に応じて別プロファイル（integration/full）で個別に実行する。 - Selfhost quick カバレッジは最小 1 本（
core/selfhost_minimal.sh）に絞り、Stage‑3 + JoinIR 前提で Stage‑B→VM を通るかだけを確認する。 - S3 backend 向けの長尺テスト群も quick 向きではないため、timeout を短く保ちたい場合は
[SKIP:slow]にして別途ローカルで回すことを推奨する。
Quick tips
- EXE-heavy cases (e.g.,
phase2100/*) may take longer. When running quick with these tests, pass a larger timeout like--timeout 120. - Smokes v2 auto-cleans temporary crate EXE objects created under
/tmp(pattern:ny_crate_backend_exe_*.o) after the run.
Developer Notes
- JoinIR If/Select (Phase 33): A/B test with
NYASH_FEATURES=stage3 NYASH_JOINIR_CORE=1 HAKO_JOINIR_IF_SELECT=1 ./target/release/hakorune apps/tests/joinir_if_select_simple.hako（dev-only、CI対象外。旧 IfSelect 用の NYASH_* トグルは非推奨）