phase29ao(p2): composer coreplan via normalizer (unconnected)
This commit is contained in:
@ -28,10 +28,13 @@ Gate(SSOT):
|
||||
- `CorePlan` が `BasicBlockId/ValueId/Frag` を要求するため、Facts→合成の段階で **どこが allocation を持つか**を SSOT として固定する
|
||||
- まずは “bridge” として、composer が `CanonicalLoopFacts` から `DomainPlan`(既存語彙)を構築して `PlanNormalizer` を呼べる形まで整える(未接続のまま)
|
||||
|
||||
## P2: Composer→Normalizer bridge(未接続・仕様不変)✅
|
||||
|
||||
- 指示書: `docs/development/current/main/phases/phase-29ao/P2-COREPLAN-COMPOSER-VIA-NORMALIZER-INSTRUCTIONS.md`
|
||||
- ねらい: `CanonicalLoopFacts → DomainPlan → PlanNormalizer → CorePlan` の橋渡しを未接続で固定
|
||||
|
||||
## Next(planned)
|
||||
|
||||
- P2: Composer→Normalizer bridge(未接続のまま `CanonicalLoopFacts→DomainPlan→CorePlan` を固定)
|
||||
- 指示書: `docs/development/current/main/phases/phase-29ao/P2-COREPLAN-COMPOSER-VIA-NORMALIZER-INSTRUCTIONS.md`
|
||||
- P3: CoreLoop skeleton(preheader/header/body/exit)を `CorePlan` 語彙で直接生成(effects/phis/frag は “最小で正しい”)
|
||||
- P4: ExitMap presence を `Frag/ExitMap` と結ぶ(break/continue/return を feature 合成へ寄せる)
|
||||
- P5: Cleanup presence を ExitKind 単位で wire(effect/cleanup SSOT に従う、観測差分なし)
|
||||
|
||||
Reference in New Issue
Block a user