🎉 Phase 11.8/12.7: MIR Core-13 完全実装 + 糖衣構文ドキュメント更新

主要な変更:
- MIR Core-13命令セット確定（Load/Store削除の革命的設計）
  - Const, BinOp, Compare（値・計算）
  - Jump, Branch, Return, Phi（制御）
  - Call, BoxCall, ExternCall（呼び出し）
  - TypeOp, Safepoint, Barrier（メタ）
- Phase 12.7糖衣構文ドキュメント整理（超圧縮重視、可逆変換保証）
- MIRビルダーのモジュール分割完了
- vtableテストスイート拡充
- AI協調開発ツール追加（並列リファクタリング支援）

詳細:
- src/mir/instruction_introspection.rs: core13_instruction_names()追加
- MIRビルダー分割: decls.rs, exprs_*.rs, fields.rs
- plugin_loader_v2: errors.rs, host_bridge.rs分離
- 論文用データ: mir13-final.md作成

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

Co-Authored-By: Claude <noreply@anthropic.com>

src/mir/optimizer.rs

@@ -731,8 +731,8 @@ impl MirOptimizer {
         stats
     }
 
-    /// Diagnostic: detect legacy instructions that should be unified into the canonical 26
-    /// Legacy set: TypeCheck/Cast/WeakNew/WeakLoad/BarrierRead/BarrierWrite
+    /// Diagnostic: detect legacy instructions that should be unified
+    /// Legacy set: TypeCheck/Cast/WeakNew/WeakLoad/BarrierRead/BarrierWrite/ArrayGet/ArraySet/RefGet/RefSet/PluginInvoke
     /// When NYASH_OPT_DIAG or NYASH_OPT_DIAG_FORBID_LEGACY is set, prints diagnostics.
     fn diagnose_legacy_instructions(&mut self, module: &MirModule) -> OptimizationStats {
         let mut stats = OptimizationStats::new();
@@ -749,7 +749,12 @@ impl MirOptimizer {
                         | MirInstruction::WeakNew { .. }
                         | MirInstruction::WeakLoad { .. }
                         | MirInstruction::BarrierRead { .. }
-                        | MirInstruction::BarrierWrite { .. } => { count += 1; }
+                        | MirInstruction::BarrierWrite { .. }
+                        | MirInstruction::ArrayGet { .. }
+                        | MirInstruction::ArraySet { .. }
+                        | MirInstruction::RefGet { .. }
+                        | MirInstruction::RefSet { .. }
+                        | MirInstruction::PluginInvoke { .. } => { count += 1; }
                         _ => {}
                     }
                 }
@@ -760,7 +765,12 @@ impl MirOptimizer {
                         | MirInstruction::WeakNew { .. }
                         | MirInstruction::WeakLoad { .. }
                         | MirInstruction::BarrierRead { .. }
-                        | MirInstruction::BarrierWrite { .. } => { count += 1; }
+                        | MirInstruction::BarrierWrite { .. }
+                        | MirInstruction::ArrayGet { .. }
+                        | MirInstruction::ArraySet { .. }
+                        | MirInstruction::RefGet { .. }
+                        | MirInstruction::RefSet { .. }
+                        | MirInstruction::PluginInvoke { .. } => { count += 1; }
                         _ => {}
                     }
                 }
@@ -769,9 +779,12 @@ impl MirOptimizer {
                 stats.diagnostics_reported += count;
                 if diag_on {
                     eprintln!(
-                        "[OPT][DIAG] Function '{}' has {} legacy MIR ops (TypeCheck/Cast/WeakNew/WeakLoad/BarrierRead/BarrierWrite): unify to TypeOp/WeakRef/Barrier",
+                        "[OPT][DIAG] Function '{}' has {} legacy MIR ops: unify to Core‑13 (TypeOp/WeakRef/Barrier/BoxCall)",
                         fname, count
                     );
+                    if crate::config::env::opt_diag_forbid_legacy() {
+                        panic!("NYASH_OPT_DIAG_FORBID_LEGACY=1: legacy MIR ops detected in '{}': {}", fname, count);
+                    }
                 }
             }
         }