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

phase29ac(p2): defreeze pattern6 matchscan by fixing fixture

Browse Source
This commit is contained in:
tomoaki
2025-12-28 17:00:29 +09:00
parent a6c04217d0
commit 44e9b88930
3 changed files with 14 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
docs/development/current/main/phases/phase-29ac/README.md
View File

@ -14,7 +14,8 @@ Goal: Convert freeze-fixed Pattern6/7 near-miss cases into PASS while keeping co
- Plan/Normalizer: add reverse support (`i >= 0`, step `i = i - 1`).
- Smoke: `phase29ab_pattern6_reverse_firstfail_min` now OK PASS (RC=1).
2. **Pattern6 matchscan missing step**
- Decide whether step can be synthesized safely; otherwise mark out-of-scope and add explicit contract note.
- Freeze reason: `[joinir/phase29ab/pattern6/contract] scan-with-init contract: missing step update`
- Resolution: add explicit `i = i + 1` step in fixture (contract-aligned).
3. **Pattern7 split-scan near-miss**
- Resolve then/else update mismatches without relaxing contracts.