From 506339def0d7a336324fd29bfbaced66f428b82e Mon Sep 17 00:00:00 2001 From: tomoaki Date: Sun, 28 Dec 2025 07:19:23 +0900 Subject: [PATCH] docs(phase29ab): record P1 pattern2 fixture+smoke --- docs/development/current/main/10-Now.md | 9 ++++++++- docs/development/current/main/30-Backlog.md | 3 +++ 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index 082c6ec2..95945f76 100644 --- a/docs/development/current/main/10-Now.md +++ b/docs/development/current/main/10-Now.md @@ -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 を成立させる diff --git a/docs/development/current/main/30-Backlog.md b/docs/development/current/main/30-Backlog.md index e90a6bec..32b57660 100644 --- a/docs/development/current/main/30-Backlog.md +++ b/docs/development/current/main/30-Backlog.md @@ -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`