Files

tomoaki cda034fe8f feat(edgecfg): Phase 265 P1 - compose 配線ロジック実装（test-only PoC）

## 目的
Frag/ExitKind が BasicBlockId 層で配線できることを証明

## 実装完了内容
- EdgeStub に target: Option<BasicBlockId> 追加
- compose::loop_() 配線ロジック実装（Continue → header, Break → after）
- verify_frag_invariants() 配線契約検証追加
- test-only PoC で実証完了（5個のテスト）

## 配線契約
- Continue(loop_id) の EdgeStub.target = Some(header)
- Break(loop_id) の EdgeStub.target = Some(after)
- Normal/Return/Unwind の EdgeStub.target = None（上位へ伝搬）

## テスト
- compose::tests: 5 PASS（既存2個更新 + 新規3個追加）
- verify::tests: 1 PASS（基本smoke test）
- cargo test -p nyash-rust --lib: SUCCESS

## 重要な制約
- MIR 命令生成はまだしない（Frag 層の配線能力証明のみ）
- NormalizedShadow/JoinIR層への適用は Phase 266 に繰り越し
- Pattern6/7/8 未改変（配線能力の証明に集中）

## 次のステップ
- Phase 265 P2: seq/if_ 実装（順次合成・条件分岐合成）
- Phase 266: JoinIR-VM Bridge 改修後、NormalizedShadow への適用

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>

2025-12-21 16:22:46 +09:00

9.2 KiB

Raw Blame History

Self Current Task — Backlog (main)

Status: Active
Scope: 「次にやる候補」を短く列挙するメモ。現状は docs/development/current/main/10-Now.md を入口にする。
Related:

docs/development/current/main/10-Now.md
docs/development/current/main/DOCS_LAYOUT.md

直近（JoinIR/selfhost）

収束方針（SSOT案）: Expr/Condition/Control の 3 箱分割
- ExprLowererBox（式SSOT）: AST(expr) → (prelude, value)（ANF含む）。pure/impure/whitelist/strict を集約（入口SSOT）。
- ConditionLowererBox（条件→分岐SSOT）: AST(cond) → BranchPlan。評価順は ExprLowererBox に委譲し、&&/|| は制御語彙で扱う。
- ControlLowererBox（制御SSOT）: StepNode/ControlTree → JoinIR（継続 + env）。if/loop を担当し、条件は ConditionLowererBox に委譲。
Phase 141 P2+（planned）: Call/MethodCall（effects + typing を分離して段階投入）
- ねらい: pure/impure 境界を壊さずに、impure lowering を段階投入する。
- 前提（DONE）:
  - Phase 141 P1.5: known intrinsic allowlist + available_inputs 3-source merge + diagnostics
- 受け入れ条件:
  - out-of-scope は Ok(None) でフォールバック（既定挙動不変）
  - effects の順序付けは SSOT で固定してから解禁（by-name 増殖禁止）
Phase 144-anf（planned）: impure 式導入の順序固定（ANF）
- ねらい: x + f(y) 等の “pure + impure 混在” で評価順が仕様になる前に、ANF で順序固定を SSOT 化する
- 入口: docs/development/current/main/phases/phase-144-anf/INSTRUCTIONS.md
- 受け入れ条件:
  - impure を lowering できない場合は Ok(None) でフォールバック（既定挙動不変）
  - dev/strict では「順序固定の欠落」を Fail-Fast（診断に順序ログを含める）
Phase 143-loopvocab R0（planned）: Contract SSOT 抽出（refactor P0 → modular components）
- 目的: loop_true_if_break_continue.rs を「検出/契約/変換」に分割し、P1/P2 での if分岐増殖を防ぐ
- 実装:
  - 新ファイル: src/mir/control_tree/normalized_shadow/common/loop_if_exit_contract.rs
    - enum LoopIfExitThen { Break, Continue }
    - struct LoopIfExitShape { has_else: bool, then: LoopIfExitThen, else_: Option<LoopIfExitThen>, cond_scope: ExprLoweringScope }
    - enum OutOfScopeReason { NotLoopTrue, BodyNotSingleIf, ThenNotExit, ElseNotSupported, CondOutOfScope(...) }
  - Refactor: loop_true_if_break_continue.rs は「shape抽出 → lower」だけに縮退（SSOT は contract側）
  - Tests: unit test を dedicated module へ分離（test maintainability）
- 受け入れ条件:
  - cargo check ✅（no errors）
  - P1/P2 での if分岐を防ぐ（contract で決定性を保証）
  - out-of-scope は Ok(None) で一貫（既定挙動不変）
Phase 143-loopvocab P1（planned）: continue 語彙追加
- 対象: loop(true) { if(cond_pure) continue } を same lowering に通す
- 実装:
  - LoopIfExitShape で LoopIfExitThen::Continue を許可
  - JoinModule: if true → loop_step (continue semantics)
  - Fixtures: phase143_loop_true_if_continue_min.hako
  - Smoke: VM + LLVM EXE
- Out-of-scope は Ok(None) のまま

（DONE）Phase 143-loopvocab P2: else 対称化（B-C / C-B）

記録: docs/development/current/main/10-Now.md
Phase 143-loopvocab P3+（planned）: impure conditions 対応
- 目的: if(cond_impure) break/continue を ANF/順序固定の上で段階投入する
- 方針: Phase 145-anf の契約（hoist + left-to-right）を条件式にも適用
Phase 263+（planned）: Pattern2 LoopBodyLocal promotion（seg）
- 目的: Stage‑B compile（bundle_resolver系）で露出している Pattern2 LoopBodyLocal(seg) を受理し、quick の first FAIL を進める
- 受け入れ条件:
  - 最小再現 fixture + smoke で固定（先に失敗を SSOT 化）
  - Pattern2 が不成立のときは “部分続行” せず Ok(None) で fallback（既定挙動不変）
