diff --git a/docs/adr/0004-verifier-checkpoint-stance.md b/docs/adr/0004-verifier-checkpoint-stance.md
index fca8947..caffef9 100644
--- a/docs/adr/0004-verifier-checkpoint-stance.md
+++ b/docs/adr/0004-verifier-checkpoint-stance.md
@@ -60,7 +60,7 @@
 
 ## References
 
-- 検証エンジン: [`packages/verify/src/core/VerificationEngine.ts`](../../packages/verify/src/core/VerificationEngine.ts)
+- 検証エンジン: [`packages/verify/src/workers/verificationWorker.ts`](../../packages/verify/src/workers/verificationWorker.ts) (PR #252 以降は shared の `verifyProofFile` へ委譲)
 - shared 検証ロジック: [`packages/shared/src/verification.ts`](../../packages/shared/src/verification.ts)
 - ChainVerifier: [`packages/shared/src/typingProof/ChainVerifier.ts`](../../packages/shared/src/typingProof/ChainVerifier.ts)
 - PR #60 (Harden proof verification)
diff --git a/packages/editor/README.md b/packages/editor/README.md
index 1629143..729b7ba 100644
--- a/packages/editor/README.md
+++ b/packages/editor/README.md
@@ -23,7 +23,7 @@
 | C++ | Wasmer SDK | Clang++ WASM |
 | Python | Wasmer SDK | Python WASM ランタイム |
 | JavaScript | ネイティブ | ブラウザ eval + console キャプチャ |
-| TypeScript | SWC | JS にトランスパイルしてから eval |
+| TypeScript | typescript (`ts.transpileModule`) | JS にトランスパイルしてから eval |
 
 ## 開発
 
@@ -126,13 +126,15 @@ __BUILD_DATE__       // ビルド時刻
 
 | パッケージ | バージョン | 用途 |
 |---------|---------|---------|
-| monaco-editor | ^0.55 | コードエディタ本体 |
+| monaco-editor | ^0.56 | コードエディタ本体 |
 | @xterm/xterm | ^6.0 | ターミナルエミュレータ |
 | @xterm/addon-fit | ^0.11 | ターミナルの自動リサイズ |
 | @wasmer/sdk | ^0.10 | WebAssembly ランタイム |
+| dompurify | ^3.4 | 問題パネルの markdown 描画のサニタイズ |
 | jszip | ^3.10 | ZIP エクスポート |
+| marked | ^18.0 | 問題パネルの markdown 描画 |
 | yaml | ^2.9 | テンプレート YAML 解析 |
-| vite | ^8.0 | ビルドツール (rolldown) |
+| vite | ^8.1 | ビルドツール (rolldown) |
 | vite-plugin-wasm | ^3.6 | WASM サポート |
 
 ## スクリーンショット機能
diff --git a/packages/verify/README.md b/packages/verify/README.md
index 5e7c0b2..b5eb960 100644
--- a/packages/verify/README.md
+++ b/packages/verify/README.md
@@ -206,7 +206,7 @@ const handle = await showDirectoryPicker();
 | diff | ^9.0 | 差分計算 |
 | highlight.js | ^11.11 | シンタックスハイライト |
 | jszip | ^3.10 | ZIP の解凍 |
-| vite | ^8.0 | ビルドツール |
+| vite | ^8.1 | ビルドツール |
 
 ## 環境変数