tomoaki
843d094598
- P1: Add alloc_join_param()/alloc_join_local() API to JoinValueSpace - Prevents future API misuse (thin wrappers with explicit "JoinIR" context) - Updated docs with footnote-style number references - P2: Enrich error context with host_fn for better diagnostics - Added context: &str parameter to verify_boundary_contract_at_creation() - Error format now shows: [merge_joinir_mir_blocks host=<fn> ...] - P3: Add join-side info to error context (continuation count + boundary summary) - Uses boundary.continuation_func_ids.len() for join= - Adds [conts=X exits=Y conds=Z] suffix with fixed key names - Enables faster debugging with log-searchable format Error format: [merge_joinir_mir_blocks host=X join=Y [conts=A exits=B conds=C]] 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude <noreply@anthropic.com>
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