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

phase29ac(p3): keep Pattern7 contract freeze; add fixup OK fixture+smoke; closeout docs

Browse Source
This commit is contained in:
tomoaki
2025-12-28 17:16:36 +09:00
parent 44e9b88930
commit 432a8436c7
5 changed files with 100 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,10 +1,11 @@
# Self Current Task — Now (main)
## Current Focus: Phase 29ac P1（Pattern6 reverse scan PASS）
## Current Focus: Phase 29ac COMPLETE（P1–P3: Pattern6/7 thaw）
**2025-12-28: Phase 29ac P1 進行中**
- 目的: Pattern6 reverse scan を Plan/Normalizer で受理して PASS 化（freeze→okへ移行）
**2025-12-28: Phase 29ac 完了** ✅
- 目的: Pattern6/7 の near-miss（freeze固定）を、契約維持のまま PASS へ倒す（silent fallback禁止）
- 入口: `docs/development/current/main/phases/phase-29ac/README.md`
- 結果: reverse/matchscan は `phase29ab_pattern6_*` を OK 化、split-scan は fixup OK fixture（`phase29ac_pattern7_*`）を追加
**2025-12-28: Phase 29ab P1 完了** ✅
- 目的: Pattern2 の LoopBodyLocal promotion の最小ケースを fixture+integration smoke で固定

2
docs/development/current/main/30-Backlog.md
View File

@ -8,7 +8,7 @@ Related:
## 直近（JoinIR/selfhost）
- **Phase 29ac（in progress）: De-freeze Pattern6/7**
- **Phase 29ac（✅ COMPLETE）: De-freeze Pattern6/7**
- 入口: `docs/development/current/main/phases/phase-29ac/README.md`
- **Phase 29ab（✅ COMPLETE）: JoinIR completion triage**

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

@ -2,12 +2,31 @@
Goal: Convert freeze-fixed Pattern6/7 near-miss cases into PASS while keeping contracts intact (no by-name or silent fallback).
## Target list (current freeze fixtures)
## Status
- `apps/tests/phase29ab_pattern6_firstfail_min.hako`
- P1 ✅ Pattern6 reverse scan: Plan/Normalizer で受理して PASS
- P2 ✅ Pattern6 matchscan: fixture を contract-aligned に修正して PASS
- P3 ✅ Pattern7 split-scan: near-miss を contract-aligned な OK fixture として PASS 固定（元の契約違反 fixture は残す）
## Target list (initial)
- `apps/tests/phase29ab_pattern6_reverse_firstfail_min.hako`
- `apps/tests/phase29ab_pattern6_matchscan_firstfail_min.hako`
- `apps/tests/phase29ab_pattern7_firstfail_min.hako`
## Outcome (SSOT)
### PASS fixtures (behavioral)
- Pattern6 reverse scan OK: `apps/tests/phase29ab_pattern6_reverse_firstfail_min.hako`（RC=1）
- Pattern6 matchscan OK: `apps/tests/phase29ab_pattern6_matchscan_firstfail_min.hako`（RC=1）
- Pattern7 split-scan near-miss fixup OK: `apps/tests/phase29ac_pattern7_splitscan_nearmiss_fix_ok_min.hako`（RC=3）
### FAIL-Fast fixtures (contract boundary)
- Pattern6 scan-with-init contract violation: `apps/tests/phase29ab_pattern6_firstfail_min.hako`（tag: `[joinir/phase29ab/pattern6/contract]`）
- Pattern7 split-scan contract violation: `apps/tests/phase29ab_pattern7_firstfail_min.hako`（tag: `[joinir/phase29ab/pattern7/contract]`）
## Pass order (recommended)
1. **Pattern6 reverse scan**
@ -18,8 +37,11 @@ Goal: Convert freeze-fixed Pattern6/7 near-miss cases into PASS while keeping co
- 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.
- Freeze reason: `[joinir/phase29ab/pattern7/contract] split scan contract: else i update must be \`i = i + 1\``
- Resolution: keep the contract-violation fixture as FAIL-Fast, and add a contract-aligned fixup fixture for PASS.
## Commands
- `./tools/smokes/v2/run.sh --profile integration --filter "phase29ab_pattern6_*"`
- `./tools/smokes/v2/run.sh --profile integration --filter "phase29ab_pattern7_*"`
- `./tools/smokes/v2/run.sh --profile integration --filter "phase29ac_pattern7_*"`