（DONE）Phase 263 P0.2: Pattern2 PromoteDecision API hardening
- 入口SSOT: src/mir/builder/control_flow/joinir/patterns/pattern2/api/
- PromoteDecision::{Promoted, NotApplicable, Freeze} と try_promote(...) に参照点を収束（Option揺れを撤去）
Phase 264（✅ 入口作成完了）: EdgeCFG Fragment 入口作成（design-first）
- ステータス: ✅ 入口作成完了（適用は次フェーズ）
- 実装内容:
  - edgecfg/api/ フォルダに SSOT 入口作成
  - ExitKind, EdgeStub, Frag の型定義
  - seq, if_, loop_, cleanup のシグネチャ固定（pub(crate)）
  - 最小ユニットテスト 3個
  - ドキュメント連動（edgecfg-fragments.md）
- 制約遵守:
  - 既存 pattern6/7/8 未改変
  - merge/EdgeCFG 未改変
  - cargo test -p nyash-rust --lib --no-run 成功確認
- 次フェーズへの橋渡し:
  - Phase 265 で Pattern8 適用時に compose::loop_ を実装
  - 再利用確認後、pattern番号分岐を段階的に削減
Phase 265 P0（✅ 完了）: compose/verify 最小実装
- 目的: 入口SSOTの形を固める（迷子防止）
- 実装:
  - compose::loop_() 最小実装（exit集合分類のみ、配線なし）
  - verify_frag_invariants() 最小実装（デバッグガード付き）
  - compose::loop_() ユニットテスト 2個追加
- 制約:
  - Pattern8 未改変（P0では触らない、偽Frag回避）
  - 配線ロジックは P1 以降
- 次: Phase 265 P1 で配線ロジック + Pattern8適用
Phase 265 P1（✅ 完了）: compose 配線ロジック実装
- 目的: Frag/ExitKind の配線能力を BasicBlockId 層で証明
- 実装:
  - EdgeStub.target 追加（Option）
  - compose::loop_() 配線ロジック（Continue → header, Break → after）
  - verify_frag_invariants() 配線契約検証
  - test-only PoC（5個のテスト: 既存2個更新 + 新規3個追加）
- 配線契約:
  - Continue(loop_id) の EdgeStub.target = Some(header)
  - Break(loop_id) の EdgeStub.target = Some(after)
  - Normal/Return/Unwind の EdgeStub.target = None（上位へ伝搬）
- 制約:
  - MIR 命令生成なし（Frag 層のみ）
  - NormalizedShadow 未適用（Phase 266 に繰り越し）
- 次: Phase 265 P2 で seq/if_ 実装
real-app loop regression の横展開（VM + LLVM EXE）
- ねらい: 実コード由来ループを 1 本ずつ最小抽出して fixture/smoke で固定する（段階投入）。
- 現状: Phase 107（find_balanced_array/object / json_cur 由来）まで固定済み。
- 次候補: JsonLoader/JsonCur から 1 本ずつ（fixture + integration smoke）で増やす。
P5b “完全E2E”（escape skip の実ループを end-to-end で固定）
- 現状: Phase 94 で VM E2E まで固定済み。次は selfhost 実コード（apps/selfhost-vm/json_loader.hako）へ横展開して回帰を減らす。
- 入口: docs/development/current/main/phases/phase-94/README.md
制御の再帰合成（docs-only → dev-only段階投入）
- ねらい: loop/if ネストの "構造" を SSOT（ControlTree/StepTree）で表せるようにする
- 注意: canonicalizer は観測/構造SSOTまで（ValueId/PHI配線は Normalized 側へ）
- 現状: Phase 119–128（if-only Normalized: reads/inputs/unknown-read/partial-assign keep/merge）まで完了
- ✅ 完了: Phase 129-C（post-if を post_k continuation で表現）
- 入口: docs/development/current/main/design/control-tree.md

中期（ループ在庫の残り）

P5（guard-bounded）: 大型ループを “小粒度” に割ってから取り込む（分割 or 新契約）
P6（nested loops）: capability guard で Fail-Fast 維持しつつ、解禁時の契約を先に固定

中期（制御の表現力）

北極星: docs/development/current/main/design/join-explicit-cfg-construction.md
設計メモ: docs/development/current/main/design/exception-cleanup-async.md

catch/cleanup（Invoke）
- 追加語彙を Invoke(ok_edge, err_edge) に絞って例外 edge を明示する（例外値は edge-args で運ぶ）。
- 実装タイミング: Phase 260（edge-args terminator 収束）の P1〜P2 以降が推奨。
cleanup/defer（cleanup normalizer）
- Return/Throw/Break/Continue を cleanup に寄せる “脱出 edge 正規化” を箱化する（finally の後継としての cleanup）。
- 実装タイミング: catch/cleanup の次（例外 edge も含めて正規化するため）。
async/await（state machine lowering）
- CFG語彙に混ぜず、AsyncLowerBox で state machine 化してから MIR に落とす。
- 実装タイミング: finally/defer の後（cancel/drop と cleanup の接続を先に固める）。

ドキュメント運用

重複が出たら「設計 SSOT（design）」に集約し、Phaseログ（phases）は “何をやったか/検証したか” に限定する
調査ログ（investigations）は結論を SSOT に反映してから Historical 化する

9.2 KiB Raw Blame History Unescape Escape