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

phase29ab(p6): freeze pattern6 scan-with-init near-miss with fixture+smoke

Browse Source
This commit is contained in:
tomoaki
2025-12-28 15:38:19 +09:00
parent bea2a8d9bb
commit b52788b3f6
4 changed files with 120 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -346,7 +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` 破り）
- **Pattern6/7 extractor**: 形は近いが契約違反のケースは `Ok(None)` で流さず freeze（例: SplitScan の `else i = i + 1` 破り、ScanWithInit の `i = i + 1` 破り）
## 直近の導入ステップ（最小で始める）