tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
Files
d2972c1437fe34a56e3a784cd775e0bbb6423df4
hakorune/docs/development/current/main/phases/phase-92/README.md
nyash-codex d2972c1437 feat(joinir): Phase 92完了 - ConditionalStep + body-local変数サポート 
## Phase 92全体の成果

**Phase 92 P0-P2**: ConditionalStep JoinIR生成とbody-local変数サポート
- ConditionalStep（条件付きキャリア更新）のJoinIR生成実装
- Body-local変数（ch等）の条件式での参照サポート
- 変数解決優先度: ConditionEnv → LoopBodyLocalEnv

**Phase 92 P3**: BodyLocalPolicyBox + 安全ガード
- BodyLocalPolicyDecision実装（Accept/Reject判定）
- BodyLocalSlot + DualValueRewriter（JoinIR/MIR二重書き込み）
- Fail-Fast契約（Cannot promote LoopBodyLocal検出）

**Phase 92 P4**: E2E固定＋回帰最小化 (本コミット)
- Unit test 3本追加（body-local変数解決検証）
- Integration smoke追加（phase92_pattern2_baseline.sh、2ケースPASS）
- P4-E2E-PLAN.md、P4-COMPLETION.md作成

## 主要な実装

### ConditionalStep（条件付きキャリア更新）
- `conditional_step_emitter.rs`: JoinIR Select命令生成
- `loop_with_break_minimal.rs`: ConditionalStep検出と統合
- `loop_with_continue_minimal.rs`: Pattern4対応

### Body-local変数サポート
- `condition_lowerer.rs`: body-local変数解決機能
  - `lower_condition_to_joinir`: body_local_env パラメータ追加
  - 変数解決優先度実装（ConditionEnv優先）
  - Unit test 3本追加: 変数解決/優先度/エラー
- `header_break_lowering.rs`: break条件でbody-local変数参照
- 7ファイルで後方互換ラッパー（lower_condition_to_joinir_no_body_locals）

### Body-local Policy & Safety
- `body_local_policy.rs`: BodyLocalPolicyDecision（Accept/Reject）
- `body_local_slot.rs`: JoinIR/MIR二重書き込み
- `dual_value_rewriter.rs`: ValueId書き換えヘルパー

## テスト体制

### Unit Tests (+3)
- `test_body_local_variable_resolution`: body-local変数解決
- `test_variable_resolution_priority`: 変数解決優先度（ConditionEnv優先）
- `test_undefined_variable_error`: 未定義変数エラー
- 全7テストPASS（cargo test --release condition_lowerer::tests）

### Integration Smoke (+1)
- `phase92_pattern2_baseline.sh`:
  - Case A: loop_min_while.hako (Pattern2 baseline)
  - Case B: phase92_conditional_step_minimal.hako (条件付きインクリメント)
  - 両ケースPASS、integration profileで発見可能

### 退行確認
- ✅ 既存Pattern2Breakテスト正常（退行なし）
- ✅ Phase 135 smoke正常（MIR検証PASS）

## アーキテクチャ設計

### 変数解決メカニズム
```rust
// Priority 1: ConditionEnv (loop params, captured)
if let Some(value_id) = env.get(name) { return Ok(value_id); }
// Priority 2: LoopBodyLocalEnv (body-local like `ch`)
if let Some(body_env) = body_local_env {
    if let Some(value_id) = body_env.get(name) { return Ok(value_id); }
}
```

### Fail-Fast契約
- Delta equality check (conditional_step_emitter.rs)
- Variable resolution error messages (ConditionEnv)
- Body-local promotion rejection (BodyLocalPolicyDecision::Reject)

## ドキュメント

- `P4-E2E-PLAN.md`: 3レベルテスト戦略（Level 1-2完了、Level 3延期）
- `P4-COMPLETION.md`: Phase 92完了報告
- `README.md`: Phase 92全体のまとめ

## 将来の拡張（Phase 92スコープ外）

- Body-local promotionシステム拡張
- P5bパターン認識の汎化（flagベース条件サポート）
- 完全なP5b E2Eテスト（body-local promotion実装後）

🎯 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
2025-12-16 21:37:07 +09:00

3.0 KiB
Raw Blame History

Phase 92: Lowering (ConditionalStep / P5b Escape)

Status

  • ✅ P0: Contract + skeleton-to-lowering wiring (foundations)
  • ✅ P1: Boxification / module isolation (ConditionalStep emitter)
  • 🔶 P2: Wire emitter into Pattern2 + enable E2E
  • ✅ P3: BodyLocal 1変数（read-only）を Pattern2 条件で許可（Fail-Fast）

Goal

  • Phase 91 で認識した P5b（escape skip: +1 / +2 の条件付き更新）を、JoinIR lowering まで落とせるようにする。
  • 既定挙動は不変。Fail-Fast を維持し、未対応は理由付きで止める。

P0（完了）

  • P0-1: ConditionalStep 契約（SSOT）
    • 実装/記録: src/mir/loop_canonicalizer/skeleton_types.rs（契約コメント）
    • 記録: docs/development/current/main/phases/phase-92/p0-2-skeleton-to-context.md
  • P0-2: Skeleton → lowering への配線（Option A）
    • LoopPatternContext に skeleton を optional に通した（後に P1 で境界を整理）
  • P0-3: ConditionalStep を JoinIR（Select 等）で表現する基盤を追加

P1（完了）: 箱化・モジュール化

  • ConditionalStep lowering を 1 箱に隔離
    • src/mir/join_ir/lowering/common/conditional_step_emitter.rs
    • src/mir/join_ir/lowering/common.rs から export
  • 目的: Pattern2 本体を肥大化させず、条件付き更新の責務を emitter に閉じ込める
  • 境界の整理（SSOT）
    • routing 層から skeleton を取り除き、Pattern2 側で skeleton/recognizer 情報の取得を内部化
    • recognizer は cond/delta 抽出に限定（スコープ/寿命の判断を混ぜない）
  • E2E fixture
    • test_pattern5b_escape_minimal.hako は用意済み（body-local 対応後に実行固定）

P2（次）: E2E を通す（最小1本）

P2-1: Pattern2 で emitter を実際に使用する

  • Pattern2 lowerer の update emission で ConditionalStep を検出したら emitter に委譲する
  • AST 再検出を増やさない（canonicalizer/recognizer の SSOT を使う）

P2-2: body-local 変数（ch）問題を解く

  • recognizer は cond/delta 抽出に限定し、スコープ/寿命の扱いは Skeleton 側へ寄せる

P2-3: E2E fixture を 1 本だけ通す

  • test_pattern5b_escape_minimal.hako（Phase 91 の最小fixture）

P3（完了）: BodyLocal 1変数対応（Fail-Fast付き）

  • 目的: ch のような read-only body-local（毎回再計算）を Pattern2 の break/escape 条件で参照できるようにする
  • 新規箱: src/mir/join_ir/lowering/common/body_local_slot.rs
    • 許可: 条件に出る LoopBodyLocal が 1つ、top-level local <name> = <expr>、break guard if より前、代入なし
    • 禁止: 複数、代入あり、定義が break guard より後、top-level 以外（分岐内など）
    • 破ると error_tags::freeze(...) で理由付き停止

Acceptance

  • NYASH_JOINIR_DEV=1 HAKO_JOINIR_STRICT=1 で parity が green のまま
  • E2E が 1 本通る（まずは VM でOK）
  • 既定挙動不変（フラグOFFで無影響）