@thomasminh1995/depverdict 0.6.0-alpha.1

package/schemas/repository-impact.schema.json

@@ -0,0 +1,202 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/thomasMinh1995/UpgradeLens/main/schemas/repository-impact.schema.json",
+  "title": "UpgradeLens Repository Impact",
+  "description": "Deterministic matches between Version Analysis breaking changes and repository usage symbols.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "generatedAt", "generator", "input", "analysis", "summary", "dependencies"],
+  "properties": {
+    "schemaVersion": { "const": "1.0.0" },
+    "generatedAt": { "type": "string", "format": "date-time" },
+    "generator": { "$ref": "#/$defs/generator" },
+    "input": { "$ref": "#/$defs/input" },
+    "analysis": { "$ref": "#/$defs/analysis" },
+    "summary": { "$ref": "#/$defs/summary" },
+    "dependencies": { "type": "array", "items": { "$ref": "#/$defs/dependencyImpact" } }
+  },
+  "$defs": {
+    "digest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+    "relativePath": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "^(?!/)(?![A-Za-z]:)(?!.*(?:^|/)\\.\\.(?:/|$))[^\\\\]+$"
+    },
+    "generator": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["name", "version"],
+      "properties": {
+        "name": { "const": "UpgradeLens" },
+        "version": { "type": "string", "minLength": 1 }
+      }
+    },
+    "projectManifest": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schemaVersion", "artifact", "artifactDigest", "repository"],
+      "properties": {
+        "schemaVersion": { "const": "2.0.0" },
+        "artifact": { "$ref": "#/$defs/relativePath" },
+        "artifactDigest": { "$ref": "#/$defs/digest" },
+        "repository": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["name", "root"],
+          "properties": {
+            "name": { "type": "string", "minLength": 1 },
+            "root": { "const": "." }
+          }
+        }
+      }
+    },
+    "artifactLineage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schemaVersion", "artifact", "artifactDigest"],
+      "properties": {
+        "schemaVersion": { "const": "1.0.0" },
+        "artifact": { "$ref": "#/$defs/relativePath" },
+        "artifactDigest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "input": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["projectManifest", "versionAnalysis", "usageIndex"],
+      "properties": {
+        "projectManifest": { "$ref": "#/$defs/projectManifest" },
+        "versionAnalysis": { "$ref": "#/$defs/artifactLineage" },
+        "usageIndex": { "$ref": "#/$defs/artifactLineage" }
+      }
+    },
+    "matcher": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "version"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "version": { "type": "string", "minLength": 1 }
+      }
+    },
+    "analysis": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["matcher", "resultCount"],
+      "properties": {
+        "matcher": { "$ref": "#/$defs/matcher" },
+        "resultCount": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "summary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["impacted", "dependencyCount", "impactedDependencyCount", "findingCount", "impactedFindingCount", "matchCount", "affectedFileCount"],
+      "properties": {
+        "impacted": { "type": "boolean" },
+        "dependencyCount": { "type": "integer", "minimum": 0 },
+        "impactedDependencyCount": { "type": "integer", "minimum": 0 },
+        "findingCount": { "type": "integer", "minimum": 0 },
+        "impactedFindingCount": { "type": "integer", "minimum": 0 },
+        "matchCount": { "type": "integer", "minimum": 0 },
+        "affectedFileCount": { "type": "integer", "minimum": 0 },
+        "notImpactedDependencyCount": { "type": "integer", "minimum": 0 },
+        "usageNotFoundDependencyCount": { "type": "integer", "minimum": 0 },
+        "coverageUnavailableDependencyCount": { "type": "integer", "minimum": 0 },
+        "notAnalyzedDependencyCount": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "impactStatus": {
+      "enum": ["IMPACTED", "NOT_IMPACTED", "USAGE_NOT_FOUND", "COVERAGE_UNAVAILABLE", "NOT_ANALYZED"]
+    },
+    "impactReasonCode": {
+      "enum": [
+        "EXACT_SYMBOL_USAGE_FOUND", "NO_EXACT_SYMBOL_USAGE_FOUND", "NO_MATCHABLE_SYMBOL_FOUND",
+        "USAGE_NOT_FOUND", "VERSION_ANALYSIS_SKIPPED", "VERSION_ANALYSIS_FAILED",
+        "COVERAGE_COMPLETE", "ANALYZER_UNAVAILABLE", "ANALYZER_AMBIGUOUS",
+        "SOURCE_SCAN_INCOMPLETE", "SOURCE_PARSE_FAILED", "FILE_UNREADABLE",
+        "ANALYZER_FAILED", "MULTIPLE_ANALYSIS_FAILURES", "COVERAGE_METADATA_MISSING"
+      ]
+    },
+    "usageCoverage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "projectId", "projectPath", "ecosystem", "status", "analyzer",
+        "scannedFileCount", "analyzedFileCount", "parseFailureCount",
+        "analyzerFailureCount", "unreadableFileCount", "scanFailureCount", "reasonCode"
+      ],
+      "properties": {
+        "projectId": { "type": "string", "minLength": 1 },
+        "projectPath": { "type": ["string", "null"] },
+        "ecosystem": { "type": ["string", "null"] },
+        "status": { "enum": ["complete", "partial", "unavailable", "failed"] },
+        "analyzer": {
+          "oneOf": [
+            {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["id", "version"],
+              "properties": {
+                "id": { "type": "string", "minLength": 1 },
+                "version": { "type": "string", "minLength": 1 }
+              }
+            },
+            { "type": "null" }
+          ]
+        },
+        "scannedFileCount": { "type": "integer", "minimum": 0 },
+        "analyzedFileCount": { "type": "integer", "minimum": 0 },
+        "parseFailureCount": { "type": "integer", "minimum": 0 },
+        "analyzerFailureCount": { "type": "integer", "minimum": 0 },
+        "unreadableFileCount": { "type": "integer", "minimum": 0 },
+        "scanFailureCount": { "type": "integer", "minimum": 0 },
+        "reasonCode": { "$ref": "#/$defs/impactReasonCode" }
+      }
+    },
+    "symbolMatch": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["symbol", "files"],
+      "properties": {
+        "symbol": { "type": "string", "minLength": 1 },
+        "files": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": { "$ref": "#/$defs/relativePath" }
+        }
+      }
+    },
+    "findingImpact": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "summary", "impacted", "matches"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "kind": { "const": "breakingChange" },
+        "summary": { "type": "string", "minLength": 1 },
+        "impacted": { "type": "boolean" },
+        "status": { "$ref": "#/$defs/impactStatus" },
+        "reasonCode": { "$ref": "#/$defs/impactReasonCode" },
+        "matches": { "type": "array", "items": { "$ref": "#/$defs/symbolMatch" } }
+      }
+    },
+    "dependencyImpact": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["analysisResultId", "projectId", "packageId", "name", "impacted", "findings"],
+      "properties": {
+        "analysisResultId": { "$ref": "#/$defs/digest" },
+        "projectId": { "type": "string", "minLength": 1 },
+        "packageId": { "type": "string", "minLength": 1 },
+        "name": { "type": "string", "minLength": 1 },
+        "impacted": { "type": "boolean" },
+        "status": { "$ref": "#/$defs/impactStatus" },
+        "reasonCode": { "$ref": "#/$defs/impactReasonCode" },
+        "coverage": { "$ref": "#/$defs/usageCoverage" },
+        "findings": { "type": "array", "items": { "$ref": "#/$defs/findingImpact" } }
+      }
+    }
+  }
+}

