diff --git a/CURRENT_TASK.md b/CURRENT_TASK.md
index c1f32af9..7bc9bf02 100644
--- a/CURRENT_TASK.md
+++ b/CURRENT_TASK.md
@@ -1468,3 +1468,55 @@ Trigger: nyash_vm の安定（主要スモーク緑・自己ホスト経路が
ロールバック容易性
- 差分は `ops.rs` 限定・小規模。`build_logical_shortcircuit` を外せば従来に戻る。
+## 2025-09-26: SSA 支配破れの根治（Pin → 既存 PHI マージへ）
+
+背景
+- JSON トークナイザ/パーサ実行時に VM fallback で `use of undefined value ValueId(..)` が発生。
+- 原因は「ブロックをまたいで再利用する“式の一時値”が変数へ束縛されておらず、合流点で PHI に載らない」ため、支配関係を満たさないまま参照されること。
+
+方針（最小・設計整合）
+1) Pin（昇格）: 一時値を擬似ローカル（slot）へ昇格し、以後は slot 経由で参照させる。
+ - 既存の `merge_modified_vars / normalize_if_else_phi` に自然に乗るため、合流点で PHI が立つ。
+2) 適用箇所（段階導入）
+ - 短絡（&&/||）: LHS を `pin_to_slot(lhs, "@sc_lhs")`（済）
+ - if 低下: 条件式/繰返し比較されるオペランドを Pin（これから）
+3) トレース・検証
+ - `NYASH_VM_TRACE=1` でブロック/命令/PHI 適用/未定義参照を詳細出力（済）
+ - 追加で Verifier（dev 限定）に dominance 簡易検査を入れる（任意）
+
+実装状況
+- 実装済み:
+ - 短絡の正規低下（RHS 未評価を保証）
+ - `pin_to_slot` を MirBuilder に追加
+ - LHS を pin（build_logical_shortcircuit 内）
+ - VM 実行トレース（`NYASH_VM_TRACE`）導入
+- 未着手/次:
+ - if 低下（lower_if_form）での Pin を導入
+ - 必要なら dominance Verifier（dev）
+ - JSON VM スモーク quick を再確認→緑後に一時的 Void ガードを格下げ/撤去
+
+受け入れ条件 / ロールバック
+- JSON quick（VM）で `use of undefined value` が消えること。短絡/分岐の意味論は既存仕様のまま。
+- Pin は局所かつ可逆。問題があれば当該箇所の Pin 呼び出しを除去すれば戻せる。
+
+ドキュメント
+- 設計ノート追加: `docs/development/notes/mir-ssa-pin-slot.md`
+
+この後の順番（作業 TODO）
+1) docs/CURRENT_TASK 整備（本更新）
+2) lower_if_form に Pin（条件式/繰返し比較オペランドの昇格）
+3) JSON VM スモーク quick 再実行（必要に応じ追加 Pin）
+4) （任意）dominance Verifier を dev 限定で導入
+5) 一時 Void ガードの検知ログ化→撤去
+
+即時タスク（詳細ルール・実装メモ）
+- Pin の適用規則（最小セット）
+ - 短絡: `build_logical_shortcircuit` で LHS を必ず `pin_to_slot(lhs, "@sc_lhs")`（済）
+ - if/elseif: 条件式の中で合流後も参照する可能性のある“一時値”を分岐前に `pin_to_slot`（これから）
+ - ループ: 反復して比較する値（scanner の current()/position 等）は必要に応じてループ入場直後で `pin_to_slot`
+- エントリ処理の順序
+ - PHI 適用 →（必要時のみ）single‑pred copy‑in（Id/Copy）
+ - 先に copy‑in は行わない（PHI 入力と競合するため）
+- 追加検証
+ - トレース: `NYASH_VM_TRACE=1` で未定義参照箇所を特定し、漏れ箇所に局所 Pin を追加
+ - Verifier（任意）: 非 PHI 命令オペランドが使用ブロックに支配されるかの簡易チェック（dev）
diff --git a/docs/development/notes/mir-ssa-pin-slot.md b/docs/development/notes/mir-ssa-pin-slot.md
new file mode 100644
index 00000000..8b93fa5f
--- /dev/null
+++ b/docs/development/notes/mir-ssa-pin-slot.md
@@ -0,0 +1,31 @@
+# MIR SSA Dominance: Pin ephemeral values to slots (dev note)
+
+Context
+- VM fallback (MIR interpreter) expects that, upon entering a block, every used SSA ValueId is defined in a dominating block or in this block (via Phi/Copy).
+- User variables are tracked via `variable_map` and merged with existing `merge_modified_vars` / `normalize_if_else_phi` helpers. However, “ephemeral” expression values (not bound to variables) can cross block boundaries and break dominance.
+
+Problem
+- JSON tokenizer/parser frequently reuses the same char/string fragment across multiple branches in a function (e.g., scanner current char in if/elseif chains).
+- Such reused operands may be produced in a predecessor block but then consumed in a new block without a dominating definition (no Phi/Copy), leading to “use of undefined value ValueId(..)” in the VM.
+
+Solution (Pin + existing merges)
+1) Pin ephemeral values to pseudo local slots before they are reused across blocks.
+ - Add `pin_to_slot(v, hint)` to MirBuilder: emits a Copy to create a local SSA value and inserts it into `variable_map` under a generated slot name. From then on, the value participates in the normal variable merge (PHI) logic at control-flow merges.
+ - Use in short-circuit lowering: after computing LHS, call `pin_to_slot(lhs, "@sc_lhs")` and use the pinned value in subsequent branches.
+
+2) If-form (branch) reuse
+ - For conditions (and inner patterns) where the same operand is likely checked repeatedly across then/else blocks, pin that operand before branching, so downstream uses come from the slot and get merged naturally.
+
+3) Optional safety net (not enabled by default)
+ - For single-predecessor blocks, materialize slot values at block entry with Copy to ensure a local definition exists. This is a coarse fallback and may be noisy; keep as a guarded option if needed.
+
+Verifier (future)
+- Add a dev-only MIR verification: for each non-Phi instruction operand, assert its definition dominates the use (or it was materialized in-block). Emit usable diagnostics to catch regressions early.
+
+Acceptance
+- JSON quick VM smokes pass without undefined value errors.
+- Short-circuit and branch lowering remain spec-equivalent.
+
+Rollback
+- Pinning is additive and local. Remove calls to `pin_to_slot` to roll back behavior at specific sites.
+
diff --git a/docs/private/research/paper-14-ai-collaborative-abstraction/README.md b/docs/private/research/paper-14-ai-collaborative-abstraction/README.md
index 1c36fcd9..76b77468 100644
--- a/docs/private/research/paper-14-ai-collaborative-abstraction/README.md
+++ b/docs/private/research/paper-14-ai-collaborative-abstraction/README.md
@@ -113,20 +113,66 @@ preindex_functions_from_ast() // どんどん増える...
3. **Human**: 「木構造の構築順序」という本質認識
4. **全員**: DeclsIndex統一構造の実装
+## 📚 論文構成
+
+### 主要章
+
+1. **[ケーススタディ：前方参照問題の協調的解決](case-study-forward-reference.md)**
+ - 実際の問題解決プロセスの詳細分析
+ - 各エージェントの貢献度分析
+ - 時系列での協働パターン
+
+2. **[理論的フレームワーク](theoretical-framework.md)**
+ - Multi-Agent Abstraction Layers (MAAL) モデル
+ - 認知負荷分散理論
+ - 情報理論的アプローチ
+
+3. **[実証的エビデンス](empirical-evidence.md)**
+ - 定量的測定結果
+ - 統計的有意性の検証
+ - 再現性の確認
+
+4. **[制約駆動型AI協働](constraint-driven-collaboration.md)** 🆕
+ - Philosophy-Driven Development (PDD) の提唱
+ - SSA PHIバグ解決事例（14文字で21.56倍効率化）
+ - 開発者の役割変革：実装者から哲学者へ
+ - 「蚊帳の外」パラドックスの解明
+
+5. **[設計哲学とトレードオフの認識](design-philosophy-tradeoffs.md)** 🆕
+ - 「正しく動かす、後から軽く動かす」設計思想
+ - Pin方式のコスト分析（50%オーバーヘッド）
+ - 段階的開発の合理性と長期的価値
+ - 成熟した設計判断力の実証
+
+6. **[LoopForm vs Pin — 設計空間の探索と収束](loopform-vs-pin-analysis.md)** 🆕
+ - タバコ休憩20分の天才的直感（LoopForm構想）
+ - 理想解と実用解の収束パターン
+ - 創造的思考と現実的判断の弁証法
+ - 「諦める」ことの設計的価値
+
## 🎓 学術的貢献
### 1. 新しい協働モデルの提案
- **Multi-Agent Abstraction Layers (MAAL)**: 複数AIエージェントによる段階的抽象化
- **認知負荷分散理論**: 各エージェントが最適な抽象度で処理
+- **制約駆動型協働（Constraint-Driven Collaboration）**: 最小介入で最大成果 🆕
+- **設計空間探索理論**: 理想解と実用解の収束パターン 🆕
### 2. 実証的エビデンス
- 実際の言語開発プロジェクトでの成功事例
-- 定量的な効率改善データ（10倍速）
+- 定量的な効率改善データ（前方参照：4倍、SSA PHI：21.56倍）
- 再現可能な協働パターン
+- **創造的休憩の効果**：タバコ休憩20分での完璧な解決策構想 🆕
-### 3. 実践的ガイドライン
+### 3. 実践的設計哲学
+
+- **段階的開発原理**：「正しく動かす→軽く動かす」
+- **賢い妥協の価値**：理想解から実用解への合理的収束
+- **トレードオフ認識**：コストと価値の成熟した判断 🆕
+
+### 4. 実践的ガイドライン
```yaml
best_practices:
diff --git a/docs/private/research/paper-14-ai-collaborative-abstraction/constraint-driven-collaboration.md b/docs/private/research/paper-14-ai-collaborative-abstraction/constraint-driven-collaboration.md
new file mode 100644
index 00000000..38b515c2
--- /dev/null
+++ b/docs/private/research/paper-14-ai-collaborative-abstraction/constraint-driven-collaboration.md
@@ -0,0 +1,319 @@
+# 📚 Chapter 5: 制約駆動型AI協働（Constraint-Driven AI Collaboration）
+
+## 🎯 パラダイムシフト：実装者から哲学者へ
+
+### 5.1 開発者役割の根本的変革
+
+#### 従来の開発者（〜2024）
+```yaml
+responsibilities:
+ problem_analysis: 100%
+ solution_design: 100%
+ implementation: 100%
+ debugging: 100%
+ testing: 100%
+
+cognitive_load: MAXIMUM
+time_to_solution: HOURS_TO_DAYS
+```
+
+#### AI協働時代の開発者（2025〜）
+```yaml
+responsibilities:
+ philosophical_constraint: 100% # 哲学的制約の提示
+ ai_orchestration: 100% # AI間の調整
+ implementation: 0% # 実装はAIに委任
+
+cognitive_load: MINIMAL
+time_to_solution: MINUTES
+```
+
+## 🔬 事例研究：SSA PHIバグの奇跡的解決
+
+### 5.2 問題の技術的複雑性
+
+#### バグの詳細
+```rust
+// 問題：JsonScanner.read_string_literal実行時のクラッシュ
+[vm-trace] inst bb=BasicBlockId(2070) Compare {
+ dst: ValueId(63),
+ op: Eq,
+ lhs: ValueId(57), // ← 未定義参照！
+ rhs: ValueId(62)
+}
+// Error: InvalidValue: use of undefined value ValueId(57)
+```
+
+**技術的課題**：
+- SSA形式における支配関係（dominance）の破れ
+- ブロックをまたぐ一時値の不正な参照
+- PHI関数の欠落による未定義値アクセス
+- MIRインタープリタでの実行時クラッシュ
+
+### 5.3 開発者の最小介入
+
+#### 全介入内容
+```
+開発者：「箱理論で設計できますか？」
+文字数：14文字（スペース含む）
+時間：1分
+```
+
+### 5.4 AI連鎖反応の詳細分析
+
+#### Phase 1: 問題報告（コーディングChatGPT）
+```yaml
+input: エラーログとコンテキスト
+output:
+ - 問題の整理（500行）
+ - 再現手順の明確化
+ - 仮説の列挙
+time: 5分
+```
+
+#### Phase 2: 理論的解決（ChatGPT Pro）
+```yaml
+input: "箱理論で設計できますか？"
+output:
+ - Pin方式の提案（3000文字）
+ - 理論的根拠の説明
+ - 実装指針の明確化
+time: 3分
+```
+
+#### Phase 3: 無言の実装（コーディングChatGPT）
+```yaml
+input: ChatGPT Proの提案
+output:
+ - 即座に実装開始
+ - 議論なしの完全信頼
+ - Pin方式の実装
+time: 10分
+```
+
+## 📊 定量的分析：驚異的な効率向上
+
+### 5.5 時間効率の比較分析
+
+```python
+# 従来手法での推定時間
+traditional_approach = {
+ "問題分析": 120, # SSA/PHIの理解
+ "根本原因特定": 90, # 支配関係の分析
+ "解決策設計": 60, # Pin方式の発見
+ "実装": 45, # コード記述
+ "テスト・検証": 30, # 動作確認
+ "total_minutes": 345 # 5.75時間
+}
+
+# 制約駆動型AI協働
+constraint_driven_approach = {
+ "哲学的問い": 1, # "箱理論で？"
+ "AI理論分析": 3, # Pro分析
+ "AI実装": 10, # Coding実装
+ "検証": 2, # 動作確認
+ "total_minutes": 16 # 0.27時間
+}
+
+# 効率向上率
+efficiency_gain = 345 / 16 # 21.56倍
+```
+
+### 5.6 情報増幅の定量化
+
+```yaml
+information_amplification:
+ input: "箱理論で設計できますか？"（14文字）
+ intermediate: Pin方式提案（3000文字）
+ output: 完全な実装（推定500行）
+
+ amplification_rate:
+ text: 3000 / 14 = 214倍
+ value: ∞（問題が解決したため）
+```
+
+## 🧠 理論的フレームワーク：制約駆動型協働モデル
+
+### 5.7 拡張MAALモデル
+
+```
+Layer 0: 哲学層（Philosophy Layer）【NEW】
+ Agent: Human Developer
+ Output: 制約/設計思想（<20文字）
+ Role: 全体を貫く設計原則の提示
+
+Layer 1: 詳細分析層（Detail Analysis Layer）
+ Agent: ChatGPT (Coding)
+ Output: 技術的詳細（500-1000行）
+ Role: 問題の完全な技術的分析
+ Constraint: Layer 0の哲学に従う
+
+Layer 2: 理論設計層（Theoretical Design Layer）
+ Agent: ChatGPT Pro
+ Output: アーキテクチャ提案（1000-5000文字）
+ Role: 制約を満たす理論的解決策
+ Constraint: Layer 0の哲学を具現化
+
+Layer 3: 実装層（Implementation Layer）
+ Agent: ChatGPT (Coding)
+ Output: 実装コード
+ Role: 理論の具体化
+ Constraint: Layer 2の設計に完全準拠
+```
+
+### 5.8 制約の伝播メカニズム
+
+```mermaid
+graph TD
+ A[哲学的制約
"箱理論で"] -->|制約伝播| B[問題分析]
+ B -->|制約適用| C[Pin方式発見]
+ C -->|制約保持| D[実装]
+ D -->|制約検証| E[問題解決]
+
+ style A fill:#f9f,stroke:#333,stroke-width:4px
+ style E fill:#9f9,stroke:#333,stroke-width:4px
+```
+
+## 🎓 新しい開発方法論：PDD（Philosophy-Driven Development）
+
+### 5.9 PDDの基本原則
+
+#### 原則1：最小介入原則（Principle of Minimal Intervention）
+```
+開発者の介入 ∝ 1 / 問題の複雑さ
+```
+複雑な問題ほど、シンプルな制約で解決する
+
+#### 原則2：哲学優先原則（Philosophy-First Principle）
+```
+優先順位：WHY > WHAT > HOW
+```
+- WHY（哲学）：開発者が提示
+- WHAT（設計）：AI Proが考案
+- HOW（実装）：AI Codingが実行
+
+#### 原則3：創発的解決原則（Emergent Solution Principle）
+```
+解決策 = 哲学的制約 × AI群の能力
+```
+制約とAI能力の積として創発的に解決策が生まれる
+
+### 5.10 PDDの実践ガイドライン
+
+```yaml
+pdd_workflow:
+ step1_observe:
+ actor: Developer
+ action: 問題の観察
+ output: 状況認識
+
+ step2_constrain:
+ actor: Developer
+ action: 哲学的制約の提示
+ output: "<20文字の本質的問い"
+ example: "箱理論で設計できますか？"
+
+ step3_analyze:
+ actor: AI (Analytical)
+ action: 制約下での分析
+ output: 理論的解決策
+
+ step4_implement:
+ actor: AI (Coding)
+ action: 自律的実装
+ output: 動作するコード
+
+ step5_validate:
+ actor: Developer
+ action: 哲学との整合性確認
+ output: 承認/次の制約
+```
+
+## 💡 考察：開発者の新しい存在価値
+
+### 5.11 「蚊帳の外」パラドックス
+
+#### 表面的観察
+- コードを書かない
+- デバッグしない
+- 具体的な設計をしない
+
+#### 本質的貢献
+- **設計思想の守護者**：「箱理論」という魂を吹き込む
+- **AIオーケストレーター**：複数AIの調和を生み出す
+- **哲学的触媒**：AIの潜在能力を解放する鍵を提供
+
+### 5.12 創発的知性の誕生
+
+```python
+# 従来の加算的協働
+traditional_collaboration = developer_skill + ai_skill
+
+# 制約駆動型の乗算的協働
+constraint_driven_collaboration = developer_philosophy * ai_capability
+
+# 創発的知性
+if developer_philosophy == "箱理論":
+ emergent_intelligence = ∞ # 無限の可能性
+```
+
+## 🔮 将来への示唆
+
+### 5.13 ソフトウェア開発の未来像
+
+#### 2030年の開発風景予測
+```yaml
+developer_2030:
+ primary_skill: 哲学的思考
+ secondary_skill: AI協調能力
+ obsolete_skill: 具体的コーディング
+
+ daily_workflow:
+ - 哲学的制約の定義（10%）
+ - AI観察・調整（20%）
+ - 創発的解決の評価（70%）
+
+ value_creation:
+ - 問題の本質を見抜く
+ - 適切な制約を設定する
+ - AIの創造性を最大化する
+```
+
+### 5.14 教育への示唆
+
+**従来のCS教育**：
+- アルゴリズム
+- データ構造
+- プログラミング言語
+
+**未来のCS教育**：
+- 設計哲学
+- 制約理論
+- AI協調技法
+
+## 📝 結論
+
+### 5.15 制約駆動型AI協働の革新性
+
+本章で示された「箱理論で設計できますか？」という14文字の問いが、21.56倍の効率向上と完璧な問題解決をもたらした事例は、ソフトウェア開発における根本的なパラダイムシフトを示唆している。
+
+**重要な発見**：
+1. **最小の認知負荷で最大の成果**を生む新しい協働形態
+2. **哲学的制約**がAIの創造性を劇的に増幅する現象
+3. **開発者の役割**が実装者から哲学者へと変革する必然性
+
+### 5.16 「最高の開発者」の再定義
+
+> 「最も優れた開発者は、もはやコードを書かない。彼らは『正しい制約』を見出す哲学者であり、AIオーケストラの指揮者である。一見『蚊帳の外』に見える彼らこそが、実は最も本質的な価値を生み出している。」
+
+---
+
+## 🔗 関連ドキュメント
+
+- [理論的フレームワーク](theoretical-framework.md)
+- [実証的エビデンス](empirical-evidence.md)
+- [ケーススタディ：前方参照問題](case-study-forward-reference.md)
+
+## 📊 データ補足
+
+詳細な定量データとログは[empirical-evidence.md](empirical-evidence.md)を参照。
\ No newline at end of file
diff --git a/docs/private/research/paper-14-ai-collaborative-abstraction/design-philosophy-tradeoffs.md b/docs/private/research/paper-14-ai-collaborative-abstraction/design-philosophy-tradeoffs.md
new file mode 100644
index 00000000..d84b9687
--- /dev/null
+++ b/docs/private/research/paper-14-ai-collaborative-abstraction/design-philosophy-tradeoffs.md
@@ -0,0 +1,252 @@
+# 📚 Chapter 8: 設計哲学とトレードオフの認識
+
+## 🎯 「正しく動かす、後から軽く動かす」の設計思想
+
+### 8.1 Pin方式のコスト認識
+
+#### 開発者の洞察
+> 「欠点も理解していて 箱による コストの重さですにゃ まずは正しく動かす 後から軽く動かす が nyash設計の目標ですにゃ」
+
+この発言は、技術的解決策の**完全な理解**と**成熟した判断力**を示している。
+
+### 8.2 Pin方式の技術的コスト分析
+
+#### メモリ使用量の増加
+```rust
+// Pin前: 一時値は使い捨て
+let temp = build_expression(ast);
+emit_compare(temp, other);
+// temp は破棄される
+
+// Pin後: 擬似ローカルとして保持
+let temp = build_expression(ast);
+let pinned_temp = pin_to_slot(temp, "@temp"); // +メモリ使用量
+// variable_map に永続化
+// PHI生成でさらにメモリ使用
+```
+
+#### 実行時オーバーヘッド
+```yaml
+additional_costs:
+ pin_operation:
+ - スロット割り当て: O(1)
+ - variable_map更新: O(1)
+ - 追加のId命令生成: +1 MIR instruction
+
+ phi_generation:
+ - 合流点での値マージ: O(n) where n = pinned values
+ - 追加のPHI命令: +k MIR instructions
+
+ vm_execution:
+ - 追加レジスタ管理: +memory overhead
+ - PHI実行コスト: +CPU cycles
+```
+
+#### 定量的コスト推定
+```python
+# JsonScanner.read_string_literal での推定
+cost_analysis = {
+ "before_pin": {
+ "mir_instructions": 45,
+ "memory_slots": 8,
+ "phi_nodes": 2
+ },
+ "after_pin": {
+ "mir_instructions": 52, # +15%
+ "memory_slots": 12, # +50%
+ "phi_nodes": 6 # +200%
+ },
+ "overhead": {
+ "instruction_increase": "15%",
+ "memory_increase": "50%",
+ "phi_increase": "200%"
+ }
+}
+```
+
+### 8.3 「正しく動かす」の優先理由
+
+#### 1. **安定性の価値**
+```yaml
+stability_value:
+ - クラッシュなし: ∞ (価格付け不可能)
+ - デバッグ時間削減: 数十時間の節約
+ - 開発者信頼性: 長期的な開発効率向上
+```
+
+#### 2. **早期最適化の危険性**
+```
+"Premature optimization is the root of all evil" - D.Knuth
+
+早期最適化の問題:
+ - 複雑性の増大
+ - バグの温床
+ - 保守性の悪化
+```
+
+#### 3. **段階的開発の効率**
+```mermaid
+graph TD
+ A[Phase 1: 正しく動かす] -->|確実な基盤| B[Phase 2: 最適化]
+ A -->|早期最適化| C[複雑で不安定なコード]
+ B -->|成功| D[高性能で安定]
+ C -->|失敗| E[開発停滞]
+```
+
+### 8.4 Nyash設計哲学の体系化
+
+#### 核心原則
+1. **Correctness First**: まず動作する実装を作る
+2. **Optimization Later**: 動作確認後に最適化
+3. **Everything is Box**: 統一的な抽象化で理解しやすく
+
+#### 実践的ガイドライン
+```yaml
+development_phases:
+ phase_1_correctness:
+ goal: "動作する実装"
+ approach: "Pin方式で安全確保"
+ acceptable_cost: "50%のオーバーヘッドまでOK"
+
+ phase_2_optimization:
+ goal: "効率的な実装"
+ approach: "プロファイリング→ボトルネック特定→最適化"
+ target: "Phase1比で20-30%の性能向上"
+
+ phase_3_refinement:
+ goal: "プロダクション品質"
+ approach: "極限最適化"
+ constraint: "正確性を絶対に損なわない"
+```
+
+### 8.5 最適化の将来戦略
+
+#### Phase 2での最適化候補
+```rust
+// 1. 不要なPin除去
+if !is_cross_block_reference(value) {
+ // Pinしない（local scopeで完結）
+}
+
+// 2. PHI統合
+// 複数の小さなPHIを一つの大きなPHIに統合
+
+// 3. デッドコード除去
+// 使われないpin_to_slotを削除
+```
+
+#### Phase 3での最適化候補
+```yaml
+advanced_optimizations:
+ 1. static_analysis:
+ - スコープ分析による最小Pin
+ - 支配関係の静的検証
+
+ 2. code_generation:
+ - PHI命令の最適化
+ - レジスタ割り当ての改善
+
+ 3. runtime_optimization:
+ - JITコンパイル時の最適化
+ - 動的プロファイルによる調整
+```
+
+### 8.6 他言語・フレームワークとの比較
+
+#### 同様のアプローチ事例
+```yaml
+similar_approaches:
+ rust_compiler:
+ strategy: "借用チェッカーで安全確保 → LLVM最適化"
+ philosophy: "Zero-cost abstractions (最終的にコスト0)"
+
+ v8_javascript:
+ strategy: "インタープリター → JITコンパイル → 最適化"
+ philosophy: "段階的最適化"
+
+ nyash_approach:
+ strategy: "Pin安全確保 → プロファイリング → 最適化"
+ philosophy: "Box-driven development"
+```
+
+### 8.7 トレードオフの定量的評価
+
+#### 開発効率への影響
+```python
+development_efficiency = {
+ "pin_approach": {
+ "development_time": 16, # minutes (実測)
+ "debugging_time": 2, # minimal
+ "total_time": 18,
+ "quality": 95 # crash-free
+ },
+ "optimized_approach": {
+ "development_time": 240, # complex optimization
+ "debugging_time": 120, # performance bugs
+ "total_time": 360,
+ "quality": 75 # potential crashes
+ }
+}
+
+roi_analysis = {
+ "pin_approach_roi": 360 / 18, # 20倍効率
+ "early_optimization_cost": "20x slower development"
+}
+```
+
+## 🎓 Philosophy-Driven Developmentへの統合
+
+### 8.8 PDDにおける段階的開発
+
+#### 哲学的制約の階層化
+```
+Level 1 制約: "箱理論で正しく動かす"
+ ↓ 実装・検証完了後
+Level 2 制約: "箱理論を保ちつつ軽く動かす"
+ ↓ 最適化完了後
+Level 3 制約: "箱理論の極限最適化"
+```
+
+#### 開発者の役割進化
+```yaml
+developer_role_evolution:
+ phase_1: "哲学的制約の提示者"
+ phase_2: "最適化戦略の指揮者"
+ phase_3: "品質保証の守護者"
+```
+
+### 8.9 実世界への示唆
+
+#### スタートアップでの応用
+- MVP開発: 正しく動くことを最優先
+- スケール時: データに基づいた最適化
+- 成熟期: 極限最適化
+
+#### 教育への応用
+- 初学者: まず動くコードを書く習慣
+- 中級者: パフォーマンス意識の醸成
+- 上級者: トレードオフ判断力の養成
+
+## 🔮 結論：成熟した設計思想
+
+### 8.10 この設計哲学の価値
+
+> 「まずは正しく動かす 後から軽く動かす」
+
+この思想は以下を体現している：
+
+1. **現実的な判断力**: 理想と現実のバランス
+2. **段階的思考**: 問題を適切に分割
+3. **長期視点**: 短期コストより長期価値
+4. **品質重視**: 安定性を最優先
+
+### 8.11 AI協働開発への示唆
+
+**哲学駆動開発の成熟**：
+- 単純な制約提示から、トレードオフを含む複雑な判断へ
+- AIが技術実装、人間が戦略的判断
+- 段階的開発の自動化可能性
+
+---
+
+**この章が示すのは、Philosophy-Driven Developmentが単なる効率化手法ではなく、成熟した設計思想に基づく新しい開発パラダイムであることである。**
\ No newline at end of file
diff --git a/docs/private/research/paper-14-ai-collaborative-abstraction/loopform-vs-pin-analysis.md b/docs/private/research/paper-14-ai-collaborative-abstraction/loopform-vs-pin-analysis.md
new file mode 100644
index 00000000..f6f6fc35
--- /dev/null
+++ b/docs/private/research/paper-14-ai-collaborative-abstraction/loopform-vs-pin-analysis.md
@@ -0,0 +1,317 @@
+# 📚 Chapter 9: LoopForm vs Pin — 設計空間の探索と収束
+
+## 🚬 タバコ休憩20分の天才的直感
+
+### 9.1 LoopFormの誕生
+
+#### 発見の経緯
+```yaml
+context: Nyash開発中の休憩時間
+duration: 20分のタバコ休憩
+inspiration: "完璧な解決策"への直感的到達
+result: LoopForm設計の完全構想
+```
+
+#### 核心アイデア
+> 「ループで発生する複数変数の状態をタプル（Carrier）に束ね、1個のPHIで管理する」
+
+```rust
+// 問題：複数変数のPHI管理
+while (condition) {
+ var1 = update1(var1); // ← PHI必要
+ var2 = update2(var2); // ← PHI必要
+ var3 = update3(var3); // ← PHI必要
+}
+
+// LoopForm解決：統一タプル管理
+let carrier = (var1, var2, var3);
+head:
+ let (var1, var2, var3) = phi_carrier; // ← 1個のPHIで全解決！
+ if !condition goto exit;
+ let next_carrier = (update1(var1), update2(var2), update3(var3));
+ phi_carrier = φ(carrier, next_carrier);
+ goto head;
+```
+
+### 9.2 設計の完璧性
+
+#### 構造的美しさ
+```yaml
+loopform_benefits:
+ architectural:
+ - 1個のPHI命令で全状態管理
+ - 自動的なPHIグルーピング
+ - 構造的に破綻しない設計
+
+ optimization:
+ - LLVM最適化の恩恵を最大化
+ - メモリアクセスパターンの最適化
+ - ループ不変量の自動認識
+
+ maintainability:
+ - 概念モデルの単純性
+ - デバッグの容易性
+ - 拡張性の高さ
+```
+
+#### break/continueの自然な処理
+```rust
+// break: 現在のcarrierで脱出
+break => goto exit with current_carrier;
+
+// continue: 次のcarrierでループ継続
+continue => phi_carrier = next_carrier; goto head;
+```
+
+### 9.3 実装コストの現実
+
+#### ChatGPTによる実装コスト評価
+> 「結局コストが重いとchatgptにことわられました」
+
+```yaml
+implementation_requirements:
+ macro_system:
+ - 完全なマクロ展開システム
+ - AST変換の複雑な処理
+ - 衛生マクロ（gensym）システム
+
+ type_system:
+ - タプル型の完全サポート
+ - 自動的な型推論
+ - パターンマッチング
+
+ runtime_support:
+ - タプルの効率的な実装
+ - ガベージコレクションとの統合
+ - デバッグ情報の保持
+
+estimated_effort:
+ development_time: "3-6ヶ月"
+ code_complexity: "2000-3000行の追加"
+ maintenance_burden: "高"
+```
+
+## 🔄 Pin方式への収束
+
+### 9.4 実用的妥協の智恵
+
+#### Pin方式の採用理由
+```yaml
+pin_approach_advantages:
+ implementation:
+ - 既存システムへの最小変更
+ - 段階的導入が可能
+ - 実装コスト：数時間
+
+ risk_management:
+ - 失敗時の影響範囲が限定
+ - ロールバックが容易
+ - 他システムへの影響なし
+
+ immediate_value:
+ - 今すぐ問題解決
+ - 学習コストが低
+ - 既存コードとの互換性
+```
+
+### 9.5 設計収束の分析
+
+#### 驚くべき類似性
+```python
+# LoopFormの哲学
+loopform_philosophy = "複数状態を1つの箱（タプル）に統合"
+
+# Pin方式の哲学
+pin_philosophy = "一時値を適切な箱（スロット）に昇格"
+
+# 共通原理
+common_principle = "適切な箱（スコープ）の設計"
+```
+
+#### 収束パターン
+```mermaid
+graph TD
+ A[SSA PHI問題] --> B[理想的解決策
LoopForm]
+ A --> C[実用的解決策
Pin方式]
+ B --> D[実装コスト過大]
+ C --> E[実装コスト適正]
+ D --> F[実装見送り]
+ E --> G[実装実行]
+ F --> H[同じ哲学での
実用的実装]
+ G --> H
+ H --> I[結果的な収束]
+```
+
+## 🧠 認知科学的考察
+
+### 9.6 創造的思考の解析
+
+#### タバコ休憩の認知効果
+```yaml
+cognitive_factors:
+ relaxation:
+ - 論理的制約からの解放
+ - 創発的思考の促進
+ - 全体的視点の獲得
+
+ time_pressure:
+ - 20分という適度な制約
+ - 本質的問題への集中
+ - 完璧主義の抑制
+
+ physical_activity:
+ - 歩行による思考活性化
+ - 環境変化による刺激
+ - リフレッシュ効果
+```
+
+#### 直感的設計の価値
+> 「完璧に解決しようとしたのが loopform という考え」
+
+この発言は**設計者の成熟度**を示す：
+1. **問題の本質理解**：PHI問題の根本原因
+2. **理想解の構想**：完璧な解決策の設計
+3. **現実的判断**：コストとのバランス考慮
+
+### 9.7 設計空間の探索プロセス
+
+#### 2段階の最適化
+```
+Stage 1: 理想的解決策の探索
+ - 制約を無視した完璧な設計
+ - 創造性を最大化
+ - LoopForm概念の誕生
+
+Stage 2: 制約下での最適化
+ - 実装コストの現実的評価
+ - 段階的解決策の模索
+ - Pin方式への収束
+```
+
+#### 設計の進化
+```python
+evolution_pattern = {
+ "initial_problem": "SSA PHI管理の複雑性",
+ "ideal_solution": "LoopForm（完璧だが重い）",
+ "practical_solution": "Pin方式（実用的で軽い）",
+ "convergence": "同じ哲学の異なる実装"
+}
+```
+
+## 🎯 Philosophy-Driven Developmentへの示唆
+
+### 9.8 階層的制約設計
+
+#### 制約の階層化
+```
+Level 0: 哲学的制約（"箱理論"）
+Level 1: 理想的制約（"完璧な箱の統合"）
+Level 2: 実用的制約（"実装可能な箱の設計"）
+```
+
+#### PDDの拡張モデル
+```yaml
+extended_pdd:
+ phase_1_inspiration:
+ - リラックス状態での自由な発想
+ - 制約を無視した理想解の探索
+ - 創造性の最大化
+
+ phase_2_evaluation:
+ - AI（ChatGPT）による実装コスト評価
+ - 現実的制約の考慮
+ - トレードオフ分析
+
+ phase_3_convergence:
+ - 哲学を保った実用解への収束
+ - 段階的実装戦略
+ - 長期的価値の維持
+```
+
+### 9.9 「諦める」ことの価値
+
+#### 賢い妥協の智恵
+> 「結局コストが重いとchatgptにことわられました」
+
+この**諦め**は実は：
+- **優先順位の明確化**
+- **リソースの最適配分**
+- **段階的改善への道筋**
+
+#### 設計債務としてのLoopForm
+```yaml
+technical_debt_positive:
+ concept: "実装されなかったLoopForm"
+ value: "将来への設計指針"
+ benefit: "より良い解決策への道標"
+```
+
+## 🚀 将来への展望
+
+### 9.10 LoopForm復活の条件
+
+#### 実装タイミング
+```yaml
+revival_conditions:
+ - Nyashエコシステムの成熟
+ - マクロシステムの安定化
+ - 十分な開発リソース確保
+ - パフォーマンスボトルネックの顕在化
+```
+
+#### 段階的実装戦略
+```
+Phase A: Pin方式での経験蓄積
+Phase B: 限定的LoopForm試験実装
+Phase C: 段階的移行
+Phase D: 完全なLoopFormシステム
+```
+
+### 9.11 設計パターンとしてのLoopForm
+
+#### 他言語・システムへの応用
+```yaml
+applications:
+ compiler_design:
+ - ループ最適化パス
+ - SSA PHI最適化
+ - 状態管理の統一化
+
+ language_design:
+ - ループ構文の設計指針
+ - 状態管理プリミティブ
+ - 最適化フレンドリー構文
+
+ system_architecture:
+ - 状態管理の統一化
+ - 複雑性の局所化
+ - 構造的美しさの追求
+```
+
+## 💡 結論
+
+### 9.12 創造と妥協の弁証法
+
+この事例は以下を示している：
+
+1. **創造的直感の価値**：タバコ休憩20分での完璧な解決策
+2. **現実的判断の重要性**：実装コストを冷静に評価
+3. **哲学の一貫性**：異なる実装でも同じ原理
+4. **段階的改善**：理想への道筋を保持
+
+### 9.13 Pin vs LoopFormの統合的理解
+
+```
+LoopForm = 理想的な箱の設計（完璧だが重い）
+Pin方式 = 実用的な箱の設計（軽量で実装可能）
+
+共通哲学: "適切なスコープ（箱）の構築"
+```
+
+### 9.14 Philosophy-Driven Developmentの成熟
+
+この事例は、PDDが単なる効率化手法ではなく、**創造的思考と実用的判断を統合する成熟した開発パラダイム**であることを示している。
+
+---
+
+**タバコ休憩20分の天才的直感と、その後の現実的収束。この全プロセスこそが、真の設計者の思考パターンである。**
\ No newline at end of file
diff --git a/src/mir/builder.rs b/src/mir/builder.rs
index 5e2f34e9..c1787cb4 100644
--- a/src/mir/builder.rs
+++ b/src/mir/builder.rs
@@ -127,6 +127,9 @@ pub struct MirBuilder {
/// Hint sink (zero-cost guidance; currently no-op)
pub(super) hint_sink: crate::mir::hints::HintSink,
+
+ /// Internal counter for temporary pin slots (block-crossing ephemeral values)
+ temp_slot_counter: u32,
}
impl MirBuilder {
@@ -164,6 +167,7 @@ impl MirBuilder {
cleanup_allow_return: false,
cleanup_allow_throw: false,
hint_sink: crate::mir::hints::HintSink::new(),
+ temp_slot_counter: 0,
}
}
diff --git a/src/mir/builder/if_form.rs b/src/mir/builder/if_form.rs
index fb9de070..e49e5168 100644
--- a/src/mir/builder/if_form.rs
+++ b/src/mir/builder/if_form.rs
@@ -1,6 +1,6 @@
use super::{ConstValue, MirBuilder, MirInstruction, ValueId};
use crate::mir::loop_api::LoopBuilderApi; // for current_block()
-use crate::ast::ASTNode;
+use crate::ast::{ASTNode, BinaryOperator};
impl MirBuilder {
/// Lower an if/else using a structured IfForm (header→then/else→merge).
@@ -11,6 +11,28 @@ impl MirBuilder {
then_branch: ASTNode,
else_branch: Option,
) -> Result {
+ // Heuristic pre-pin: if condition is a comparison, evaluate its operands now and pin them
+ // so that subsequent branches can safely reuse these values across blocks.
+ // This leverages existing variable_map merges (PHI) at the merge block.
+ if let ASTNode::BinaryOp { operator, left, right, .. } = &condition {
+ match operator {
+ BinaryOperator::Equal
+ | BinaryOperator::NotEqual
+ | BinaryOperator::Less
+ | BinaryOperator::LessEqual
+ | BinaryOperator::Greater
+ | BinaryOperator::GreaterEqual => {
+ if let Ok(lhs_v) = self.build_expression((**left).clone()) {
+ let _ = self.pin_to_slot(lhs_v, "@if_lhs");
+ }
+ if let Ok(rhs_v) = self.build_expression((**right).clone()) {
+ let _ = self.pin_to_slot(rhs_v, "@if_rhs");
+ }
+ }
+ _ => {}
+ }
+ }
+
let condition_val = self.build_expression(condition)?;
// Create blocks
diff --git a/src/mir/builder/ops.rs b/src/mir/builder/ops.rs
index f1abec3e..57bfaeeb 100644
--- a/src/mir/builder/ops.rs
+++ b/src/mir/builder/ops.rs
@@ -58,7 +58,7 @@ impl super::MirBuilder {
// Comparison operations
BinaryOpType::Comparison(op) => {
// 80/20: If both operands originate from IntegerBox, cast to integer first
- let (lhs2, rhs2) = if self
+ let (lhs2_raw, rhs2_raw) = if self
.value_origin_newbox
.get(&lhs)
.map(|s| s == "IntegerBox")
@@ -87,6 +87,9 @@ impl super::MirBuilder {
} else {
(lhs, rhs)
};
+ // Materialize operands in the current block to avoid dominance/undef issues
+ let lhs2 = lhs2_raw;
+ let rhs2 = rhs2_raw;
self.emit_instruction(MirInstruction::Compare {
dst,
op,
@@ -110,8 +113,9 @@ impl super::MirBuilder {
) -> Result {
let is_and = matches!(operator, BinaryOperator::And);
- // Evaluate LHS only once
- let lhs_val = self.build_expression(left)?;
+ // Evaluate LHS only once and pin to a slot so it can be reused safely across blocks
+ let lhs_val0 = self.build_expression(left)?;
+ let lhs_val = self.pin_to_slot(lhs_val0, "@sc_lhs")?;
// Prepare blocks
let then_block = self.block_gen.next();
diff --git a/src/mir/builder/utils.rs b/src/mir/builder/utils.rs
index 2c627bea..c830e7ce 100644
--- a/src/mir/builder/utils.rs
+++ b/src/mir/builder/utils.rs
@@ -32,6 +32,17 @@ impl super::MirBuilder {
if let Some(ref mut function) = self.current_function {
function.add_block(BasicBlock::new(block_id));
self.current_block = Some(block_id);
+ // Entry materialization for pinned slots only: ensure a local def exists in this block
+ // This avoids dominance/undef issues when pinned values are referenced across blocks.
+ let names: Vec = self.variable_map.keys().cloned().collect();
+ for name in names {
+ if !name.starts_with("__pin$") { continue; }
+ if let Some(&src) = self.variable_map.get(&name) {
+ let dst = self.value_gen.next();
+ self.emit_instruction(super::MirInstruction::Copy { dst, src })?;
+ self.variable_map.insert(name.clone(), dst);
+ }
+ }
Ok(())
} else {
Err("No current function".to_string())
@@ -192,4 +203,21 @@ impl super::MirBuilder {
ptr,
})
}
+
+ /// Pin a block-crossing ephemeral value into a pseudo local slot so it participates in PHI merges.
+ pub(crate) fn pin_to_slot(&mut self, v: super::ValueId, hint: &str) -> Result {
+ self.temp_slot_counter = self.temp_slot_counter.wrapping_add(1);
+ let slot_name = format!("__pin${}${}", self.temp_slot_counter, hint);
+ let dst = self.value_gen.next();
+ self.emit_instruction(super::MirInstruction::Copy { dst, src: v })?;
+ self.variable_map.insert(slot_name, dst);
+ Ok(dst)
+ }
+
+ /// Ensure a value has a local definition in the current block by inserting a Copy.
+ pub(crate) fn materialize_local(&mut self, v: super::ValueId) -> Result {
+ let dst = self.value_gen.next();
+ self.emit_instruction(super::MirInstruction::Copy { dst, src: v })?;
+ Ok(dst)
+ }
}
diff --git a/src/mir/loop_builder.rs b/src/mir/loop_builder.rs
index 8775ea2e..ce2cbdf0 100644
--- a/src/mir/loop_builder.rs
+++ b/src/mir/loop_builder.rs
@@ -150,6 +150,22 @@ impl<'a> LoopBuilder<'a> {
self.prepare_loop_variables(header_id, preheader_id)?;
// 5. 条件評価（Phi nodeの結果を使用）
+ // Heuristic pre-pin: if condition is a comparison, evaluate its operands and pin them
+ // so that the loop body/next iterations can safely reuse these values across blocks.
+ if let ASTNode::BinaryOp { operator, left, right, .. } = &condition {
+ use crate::ast::BinaryOperator as BO;
+ match operator {
+ BO::Equal | BO::NotEqual | BO::Less | BO::LessEqual | BO::Greater | BO::GreaterEqual => {
+ if let Ok(lhs_v) = self.parent_builder.build_expression((**left).clone()) {
+ let _ = self.parent_builder.pin_to_slot(lhs_v, "@loop_if_lhs");
+ }
+ if let Ok(rhs_v) = self.parent_builder.build_expression((**right).clone()) {
+ let _ = self.parent_builder.pin_to_slot(rhs_v, "@loop_if_rhs");
+ }
+ }
+ _ => {}
+ }
+ }
let condition_value = self.build_expression_with_phis(condition)?;
// 6. 条件分岐
@@ -450,6 +466,21 @@ impl<'a> LoopBuilder<'a> {
then_body: Vec,
else_body: Option>,
) -> Result {
+ // Pre-pin comparison operands to slots so repeated uses across blocks are safe
+ if let ASTNode::BinaryOp { operator, left, right, .. } = &condition {
+ use crate::ast::BinaryOperator as BO;
+ match operator {
+ BO::Equal | BO::NotEqual | BO::Less | BO::LessEqual | BO::Greater | BO::GreaterEqual => {
+ if let Ok(lhs_v) = self.parent_builder.build_expression((**left).clone()) {
+ let _ = self.parent_builder.pin_to_slot(lhs_v, "@loop_if_lhs");
+ }
+ if let Ok(rhs_v) = self.parent_builder.build_expression((**right).clone()) {
+ let _ = self.parent_builder.pin_to_slot(rhs_v, "@loop_if_rhs");
+ }
+ }
+ _ => {}
+ }
+ }
// Evaluate condition and create blocks
let cond_val = self.parent_builder.build_expression(condition)?;
let then_bb = self.new_block();