tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

docs: Phase 120 DONE

Browse Source
This commit is contained in:
nyash-codex
2025-12-18 04:19:48 +09:00
parent dd125cb700
commit 9d5e58305e
1 changed files with 15 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
docs/development/current/main/10-Now.md
View File

@ -1,5 +1,20 @@
# Self Current Task — Now (main) # Self Current Task — Now (main)
## 2025-12-18：Phase 120 完了 ✅
**Phase 120: StepTree "Facts→Decision→Emit" 箱化モジュール化**
- 箱化モジュール化: StepTreeFacts / StepTreeContractBox の責務分離
- StepTreeBuilderBox: 構造 + facts 抽出まで（意思決定・整形・署名生成はしない）
- StepTreeContractBox: facts → contract の整形のみ（idempotent, deterministic）
- BTreeSet で順序決定性保証（facts は順序に依存しない）
- signature_basis_string() の決定性維持（既定挙動不変）
- 回帰: Phase 103/118 維持確認、全 1142 テスト PASS
- 入口: `docs/development/current/main/design/control-tree.md`
- 実装:
- `src/mir/control_tree/step_tree_facts.rs` (63行、新規)
- `src/mir/control_tree/step_tree_contract_box.rs` (168行、新規)
- `src/mir/control_tree/step_tree.rs` (262→411行、リファクタリング)
## 2025-12-18：Phase 119 完了 ✅ ## 2025-12-18：Phase 119 完了 ✅
**Phase 119: StepTree cond SSOT（AST handle）** **Phase 119: StepTree cond SSOT（AST handle）**