docs(phase131): LLVM SSOT強化 + ConsoleBox調査完了 + Phase86-90要約
Phase 131-1 完了: LLVM exe line SSOT 強化 - phase87-selfhost-llvm-exe-line.md に 4セクション追加(+300行) - 環境変数リファレンス(14変数) - 成功/失敗基準(exit code 0/1/2/3) - コンパイラモード説明(harness vs crate) - デバッグセクション拡張 - "1コマンドで再現" 可能な状態を確立 Phase 131-2 完了: ConsoleBox 問題調査 - VM の 3重登録経路を特定(BoxFactoryRegistry/UnifiedRegistry/Builtin) - LLVM backend は Phase 133 で解決済み - 3つのドキュメント作成: - phase131-2-consolebox-investigation.md(詳細調査) - phase131-2-summary.md(エグゼクティブサマリ) - phase131-2-box-resolution-map.md(Box 解決マップ) Phase 86-90 完了: Loop frontends 要約 - phase86-90-loop-frontends-summary.md 追加 - Pattern4/ContinueReturn/ParseStringComposite の経緯を1枚に集約 - INDEX から導線追加 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>
This commit is contained in:
@ -11,7 +11,7 @@
|
||||
|
||||
---
|
||||
|
||||
## 今の状態(Phase 74–89 まで到達)
|
||||
## 今の状態(Phase 74–90 まで到達)
|
||||
|
||||
- Scope/BindingId の段階移行(dev-only)は Pattern2/3/4 まで配線済み(dual-path 維持)。
|
||||
- Pattern2 の promoted carriers(DigitPos/Trim)について ExitLine 契約(ConditionOnly を exit PHI から除外)を E2E で固定済み。
|
||||
@ -19,10 +19,12 @@
|
||||
- **LLVM exe line SSOT 確立**: `tools/build_llvm.sh` を使用した .hako → executable パイプライン標準化完了。
|
||||
- **Phase 88 完了**: continue + 可変ステップ(i=i+const 差分)を dev-only fixture で固定、StepCalculator Box 抽出。
|
||||
- **Phase 89 完了**: P0(ContinueReturn detector)+ P1(lowering 実装)完了。
|
||||
- **Phase 90 完了**: ParseStringComposite + `Null` literal + ContinueReturn(同一値の複数 return-if)を dev-only fixture で固定。
|
||||
- `cargo test --release --lib` は PASS を維持(993 passed、退行なし)。
|
||||
|
||||
参照:
|
||||
- `docs/development/current/main/10-Now.md`
|
||||
- `docs/development/current/main/phase86-90-loop-frontends-summary.md`
|
||||
- `docs/development/current/main/phase73-scope-manager-design.md`
|
||||
- `docs/development/current/main/phase80-bindingid-p3p4-plan.md`
|
||||
- `docs/development/current/main/phase81-pattern2-exitline-contract.md`
|
||||
@ -33,30 +35,30 @@
|
||||
|
||||
## 次の指示書(優先順位)
|
||||
|
||||
### P0: Phase 90 - _parse_string 合成 fixture
|
||||
### P0: Docs 整備(数の増殖を止める)
|
||||
|
||||
**目的**: continue(escape) + return(close quote) の合成パターンを dev-only fixture で固定
|
||||
**目的**: SSOT への集約と導線整備(Phase 86–90 の情報が散らばらない状態にする)
|
||||
|
||||
**実装順序**(最短・事故減):
|
||||
1. 合成 fixture 設計(制御構造のみ、文字列処理なし)
|
||||
- continue(escape) + return(close quote) + str += ... + p += 1/2
|
||||
- 期待値が一意(例: n=10 で return 前に acc=4)
|
||||
2. ShapeGuard 追加(誤爆防止)
|
||||
- PatternParseStringCompositeMinimal (dev shape)
|
||||
- P4/ContinueReturn と区別する条件
|
||||
3. lowering 実装(新しい箱)
|
||||
- parse_string_composite_pattern.rs(例)
|
||||
- Fail-Fast: 対応形以外は即エラー
|
||||
4. normalized_dev テスト(2本)
|
||||
- structured vs canonical 一致
|
||||
- 期待値一致
|
||||
やること:
|
||||
1. Phase 86–90 の要約を 1 ファイルに集約(SSOT)
|
||||
- `docs/development/current/main/phase86-90-loop-frontends-summary.md`
|
||||
2. INDEX から要約へ導線を追加(迷子対策)
|
||||
- `docs/development/current/main/01-JoinIR-Selfhost-INDEX.md`
|
||||
3. `10-Now.md` / `CURRENT_TASK.md` の断定・重複を “要約へのリンク” に寄せる
|
||||
|
||||
**受け入れ基準**:
|
||||
- `NYASH_JOINIR_NORMALIZED_DEV_RUN=1 cargo test --features normalized_dev --test normalized_joinir_min` PASS
|
||||
- `cargo test --release --lib` PASS(退行なし)
|
||||
- dev-only のみ(canonical には入れない)
|
||||
- 読み始め導線が `01-JoinIR-Selfhost-INDEX.md` から辿れる
|
||||
- `10-Now.md` と `CURRENT_TASK.md` は “最新の入口” として機能する(詳細は要約へ)
|
||||
|
||||
### P1: JoinIR / Selfhost depth-2 の前進(Phase 91 候補)
|
||||
### P1: Loop Canonicalizer の設計(docs-only、外部検討待ち)
|
||||
|
||||
**目的**: ループ形状の組み合わせ爆発を抑えるための “前処理パス” を設計し、SSOT を定める
|
||||
|
||||
注意:
|
||||
- 実装は急がず、設計(SSOT)を先に固める
|
||||
- 既定挙動は変えない(dev-only で段階投入する)
|
||||
|
||||
### P2: JoinIR / Selfhost depth-2 の前進(Phase 91 候補)
|
||||
|
||||
目的:
|
||||
- JsonParserBox の残り複合ループを JoinIR 対応する。
|
||||
@ -70,7 +72,7 @@
|
||||
受け入れ基準:
|
||||
- 代表ケースが 1 コマンドで再現可能(CI は増やさない、quick を重くしない)。
|
||||
|
||||
### P2: Ownership/Relay runtime 対応の再開(Phase 92 候補)
|
||||
### P3: Ownership/Relay runtime 対応の再開(Phase 92 候補)
|
||||
|
||||
目的:
|
||||
- multihop/merge relay を “runtime でも” 受理できるところまで契約を伸ばす(Fail-Fast の段階解除)。
|
||||
@ -78,23 +80,9 @@
|
||||
受け入れ基準:
|
||||
- dev-only 既定OFF のまま、既存ラインを壊さない。
|
||||
|
||||
### Done: Phase 88-89 完了
|
||||
### Done: Phase 86–90(Loop frontends)
|
||||
|
||||
**Phase 88**:
|
||||
- continue + 可変ステップ(i=i+const 差分)を dev-only fixture で固定
|
||||
- StepCalculator Box 抽出(+6 unit tests、再利用可能)
|
||||
- エラーメッセージ詳細化、Fail-Fast 仕様固定
|
||||
|
||||
**Phase 89 P0**:
|
||||
- Pattern4 detector 締め(Select 必須 + conditional Jump exactly 1)
|
||||
- LoopPattern::ContinueReturn enum + shape 追加
|
||||
- canonical には入れない(dev-only、誤爆防止)
|
||||
|
||||
**Phase 89 P1**:
|
||||
- continue_return_pattern.rs 実装(457行、StepCalculator 再利用)
|
||||
- normalized_dev tests +2(vm_bridge + 期待値)
|
||||
|
||||
**Impact**: 993 lib tests + 61 normalized_dev tests 全パス、箱化スコア 10/10
|
||||
- まとめ(SSOT): `docs/development/current/main/phase86-90-loop-frontends-summary.md`
|
||||
|
||||
---
|
||||
|
||||
|
||||
Reference in New Issue
Block a user