docs(phase287): Mark P6 complete, add P7 instructions
This commit is contained in:
@ -1,6 +1,6 @@
|
||||
# Self Current Task — Now (main)
|
||||
|
||||
## Current Focus: Phase 287 P6（Scan plan integration decision）
|
||||
## Current Focus: Phase 287 P7（Rewriter scaffolding cleanup）
|
||||
|
||||
**2025-12-27: Phase 188.3 完了** ✅
|
||||
- Pattern6（NestedLoopMinimal）: `apps/tests/phase1883_nested_minimal.hako` が RC=9
|
||||
@ -44,7 +44,13 @@
|
||||
- `stages/mod.rs` を facade にして stage 関数を re-export（単一入口化）
|
||||
- 検証: Build 0 errors / quick 154 PASS / 恒常ログ増加なし
|
||||
- 入口: `docs/development/current/main/phases/phase-287/P5-STAGES-VISIBILITY-FACADE-INSTRUCTIONS.md`
|
||||
- 次の指示書（P6）: `docs/development/current/main/phases/phase-287/P6-SCAN_PLAN-INTEGRATION-INSTRUCTIONS.md`
|
||||
- 次の指示書（P6）: `docs/development/current/main/phases/phase-287/P6-SCAN_PLAN-INTEGRATION-INSTRUCTIONS.md`（完了）
|
||||
|
||||
**2025-12-27: Phase 287 P6 完了** ✅
|
||||
- Scan stage を削除し、pipeline を 2-stage（Plan→Apply）へ単純化（意味論不変）
|
||||
- 検証: quick 154 PASS
|
||||
- 入口: `docs/development/current/main/phases/phase-287/P6-SCAN_PLAN-INTEGRATION-INSTRUCTIONS.md`
|
||||
- 次の指示書（P7）: `docs/development/current/main/phases/phase-287/P7-REWRITER-BOX-SCAFFOLDING-CLEANUP-INSTRUCTIONS.md`
|
||||
|
||||
**2025-12-27: Phase 188.2 完了** ✅
|
||||
- StepTreeの `max_loop_depth` を SSOT に採用（Option A）
|
||||
@ -137,8 +143,8 @@
|
||||
- quick smoke 154/154 PASS 維持、Pattern1/4 PoC 両方 PASS
|
||||
|
||||
**次のステップ**:
|
||||
1. **Phase 287（P6）**: Scan plan 統合（docs-first）
|
||||
- 指示書: `docs/development/current/main/phases/phase-287/P6-SCAN_PLAN-INTEGRATION-INSTRUCTIONS.md`
|
||||
1. **Phase 287（P7）**: Rewriter scaffolding cleanup（意味論不変）
|
||||
- 指示書: `docs/development/current/main/phases/phase-287/P7-REWRITER-BOX-SCAFFOLDING-CLEANUP-INSTRUCTIONS.md`
|
||||
2. （post self-host / docs-first）**Phase 29y**: MIR lifecycle vocab freeze（RC/weak/ABI）
|
||||
- 相談パケット: `docs/development/current/main/investigations/phase-29y-mir-lifecycle-vocab-consult.md`
|
||||
3. （future design, separate phase）Plan 生成の正規化（相談パケット）
|
||||
|
||||
@ -14,10 +14,10 @@ Related:
|
||||
- 次: Phase 288.2+（任意）: REPL UX improvements（history / multiline / load 等）
|
||||
|
||||
- **Phase 287（active）: Big Files Refactoring follow-ups（意味論不変）**
|
||||
- 状況: P0/P1/P2/P3/P4/P5 ✅ 完了（merge modularize / ast_feature_extractor facade / contract_checks facade / rewriter stages split / plan stage split / stages facade）
|
||||
- 次（P6）: Scan plan の扱いを決めて統合 or 削除（docs-first）
|
||||
- 状況: P0/P1/P2/P3/P4/P5/P6 ✅ 完了（merge modularize / ast_feature_extractor facade / contract_checks facade / rewriter stages split / plan stage split / stages facade / remove scan stage）
|
||||
- 次（P7）: rewriter の Box 雛形を整理（SSOT を `rewriter/stages/*` に寄せる）
|
||||
- 入口: `docs/development/current/main/phases/phase-287/README.md`
|
||||
- 指示書: `docs/development/current/main/phases/phase-287/P6-SCAN_PLAN-INTEGRATION-INSTRUCTIONS.md`
|
||||
- 指示書: `docs/development/current/main/phases/phase-287/P7-REWRITER-BOX-SCAFFOLDING-CLEANUP-INSTRUCTIONS.md`
|
||||
|
||||
- **Phase 284（✅ COMPLETE）: Return as ExitKind SSOT（patternに散らさない）**
|
||||
- 目的: `return` を “pattern最適化の個別実装” にせず、`ExitKind` と `compose::*` / `emit_frag()` に収束させる
|
||||
|
||||
@ -0,0 +1,47 @@
|
||||
# Phase 287 P7: Rewriter Box scaffolding cleanup（意味論不変）
|
||||
|
||||
**Date**: 2025-12-27
|
||||
**Status**: Ready（next）
|
||||
**Scope**: `src/mir/builder/control_flow/joinir/merge/rewriter/` 配下に残っている “旧 pipeline の箱（Box）雛形” を、現状の SSOT（Plan→Apply）に合わせて整理する。
|
||||
**Non-goals**: 仕様変更、エラータグ/ヒント文の変更、ログ恒常増加、silent fallback 追加、実行経路の追加
|
||||
|
||||
---
|
||||
|
||||
## 背景
|
||||
|
||||
Phase 287 P6 で Scan stage を削除し、pipeline は 2-stage（Plan→Apply）へ収束した。
|
||||
|
||||
一方で、`apply_box.rs` など “箱雛形” が残っており、現在の SSOT（`rewriter/stages/*`）と責務が二重に見える。
|
||||
|
||||
---
|
||||
|
||||
## 目的
|
||||
|
||||
- 入口（`rewriter/stages/*`）を SSOT として明確にし、雛形を整理して迷子を防ぐ。
|
||||
- “実際に使っていない雛形” は削除し、残す場合は理由を docs に固定する。
|
||||
|
||||
---
|
||||
|
||||
## 手順（安全な順序）
|
||||
|
||||
1. `rg` で参照を確認し、未使用の Box 雛形を特定する
|
||||
- 例: `ApplyBox`, `apply_box.rs` など
|
||||
2. 未使用なら削除（または `#[cfg(test)]` 専用なら test-only へ隔離）
|
||||
3. `rewriter/mod.rs` の module 宣言と doc を SSOT に合わせて更新
|
||||
4. `cargo check -p nyash-rust --lib` が通ることを確認
|
||||
|
||||
---
|
||||
|
||||
## 検証（受け入れ基準）
|
||||
|
||||
```bash
|
||||
cargo build --release
|
||||
./tools/smokes/v2/run.sh --profile quick
|
||||
./target/release/hakorune --backend vm apps/tests/phase1883_nested_minimal.hako # RC=9
|
||||
```
|
||||
|
||||
受け入れ:
|
||||
- Build: 0 errors
|
||||
- quick: 154/154 PASS
|
||||
- Pattern6: RC=9 維持
|
||||
- 恒常ログ増加なし
|
||||
@ -1,6 +1,6 @@
|
||||
# Phase 287: Developer Hygiene（big files / smoke / normalizer）
|
||||
|
||||
**Status**: In progress (P0/P1/P2/P3/P4/P5 complete, P6 next)
|
||||
**Status**: In progress (P0/P1/P2/P3/P4/P5/P6 complete, P7 next)
|
||||
**Date**: 2025-12-27
|
||||
**Previous**: Phase 286 (Plan Line完全運用化)
|
||||
|
||||
@ -51,13 +51,20 @@ Phase 287 は「開発導線の整備（意味論不変）」を優先して、
|
||||
|
||||
---
|
||||
|
||||
## Next (P6)
|
||||
## 2025-12-27 Update: Remove scan stage（P6）✅
|
||||
|
||||
- Stage-1/2/3 の “scan plan” が未使用なので、設計を固定してから統合する（または削除する）ための docs-first 指示書を作る。
|
||||
- Scan stage を削除し、pipeline を 2-stage（Plan→Apply）へ単純化した（意味論不変）。
|
||||
- 指示書: `docs/development/current/main/phases/phase-287/P6-SCAN_PLAN-INTEGRATION-INSTRUCTIONS.md`
|
||||
|
||||
---
|
||||
|
||||
## Next (P7)
|
||||
|
||||
- pipeline の古い scaffolding（`apply_box.rs` など）を整理し、現在の SSOT（Plan→Apply）に合わせて命名/責務を揃える（意味論不変）。
|
||||
- 指示書: `docs/development/current/main/phases/phase-287/P7-REWRITER-BOX-SCAFFOLDING-CLEANUP-INSTRUCTIONS.md`
|
||||
|
||||
---
|
||||
|
||||
## Legacy / Historical (2025-12-26 plan)
|
||||
|
||||
以下は「Phase 287 を hygiene として計画していた時期のログ」。今後の候補として残すが、P0/P1（big files）とは別系統。
|
||||
|
||||
Reference in New Issue
Block a user