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

phase29ao(p6): gate direct skeleton on valuejoin presence (unconnected)

Browse Source
This commit is contained in:
tomoaki
2025-12-30 05:24:21 +09:00
parent b44c3f6195
commit 3729e9e07b
6 changed files with 75 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -48,7 +48,11 @@ Gate（SSOT）:
- 指示書: `docs/development/current/main/phases/phase-29ao/P5-CLEANUP-PRESENCE-WIRE-INSTRUCTIONS.md`
- ねらい: `cleanup_kinds_present` を ExitKind 語彙として `Frag.exits` に投影（未配線のまま語彙だけ固定）
## P6: ValueJoin presence の安全ゲート（未接続・仕様不変）✅
- 指示書: `docs/development/current/main/phases/phase-29ao/P6-VALUEJOIN-PRESENCE-GATE-INSTRUCTIONS.md`
- ねらい: `value_join_needed` が立つケースは direct skeleton を採用しない（fallback維持）
## Next（planned）
- P6: ValueJoin presence（direct skeleton の安全ゲート、未接続・仕様不変）
- 指示書: `docs/development/current/main/phases/phase-29ao/P6-VALUEJOIN-PRESENCE-GATE-INSTRUCTIONS.md`
- P7: ValueJoin presence を post-phi SSOT に沿って wire（局所 verify から）