docs(phase287): Mark P7 complete, add P8 instructions

This commit is contained in:
2025-12-27 13:39:04 +09:00
parent 5e7434c6d4
commit 74c6df1acb
5 changed files with 63 additions and 11 deletions

View File

@ -1,7 +1,7 @@
# Phase 287 P7: Rewriter Box scaffolding cleanup意味論不変
**Date**: 2025-12-27
**Status**: Readynext
**Status**: Completed ✅
**Scope**: `src/mir/builder/control_flow/joinir/merge/rewriter/` 配下に残っている “旧 pipeline の箱Box雛形” を、現状の SSOTPlan→Applyに合わせて整理する。
**Non-goals**: 仕様変更、エラータグ/ヒント文の変更、ログ恒常増加、silent fallback 追加、実行経路の追加

View File

@ -0,0 +1,41 @@
# Phase 287 P8: Rewriter README / guarddocs-first, 意味論不変)
**Date**: 2025-12-27
**Status**: Readynext
**Scope**: `src/mir/builder/control_flow/joinir/merge/rewriter/` に README責務境界を追加し、SSOTPlan→Applyと “この層でやらないこと” を明文化する。
**Non-goals**: コードの挙動変更、エラータグ変更、ログ増加、Box の再増殖
---
## 目的
- `rewriter/` の責務を 1 枚で説明できるようにする(迷子防止)。
- `rewriter/stages/*` を SSOT として固定し、今後の refactor でも入口がブレないようにする。
---
## 追加するファイル
- `src/mir/builder/control_flow/joinir/merge/rewriter/README.md`
内容(最小):
- 役割: JoinIR merge の “rewriting pipeline” 実装Plan→Apply
- SSOT:
- `rewriter/stages/mod.rs`(入口)
- `rewriter/stages/plan/`(純粋変換)
- `rewriter/stages/apply.rs`builder mutation
- やらないこと:
- contract checks の追加/変更(`merge/contract_checks/*` が担当)
- boundary の設計変更(`JoinInlineBoundary` の契約は別)
- silent fallback の追加Fail-Fast 原則)
---
## 検証
docs-only なので `cargo check` と quick が通ることだけ確認:
```bash
cargo check -p nyash-rust --lib
./tools/smokes/v2/run.sh --profile quick
```

View File

@ -1,6 +1,6 @@
# Phase 287: Developer Hygienebig files / smoke / normalizer
**Status**: In progress (P0/P1/P2/P3/P4/P5/P6 complete, P7 next)
**Status**: In progress (P0/P1/P2/P3/P4/P5/P6/P7 complete, P8 next)
**Date**: 2025-12-27
**Previous**: Phase 286 (Plan Line完全運用化)
@ -58,13 +58,18 @@ Phase 287 は「開発導線の整備(意味論不変)」を優先して、
---
## Next (P7)
## 2025-12-27 Update: Rewriter scaffolding cleanupP7
- pipeline の古い scaffolding`apply_box.rs` など)を整理し、現在の SSOTPlan→Applyに合わせて命名/責務を揃える(意味論不変)。
- pipeline の古い scaffolding`apply_box.rs` / `parameter_binding_box.rs` / `tail_call_detector_box.rs`を削除し、SSOT を `rewriter/stages/*` に寄せた(意味論不変)。
- 指示書: `docs/development/current/main/phases/phase-287/P7-REWRITER-BOX-SCAFFOLDING-CLEANUP-INSTRUCTIONS.md`
---
## Next (P8)
- `rewriter/` の README/責務ガードを追加して、SSOTPlan→Applyと “ここでは何をしないか” を明文化する。
- 指示書: `docs/development/current/main/phases/phase-287/P8-REWRITER-README-GUARD-INSTRUCTIONS.md`
## Legacy / Historical (2025-12-26 plan)
以下は「Phase 287 を hygiene として計画していた時期のログ」。今後の候補として残すが、P0/P1big filesとは別系統。