osv-scanner-mcp 0.4.2 → 0.6.0

package/README.md

@@ -7,7 +7,7 @@
 
 Google製 [OSV-Scanner](https://github.com/google/osv-scanner) をラップするMCPサーバーです。Claude等のMCPクライアントから「このプロジェクトの脆弱性をチェックして」と自然言語で依頼するだけで、依存ライブラリの既知の脆弱性(CVE / GHSA)を深刻度順のレポートで取得できます。
 
-> **ステータス**: [npmで公開中](https://www.npmjs.com/package/osv-scanner-mcp)(`npx -y osv-scanner-mcp`)。Java(Maven / Gradle)、JavaScript(npm / yarn / pnpm / bun)、Python(Poetry / uv / Pipenv / PDM / requirements.txt)、Go のlockfileに対応しています(修正版の推奨はJavaのみ)。MCPクライアントは Claude Code / Claude Desktop / Codex CLI / Antigravity / VS Code(GitHub Copilot)での利用手順を用意しています。
+> **ステータス**: [npmで公開中](https://www.npmjs.com/package/osv-scanner-mcp)(`npx -y osv-scanner-mcp`)。Java(Maven / Gradle)、JavaScript(npm / yarn / pnpm / bun)、Python(Poetry / uv / Pipenv / PDM / requirements.txt)、Go のlockfileに対応しています(修正版の推奨も4言語に対応)。MCPクライアントは Claude Code / Claude Desktop / Codex CLI / Antigravity / VS Code(GitHub Copilot)での利用手順を用意しています。
 
 ## 特徴
 
@@ -142,7 +142,7 @@ osv-scanner v2.4.0 で接続先を実機確認した結果です(2026-10-07)。
 | 操作 | 接続先 | 送られる情報 |
 |---|---|---|
 | `pom.xml` のスキャン(`scan_project` / `scan_java_project` / `suggest_fix`) | `api.osv.dev`、**`api.deps.dev`** | パッケージの名前とバージョン。deps.dev には推移的依存の解決のため、`pom.xml` に宣言された依存(社内パッケージを含む)の名前とバージョンが送られます |
-| `requirements.txt` のスキャン(`scan_project`) | `api.osv.dev`、**`api.deps.dev`** | `pom.xml` と同じく、推移的依存の解決のため記載された依存の名前とバージョンが deps.dev に送られます。`--index-url` 等に書かれた取得先へは接続しません |
+| `requirements.txt` のスキャン(`scan_project` / `suggest_fix`) | `api.osv.dev`、**`api.deps.dev`** | `pom.xml` と同じく、推移的依存の解決のため記載された依存の名前とバージョンが deps.dev に送られます。`--index-url` 等に書かれた取得先へは接続しません |
 | lockfileのスキャン(`gradle.lockfile`、`package-lock.json` 等のnpm系、`poetry.lock` 等のPython系、`go.mod`) | `api.osv.dev` | パッケージの名前とバージョン(lockfileに全依存が記載済みのため、解決のための外部接続はしません) |
 | `scan_java_artifact` / `scan_sbom` | `api.osv.dev` | 同定できたパッケージの名前とバージョン |
 | `explain_vulnerability` | `api.osv.dev` | 指定した脆弱性ID |
@@ -212,7 +212,7 @@ api.osv.dev と deps.dev はどちらも Google が運営するサービスで
   - 各一覧は200件までで、超えた分の件数を `omitted_items` に返します
 - `ecosystem_breakdown` は、脆弱性0件のエコシステムも含めて「スキャンした」ことを示します
 - `dependency_groups` はOSV-Scannerが付けた依存グループ(例: `dev`)の生の値です。lockfileの形式によって欠落・不正確なため(pnpmでは付かず、pdmでは `optional` になる等)、参考情報として扱ってください
-- 修正版の推奨(`suggest_fix`)は現在Javaのみ対応です
+- 修正版の推奨(`suggest_fix`)はJava・JavaScript・Python・Goに対応しています
 
 ### `scan_java_project`
 
@@ -277,7 +277,7 @@ OSV-Scannerは `pom.xml` の `<parent>` が参照する親POM(`<relativePath>`
 ```
 
 - `packages` は最も深刻な脆弱性を持つ順、各 `vulnerabilities` は深刻度順(unknownは末尾)
-- `fixed_versions` はOSVに記載された修正版です。MavenはMaven優先順位、npm・GoはSemantic Versioningの優先順位で昇順(SemVerとして解釈できない表記は末尾)、PyPI等はOSVの記載順のまま(並び順は保証しません)。複数のリリース系統(例: 2.12系バックポートと2.15系)が混在することがあります。プレリリース版(`5.0.0-beta.3`)やGoの疑似バージョン(`0.0.0-20180925071336-cf3bd585ca2a`)が含まれることもあります。空配列は「OSVに修正版の記載がない」ことを意味します。v0.4.1以前はMaven以外のパッケージで常に空配列を返していました
+- `fixed_versions` はOSVに記載された修正版です。MavenはMaven優先順位、npm・GoはSemantic Versioningの優先順位で昇順(SemVerとして解釈できない表記は末尾)、PyPIはPEP 440の優先順位で昇順(v0.5.0以前は記載順)、その他のエコシステムはOSVの記載順のまま(並び順は保証しません)。複数のリリース系統(例: 2.12系バックポートと2.15系)が混在することがあります。プレリリース版(`5.0.0-beta.3`)やGoの疑似バージョン(`0.0.0-20180925071336-cf3bd585ca2a`)が含まれることもあります。空配列は「OSVに修正版の記載がない」ことを意味します。v0.4.1以前はMaven以外のパッケージで常に空配列を返していました
 - `severity_score` が取得できない脆弱性は `null` / `"unknown"` として扱います
 
 ### `scan_java_artifact`
@@ -333,23 +333,26 @@ OSV-Scanner 2.4.0の `java/archive` プラグインを使用し、ネストJAR
 
 ### `suggest_fix`
 
-スキャンを実行し、脆弱なパッケージごとに**推奨アップグレードバージョン**を提案します。単純な最大バージョンではなく、現在のバージョンに最も近いリリース系統の修正版を3段階フォールバックで選定します:
+`scan_project` と同じ検出・スキャンを実行し、脆弱なパッケージごとに**推奨アップグレードバージョン**を提案します。推奨はJava(Maven / Gradle)・JavaScript(npm)・Python(PyPI)・Goに対応しています。単純な最大バージョンではなく、現在のバージョンに最も近いリリース系統の修正版を3段階フォールバックで選定します:
 
 | Tier | 意味 |
 |---|---|
-| `same_minor` | 現在と同じ major.minor 系統内の修正版(最小の変更で済む) |
+| `same_minor` | 現在と同じ系統内の修正版(最小の変更で済む) |
 | `major_internal` | 同一メジャー内の修正版(マイナーバージョンアップが必要) |
 | `cross_major` | メジャーアップグレードが必要(破壊的変更の可能性あり) |
 
-**入力**: `scan_java_project` と同じ(`project_path`)
+npm・Go・PyPIの「同じ系統」は、npmの `^`(キャレット)が互換とみなす範囲です(PyPIには共通の互換規則がありませんが、0.x系でマイナー更新が破壊的変更になるパッケージがあるため同じ規則で扱います。epochが変わる更新も `cross_major`)。1.0.0以上は Maven と同じく major.minor 単位ですが、0.x では同じ `0.minor` 内だけを同じ系統とし、マイナー更新(`0.3` → `0.4`)は `cross_major`、0.0.x ではどの更新も `cross_major` として扱います(SemVerでは0.xの更新は互換を保証しないため)。
+
+**入力**: `scan_project` と同じ(`project_path`)
 
 **出力(成功時)**
 
 ```json
 {
   "project_dir": "/path/to/project",
-  "manifests": ["pom.xml"],
+  "manifests": ["pom.xml", "web/package-lock.json"],
   "dependency_resolution": { "transitive_resolution": "enabled" },
+  "coverage": { "complete": true, "manifests": [ ... ], "lockfile_missing": [], "unpinned_requirements": [], "unscannable_requirements": [], "skipped_files": [] },
   "vulnerable_package_count": 4,
   "unfixed_vulnerability_count": 1,
   "suggestions": [
@@ -370,10 +373,14 @@ OSV-Scanner 2.4.0の `java/archive` プラグインを使用し、ネストJAR
 ```
 
 - `recommended_upgrade` は既知の修正版を候補に、修正対象の全CVEの影響範囲外と確認できたものを3段階Tier順・バージョン昇順で選びます。CVEごとの修正版の最大値を単純に採用せず、別系統で再び影響を受ける候補も除外します。全公開版の中での最小性や未検出の脆弱性がないことは保証しません。
-- MavenのOSV `ECOSYSTEM` 範囲(`introduced` / `fixed` / `last_affected` / 上限なし)を照合します。`versions` に明示された影響も確認します。範囲欠落・不正・未対応形式・`limit` による不完全な情報では安全と推定せず、候補を検証できなければ `recommended_upgrade: null`、`verification: "no_verified_candidate"` を返します。
+- OSVの影響範囲(`introduced` / `fixed` / `last_affected` / 上限なし)を照合します。MavenはMavenの優先順位で `ECOSYSTEM` 範囲を、npm・GoはSemantic Versioningの優先順位で `SEMVER` / `ECOSYSTEM` 範囲を、PyPIはPEP 440の優先順位(`1.8c1` や `2.8.0-rc0` のような正規形でない表記も正規化)で `ECOSYSTEM` 範囲を使います。同じエントリに `ECOSYSTEM` 範囲があれば、コミット単位の `GIT` 範囲は無視します。`versions` に明示された影響も確認します(Gitのタグ名など版として解釈できない値は、解釈できる候補と一致しえないため無視します)。範囲欠落・不正・未対応形式(`GIT` 等)・`limit` による不完全な情報や、範囲の境界に解釈できない版(一部のGHSAに残る `19.03.9`、PyTorchの `2.6.0-cu124` のような表記)を含む場合は安全と推定せず、候補を検証できなければ `recommended_upgrade: null`、`verification: "no_verified_candidate"` を返します。
+- プレリリース版(`5.0.0-beta.3`、`15.6.0-canary.61`、Goの疑似バージョン、PyPIの `rc`・`dev` 版。post版は正式版扱い)は、正式版の候補では全CVEを解消できない場合だけ推奨し、`recommended_is_prerelease: true` を付けます。同じTierのプレリリースより、上のTierの正式版を優先します。
 - 推奨時は `verification: "verified"`、CVEごとの `recommended_status` は `affected` / `not_affected` / `unknown` です。推奨保留時は `not_evaluated` になります。`per_cve_detail.fixed_in` は各CVE単独の候補であり、最終推奨先の判定は `recommended_status` を参照してください。
-- 現在より新しい修正版候補がないCVEは `tier: "unfixed"` として推奨の修正対象から除外します(情報欠落を含む場合があります)。除外したCVEも推奨先で判定し、その状態を表示します。全CVEがunfixedの場合も `recommended_upgrade` は `null` です。
-- 修正版の推奨はMavenのみ対応です。Maven以外のパッケージは `verification: "unsupported_ecosystem"`、CVEごとの `tier: "unsupported"` を返し、`unfixed` には数えません(修正版の有無は判定していないため。修正版は `scan_project` の `fixed_versions` や `explain_vulnerability` で確認できます)。
+- 現在より新しい修正版候補がないCVEは `tier: "unfixed"` として推奨の修正対象から除外します(情報欠落を含む場合があります)。除外したCVEも推奨先で判定し、その状態を表示します。全CVEがunfixedの場合も `recommended_upgrade` は `null` です。修正版の記載はあるがバージョンとして解釈できないCVE(SemVerでない `13.0` 等)は `tier: "unparseable_fix"` とし、修正版が無いとは扱わず修正対象に残すため、推奨は保留(`no_verified_candidate`)になります。
+- npm・Go・PyPIの提案には更新方法の `update_hint` を付けます。PyPIでは、requirements.txtやpyproject.toml・Pipfileの指定を更新してlockfileを再生成し、推移的依存はpipの制約ファイル(`-c`)やuv・Poetryの上書き設定で版を指定します。推移的依存の場合、npmでは要求している直接依存の更新か、ルートの `package.json` の `overrides`(ルートのプロジェクトでのみ有効)で版を指定します。Goでは `go get <module>@<version>` で更新できます。Goのv2以上のメジャーは別のモジュールパス(`/v2` 等)としてOSV上も別パッケージになるため、新しいメジャー系列の修正版は候補に含まれません。現在の版が疑似バージョン(タグのないコミット)の場合は `upgrade_note` に示します。
+- requirements.txtの `>=X` / `~=X` の行は、OSV-Scannerが下限Xを使用中の版とみなしてスキャンしています。この依存の提案には `version_is_lower_bound: true` を付け、推奨は「下限を推奨版以上に引き上げる」意味であること(実際にインストールされる版とは異なりうること)を `upgrade_note` に示します。
+- 推奨に未対応のエコシステム(SBOM由来のRubyGems等)は `verification: "unsupported_ecosystem"`、現在の版をバージョンとして解釈できない場合(npmのgit・ローカルパス依存等)は `verification: "unparseable_version"` を返し、どちらもCVEごとの `tier: "unsupported"` として `unfixed` には数えません(修正版の有無は判定していないため。修正版は `scan_project` の `fixed_versions` や `explain_vulnerability` で確認できます)。
+- 応答の `coverage` は `scan_project` と同じです。lockfileの無いマニフェストや外したファイルがあれば `complete: false` になり、それらの依存は提案に含まれません。v0.4.2以前の `skipped_manifests` / `scope_warning` は `coverage.skipped_files` / `coverage.warning` に統合しました。
 
 ### `explain_vulnerability`
 
@@ -458,8 +465,9 @@ npm run build             # dist/ へビルド
 - [x] Gradle対応(lockfile方式)
 - [x] `scan_java_artifact` ツール: JAR/WAR実体スキャン(lockfileが無い・shaded/fat JARのみのプロジェクト向け)
 - [x] `scan_project` ツール: Java / JavaScript / Python / Go のlockfileをまとめてスキャン
-- [ ] `suggest_fix` のJavaScript / Go対応(semver)
-- [ ] `suggest_fix` のPython対応(PEP 440)、直接/推移的依存の区別
+- [x] `suggest_fix` のJavaScript / Go対応(semver)
+- [x] `suggest_fix` のPython対応(PEP 440)
+- [ ] 直接/推移的依存の区別
 
 ## ライセンス
 

package/dist/index.js

@@ -36,7 +36,7 @@ if (startupWarning !== null) {
 // NOTE: リリース時はpackage.jsonのversionと同じ値に更新すること
 const server = new McpServer({
     name: "osv-scanner-mcp",
-    version: "0.4.2",
+    version: "0.6.0",
 });
 server.registerTool("scan_project", {
     title: "プロジェクトの依存の脆弱性スキャン(Java / JavaScript / Python / Go)",
@@ -45,7 +45,7 @@ server.registerTool("scan_project", {
         "Python(poetry.lock / uv.lock / Pipfile.lock / pdm.lock / requirements.txt)、Go(go.mod)。" +
         "パッケージマネージャーやビルドは実行しない。" +
         "応答先頭のcoverageを必ず確認すること: lockfileが無いマニフェスト、バージョン未固定のrequirements行、スキャン対象から外したファイルを示す。" +
-        "coverage.complete=falseの場合は、検出0件でも安全とは判断しないこと。修正版の推奨(suggest_fix)は現在Javaのみ対応。",
+        "coverage.complete=falseの場合は、検出0件でも安全とは判断しないこと。修正版の推奨(suggest_fix)はJava・JavaScript・Python・Goに対応。",
     inputSchema: {
         project_path: z
             .string()
@@ -68,18 +68,20 @@ server.registerTool("scan_java_project", {
 }, async ({ project_path }) => handleScanJavaProject({ project_path }, { allowedRoot: allowedRootFromEnv() }));
 server.registerTool("suggest_fix", {
     title: "脆弱性を解消する推奨アップグレードの提案",
-    description: "Java(Maven)プロジェクトをスキャンし、脆弱な依存パッケージごとに推奨アップグレードバージョンを提案する。" +
+    description: "scan_projectと同じ検出でプロジェクトをスキャンし、脆弱な依存パッケージごとに推奨アップグレードバージョンを提案する。" +
+        "推奨はJava(Maven / Gradle)・JavaScript(npm)・Python(PyPI)・Goに対応。" +
         "現在のバージョンに最も近いリリース系統の修正版を優先する3段階フォールバック" +
-        "(same_minor: 同一major.minor系統内 → major_internal: 同一メジャー内 → cross_major: メジャーアップグレード)で選定し、" +
-        "推奨バージョン・アップグレード距離(upgrade_tier)・CVEごとの修正版を返す。" +
-        "候補を全修正対象CVEの影響範囲と照合し、情報不足の場合は推奨を保留する。" +
-        "現在より新しい修正版候補のないCVEはunfixedとして別表示し、推奨先での判定も返す。Maven(pom.xml)とGradle(gradle.lockfile)に対応。" +
+        "(same_minor: 同一系統内 → major_internal: 同一メジャー内 → cross_major: メジャーアップグレード)で選定し、" +
+        "推奨バージョン・アップグレード距離(upgrade_tier)・CVEごとの修正版を返す。npm・Go・PyPIでは0.x系のマイナー更新もcross_major(破壊的変更の可能性)。requirements.txtの下限(>=)でスキャンした依存はversion_is_lower_boundを付け、推奨は下限の引き上げを意味する。" +
+        "候補を全修正対象CVEの影響範囲と照合し、情報不足の場合は推奨を保留する。プレリリース版は正式版で解消できない場合だけ推奨し、recommended_is_prereleaseを付ける。" +
+        "現在より新しい修正版候補のないCVEはunfixedとして別表示し、推奨先での判定も返す。" +
+        "応答のcoverageを必ず確認すること(complete=falseなら提案に含まれない依存がある)。" +
         "dependency_resolution.warningがある場合は推移的依存の脆弱性が提案に含まれない。",
     inputSchema: {
         project_path: z
             .string()
             .min(1)
-            .describe("スキャン対象のプロジェクトディレクトリ、またはpom.xml/gradle.lockfileの絶対パス"),
+            .describe("スキャン対象のプロジェクトディレクトリ、または対応するlockfile・マニフェストの絶対パス"),
     },
 }, async ({ project_path }) => handleSuggestFix({ project_path }, { allowedRoot: allowedRootFromEnv() }));
 server.registerTool("explain_vulnerability", {

package/dist/osv/affectedVersions.js

@@ -1,8 +1,19 @@
-import { compareMavenVersions } from "../utils/mavenVersion.js";
 import { asArray, asRecord, asString } from "../utils/unknownJson.js";
-/** Preserve uncertainty: unsupported or malformed ranges cannot prove a candidate safe. */
+import { samePackageName, versionRangeTypes, versionSchemeFor } from "./versionScheme.js";
+/**
+ * Preserve uncertainty: unsupported or malformed ranges cannot prove a candidate safe.
+ * 比較・範囲の型はエコシステム別(versionScheme.ts)。比較器のないエコシステムは常に情報不足。
+ * 解釈できない版(SemVerでない値等)を含む範囲は判定に使わず、情報不足とする。
+ * - `versions[]`の解釈できない値(Gitのタグ名等)は無視する。`versions[]`は等価判定にだけ使い、
+ *   解釈できない文字列は解釈できる候補と等しくなりえないため、無視しても候補の判定は変わらない
+ * - 同じaffectedエントリにECOSYSTEM等の版の範囲があれば、GIT範囲(コミット単位)は無視する。GIT範囲だけなら情報不足
+ */
 export function extractAffectedVersions(details, ids, name, ecosystem) {
-    const evidence = { complete: ecosystem === "Maven", intervals: [], versions: [] };
+    const scheme = versionSchemeFor(ecosystem);
+    const rangeTypes = versionRangeTypes(ecosystem);
+    const evidence = { complete: scheme !== null, intervals: [], versions: [] };
+    const valid = (value) => scheme?.isValid(value) ?? false;
+    const compare = (a, b) => scheme?.compare(a, b) ?? 0;
     if (ids.length === 0 || ids.some(id => !details.some(d => d.id === id)))
         evidence.complete = false;
     for (const detail of details) {
@@ -10,7 +21,8 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
         for (const raw of asArray(detail.affected)) {
             const affected = asRecord(raw);
             const pkg = asRecord(affected?.package);
-            if (asString(pkg?.name) !== name || asString(pkg?.ecosystem) !== ecosystem) {
+            const affectedName = asString(pkg?.name);
+            if (affectedName === null || !samePackageName(affectedName, name, ecosystem) || asString(pkg?.ecosystem) !== ecosystem) {
                 if (!asString(pkg?.name) || !asString(pkg?.ecosystem))
                     evidence.complete = false;
                 continue;
@@ -22,25 +34,30 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
                 const value = asString(version);
                 if (!value)
                     evidence.complete = false;
-                else
+                else if (valid(value))
                     evidence.versions.push(value);
             }
             const ranges = asArray(affected?.ranges);
             // A versions-only list does not establish that unlisted releases are unaffected.
             if (ranges.length === 0)
                 evidence.complete = false;
+            const hasVersionRange = ranges.some((r) => rangeTypes.has(asString(asRecord(r)?.type) ?? ""));
             for (const rawRange of ranges) {
                 const range = asRecord(rawRange);
-                if (range?.type !== "ECOSYSTEM") {
+                const type = asString(range?.type);
+                if (type === "GIT" && hasVersionRange)
+                    continue;
+                if (range === null || type === null || !rangeTypes.has(type)) {
                     evidence.complete = false;
                     continue;
                 }
                 const events = asArray(range.events);
-                let start = null;
-                let previousEnd = null;
-                let previousInclusive = false;
                 if (events.length === 0)
                     evidence.complete = false;
+                // OSVの仕様では範囲内のeventsの並び順は保証されず、評価時に版の順に並べる(実データ: PYSECの
+                // `introduced 2.0.0 → fixed 2.0.6, introduced 0 → fixed 1.26.17`)。仕様どおり並べてから区間にする
+                const parsed = [];
+                let usable = true;
                 for (const rawEvent of events) {
                     const event = asRecord(rawEvent);
                     const keys = event ? Object.keys(event) : [];
@@ -50,31 +67,54 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
                         evidence.complete = false;
                         continue;
                     }
+                    // 解釈できない境界を含む範囲は判定に使わない
+                    if (!(kind === "introduced" && value === "0") && !valid(value)) {
+                        usable = false;
+                        continue;
+                    }
+                    // limit bounds known affected versions, but is not evidence of a fix beyond it.
+                    if (kind === "limit")
+                        evidence.complete = false;
+                    parsed.push({ kind: kind, value });
+                }
+                if (!usable) {
+                    evidence.complete = false;
+                    continue;
+                }
+                // 同じ版では終点(fixed等)を始点(introduced)より前に置く(その版を影響ありとみなす安全側)
+                const rank = (kind) => (kind === "introduced" ? 1 : 0);
+                const isZero = (e) => e.kind === "introduced" && e.value === "0";
+                parsed.sort((a, b) => {
+                    // introduced: "0" はすべての版より前
+                    if (isZero(a) || isZero(b))
+                        return isZero(a) === isZero(b) ? 0 : isZero(a) ? -1 : 1;
+                    return compare(a.value, b.value) || rank(a.kind) - rank(b.kind);
+                });
+                // 並べた結果が「始点 → 終点」の交互にならない(始点の重複、始点のない終点)場合は解釈が曖昧なため使わない
+                const intervals = [];
+                let start = null;
+                for (const { kind, value } of parsed) {
                     if (kind === "introduced") {
-                        if (start !== null || (previousEnd !== null && (value === "0" ||
-                            compareMavenVersions(value, previousEnd) < 0 ||
-                            (previousInclusive && compareMavenVersions(value, previousEnd) === 0))))
-                            evidence.complete = false;
+                        if (start !== null) {
+                            usable = false;
+                            break;
+                        }
                         start = value;
                     }
                     else {
                         if (start === null) {
-                            evidence.complete = false;
-                            continue;
+                            usable = false;
+                            break;
                         }
-                        const inclusive = kind === "last_affected";
-                        if (start !== "0" && (compareMavenVersions(start, value) > 0 ||
-                            (!inclusive && compareMavenVersions(start, value) === 0)))
-                            evidence.complete = false;
-                        evidence.intervals.push({ introduced: start, end: value, inclusive });
-                        // limit bounds known affected versions, but is not evidence of a fix beyond it.
-                        if (kind === "limit")
-                            evidence.complete = false;
-                        previousEnd = value;
-                        previousInclusive = inclusive;
+                        intervals.push({ introduced: start, end: value, inclusive: kind === "last_affected" });
                         start = null;
                     }
                 }
+                if (!usable || parsed.every((e) => e.kind !== "introduced")) {
+                    evidence.complete = false;
+                    continue;
+                }
+                evidence.intervals.push(...intervals);
                 if (start !== null)
                     evidence.intervals.push({ introduced: start, end: null, inclusive: false });
             }
@@ -86,12 +126,14 @@ export function extractAffectedVersions(details, ids, name, ecosystem) {
         evidence.complete = false;
     return evidence;
 }
-export function candidateStatus(evidence, version) {
-    if (!evidence)
+export function candidateStatus(evidence, version, ecosystem) {
+    const scheme = versionSchemeFor(ecosystem);
+    if (!evidence || scheme === null || !scheme.isValid(version))
         return "unknown";
-    if (evidence.versions.some(v => compareMavenVersions(v, version) === 0) || evidence.intervals.some(r => (r.introduced === "0" || compareMavenVersions(version, r.introduced) >= 0) &&
-        (r.end === null || compareMavenVersions(version, r.end) < 0 ||
-            (r.inclusive && compareMavenVersions(version, r.end) === 0))))
+    const compare = scheme.compare;
+    if (evidence.versions.some(v => compare(v, version) === 0) || evidence.intervals.some(r => (r.introduced === "0" || compare(version, r.introduced) >= 0) &&
+        (r.end === null || compare(version, r.end) < 0 ||
+            (r.inclusive && compare(version, r.end) === 0))))
         return "affected";
     return evidence.complete ? "not_affected" : "unknown";
 }

package/dist/osv/scanReport.js

@@ -14,7 +14,7 @@
  */
 import { asArray, asRecord, asString, asStrings } from "../utils/unknownJson.js";
 import { extractAffectedVersions } from "./affectedVersions.js";
-import { sortVersions, versionRangeTypes } from "./versionScheme.js";
+import { samePackageName, sortVersions, versionRangeTypes } from "./versionScheme.js";
 /** 外部由来のsummaryをLLMに渡す際の長さ上限(プロンプト肥大・DoS対策) */
 const MAX_SUMMARY_LENGTH = 500;
 const CVSS_CRITICAL = 9.0;
@@ -77,7 +77,7 @@ function extractFixedVersions(vulnDetails, packageName, ecosystem) {
             if (!affected)
                 continue;
             const affectedName = asString(asRecord(affected.package)?.name);
-            if (affectedName !== packageName || asString(asRecord(affected.package)?.ecosystem) !== ecosystem)
+            if (affectedName === null || !samePackageName(affectedName, packageName, ecosystem) || asString(asRecord(affected.package)?.ecosystem) !== ecosystem)
                 continue;
             for (const rangeRaw of asArray(affected.ranges)) {
                 const type = asString(asRecord(rangeRaw)?.type);

package/dist/osv/suggestFix.js

@@ -6,32 +6,49 @@
  * 最大バージョンではなく「現在のバージョンに最も近い系統の修正版」を優先して提案する。
  *
  * CVEごとの探索順:
- *   Tier 1 (same_minor):     現在と同じmajor.minor系統内の修正版(最小の変更で済む)
+ *   Tier 1 (same_minor):     現在と同じ系統内の修正版(最小の変更で済む)
  *   Tier 2 (major_internal): 同一メジャー内の最小の修正版(マイナーバージョンアップ)
  *   Tier 3 (cross_major):    全体最小の修正版(メジャーアップグレード、破壊的変更の可能性)
+ * 系統の判定はエコシステム別(versionScheme.ts)。npm・Goは0.xのマイナー更新もcross_major。
  *
  * パッケージ全体の候補を全修正対象CVEの影響範囲と照合して推奨する。
  * 判定不能な候補は推奨しない。
  * 現在より新しい修正版が存在しないCVEはunfixedとして明示し、推奨計算から除外する。
+ * プレリリース(canary版・Goの疑似バージョン等)は、正式版の候補で解消できない場合だけ推奨する。
  */
-import { compareMavenVersions, mavenVersionSeries } from "../utils/mavenVersion.js";
 import { candidateStatus } from "./affectedVersions.js";
-/** バージョン比較・影響範囲の検証が対応済みのエコシステム */
-const SUPPORTED_ECOSYSTEMS = new Set(["Maven"]);
+import { versionSchemeFor } from "./versionScheme.js";
+const TIER_ORDER = ["same_minor", "major_internal", "cross_major"];
+const UPDATE_HINTS = {
+    npm: "直接依存ならpackage.jsonの指定を更新します。推移的依存の場合は、それを要求している直接依存の更新か、" +
+        "ルートのpackage.jsonのoverrides(ルートのプロジェクトでのみ有効)で版を指定します",
+    Go: "go get <module>@<version>で更新します(推移的依存もgo.modのrequireに追加されて更新されます)。" +
+        "Goではv2以上のメジャーは別のモジュールパス(/v2等)として別パッケージ扱いのため、新しいメジャー系列の修正版はここに含まれません",
+    PyPI: "requirements.txtの版の指定、またはpyproject.toml・Pipfileの指定を更新し、lockfile(poetry.lock・uv.lock等)を再生成します。" +
+        "推移的依存の場合は、pipの制約ファイル(-c)や、uv・Poetry等の上書き設定で版を指定します",
+};
+/** Goの疑似バージョン(タグのないコミット): 末尾がタイムスタンプ14桁-コミットハッシュ12桁 */
+const GO_PSEUDO_VERSION = /(?:^|[.-])\d{14}-[0-9a-f]{12}(?:\+|$)/;
+function hintFields(ecosystem) {
+    const hint = UPDATE_HINTS[ecosystem];
+    return hint === undefined ? {} : { update_hint: hint };
+}
 /**
- * 未対応エコシステムは推奨を出さず、CVEをunfixedにも数えない。
- * 修正版の抽出がMaven専用のため、そのまま処理すると修正版のある脆弱性を
- * 「修正版なし」と誤表示する(v0.3.3で確認した不具合)。
+ * 未対応エコシステム・解釈できない現在の版は推奨を出さず、CVEをunfixedにも数えない。
+ * 修正版の抽出がMaven専用だった頃、そのまま処理すると修正版のある脆弱性を
+ * 「修正版なし」と誤表示した(v0.3.3で確認した不具合)。
  */
-function unsupportedEcosystemSuggestion(pkg) {
+function notEvaluatedSuggestion(pkg, verification) {
     return {
         package: pkg.name,
         current_version: pkg.version,
         ecosystem: pkg.ecosystem,
         recommended_upgrade: null,
         upgrade_tier: null,
-        upgrade_note: `${pkg.ecosystem}の修正版推奨には未対応です(修正版の有無は判定していません)。` +
-            "各脆弱性の修正版はexplain_vulnerabilityで確認してください",
+        upgrade_note: (verification === "unsupported_ecosystem"
+            ? `${pkg.ecosystem}の修正版推奨には未対応です(修正版の有無は判定していません)。`
+            : `現在の版(${pkg.version})をバージョンとして解釈できないため、修正版の推奨を判定していません(git・ローカルパス等の依存の可能性があります)。`) +
+            "各脆弱性の修正版はfixed_versions(scan_project)またはexplain_vulnerabilityで確認してください",
         per_cve_detail: pkg.vulnerabilities.map((vuln) => ({
             id: vuln.id,
             cve: vuln.cve,
@@ -39,124 +56,104 @@ function unsupportedEcosystemSuggestion(pkg) {
             fixed_in: null,
             tier: "unsupported",
         })),
-        verification: "unsupported_ecosystem",
+        verification,
     };
 }
-function classifyTier(currentSeries, candidate) {
-    const candidateSeries = mavenVersionSeries(candidate);
-    if (currentSeries === null || candidateSeries === null)
-        return "cross_major";
-    if (currentSeries.major !== candidateSeries.major)
-        return "cross_major";
-    if (currentSeries.minor !== candidateSeries.minor)
-        return "major_internal";
-    return "same_minor";
-}
 /**
- * 1つのCVEに対する修正版をTierフォールバックで選ぶ。
- * 現在バージョンより新しい修正版が存在しなければnull(unfixed)。
+ * 現在より新しい候補を推奨の優先順に並べる: 正式版 → Tier順 → 版の昇順。
+ * (同じTierのプレリリースより、上のTierの正式版を優先する)
+ * 優先順位が等しい版(Goの`23.0.3`と`23.0.3+incompatible`)は、ビルドメタデータの有無が現在の版と同じものを先にする。
+ * `/vN`の無いモジュールパスでv2以上を使うには`+incompatible`付きの指定が必要なため。
  */
-function pickFixForCve(currentVersion, currentSeries, fixedVersions) {
-    // 現在以下の修正版は別ブランチ向けバックポート(現在も影響を受けたまま)なので除外
-    const candidates = fixedVersions
-        .filter((v) => compareMavenVersions(v, currentVersion) > 0)
-        .sort(compareMavenVersions);
-    if (candidates.length === 0)
-        return null;
-    if (currentSeries !== null) {
-        for (const tier of ["same_minor", "major_internal"]) {
-            const found = candidates.find((v) => classifyTier(currentSeries, v) === tier);
-            if (found !== undefined)
-                return { version: found, tier };
-        }
-    }
-    const version = candidates[0];
-    return { version, tier: classifyTier(currentSeries, version) };
+function rankCandidates(scheme, current, versions) {
+    const rank = (v) => (scheme.isPrerelease(v) ? TIER_ORDER.length : 0) + TIER_ORDER.indexOf(scheme.classify(current, v));
+    const buildMismatch = (v) => (v.includes("+") === current.includes("+") ? 0 : 1);
+    return [...new Set(versions)]
+        .filter((v) => scheme.isValid(v) && scheme.compare(v, current) > 0)
+        .sort((a, b) => rank(a) - rank(b) || scheme.compare(a, b) || buildMismatch(a) - buildMismatch(b));
 }
-function buildNote(currentSeries, recommended, tier, fixableCount, unfixedCount) {
+function buildNote(scheme, pkg, recommended, tier, fixableCount, unfixedCount) {
+    let note;
     if (recommended === null) {
-        return `全${unfixedCount}件のCVEに現在より新しい修正版候補がない(unfixed)。修正版情報の欠落を含む可能性があります`;
+        note = `全${unfixedCount}件のCVEに現在より新しい修正版候補がない(unfixed)。修正版情報の欠落を含む可能性があります`;
     }
-    const label = currentSeries !== null ? `${currentSeries.major}.${currentSeries.minor}` : null;
-    let note;
-    switch (tier) {
-        case "same_minor":
-            note = `現在の${label}系統内の候補${recommended}を推奨`;
-            break;
-        case "major_internal":
-            note = `同一メジャー(${currentSeries.major}.x)内の候補${recommended}を推奨`;
-            break;
-        default:
-            note =
-                label !== null
-                    ? `候補${recommended}へのメジャーアップグレードを推奨(破壊的変更の可能性あり)`
-                    : `現在バージョンの系統を判定できないため、検証済み候補${recommended}を提示`;
+    else {
+        const label = scheme.seriesLabel(pkg.version);
+        switch (tier) {
+            case "same_minor":
+                note = `現在の${label}系統内の候補${recommended}を推奨`;
+                break;
+            case "major_internal":
+                note = `同一メジャー(${label.split(".")[0]}.x)内の候補${recommended}を推奨`;
+                break;
+            default:
+                if (label === null)
+                    note = `現在バージョンの系統を判定できないため、検証済み候補${recommended}を提示`;
+                else if (label.startsWith("0.") && scheme.seriesLabel(recommended)?.startsWith("0.")) {
+                    note = `候補${recommended}への更新を推奨(0.x系のため、マイナー更新でも破壊的変更の可能性あり)`;
+                }
+                else
+                    note = `候補${recommended}へのメジャーアップグレードを推奨(破壊的変更の可能性あり)`;
+        }
+        note += `。取得済みの影響範囲に基づき修正対象${fixableCount}件のCVEの範囲外と確認しました。全公開版の最小性や未検出の脆弱性がないことは保証しません`;
+        if (scheme.isPrerelease(recommended)) {
+            note += "。正式版の候補では全件を解消できないため、プレリリース版を推奨しています。正式版の公開を確認してください";
+        }
+        if (unfixedCount > 0)
+            note += `。残り${unfixedCount}件は現在より新しい修正版候補がなく、修正対象から除外しています。recommended_statusを確認してください`;
+    }
+    if (pkg.version_is_lower_bound) {
+        note += `。現在の版(${pkg.version})はrequirements.txtの下限(>=・~=)で、実際にインストールされる版とは異なる可能性があります。` +
+            "推奨は下限をその版以上に引き上げる意味です";
+    }
+    if (pkg.ecosystem === "Go" && GO_PSEUDO_VERSION.test(pkg.version)) {
+        note += "。現在の版は疑似バージョン(タグのないコミット)です";
     }
-    note += `。取得済みの影響範囲に基づき修正対象${fixableCount}件のCVEの範囲外と確認しました。全公開版の最小性や未検出の脆弱性がないことは保証しません`;
-    if (unfixedCount > 0)
-        note += `。残り${unfixedCount}件は現在より新しい修正版候補がなく、修正対象から除外しています。recommended_statusを確認してください`;
     return note;
 }
 /** 1パッケージ分のアップグレード提案を組み立てる。 */
 export function suggestUpgradeForPackage(pkg) {
-    if (!SUPPORTED_ECOSYSTEMS.has(pkg.ecosystem))
-        return unsupportedEcosystemSuggestion(pkg);
-    const currentSeries = mavenVersionSeries(pkg.version);
-    const details = [];
-    let recommended = null;
-    let unfixedCount = 0;
-    for (const vuln of pkg.vulnerabilities) {
-        const pick = pickFixForCve(pkg.version, currentSeries, vuln.fixed_versions);
-        if (pick === null) {
-            unfixedCount++;
-            details.push({
-                id: vuln.id,
-                cve: vuln.cve,
-                severity: vuln.severity,
-                fixed_in: null,
-                tier: "unfixed",
-            });
-            continue;
-        }
-        details.push({
+    const scheme = versionSchemeFor(pkg.ecosystem);
+    if (scheme === null)
+        return notEvaluatedSuggestion(pkg, "unsupported_ecosystem");
+    if (!scheme.isValid(pkg.version))
+        return { ...notEvaluatedSuggestion(pkg, "unparseable_version"), ...hintFields(pkg.ecosystem) };
+    const details = pkg.vulnerabilities.map((vuln) => {
+        const fix = rankCandidates(scheme, pkg.version, vuln.fixed_versions)[0];
+        return {
             id: vuln.id,
             cve: vuln.cve,
             severity: vuln.severity,
-            fixed_in: pick.version,
-            tier: pick.tier,
-        });
-    }
+            fixed_in: fix ?? null,
+            tier: fix !== undefined ? scheme.classify(pkg.version, fix)
+                : vuln.fixed_versions.some((v) => !scheme.isValid(v)) ? "unparseable_fix" : "unfixed",
+        };
+    });
+    const unfixedCount = details.filter((d) => d.tier === "unfixed").length;
+    const unparseableCount = details.filter((d) => d.tier === "unparseable_fix").length;
     const fixableCount = details.length - unfixedCount;
-    const targets = pkg.vulnerabilities.filter((_, i) => details[i].fixed_in !== null);
-    const candidates = [...new Set(targets.flatMap(v => v.fixed_versions))]
-        .filter(v => compareMavenVersions(v, pkg.version) > 0)
-        .sort(compareMavenVersions);
-    const tierOrder = ["same_minor", "major_internal", "cross_major"];
-    recommended = null;
-    for (const tier of tierOrder) {
-        const candidate = candidates.find(v => classifyTier(currentSeries, v) === tier &&
-            targets.every(target => candidateStatus(target.affected_versions, v) === "not_affected"));
-        if (candidate !== undefined) {
-            recommended = candidate;
-            break;
-        }
-    }
+    // 解釈できない修正版のCVEも修正対象に残す。その影響範囲は情報不足のため、どの候補も検証できず推奨を保留する
+    const targets = pkg.vulnerabilities.filter((_, i) => details[i].tier !== "unfixed");
+    const candidates = rankCandidates(scheme, pkg.version, targets.flatMap((v) => v.fixed_versions));
+    const recommended = candidates.find((v) => targets.every((target) => candidateStatus(target.affected_versions, v, pkg.ecosystem) === "not_affected")) ?? null;
     for (let i = 0; i < details.length; i++) {
         details[i].recommended_status = recommended === null ? "not_evaluated" :
-            candidateStatus(pkg.vulnerabilities[i].affected_versions, recommended);
+            candidateStatus(pkg.vulnerabilities[i].affected_versions, recommended, pkg.ecosystem);
     }
-    // 推奨バージョン自体のTierは「現在バージョンとの系統関係」で再分類する
-    // (per-CVEのTierの寄せ集めではなく、実際に行うアップグレードの距離を表す)
-    const upgradeTier = recommended !== null ? classifyTier(currentSeries, recommended) : null;
+    const upgradeTier = recommended !== null ? scheme.classify(pkg.version, recommended) : null;
     return {
         package: pkg.name,
         current_version: pkg.version,
         ecosystem: pkg.ecosystem,
         recommended_upgrade: recommended,
         upgrade_tier: upgradeTier,
+        ...(recommended !== null && scheme.isPrerelease(recommended) ? { recommended_is_prerelease: true } : {}),
         upgrade_note: recommended === null && fixableCount > 0
-            ? "既知の修正版候補から、全修正対象CVEの影響範囲外と確認できる版が見つかりません。情報不足・未対応の範囲形式を含む場合も推奨を保留します。"
-            : buildNote(currentSeries, recommended, upgradeTier, fixableCount, unfixedCount),
+            ? "既知の修正版候補から、全修正対象CVEの影響範囲外と確認できる版が見つかりません。情報不足・未対応の範囲形式を含む場合も推奨を保留します。" +
+                (unparseableCount > 0 ? `${unparseableCount}件のCVEは修正版の記載をバージョンとして解釈できないため(tier: unparseable_fix)、推奨を保留しています。` : "")
+            : buildNote(scheme, pkg, recommended, upgradeTier, fixableCount, unfixedCount),
+        ...hintFields(pkg.ecosystem),
+        ...(pkg.version_is_lower_bound ? { version_is_lower_bound: true } : {}),
         per_cve_detail: details,
         verification: recommended === null ? "no_verified_candidate" : "verified",
     };

package/dist/osv/versionScheme.js

@@ -3,13 +3,125 @@
  *
  * - Maven: Mavenの優先順位(mavenVersion.ts)。範囲はECOSYSTEM型
  * - npm・Go: SemVer 2.0.0の優先順位(semverVersion.ts)。範囲はSEMVER型とECOSYSTEM型
- * - その他(PyPI等): 比較器なし。範囲はECOSYSTEM型
+ * - PyPI: PEP 440の優先順位(pep440Version.ts)。範囲はECOSYSTEM型。名前はPEP 503で正規化して照合する
+ * - その他: 比較器なし。範囲はECOSYSTEM型
  *
  * GIT型の範囲(コミットハッシュ)はリリース版と無関係のため、どのエコシステムでも版として扱わない。
  */
-import { compareMavenVersions } from "../utils/mavenVersion.js";
+import { compareMavenVersions, mavenVersionSeries } from "../utils/mavenVersion.js";
+import { compareParsedPep440, parsePep440 } from "../utils/pep440Version.js";
 import { compareParsedSemver, parseSemver } from "../utils/semverVersion.js";
 const SEMVER_ECOSYSTEMS = new Set(["npm", "Go"]);
+const MAVEN_SCHEME = {
+    isValid: () => true,
+    compare: compareMavenVersions,
+    isPrerelease: () => false,
+    classify(current, candidate) {
+        const a = mavenVersionSeries(current);
+        const b = mavenVersionSeries(candidate);
+        if (a === null || b === null || a.major !== b.major)
+            return "cross_major";
+        return a.minor === b.minor ? "same_minor" : "major_internal";
+    },
+    seriesLabel(version) {
+        const series = mavenVersionSeries(version);
+        return series === null ? null : `${series.major}.${series.minor}`;
+    },
+};
+/**
+ * npm・Go: npmの^(キャレット)が互換とみなす範囲を同じ系統とする。
+ * 1.0.0以上はmajor.minor、0.xは0.minor内だけが互換(マイナー更新は破壊的変更の可能性)、0.0.xはどの変更も非互換。
+ */
+const SEMVER_SCHEME = {
+    isValid: (version) => parseSemver(version) !== null,
+    compare(a, b) {
+        const x = parseSemver(a);
+        const y = parseSemver(b);
+        return x === null || y === null ? 0 : compareParsedSemver(x, y);
+    },
+    isPrerelease: (version) => (parseSemver(version)?.prerelease.length ?? 0) > 0,
+    classify(current, candidate) {
+        const a = parseSemver(current);
+        const b = parseSemver(candidate);
+        if (a === null || b === null)
+            return "cross_major";
+        return classifyCaret(a, b);
+    },
+    seriesLabel(version) {
+        const v = parseSemver(version);
+        if (v === null)
+            return null;
+        return v.major === 0 && v.minor === 0 ? `0.0.${v.patch}` : `${v.major}.${v.minor}`;
+    },
+};
+/** major・minor・patchから、npmのキャレットに合わせた距離を判定する(npm・Go・PyPI共通) */
+function classifyCaret(a, b) {
+    if (a.major !== b.major)
+        return "cross_major";
+    if (Number(a.major) === 0) {
+        if (a.minor !== b.minor)
+            return "cross_major";
+        if (Number(a.minor) === 0 && a.patch !== b.patch)
+            return "cross_major";
+        return "same_minor";
+    }
+    return a.minor === b.minor ? "same_minor" : "major_internal";
+}
+function pep440Parts(v) {
+    return { major: v.release[0] ?? 0n, minor: v.release[1] ?? 0n, patch: v.release[2] ?? 0n };
+}
+/**
+ * PyPI: PEP 440。共通の互換規則はないが、0.x系でマイナー更新が破壊的変更になるパッケージが実在する(FastAPI等)ため、
+ * npm・Goと同じ規則で破壊的変更の可能性を少なく見積もらない側に倒す。epochが変わる更新もcross_major。
+ * プレリリースはプレリリース・dev版(post版は正式版扱い)。
+ */
+const PEP440_SCHEME = {
+    isValid: (version) => parsePep440(version) !== null,
+    compare(a, b) {
+        const x = parsePep440(a);
+        const y = parsePep440(b);
+        return x === null || y === null ? 0 : compareParsedPep440(x, y);
+    },
+    isPrerelease(version) {
+        const v = parsePep440(version);
+        return v !== null && (v.pre !== null || v.dev !== null);
+    },
+    classify(current, candidate) {
+        const a = parsePep440(current);
+        const b = parsePep440(candidate);
+        if (a === null || b === null || a.epoch !== b.epoch)
+            return "cross_major";
+        return classifyCaret(pep440Parts(a), pep440Parts(b));
+    },
+    seriesLabel(version) {
+        const v = parsePep440(version);
+        if (v === null)
+            return null;
+        const { major, minor, patch } = pep440Parts(v);
+        const epoch = v.epoch === 0n ? "" : `${v.epoch}!`;
+        return major === 0n && minor === 0n ? `${epoch}0.0.${patch}` : `${epoch}${major}.${minor}`;
+    },
+};
+/** 修正版の推奨に対応するエコシステムの操作。未対応ならnull */
+export function versionSchemeFor(ecosystem) {
+    if (ecosystem === "Maven")
+        return MAVEN_SCHEME;
+    if (SEMVER_ECOSYSTEMS.has(ecosystem))
+        return SEMVER_SCHEME;
+    if (ecosystem === "PyPI")
+        return PEP440_SCHEME;
+    return null;
+}
+/**
+ * OSVレコードのパッケージ名とスキャン結果の名前が同じパッケージか。
+ * PyPIはPEP 503の正規化(小文字化、`-` `_` `.`の連続を`-`)で比較する(実データでは完全一致したが防御的に)
+ */
+export function samePackageName(a, b, ecosystem) {
+    if (ecosystem !== "PyPI")
+        return a === b;
+    const normalize = (name) => name.toLowerCase().replace(/[-_.]+/g, "-");
+    return normalize(a) === normalize(b);
+}
 /** 修正版・影響範囲として読み取るOSVの範囲の型 */
 export function versionRangeTypes(ecosystem) {
     if (ecosystem === "Maven")
@@ -20,20 +132,18 @@ export function versionRangeTypes(ecosystem) {
 }
 /**
  * 重複を除いた版の一覧を、エコシステムの優先順位で昇順に並べる。
- * - npm・Go: SemVerとして解釈できない版は末尾に記載順のまま置く
+ * - npm・Go・PyPI: 解釈できない版は末尾に記載順のまま置く
  * - 比較器のないエコシステム: 記載順のまま返す
  */
 export function sortVersions(versions, ecosystem) {
     const unique = [...new Set(versions)];
     if (ecosystem === "Maven")
         return unique.sort(compareMavenVersions);
-    if (!SEMVER_ECOSYSTEMS.has(ecosystem))
+    const scheme = versionSchemeFor(ecosystem);
+    if (scheme === null)
         return unique;
-    const parsed = unique.flatMap((raw) => {
-        const version = parseSemver(raw);
-        return version === null ? [] : [{ raw, version }];
-    });
-    const unparsed = unique.filter((raw) => parseSemver(raw) === null);
-    parsed.sort((a, b) => compareParsedSemver(a.version, b.version) || (a.raw < b.raw ? -1 : a.raw > b.raw ? 1 : 0));
-    return [...parsed.map((p) => p.raw), ...unparsed];
+    const parsed = unique.filter((raw) => scheme.isValid(raw));
+    const unparsed = unique.filter((raw) => !scheme.isValid(raw));
+    parsed.sort((a, b) => scheme.compare(a, b) || (a < b ? -1 : a > b ? 1 : 0));
+    return [...parsed, ...unparsed];
 }

package/dist/tools/scanProject.js

@@ -14,7 +14,7 @@ import { normalizePypiName } from "../utils/requirementsFile.js";
 import { ScanSnapshot, snapshotManifests } from "../utils/scanSnapshot.js";
 import { dependencyResolution, withScopeNotes } from "./scanJavaProject.js";
 import { errorResult, jsonResult } from "./toolResult.js";
-const TRANSITIVE_OMITTED_WARNING = "OSV_MCP_NO_REMOTE_RESOLUTIONの設定により、マニフェスト(pom.xml / requirements.txt)からの推移的依存の解決を省略しています。" +
+export const TRANSITIVE_OMITTED_WARNING = "OSV_MCP_NO_REMOTE_RESOLUTIONの設定により、マニフェスト(pom.xml / requirements.txt)からの推移的依存の解決を省略しています。" +
     "lockfile(package-lock.json / poetry.lock / go.mod / gradle.lockfile等)に記録された依存は対象ですが、" +
     "pom.xml・requirements.txtに直接記載された依存の先にある推移的依存の脆弱性は含まれません。" +
     "検出0件でも推移的依存の安全性は確認できていません";
@@ -26,7 +26,7 @@ const MAX_COVERAGE_ITEMS = 200;
 function capped(items) {
     return { items: items.slice(0, MAX_COVERAGE_ITEMS), omitted: Math.max(0, items.length - MAX_COVERAGE_ITEMS) };
 }
-function buildCoverage(project) {
+export function buildCoverage(project) {
     const rel = (file) => sanitizeExternalText(path.relative(project.projectDir, file));
     const lockfileMissing = capped(project.lockfileMissing);
     const unpinned = capped(project.requirementIssues);
@@ -78,22 +78,19 @@ function ecosystemBreakdown(project, packages) {
     return breakdown;
 }
 /** `>=X` / `~=X` の行は、osv-scannerが下限Xを使用中の版とみなしてスキャンしている */
-function markLowerBounds(project, packages) {
+export function markLowerBounds(project, packages) {
     return packages.map((pkg) => pkg.ecosystem === "PyPI" &&
         project.lowerBounds.some((lb) => lb.name === normalizePypiName(pkg.name) && lb.version === pkg.version)
         ? { ...pkg, version_is_lower_bound: true }
         : pkg);
 }
-/**
- * requirements.txtは検証済みの正規化行だけを専用の一時ディレクトリに書いてスキャンする
- * (元ファイルの取り込み指定をosv-scannerにたどらせない)。成功・失敗とも削除する。
- */
 /**
  * 元のファイルはosv-scannerに渡さず、スナップショット(scanSnapshot.ts)のコピーをスキャンする。
  * lockfile・pom.xml(親POMの連鎖を含む)は安全に読んだ内容のコピー、requirements.txtは
  * 検証済みの正規化行だけを書いたコピー。コピーできず外したファイルはskippedFilesに記録する。
+ * スナップショットは成功・失敗とも削除する。suggest_fixも同じスキャンを使う。
  */
-async function scanFromSnapshot(project, options) {
+export async function scanFromSnapshot(project, options) {
     const snapshot = await ScanSnapshot.create();
     try {
         const { targets, skipped, incomplete } = await snapshotManifests(snapshot, project.targets, {

package/dist/tools/suggestFix.js

@@ -1,27 +1,28 @@
 /**
  * `suggest_fix`ツールのハンドラ。
- * scan_java_projectと同じスキャンを実行し、脆弱なパッケージごとの
- * 推奨アップグレードバージョン(3段階Tier)を返す。
+ * scan_projectと同じ検出・スキャンを実行し、脆弱なパッケージごとの
+ * 推奨アップグレードバージョン(3段階Tier)を返す。推奨はMaven・npm・Go・PyPIに対応し、
+ * それ以外はunsupported_ecosystemとして返す。
  */
 import { isRemoteResolutionDisabled } from "../osv/runner.js";
 import { suggestUpgrades } from "../osv/suggestFix.js";
-import { detectJavaProject } from "../utils/projectDetector.js";
-import { dependencyResolution, scanJavaManifests, skippedManifestsFields, } from "./scanJavaProject.js";
+import { sanitizeExternalText } from "../utils/externalText.js";
+import { detectProject } from "../utils/manifestDetector.js";
+import { dependencyResolution, } from "./scanJavaProject.js";
+import { buildCoverage, markLowerBounds, scanFromSnapshot, TRANSITIVE_OMITTED_WARNING } from "./scanProject.js";
 import { errorResult, jsonResult } from "./toolResult.js";
 export async function handleSuggestFix(args, options = {}) {
     try {
-        const project = await detectJavaProject(args.project_path, {
-            allowedRoot: options.allowedRoot,
-        });
+        const project = await detectProject(args.project_path, { allowedRoot: options.allowedRoot });
         const noRemoteResolution = isRemoteResolutionDisabled(options);
-        const { manifests, skipped, incomplete, report } = await scanJavaManifests(project, { ...options, noRemoteResolution });
-        const suggestions = suggestUpgrades(report.packages);
+        const report = await scanFromSnapshot(project, { ...options, noRemoteResolution });
+        const suggestions = suggestUpgrades(markLowerBounds(project, report.packages));
         const unfixedVulnerabilities = suggestions.reduce((sum, s) => sum + s.per_cve_detail.filter((d) => d.tier === "unfixed").length, 0);
         return jsonResult({
             project_dir: project.projectDir,
-            manifests,
-            ...skippedManifestsFields(skipped, incomplete),
-            dependency_resolution: dependencyResolution(noRemoteResolution),
+            manifests: project.manifests.map((m) => sanitizeExternalText(m.path)),
+            dependency_resolution: dependencyResolution(noRemoteResolution, TRANSITIVE_OMITTED_WARNING),
+            coverage: buildCoverage(project),
             vulnerable_package_count: suggestions.length,
             unfixed_vulnerability_count: unfixedVulnerabilities,
             suggestions,

package/dist/utils/pep440Version.js

@@ -0,0 +1,100 @@
+/**
+ * PEP 440(Pythonパッケージのバージョン)の解釈と優先順位比較。
+ *
+ * 正規化と比較はPyPA `packaging`(packaging.version)と同じ規則に従う:
+ * - 大文字小文字を無視し、先頭の`v`と前後の空白を許す
+ * - プレリリースの別表記: alpha→a、beta→b、c/pre/preview→rc。区切り文字(`.` `-` `_`)と番号は省略可(番号の省略は0)
+ * - post版: `.post1`、`-1`、`rev1`、`r1`。dev版: `.dev1`
+ * - ローカル版: `+`以降。区切りは`.` `-` `_`
+ * - 比較: epoch → リリース番号(末尾のゼロは無視: `1.0` = `1.0.0`) → プレリリース → post → dev → ローカル版
+ *   `1.0.dev1` < `1.0a1.dev1` < `1.0a1` < `1.0a1.post1` < `1.0b1` < `1.0rc1` < `1.0` < `1.0.post1.dev1` < `1.0.post1` < `1.0.post1+local`
+ *
+ * 実データ(docs/DESIGN_TODO.md「suggest_fix PyPI対応」)では、Djangoの`1.8c1`、TensorFlowの`2.8.0-rc0`のような
+ * 正規形でない値と、PyTorchの`2.6.0-cu124`のようなPEP 440でない値がある。後者はnullを返す。
+ * 数値はBigIntで保持する(2^53を超える値を丸めない)。
+ */
+const PEP440_RE = new RegExp("^\\s*v?" +
+    "(?:(?<epoch>[0-9]+)!)?" +
+    "(?<release>[0-9]+(?:\\.[0-9]+)*)" +
+    "(?<pre>[-_.]?(?<pre_l>alpha|a|beta|b|preview|pre|c|rc)[-_.]?(?<pre_n>[0-9]+)?)?" +
+    "(?<post>(?:-(?<post_n1>[0-9]+))|(?:[-_.]?(?<post_l>post|rev|r)[-_.]?(?<post_n2>[0-9]+)?))?" +
+    "(?<dev>[-_.]?(?<dev_l>dev)[-_.]?(?<dev_n>[0-9]+)?)?" +
+    "(?:\\+(?<local>[a-z0-9]+(?:[-_.][a-z0-9]+)*))?" +
+    "\\s*$", "i");
+const PRE_KINDS = {
+    a: "a", alpha: "a", b: "b", beta: "b", c: "rc", pre: "rc", preview: "rc", rc: "rc",
+};
+/** PEP 440として解釈する。解釈できなければnull */
+export function parsePep440(version) {
+    const m = PEP440_RE.exec(version);
+    const g = m?.groups;
+    if (!g)
+        return null;
+    const preLetter = g.pre_l?.toLowerCase();
+    return {
+        epoch: BigInt(g.epoch ?? "0"),
+        release: g.release.split(".").map(BigInt),
+        pre: preLetter === undefined ? null : { kind: PRE_KINDS[preLetter], number: BigInt(g.pre_n ?? "0") },
+        post: g.post === undefined ? null : BigInt(g.post_n1 ?? g.post_n2 ?? "0"),
+        dev: g.dev === undefined ? null : BigInt(g.dev_n ?? "0"),
+        local: g.local === undefined ? null : g.local.toLowerCase().split(/[-_.]/).map((s) => (/^\d+$/.test(s) ? BigInt(s) : s)),
+    };
+}
+function cmp(a, b) {
+    return a < b ? -1 : a > b ? 1 : 0;
+}
+const PRE_ORDER = { a: 0, b: 1, rc: 2 };
+/** プレリリースの順位: dev版だけの版はすべてのプレリリースより前、プレリリースのない版は後 */
+function preKey(v) {
+    if (v.pre === null)
+        return v.post === null && v.dev !== null ? [0, 0, 0n] : [2, 0, 0n];
+    return [1, PRE_ORDER[v.pre.kind], v.pre.number];
+}
+function compareRelease(a, b) {
+    // 末尾のゼロは比較に影響しない(1.0 = 1.0.0)
+    const length = Math.max(a.length, b.length);
+    for (let i = 0; i < length; i++) {
+        const result = cmp(a[i] ?? 0n, b[i] ?? 0n);
+        if (result !== 0)
+            return result;
+    }
+    return 0;
+}
+function compareLocal(a, b) {
+    if (a === null || b === null)
+        return a === b ? 0 : a === null ? -1 : 1;
+    const length = Math.min(a.length, b.length);
+    for (let i = 0; i < length; i++) {
+        const x = a[i];
+        const y = b[i];
+        if (typeof x === typeof y) {
+            const result = cmp(x, y);
+            if (result !== 0)
+                return result;
+        }
+        else {
+            // 数値の区切りは英字の区切りより大きい
+            return typeof x === "bigint" ? 1 : -1;
+        }
+    }
+    return cmp(a.length, b.length);
+}
+/** 解釈済みの2つの版をPEP 440の優先順位で比較する */
+export function compareParsedPep440(a, b) {
+    const [ap0, ap1, ap2] = preKey(a);
+    const [bp0, bp1, bp2] = preKey(b);
+    return (cmp(a.epoch, b.epoch) ||
+        compareRelease(a.release, b.release) ||
+        cmp(ap0, bp0) || cmp(ap1, bp1) || cmp(ap2, bp2) ||
+        // post版のない版はpost版より前
+        cmp(a.post === null ? -1n : a.post, b.post === null ? -1n : b.post) ||
+        // dev版でない版はdev版より後
+        (a.dev === b.dev ? 0 : a.dev === null ? 1 : b.dev === null ? -1 : cmp(a.dev, b.dev)) ||
+        compareLocal(a.local, b.local));
+}
+/** 2つの版をPEP 440の優先順位で比較する。どちらかを解釈できなければnull */
+export function comparePep440(a, b) {
+    const x = parsePep440(a);
+    const y = parsePep440(b);
+    return x === null || y === null ? null : compareParsedPep440(x, y);
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "osv-scanner-mcp",
-  "version": "0.4.2",
+  "version": "0.6.0",
   "description": "MCP server that wraps Google's OSV-Scanner to scan Java projects for known vulnerabilities",
   "type": "module",
   "license": "Apache-2.0",