From 6c15ae39993ef6a0bfd00ec0a2ebd72e56d610fc Mon Sep 17 00:00:00 2001 From: Shinya Oguri Date: Sun, 16 Aug 2026 02:22:53 +0900 Subject: [PATCH] =?UTF-8?q?docs(repo):=20ADR-0004=20=E3=81=AE=E6=AD=BB?= =?UTF-8?q?=E3=82=93=E3=81=A0=E3=83=AA=E3=83=B3=E3=82=AF=E3=81=A8=20README?= =?UTF-8?q?=20=E4=BE=9D=E5=AD=98=E8=A1=A8=E3=81=AE=E3=81=9A=E3=82=8C?= =?UTF-8?q?=E3=82=92=E7=9B=B4=E3=81=99?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ADR-0004 の References が存在しないパス packages/verify/src/core/ VerificationEngine.ts を参照していた (ディレクトリごと無い)。verify 側の 現在の入口である verificationWorker.ts へ張り替え、PR #252 以降 shared の verifyProofFile へ委譲している旨を添えた。docs 配下 40 ファイルを走査して 相対リンク切れはこの 1 件のみで、週次の鮮度チェック (#261) が報告している のも同一の 1 件。 editor README の実行環境表が TypeScript のランタイムを「SWC」と書いていたが これは完全な誤記で、リポジトリに SWC は存在しない。実装は typescript パッケージの ts.transpileModule を直接呼んでいる。TS7 移行 (#208) の調査を 誤誘導するため、バージョン表記のずれより優先して直す。 依存表は dependabot が package.json だけを書き換えるため構造的にドリフト する。monaco-editor ^0.55 → ^0.56 (#206 で上がった分)、vite ^8.0 → ^8.1 を 実態に合わせ、欠落していた dompurify / marked の 2 行を追加。verify README にも同種の vite の桁ずれがあったので揃えた。 Closes #258 Closes #257 Assisted-by: Claude --- docs/adr/0004-verifier-checkpoint-stance.md | 2 +- packages/editor/README.md | 8 +++++--- packages/verify/README.md | 2 +- 3 files changed, 7 insertions(+), 5 deletions(-) diff --git a/docs/adr/0004-verifier-checkpoint-stance.md b/docs/adr/0004-verifier-checkpoint-stance.md index fca8947c..caffef91 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 1629143b..729b7ba7 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 5e7c0b26..b5eb9604 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 | ビルドツール | ## 環境変数