Phase 12 TypeBox統合ABI設計完了: C ABI + Nyash ABI革命的統合

主な成果:
- TypeBox（型情報をBoxとして扱う）による統合ABI設計
- C ABI + Nyash ABIの完全統合仕様書作成
- 3大AI専門家（Gemini/Codex/ChatGPT5）による検証済み
- ChatGPT5の10個の安全性改善提案を反映
- README.mdのドキュメント更新（全起点から到達可能）

MapBox拡張:
- string型キーサポート（従来のi64に加えて）
- remove/clear/getOr/keysStr/valuesStr/toJson実装
- keys()/values()のランタイムシムサポート（TypeBox待ち）

その他の改善:
- Phase 11.9（文法統一化）ドキュメント追加
- Phase 16（FoldLang）ドキュメント追加
- 非同期タイムアウトテスト追加
- 各種ビルド警告（未使用import等）は次のリファクタリングで対応予定

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

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

src/mir/verification.rs

@@ -256,7 +256,8 @@ impl MirVerifier {
         if errors.is_empty() { Ok(()) } else { Err(errors) }
     }
 
-    /// Ensure that each Await instruction is immediately preceded and followed by a checkpoint
+    /// Ensure that each Await instruction (or ExternCall(env.future.await)) is immediately
+    /// preceded and followed by a checkpoint.
     /// A checkpoint is either MirInstruction::Safepoint or ExternCall("env.runtime", "checkpoint").
     fn verify_await_checkpoints(&self, function: &MirFunction) -> Result<(), Vec<VerificationError>> {
         use super::MirInstruction as I;
@@ -269,7 +270,12 @@ impl MirVerifier {
         for (bid, block) in &function.blocks {
             let instrs = &block.instructions;
             for (idx, inst) in instrs.iter().enumerate() {
-                if let I::Await { .. } = inst {
+                let is_await_like = match inst {
+                    I::Await { .. } => true,
+                    I::ExternCall { iface_name, method_name, .. } => iface_name == "env.future" && method_name == "await",
+                    _ => false,
+                };
+                if is_await_like {
                     // Check immediate previous
                     if idx == 0 || !is_cp(&instrs[idx - 1]) {
                         errors.push(VerificationError::MissingCheckpointAroundAwait { block: *bid, instruction_index: idx, position: "before" });