はじめまして！👋😄

• 山本悠滋 (@igrep)
• Wasm とプリキュアとポムポムプリンと音ゲーが大好き
• 趣味では自作言語を作ったり、
• MDN の翻訳ミートアップに参加したり、
• 仕事では MagicPod という会社でテクニカルサポートをしたりしています。
• igrep.el という Emacs プラグインがありますが無関係です！

🙇宣伝 wa(_ _)sm

• 11月22日の JSConf JP 2026 にて発表します！
• この発表は、Wasm Component Model における所有権を紹介する（ために使うかも知れない）デモを作る過程で得た学びを共有するためのものです。

🙇おことわり wa(_ _)sm

以降のスライドは、Claude Code (Opus 5.5) と相談しつつ実験し、生成したものを加筆・修正して使っています。

🎯やりたかったこと

• Component Model の契約:
  • borrow で受け取ったハンドルは、呼び出しが返る前に drop しなければならない
  • 参考: “an opaque address of a resource that must be dropped before the current export call returns”
• これを意図的に破り、エラーが起きることを確かめたい

🙋‍♂️先に進む前に…

• 「Component Model って何？」「resource って何？」という方が多そうであれば、時間の許す限りそこから説明します

⚙️構成 1

• componentize-py で作った Python コンポーネント
  • resource blob を export する
• Node.js (jco transpile)
• バージョンなどの詳細はリポジトリーのresourceディレクトリーへ！

😥試み1: 失敗（エラーが出ない）

Python 側の Blob.append で self をグローバル変数 escape に保存

• resource で宣言したメソッドは第1引数に self: borrow<...> が渡されるそうなので…
  • 参考

def append(self, value: int):
    global escape
    escape = self
    self.contents.append(value)

😥試み2: 失敗（エラーが出ない）

次の呼び出しで escape を使う、

def append_global(self, value: int):
    global escape
    escape.contents.append(value)

😥試み3: 失敗（エラーが出ない）

gc.collect() を呼ぶ

• world example {
    export blobs;
    export call-gc: func(); // <- 🆕
  }

• def call_gc(self):
      gc.collect()

🤔なぜエラーにならないのか

• 契約の対象は「ハンドル（インスタンスのハンドルテーブル上の整数）」であって、リソースの実体ではない
• self は Python コンポーネント自身が実装するリソースの実体 (rep)
• 自分の持ち物への参照を保存するのは、何の違反でもない

💁仕様上の根拠: lower_borrow

component-model/design/mvp/canonical-abi/definitions.py の lower_borrow:

def lower_borrow(cx, rep, t):
  if cx.inst is t.rt.impl:
    return rep          # 実装者には rep をそのまま渡す
  h = ResourceHandle(
    t.rt, rep, own = False, borrow_scope = cx.borrow_scope
  )
  h.borrow_scope.num_borrows += 1
  return cx.inst.handles.add(h)

💁仕様上の根拠: lower_borrow （続き）

• リソースを実装したコンポーネントに borrow を渡すときは、borrow ハンドルを作らない（最適化）
• num_borrows が増えないので、呼び出し終了時の trap_if(self.num_borrows > 0) も発火しようがない

💁componentize-py の実装も同じ（らしい）

componentize-py/runtime/src/lib.rs の push_borrow

• export したリソース型
  • rep を元の Python オブジェクトに戻すだけ
• import したリソース型: borrow を記録し、呼び出し後に release_borrows で自動的に drop
  • Python オブジェクトの handle を 0 にして無効化
• → 高レベルのバインディングを使う限り、利用者のコードからは契約を破れない

👿今度こそ契約を破る

コンポーネント自身で実装していないリソースを borrow<blob> で受け取るコンポーネントが必要

interface processor {
  use blobs.{blob};

  process: func(b: borrow<blob>);   // b をグローバル変数に保存
  later: func() -> list<u8>;        // 保存した b を使う
}

world processor-world {
  import blobs;
  export processor;
}

⚙️構成 2

こちらのコミットより:

• blob の実装（componentize-py で作成）:
  • Python コンポーネント (python.wasm)
• processor の実装（jco componentize で作成）:
  • JS コンポーネント (processor.wasm)
• ホスト: 引き続き Node.js
  • Python の Blob を作り、processor.process(blob) に渡す
• jco transpile --map で import を Python の export に繋ぐ

⚙️構成 2 （続き）

processor.js:

let escape = null;

export const processor = {
  process(b) {
    escape = b;
    b.append(100);
  },

  later() {
    escape.append(101);
    return escape.getContents();
  },
};

⚙️構成 2 （続き）

processor-host.js:

import { blobs } from "./out-python/python.js";
import { processor } from "./out-processor/processor.js";

const blob = new blobs.Blob([1, 2, 3]);
processor.process(blob);
console.log(blob.getContents());
console.log("----");
console.log(processor.later()); // ← ここでエラー！

💥結果: 契約違反を検出できた

Uint8Array(4) [ 1, 2, 3, 100 ]      ← process() 中は正常
----
TypeError: Resource error: Not a valid "Blob" resource.
    at Blob.append (out-python/python.js)
    ...
    at _trampoline0 (out-processor/processor.js)

• process() から返った時点で、componentize-js のバインディングが borrow ハンドルを drop
• later() では解放済みのハンドルテーブルのスロットを読み、偽の Blob を作ってしまう
• それを Python 側の python.js が「有効な Blob ではない」として拒否

🚫「borrow が呼び出しより長生き」のトラップは出ない

• jco transpile の出力には契約チェックが実装されている
  • 'borrow handles still remain at the end of the call'
• しかし componentize-js がハンドルを自動で drop するので、このチェックは発火しない
• 見えるのは先述の「無効なハンドル」のエラー
• このトラップを直接見るには、resource.drop を呼ばないコンポーネントを WAT で手書きする必要がある（らしい）

📰まとめ

• borrow の契約は他のコンポーネントが実装したリソースのハンドルに対するもの
  • 自分が実装したリソースの実体を保存するのは合法
• 契約違反のチェックは仕様にも jco にも存在する
• ただし高レベルのバインディング (componentize-py / componentize-js) が自動で drop するため、通常は「無効なハンドル」としてコンポーネント内のエラーとして表面化する