From 7ae96fcc4ceaa87959cfbacd0649a3bee7763935 Mon Sep 17 00:00:00 2001 From: tomoaki Date: Sun, 28 Dec 2025 15:38:49 +0900 Subject: [PATCH] docs(phase29ab): record P6 pattern6 contract freeze --- docs/development/current/main/10-Now.md | 7 +++++++ docs/development/current/main/30-Backlog.md | 3 ++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/docs/development/current/main/10-Now.md b/docs/development/current/main/10-Now.md index 6e6805c9..587a5618 100644 --- a/docs/development/current/main/10-Now.md +++ b/docs/development/current/main/10-Now.md @@ -34,6 +34,13 @@ - smoke: `tools/smokes/v2/profiles/integration/apps/phase29ab_pattern7_firstfail_min_vm.sh` - 検証: `./tools/smokes/v2/run.sh --profile integration --filter "phase29ab_pattern7_*"` PASS +**2025-12-28: Phase 29ab P6 完了** ✅ +- 目的: Pattern6 ScanWithInit の near-miss（契約違反）を extractor 段で freeze に固定（SSOT化） +- 実装: `src/mir/builder/control_flow/joinir/patterns/pattern6_scan_with_init.rs`（`[joinir/phase29ab/pattern6/contract]`） +- fixture: `apps/tests/phase29ab_pattern6_firstfail_min.hako` +- smoke: `tools/smokes/v2/profiles/integration/apps/phase29ab_pattern6_firstfail_min_vm.sh` +- 検証: `./tools/smokes/v2/run.sh --profile integration --filter "phase29ab_pattern6_*"` PASS + **2025-12-28: Phase 29aa P5 完了** ✅ - 目的: Return block が複数 predecessor のとき、incoming state が完全一致する場合のみ ReturnCleanup を成立させる - 入口: `docs/development/current/main/phases/phase-29aa/README.md` diff --git a/docs/development/current/main/30-Backlog.md b/docs/development/current/main/30-Backlog.md index 062d4aa1..e179dee7 100644 --- a/docs/development/current/main/30-Backlog.md +++ b/docs/development/current/main/30-Backlog.md @@ -14,7 +14,8 @@ Related: - P3: PromoteDecision の “NotApplicable/Freeze” 境界を contract+smoke で固定（JoinIR-only前提） - P4: Phase 263（Stage‑B 実ログ seg）を Derived slot 方針で通し、fixture+smoke で固定 - P5: Pattern7 SplitScan first-fail（契約違反）を freeze で固定して SSOT 化 - - P6: Pattern6 MatchScan first-fail を同様に fixture+smoke で固定（freeze/NotApplicableの境界を決める） + - P6: Pattern6 ScanWithInit first-fail（契約違反）を freeze で固定して SSOT 化 + - P7: Pattern6 reverse scan / MatchScan の near-miss を追加で freeze 固定（負債を先に顕在化） - **Phase 288（✅ P0–P3 + 288.1 complete）: REPL mode** - 入口: `docs/development/current/main/phases/phase-288/README.md`