docs(phase29ab): record P1 pattern2 fixture+smoke
This commit is contained in:
@ -1,6 +1,13 @@
|
||||
# Self Current Task — Now (main)
|
||||
|
||||
## Current Focus: Phase 29aa Complete(P0-P8 全完了)
|
||||
## Current Focus: Phase 29ab P1(Pattern2 LoopBodyLocal minimal)
|
||||
|
||||
**2025-12-28: Phase 29ab P1 完了** ✅
|
||||
- 目的: Pattern2 の LoopBodyLocal promotion の最小ケースを fixture+integration smoke で固定
|
||||
- 実装: carrier binding policy を導入し、ConditionOnly / LoopLocalZero を host binding しない
|
||||
- 追加: `apps/tests/phase29ab_pattern2_loopbodylocal_min.hako`
|
||||
- Smoke: `tools/smokes/v2/profiles/integration/apps/phase29ab_pattern2_loopbodylocal_min_vm.sh`
|
||||
- 検証: `./tools/smokes/v2/run.sh --profile integration --filter "phase29ab_pattern2_*"` PASS
|
||||
|
||||
**2025-12-28: Phase 29aa P5 完了** ✅
|
||||
- 目的: Return block が複数 predecessor のとき、incoming state が完全一致する場合のみ ReturnCleanup を成立させる
|
||||
|
||||
@ -8,6 +8,9 @@ Related:
|
||||
|
||||
## 直近(JoinIR/selfhost)
|
||||
|
||||
- **Phase 29ab(P1 ✅ done): JoinIR completion triage**
|
||||
- P1: Pattern2 LoopBodyLocal minimal fixture+smoke fixed(`phase29ab_pattern2_loopbodylocal_min_vm`)
|
||||
|
||||
- **Phase 288(✅ P0–P3 + 288.1 complete): REPL mode**
|
||||
- 入口: `docs/development/current/main/phases/phase-288/README.md`
|
||||
- SSOT: `docs/reference/language/repl.md`
|
||||
|
||||
Reference in New Issue
Block a user