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

phase29ab(p5): freeze pattern7 split-scan near-miss with fixture+smoke

Browse Source
This commit is contained in:
tomoaki
2025-12-28 14:32:19 +09:00
parent 7a790a27cb
commit bea2a8d9bb
6 changed files with 249 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
docs/development/current/main/design/edgecfg-fragments.md
View File

@ -346,6 +346,7 @@ MIR Terminator Instructions
- **NormalizeBox 直後**: terminator 語彙固定・edge-args 長さ一致・cond付きJump禁止など “意味SSOT” を確定
- **merge直前**: boundary/ABI/edge-args の矛盾を即死させ “配線SSOT” を確定
- **--verify**: PHI predecessor / CFG cache 整合 / edge-args の長さ一致を常設
- **Pattern6/7 extractor**: 形は近いが契約違反のケースは `Ok(None)` で流さず freeze（例: SplitScan の `else i = i + 1` 破り）
## 直近の導入ステップ（最小で始める）