package/schemas/upgrade-decision.schema.json

@@ -0,0 +1,273 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/thomasMinh1995/UpgradeLens/main/schemas/upgrade-decision.schema.json",
+  "title": "UpgradeLens Deterministic Upgrade Decision",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "generatedAt", "generator", "input", "policy", "summary", "decisions"],
+  "properties": {
+    "schemaVersion": { "const": "1.0.0" },
+    "generatedAt": { "type": "string", "format": "date-time" },
+    "generator": { "$ref": "#/$defs/generator" },
+    "input": { "$ref": "#/$defs/input" },
+    "policy": { "$ref": "#/$defs/policy" },
+    "summary": { "$ref": "#/$defs/summary" },
+    "decisions": { "type": "array", "items": { "$ref": "#/$defs/decisionRecord" } }
+  },
+  "$defs": {
+    "digest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+    "nullableString": { "type": ["string", "null"] },
+    "relativePath": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "^(?!/)(?![A-Za-z]:)(?!.*(?:^|/)\\.\\.(?:/|$))[^\\\\]+$"
+    },
+    "generator": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["name", "version"],
+      "properties": {
+        "name": { "const": "UpgradeLens" },
+        "version": { "type": "string", "minLength": 1 }
+      }
+    },
+    "artifactLineage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schemaVersion", "artifact", "artifactDigest"],
+      "properties": {
+        "schemaVersion": { "type": "string", "minLength": 1 },
+        "artifact": { "$ref": "#/$defs/relativePath" },
+        "artifactDigest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "projectManifestLineage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schemaVersion", "artifact", "artifactDigest", "repository"],
+      "properties": {
+        "schemaVersion": { "type": "string", "minLength": 1 },
+        "artifact": { "$ref": "#/$defs/relativePath" },
+        "artifactDigest": { "$ref": "#/$defs/digest" },
+        "repository": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["name", "root"],
+          "properties": {
+            "name": { "type": "string", "minLength": 1 },
+            "root": { "const": "." }
+          }
+        }
+      }
+    },
+    "knowledgeManifestLineage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schemaVersion", "artifact", "artifactDigest", "researchId"],
+      "properties": {
+        "schemaVersion": { "type": "string", "minLength": 1 },
+        "artifact": { "$ref": "#/$defs/relativePath" },
+        "artifactDigest": { "$ref": "#/$defs/digest" },
+        "researchId": { "type": "string", "minLength": 1 }
+      }
+    },
+    "input": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "projectManifest", "knowledgeManifest", "knowledgeEvidenceBundle",
+        "versionAnalysis", "usageIndex", "repositoryImpact", "repositoryImpactEvidence"
+      ],
+      "properties": {
+        "projectManifest": { "$ref": "#/$defs/projectManifestLineage" },
+        "knowledgeManifest": { "$ref": "#/$defs/knowledgeManifestLineage" },
+        "knowledgeEvidenceBundle": { "$ref": "#/$defs/artifactLineage" },
+        "versionAnalysis": { "$ref": "#/$defs/artifactLineage" },
+        "usageIndex": { "$ref": "#/$defs/artifactLineage" },
+        "repositoryImpact": { "$ref": "#/$defs/artifactLineage" },
+        "repositoryImpactEvidence": { "$ref": "#/$defs/artifactLineage" }
+      }
+    },
+    "policy": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "version", "urgencyContract"],
+      "properties": {
+        "id": { "const": "deterministic-upgrade-decision" },
+        "version": { "const": "1.1.0" },
+        "urgencyContract": { "const": "unavailable" }
+      }
+    },
+    "decisionName": {
+      "enum": [
+        "KEEP_CURRENT", "UPGRADE_NOW", "PLAN_UPGRADE", "INVESTIGATE",
+        "INSUFFICIENT_EVIDENCE", "NOT_ANALYZED"
+      ]
+    },
+    "reasonCode": {
+      "enum": [
+        "ALREADY_AT_TARGET", "INSTALLED_NEWER_THAN_TARGET",
+        "TARGET_NEWER_EVIDENCE_AVAILABLE", "STRUCTURED_URGENCY",
+        "INSTALLED_VERSION_UNAVAILABLE", "TARGET_VERSION_UNAVAILABLE",
+        "EVIDENCE_INSUFFICIENT", "EVIDENCE_CONFLICT",
+        "VERSION_INCOMPARABLE", "UNSUPPORTED_ECOSYSTEM",
+        "USAGE_COVERAGE_PARTIAL", "USAGE_COVERAGE_UNAVAILABLE",
+        "VERSION_ANALYSIS_SKIPPED", "VERSION_ANALYSIS_FAILED",
+        "VERSION_ANALYSIS_MISSING", "PROVIDER_REJECTED",
+        "SOURCE_CONFLICT", "STALE_EVIDENCE", "NON_REGISTRY_DEPENDENCY",
+        "UPGRADE_AVAILABLE_NO_RECOMMENDATION_DRIVER", "USER_SELECTED_TARGET"
+      ]
+    },
+    "occurrence": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "projectId", "packageId", "declaredName", "normalizedName", "ecosystem",
+        "registry", "packageManager", "dependencyType", "manifest"
+      ],
+      "properties": {
+        "projectId": { "type": "string", "minLength": 1 },
+        "packageId": { "type": "string", "minLength": 1 },
+        "declaredName": { "type": "string", "minLength": 1 },
+        "normalizedName": { "type": "string", "minLength": 1 },
+        "ecosystem": { "type": "string", "minLength": 1 },
+        "registry": { "type": "string", "minLength": 1 },
+        "packageManager": { "$ref": "#/$defs/nullableString" },
+        "dependencyType": { "type": "string", "minLength": 1 },
+        "manifest": { "$ref": "#/$defs/relativePath" }
+      }
+    },
+    "adapter": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["ecosystem", "contractVersion"],
+      "properties": {
+        "ecosystem": { "type": "string", "minLength": 1 },
+        "contractVersion": { "const": "1" }
+      }
+    },
+    "versions": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "declaredVersion", "installedVersion", "installedVersionStatus",
+        "targetVersion", "targetPolicy", "comparison", "adapter"
+      ],
+      "properties": {
+        "declaredVersion": { "$ref": "#/$defs/nullableString" },
+        "installedVersion": { "$ref": "#/$defs/nullableString" },
+        "installedVersionStatus": { "enum": ["resolved", "unresolved", "legacyMissing"] },
+        "targetVersion": { "$ref": "#/$defs/nullableString" },
+        "targetPolicy": { "enum": ["explicit", "registryLatest"] },
+        "comparison": {
+          "enum": ["equal", "targetNewer", "installedNewer", "incomparable", "unknown"]
+        },
+        "adapter": { "anyOf": [{ "$ref": "#/$defs/adapter" }, { "type": "null" }] }
+      }
+    },
+    "evidenceState": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["status", "targetScopedRefs"],
+      "properties": {
+        "status": { "enum": ["sufficient", "insufficient", "conflicted", "notEvaluated"] },
+        "targetScopedRefs": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": { "$ref": "#/$defs/digest" }
+        }
+      }
+    },
+    "coverage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["status", "reasonCode"],
+      "properties": {
+        "status": { "enum": ["complete", "partial", "unavailable", "failed", "missing"] },
+        "reasonCode": { "$ref": "#/$defs/nullableString" }
+      }
+    },
+    "impact": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["status", "reasonCode", "repositorySensitiveFindingCount", "coverage"],
+      "properties": {
+        "status": { "type": "string", "minLength": 1 },
+        "reasonCode": { "$ref": "#/$defs/nullableString" },
+        "repositorySensitiveFindingCount": { "type": "integer", "minimum": 0 },
+        "coverage": { "$ref": "#/$defs/coverage" }
+      }
+    },
+    "limitation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["code", "message"],
+      "properties": {
+        "code": { "type": "string", "minLength": 1 },
+        "message": { "type": "string", "minLength": 1 }
+      }
+    },
+    "provenance": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["policyId", "policyVersion", "versionAdapter", "analysisResultId"],
+      "properties": {
+        "policyId": { "const": "deterministic-upgrade-decision" },
+        "policyVersion": { "const": "1.1.0" },
+        "versionAdapter": { "anyOf": [{ "$ref": "#/$defs/adapter" }, { "type": "null" }] },
+        "analysisResultId": {
+          "anyOf": [{ "$ref": "#/$defs/digest" }, { "type": "null" }]
+        }
+      }
+    },
+    "decisionRecord": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "id", "analysisResultId", "occurrence", "decision", "summary",
+        "primaryReasonCode", "reasonCodes", "versions", "evidence", "impact",
+        "requiresHumanReview", "provenance", "limitations"
+      ],
+      "properties": {
+        "id": { "$ref": "#/$defs/digest" },
+        "analysisResultId": {
+          "anyOf": [{ "$ref": "#/$defs/digest" }, { "type": "null" }]
+        },
+        "occurrence": { "$ref": "#/$defs/occurrence" },
+        "decision": { "$ref": "#/$defs/decisionName" },
+        "summary": { "type": "string", "minLength": 1 },
+        "primaryReasonCode": { "$ref": "#/$defs/reasonCode" },
+        "reasonCodes": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": { "$ref": "#/$defs/reasonCode" }
+        },
+        "versions": { "$ref": "#/$defs/versions" },
+        "evidence": { "$ref": "#/$defs/evidenceState" },
+        "impact": { "$ref": "#/$defs/impact" },
+        "requiresHumanReview": { "type": "boolean" },
+        "provenance": { "$ref": "#/$defs/provenance" },
+        "limitations": { "type": "array", "items": { "$ref": "#/$defs/limitation" } }
+      }
+    },
+    "summary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "dependencyCount", "KEEP_CURRENT", "UPGRADE_NOW", "PLAN_UPGRADE",
+        "INVESTIGATE", "INSUFFICIENT_EVIDENCE", "NOT_ANALYZED", "requiresHumanReviewCount"
+      ],
+      "properties": {
+        "dependencyCount": { "type": "integer", "minimum": 0 },
+        "KEEP_CURRENT": { "type": "integer", "minimum": 0 },
+        "UPGRADE_NOW": { "type": "integer", "minimum": 0 },
+        "PLAN_UPGRADE": { "type": "integer", "minimum": 0 },
+        "INVESTIGATE": { "type": "integer", "minimum": 0 },
+        "INSUFFICIENT_EVIDENCE": { "type": "integer", "minimum": 0 },
+        "NOT_ANALYZED": { "type": "integer", "minimum": 0 },
+        "requiresHumanReviewCount": { "type": "integer", "minimum": 0 }
+      }
+    }
+  }
+}

