tomoaki/hakorune
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
ad5b6085c1d4d05d6fca90ec6c2033b6e14d5e34
hakorune/docs/development/current/main/design
History
tomoaki 630ed02c48 feat(joinir): Phase 286 P2.7 - V10不変条件追加（body_bb effects契約） 
- verifier.rs: V10検証追加 - body_bbのblock_effectsは空でなければならない
  - 違反時: "[V10] Loop at depth N has non-empty block_effects for body_bb"
  - テスト: test_v10_body_bb_effects_in_block_effects_fails
- joinir-plan-frag-ssot.md: V10をPlan段階の不変条件に追加
- README.md: P2.7セクション追加

Phase 286 P2.6.1で発見した「lowererはloop_plan.bodyをemitし、
block_effectsのbody_bbは無視する」問題を契約化し再発防止。

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2025-12-26 04:55:14 +09:00
..
control-tree.md
docs: update normalized_shadow references and Phase 129 status
2025-12-18 08:18:20 +09:00
edgecfg-fragments.md
docs(edgecfg): Phase 280 - Frag Composition SSOT Positioning (A→B→C)
2025-12-23 01:18:36 +09:00
exception-cleanup-async.md
refactor(mir): phase260 p0.1 strangler hardening + smoke fixtures
2025-12-21 05:47:37 +09:00
join-explicit-cfg-construction.md
docs: record Phase 265/266 EdgeCFG progress and research note
2025-12-21 17:20:58 +09:00
joinir-design-map.md
refactor(joinir): make jump_args layout explicit (Phase 256)
2025-12-20 13:04:24 +09:00
joinir-plan-frag-ssot.md
feat(joinir): Phase 286 P2.7 - V10不変条件追加（body_bb effects契約）
2025-12-26 04:55:14 +09:00
loop-canonicalizer.md
docs(phase93): Phase 93 P0完了記録 & ドキュメント整理
2025-12-16 23:30:39 +09:00
normalized-expr-lowering.md
fix(normalization): Phase 143 execution fix - Param region SSOT
2025-12-19 08:23:20 +09:00
pattern-p5b-escape-design.md
docs(phase93): Phase 93 P0完了記録 & ドキュメント整理
2025-12-16 23:30:39 +09:00
README.md
docs: record Phase 265/266 EdgeCFG progress and research note
2025-12-21 17:20:58 +09:00

README.md

design/

docs/development/current/main/design/ は、長期参照する設計図（SSOT 寄り）を置く場所。

  • 原則: “Phaseの作業ログ/完了報告” は ../phases/ に置く。
  • 原則: “不具合調査ログ” は ../investigations/ に置く。

現役の設計図（入口）

  • JoinIR の地図（navigation SSOT）: docs/development/current/main/design/joinir-design-map.md
  • Join-Explicit CFG Construction（north star）: docs/development/current/main/design/join-explicit-cfg-construction.md
  • EdgeCFG Flow Fragments（Structured→CFG lowering SSOT）: docs/development/current/main/design/edgecfg-fragments.md
  • Catch / Cleanup / Async（設計メモ）: docs/development/current/main/design/exception-cleanup-async.md
  • Loop Canonicalizer（設計 SSOT）: docs/development/current/main/design/loop-canonicalizer.md
  • ControlTree / StepTree（構造SSOT）: docs/development/current/main/design/control-tree.md
  • Normalized ExprLowerer（式の一般化 SSOT）: docs/development/current/main/design/normalized-expr-lowering.md