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

phase29ao(p3): direct coreloop skeleton from facts (pattern1 subset)

Browse Source
This commit is contained in:
tomoaki
2025-12-30 04:41:08 +09:00
parent 2dd6c2cac5
commit 9c3704315f
7 changed files with 266 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
docs/development/current/main/phases/phase-29ao/README.md
View File

@ -33,10 +33,13 @@ Gate（SSOT）:
- 指示書: `docs/development/current/main/phases/phase-29ao/P2-COREPLAN-COMPOSER-VIA-NORMALIZER-INSTRUCTIONS.md`
- ねらい: `CanonicalLoopFacts → DomainPlan → PlanNormalizer → CorePlan` の橋渡しを未接続で固定
## P3: CoreLoop skeleton を CorePlan で直接生成（未接続・仕様不変）✅
- 指示書: `docs/development/current/main/phases/phase-29ao/P3-CORELOOP-SKELETON-COMPOSE-INSTRUCTIONS.md`
- ねらい: `CanonicalLoopFacts` から `CorePlan::Loop`（skeleton）を direct 生成（Pattern1 subset のみ）
## Next（planned）
- P3: CoreLoop skeleton を `CorePlan` 語彙で直接生成（DomainPlan 非依存・未接続）
- 指示書: `docs/development/current/main/phases/phase-29ao/P3-CORELOOP-SKELETON-COMPOSE-INSTRUCTIONS.md`
- P4: ExitMap presence を `Frag/ExitMap` と結ぶ（break/continue/return を feature 合成へ寄せる）
- P5: Cleanup presence を ExitKind 単位で wire（effect/cleanup SSOT に従う、観測差分なし）
- P6: ValueJoin presence を post-phi SSOT に沿って wire（局所 verify から）