package/schemas/usage-index.schema.json

@@ -0,0 +1,179 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://raw.githubusercontent.com/thomasMinh1995/UpgradeLens/main/schemas/usage-index.schema.json",
+  "title": "UpgradeLens Repository Usage Index",
+  "description": "Deterministic dependency, symbol, and file usage facts.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "generatedAt", "generator", "input", "analysis", "summary", "dependencies", "warnings"],
+  "properties": {
+    "schemaVersion": { "const": "1.0.0" },
+    "generatedAt": { "type": "string", "format": "date-time" },
+    "generator": { "$ref": "#/$defs/generator" },
+    "input": { "$ref": "#/$defs/input" },
+    "analysis": { "$ref": "#/$defs/analysis" },
+    "summary": { "$ref": "#/$defs/summary" },
+    "dependencies": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/dependencyUsage" }
+    },
+    "warnings": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/warning" }
+    }
+  },
+  "$defs": {
+    "digest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+    "relativePath": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "^(?!/)(?![A-Za-z]:)(?!.*(?:^|/)\\.\\.(?:/|$))[^\\\\]+$"
+    },
+    "generator": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["name", "version"],
+      "properties": {
+        "name": { "const": "UpgradeLens" },
+        "version": { "type": "string", "minLength": 1 }
+      }
+    },
+    "projectManifestLineage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schemaVersion", "artifact", "artifactDigest", "repository"],
+      "properties": {
+        "schemaVersion": { "const": "2.0.0" },
+        "artifact": { "$ref": "#/$defs/relativePath" },
+        "artifactDigest": { "$ref": "#/$defs/digest" },
+        "repository": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["name", "root"],
+          "properties": {
+            "name": { "type": "string", "minLength": 1 },
+            "root": { "const": "." }
+          }
+        }
+      }
+    },
+    "versionAnalysisLineage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["schemaVersion", "artifact", "artifactDigest"],
+      "properties": {
+        "schemaVersion": { "const": "1.0.0" },
+        "artifact": { "$ref": "#/$defs/relativePath" },
+        "artifactDigest": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "input": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["projectManifest", "versionAnalysis"],
+      "properties": {
+        "projectManifest": { "$ref": "#/$defs/projectManifestLineage" },
+        "versionAnalysis": { "$ref": "#/$defs/versionAnalysisLineage" }
+      }
+    },
+    "analyzer": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "version"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "version": { "type": "string", "minLength": 1 }
+      }
+    },
+    "analysis": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["analyzers", "scannedFileCount", "analyzedFileCount"],
+      "properties": {
+        "analyzers": { "type": "array", "uniqueItems": true, "items": { "$ref": "#/$defs/analyzer" } },
+        "scannedFileCount": { "type": "integer", "minimum": 0 },
+        "analyzedFileCount": { "type": "integer", "minimum": 0 },
+        "coverage": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/projectCoverage" }
+        }
+      }
+    },
+    "projectCoverage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "projectId", "projectPath", "ecosystem", "status", "analyzer",
+        "scannedFileCount", "analyzedFileCount", "parseFailureCount",
+        "analyzerFailureCount", "unreadableFileCount", "scanFailureCount", "reasonCode"
+      ],
+      "properties": {
+        "projectId": { "type": "string", "minLength": 1 },
+        "projectPath": { "$ref": "#/$defs/relativePath" },
+        "ecosystem": { "type": "string", "minLength": 1 },
+        "status": { "enum": ["complete", "partial", "unavailable", "failed"] },
+        "analyzer": {
+          "oneOf": [
+            { "$ref": "#/$defs/analyzer" },
+            { "type": "null" }
+          ]
+        },
+        "scannedFileCount": { "type": "integer", "minimum": 0 },
+        "analyzedFileCount": { "type": "integer", "minimum": 0 },
+        "parseFailureCount": { "type": "integer", "minimum": 0 },
+        "analyzerFailureCount": { "type": "integer", "minimum": 0 },
+        "unreadableFileCount": { "type": "integer", "minimum": 0 },
+        "scanFailureCount": { "type": "integer", "minimum": 0 },
+        "reasonCode": {
+          "enum": [
+            "COVERAGE_COMPLETE", "ANALYZER_UNAVAILABLE", "ANALYZER_AMBIGUOUS",
+            "SOURCE_SCAN_INCOMPLETE", "SOURCE_PARSE_FAILED", "FILE_UNREADABLE",
+            "ANALYZER_FAILED", "MULTIPLE_ANALYSIS_FAILURES"
+          ]
+        }
+      }
+    },
+    "summary": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["dependencyCount", "symbolCount", "fileCount", "warningCount"],
+      "properties": {
+        "dependencyCount": { "type": "integer", "minimum": 0 },
+        "symbolCount": { "type": "integer", "minimum": 0 },
+        "fileCount": { "type": "integer", "minimum": 0 },
+        "warningCount": { "type": "integer", "minimum": 0 }
+      }
+    },
+    "symbolUsage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["name", "files"],
+      "properties": {
+        "name": { "type": "string", "minLength": 1 },
+        "files": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/relativePath" } }
+      }
+    },
+    "dependencyUsage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["projectId", "packageId", "name", "files", "symbols"],
+      "properties": {
+        "projectId": { "type": "string", "minLength": 1 },
+        "packageId": { "type": "string", "minLength": 1 },
+        "name": { "type": "string", "minLength": 1 },
+        "files": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/relativePath" } },
+        "symbols": { "type": "array", "items": { "$ref": "#/$defs/symbolUsage" } }
+      }
+    },
+    "warning": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["code", "path", "message"],
+      "properties": {
+        "code": { "type": "string", "minLength": 1 },
+        "path": { "$ref": "#/$defs/relativePath" },
+        "message": { "type": "string", "minLength": 1 }
+      }
+    }
+  }
+}